ZKsync 推出了 Airbender Prime，一个在单块 GPU 上实现以太坊主网区块实时证明的证明器——这一里程碑促使以太坊联合创始人 Vitalik Buterin 呼吁 zkEVM 开发重新聚焦安全性。

在测试中，一块 NVIDIA RTX PRO 6000 Blackwell GPU 在 10 秒内（包括见证数据准备，即证明器收集生成证明所需数据的步骤）证明了 7,200 个连续以太坊主网区块中的 99%。每个区块均在 12 秒内完成证明。以太坊大约每 12 秒产生一个新区块，因此在该时间窗口内完成每个区块的证明，才能使验证与出块保持同步。ZKsync 在 一条 X 帖子 中宣布了这一里程碑。

Airbender Prime 展示以太坊实时证明能力

zkEVM 会生成一个加密证明，证明区块是按照以太坊规则执行的，使任何人无需重新运行计算即可验证结果。据 ZKsync 介绍，Airbender Prime 采用基于哈希的 STARK，这是一种旨在实现后量子安全的证明结构。其技术结合了 GKR sumcheck、WHIR 多项式承诺和 BLAKE2s 哈希。

对于 Layer 1 证明，该系统将使用基于 Keccak-256 的承诺，而非 BN254 配对。它还遵循开放的 RISC-V 标准，并包含一个用于独立验证证明的独立验证器。

ZKsync 表示，Airbender Prime 在报告的平均证明时间、GPU 效率和成本方面位居 ETHproofs 公共排行榜——该排行榜追踪各 zkEVM 证明器对以太坊主网区块的证明表现——的首位。该项目还拥有使用两块和四块 GPU 的实时运行配置。

Vitalik Buterin 呼吁加强 zkEVM 安全性

Buterin 对 ZKsync 团队取得的里程碑表示祝贺。他表示，证明速度之争已尘埃落定，并认为 zkEVM 开发现在应优先考虑安全性。

Buterin 提出了形式化验证的三项要求：证明算术化与以太坊规范相符、在证明成本与区块 gas 之间建立硬性最大比例，以及验证证明系统本身的安全性。算术化是证明器将以太坊执行规则编码为证明系统可检验的数学命题的步骤。他的评论将关注点引向证明系统能否展示正确执行、可预测的证明成本以及可靠的加密保护。

ZKsync 瞄准可独立验证的金融基础设施

ZKsync 表示，人工智能的进步可能加速软件漏洞的发现和利用。该公司认为，机构需要银行和交易对手方可独立验证的机制。

据该公司介绍，要求账本更新附带零知识证明，可以防止被攻陷的执行服务器批准违反既定规则的更新。Airbender Prime 较低的硬件要求还可以使机构和独立运营者更容易生成证明。

该项目旨在支持跨金融基础设施的独立验证。ZKsync 表示计划就 Airbender Prime 发布公告，但在其介绍中未提供更多细节。