优惠论坛

标题: Web3 安全公司 Certora 获得以太坊基金会资助 [打印本页]

作者: 比推快讯 时间: 2026-2-5 22:32
比推消息，Web3 安全公司 Certora 宣布获得以太坊基金会资助，具体金额暂未披露，相关资金将用于支持其验证自动预编译的正确性，自动预编译是零知识计算中的一项关键优化技术，由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发。据悉 Certora 计划开源其开发的规范、证明和验证框架。

风险提示：本新闻涉及的内容仅供参考，不构成投资建议。依据发布的信息以及所表达的意见行事所造成的一切后果由行事者自负。文章链接

欢迎光临优惠论坛 (https://www.tcelue.ooo/)