イーサリアムの最近の leanVM 提案とは一体何なのでしょうか? まずはその背景や理由を見ていきましょう。 LeanVM を理解するには、まず leanEthereum フレームワークを理解する必要があります。 leanEthereum フレームワークは、イーサリアム研究者のジャスティン・ドレイク氏 (2025 年 7 月 31 日にリリース) によって提案された 10 年間のロードマップであり、100 万レベルの TPS (L1 10k/L2 1M)、リアルタイムの zkVM 検証、および量子耐性セキュリティを現実にすることを目標としています。 このロードマップには zkVM が含まれており、LeanVM は、ポスト量子時代におけるセキュリティ検証、署名集約、再帰的証明のために zkVM (ゼロ知識仮想マシン) を最小限に抑えることを目指しています。 リーンイーサリアム フレームワークは、リーン コンセンサス (zk 証明を使用して状態ルートを検証し、通常の家庭用デバイスをサポートする合理化されたコンセンサス)、リーン実行 (実行の合理化、SNARKed L1 EVM の実装、または RISC-V の導入)、およびリーン データ (データの合理化、新世代のデータ可用性スキーム)。 言い換えれば、LeanVM は、イーサリアムのパフォーマンス、セキュリティ、分散化を最小限の方法で向上させるという LeanEthereum のビジョンの一部です。 zkVM は、特定のデータ内容を開示せずに計算と状態の検証をサポートしているため、リアルタイムの状態検証、プライバシー保護、クロスチェーン アプリケーションに適しています。 leanVM 自体はイーサリアムの計算ボトルネックの解決に重点を置き、信頼できるが高価なオンチェーン コンピューティングと、オフチェーン コンピューティングにおける安価だが信頼の欠如の問題を解決しようとしています。 主に、多線形パラダイムと小さなフィールド (Koala Bear、31 ビット素数フィールドなど) を通じて効率的な証明を実現しようとし、従来の単変量 PCS (コミットメント スキーム) に取って代わり、証明のオーバーヘッドを削減します。 そのドキュメントによると、LeanVM のアーキテクチャは主に AIR (算術中間表現) テーブルを多線形多項式送信として使用します。 制約の妥当性は合計チェックプロトコルによって証明され、評価は単一の多項式宣言に簡略化されます。 基本的な命令セットには、加算、乗算、参照(メモリアクセス)、および条件付きジャンプが含まれます。 割り当てポインター (AP) レジスタを削除し、読み取り専用メモリ (パブリック セクションとコミットメント セクション) を使用し、証明者のヒント (ヒント) に依存してフレームを割り当てます。 最適化の面では、コミットメントコストを削減するためにログアップスターが使用され、サイクルごとに5つのフィールド要素(PC、FP、および3つのメモリインデックス)のみがコミットされ、他のzkVM(KOなど)と比較して18未満に減少しますが、制約の程度は5に増加します。 再帰的証明のサポート: 現在の最適化されていないパフォーマンスは 2.7 秒/再帰部分であり、目標加速は 10 倍以上です。 暗号化コンポーネントには、16 フィールド要素と 24 フィールド要素のプリコンパイルをサポートする Poseidon 2 (ZK フレンドリーなハッシュ関数) の統合が含まれています。 XMSS (Optimized Hashbase Post-Quantum Signature Scheme) の集約と再帰の場合、共通キーは約 50 バイト、署名は 3KB、検証<は 1ms です。 フィールドとPCS:コアラベアフィールド、多線形PCS、内積、拡張フィールドでの多重線形評価。 実装に関しては、概念実証 (POC) バリデーターは 500 行の Python <実装されており、最大限のシンプルさが強調されています。 コンパイラはインラインおよびループの展開をサポートしていますが、まだ成熟していません。 テストに関しては、単体テスト、ラウンドトリップ整合性テスト、および既知の回答テストでは、Pytest フレームワークが使用されます。 LeanVM のアプリケーション シナリオには、署名集約 (数千の署名を複数の署名に適した小さな証明に圧縮する) が含まれます。 プライバシーワームホール、フルチェーンゲーム、予測市場、AI検証。 クロスチェーンの再利用 (BTC などに適用される場合があります)。 leanMultisig との統合 (leanMultisig は、XMSS リーフ署名と集約を使用するハッシュベースのマルチシグネチャ フレームワークであり、leanVM の zk 証明に依存してポスト量子セキュリティを確保します)。 LeanVM の実装状況は、最新の公開情報によると、leanVM はまだ初期の研究およびプロトタイプ開発段階にあります。 リーンイーサリアムのロードマップは2025年7月31日にリリースされ、リーンイーサリアムは2026年に優先タスクを完了し、2027年から28年にテストネットの展開をサポートし、2029年にテストを完了すると推定されています。 全体として、リーンイーサリアムは少なくとも3〜5年間実装されます。 しかし、全体的なロードマップを見ると、イーサリアムの将来のロードマップは、高性能、分散化、セキュリティ、プライバシーの未来を明らかにしています。 100 万レベルの TPS を達成すれば、世界の定住層になるのはそう遠くありません。