Web3 安全审计公司 Certora 宣布获得以太坊基金会的资助
创始人
2026-02-05 22:23:28

（来源：吴说）

吴说获悉，Web3 安全审计公司 Certora 宣布获得以太坊基金会的资助，用于验证“自动预编译”（autoprecompiles）的正确性。该技术由 Powdr Labs 为以太坊基金会的 zkEVM 计划开发，旨在优化 ZK 计算性能，提升以太坊网络的可扩展性。Certora 将通过此赠款与 Powdr Labs 合作开发新的验证技术，以确保 zkEVM 执行引擎的安全性，并计划开源相关规范、证明和验证框架，供所有 zkEVM 实施者和 ZK 协议研究人员使用。

上一篇：局地降温20℃以上！新一轮寒潮来袭

下一篇：从主板撤退后转战北交所：凯龙洁能毛利率两年半下滑10个百分点，产能利用率未饱和之下仍计划扩产

相关内容

热门资讯

宏远股份：6月29日获融资买入... 6月29日，宏远股份跌0.94%，成交额1823.91万元。两融数据显示，当日宏远股份获融资买入额1...
金证股份信息披露事务管理制度 金证股份发布《信息披露事务管理制度》（2026年6月修订），该制度经公司董事会审议批准后生效，旨在加...
北矿检测：6月29日获融资买入... 6月29日，北矿检测跌2.54%，成交额1381.02万元。两融数据显示，当日北矿检测获融资买入额3...
精创电气：6月29日获融资买入... 6月29日，精创电气跌5.30%，成交额5549.59万元。两融数据显示，当日精创电气获融资买入额1...
通宝光电：6月29日获融资买入... 6月29日，通宝光电跌2.23%，成交额995.59万元。两融数据显示，当日通宝光电获融资买入额8....