Vitalik Buterin：ZK 证明器的速度之争已经结束，接下来是安全

以太坊联合创始人 Vitalik Buterin 表示，让零知识证明对网络而言足够快的竞赛已经获胜，现在的重点必须是安全。他发表此番言论是在 ZKsync 声称单张显卡即可实时证明交易之后。

ZKsync 的新证明器 Airbender Prime 在 7,200 个连续主网区块中，99% 的证明在不到 10 秒内生成。不过，这些数字来自 ZKsync 自己的评估。

为什么更快的证明对以太坊很重要？

目前，以太坊验证者会重新运行每笔交易来验证一个区块。零知识（ZK）证明能够在不重复执行计算的情况下证明其正确运行，从而让验证者转而检查一个紧凑的证明。

这一改变可以减少验证者为每个区块所做的工作量。以太坊每 12 秒出现一个新区块，据 ZKsync 称，其样本中没有区块需要那么长的时间来生成证明。

据 ZKsync 称，Airbender Prime 在 ETHproofs（一个公开的证明器排行榜）上的平均证明时间排名第一。ZKsync 还表示，更低的硬件要求使更广泛的机构和独立运营商也能参与证明。

“目前，我认为速度之争已经彻底赢得，zkEVM 的首要任务应完全转向安全。”

以太坊联合创始人 Vitalik Buterin 在 X 上分享了这一观点。

热烈祝贺 @zksync 的 airbender 团队取得这一里程碑。

目前，我认为速度之争已经彻底赢得，zkEVM 的首要任务应完全转向安全。

对我来说，这意味着进行形式化验证

（i）……的等价性

— vitalik.eth (@VitalikButerin) October 15, 2026

除了速度之外，Buterin 还列出了 zkEVM（负责证明以太坊执行的系统）必须满足的三项检验标准。它们需要与以太坊规范一致，相对于区块 gas 为证明器成本设定上限，并基于健全的证明系统。

他希望每一项都经过形式化验证，即通过数学方式证明，而不仅仅是测试。

更快的证明器能影响以太坊的价格吗？

没有直接影响。Airbender Prime 是 ZKsync 的一个工具，而不是对以太坊协议的更改。以太坊（ETH）的供应量、费用和质押奖励都保持不变。

相反，任何价格影响更可能来自对路线图的情绪，以及宏观经济状况和资金流动。

不过，真正利害攸关的是可信度。ZKsync 向银行推销这项技术，声称即使是遭到入侵的服务器，也无法为违反规则的账本更新获得验证。

因此，一个有漏洞的快速证明器将不利于这一目标。现在，形式化验证和审计可能会决定以太坊能够信任哪些 zkEVM。