レッスン5 — 分散化パス（共有 sequencer と MEV 認識 auction）
問い
Optimism が「sequencer を分散化する」と発表したのは 2023 年。3 年経った今でも sequencer は OP Labs の 1 つの箱。Arbitrum も Base も同じ。ロードマップは本物だが何が妨げているか？ 最終地点として競合する 2 パターンは何か？
原理（最小モデル）
- 5 分散化ステージ. Single sequencer / Multi-sig sequencer / PoS sequencer set / 共有 sequencer / MEV 認識分散化。線形ではない、スキップ可能。
- 分散化が難しい 5 理由. Latency（100ms → 200-500ms）+ MEV コーディネーション（誰が取る？）+ Liveness（N オペ調整）+ コスト（N サーバ + slashing infra）+ 経済的セキュリティ（staking + 紛争解決）。
- PoS sequencer set. Ethereum 系 PoS を L2 で再現、Polygon zkEVM / Linea が向かう方向。1 → 10-30 オペ、信頼最小化少し進む + 運用複雑性大増。
- 共有 sequencer の賭け. 1 sequencer set が複数 rollup にサービス、各 L2 は Reth 実行層を保持、順序付けは共有 validator set。
- 共有 sequencer の 4 利益. クロス rollup atomic 性 / 分散化コスト低減 / MEV 統合 / 速い分散化。
- 共有 sequencer の 4 犠牲. 主権 / アップグレード速度 / カスタム MEV 戦略 / 運用独立性。
- 本番試み 4 つ. Espresso（HotStuff 派生、mainnet beta）+ Astria（CometBFT + Reth 統合稼働中）+ Radius（PoS、testnet）+ Anoma（intent 中心）。
- MEV 認識分散化のエンドゲーム. L2 版 MEV-Boost、複数 sequencer + builder market + auction + 勝者が sequencer set に payment、未来形。
具体例
5 分散化ステージ:
| ステージ | 内容 | 例（2026） |
|---|---|---|
| 1: Single sequencer | 1 オペレータ | 現在の大半の L2（Optimism、Base、Arbitrum） |
| 2: Multi-sig sequencer | M-of-N の信頼できるオペレータ | 一部の L3 |
| 3: PoS sequencer set | Bonded validator が回転 | Polygon zkEVM、Linea（近年） |
| 4: 共有 sequencer | 1 sequencer set が複数 rollup にサービス | Espresso、Astria、Radius |
| 5: MEV 認識分散化 | 入札付き sequencer market | 未来形 — 完全 deploy なし |
PoS sequencer set:
flowchart TB
Stake["バリデータが L2 トークン stake"] --> Set["アクティブ validator set (M-of-N)"]
Set -->|各ブロック| Leader["指定リーダー (回転)"]
Leader -->|ブロック構築| Reth["Reth EL"]
Reth -->|署名ブロック| Others["他バリデータ"]
Others -->|2f+1 票| Final["ブロック確定"]
Final -->|定期 batch| L1["L1"]
共有 sequencer:
flowchart TB
Rollup1["L2 A<br/>(Reth ベース)"] -.->|順序付けを outsource| Shared["共有 Sequencer<br/>(Espresso / Astria)"]
Rollup2["L2 B<br/>(別 OP Stack)"] -.->|順序付けを outsource| Shared
Rollup3["L2 C<br/>(別の別)"] -.->|順序付けを outsource| Shared
Shared -->|署名ブロック| Reth1["Reth EL A"]
Shared -->|署名ブロック| Reth2["Reth EL B"]
Shared -->|署名ブロック| Reth3["Reth EL C"]
共有 sequencer の利益と犠牲:
| 利益 | 犠牲 |
|---|---|
| クロス rollup atomic 性 | 主権（順序付けを外部依存） |
| 分散化コスト低減（N → 1 set） | アップグレード速度 |
| MEV 統合（クロス rollup MEV 捕捉） | カスタム MEV 戦略 |
| 速い分散化（難問題外部委託） | 運用独立性（共有落ちる → chain 止まる） |
本番試み:
| プロジェクト | タイプ | ステータス（2026） |
|---|---|---|
| Espresso | HotStuff 派生の共有 sequencer | Mainnet beta、複数 L2 採用 |
| Astria | CometBFT ベースの共有 sequencer | Reth 統合とともに稼働中 |
| Radius | PoS の共有 sequencer | Testnet |
| Anoma | Intent 中心（厳密には sequencer でない） | 黎明期 |
Pre-confirmation 複数 sequencer モデル:
- TACo（Threshold）: sequencer 過半数のコミット必要
- Lighthouse 系: 1 sequencer コミット + 他は finality 前検証
- Speculative: sequencer コミット + 違反は fraud proof で処理
失敗例（誤解）
「共有 sequencer は明らかに単一 sequencer より優れている」— フレーミング間違い。トレードオフ。共有 = 4 利益（atomic 性 / コスト / MEV 統合 / 速い分散化）vs 4 犠牲（主権 / アップグレード / カスタム MEV / 運用独立）。chain の目的次第。
「分散化 = 必然」— 間違い。MEV モデルが分散化と相性悪い場合（Hyperliquid のような orderbook 自体が MEV）、無期限中央集権が合理。目的によっては分散化しない判断もあり。
「Pre-confirmation は分散化と両立可能」— 半分間違い。単一 sequencer の即時署名は単純、複数当事者では投票必要 → 200-500ms。「分散化しつつ速い」は 2026 時点アクティブ R&D 領域、自明解なし。
🛑 予測。 Optimism は 3 年間「sequencer を分散化中」のまま。何が妨げているか？（答え: 5 つの問題の統合 = ① Latency（100ms → 200-500ms = UX 退行）、② MEV コーディネーション（誰が取る？ ランダム / 入札 / 各設計 trade）、③ Liveness（N オペ調整 + ネットワーク不調下 liveness 難）、④ コスト（1 サーバ → N サーバ + slashing infra）、⑤ 経済的セキュリティ（staking + 紛争解決機構）。個別には解かれているが統合がシステム上の難所。3 年でも合致解なし。）
ステップで組み立てる
Step 1: 5 ステージを即答
Single / Multi-sig / PoS / 共有 / MEV 認識。
Step 2: 5 難所を即答
Latency / MEV / Liveness / コスト / 経済的セキュリティ。
Step 3: PoS sequencer set を理解
Ethereum 系 PoS を L2 再現、1 → 10-30 オペ、Polygon zkEVM / Linea が向かう。
Step 4: 共有 sequencer の 4+4
利益（atomic 性 / コスト低減 / MEV 統合 / 速い分散化）vs 犠牲（主権 / アップグレード / カスタム MEV / 運用独立）。
Step 5: 本番試み 4 プロジェクト
Espresso（HotStuff）/ Astria（CometBFT + Reth）/ Radius（PoS）/ Anoma（intent）。
Step 6: Pre-conf 3 モデル
TACo（threshold）/ Lighthouse（1 sequencer + 他検証）/ Speculative（fraud proof）。
Step 7: chain ごとの分散化パス選択
Tempo（中央 → PoS → 共有 + ZK）/ Hyperliquid（無期限中央 — orderbook MEV）/ Polygon zkEVM（PoS 進行中）。MEV モデルが分散化方針を規定。
答え合わせ
- 5 難所統合の困難さ: 個別解決済（PoS / MEV-Boost / Liveness 監視 / クラスタ運用 / staking）だが、5 つ同時 に統合した場合の interaction が新しい failure mode を生む。例: PoS で MEV 公平分配 → liveness 低下 → コスト増大 → 経済セキュリティ要件変化 → 全部やり直し。3 年は最低限の時間。
- 共有 sequencer vs 単一 sequencer の trade: 共有 = N rollup で 1 sequencer set 共有 → コスト効率 + atomic クロス rollup + MEV 統合。単一 = 主権保持 + アップグレード速度 + カスタム MEV 戦略保持。「より多くを制御 vs より多くを自分に賭ける」 の選択。chain の目的次第。
- chain ごとの分散化方針: Tempo = 決済 chain で MEV 機会少（genuine tx 主体）→ 分散化容易 → 中央 → PoS → 共有 + ZK パス。Hyperliquid = orderbook 自体が MEV → 中央集権無期限 + bridge のみ分散化。MEV モデルが分散化パスを規定。
合格基準
- 5 分散化ステージを即答できる。
- 5 難所を即答できる。
- 共有 sequencer の 4 利益 + 4 犠牲を言える。
- 本番試み 4 プロジェクトを技術スタックで言える。
- Tempo / Hyperliquid の分散化方針差を MEV モデルで説明できる。
まとめ（3行）
- 5 分散化ステージ（Single → Multi-sig → PoS → 共有 → MEV 認識）、5 難所（Latency / MEV / Liveness / コスト / 経済セキュリティ）の統合が 3 年でも未解決。
- 共有 sequencer（Espresso / Astria / Radius）= 4 利益（atomic 性 / コスト / MEV 統合 / 速い分散化）vs 4 犠牲（主権 / アップグレード / カスタム MEV / 運用独立）、chain 目的次第。
- MEV モデルが分散化方針を規定 — Tempo（決済、分散化容易）vs Hyperliquid（orderbook MEV、中央集権無期限）が両極端の例。