隐私、量子安全、ネイティブRollup——イーサリアムのロードマップに何が追加されたのか？

原文作者：ChandlerZ，Foresight News

イーサリアム共同創設者のVitalik Buterin氏は8月10日、2023年の技術ロードマップと現在のStrawmapを重ね合わせた対照図を公開した。同氏によると、全体の重複度は高いものの、一部の項目は優先度が引き上げられ（量子安全性など）、一部は優先度が引き下げられ（VDF、複数のEVM改善）、一部の方式はより優れた構造に置き換えられた（Verkleツリーはまず統一二分木に置き換えられ、その後PBTに置き換えられ、状態期限切れ方式は新しい状態タイプに置き換えられた）。

現在のロードマップには、2023年にはまったく含まれていなかった複数の新しい方向性が登場しており、優先度の変化を反映している。具体的には、強力なプライバシー保護が初めて最優先事項として位置づけられたこと、ポスト量子時代における積極的なスケーリングの推進、補助的な形式検証のためのプロトコル仕様の簡素化（AIの登場により、プロトコル全体の完全な形式検証が可能になったと同氏は述べる）、ブロックとガス先物の概念の導入、ネイティブRollupの導入（以前はSNARK技術が十分に成熟していなかった）、そして「EVMの未来」に向けた設計空間の拡大（プロトコルが将来、ユーザーに非EVMの命令セットアーキテクチャを提供する可能性）である。

3つの提案がプライベート送金のプロトコル能力を補完

強力なプライバシー保護は、最も顕著な変化である。2023年のロードマップには、このグループのプロトコルレベルの設計は含まれておらず、現在のStrawmapではプライバシーL1がプロトコルレベルの議題に引き上げられている。Vitalik氏が言及したkeyed nonces、recent roots、簡素化されたプライバシープール、wormholesは、それぞれプライベート取引の並行処理、証明検証、共通匿名セット、資金関連性の問題を解決する。

4月に提出されたEIP-8250は、共有送信アドレスが複数の独立したnonceを使用できるようにし、あるユーザーの保留中の取引が同じプライバシープロトコル内の他のユーザーをブロックしないようにする。5月に提出されたEIP-8272は、プライベート支出証明が最近のコミットメントツリールートを参照できるようにし、検証中に継続的に変化するアプリケーション状態を読み取る必要をなくす。EIP-8182は、システムコントラクト、共有シールドプール、分離された証明アーキテクチャを通じて、ETHとERC-20のためのプロトコル内プライバシープールを確立することを提案している。EIP-8250とEIP-8272は現在Draft（草案）段階にあり、EIP-8182はReview（審査）段階にある。いずれも確定したアクティベーションフォークはない。

現在、各プライバシーアプリケーションはそれぞれ資金プールを維持しており、ユーザーと流動性が分割された後、単一プールの匿名セットは小さくなりすぎる可能性がある。EIP-8182は、複数の資産を同じプロトコル内の匿名セットに集中させ、拡張可能な認可検証メカニズムを通じて新しい検証方法を追加し、アップグレード時にユーザーを再度分割する必要性を減らすことを目指している。

WormholesはEIP-7503のゼロ知識破棄証明に対応する。ユーザーはまずETHを暗号学的に使用不可能なアドレスに転送し、その後ゼロ知識証明を使用して同量のETHを再鋳造するため、公開チェーンが元の送金と新しいアドレスを関連付けるのは困難になる。この提案は現在Stagnant（停滞）状態にあり、仕様とリファレンス実装はまだ完成しておらず、実装エラーや二重鋳造のリスクも存在する。プライバシーがロードマップの最優先目標に入ったことは、イーサリアムがアカウント、取引検証、および基本層の送金を同時に改造し始めたことを意味し、デフォルトのプライベートアカウントまではまだ複数のプロトコルとウォレットの作業が残っている。

量子移行が4つの暗号学領域をカバー

Vitalik氏は量子安全性の優先度を引き上げ、ポスト量子条件下での継続的なスケーリングを提案している。リスクは、通常のアカウントで使用されるECDSA署名、バリデーターで使用されるBLS署名、Blobデータ可用性で使用されるKZGコミットメント、および一部のRollupとプライバシーアプリケーションで採用されているゼロ知識証明システムなどに分散している。現在の量子コンピューターはこれらの暗号学を破るには十分ではないが、グローバルネットワーク内のアカウントとバリデーターキーを交換するには長年の準備が必要である。

