ZKsyncは、高性能およびスケーラビリティを備えた分散化向けに設計された新しいzkVM「Airbender」を正式にリリースしました。Airbenderは、現在最速のオープンソースRISC-V zkVMであり、他の競合製品を数倍超えるパフォーマンスを誇っており、ブロックチェーン分野で技術革命を引き起こしています。Airbenderは、単一のGPUでサブ秒のブロック検証を完了することも、コストを削減し、分散化を促進することも可能であり、zk技術の適用範囲を再構築しています。ZKsync Airbenderとは何ですか？全面的にアップグレードされたzkVMとプルーフAirbender はZKsyncの最新のzkVM（Zero-Knowledge Virtual Machine）であり、RISC-V命令セットをサポートし、任意のコードに効率的なゼロ知識証明を行うことができます。それは新しいモジュール化OSであるZKsync OSと共に、Elastic Networkにより強力な実行環境とカスタマイズ可能な能力を提供します。コアは最適化されたDEEP STARKテクノロジーを採用し、カスタムマシン構成と再帰的証明をサポートしています。このフレームワークは、開発者が異なるアプリケーションシナリオでのトレードオフを行うことができるようにします。例えば、分散度の向上、コスト削減、または証明の圧縮などが挙げられます。パフォーマンスの爆発:Airbenderは利用可能な最速のzkプルーフ機能を備えていますZKsync は Airbender に対する多くのパフォーマンステストを行い、業界を驚かせました。現在の2つの zkVM（RiscZero と SP1 Turbo）と比較して、同じ条件下で Airbender ははるかに優れたパフォーマンスを発揮します：H100 GPUでのベースレイヤーの実証済み速度: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 の組み合わせにより、1つのH100でイーサリアムの平均ブロックの証明作業が成功裏に完了し、速度は次の通りです：わずか17秒（再帰を除く）完全なプロセス（再帰を含む）約35秒競合他社のSP1 Hypercubeが12秒で同じタスクを完了するために50から160のNVIDIA 4090 GPUを使用するのに対し、Airbenderは同様の結果を達成するために1つのH100だけで済み、ハードウェアコストを節約しながら参入障壁を大幅に下げることができます。システムが異なれば、使用する実行環境やストレージモデルも異なるため、比較結果は注意して表示する必要があることに注意することが重要です。 しかし、だからこそ、ZKsyncは、zkVMから認証エンジンまでのシステムアーキテクチャ全体の統合がパフォーマンスの鍵であることを強調しています。ZKsyncは全面的にAirbenderに切り替え、トランザクションごとにコストを0.0001ドルに削減しましたZKsyncは、すべての新しいチェーンで、デフォルトのプルーバーとしてAirbenderを採用し、徐々に既存のBoojumプルーバーを置き換えることを発表しました。このアップグレードにより、処理速度が著しく向上するだけでなく、各トランザクションの平均証明コストがわずか$0.0001に低下し、Boojumよりも10倍以上低いコストとなりました。Abstract、Sophon、GRVT、Lens、Memento などのチェーンは、Airbender にシームレスに移行し、即座にこれらのパフォーマンスメリットを享受することができます。オープンソース、汎用アプリケーション：ZKsyncだけでなく、Airbenderはオープンソース設計で、RISC-VアーキテクチャベースのzkVMはZKsyncにだけでなく、任意のアプリケーションの証明要件もサポートできます。その設計により、開発者は一般消費者向けのハードウェアで実行でき、分散化AI、ブロックチェーンゲーム、ID認証などの新しいアプリケーションに道を開いています。開発者はすでに ZKsync OS のテストネットワークで Airbender を体験し、開始することができます。現在はベータ版ですが、ZKsync チームは開発者の体験を最適化する取り組みを行っており、継続的に更新をリリースしています。技術アーキテクチャと実行モデルの詳細：どのようにして高速な証明を実現するか？Airbenderは、柔軟性と高いスループットを備えた、5層のプルーフプロセスを採用しています：ウィットネスコミットメント：生成LDEおよびトレースコミットメントLookup & Memory Argument：使用ルックアップテーブルでメモリ操作を検証するSTARK商多項式:制約を多項式に変換しますDEEP多項式構造:FRIバッチで認証サイズを縮小FRI IOPP: 近接性の最終的な証明を生成します執行モデル面では、Airbender は RISC-V 32I+M 命令セットを採用し、セグメント化された fetch-decode-execute モードを通じて実行されます。それは、マルチステージステッチングモードを介して横方向の拡張を実現し、ZKsync OS レベルのロジックをサポートするために、カーネルモードをサポートしています。デザインのハイライト：ハードウェアサポートからカスタムインストラクションまで調整可能ハイブリッドCPU / GPUモード:CPUのみ、シングルGPU、または複数のGPUを使用できますRAM 登録：すべてのレジスタはメモリ管理を介して管理され、回路設計が簡素化されますMersenne31 Prime Field Operations:STARKのパフォーマンスを最適化するための算術処理カスタムプリコンパイルは、Blake2s、Blake3、大きな整数演算をサポートしていますこの更新は、イーサリアムの創設者であるVitalik Buterinの支持も受けています。この記事では、ZKsync Airbenderが登場しました：世界最速のRISC-V zkVM、単一のGPUで簡単にイーサリアムブロックを検証する。
ZKsync Airbenderがデビュー:世界最速のオープンソースRISC-V ZkVMは、単一のGPUでイーサリアムブロックを簡単に検証します
ZKsyncは、高性能およびスケーラビリティを備えた分散化向けに設計された新しいzkVM「Airbender」を正式にリリースしました。Airbenderは、現在最速のオープンソースRISC-V zkVMであり、他の競合製品を数倍超えるパフォーマンスを誇っており、ブロックチェーン分野で技術革命を引き起こしています。Airbenderは、単一のGPUでサブ秒のブロック検証を完了することも、コストを削減し、分散化を促進することも可能であり、zk技術の適用範囲を再構築しています。
ZKsync Airbenderとは何ですか？全面的にアップグレードされたzkVMとプルーフ
Airbender はZKsyncの最新のzkVM（Zero-Knowledge Virtual Machine）であり、RISC-V命令セットをサポートし、任意のコードに効率的なゼロ知識証明を行うことができます。それは新しいモジュール化OSであるZKsync OSと共に、Elastic Networkにより強力な実行環境とカスタマイズ可能な能力を提供します。コアは最適化されたDEEP STARKテクノロジーを採用し、カスタムマシン構成と再帰的証明をサポートしています。
このフレームワークは、開発者が異なるアプリケーションシナリオでのトレードオフを行うことができるようにします。例えば、分散度の向上、コスト削減、または証明の圧縮などが挙げられます。
パフォーマンスの爆発:Airbenderは利用可能な最速のzkプルーフ機能を備えています
ZKsync は Airbender に対する多くのパフォーマンステストを行い、業界を驚かせました。現在の2つの zkVM（RiscZero と SP1 Turbo）と比較して、同じ条件下で Airbender ははるかに優れたパフォーマンスを発揮します：
H100 GPUでのベースレイヤーの実証済み速度: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 の組み合わせにより、1つのH100でイーサリアムの平均ブロックの証明作業が成功裏に完了し、速度は次の通りです：
わずか17秒（再帰を除く）
完全なプロセス（再帰を含む）約35秒
競合他社のSP1 Hypercubeが12秒で同じタスクを完了するために50から160のNVIDIA 4090 GPUを使用するのに対し、Airbenderは同様の結果を達成するために1つのH100だけで済み、ハードウェアコストを節約しながら参入障壁を大幅に下げることができます。
システムが異なれば、使用する実行環境やストレージモデルも異なるため、比較結果は注意して表示する必要があることに注意することが重要です。 しかし、だからこそ、ZKsyncは、zkVMから認証エンジンまでのシステムアーキテクチャ全体の統合がパフォーマンスの鍵であることを強調しています。
ZKsyncは全面的にAirbenderに切り替え、トランザクションごとにコストを0.0001ドルに削減しました
ZKsyncは、すべての新しいチェーンで、デフォルトのプルーバーとしてAirbenderを採用し、徐々に既存のBoojumプルーバーを置き換えることを発表しました。このアップグレードにより、処理速度が著しく向上するだけでなく、各トランザクションの平均証明コストがわずか$0.0001に低下し、Boojumよりも10倍以上低いコストとなりました。
Abstract、Sophon、GRVT、Lens、Memento などのチェーンは、Airbender にシームレスに移行し、即座にこれらのパフォーマンスメリットを享受することができます。
オープンソース、汎用アプリケーション：ZKsyncだけでなく、
Airbenderはオープンソース設計で、RISC-VアーキテクチャベースのzkVMはZKsyncにだけでなく、任意のアプリケーションの証明要件もサポートできます。その設計により、開発者は一般消費者向けのハードウェアで実行でき、分散化AI、ブロックチェーンゲーム、ID認証などの新しいアプリケーションに道を開いています。
開発者はすでに ZKsync OS のテストネットワークで Airbender を体験し、開始することができます。現在はベータ版ですが、ZKsync チームは開発者の体験を最適化する取り組みを行っており、継続的に更新をリリースしています。
技術アーキテクチャと実行モデルの詳細：どのようにして高速な証明を実現するか？
Airbenderは、柔軟性と高いスループットを備えた、5層のプルーフプロセスを採用しています：
ウィットネスコミットメント：生成LDEおよびトレースコミットメント
Lookup & Memory Argument：使用ルックアップテーブルでメモリ操作を検証する
STARK商多項式:制約を多項式に変換します
DEEP多項式構造:FRIバッチで認証サイズを縮小
FRI IOPP: 近接性の最終的な証明を生成します
執行モデル面では、Airbender は RISC-V 32I+M 命令セットを採用し、セグメント化された fetch-decode-execute モードを通じて実行されます。それは、マルチステージステッチングモードを介して横方向の拡張を実現し、ZKsync OS レベルのロジックをサポートするために、カーネルモードをサポートしています。
デザインのハイライト：ハードウェアサポートからカスタムインストラクションまで調整可能
ハイブリッドCPU / GPUモード:CPUのみ、シングルGPU、または複数のGPUを使用できます
RAM 登録：すべてのレジスタはメモリ管理を介して管理され、回路設計が簡素化されます
Mersenne31 Prime Field Operations:STARKのパフォーマンスを最適化するための算術処理
カスタムプリコンパイルは、Blake2s、Blake3、大きな整数演算をサポートしています
この更新は、イーサリアムの創設者であるVitalik Buterinの支持も受けています。
この記事では、ZKsync Airbenderが登場しました：世界最速のRISC-V zkVM、単一のGPUで簡単にイーサリアムブロックを検証する。