Vitalik ButerinのEthereumに関する優先事項は、量子コンピュータからネットワークを防御することと、人工知能を用いて自身のコードを検証することへと大きく方向転換した。Buterinは2026年8月10日にXへ投稿された更新版「ストローマップ」でこれらの変更を概説し、自身が2023年に発表したロードマップとEthereumの現在の方向性を直接比較した。

「最も注目すべきは、この図にはない完全に新しい項目がストローマップに含まれていることです。それらは2023年のロードマップには全く存在していませんでした。これは優先事項の変化を反映しています」とButerinは記した。Decryptが報じたこの比較では、ポスト量子セキュリティ、プライバシーの強化、AI支援による形式的検証がリストの上位に浮上していることが示されている。

耐量子性が優先課題の最前列へ

現在の公開鍵暗号を破る能力を持つ量子コンピュータは、多くの推測ではまだ何年も先の話とされるが、Ethereumのロードマップは現在、この脅威を遠い将来の懸念ではなく、至近のエンジニアリング優先事項として扱っている。この位置づけはテクノロジー業界全体のより広範な変化と一致している。米国国立標準技術研究所（NIST）は2024年8月に最初のポスト量子暗号標準を最終化し、組織に移行のための参照フレームワークを提供した。ストローマップによると、Ethereum Foundationはすでにポスト量子専門チームを組織し、十分に強力な量子マシンが破る可能性のある暗号コンポーネントを置き換えるための段階的計画を策定している。更新版で新たに盛り込まれた項目には、ポスト量子署名方式であるLeanSPHINCSと、これらのより重い耐量子署名の使用時にもネットワークの効率を維持するための署名集約ツールが含まれる。

「Ethereumは量子セーフである。Ethereumはユーザーのプライバシーを最優先する。Ethereumはセキュアである。Ethereumは検閲耐性を持つ。Ethereumは上記を満たしながら高いパフォーマンスとスケーラビリティを備える。そしてEthereumはリーンである」とButerinは書き、新しい計画の下でのネットワークの指針を要約した。Unchainedは、量子安全性が以前のロードマップと比較して明示的に優先度を上げられたと報じた。これはButerinが投稿で指摘した再優先順位付けされた複数の項目の一つである。

更新版を貫く2つ目の技術的テーマは、AI支援による形式的検証である。これは、限られたシナリオセットに対してテストするのではなく、コードが意図通りに動作することを数学的に証明する手法である。Ethereumの研究者は、ネットワーク全体の計算をセキュアに検証するためにSTARK（Scalable Transparent ARguments of Knowledge）に依存している。STARKは、すでに複数のEthereumレイヤー2ネットワークにデプロイされている暗号証明システムである。Buterinは両者を直接結びつけた。「これは形式的検証によってのみ安全になり得ますが、その形式検証自体が現代のAIツールがあって初めて実現可能なのです。」この計画は、STARK証明とAIツールを用いてEthereumの実行層、コンセンサス層、データ層全体のコードを検証することを求めている。The Blockはこの範囲を、新しいロードマップでプライバシーと耐量子性を最前線に据えるものと評した。

プライバシーとスケーリングも再構築

ネイティブプライバシーも優先リストを上昇した。「Ethereumは開発が進むにつれ、ユーザーのプライバシーを最優先する」とButerinは記し、ストローマップはプライバシーを外部開発者が構築するオプションのレイヤーではなく、設計要件として位置づけている。スケーリングに関しては、この更新版は単一の統合システムですべての種類のアクティビティのスループットを最大化しようとする方向から離れている。代わりに、特定のユースケース向けに構築された特化型スケーリングメカニズムを優先し、ネイティブロールアップやblob・ガスフューチャーなどの新たな項目も盛り込まれた。

