イーサリアムのleanVMがエンドツーエンドの形式検証を達成、2028年12月までに完全なポスト量子移行を目標
TREE NEWS 報道： イーサリアム財団の研究者ジャスティン・ドレイクは11月3日、ハッシュベースのポスト量子署名を効率的に集約するために設計された最小限のzkVMであるleanVMが、エンドツーエンドの形式検証を達成したと発表した。このマイルストーンは、将来の量子脅威からイーサリアムを保護するための重要な一歩となる。
leanVMは複数の署名をコンパクトな証明にまとめ、毎秒1,000以上のleanXMSS集約を処理できる。leanXMSSは、コンセンサス層でBLSを置き換える予定のハッシュベースの署名スキームである。形式検証により、zkVMの実装が数学的に正しい実行を保証することが確認され、コンセンサスに不可欠なインフラストラクチャにとって重要な要件となる。
業界分析と影響
この成果は、ブロックチェーンネットワークが直面する最も差し迫った長期的リスクの一つである、量子コンピュータが現在の楕円曲線暗号を破る可能性に対処するものである。ECDSAやBLS署名を攻撃できる大規模な量子コンピュータはまだ利用可能ではないが、脅威は十分に現実的であると考えられており、主要なプロトコルが移行を計画し始めている。
イーサリアムのアプローチは、形式検証を重視している点が注目に値する。leanVMの回路と実装の正しさを証明することで、財団は移行中にセキュリティを損なう可能性のある微妙なバグのリスクを軽減する。これは、コンセンサス層の変更が極めて高い信頼性を必要とするため、特に重要である。
leanXMSSのようなハッシュベースの署名の使用は意図的な選択である。ハッシュベースのスキームは量子攻撃に耐性があると考えられているが、署名が大きくなるため、実用的に保つには集約が必要である。leanVMが毎秒1,000以上の署名を集約できることは、パフォーマンスのオーバーヘッドが管理可能である可能性を示唆している。
ドレイクはまた、イーサリアムの完全なポスト量子移行のタイムラインを2028年12月に調整し、必要なネットワークフォークの時間を確保する必要があると述べた。このタイムラインは以前の推定よりも保守的であり、稼働中の分散型ネットワークをアップグレードする複雑さを反映している。
将来への展望
leanVMの形式検証は基礎的なステップであるが、多くの課題が残っている。移行には、クライアント、バリデータ、および広範なエコシステム全体での協調的なアップグレードが必要である。また、後方互換性や既存の資産やスマートコントラクトの移行に関する疑問も生じる。
成功すれば、イーサリアムのポスト量子移行は他のブロックチェーンの前例となる可能性がある。形式検証とハッシュベースの暗号技術の組み合わせは、量子耐性のあるコンセンサスの青写真となるかもしれない。しかし、2028年の目標は、量子の進歩が加速する可能性のある期間を残しており、業界はさらなるマイルストーンを注視している。
