币圈界报道：

zkEVM性能竞赛终结：安全成为唯一制胜标准

以太坊联合创始人Vitalik Buterin在X平台发布声明，正式宣告零知识以太坊虚拟机（zkEVM）的“速度之争”已告一段落，并强调当前最紧迫的任务是全面聚焦于系统的可验证正确性与安全保障。

单卡实时证明实现突破，行业门槛重新定义

ZKsync于10月13日推出Airbender Prime系统，宣称其为首个可在单一消费级显卡上完成以太坊主网区块实时证明的架构。该系统基于NVIDIA RTX PRO 6000 Blackwell GPU，在连续处理7,200个区块过程中，99%的证明均在10秒内生成，且包含见证者构建在内的完整流程平均控制在12秒内。相较之下，多数竞品仍依赖大规模集群才能达成相近时效，此项成果显著降低了部署门槛。

底层架构透明可验，抗量子特性获验证

Airbender Prime采用开源RISC-V指令集设计，结合基于哈希的STARK技术，具备潜在的抗量子攻击能力。系统还配备独立验证模块，允许第三方无需信任团队提供数据即可复核结果，提升整体可信度。

形式化验证三要素：从速度到规则的范式转移

Buterin明确指出，真正意义上的“形式化验证”应涵盖三大支柱：确保算术化过程与以太坊规范完全等价、设定证明成本相对于区块Gas消耗的硬性上限、以及对证明系统自身逻辑的严格安全性审查。这些标准超越了传统基准测试的表面指标，直指系统在所有输入场景下的合规性与可靠性。

为何安全性比速度更具挑战性？

尽管吞吐量优化属于工程范畴，具备清晰可比的量化指标，但将数学构造与以太坊协议精确对齐则涉及复杂的形式推理，进展缓慢且难以传播。同样，声称具备后量子安全性并不等于实际通过密码学验证。近期ZKsync在发布新证明器前投入数月强化旧版EraVM安全性的做法，正反映出速度已不再是主要瓶颈，而完整性与正确性才是关键。

未来方向：可验证正确性取代性能神话

下一个行业里程碑不再表现为更快的测试结果，而是形式化验证的实质性推进及外部独立审计的落地。若整个生态采纳Buterin所提出的检查清单作为基准，那么零知识证明领域的竞争将进入更严谨、更高门槛的新阶段——一场以信任修复为目标的长期博弈。