Vitalik宣布以太坊(ETH)零知识证明速度之争尘埃落定:99%证明10秒内完成,安全成为新焦点

安全反超速度:zkEVM进入新阶段

以太坊联合创始人Vitalik Buterin于本周四(10月15日)公开表示,让零知识证明达到网络所需速度的竞赛已经结束,接下来的重心应全面转向安全。他在X上发布这一观点,距ZKsync宣布在单张消费级显卡上实现实时证明仅数小时,他首先祝贺了ZKsync的airbender团队,并称速度之战已“彻底告一段落”。这番表态出现的时机耐人寻味:以太坊路线图正进一步押注密码学验证,而以太坊(ETH)价格在过去24小时内回落5.7%,说明工程里程碑本身很少能单独撬动行情。在他看来,负责证明以太坊执行层的zkEVM如今面临三道关卡:其一必须与以太坊规范完全一致,其二是证明器的运行成本要控制在每个区块的共识机制及gas费预算之内,其三是底层证明系统必须扎实可靠。他希望这三项都通过形式化验证来确认,也就是用数学方法证明其正确性,而非仅靠测试用例。速度之所以关键,在于结构层面:在区块链的权益证明机制下,验证者需要重新执行每一笔交易,才能核验以太坊每12秒新增的区块。零知识证明可以在不重复计算的情况下确认计算结果正确,让验证者只需核验一段简短的密码学证明,把单区块工作量压缩到很小的一部分。降低这部分负担,一直是零知识研究线长期许诺的回报,也是各证明团队多年来持续发布基准数据的原因。

@VitalikButerin · X 帖子

X.

在 X 上查看

ZKsync公布7200个区块的实测数据

这一结论背后的数字来自ZKsync对其新证明器Airbender Prime的自行评估:在连续7200个主网区块上,该系统为99%的区块在10秒内完成了证明,且样本中没有任何区块需要用满12秒的窗口。数据亮眼,但属于厂商自报,尚未经过独立审计。实时证明长期被视为一道分水岭,zkEVM跨过它就不再是可选项式的扩容实验,而是真正的基础设施,因为只有证明速度跟得上被汇总的链,二者才能同步运转。作为外部参照,ZKsync指向公开的证明器排行榜ETHproofs,Airbender Prime在平均证明时间上排名第一,该榜单同时追踪成本,为机构提供了一个超出厂商宣传口径的基准。硬件是这件事的另一半。用单张显卡替代专用机器集群来运行证明,大幅降低了准入门槛,按公司的说法,更多机构和独立运营者由此可以加入证明者行列。这一去中心化论点,对所有基于zkEVM技术构建的二层网络都有分量,因为过度依赖少数专业证明者一直是这类系统被诟病之处。需要明确的是,Airbender Prime仍是ZKsync的产品,不构成以太坊协议本身的变更:Ethereum (ETH)供应量、费用机制和质押收益均不受影响,发行与链上经济层面没有任何东西随之变动。更大的商业筹码在别处:ZKsync向银行推销该证明器的逻辑是,即便服务器被攻破,也无法让一笔违反规则的账本更新通过验证。但这一承诺成立的前提是快速证明器本身没有缺陷,于是审计与形式化验证就成了机构选择可信赖zkEVM的决定性因素。

形式化验证将决定什么

我们的判断是,市场把这次发布当作路线图层面的情绪信号,而非协议事件。Airbender Prime今天没有改变任何费用、发行或验证者经济结构,因此5.7%的跌幅更多反映宏观环境与资金流向,而非证明性能本身;该币种在周四早间交易中已经跌破2400美元。不过结构层面确实在变化:MetaMask质押退出推动验证者数量在一个月内下降7.7%,这让任何能减轻验证者负担的技术进展都具备现实意义。眼下的关键考验是Buterin自己设定的那道题:形式化验证与审计结果,将决定以太坊最终能信任哪些zkEVM,关注价位的读者可查看我们的以太坊技术分析。