﻿---
title: "Rollup のエスケープハッチ"
description: "Rollup のエスケープハッチをプロトコル別に解説し、この名称が指す複数の仕組み、それぞれの保証と依存関係、退出経路の検証方法を示します。"
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Rollup のエスケープハッチ

> 教育目的の情報であり、金融またはセキュリティ上の助言ではありません。退出機構、遅延、手数料、コントラクト権限、データ可用性の前提は L2 ごとに異なり、アップグレードで変更される場合があります。

<a id="answer"></a>

## 直接の回答

Rollup のエスケープハッチとは、L2 運営者、シーケンサー、または通常のインターフェースが停止したり検閲したりしたときに、ユーザーの退出または取引能力を維持するための緊急プロトコル経路です。この名称に統一規格はありません。設計によって、L1 経由の強制取り込み、強制出金要求、または状態更新を凍結して証明による出金を可能にするエスケープモードを指します。これらの仕組みは保証が異なり、互換ではありません。

エスケープハッチは、通常の状態更新が止まったときに使う、より強い緊急経路です。アプリケーションを凍結し、コミット済みの状態ルートに対してユーザーが残高を証明できる場合があります。どの機構も即時退出、特定の資産価値、コントラクトの不具合やガバナンス権限からの保護を保証しません。実際の保証は、デプロイ済みコード、現在の設定、利用可能な状態データ、必要なトランザクションや証明を作成・送信できる能力から生じます。

<a id="mechanism"></a>

## 仕組み

- **基本機能を特定する。** 強制取り込み、強制出金、エスケープモードは別の問題を解決します。強制取り込みは検閲中または停止中のシーケンサーを迂回します。強制出金要求は、要求した退出の処理または無効性の証明をプロトコルや運営者に求めます。エスケープモードは通常、通常更新を止め、状態証明で出金する最終手段です。
- **L1 から入る。** ユーザーは公式文書で指定された L1 のインボックス、ポータル、または決済コントラクトへトランザクションを送ります。OP Stack では L1 のデポジットがシーケンシングウィンドウ内に L2 ブロックへ導出されます。Arbitrum Nitro ではメッセージを Delayed Inbox に入れ、シーケンサーが取り込まなければ、設定済みの遅延後にメインインボックスへ強制取り込みできます。
- **プロトコル処理を待つ。** L1 の確認は最初のチェックポイントにすぎません。要求がカノニカルな L2 チェーンに入り、正常に実行され、証明済みまたは確認済み状態に現れ、チャレンジ期間や猶予期間を経て、L1 で確定される必要があります。nonce の誤り、Gas 不足、不正な calldata、トークン制限、L2 状態の変化により、強制トランザクションもリバートし得ます。
- **退出条件を満たす。** StarkEx Spot は実際の強制出金とエスケープを示します。ユーザーが `fullWithdrawalRequest` を送ると、アプリケーションは要求を実行するか、無効だと証明しなければなりません。`FREEZE_GRACE_PERIOD` 後も保留なら凍結を要求できます。エスケープには凍結済み vault root に対する Merkle path、証明の検証、`escape` 呼び出し、通常のオンチェーン `withdraw` 呼び出しが必要です。
- **データ可用性を確認する。** 状態ルートはコミットメントであり、元の残高や Merkle path そのものではありません。状態再構築に必要なデータが L1 で公開されれば、独立した主体も原理上は退出証明を作れます。Validium などのオフチェーンデータ可用性設計では、委員会や運営者によるデータ公開に依存する場合があります。証明の正当性とデータ可用性は別の保証です。
- **管理権限とツールを確認する。** 一時停止、凍結、アップグレード、ガバナンス権限、正確なコントラクトアドレスとプロキシ実装、対応資産、必要な鍵、L1・L2 の Gas、証明作成ソフトウェア、独立インターフェースの有無を調べます。データ、ツール、十分な L1 資金がなければ、理論上正しい仕組みも実用にならないことがあります。

<a id="example"></a>

## 例

ある Rollup のシーケンサーと公式画面が停止していても、L1 は確定を続けているとします。まず公式文書からチェーン ID とカノニカルな L1 コントラクトを確認します。強制取り込みしかない場合は、カノニカルブリッジの L2 出金関数を呼ぶ L1 から L2 へのトランザクションを送ります。その後、L1 送信、強制取り込み、L2 実行、状態コミットメント、該当するチャレンジまたは証明段階、L1 確定を別々に追跡します。L1 送信の成功だけでは出金呼び出しの成功を証明できません。

