Web3智网 / 知識讀本 · 擴容與跨鏈 · 2 分鐘閱讀
Rollup 把大量交易的執行移到另一個環境,再把必要資料與狀態承諾提交到基礎鏈。比較方案時,應看錯誤狀態如何被阻止,以及使用者如何退出。
運作原理
批次處理可把某些固定成本分攤到更多交易,壓縮資料也能降低每筆發布成本。但較低費用並不表示所有安全屬性都與主網完全相同,排序、升級、資料與提領機制仍需要逐項檢查。
樂觀式設計通常容許狀態先被提出,再於挑戰期內透過錯誤證明爭議;有效性證明設計則要求合約驗證狀態轉換證明。前者依賴可提出有效挑戰的機制與資料,後者依賴證明系統與驗證器正確性。兩者都不能只憑類別名稱判斷實際部署是否成熟。
假設案例:把數字放回流程
假設排序器立即回覆一筆付款成功,但該批次尚未提交主網。商戶此刻取得的是快速回覆,未必已取得主網結算保障。之後即使批次上鏈,樂觀式系統仍可能有挑戰期;有效性證明系統也可能需要等待證明產生與驗證。此案例刻意不給固定分鐘數,因不同系統與狀態差異很大。
| 問題 | 樂觀式設計 | 有效性證明設計 |
|---|---|---|
| 如何處理錯誤 | 透過挑戰與錯誤證明 | 提交可驗證的正確性證明 |
| 常見等待來源 | 挑戰期與主網結算 | 證明產生、驗證與結算 |
| 共同檢查點 | 資料、升級權與退出路徑 | 資料、升級權與退出路徑 |
判讀與實務
排序器集中可以提升效率,也可能帶來停機、審查與排序權問題。研究者應查看使用者是否能透過基礎鏈強制提交交易、何時能啟用退出,以及這些路徑是否已實際開放。文件中規劃的功能與目前部署的功能,應分別列出。
升級權常是容易忽略的邊界。若少數管理者能立即替換驗證邏輯或資產保管程式,即使證明系統很強,使用者仍需信任管理安排。時間鎖與安全委員會可能提供不同保護,但要確認緊急權限能否繞過一般等待期。
比較費用要拆分執行、資料發布及服務加成,並使用相同操作與同一時段。低需求時的單筆簡單轉帳,無法代表高需求時的複雜合約成本。對提款而言,第三方快速退出報價也應與原生退出流程分開,避免把流動性服務當成協議保證。
選擇網路前,先確認資產與應用是否真的在目標網路部署。相容虛擬機不等於狀態自動共享,主網地址存在也不表示第二層相同地址就是相同合約。核對部署清單,才能避免把熟悉的地址外觀當成身分證明。
操作前檢查清單
- 區分排序器回覆、批次發布、證明及基礎鏈最終性。
- 確認資料位置、強制交易與原生退出路徑。
- 檢查升級權、時間鎖與已部署的證明系統。
常見問題
使用零知識證明就自動保護交易隱私嗎?
不一定。有效性證明可用來壓縮驗證工作,但交易資料仍可能公開。隱私取決於系統是否另外設計隱藏資訊。
所有第二層都等於 Rollup 嗎?
不是。不同擴容方案的資料位置與安全依賴不同,應依實際機制分類,而不是只看行銷上使用的第二層標籤。