一部の以前の優先事項は完全に削除または置換された。Buterinの投稿では、検証可能遅延関数や多くの計画されていたEVM改善が優先度低下として挙げられ、Verkleツリーなどの以前のデータ構造計画は、彼が統合バイナリトライからPBTと呼ぶものへの道として説明した新しい構造に取って代わられた。また、ステータス有効期限は新しいステートタイプに置き換えられた。このような追加ではなく置換というアプローチが更新版全体に見られる。Ethereumは機能を追加しているだけでなく、もはや適合しないものを破棄している。

5年先を見据えたよりシンプルな仕様

Buterinはストローマップを2029年までを涵盖する調整計画として位置づけ、簡素化の目標は個々の機能と同等に重要であるとしている。Ethereumのプロトコルは、ザ・マージ（2022年9月のEthereumのプルーフ・オブ・ワークからプルーフ・オブ・ステークへの移行）以降、実行層、コンセンサス層、データ層にわたって複雑さが蓄積しており、形式検証とAIツールの組み合わせは、その複雑さを単に文書化するのではなく監査可能なものにする手段として提案されている。このストーリーを報じたメディアのいずれも、Ethereumのアプローチと競合するレイヤー1ネットワークでの耐量子化作業との比較については詳述しておらず、業界全体のポスト量子移行の比較タイムラインは現時点では未着手のままである。

ETH自体は発表に対して反応を示さず、投稿時点で約$1,875で取引され、24時間で約2.6%下落していた。5年間の技術ロードマップと当日の価格の無反応との間のこのギャップは、それ自体が注目に値する。市場はこれを短期的な触媒ではなく、長期的視野のインフラ作業として扱っている。The Defiantも同日にEthereumエコシステムのアクティビティを取り上げたが、Robinhood Chainの取引量に関するその報道はButerinのロードマップ投稿とは別のストーリーであった。

次に何が起こるかは、Ethereum Foundationのポスト量子チームがLeanSPHINCSと署名集約を提案から出荷可能なコードへとどれだけ迅速に転換できるか、そしてSTARKベースの形式検証がEthereumの3つのコアレイヤーすべてで実用的であることが証明されるかにかかっている。Buterinの投稿は2029年までの到達目標を設定した。それに向けて構築するより困難な作業は今ここから始まる。

オリジナルのロードマップ証拠を読む

オリジナルのスレッドは、すべての項目を約束されたアップグレードとして扱うよりも正確である。Buterinはこれを「ストローマップ」と呼んでいる。つまり、現在の優先事項を2023年のロードマップと比較する計画・調整文書である。これはプロトコル全体の形式検証を特定し、量子安全性がはるかに高い位置に移動したと述べているが、リリーススケジュール、完成した仕様、または耐量子移行がメインネットの準備ができていることの証明ではない。

読者は strawmap.org で進化するアウトラインを確認することもできる。ロードマップの項目は、研究、仕様策定、実装、テスト、そしてEthereumのソーシャルガバナンスプロセスを経る必要がある。コンポーネントごとに進行速度が異なり、マップへの掲載は特定のフォーク日を保証するものではない。

量子安全性と形式検証が結びついている理由

ポスト量子署名は、一般的にEthereumが現在使用している署名よりも大きく、より多くの計算リソースを必要とする。暗号の前提を、クライアントやウォレットを使用不能にすることなく置き換えるには、慎重なプロトコル設計が必要である。形式検証はコードと仕様の選択された特性を証明することで実装リスクを低減でき、AIツールはエンジニアがそれらの証明を書いたりレビューしたりするのを支援する可能性がある。AIの出力自体はセキュリティ証明ではなく、依然として厳密な検証が必要である。

ロードマップには、現在の量子コンピュータがEthereumアカウントを破ることができるという証拠は一切ない。リスクは将来的なものである。プロトコルの移行には何年もかかり、今日収集された暗号化または署名されたデータは後で価値を持ち続ける可能性がある。この作業を前に進めることは準備であり、攻撃が差し迫っているという主張ではない。

ButerinのEthereum Strawmap Puts Quantum Defenses Ahead of Scaling（ブテリンのEthereumストローマップ、スケーリングより量子防御を優先）の投稿はCryptsyに最初に掲載され、Ethan Blackburnが執筆した。