イーサリアム財団、ETHの耐量子暗号への移行目標を2029年12月に設定

leanVMの形式的検証はまだ道半ば

イーサリアム(ETH)を支えるバリデータとノード運営者は、大規模な署名方式の移行に直面しようとしている。イーサリアム (ETH)財団が9月7日に公表した計画によれば、プロトコル担当チームはレイヤー1(L1)全体を耐量子暗号へ移す期日を2029年12月に設定した。この計画は実行レイヤー、コンセンサスレイヤー、データレイヤーの三層を一括で量子耐性のある方式に切り替える方針を明示している。ただし財団自身は、これを確認済みのメインネットアップグレードではなく自らが選んだ目標として位置づけており、補足資料では研究・実装・ガバナンスの進展次第でロードマップが変わる可能性にも言及している。

移行コストを現実的な水準に引き下げるはずの道具立てが、まだ整っていない。leanVMは実行過程をコンパクトに証明できる仮想マシン、いわゆるミニマルなzkVMで、耐量子署名を簡潔な証明にまとめる役割を担う想定だ。公開リポジトリではエンドツーエンドの形式的検証をセキュリティ設計の目標として掲げているが、同じリポジトリは検証がまだ進行中であり、leanVMは本番環境での使用に耐える段階にないと明記している。形式的検証とは、選んだ入力でテストを通すのではなく、プログラムが固定された数学的仕様を満たすことを証明する手法で、スマートコントラクト監査の分野で広く用いられてきた。目標として掲げることと完了することは別で、現時点でプロジェクトが主張しているのは前者にとどまる。テストはエッジケースを見落としうるが、完了した証明は許容される全入力をカバーする。

現在、同チェーンのプルーフオブステークのコンセンサスメカニズムはBLS署名の上に成り立っており、バリデータはスロットごとに署名を生成し、それらを低コストで集約できる。ハッシュベース方式、例えばXMSS系の署名は、単体では複数の署名を結合できないため、SNARKを用いた集約レイヤーが必須になる。leanVMが存在する意義はまさにこの部分だ。巨大な耐量子署名の集合を、レイヤー2システムが既に依存している種類の簡潔な証明へと包み込む。したがって、イーサリアム (ETH)の耐量子ロードマップは暗号研究の課題であると同時に、ソフトウェア工学の計画でもあり、今回の更新はイーサリアムの価格に直接的な影響を与えるものではない。

ベンチマーク、Lean 4、2027年1月の見直し

研究の裏付けは公開資料で確認できる。2025年の論文は、イーサリアム財団の研究者を著者に含み、XMSS系のハッシュベース署名を耐量子の代替案として提案し、それを簡潔な証明へ集約する手順を論じた。leanVMのリポジトリには最初の性能数値も載っている。M4 MaxのCPUで1,400個のleanXMSS署名を集約し、スループットは秒あたり1,191.353署名、証明生成には1.175秒を要したという。ただしリポジトリ自体が、これは単一のコンシューマー向けCPU環境での結果であり、構成が大きく異なるバリデータ運用にそのまま当てはめられるものではないと注意書きを添えている。

本体ツールのほかに二つの作業系統が並行して動いている。独立したLean 4プロジェクトであるleanerVMは、leanVMを形式的に定式化する作業を進めており、基盤となる構造の整備を終え、Rust実装を固定版と突き合わせる差分テストを開始した。さらに形式的検証をコードそのものへ拡張する可能性にも言及している。10月8日にはイーサリアムの研究フォーラムで、証明に用いる候補命令セットの比較が投稿された。評価対象はEVM、RISC-V、イーサリアム独自設計の三者で、この選択は証明の速度、実装の成熟度、長期的な保守負担に影響する。

意思決定の時期も示されている。財団は2027年1月に量子コンピューティングの進展を再評価する予定で、外部専門家の助言を参考にする。一方、テストネットやメインネットでの有効化の時期は公表されておらず、リハーサル段階の順序は未定のままだ。この計画の背景には切実な懸念がある。共同創設者のVitalik Buterin氏は、人工知能が50年分の数学を一気に進め、イーサリアムの暗号を破る可能性に言及しており、集約ツールはこのシナリオへの備えとして位置づけられている。ステーキングを運用するバリデータは、有効化スケジュールが確定した時点で鍵とクライアントの移行コストを負担することになる。9月の計画とツールの状況は別々に読むべきだ。移行の全体目標、各ツールの開発状況、実際のネットワーク有効化の三者は異なる系統であり、日付を持つのは最初の一つだけである。

日付付きの目標と検証済みコードの間の隔たりが、この計画のリスクの所在だ。耐量子署名方式そのものは既に存在する。まだ存在しないのは、L1規模で現実的なコストにする形式的検証済みの集約器である。注視すべき節目は具体的で、leanVMのエンドツーエンド検証の完了、EVMかRISC-Vか独自設計かの命令セット決定、そして2027年1月の専門家による見直しの三つだ。この規模の移行は日常的なフォークよりも、複数年を要したイーサリアム2.0アップグレードに近い性格を持つため、中間の日付は動く見込みだ。それらが確定するまで、残された作業は財団の研究チームとツール開発者の手にある。バリデータが移行の負担を引き受けるのは、検証が完了しメインネットの日付が固まってからである。