ZKsync正式发布全新zkVM Airbender！获得以太坊创始人V神转发
币圈子(120BTC.COm)讯：ZKsync正式发布全新zkVM 「Airbender」，这是一款专为高效能、可扩展性与去中心化而设计的零知识证明系统。Airbender不仅是目前最快的开源RISC-VzkVM，还以超越其他竞争对手数倍的效能，在区块链领域掀起技术革命。无论是在单颗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在相同条件下表现远胜对手：
H100GPU上base layer证明速度：21.8MHz(相比SP1 Turbo的3.45MHz与RiscZero的1.1MHz)
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作为默认证明系统，逐步取代现有的Boojumprover。这项升级不仅带来速度上的显著提升，还让每笔交易的平均证明成本降至仅$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-V32I+M指令集，透过分段式的fetch-decode-execute模式进行执行。它可透过多段stitching模式实现横向扩展，支持Kernel Mode用于ZKsync OS系统级逻辑。
设计亮点：从硬件支持到自订指令皆可调校
Hybrid CPU/GPU模式：可使用纯CPU、单GPU或多GPU
RAM注册：所有寄存器透过内存管理，简化电路设计
Mersenne31素数场运算：优化STARK效能的算术处理
自订Precompiles支持Blake2s、Blake3、大整数运算
这项更新也获得了以太坊创办人Vitalik Buterin的转发：