V 神定调：ZK 速度战落幕，以太坊安全成唯一焦点

据 Woofun AI 消息，以太坊联合创始人 明确宣告零知识证明（ZK）的速度竞赛已告终结，行业重心须即刻转向安全性。这一论断直接源于 近期展示的技术突破，标志着性能瓶颈不再是制约 发展的核心变量。

Woofun AI 整理数据显示，ZKsync 推出的 工具在单块显卡上实现了实时证明能力，在连续 7,200 个主网区块的测试中，99% 的证明任务在 10 秒内完成。相比之下，以太坊验证者需重新处理每一笔交易以确认区块有效性，而 ZK 技术通过简短证明避免重复计算，显著降低工作量。鉴于以太坊每 12 秒新增一个区块，ZKsync 称其测试中无区块证明时间触及该阈值。公共排行榜 亦证实 Airbender Prime 平均证明时间最短，更低硬件门槛使得更多机构及独立运营方可接入。 Buterin 在 X 平台向 @zksync 的 Airbender 团队祝贺这一里程碑，并强调速度竞争既已结束，zkEVMs 必须将首要任务完全转向安全性。

从技术原理看，Vitalik Buterin 指出形式化验证是安全性的基石，即通过数学方法而非单纯测试来证明系统正确性。Airbender Prime 作为 ZKsync 开发的工具，并非以太坊协议变更，故不影响 供应量、手续费或质押奖励机制。任何价格波动更可能源自市场对以太坊路线图的预期、宏观经济形势及资金流动情况。

然而，技术可靠性才是根本。ZKsync 向银行推广该技术时强调，即便服务器遭黑客攻击，违规账本更新也无法获得验证，带有缺陷的快速证明工具反而会破坏这一安全目标。

未来，正式验证与审计结果将成为决定以太坊信任哪些 zkEVMs 的关键标准。随着速度优势被确立，生态参与者需警惕过度追求性能而忽视底层安全逻辑的风险。这是继 Layer 2 扩容方案普及后，以太坊生态对技术成熟度提出的更高要求，旨在构建具备银行级抗攻击能力的去中心化基础设施。