侧边栏壁纸
博主头像
币圈前沿

获取币圈前沿资讯

  • 累计撰写 2993 篇文章
  • 累计创建 357 个标签
  • 累计收到 0 条评论

目 录CONTENT

文章目录

ZKsync正式发布全新zkVM Airbender!获得以太坊创始人V神转发

币安小助理
2025-06-25 / 0 评论 / 0 点赞 / 0 阅读 / 0 字
广告 广告

币圈子(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的转发:

0