Web3 安全公司 Certora 獲得以太坊基金會資助
2026-02-05 22:12:48
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布獲得以太坊基金會資助，具體金額暫未披露，相關資金將用於支持其驗證自動預編譯的正確性，自動預編譯是零知識計算中的一項關鍵優化技術，由 Powdr Labs 為以太坊基金會的 zkEVM 項目開發。據悉 Certora 計劃開源其開發的規範、證明和驗證框架。
相關專案
最新快訊
數據：BTC 跌破 70000 美元
ChainCatcher
2026-02-10 05:34:36
美股三大股指收漲，甲骨文漲超 9%
ChainCatcher
2026-02-10 05:01:51
博斯蒂克，人們開始對美元信心產生質疑
ChainCatcher
2026-02-10 04:46:40
博斯蒂克：就業數據波動促使美聯儲保持謹慎
ChainCatcher
2026-02-10 04:26:39
米蘭：在困難時期動用美聯儲資產負債表是有道理的
ChainCatcher
2026-02-10 04:25:40
