レイヤー2とロールアップ

なぜレイヤー2が要るのか

パブリックなブロックチェーン（レイヤー1、以下L1）は、全ノードがすべての取引を再実行して状態を検証することで、信頼を要さない安全性を得ています。この「全員が全部を実行する」冗長性こそが改竄耐性の源ですが、同時にスループットの上限も決めてしまいます。1ブロックに詰められる計算量とデータ量には限りがあり、需要が上限を超えると手数料（ガス代）が高騰します。単純にブロックを大きくすれば、フル検証できるノードが減って分散性が損なわれる——これがスケーラビリティのジレンマです。

レイヤー2（L2）は、この制約を「実行の場所」を移すことで回避します。取引の実行と順序付けをL1の外（オフチェーン）で行い、L1には結果と、その正しさを他者が検証できる材料だけを預ける。L1を計算エンジンから決済・検証のアンカーへと役割変更するアプローチです。

ロールアップの基本構造

ロールアップは現在の主流L2で、次の分業を取ります。多数の取引をL2上で処理し、それらを1つのバッチにまとめて（roll up） L1へ提出します。L1のコントラクト（ロールアップコントラクト）が、そのバッチのデータと状態遷移を記録・検証します。

[L2] ユーザー取引をたくさん受理
      → シーケンサが順序を決めて実行し、新しい state root を計算
      → 取引データを圧縮し「バッチ」を作る
             │
             ▼  L1へ提出（calldata または blob として）
[L1] ロールアップコントラクトが記録:
      - 直前の state root（旧）
      - 新しい state root
      - バッチの取引データ（データ可用性の担保）
      → 「この遷移は正しいか？」を検証する仕組みが二系統ある

鍵は、L1が取引を再実行しない点です。もし再実行するならL1と同じコストがかかり、意味がありません。代わりにL1は「旧 state root にこのバッチを適用すると新 state root になる」という主張の正しさだけを、安価な手段で担保します。この担保方式の違いが、Optimistic と ZK の分岐点です。

シーケンサは取引を受け取り順序を確定する主体で、多くのロールアップでは当初は単一の運営者です。シーケンサは順序を操作できても（MEV や検閲の懸念はある）、資金を盗むことはできない——なぜなら最終的な正しさはL1側の検証機構が守るからです。ここがサイドチェーンとの決定的な差になります。

Optimistic Rollup — 疑わしきは事後に罰する

Optimistic Rollup は、提出された状態遷移をいったん正しいと楽観的に仮定して受理します。その代わり、一定期間（チャレンジ期間、多くの実装で約7日）を設け、誰でも「その遷移は不正だ」と異議を申し立てられます。この異議が不正証明（fraud proof） です。

1. シーケンサが新 state root とバッチを L1 に提出（保証金を差し入れ）
2. チャレンジ期間が開始（例: 7日間）
3. 検証者(誰でも可)が取引データからローカルに再実行し、
   提出された state root と食い違えば「不正だ」と主張
4. 争点の1ステップを L1 上で再実行させ、どちらが正しいか判定
      - 提出が不正なら → 提出者の保証金を没収、遷移を巻き戻す
      - 期間内に異議が無ければ → 遷移が最終確定(finalize)

要点は、L1が全取引を再実行するのではなく、争いになった1ステップだけをL1で実行して決着させることです（interactive fraud proof / 対話型二分探索）。楽観的なので平常時のオンチェーン計算はほぼゼロ——これがコストの安さの源です。

不正証明が機能する前提はデータ可用性です。検証者が「本当に不正か」を確かめるには、そのバッチの全取引データを入手して自分で再実行できなければなりません。データがL1に公開されていない限り、異議自体が成り立たないのです。

ZK Rollup — 妥当性を毎回、その場で証明する

ZK Rollup（Zero-Knowledge Rollup、より正確には Validity Rollup）は、楽観を捨て、状態遷移が正しいことの数学的証明をバッチと一緒に毎回提出します。この証明が妥当性証明（validity proof） で、実体は zk-SNARK / zk-STARK などの簡潔証明です。

簡潔証明の効能は「検証が実行より圧倒的に安い」点にあります。数千件の取引をまとめて実行した正しさを、L1のコントラクトが小さな証明の検証だけで確認できる。生成には重い計算（プルーバ）が要りますが、それはオフチェーンで一度行えば済みます。

