Fenbushi Capital は最近、8 つの異なる zkVM のベンチマークに関する包括的なブログ投稿をリリースしました。() 主な結果と要点を含む要約は次のとおりです。

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

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

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

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

ベンチマークに使用されるハードウェアおよびテストプログラム: ベンチマークは、Ubuntu 24.04、8 つの仮想 CPU、192 GB の RAM、および 5090 GB の VRAM を備えた NVIDIA RTX 32 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、おめでとうございます!