メインコンテンツまでスキップ

ステージ 1 不正証明がライブに: Ethereum L2 を真にトラストレスにする静かな革命

· 約 16 分
Dora Noda
Software Engineer

何年もの間、批評家たちには一理ありました。Ethereum のレイヤー 2 ネットワークは、実際にはトラストレスではありませんでした。確かに、彼らは不正証明(誰でも無効なトランザクションに異議を唱えることができる仕組み)を約束していましたが、それらの証明は存在しないか、ホワイトリストに登録されたバリデーターのみに制限されていました。実際には、ユーザーはコードではなく、オペレーターを信頼していたのです。

その時代は 2024 年から 2025 年にかけて終わりました。Arbitrum、Optimism、そして Base はすべて、パーミッションレスな不正証明システムを導入し、L2Beat が「ステージ 1」の分散化と分類するレベルを達成しました。初めて、これらのロールアップが宣伝してきたセキュリティモデルが実際に存在することになったのです。これがなぜ重要なのか、どのように機能するのか、そして Ethereum L2 にロックされている 500 億ドル以上の資金にとって何を意味するのかを解説します。

ステージ・フレームワーク:マーケティングから現実へ

技術的な成果に踏み込む前に、ロールアップのセキュリティが実際にどのように測定されるかを理解する必要があります。2023 年 6 月に L2Beat によって導入された(Vitalik Buterin の 2022 年の提案に基づく)ステージ・フレームワークは、ロールアップの成熟度を評価するための明確な基準を提供します。

考え方はシンプルです:

  • ステージ 0: 「助言のみ」の証明システムを持ち、プロジェクトはオペレーターによって完全に制御されている
  • ステージ 1: スマートコントラクトがロールアップを管理するが、バグが発生した場合にはセキュリティ評議会(Security Council)が介入できる
  • ステージ 2: コードがすべてを制御する — セキュリティ評議会の権限は、オンチェーンで証明可能なバグに限定される

長年、ほぼすべての主要なロールアップはステージ 0 に留まっていました。彼らの不正証明システムは、存在しないか、稼働していないか、あるいは厳選されたバリデーターに制限されていました。マーケティング資料にある「トラストレス」という約束は、現実とは一致していませんでした。

それが劇的に変わりました。

Arbitrum の BoLD:パーミッションレス・バリデーションの到来

2025 年 2 月、Arbitrum は BoLD をデプロイしました(Bounded Liquidity Delay)。これは、ネットワークが不正証明を処理する方法を根本的に変えた新しい紛争プロトコルです。

BoLD が実際に行うこと

Arbitrum のドキュメントによると、BoLD は、Offchain Labs や他の誰からの許可も必要とせずに、チェーンの状態の検証(異議申し立ての提出と勝利を含む)に誰でも参加できるようにします。

主な革新:

  • パーミッションレス・バリデーション: どのノードオペレーターでも、無効なステートルートに異議を唱えるために不正証明を提出できる
  • 期限付きの紛争解決: 紛争解決のための上限を 7 日間に固定し、遅延攻撃を防止
  • 経済的セキュリティ: 異議申し立て者は資産をステークして参加し、インセンティブ(Skin-in-the-game)を生み出す

以前の Arbitrum の不正証明システムはパーミッション型であり、ホワイトリストに登録された特定のバリデーターグループのみが異議を申し立てることができました。これは、ユーザーが以下のことを信頼していることを意味していました:

  1. これらのバリデーターが不正を監視していること
  2. 彼らが実際に無効な状態に対して異議を唱えること
  3. Arbitrum が彼らと結託しないこと

BoLD は、これらの信頼の前提を排除します。バリデーターノードを実行している人なら誰でもネットワークを保護できるようになりました。

デプロイ状況

BoLD は現在、Arbitrum One、Arbitrum Nova、および Arbitrum Sepolia で稼働しています。ガバナンス提案は 2025 年 1 月初旬に可決され、数週間以内にデプロイが完了しました。

Ethereum の公式アカウントが指摘したように、「BoLD はパーミッションレス・バリデーションを導入します。これは、どのノードオペレーターでもチェーンの状態に異議を唱えるために不正証明を提出できることを意味します。これは分散化を大きく前進させるものであり、Arbitrum One のセキュリティを高めます」。

Optimism のフォールトプルーフ:ステージ 1 への険しい道のり

Optimism のパーミッションレス・フォールトプルーフへの道はより険しいものでしたが、最終的には成功しました。

2024 年 6 月:初期ローンチ

2024 年 6 月 10 日、フォールトプルーフが OP Mainnet で稼働を開始し、OP Stack にとって歴史的な節目となりました。Optimism は次のように発表しました:

「ガバナンスによって承認されたパーミッションレス・フォールトプルーフが OP Mainnet で稼働し、これにより OP Stack はステージ 1 の分散化に到達しました。」

このシステムにより、信頼できる第三者を介さずに OP Mainnet から ETH や ERC-20 トークンを引き出すことが可能になります。無効な引き出しには、参加を希望するユーザーなら誰でも異議を唱えることができます。

