Bitaigen Research 介紹
Rollup 是一種在以太坊等 L1 區塊鏈上「打包」大量 L2 交易的層級解決方案，透過將交易資料壓縮後只提交少量驗證證明或摘要至主鏈，以降低每筆交易的 gas 成本。根據不同的證明機制，Rollup 可分為 Optimistic Rollup（樂觀）與 ZK‑Rollup（零知識）兩大類。以 Optimism 為例，其在單個 batch 中可容納約 2,500 筆交易，與直接在 L1 執行相同數量交易相比，總 gas 消耗可降低超過 90%。
工作原理/How it works
- 資料聚合：L2 節點收集使用者的交易，將其編碼成一個 Merkle 樹，根（root）即為整批交易的唯一指紋。
- 產生證明：Optimistic Rollup 只提交根與交易摘要，並設置 7 天挑戰期；ZK‑Rollup 則即時生成零知識 SNARK/ STARK 證明，證明所有交易均符合共識規則。
- 提交至 L1：根與證明（或挑戰期內的挑戰訊息）被打包進一筆 L1 交易，L1 僅需驗證證明或執行挑戰合約，即可確保 L2 狀態的正確性。
- 狀態更新：驗證成功後，L1 會更新對應的 Rollup 合約儲存的狀態根，使用者可透過 Merkle proof 從 L1 取回自己的資產。
常見用例/Common use cases
- 高頻 DeFi：如 dYdX 的 StarkEx ZK‑Rollup，單日處理超過 1 百萬筆合約互動，交易費用平均僅 0.001 ETH。
- NFT 批量鑄造：Immutable X 可在一次 batch 中鑄造上千件 NFT，降低鑄造成本至 0.01 ETH/件以下。
- 跨鏈橋接：Arbitrum 的跨鏈橋使用 Optimistic Rollup 進行資產鎖定與釋放，縮短了資金在 L1/L2 之間的結算時間至約 5 分鐘。
常見誤解/Pitfalls
- Rollup 等同於側鏈：側鏈擁有獨立的共識與安全模型，而 Rollup 完全依賴 L1 的最終性與安全性，兩者不可混為一談。
- ZK‑Rollup 無延遲：儘管證明即時驗證，但生成 SNARK/ STARK 證明仍需數秒至數十秒的計算，對於極低延遲需求的應用仍可能受限。
- 所有 Rollup 都免受 MEV：Optimistic Rollup 在挑戰期內仍可能被礦工或驗證者插入惡意交易，需透過防篡改機制（如時間鎖）降低此類風險。
FAQ
Q1：Rollup 的資料可否在 L1 上直接查詢？
A1：是的，L1 合約會保存每個 batch 的 Merkle 根與相應的交易摘要，使用者可透過 Merkle proof 在 L1 上驗證任意交易的存在與結果。
Q2：如果挑戰期內發現 Optimistic Rollup 的錯誤，會產生什麼後果？
A2：提交挑戰的方可獲得挑戰者獎勵，且錯誤的 batch 會被回滾，相關交易的資金會返還至挑戰者或原持有者的 L2 錢包。
Q3：ZK‑Rollup 是否能支援任意智能合約？
A3：目前大多數 ZK‑Rollup 只支援特定類型的計算（如代幣轉移或固定格式的 DeFi 操作），因為生成通用零知識證明的成本仍較高，完整的 EVM 相容性仍在研究階段。
