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