2024 年 8 月:セキュリティの後退

2 ヶ月後、コミュニティ主導の監査で脆弱性が発見されたため、Optimism Foundation はパーミッションレス不正証明を一時的に停止しました。OP Labs がハードフォーク「Granite」を開発する間、システムはパーミッション型の運用に戻されました。

これは失敗ではありませんでした。セキュリティ評議会が、被害が出る前に問題を特定するという、ステージ 1 で行うべき役割をまさに果たしたのです。2024 年 9 月の Granite アップグレードにより脆弱性が修正され、パーミッションレス・フォールトプルーフが再開されました。

現在のシステム

今日の OP Stack フォルトプルーフシステム は、次のように動作します:

  1. 提案 (Proposals):誰でも L2 の状態を主張するアウトプットルートを提案できます。
  2. チャレンジ期間 (Challenge period):7 日間の異議申し立て期間があります。
  3. 紛争 (Disputes):異議が申し立てられた場合、インタラクティブな証明ゲームによって真実が決定されます。
  4. 解決 (Resolution):有効な提案はファイナライズされ、無効な提案は拒否されます。

セキュリティ評議会は、緊急時に介入する権限を保持しています。これはステージ 1 の要件と一致しています。Optimism が説明するように、「このフォールバック(代替手段)を持つことは、フォルトプルーフシステムの責任ある安全な展開の一部」です。

Base がステージ 1 クラブに加入

2024 年 10 月、Base はメインネットでフォルトプルーフをローンチし、Coinbase の L2 はステージ 1 の分散化を達成した最新の主要ロールアップとなりました。

Base の発表 では、これがユーザーにとって何を意味するかが強調されました:

「Base はステージ 1 の分散化を達成しました。これは、オープンでグローバルなオンチェーン経済を構築するという私たちの道のりにおける重要なマイルストーンです。私たちは、パーミッションレスなフォルトプルーフを導入し、セキュリティ評議会によってコントラクトのアップグレードプロセスの分散化を強化することで、これを実現しました。」

Base は OP Stack を使用しているため、Optimism によって開発されたものと同じフォルトプルーフシステムの恩恵を受けています。これは共有インフラストラクチャの力を示しており、セキュリティの向上はスーパーチェーンエコシステム全体に波及します。

なぜステージ 1 が重要なのか:信頼の計算

ステージ 1 がなぜ重要なのかを理解するために、各ステージでユーザーが実際に何を信頼しているかを考えてみましょう。

ステージ 0 の信頼仮定

ステージ 0 では、ユーザーは以下を信頼しています:

  • オペレーターが資金を盗まないこと
  • オペレーターがトランザクションを無期限に検閲しないこと
  • チームが悪意を持ってコントラクトをアップグレードしないこと
  • ホワイトリストに登録されたバリデーターが誠実で警戒を怠らないこと

ステージ 1 の信頼仮定

ステージ 1 では、ユーザーは以下を信頼しています:

  • 少なくとも 1 人の誠実なアクターが不正にチャレンジすること(パーミッションレスであるため、誰でも可能です)
  • セキュリティ評議会が盗みのために共謀しないこと(8 名以上の多様なメンバーのうち 75% 以上の賛成が必要)
  • 悪意のあるアップグレードが実行される前に、ユーザーには退出するための 7 日間以上の猶予があること

その差は劇的です。ステージ 0 では特定の既知の主体を信頼する必要があります。ステージ 1 では、セキュリティ評議会が積極的に共謀しないことだけを要求します。これは、メンバーの多様性の要件を考えると、はるかに弱い(実現しやすい)仮定です。

L2Beat のフレームワーク が説明するように、「適切に設置されたセキュリティ評議会は、少なくとも 8 名のメンバーで構成され、しきい値は 75% を超える必要があります。『十分に分散化されている』ことの意味は根本的に主観的であり、L2BEAT は各ケースを個別に評価します。」

ステージ 2 への道:補助輪なし

ステージ 1 は大きなマイルストーンですが、ゴールではありません。ステージ 2 は、真のトラストレスネス(信頼不要)を表します:

  • セキュリティ評議会は、証明可能なオンチェーンのバグに対してのみ行動できる
  • アップグレードに対する最低 30 日間 の退出ウィンドウ(ステージ 1 の 7 日間に対して)
  • 完全にパーミッションレスな不正証明(すでに達成済み)
  • 複数の冗長な証明システム

マルチプルーフ・アーキテクチャ

ステージ 2 の鍵は冗長性です。Optimism は、彼らが「マルチプルーフ・ニルヴァーナ(理想郷)」と呼ぶ、複数の証明システムを同時に実行する方向へ取り組んでいます:

  • Cannon:現在のオプティミスティック不正証明システム
  • Asterisc:代替の不正証明実装
  • Kona:もう一つの独立した実装
  • ZK プルーフ:オプティミスティック証明と並行したゼロ知識妥当性証明

