Web3安全公司Certora获得以太坊基金会资助 | 加密百科深度分析

加密百科独家解读

这件事，本质上是以太坊的“官方质检员”给一个顶级“代码安检公司”发了专项经费，去检查一个能大幅提升ZK-Rollup效率的新零件。

咱们拆开来看：

1. “安检公司”是谁？ Certora。它不是普通的审计公司，它专门做“形式化验证”。你可以理解为，它不是靠人工去抽查代码有没有bug，而是用数学方法，像证明几何题一样，从逻辑上100%证明这段代码绝对正确，不会出错。这是最高级别的安全保证。

2. 检查什么新零件？ 一个叫“自动预编译”的技术。这个技术由Powdr Labs为以太坊的官方zkEVM项目开发。它的作用是让ZK-Rollup（一种主流扩容方案）的零知识证明计算变得更快、更便宜。你可以把它想象成给ZK-Rollup引擎换了一个高性能的涡轮增压器。

3. 为什么以太坊基金会要出钱？ 因为这个“涡轮增压器”要装进以太坊的核心扩容蓝图里。在坎昆升级完成后，Layer2（尤其是ZK-Rollup）已经成为承载以太坊应用流量的主干道。这个新零件的安全性和正确性不能有丝毫差错，否则会影响整个生态。基金会出钱，就是请最顶尖的“数学安检员”（Certora）来为这个核心部件做最彻底的、数学级的质检报告。

4. 关键动作是“计划开源”。Certora不仅自己做检查，还会把检查时用的“测试标准”（规范）、得出的“数学证明”（证明）和整个“检测工具”（验证框架）全部开源。这意味着：

透明度拉满：所有人都能审查他们的验证过程，公信力极强。

生态赋能：其他ZK项目方和安全团队可以直接用这套顶级工具来检查自己的代码，提升整个ZK领域的安全水位。

这件事的深层信号是：以太坊的扩容竞争已经从“拼上线速度”进入“拼安全与性能硬实力”的阶段。在ZK-Rollup即将大规模普及的当下，以太坊基金会正在用资源确保其技术栈的每一个核心部件都经过最高规格的安全验证，为下一波十亿级用户的应用打下坚不可摧的地基。这不是普通的技术合作，而是对以太坊未来基础设施的一次关键性安全加固。

背景资料 (原快讯)

注：以上背景资料自公开行业资讯，加密百科网仅作科普解读。