币圈界报道：

zkEVM性能竞赛终结：安全成为唯一准入门槛

以太坊联合创始人Vitalik Buterin在X平台发布声明，正式宣告零知识以太坊虚拟机（zkEVM）领域的“速度之争”已彻底落下帷幕。他向ZKsync团队中的Airbender项目致以祝贺，称其在单张显卡上实现以太坊主网实时证明的成果，是重新定义零知识计算边界的关键里程碑。

单卡实现实时证明：技术范式跃迁的临界点

ZKsync于10月13日推出的Airbender Prime系统，首次在一块NVIDIA RTX PRO 6000 Blackwell GPU上完成连续7,200个以太坊区块的完整证明流程。其中99%的证明能在10秒内生成，包括见证者构建在内的全流程均控制在12秒以内。这一突破使个体开发者或小型机构具备部署可信证明器的能力，打破了以往依赖大规模集群的壁垒。

抗量子架构与可验证性：双重信任保障机制

该系统基于开源RISC-V指令集设计，采用哈希驱动的STARK方案，被官方定位为具备抵御后量子攻击能力。更关键的是，其配套独立验证模块允许任何第三方对输出结果进行无依赖校验，确保了整个链上证明过程的透明性与不可篡改性。

形式化验证三要素：从性能指标到数学确证

Buterin指出，当前真正需要攻克的是形式化验证的三大支柱：一是证明过程的算术化必须与以太坊规范严格等价；二是证明成本需设定相对于区块Gas上限的硬性约束；三是验证系统自身必须通过密码学层面的安全审计。这些要求远比基准测试更具挑战性，也更接近真实应用所需的可靠性。

为何安全性比速度更具长期价值？

尽管提升吞吐量属于工程优化范畴，数据直观且易于宣传，但将数学逻辑与协议规则精确对齐却是一项缓慢而复杂的学术任务。即便某系统在理想负载下表现优异，若无法证明其在所有输入场景下的正确性，仍可能埋藏严重漏洞。因此，唯有当系统本身经得起形式化检验，零知识证明才能真正承担起信任最小化的使命。

行业转型信号：从速度竞赛迈向深度验证

展望未来，行业真正的突破将不再体现在更快的基准测试结果，而是形式化验证的实质性进展与第三方独立审查的落地。一旦业界普遍采纳Buterin提出的评估框架，那么整个生态将进入一个节奏更稳、门槛更高的发展阶段——以可证明的正确性取代表面性能，成为衡量技术优劣的核心标尺。