币圈界报道：

zkEVM性能竞赛终结：安全优先成为行业共识

以太坊联合创始人Vitalik Buterin于10月15日在X平台发布声明，宣告零知识以太坊虚拟机（zkEVM）领域的‘速度之争’已彻底落下帷幕。他指出，当前最紧迫的任务不再是追求更高的基准测试指标，而是全面聚焦于系统的可验证正确性与安全保障。

单卡实现实时证明：打破部署门槛的技术突破

ZKsync于10月13日推出Airbender Prime，宣称其为首个在单一显卡上完成以太坊主网实时证明的系统。该方案基于NVIDIA RTX PRO 6000 Blackwell GPU，在连续处理7,200个区块过程中实现99%的证明在10秒内完成，整体流程包括见证者生成均控制在12秒内。相较依赖大规模集群的传统方案，这一成果显著降低了实际部署的技术门槛。

抗量子架构与独立验证机制并行

该证明器采用开源RISC-V指令集构建，并依托基于哈希的STARK技术，具备抵御未来量子计算攻击的能力。更关键的是，其配套的独立验证模块允许第三方无需信任原始团队即可复核结果，增强透明度与可信度。

三大安全支柱：形式化验证的全新标准

Buterin明确提出了当前阶段的核心审查维度：一是确保算术化过程与以太坊规范完全等价；二是设定证明成本相对于区块Gas上限的硬性约束；三是对整个证明系统自身进行深度安全性分析。这些要求超越了表面性能数据，直指底层逻辑的严谨性。

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

相较于可通过工程优化提升吞吐量的性能问题，将数学构造严格映射至以太坊规则是一项复杂且耗时的工作，难以产生即时传播的“亮点”。同样，宣称具备抗量子能力并不等于已被证实，必须通过独立密码学审计才能确立可信度。这也解释了为何ZKsync在发布新系统前，曾投入数月强化旧版EraVM的安全基础。

下一阶段：可验证正确性的集体跃迁

未来的关键进展不再体现在更快的跑分，而在于形式化验证的实质性推进以及外部机构对证明器安全性的独立审查。若行业普遍采纳Buterin提出的检查清单，意味着竞争将从快速迭代转向深层次可靠性建设——这是一场节奏更慢、但意义深远的范式转移。