Vitalik Buterin宣布zkEVM速度之争结束，安全成核心焦点

以太坊联合创始人Vitalik Buterin在10月15日于X平台发文指出，围绕zkEVM（零知识以太坊虚拟机）的“速度之战”已彻底落幕，行业应全面转向对安全性的深度投入。他向ZKsync团队中的Airbender项目致贺，肯定其在单张显卡上实现实时生成以太坊主网区块证明的技术成就。

Airbender Prime：单卡实现实时证明的里程碑

ZKsync于10月13日发布Airbender Prime，宣称这是首个可在单一GPU设备上完成以太坊实时证明的系统。该系统基于NVIDIA RTX PRO 6000 Blackwell显卡，成功对连续7,200个以太坊主网区块生成了零知识证明。其中99%的证明在10秒内完成，包括见证者构建在内的全流程平均耗时不超过12秒。相较之下，此前多数竞争方案依赖大规模GPU集群才能达到相近效率，此次突破极大降低了实际部署门槛。

为何安全成为新标准？

Buterin强调，当前衡量zkEVM成熟度的关键已不再是吞吐量或响应时间，而是能否通过形式化验证确保系统的正确性。他提出三大核心要求：一是证明算术化过程必须与以太坊规范严格等价；二是设定证明成本相对于区块Gas使用量的硬上限；三是验证整个证明系统的内在安全性。

这些标准意味着，即便某个系统在理想负载下表现极快，若无法保证在所有输入场景下均符合以太坊规则，仍不具备可信基础。这也解释了为何只有当底层逻辑经过数学层面验证后，零知识证明才可能真正发挥信任修复作用。

从速度到可信：一场更艰难的转型

相较于优化计算效率这一相对明确的工程目标，将数学构造与协议规范精确对齐是一项复杂且耗时的工作，难以产生引人注目的基准测试数据。此外，关于抗量子能力的声明也需经得起独立检验——仅宣称采用哈希类STARK技术并不等于具备后量子安全性。

ZKsync此前数月专注于强化EraVM的安全架构，正说明其已意识到速度不再是瓶颈，而系统可靠性才是决定长期价值的关键。

未来方向：可验证的正确性为王

下一阶段的行业进展将不再以更快的测试结果为标志，而是形式化验证的推进和第三方独立审计的落地。若整个生态采纳Buterin提出的检查清单作为新基准，那么这场竞赛将从追求极致性能转向追求绝对可信赖的逻辑正确性——这是一场节奏更慢、但意义深远的变革。