Web3 安全公司 Certora 獲得以太坊基金會資助
2026-02-05 22:12:48
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布獲得以太坊基金會資助，具體金額暫未披露，相關資金將用於支持其驗證自動預編譯的正確性，自動預編譯是零知識計算中的一項關鍵優化技術，由 Powdr Labs 為以太坊基金會的 zkEVM 項目開發。據悉 Certora 計劃開源其開發的規範、證明和驗證框架。
相關專案
最新快訊
美聯儲計劃年底前推出"精簡版主帳戶"，加密法規進展停滯
ChainCatcher
2026-02-10 08:26:00
MrBeast 收購針對年輕人的銀行應用 Step
ChainCatcher
2026-02-10 08:22:58
Jump Trading 擬透過提供流動性獲得 Kalshi 與 Polymarket 股權
ChainCatcher
2026-02-10 08:14:50
Backpack 正以 10 億美元估值融資進行談判
ChainCatcher
2026-02-10 08:12:56
Stripe 估值有望在新一輪要約收購中達到 1400 億美元
ChainCatcher
2026-02-10 08:07:59
