Vitalik ButerinがEthereum(ETH)のEIP-8288を起草、署名検証コストを99%削減へ

1つのSTARK証明ですべての署名を検証

Ethereum (ETH)の共同創設者であるVitalik Buterinが、多数の暗号署名の検証を単一のSTARK証明にまとめる改善提案EIP-8288を、Xへの投稿を通じて提案した。ドラフトの内容はEthereumの価格に直接影響を与えるものではなく、その効果はプロトコルコストに及ぶ。なかでも最大の負担は署名検証にある。現行のルールでは、耐量子署名1件の検証におよそ1,000万gasを消費し得るが、Buterinの試算ではEIP-8288が有効化された後は同じ検証が数万gasで済むことになり、今日のガス料金の水準と比べて99%以上の削減となる。仕組みは2段階で動く。まずユーザーが自分の選んだ署名方式に応じて個別の証明を生成する。次にメモリプールのノードが宣言された依存関係を一括処理し、バッチ全体を圧縮した1件のSTARK証明を作る。ブロックを組み立てるバリデーターは、各署名を順に検証する代わりに、集約された結果だけを検証すればよい。この設計は構造的な制約も解消する。現在、新しい暗号アルゴリズムを効率的に支援するには専用のプリコンパイル、すなわちスマートコントラクト層に手作業で組み込まれる組込み関数の追加が不可欠だった。EIP-8288では、各アルゴリズムを直接埋め込むことなく多様な署名方式をネットワークが受け入れられるようになり、開発者は検証方法を自由に選べる。提案はパイプラインのごく初期段階にあり、統合済みコードではなくドラフト仕様にすぎず、クライアントチームがdevnetやテストネットに実装を投入した事例もまだない。Buterinはこれを特定のアルゴリズムへのパッチではなく、プロトコルが時間をかけて拡張できる検証層の土台として位置づけている。同じ種類のSTARK証明は、レイヤー2のスケーリング基盤の多くですでに安全性を支えており、基盤チェーン外では実運用の前例が存在する。

量子リスクとI-starロードマップ

動機には特定の脆弱性がある。Ethereum (ETH)の楕円曲線署名方式ECDSAは古典的コンピュータには耐えるが、十分な規模の量子コンピュータが実現すれば破られる。候補となる代替方式は設計上コストが高く、署名データが大きく検証に多くのgasを消費するため、耐量子署名の普及は停滞してきた。EIP-8288は個々の方式を高速化するのではなく、検証作業を集約することでこの壁に挑む。ドラフトはアカウントアブストラクション、すなわち各アカウントが独自の認証方式を設定できる枠組みとも連動する。EIP-8141で定義されるフレームトランザクション構造と組み合わせれば、ユーザーは単一の秘密鍵モデルを脱し、同一チェーン上で多様なセキュリティ方式を運用できる。Buterinはこうした柔軟性が、チェーンの長年のアップグレードの歴史が目指してきた方向だと説明している。時期については、ドラフトはHegotaハードフォークに続くI-starアップグレードで採り上げられる見込みだが、仕様はアクティベーション日時もブロック番号も設定しておらず、フォークの日程を追う読者はハードフォークを見逃さないためのガイドを利用できる。実装にはドラフト自体が認める未解決の課題も残る。集約証明の生成には実際のコストがかかり、メモリプールの依存処理が大規模でどう振る舞うかは実証されていない。現行のプリコンパイル方式では新アルゴリズムごとにクライアントチームの保守負担が増えるのに対し、集約方式ではその負担が証明生成側へ移る。Starknetの共同創設者Eli Ben-Sassonは別の文脈で、ラティス暗号の成熟度と、新方式に対するAI支援攻撃の可能性について慎重な見方を示している。EIP-8288が注目されるのは特定の耐量子アルゴリズムの性能よりも、新しい暗号技術をハードコードされた刷新サイクルなしに吸収できるプロトコル層の構造だ。ドラフト段階の提案でありながら、Ethereumプロトコル開発関係者の間で話題を集めているのはこの構造的な評価のためである。

証明コストと安定性の検証が残る課題

当編集部の読解では、EIP-8288はプロトコルが将来的に必要とする移行のためのインフラであり、現状は初期段階であることが率直な評価になる。ドラフトは稼働中のパラメータを一切変更せず、オペコードの再価格設定も含まれず、アクティベーションのブロックも定めていない。次の具体的な関門は、証明生成コストと負荷下のネットワーク安定性を示せる参照実装の登場であり、その前にHegotaに続くI-starの議論で枠を確保する段取りが必要になる。ノード運営者への短期的な影響は、その実装が実際に届くまでゼロだ。99%という数字をイーサリアムのテクニカル分析と並べて評価しようとする場合、これは開発サイクルの話題として扱うべきだ。コスト試算は提案者自身の数値であって実測ベンチマークではなく、クライアントが実際に動かすまで検証されないままにとどまる。