Web3安全公司Certora宣布獲得以太坊基金會資助

2 月 5 日，Web3 安全公司 Certora 宣布获得以太坊基金会资助，具体金額暫未披露。相關資金將用於支援其驗證自動預編譯的正確性，自動預編譯是零知識計算中的一項關鍵優化技術，由 Powdr Labs 為以太坊基金會的 zkEVM 項目開發。