イーサリアムは自宅バリデーターに証明を検証させたいが、12GPUという現実が新たな脅威を生んでいる

イーサリアムの研究者ladislaus.ethは先週、イーサリアムがすべてのトランザクションの再実行からゼロ知識証明の検証への移行計画を説明するウォークスルーを公開しました。

この投稿は「静かだが根本的な変革」として位置づけられており、そのフレーミングは正確です。作業が秘密だからではなく、その影響がイーサリアムのアーキテクチャ全体に波及し、各部分が接続されるまで明らかにならない方法であるためです。

これはイーサリアムが機能としてZKを「追加する」ことではありません。イーサリアムは、一部のバリデーターがすべてのトランザクションを再実行するのではなく、コンパクトな実行証明を検証することでブロックを証明できる代替検証パスをプロトタイプ化しています。

これが機能すれば、イーサリアムのレイヤー1の役割は「ロールアップの決済とデータ可用性」から「ホームバリデーターにとって十分に低コストで検証できる高スループット実行」へとシフトします。

実際に構築されているもの

「オプション実行証明」というタイトルのEIP-8025がドラフト形式で提出され、メカニクスが規定されています。
実行証明は、専用トピックを介してコンセンサスレイヤーのピアツーピアネットワーク全体で共有されます。バリデーターは、証明生成またはステートレス検証という2つの新しいモードで動作できます。

提案は、「ハードフォークを必要としない」ことを明示的に述べており、後方互換性を維持し、ノードは今日と同じように再実行できます。

イーサリアム財団のzkEVMチームは、1月26日に2026年の具体的なロードマップを公開し、実行ウィットネスとゲストプログラムの標準化、zkVM-ゲストAPIの標準化、コンセンサスレイヤー統合、証明者インフラストラクチャ、ベンチマークと指標、および形式的検証によるセキュリティの6つのサブテーマの概要を示しました。

最初のL1-zkEVMブレイクアウトコールは、2月11日15:00 UTCに予定されています。

エンドツーエンドパイプラインは次のように機能します。実行レイヤークライアントがExecutionWitnessを生成します。これは、完全な状態を保持せずにブロックを検証するために必要なすべてのデータを含む自己完結型パッケージです。

標準化されたゲストプログラムがそのウィットネスを消費し、状態遷移を検証します。zkVMがこのプログラムを実行し、証明者が正しい実行の証明を生成します。次に、コンセンサスレイヤークライアントは、実行レイヤークライアントを呼び出して再実行する代わりに、その証明を検証します。

主要な依存関係は、今後のGlamsterdamハードフォークを対象としたePBS（Enshrined Proposer-Builder Separation）です。ePBSがない場合、証明ウィンドウは約1〜2秒で、リアルタイム証明には短すぎます。ePBSがブロックパイプライニングを提供することで、ウィンドウは6〜9秒に拡張されます。

分散化のトレードオフ

オプション証明とウィットネス形式が成熟すれば、より多くのホームバリデーターが完全な実行レイヤー状態を維持せずに参加できます。

検証コストが実行の複雑さから切り離されるため、ガス制限の引き上げが政治的および経済的に容易になります。検証作業はオンチェーン活動と線形にスケールしなくなります。

しかし、証明には独自の集中化リスクがあります。2月2日のイーサリアム研究の投稿によると、完全なイーサリアムブロックの証明には現在約12個のGPUが必要で、平均7秒かかります。

著者は集中化に関する懸念を指摘し、制限の予測が依然として困難であることを指摘しています。証明がGPU集約型のままであり、ビルダーまたは証明者ネットワークに集中する場合、イーサリアムは「全員が再実行する」を「少数が証明し、多数が検証する」と交換する可能性があります。

設計は、証明レイヤーでクライアントの多様性を導入することでこれに対処することを目指しています。EIP-8025の作業仮定は5分の3のしきい値であり、証明者が異なる実行レイヤークライアント実装からの5つの独立した証明のうち3つを検証すると、ブロックの実行を有効として受け入れることを意味します。

これによりプロトコルレベルでクライアントの多様性が維持されますが、ハードウェアアクセスの問題は解決されません。

最も正直なフレーミングは、イーサリアムが分散化の戦場をシフトしているということです。今日の制約は「実行レイヤークライアントを実行する余裕がありますか？」です。明日は「GPUクラスターまたは証明者ネットワークにアクセスできますか？」になるかもしれません。

賭けは、証明検証が状態ストレージと再実行よりも商品化しやすいということですが、ハードウェアの問題は未解決のままです。

L1スケーリングのアンロック

2月5日に最終更新されたイーサリアムのロードマップは、「ステートレスネス」を主要なアップグレードテーマとしてリストしています：大きな状態を保存せずにブロックを検証します。

オプション実行証明とウィットネスは、ステートレス検証を実用的にする具体的なメカニズムです。ステートレスノードはコンセンサスクライアントのみを必要とし、ペイロード処理中に証明を検証します。

同期は、最後のファイナリティチェックポイント以降の最近のブロックの証明をダウンロードすることに削減されます。

これはガス制限にとって重要です。今日、ガス制限の増加はすべて、ノードの実行を困難にします。バリデーターが再実行するのではなく証明を検証できる場合、検証コストはガス制限とともにスケールしなくなります。実行の複雑さと検証コストが切り離されます。