最新のロードマップでは、leanSPHINCS署名集約やzkzk framesなどの方向性が挙げられており、再帰的STARKを実行層、コンセンサス層、データ層で共同使用する。STARKは主にハッシュ関数に依存しており、楕円曲線暗号の一部の量子リスクを回避でき、大量の計算を検証しやすい証明に圧縮することもできる。イーサリアム財団はすでに専用のポスト量子チームを設立しており、現在のタイムラインはL1プロトコルのアップグレードが2029年に完了する可能性があり、実行層の全面的な移行にはさらに数年かかる可能性があり、確定した完了日はない。

STARKはプロトコルの簡素化と形式検証にも関連している。Vitalik氏が7月に提案したExtremely Lean Chain構想では、第一段階で単一バリデーターの状態を6バイトに圧縮し、第二段階でさらに1バイトに削減し、バリデーターがゼロ知識証明を通じて残高を更新し、毎日公開鍵をローテーションできるようにする。Vitalik氏は、現代のAIツールによりプロトコル全体の形式検証が実現可能になったと考えている。ここでのAIは、機械が検証できる数学的証明の作成とチェックに使用され、ブロック生成、投票、コンセンサス判断には関与しない。

ネイティブRollupによりL2がメインネットの検証を再利用、タイムラインは引き続き調整される

2025年11月に提出されたEIP-8079は、ネイティブRollupの草案をすでに示している。イーサリアムはEXECUTEプリコンパイルを通じて実行層にメインネットの状態遷移関数を開放し、EVM等価RollupがL1の検証インフラを再利用できるようにする。Rollupは現在、証明システム、ブリッジコントラクト、アップグレードメカニズムを独自に維持する必要があり、ネイティブ化によりカスタム検証コードを削減でき、セキュリティ委員会の撤去の条件も整う。EIP-8079の証明担送取引、ZK検証、および一部のセキュリティ設計はまだ「未完了」とされており、確定したメインネットのアップグレードにも含まれていない。

イーサリアム財団は3月にL1とL2の役割分担についてさらに説明し、メインネットのセキュリティを最大限継承したいL2はネイティブRollup、Stage 2、同期コンポーザビリティに移行できるとしている。プライバシー、アプリケーション固有の効率性、その他の差別化機能を提供するL2は引き続き存在する。ネイティブRollupのロードマップはL2とメインネットの検証関係を調整したが、マルチチェーンのスケーリング構造を廃止したわけではない。

状態設計も変更されている。Vitalik氏によると、Verkleツリーはまず統一二分木に置き換えられ、その後パーティション化二分木（PBT）に移行し、状態期限切れは新しい状態タイプに取って代わられた。7月に提出されたEIP-8347は、オフラインでのPBTへの移行を提案しているが、アクティベーションフォークとアンカーブロックはまだ確定していない。Blobとガス先物、leanISAやRISC-Vなどの非EVM命令セットも長期的な議論に入っており、より深いEVMの改造はまだStrawmapに書き込めるほど成熟していない。

Strawmapは現在、2029年までの7回の潜在的なアップグレードを描いており、約半年に1回のフォークのリズムで並んでいる。イーサリアム財団は5月に、コア開発者が2026年以降のフォークごとの年号表示は確定的すぎると考えており、今後弱化される可能性があると開示した。

まとめ

Vitalik氏の今回の更新は、イーサリアムの技術的優先順位の変化を集中的に示している。プライバシー、ポスト量子セキュリティ、形式検証が基本プロトコル設計に入り、ネイティブRollupと新しい状態タイプはスケーリングの議論を検証メカニズムと状態構造にまで進めた。複数の提案は現在もDraft、Review、または初期研究段階にあり、Strawmapが提供するのは依存関係と長期的な方向性であり、実装の約束として直接見なすことはできない。

関連するEIPが具体的なハードフォークに入るかどうか、ポスト量子アカウントとバリデーター移行スキームが完全な仕様を形成できるかどうか、そしてネイティブRollupの証明担送取引とZK検証設計を補完できるかどうか。直近の観察ポイントは依然として2026年第4四半期のGlamsterdamと、提案範囲がまだ確定していない2027年のHegotáである。