以太坊联合创始人维塔利克·布特林（Vitalik Buterin）近日在 X 上表示，让零知识证明快到足以服务以太坊的竞赛已经“基本结束”，zkEVM 下一阶段的最高优先级应转向安全性。此番表态正值 ZKsync 宣称其 Airbender Prime 证明器可在单张显卡上实现实时证明之后。
据 ZKsync 介绍，Airbender Prime 在连续 7200 个主网区块中，为 99% 的证明在 10 秒内完成生成。不过，相关数据来自 ZKsync 自身评估。以太坊当前每 12 秒产生一个新区块，ZKsync 称其样本中没有区块需要超过这一时间来完成证明。
更快证明为何重要
目前，以太坊验证者需要重新执行每笔交易来验证区块。零知识证明可以在验证者不重复计算的情况下，确认某项计算是否正确执行；若这一路径成熟，验证者只需检查一段简短证明，从而降低每个区块的验证工作量。
ZKsync 还表示，公共证明器排行榜 ETHproofs 将 Airbender Prime 列为平均证明时间第一。其认为，更低的硬件门槛将使更多机构和独立运营者能够参与证明。
“至此，我认为速度之争已经决定性获胜，zkEVM 的最高优先级应完全转向安全性。”——以太坊联合创始人维塔利克·布特林，于 X
zkEVM 的安全测试
除速度外，布特林为 zkEVM 提出三项测试。zkEVM 是用于证明以太坊执行结果的系统。它们必须与以太坊规范保持一致，将证明者成本控制在区块 gas 上限之内，并建立在可靠的证明系统之上。他希望每个要素都经过形式化验证，即通过数学证明而非仅靠测试来确认。
更快的证明器会推动 ETH 价格吗？
不会直接推动。Airbender Prime 是 ZKsync 的工具，而非以太坊协议变更，因此不会直接改变 ETH 的供应、费用或质押奖励。价格影响更可能通过市场对路线图的情绪，以及宏观条件和资金流动间接体现。
更重要的是可信度。ZKsync 向银行推销该技术时称，即使服务器被攻破，也无法让违反规则的账本更新获得验证。因此，若快速证明器存在缺陷，这一目标将难以实现。形式化验证与审计，可能成为决定哪些 zkEVM 能获得以太坊信任的关键。