自选
我的自选
查看全部
市值 价格 24h%
  • 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

Vitalik希望ZkEVM开发者停止追求速度,修复安全问题

2026-10-15 15:45:00
收藏

Vitalik Buterin:zkEVM速度竞赛已结束,开发者应转向以安全为首要任务

Vitalik Buterin (@VitalikButerin) 表示,旨在使 zkEVM(零知识以太坊虚拟机)达到足够快速以支持以太坊网络的竞争已经告一段落。他指出,开发人员现在应将重点完全转移到安全性上。

这一言论紧随 ZKsync (@zksync) 取得的一项里程碑式进展之后。其 Airbender Prime 证明器在单张 NVIDIA RTX PRO 6000 Blackwell GPU 上运行,成功在不到 10 秒的时间内验证了以太坊主网 7,200 个区块中 99% 的区块。ZKsync 代币为 $ZK。

“在此阶段,我认为速度之战已 definitively(明确地)结束,zkEVM 的首要任务应完全转向安全性,”Buterin 说道。

Airbender Prime 取得的成就

据 Crypto Briefing 报道,测试集中的每个区块均在 12 秒内完成证明,这一成绩使 Airbender 位居 ETHproofs(.)org 公共排行榜的首位。由于以太坊每 12 秒添加一个新区块,因此证明必须在时间窗口内到达才能与链保持同步。

根据 KuCoin News 的报道,这些数据来自 ZKsync 自身的评估,因此在本文审查范围内尚未得到独立确认。

为何安全性成为当务之急

零知识证明允许验证者通过检查简短的证明来确认区块是否正确执行,而无需重新运行所有交易。Ethereum.org 解释说,这种从“所有人重新执行”到“一人证明,众人验证”的转变,可以在不提高验证者硬件要求的情况下提升 gas 上限。

这使得证明系统的正确性变得至关重要。据 PANews 报道,Buterin 指出需要形式化验证三个方面:算术化与以太坊规范之间的等价性、验证成本与区块 gas 的严格比率上限,以及证明系统本身的安全性。

形式化验证意味着属性是通过数学方式证明的,而不仅仅是经过测试。以太坊基金会已经指明了这一方向。据 BingX News 报道,其 2026 年路线图优先考虑 128 位可证明安全性、明确的证明大小限制以及对递归架构的形式化验证。

值得关注的下一步发展

未来值得关注的进展包括:zkEVM 针对以太坊规范的形式化验证进展,以及其他证明团队是否能在同等硬件条件下匹配 Airbender 的结果。

展开阅读全文
更多新闻