StarkEx 型のシステムでは順序が異なります。文書化された強制要求を送り、設定された猶予期間を待ち、要求が実行されたか無効と証明されたかを確認し、コントラクト条件を満たす場合にだけ凍結とエスケープを使います。必要な vault 識別子、鍵、Merkle path は凍結状態と一致しなければなりません。三つすべてが「強制出金」と呼ばれる場合があっても、Arbitrum や OP Stack の手順をそのまま適用するのは誤りです。

どちらの経路にも依存する前に、システムが正常なときに少額でリハーサルします。コントラクトアドレス、関数シグネチャ、想定イベント、タイマー、トランザクションハッシュを記録し、別の信頼できる RPC やブロックエクスプローラーで状態を検証します。「緊急出金」サイトにシードフレーズや秘密鍵を入力したり、サポートアカウントやダイレクトメッセージへ追加の「解除」料金を送ったりしないでください。

<a id="risks"></a>

## リスク

- 強制取り込みはあるが、直接の強制出金関数はない。
- L1 要求は確認済みでも、L2 呼び出しがリバートしたか未実行である。
- チャレンジ、証明、猶予、確定の各期間により資金へのアクセスが遅れる。
- 特にオフチェーンデータ可用性では、状態データや Merkle path が入手できない。
- 誤ったチェーン、コントラクト、プロキシ実装、関数、vault 識別子を使う。
- 退出コントラクトが一時停止、アップグレード、誤凍結、または不具合の影響を受ける。
- ガバナンス、セキュリティ評議会などの特権主体が退出経路を変更できる。
- 資産が非対応、非標準、低流動性、またはアプリケーションの証拠金規則の対象である。
- L1 Gas の急騰やネイティブ Gas 不足で送信・確定できない。
- 必要時に公式画面、RPC、インデクサー、証明ツールが使えない。
- 偽画面、検索広告、偽サポートが認証情報や資金を盗む。
- 遅延中に市場価値が下落し得る。退出可能性は価格保護ではない。

<a id="misconceptions"></a>

## よくある誤解

- **すべての Rollup に同じエスケープハッチがある。** 名称、仕組み、保証はプロトコル固有です。デプロイ済みバージョンの文書とコントラクトを確認します。
- **強制取り込みですぐ資金が L1 に戻る。** 通常はトランザクションの順序付けまたは実行経路だけを保証し、その後もブリッジ出金のライフサイクルがあります。
- **L1 のトランザクションハッシュが退出成功の証明になる。** 証明するのは L1 への取り込みだけで、後の L2 実行と L1 確定は個別確認が必要です。
- **有効性証明が退出データの可用性も保証する。** 証明の正しさとデータ可用性は別です。オフチェーン設計には追加依存があります。
- **関数が存在すれば緊急経路はトラストレスである。** 実用性は権限、設定、データ、ソフトウェア、Gas、鍵にも依存します。
- **エスケープハッチが金融リスクをなくす。** 対象はライブネスや検閲の障害経路であり、価格、流動性、コントラクト、鍵漏えいのリスクではありません。

<a id="related"></a>

## 関連トピック

- [カノニカルブリッジ](/ja/crypto/canonical-bridge/)
- [Optimistic Rollup](/ja/crypto/optimistic-rollup/)
- [L2 の強制出金](/ja/crypto/l2-forced-withdrawal/)
- [シーケンサー](/ja/crypto/sequencer/)
- [ZK Rollup](/ja/crypto/zk-rollup/)

<a id="sources"></a>

## 出典

- [OP Stack プロトコル概要](https://specs.optimism.io/protocol/overview.html) - OP Stack Specification（参照日：2026-08-21）
- [Arbitrum Nitro：第二世代の Optimistic Rollup](https://docs.arbitrum.io/nitro-whitepaper.pdf) - Offchain Labs（参照日：2026-08-21）
- [アプリケーションの承認なしでの出金とエスケープ](https://docs.starkware.co/starkex/spot/withdrawing_and_escaping_without_app_approval.html) - StarkEx Documentation（参照日：2026-08-21）
- [データ可用性](https://docs.starkware.co/starkex/con_data_availability.html) - StarkEx Documentation（参照日：2026-08-21）

Source: https://wiki.fcontext.com/ja/crypto/rollup-escape-hatch/index.mdx
