Vitalik称zkEVM速度竞赛已落幕，真正的考验在于证明者_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

Vitalik称zkEVM速度竞赛已落幕，真正的考验在于证明者

2026-10-18 00:41:10

以太坊联合创始人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的检查清单视为新的标准，那么行业的重心将从证明速度转向可证明的正确性——这是一场节奏更慢、但门槛更高的竞赛。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文