2026年ロードマップのベンチマークと再価格設定ワークストリームは、消費されたガスを証明サイクルと証明時間にマッピングするメトリクスを明示的にターゲットにしています。

これらのメトリクスが安定すれば、イーサリアムはこれまでにないレバーを獲得します：バリデーターの実行コストを比例的に増加させることなく、スループットを高める能力です。

レイヤー2ブロックチェーンにとっての意味

Vitalik Buterinによる最近の投稿は、レイヤー2ブロックチェーンがスケーリングを超えて差別化すべきであると主張し、「ネイティブロールアッププリコンパイル」の価値を、イーサリアムがレイヤー1をスケールするために既に必要としているzkEVM証明の必要性に明示的に結び付けています。

ロジックは単純です：すべてのバリデーターが実行証明を検証する場合、同じ証明をネイティブロールアップのEXECUTEプリコンパイルでも使用できます。レイヤー1証明インフラストラクチャは共有インフラストラクチャになります。

これによりレイヤー2の価値提案がシフトします。レイヤー1が検証コストを低く保ちながら高スループットにスケールできる場合、ロールアップは「イーサリアムは負荷に対応できない」という根拠で自らを正当化できません。

新しい差別化軸は、特殊化された仮想マシン、超低レイテンシ、事前確認、および高速証明設計に依存するロールアップのような構成可能性モデルです。

レイヤー2が関連性を維持するシナリオは、専門化と相互運用性の間で役割が分割されるものです。

レイヤー1は、高スループット、低検証コストの実行および決済レイヤーになります。レイヤー2は、機能ラボ、レイテンシオプティマイザー、および構成可能性ブリッジになります。

ただし、それにはレイヤー2チームが新しい価値提案を明確にし、イーサリアムが証明検証ロードマップを実現する必要があります。

3つの前進パス

将来には3つの潜在的なシナリオがあります。

最初のシナリオは、証明優先検証が一般的になることです。オプション証明とウィットネス形式が成熟し、クライアント実装が標準化されたインターフェイスを中心に安定すれば、より多くのホームバリデーターが完全な実行レイヤー状態を実行せずに参加できます。

検証コストが実行の複雑さと一致しなくなるため、ガス制限が増加します。このパスは、ExecutionWitnessとゲストプログラムの標準化ワークストリームがポータブル形式に収束することに依存しています。

シナリオ2は、証明者の集中化が新しいボトルネックになる場合です。証明がGPU集約型のままでビルダーまたは証明者ネットワークに集中する場合、イーサリアムは分散化の戦場をバリデーターのハードウェアから証明者市場構造にシフトします。

プロトコルは依然として機能します。どこかに1人の正直な証明者がいればチェーンは稼働し続けますが、セキュリティモデルは変化します。

3番目のシナリオは、レイヤー1証明検証が共有インフラストラクチャになることです。コンセンサスレイヤー統合が強化され、ePBSが拡張証明ウィンドウを提供する場合、レイヤー2の価値提案は「イーサリアムのスケーリング」だけでなく、特殊化されたVM、超低レイテンシ、および新しい構成可能性モデルに傾きます。

このパスには、ePBSがGlamsterdamのスケジュール通りに出荷される必要があります。

より大きな全体像

コンセンサス仕様統合の成熟度は、「オプション証明」が主にTODOから強化されたテストベクトルに移行するかどうかを示します。

ExecutionWitnessとゲストプログラムの標準化は、クライアント間でのステートレス検証ポータビリティの要です。消費されたガスを証明サイクルと証明時間にマッピングするベンチマークは、ZK親和性のためのガス再価格設定が実現可能かどうかを決定します。

ePBSとGlamsterdamの進捗は、6〜9秒の証明ウィンドウが現実になるかどうかを示します。ブレイクアウトコールの出力は、作業グループがインターフェイスと最小限の実行可能な証明配信セマンティクスに収束するかどうかを明らかにします。

イーサリアムはすぐに証明ベースの検証に切り替えるわけではありません。EIP-8025は「まだそれに基づいてアップグレードできない」と明示的に述べており、オプションのフレーミングは意図的です。その結果、これは差し迫ったアクティベーションではなく、テスト可能なパスウェイです。

しかし、イーサリアム財団が2026年の実装ロードマップを出荷し、プロジェクトオーナーとのブレイクアウトコールをスケジュールし、具体的なピアツーピアゴシップメカニクスを持つEIPをドラフトしたという事実は、この作業が研究の妥当性から配信プログラムに移行したことを意味します。

変革が静かなのは、劇的なトークンエコノミクスの変更やユーザー向け機能を含まないためです。しかし、実行の複雑さと検証コストの関係を書き換えるため、根本的です。

イーサリアムがこの2つを切り離すことができれば、レイヤー1はもはやすべての興味深いものをレイヤー2に強制するボトルネックにはなりません。

そして、レイヤー1証明検証が共有インフラストラクチャになる場合、レイヤー2エコシステム全体がより困難な質問に答える必要があります：レイヤー1ができないものを何を構築していますか？

投稿「イーサリアムはホームバリデーターに証明の検証を望んでいるが、12個のGPUという現実が新たな脅威を引き起こす」は、CryptoSlateに最初に掲載されました。