Web3 安全公司 Certora 获得以太坊基金会资助

2026年02月05日,21时48分31秒 加密货币 阅读 6 views 次

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

(来源:比推)

说明: 比推所有文章只代表作者观点,不构成投资建议

相关新闻
    没有相关文章

标签:


用户登录