Web3 安全公司 Certora 獲得以太坊基金會資助
2026-02-05 22:12:48
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布獲得以太坊基金會資助，具體金額暫未披露，相關資金將用於支持其驗證自動預編譯的正確性，自動預編譯是零知識計算中的一項關鍵優化技術，由 Powdr Labs 為以太坊基金會的 zkEVM 項目開發。據悉 Certora 計劃開源其開發的規範、證明和驗證框架。
相關專案
最新快訊
Arweave 社群成員：快取問題致使 AR 未顯示實際網路區塊，團隊正在解決
ChainCatcher
2026-02-08 10:17:49
趙長鵬：幣安本次比特幣儲備的調整時機掌握較為理想
ChainCatcher
2026-02-07 18:23:49
Multicoin Capital’s Investment Thesis
Multicoin Capital
2026-02-07 15:17:25
XRP at center as Ripple lays out institutional DeFi blueprint for XRPL
Coindesk
2026-02-07 15:14:33
Ondo wants to rebuild prime brokerage on-chain — and perps are the first step
Coindesk
2026-02-07 15:12:10