証明が付くため、ZK Rollup にはチャレンジ期間が原理的に不要です。L1が証明を検証して受理した瞬間に、その遷移は確定（暗号学的ファイナリティ） します。したがってL1側から見た引き出しの待機は、不正証明のような長い猶予を必要としません（実際の遅延は証明生成時間やバッチ間隔に依存します）。

両者は「性善説で速く安く、ただし覆せる余地を残す」か「毎回きちんと証明して即確定させる」かの設計思想の違いです。前者は既存の実行環境（EVM）をほぼそのまま使えるため実装が早く、後者は確定が速く信頼前提が最小な代わりに、汎用計算を証明可能な回路へ落とす難しさ（zkEVM）が長らく壁でした。

データ可用性 — L2安全性の生命線

ロールアップの安全性は、突き詰めると**「取引データが誰でも入手可能か」、すなわちデータ可用性（Data Availability, DA）** に懸かっています。理由はシンプルです。もしバッチの取引データが隠されたら、Optimistic では不正を検証できず、ZK でも各自が自分の残高を知り独立に出金することができなくなります。データがあってこそ、ユーザーはオペレータに依存せず状態を再構築し、自力で資産を守れるのです。

だからこそ標準的なロールアップは、取引データをL1に公開します。当初はL1トランザクションの calldata に載せていましたが、これがL2コストの大半を占めていました。そこで導入されたのが専用のデータ領域（blob） です。

DA をどこに置くかで、方式は次のように分岐します。ここでの {L1公開, オフチェーン} の選択が、安全性とコストのトレードオフを直接決めます。

Validium は ZK と同じ妥当性証明を使うため「状態遷移が正しい」ことは保証されますが、DA をオフチェーンに委ねます。すると、データを握る委員会が結託してデータを止めた場合、正しさは保証されてもユーザーが自分の残高を証明して出金できなくなる恐れがある。これが「妥当性 ≠ 可用性」であり、DA を独立した安全性の柱として扱うべき理由です。近年 DA を専門に担うデータ可用性レイヤー（DA専用チェーンやサンプリング技術）が発達しているのも、この柱を安く堅牢にするためです。

オンチェーン検証とスループットの関係

最後に、なぜロールアップでスループットが桁で上がるのかを、コストの内訳で捉えます。L1が負担するのは大きく「実行」と「データ」ですが、ロールアップは実行をオフチェーンへ退避させることで、L1側の負担を主にデータ（と、ZK では証明検証）へ絞り込みます。

ここから、ロールアップのスループットを縛る新しいボトルネックが見えてきます。実行がオフチェーンに移った以上、L1に残る制約は主として「バッチをどれだけ安くL1へ書き込めるか」——つまりDAのコストとL1のデータ帯域です。だからこそ blob の追加やデータ圧縮が効き、次段の拡張（danksharding のようなDA拡大）が「1秒あたり何件さばけるか」を直接押し上げます。ZK ではこれに証明生成のスループットも加わり、プルーバの高速化・並列化が実効性能を決めます。

まとめ

• ロールアップは取引の実行をオフチェーンで行い、圧縮したデータと状態遷移だけをL1へ提出する。L1は再実行せず検証に徹するため、スループットが桁で向上する。
• Optimistic Rollup は楽観受理＋不正証明。平常時のオンチェーン計算はほぼゼロで安いが、正直な検証者を仮定し、出金にチャレンジ期間（例: 約7日）を要する。
• ZK Rollup は妥当性証明を毎回付け、L1が簡潔証明を即検証して確定する。信頼前提は暗号の健全性のみだが、証明生成（プルーバ）が重く、汎用EVMの回路化（zkEVM）が難所。
• 安全性の生命線はデータ可用性（DA）。データがL1に公開されていれば誰でも状態を再構築し独立に出金できる。Validium はDAをオフチェーンへ逃がし、安さと引き換えに可用性リスクを負う（妥当性 ≠ 可用性）。
• スケール後のボトルネックは実行ではなくDAコスト（ZKではさらに証明生成）。blob（EIP-4844）とデータ圧縮が実効スループットを直接左右する。