ZKsync Airbender 登场：全球最快开源 RISC-V ZkVM，单颗 GPU 轻松验证以太坊区块

ZKsync 正式发布全新 zkVM「Airbender」，这是一款专为高效能、可扩展性与去中心化而设计的零知识证明系统。Airbender 不仅是目前最快的开源 RISC-V zkVM，还以超越其他竞争对手数倍的效能，在区块链领域掀起技术革命。无论是在单颗 GPU 上完成次秒级区块验证，还是节省成本、提升去中心化程度，Airbender 正重塑 zk 技术的应用格局。

ZKsync Airbender 是什么？全面升级的 zkVM 与证明系统

Airbender 是 ZKsync 最新推出的 zkVM（Zero-Knowledge Virtual Machine），支援 RISC-V 指令集，能够对任意程式码进行高效的零知识证明。它搭配全新模组化作业系统 ZKsync OS，一同为 Elastic Network 提供更强大的执行环境与客制化能力。核心采用优化过的 DEEP STARK 技术，并支援自订机器配置与递回证明。

这套架构让开发者能在不同应用场景下做出权衡，例如提升去中心化程度、降低成本或进行证明压缩。

效能炸裂：Airbender 拥有目前最快的 zk 证明能力

ZKsync 针对 Airbender 进行多项效能测试，结果震撼业界。与目前的两大 zkVM 系统（RiscZero 和 SP1 Turbo）相比，Airbender 在相同条件下表现远胜对手：

H100 GPU 上 base layer 证明速度：21.8 MHz （相比 SP1 Turbo 的 3.45 MHz 与 RiscZero 的 1.1 MHz）

End-to-End 证明速度：Airbender 快 2.5～4 倍（对 SP1 Turbo），快 8.5～11 倍（对 RiscZero）

ZKsync 区块证明时间：单颗 GPU 达成次秒级别

这些测试不仅限于高阶 GPU，Airbender 在经济型的 NVIDIA L4 上也展现极高效率，代表其可实际部署在多样化硬体上，开启平民化证明的可能性。

17 秒搞定以太坊区块：单颗 GPU 实现近乎即时证明

Airbender 与 ZKsync OS 结合后，成功在单颗 H100 上完成以太坊平均区块的证明作业，速度如下：

仅 17 秒（不含递回）

完整流程（含递回）约 35 秒

相较于竞争对手 SP1 Hypercube 使用 50 至 160 颗 NVIDIA 4090 GPU 才能在 12 秒内完成相同任务，Airbender 只需一颗 H100 就能达成类似结果，节省硬体成本的同时也大幅降低进入门槛。

值得注意的是，由于不同系统使用不同执行环境与储存模型，因此比较结果需谨慎看待。但正因如此，ZKsync 强调整个系统架构（从 zkVM 到证明引擎）的整合性才是实现效能的关键。

ZKsync 全面改用 Airbender，成本降至每笔 $0.0001

ZKsync 宣布，所有新链都将采用 Airbender 作为默认证明系统，逐步取代现有的 Boojum prover。这项升级不仅带来速度上的显著提升，还让每笔交易的平均证明成本降至仅 $0.0001，成本比 Boojum 还低 10 倍以上。

包括 Abstract、Sophon、GRVT、Lens、Memento 等链将能无缝迁移至 Airbender，并立即享受到这些效能红利。

开放原始码、通用应用：不只 ZKsync 可用

Airbender 采开放原始码设计，基于 RISC-V 架构的 zkVM 不仅适用于 ZKsync，还能支援任意应用的证明需求。它的设计让开发者可在一般消费级硬体上执行，为去中心化 AI、区块链游戏、身分验证等新型应用铺路。

开发者已可在 ZKsync OS 测试网上体验 Airbender 并开始开发。虽然目前仍为 beta 版本，ZKsync 团队已着手优化开发者体验，并持续释出更新。

技术架构与执行模型详解：如何达成极速证明？

Airbender 采用五层式证明流程，专为弹性与高吞吐量设计：

Witness Commitment：生成 LDE 与 trace commitment

Lookup & Memory Argument：使用查找表验证记忆体操作

STARK Quotient Polynomial：将约束转换为多项式

DEEP Polynomial Construction：透过 FRI 批次降低证明大小

FRI IOPP：产生最终接近性证明

执行模型方面，Airbender 采用 RISC-V 32I+M 指令集，透过分段式的 fetch-decode-execute 模式进行执行。它可透过多段 stitching 模式实现横向扩展，支援 Kernel Mode 用于 ZKsync OS 系统级逻辑。

设计亮点：从硬体支援到自订指令皆可调校

Hybrid CPU/GPU 模式：可使用纯 CPU、单 GPU 或多 GPU

RAM 注册：所有寄存器透过记忆体管理，简化电路设计

Mersenne31 素数场运算：优化 STARK 效能的算术处理

自订 Precompiles 支援 Blake2s、Blake3、大整数运算

这项更新也获得了以太坊创办人 Vitalik Buterin 的转发：

这篇文章 ZKsync Airbender 登场：全球最快开源 RISC-V zkVM，单颗 GPU 轻松验证以太坊区块 最早出现于 链新闻 ABMedia。