Web3セキュリティ企業のCertoraは、Ethereum Foundationから研究資金を受け取り、Powdr Labsと協力して形式検証の推進を行います。この資金は、Ethereum FoundationのzkEVMイニシアチブ内で重要な最適化技術である「自動事前コンパイル」の強化に向けた取り組みを支援します。この技術はPowdr Labsによって開発され、低レベルのZK回路コンポーネントを自動的に推論することで、zkEVMの暗号学的および算術的効率を向上させることを目的としています。