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。