Web3 安全公司 Certora 獲得以太坊基金會資助
2026-02-05 22:12:48
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布獲得以太坊基金會資助，具體金額暫未披露，相關資金將用於支持其驗證自動預編譯的正確性，自動預編譯是零知識計算中的一項關鍵優化技術，由 Powdr Labs 為以太坊基金會的 zkEVM 項目開發。據悉 Certora 計劃開源其開發的規範、證明和驗證框架。
相關專案
最新快訊
美聯儲會議紀要，若通脹下行，降息或將適宜
ChainCatcher
2026-04-09 02:04:05
美聯儲會議紀要顯示多數與會者擔憂降息需求
ChainCatcher
2026-04-09 02:03:25
美聯儲會議紀要顯示，中東局勢提升經濟風險
ChainCatcher
2026-04-09 02:02:46
美聯儲官員：石油衝擊可能導致通脹上升，有理由加息
ChainCatcher
2026-04-09 02:02:28
美聯儲會議紀要顯示決策者支持「雙向」利率表述
ChainCatcher
2026-04-09 02:02:13
