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

（来源：吴说）

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

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

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

相关内容

热门资讯

美俄同意恢复高级别军事对话 本文转自【新华网】；新华社阿布扎比2月5日电（记者赵丹亮 夏晓）美军欧洲司令部5日发表声明说，美国与...
固德电材系统（苏州）股份有限公... 有效报价是指网下投资者的报价不低于发行人和主承销商确定的发行价格，且未作为最高报价部分被剔除，同时符...
北京首创生态环保集团股份有限公... 证券代码：600008 证券简称：首创环保 公告编号：2026-005北京首创生态环保集团股份有限...
安徽新力金融股份有限公司关于为... 证券代码：600318 证券简称：新力金融 公告编号：临2026-003安徽新力金融股份有限公司关...
乌国防部长说 乌境内俄方“星链... （来源：衢州日报）转自：衢州日报　　新华社基辅2月5日电 （记者 李东旭） 乌克兰国防部长费奥多罗夫...