---
title: "Optimistic Rollup"
description: "依具體部署解析排序器收據、L1 衍生資料、unsafe/safe/finalized head、故障證明博弈、canonical 提領、治理與快速退出。"
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.
# Optimistic Rollup
> 僅供教育參考，不構成協定、跨鏈橋或交易建議。Optimistic Rollup 的保障取決於具體部署、資料模式、衍生規則、實際運作的故障證明博弈、權限、時鐘、治理與提領合約；應逐階段、逐資產獨立核實。
## 直接答案
Optimistic Rollup 執行排序後的交易流，並發布協定規定的衍生資料與狀態聲明，但不為每個批次附上有效性證明。「Optimistic」表示：符合資格的聲明可依已部署規則繼續推進，除非成功的故障證明爭議證實其錯誤。它不表示排序器訊息能證明正確性，也不表示每項實作都有無須許可的挑戰機制或相同的提領延遲。
Rollup 節點依據 canonical L1 輸入與精確協定設定，獨立衍生 L2 區塊。因此，安全路徑涵蓋資料可用性、正確衍生與執行、實際運作且健全的故障證明系統、L1 存取與最終性、治理及跨鏈橋合約。僅有狀態根不足以重建鏈，也不足以挑戰無效狀態轉換。
## 運作方式
1. 鎖定具體部署：L1 與 L2 鏈 ID、Rollup 設定與分叉、inbox 與跨鏈橋合約、批次格式與 DA 模式、狀態聲明與爭議博弈合約、portal 版本、管理員、guardian 及觀察區塊。技術堆疊文件不能證明每項功能已在指定鏈上實際運作。
2. 對觀察到的狀態分類。排序器收據或 unsafe block 是快速的本地排序承諾；已發布至 L1 的批次可支援安全衍生的 safe head；L1 最終性可支援衍生後的 finalized head。狀態或輸出聲明、已解決爭議及可執行提領是不同物件，各有獨立時鐘。
3. 重建 L1 到 L2 的衍生管線。依 canonical L1 資料，核實存款與已排序輸入、channel 與 batch、L1 origin、設定變更及狀態轉換。對 blob 承載的資料，應區分協定視窗期間的可用性與之後的歸檔檢索。
4. 對應活性與控制權。區分排序器、batcher、proposer、challenger、relayer、guardian 與升級權限；核實是否存在強制納入或 delayed inbox 路徑、延遲及暫停條件，以及一般使用者是否有可實際呼叫的軟體。
5. 核實已部署的故障證明路徑。記錄獲認可的博弈類型、proposer 與 challenger 權限、bond、absolute prestate、證明程式與 VM、preimage oracle、聲明深度、時鐘與延長規則、解決規則、黑名單或暫停權及升級延遲。不能把 OP Stack 機制直接套用到 Arbitrum 或其他 Rollup。
6. 分別追蹤提領與經濟帳。依序檢查 L2 發起、L1 證明、聲明或博弈依賴、成熟期與最終性延遲、重新證明、portal 檢查及 L1 執行。快速退出是與獨立交易對手進行的有價流動性或信用交易，不是縮短了 canonical 挑戰時鐘。
7. 持續核對。比對 unsafe、safe 與 finalized 區塊雜湊、L1 批次交易、狀態聲明、博弈結果、跨鏈橋訊息、收據、代幣合約及最終餘額。發生 L1 或 L2 重組、批次缺失、爭議、暫停、合約升級或 DA 遷移後，應重新分析。
## 計算範例
- **衍生資料酬載。** 一個批次包含 `10,000` 筆交易、`1,200 KB` 原始協定輸入，壓縮後為 `300 KB`。比率是 `1,200 / 300 = 4.0x`，降幅為 `1 - 300 / 1,200 = 75%`，按十進位計算的平均值為 `300,000 / 10,000 = 30 bytes/tx`。這些數值只描述編碼後的輸入酬載，不代表 L1 gas、執行正確性、狀態大小或歸檔保障。
- **未計遺漏成本前的貢獻額。** 使用者支付 `2.4 ETH`；測得 L2 執行成本為 `0.3 ETH`；L1 DA 成本為 `1.2 ETH`。殘餘額為 `2.4 - 0.3 - 1.2 = 0.9 ETH`，即 `0.9 / 10,000 = 0.00009 ETH/tx`。由於未計入營運商基礎設施、L1 執行、證明博弈、退款、資金、故障及稅費，這不是淨利潤。
- **爭議定位。** 教學用執行軌跡含 `2^20 = 1,048,576` 個步驟。理想二分需 `log2(2^20) = 20` 次選擇才能定位一個步驟。若每輪教學範例各有 `3-hour` 上限，樸素串行上限為 `20 * 3 = 60 hours`；實際協定採用各自的棋鐘、並行、延長規則及交易時序。
- **提領時鐘與快速流動性。** 教學範例中的批次在 `10 minutes` 後抵達 L1，再經 `30 minutes` 出現獲認可聲明，隨後假設挑戰期持續 `7 days`，最終轉送耗時 `2 hours`。依序累計為 `10 + 30 + 10,080 + 120 = 10,240 minutes = 7 days 2 hours 40 minutes`。流動性跨鏈橋預付 `4.97 ETH`，對應 `5 ETH` 的請求，並收取 `0.03 ETH`，即 `0.03 / 5 = 0.6%`；canonical 請求仍受原有時鐘與風險約束。
## 風險
- L1、L2、鏈 ID、Rollup 設定或合約部署錯誤。
- 把 unsafe 排序器收據視為 safe 或 final。
- 排序器產生矛盾結果、審查、重排或停機。
- L1 批次發布延遲、缺失、格式錯誤或無效。
- Blob 或替代 DA 資料無法取得或未歸檔。
- 衍生客戶端、設定或分叉不相符。
- L1 重組使先前視為 safe 的衍生輸入失效。
- Batcher、狀態 proposer 或證明參與者停機。
- 強制納入或 delayed inbox 路徑不存在、暫停或遭誤解。
- 故障證明尚未部署、未啟用或綁定錯誤博弈類型。
- Proposer 或 challenger 角色需要許可或白名單。
- Challenger 離線、受審查、資金不足或錯過期限。
- 證明程式、VM、absolute prestate、oracle 或 verifier 存在缺陷。
- 時鐘、延長規則、聲明位置、bond 或解決帳務出錯。
- Guardian、安全委員會、暫停或黑名單介入。
- 立即升級、時間鎖過短或管理員金鑰外洩。
- Canonical 跨鏈橋、messenger、防重放或資產對應漏洞。
- 提領證明、成熟期、重新證明、最終化或轉送失敗。
- 快速退出的流動性、定價、路由、資不抵債或交易對手風險。
- 混淆 L1 最終性、L2 衍生最終性、聲明解決與資產入帳。
## 常見誤解
- Optimistic 表示使用者無條件信任排序器顯示的結果。
- 只發布狀態根就能提供資料可用性與獨立衍生能力。
- 每個 Optimistic Rollup 都有實際運作且無須許可的故障證明，以及統一的七天時鐘。
- L2 區塊達到 safe 或 finalized，就表示其 L2 到 L1 提領已可執行。
- 快速跨鏈橋會縮短 canonical 挑戰期，或只承擔 Rollup 本身的風險。
## 相關主題
- [故障證明](/zh-tw/crypto/fraud-proof/)
- [資料可用性](/zh-tw/crypto/data-availability/)
- [Rollup](/zh-tw/crypto/rollup/)
## 資料來源
- [Optimistic Rollups](https://ethereum.org/developers/docs/scaling/optimistic-rollups/) - Ethereum.org（存取日期：2026-08-13）
- [EIP-4844: Shard Blob Transactions](https://eips.ethereum.org/EIPS/eip-4844) - Ethereum Improvement Proposals（存取日期：2026-08-13）
- [Rollup Node](https://specs.optimism.io/protocol/rollup-node.html) - OP Stack Specification（存取日期：2026-08-13）
- [Derivation](https://specs.optimism.io/protocol/derivation.html) - OP Stack Specification（存取日期：2026-08-13）
- [Fault Proof](https://specs.optimism.io/fault-proof/index.html) - OP Stack Specification（存取日期：2026-08-13）
- [Optimism Portal](https://specs.optimism.io/fault-proof/stage-one/optimism-portal.html) - OP Stack Specification（存取日期：2026-08-13）
- [Stage 1 Roles and Requirements](https://specs.optimism.io/protocol/stage-1.html) - OP Stack Specification（存取日期：2026-08-13）
- [Arbitrum Nitro: A Second-Generation Optimistic Rollup](https://docs.arbitrum.io/nitro-whitepaper.pdf) - Offchain Labs（存取日期：2026-08-13）
Source: https://wiki.fcontext.com/zh-tw/crypto/optimistic-rollup/index.mdx