Fenbushi Capitalは最近、8つの異なるzkVMのベンチマークに関する包括的なブログ記事を公開しました。() ここでは、主な結果と要点をまとめてご紹介します。

zkVMとは? zkVMs は、入力や中間的な計算状態を開示することなく、プログラムの実行の正確性を暗号的に検証するように設計されています。 イーサリアムブロックの証明に関して、zkVMsは3つの基本的な暗号化保証を統合して、すべての状態遷移を検証します。 ·読み取り/書き込みメモリの一貫性の証明 ·インストラクションエンコーディングプルーフ ·インストラクションプルーフ

zkVMsはどのようにしてイーサリアムをスケーリングできますか? バリデーターは、すべてのトランザクションを再実行する代わりに、非常に効率的で、L1のスループットを大幅に向上させることができる簡潔な暗号証明を検証できます。

Fenbushiのブログでは、zkVMのパフォーマンスをより比較可能にすることを目的とした標準化されたベンチマークフレームワークを紹介しています。 SP1、RISC Zero、OpenVM、Pico、ZKM、Jolt、Nexus、Novanet の 8 つの zkVM を、4 つの計算タスクと 3 つのパフォーマンス メトリック (証明時間、証明サイズ、ピーク RAM 使用率) で評価します。

さまざまな証明システムの中には、FRI-STARKベース、Novaベース、Lassoルックアップベース、GKRなど、いくつかの主要なものがあります。 zkVM アーキテクチャは、vRAM スタイルとモジュラー スタイルの 2 つの主要なパラダイムにさらに分類できます。

ベンチマークに使用されるハードウェアとテストプログラム: ベンチマークは、Ubuntu 24.04、8つの仮想CPU、192GBのRAM、および32GBのVRAMを搭載したNVIDIA RTX 5090 GPUを搭載したLinuxシステムで実施されました。 評価に利用された4つのテストプログラムは、次のもので構成されています。 1. 100,000番目のフィボナッチ数の計算。 2. SHA2–2048ハッシュ計算。 3. secp256k1曲線を使用したECDSA署名の検証。 4. 100のイーサリアム転送トランザクション(ETHTransfer)のシミュレーション。

SHA2–2048 の証明時間: SHA2 のような暗号化操作では、プリコンパイルベースのアクセラレーションが一般的な最適化戦略です。

100 ETHTransfer取引の証明時間: 概要： RISC Zeroは、フィボナッチテストではSP1よりわずかに遅いですが、他の3つのテストプログラムでは明らかに勝者として際立っています。

メモリ効率とピーク メモリ使用量: SP1 (GPU)、RISC Zero (GPU) は、テスト プログラムに関係なく、比較的一定のメモリ消費を示しました。

プルーフサイズ(kB)は、次のように観察されています。 RISC ZeroとJoltは、評価されたベンチマーク全体で一貫して最もコンパクトなプルーフサイズの中で生産されました。

パフォーマンスの概要: 全体として、RISC Zeroのパフォーマンスは並外れた一貫性を示しており、SP1、OpenVM、Pico、Joltはそれぞれいくつかの個々のカテゴリで優れたパフォーマンスを達成しています。

結論： RISC Zero、OpenVM、SP1は、特にEVM関連の計算タスクの実行において特に堅牢なパフォーマンスを示しており、イーサリアムのスケーリングに最適な候補となっています。 RISC Zeroは、ブロックチェーンアプリケーションに関連する主要なメトリクス全体で優れた効率性を示しており、これらすべてが効率的なメモリ利用とコンパクトなプルーフサイズを備えています。 @RiscZeroさん、@openvm_orgさん、@SuccinctLabsさん、おめでとうございます!