Ethereumチームは、ZKPプロセスとブロックチェーンネットワークのポスト量子セキュリティに最適化された新しい仮想マシンを発表しました。この開発はEthereumの長期的なロードマップの一部です。
最新のEthereumコンセンサスレイヤー開発者会議で、leanVMが発表されました。これはゼロ知識証明（ZKP）を処理し、ネットワークを潜在的な量子コンピューター攻撃から保護するために設計された新しい仮想マシンです。
leanVMは、スケーリングコストを劇的に削減し、再帰処理を加速するための基盤として構想されています。 プロジェクトの著者によると、現在の速度はCPU上で2.7秒であり、目標は10倍の改善です。leanVMのもう一つの重要な目標は、ポスト量子アルゴリズムを効率的に処理することです。新しい仮想マシンは、単に個々のXMSS署名を検証するのではなく、再帰的な集約を行い、数千の署名を1つのコンパクトな証明にまとめます。
leanVMの主な特徴は以下の通りです：
- 命令セットアーキテクチャ（ISA）がわずか4つの命令からなるミニマルなアーキテクチャで、非常にシンプルで形式的検証に適しています。
- 従来の方式と比較して、より高速かつコンパクトなコンセンサスを実現するために多重線形STARKsを使用しています。
- コミットメントコストを削減し効率を高める新しいサンプリング技術。
- 約1,000行のPythonコードで実装された完全な検証者、これにより監査やテストが簡素化されます。
- バリデーターは$7のRaspberry Pi Picoのような低消費電力デバイスでも実行可能であり、アグリゲーターはCPU/GPUを利用して高スループットを実現できます。
leanVMの開発はEthereumの10年戦略ロードマップに統合されており、先月発表されました。新しいLean EthereumアーキテクチャはEthereumのロードマップに沿いながらも、パラレルに進化し、直接メインネットに導入されることはありません。
2025年にはEthereumネットワークがPectraハードフォークを実施し、2つの大規模アップグレード—FusakaとGlamsterdam—が11月に予定されています。Ethereum共同創設者Vitalik Buterinは以前、新しい仮想マシンへの移行と抜本的な技術変革について語っています。
