Web3安全公司Certora获得以太坊基金会资助
星球日报|2026年02月05日 14:12
Web3 安全公司 Certora 宣布获得以太坊基金会资助，具体金额暂未披露，相关资金将用于支持其验证自动预编译的正确性，自动预编译是零知识计算中的一项关键优化技术，由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发，据悉 Certora 计划开源其开发的规范、证明和验证框架。（Chainwire）
+4分享至：
脈絡
熱門快訊
APP下載
X
Telegram
複製鏈接
+4+4X
Telegram
複製鏈接