Odaily星球日報訊 Web3 安全公司 Certora 宣布獲得以太坊基金會資助，具體金額暫未披露，相關資金將用於支持其驗證自動預編譯的正確性，自動預編譯是零知識計算中的一項關鍵優化技術，由 Powdr Labs 為以太坊基金會的 zkEVM 項目開發，據悉 Certora 計劃開源其開發的規範、證明和驗證框架。（Chainwire）
Web3安全公司Certora獲得以太坊基金會資助
Odaily星球日報訊 Web3 安全公司 Certora 宣布獲得以太坊基金會資助，具體金額暫未披露，相關資金將用於支持其驗證自動預編譯的正確性，自動預編譯是零知識計算中的一項關鍵優化技術，由 Powdr Labs 為以太坊基金會的 zkEVM 項目開發，據悉 Certora 計劃開源其開發的規範、證明和驗證框架。（Chainwire）