Web3セキュリティ監査会社のCertoraは、Ethereum Foundationから助成金を受け取り、Powdr Labsが同財団のzkEVMプロジェクトのために開発した技術「autoprecompiles」の正確性を検証します。この取り組みは、ZK計算の性能向上とEthereumネットワークのスケーラビリティ改善を目的としています。CertoraはPowdr Labsと協力して、zkEVM実行エンジンのセキュリティを確保するための新しい検証技術を開発します。プロジェクトは関連する仕様書、証明、および検証フレームワークをオープンソース化し、すべてのzkEVM実装者およびZKプロトコル研究者が利用できるようにする予定です。