跳到正文
Financial Context Wiki

Optimistic Rollup

依具體部署解析排序器收據、L1 衍生資料、unsafe/safe/finalized head、故障證明博弈、canonical 提領、治理與快速退出。

更新於

僅供教育參考，不構成協定、跨鏈橋或交易建議。Optimistic Rollup 的保障取決於具體部署、資料模式、衍生規則、實際運作的故障證明博弈、權限、時鐘、治理與提領合約；應逐階段、逐資產獨立核實。

直接答案

Optimistic Rollup 執行排序後的交易流，並發布協定規定的衍生資料與狀態聲明，但不為每個批次附上有效性證明。「Optimistic」表示：符合資格的聲明可依已部署規則繼續推進，除非成功的故障證明爭議證實其錯誤。它不表示排序器訊息能證明正確性，也不表示每項實作都有無須許可的挑戰機制或相同的提領延遲。

Rollup 節點依據 canonical L1 輸入與精確協定設定，獨立衍生 L2 區塊。因此，安全路徑涵蓋資料可用性、正確衍生與執行、實際運作且健全的故障證明系統、L1 存取與最終性、治理及跨鏈橋合約。僅有狀態根不足以重建鏈，也不足以挑戰無效狀態轉換。

1
排序

排序器排列 L2 交易並發布交易資料或承諾。

運作方式

  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 本身的風險。

相關主題

資料來源

導覽

搜尋知識庫...