ZKsync 的 Airbender 在单块 GPU 上实现实时证明，Vitalik Buterin 对此发表看法

以太坊联合创始人赞扬了这一速度里程碑，但表示下一场争论将围绕安全性、正确性和证明者成本界限展开。

2026年10月14日星期三 · 23:42 EDT · 阅读时长2分钟

在以太坊

ZKsync 表示，它已构建出首个能够在单个 GPU 上实时生成证明的以太坊证明器。以太坊联合创始人 Vitalik Buterin 两天后作出回应，既给予了赞扬，也布置了功课。

该系统名为Airbender Prime，ZKsync于2026年10月13日宣布了这一消息。Buterin于2026年10月15日公开赞扬了该团队。他还主张，现在的重点应转向验证zkEVM的安全性，包括系统的正确性以及对证明成本上限的限制。

Airbender Prime究竟做了什么

ZKsync 的核心数据来自单块 NVIDIA RTX PRO 6000 Blackwell GPU。在 7,200 Ethereum 个主网区块中，Airbender Prime 在 10 秒内完成了 99% 的证明。该集合中的每个区块均在 12 秒内完成证明。

这一结果使Airbender位居ETHproofs.org公开排行榜榜首，在证明时间、GPU效率和成本效益方面均处于领先地位。

Airbender 的先前版本在一块 H100 GPU 上实现了 21.8 MHz 的吞吐量。新版本将讨论从原始吞吐量数据转向更切实的目标：在普通人有可能买得起的硬件上跟上以太坊的实时区块。

在底层，Airbender 依赖基于哈希的 STARKs，ZKsync 将其描述为一种能够抵御量子攻击的证明系统系列。它构建于 RISC-V 这一开放指令集标准之上，其组件均为开源。

Buterin在性能方面毫不含糊。他认为，让证明变得快速的竞赛实际上已经结束。

“速度之战……已彻底获胜”

随后他话锋一转。根据他的评论，下一个优先事项应当是对证明器进行形式化验证，确保其忠实符合以太坊的规范。他还呼吁对与gas费用挂钩的证明器成本设定上限。

Airbender并非孤立问世。它紧随ZKsync早前的Atlas升级之后，这是拓展以太坊处理能力的更广泛努力的一部分。

该证明器已在ZKsync支持的各个链上运行。它被设计为能在商用硬件上高效运行，兼顾机构运营者和独立参与者。

在信任方面，Buterin的评论实际上重置了记分牌。此后值得关注的事项相当明确：Airbender针对以太坊规范的形式化验证进展、任何关于证明者成本相对于gas的上限的已发表研究，以及竞争对手zkEVM团队是否会在ETHproofs.org排名上缩小差距。

披露：本文由Estefano Gomez编辑。有关我们如何创建和审核内容的更多信息，请参阅我们的编辑政策。