Web3安全会社CertoraがEthereum Foundationの資金援助を受ける

Odaily星球日报によると、Web3セキュリティ企業のCertoraは、Ethereum Foundation（イーサリアム財団）から資金援助を受けたことを発表しました。具体的な金額は未公表ですが、関連資金は、ゼロ知識計算における重要な最適化技術である自動事前コンパイルの正確性を検証するために使用される予定です。自動事前コンパイルは、Powdr LabsがEthereum FoundationのzkEVMプロジェクトのために開発した技術です。さらに、Certoraは自社で開発した仕様、証明、検証のフレームワークをオープンソース化する計画も明らかにしています。（チェーンワイヤー）