Web3 安全公司 Certora 獲得以太坊基金會資助
2026-02-05 22:12:48
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布獲得以太坊基金會資助，具體金額暫未披露，相關資金將用於支持其驗證自動預編譯的正確性，自動預編譯是零知識計算中的一項關鍵優化技術，由 Powdr Labs 為以太坊基金會的 zkEVM 項目開發。據悉 Certora 計劃開源其開發的規範、證明和驗證框架。
相關專案
最新快訊
不丹王國 18 個月內減持比特幣幅度達 70% 或已停止比特幣挖礦活動
ChainCatcher
2026-04-11 12:33:50
數據：當前加密恐慌貪婪指數為 14，處於極度恐慌狀態
ChainCatcher
2026-04-11 12:30:44
控盤 NOM 59%流通量巨鯨累計向幣安轉移 14.42 億枚 NOM
ChainCatcher
2026-04-11 12:22:12
等不來了的 V5，Uniswap 陷入創新困境
ChainCatcher
2026-04-11 12:11:32
Arthur Hayes：美聯儲摸底私人信貸風險，印鈔救市預期升溫
ChainCatcher
2026-04-11 12:08:02