複数の独立したシステムが一致すると、結果に対する信頼性が劇的に高まります。もし意見が分かれた場合、セキュリティ評議会が裁定を下すことができます。これは、恣意的な権力ではなく、正当な役割となります。

ヴィタリックのステージ 2 ビジョン

2025 年 5 月の投稿「いつステージ 1 とステージ 2 が意味をなすかの数学」において、ヴィタリック・ブテリンはステージ 2 が成熟したロールアップの標準であるべきだと主張しました:

「2025 年以降、私はより高いセキュリティ基準(ステージ 1 以上に分類されるもの)を満たすプロジェクトのみを公にサポートします。」

これが現実的なプレッシャーとなりました。進展しないロールアップは、信頼性とエコシステムのサポートを失うリスクがあります。

競争環境

The Block の 2026 年 L2 展望 によると:

「Arbitrum、OP Mainnet、Base はすべて、ライブでパーミッションレスな不正証明システムを備えており、現在はステージ 1 に分類されています。しかし、多くの小規模なオプティミスティックロールアップには、まだ動作する不正証明がありません。」

これにより、2 層構造の市場が生まれています:

ステージ 1 のリーダー

ロールアップ不正証明システムステータス
Arbitrum OneBoLD稼働中 (2025年 2月)
Arbitrum NovaBoLD稼働中 (2025年 2月)
OP MainnetCannon稼働中 (2024年 6月)
BaseCannon (OP Stack)稼働中 (2024年 10月)

ステージ 0(またはそれ以下)

多くの小規模なロールアップはステージ 0 のままであるか、不正証明が完全に欠落しています。L2Beat の 2025 年フレームワーク・アップデート では、適切な証明システムを持たないプロジェクトを「その他」カテゴリーに移動させました。これは事実上、真のロールアップとしてのリストからの除外を意味します。

ユーザーにとっての意味

一般的なユーザーにとって、ステージ 1 の不正証明は具体的な保護を提供します:

出金セキュリティ

誰を信頼することなく Ethereum へ資金を引き出すことができます。ロールアップのオペレーターが、あなたの資金が存在しないと主張する無効なステートルートを投稿した場合、あなた(または誰でも)がそれに異議を申し立てる(チャレンジする)ことができます。

出口権(Exit Rights)

ロールアップチームが悪意のあるアップグレードを提案した場合、Ethereum へ脱出するために少なくとも 7 日間の猶予があります。これは理論上の話ではなく、スマートコントラクトによって強制されます。

検閲耐性

たとえシーケンサーがあなたのトランザクションを検閲したとしても、L1 を通じて強制的に含めることができます。不正証明と組み合わせることで、ロールアップが検閲を通じてあなたの資金を盗むことはできないことを意味します。

信頼が必要な範囲(Trust Surface)の縮小

「Arbitrum チーム」や「Coinbase」を信頼する代わりに、以下のことを信頼することになります:

  1. 世界中に少なくとも 1 人の誠実なバリデーターが存在すること
  2. 多様なセキュリティ評議会の過半数が結託しないこと

今後の展望

ステージ 1 は現在稼働しています。残りの作業は以下に焦点を当てています:

2025-2026 年の優先事項

  • Arbitrum: タイムロックの延長とマルチプルーフ・システムを備えたステージ 2 に向けて取り組んでいます。
  • Optimism: マルチプルーフの冗長性のために Asterisc と Kona を導入しています。
  • Base: OP Stack のアップグレードに追従し、ステージ 2 を目指しています。
  • ZK Rollups: Starknet、zkSync などが、有効性証明(Validity Proofs)を用いたステージ 1 以降に向けて取り組んでいます。

ステージ 2 のタイムライン

ほとんどの予測では、主要なロールアップは 2026 年後半または 2027 年までにステージ 2 に到達するとされています。技術的な作業は大部分が完了しており、残る課題はガバナンス、テスト、そしてマルチプルーフ・システムへの信頼構築です。

なぜこれが重要なのか

パーミッションレスな不正証明は抽象的に聞こえるかもしれませんが、これは数十億ドルの資産がどのように保護されるかにおける根本的な転換を意味します。

ステージ 1 以前は、批判者たちが L2 は「追加の手順を踏んだだけのマルチシグに過ぎない」と正確に指摘することができました。セキュリティモデルは特定の事業体を信頼することに依存しており、それはまさに暗号資産が排除しようとしていたものでした。

ステージ 1 が達成されたことで、最大のロールアップは真のトラストレスなセキュリティ保証を提供できるようになりました。ユーザーはチェーンを検証し、不正に異議を唱え、許可なく脱出することができます。「Ethereum によって保護されている」という主張がついに技術的な実体を伴うものとなりました。

Ethereum L2 にロックされている 500 億ドル以上の資産は、現在、約束ではなくコードによって守られています。


ステージ 1 のロールアップで開発を行うビルダー向けに、BlockEden.xyz は Arbitrum、Optimism、Base の信頼性の高い RPC エンドポイントを提供しています。これは、これらのネットワークが現在セキュリティのために提供しているのと同じ稼働時間基準を満たすインフラストラクチャです。