以太坊联合创始人Vitalik Buterin宣布：zkEVM“速度之战”已定，重心应全面转向安全

以太坊联合创始人Vitalik Buterin宣布，zkEVM（零知识以太坊虚拟机）的“速度之争”已经“彻底结束”，并指出当前的首要任务应“全面转向安全性”。在10月15日发布于X平台的一篇帖子中，他向ZKsync的Airbender团队表示祝贺，称赞他们取得了一项重新定义零知识竞赛里程碑的成果：在单张显卡上实现了以太坊实时证明。

这一声明不仅是对技术的赞誉，更标志着所有zkEVM项目的终点线发生了转移——从追求更快的基准测试数据，转向确保证明本身的可验证正确性。

Airbender Prime究竟证明了什么？

ZKsync于10月13日发布了Airbender Prime，称其为已知首个在单张GPU上实现实时证明的以太坊证明器。该系统运行在一块NVIDIA RTX PRO 6000 Blackwell显卡上，对连续7,200个以太坊主网区块生成了证明；其中99%的证明在10秒内完成，包括见证者准备在内的每个区块均在12秒内完成。相比之下，其他竞争性的证明器需要庞大的GPU集群才能达到类似的时效性，因此单卡运行能力改变了谁能实际部署证明器的现实格局。

该证明器基于开源RISC-V指令集构建，并使用基于哈希的STARK技术，ZKsync将其定位为具备抗量子攻击能力。此外，它还附带一个独立的验证器，使得结果无需依赖团队提供的数据即可被独立核查。

安全检查清单：三大核心要素

Buterin详细阐述了当前“形式化验证”的含义，具体包括三个方面：证明算术化过程与以太坊规范等价、设定证明成本相对于区块Gas的上限硬约束，以及验证证明系统自身的安全性。

这种区分至关重要，因为基准测试可能被操纵或测量宽松，而以太坊规范则不留任何余地。即使在友好工作负载下速度极快的证明器，也必须被证明在所有输入条件下都能严格遵循以太坊的规则。这也正是为什么只有当证明系统本身健全时，零知识证明才会被视为一种信任修复机制的原因。

为何速度曾是更容易解决的问题？

优化证明吞吐量是一个工程问题，拥有清晰且可比较的数据指标。然而，将数学证明与以太坊规范相匹配则是更缓慢、更艰难的工作，无法产生引人注目的基准测试新闻。关于抗量子能力的宣称也面临同样的负担：声称基于哈希的证明系统已做好后量子准备，并不等同于独立验证其密码学假设确实成立。

ZKsync近期的发展轨迹也印证了这一点。在发布Airbender Prime之前，该团队花费数月时间强化其旧版EraVM的安全性。这项工作之所以重要，正是因为原始证明速度已不再是瓶颈。

未来展望

下一个可观察到的里程碑并非更快的基准测试，而是形式化验证的进展以及对证明器安全性的独立审查。如果整个行业将Buterin的检查清单视为新的标准，那么行业的重心将从证明速度转向可证明的正确性——这是一场节奏更慢、但门槛更高的竞赛。