Ethereum共同創設者のVitalik Buterinは、9月27日の投稿において、ベースチェーンが最終結果を確定し、暗号学的証明が検証作業の大きな割合を担うEthereumの姿を描いた。2030年を見据えたビジョンには、再帰的STARK証明、データ可用性サンプリング、プライバシー関連ツール、再設計されたコンセンサスが含まれる。このエッセイはリリース日程ではなく多年にわたる技術的方向性を示すものであり、関連コード、各アップグレードの範囲、提供時期は依然としてEthereumの通常の開発プロセスを経る必要がある。

提案されている転換は一文で表せる。チェーンは最終的な結果の決定を続け、証明がその結果を生み出した作業を参加者がより効率的に確認する手段を提供する、というものである。

Ethereum自身が依然として担うべきこと

Ethereumには、何が誰の所有物で、どのトランザクションが先に来たかを示す共有記録が必要である。この記録は同一の資金の二重支出を防ぎ、すべての参加者が参照できる最終状態をアプリケーションに提供する。

現在、フルノードはトランザクションと状態変化を独立に検証している。送信者が十分な資金を持つか、スマートコントラクトがルールに従ったか、結果の状態がプロトコルと一致するかを確認する。この重複した作業はネットワークのセキュリティを強化する一方、より多くのコンピュータを追加することで得られるはずのスループット向上を制限している。

Buterinのロードマップでは、トランザクションの順序付けと最終確定はベースレイヤーに留まり、周辺インフラは複雑な計算が最終ブロックに到達する前にそれを処理する余地を広げる。

証明が検証作業の多くを担える

ゼロ知識証明とは、ある計算が定義されたルール集合に従って実行されたことを示すコンパクトな数学ステートメントである。STARK（Scalable Transparent Argument of Knowledgeの略）は、信頼されたセットアップを必要としない透明なハッシュベースの構成である。プルーバーが重い計算を実行し、他の参加者が効率的に検証できる証拠を提供する。再帰的証明は多くの証明を単一の証明に結合することでこのモデルを拡張し、ネットワークはより広範な依存関係をカバーする一つの圧縮結果を検証できる。このアプローチにより、Ethereumの実行環境に到達する重複計算の量を減らせる可能性がある。

Buterinは、複数の担保資産と自動化されたルールを含む複雑なDeFiポジションをウォレットが確認する例でこの考えを説明している。彼が述べるアーキテクチャでは、証明によってそのポジションが正しく更新されたことを確立でき、Ethereumがその後の状態を自らのルールに従って確定する。

コスト低下と複雑な操作の高速化は依然としてあり得る成果である。その規模は、証明生成コスト、アプリケーション設計、最終的にメインネットに到達する機能次第となる。

データ可用性は別のセキュリティ課題

有効な証明と利用可能なデータは異なる目的を持つ。証明は、定義された計算が正しく実行されたかどうかに対応する。データ可用性は、その計算を支える情報が依然として取得・検証可能かどうかに対応する。この区別は実務上重要である。取得可能なデータがなければ、有効な証明であっても参加者は計算が生み出した状態を独立に再構築できない。

PeerDASは後者の課題に取り組む。ノードがblobデータをサンプリングし、より広いデータセットが利用可能であるという確信を築けるようにし、検証に参加する前に各ノードがデータセット全体をダウンロードする必要をなくす。PeerDASはFusakaアップグレードで導入され、Ethereumのスケーリングアーキテクチャの稼働中の一部となっている。Buterinのエッセイはこの設計原則をさらに推し進める。独立検証の道筋を保ちながら、各参加者ごとの繰り返し作業を減らすというものである。

エッセイはまた、Lean Ethereum提案を含む証明ベースのバリデータ検証に関する先行研究を、ネットワーク全体の計算、データ、プライバシーを網羅するより広範な計画の中に位置付けている。

プライバシーはウォレットが残す痕跡も対象に

Ethereumのプライバシー課題は、支払額や受取人アドレスの隠蔽にとどまらない。ウォレットは残高、トークンデータ、取引履歴を外部サーバーに照会することが、これらの要求はある人物がどのアカウントをフォローあるいは管理しているかを明かしうる。

Buterinは、このメタデータのより多くを保護しうる暗号ツールと分散型インフラについて述べている。掲げられた目標には、プライベートな支払い、プライベートなアカウントロジック、単一のサービス提供者に公開されるウォレット照会の削減が含まれる。

日常的な利用にはプロトコル研究以上のものが必要である。ウォレットソフトウェアはこれらのツールを安全にサポートしなければならず、ユーザーが十分な情報に基づいて選択できるよう、インターフェースはセキュリティモデルを明確に説明する必要がある。

Hegotáが始める長い技術的移行

Ethereumの公式ロードマップは、Hegotáアップグレードを2027年に位置付けている。Buterinはこれを、2010年代半ばの開発者にとって馴染みのある技術を主軸とする最後のアップグレードになる可能性が高いと述べている。その次のフェーズには、再帰的STARK、より最適化されたコンセンサス、自動化された形式検証、耐量子暗号が含まれる可能性がある。

形式検証はコードが書かれた仕様に一致するかを検証できるが、その仕様内の欠落や不適切な判断を解決することはできない。耐量子研究は将来の計算能力の進展に備えてEthereumを準備するものであり、Ethereumの既存の暗号は今日も使用され続けている。

これらのアイデアには、依然として研究、仕様策定、クライアント開発、セキュリティレビュー、テスト、コミュニティの合意が必要である。進捗を追う読者にとって、観察可能なマイルストーンは仕様ドラフト、クライアント実装、公開ネットワーク上のテストであり、すべてのEthereumアップグレードがメインネット到達前に通過する段階と同じである。証明生成は実環境のワークロード下でより安価かつ安全になる必要があり、大量の共有アプリケーション状態の管理もエッセイで指摘されたもう一つの大きな課題である。

ロードマップは独立検証で評価される

実務上の基準はシンプルである。ユーザー、開発者、ノード運営者は、不透明な仲介者に依存せずにシステムを検証する現実的な方法を必要としている。コンパクトな証明は効率的であるべきで、データはアクセス可能なまま維持され、ウォレットは各操作の背後にある前提を伝えなければならない。

提案されたEthereumのアーキテクチャでは、チェーンが順序付けと確定の責任を保持し、証明システムと分散型インフラがそれらの最終結果につながる作業のより大きな割合を担う。このロードマップの価値は、その仕組みが、一般ユーザーには評価できない複雑さを追加することなく検証をより実用的にするかどうかによる。

本記事は情報提供のみを目的としており、金融または投資助言を構成するものではない。Ethereumのロードマップは技術レビュー、コミュニティの調整、変更の対象であり続ける。