擴容與第二層

樂觀彙整

樂觀彙整是一條在主鏈外執行交易、卻把壓縮過的交易資料貼回主鏈的第二層鏈;之所以「樂觀」,是因為它預設每一批次都有效,而非去證明它。這個名稱點出了其信任模型:就像一位讓熟客賒帳、只有在有人對某筆帳目提出異議時才去核對收據的店主,彙整發布一個新的狀態根後就立即把它當作正確的,靠「詐欺證明的威脅」來嚇阻作弊。Arbitrum 與 Optimism(OP Stack)是領頭的例子,兩者合計承載了以太坊上大多數的 L2 活動。

資料即安全。彙整把每一批次的交易資料貼到以太坊(如今透過 EIP-4844 以 blob 形式),因此任何人都能獨立地重新執行該批次、重新算出正確的狀態根應該是什麼。若排序器貼出的狀態根與誠實重算的結果不符,驗證者便提交一份詐欺證明;現代系統採用一種互動式二分博弈,把分歧逐步收斂到單一一條有爭議的指令,再由以太坊在鏈上廉價地核對它。由於只需一個誠實的驗證者就能揪出詐欺,即使其餘所有人都心懷不軌,系統仍然安全——前提是資料確有發布。

樂觀的代價是挑戰期。由於批次只是被「推定」有效,從彙整提款到以太坊就必須熬過一段爭議窗口——Arbitrum 與 Optimism 上通常約七天——長到足以讓誠實一方在資金離開前偵測並證明詐欺。這使得原生提款很慢(第三方流動性橋收點費用幫你掩蓋這段等待)。相對於 ZK 彙整,它換來的補償優勢是工程上的簡潔與完整的 EVM 等價:因為無須在電路裡證明執行,樂觀彙整早在 zkEVM 成熟前數年就能跑通用的 Solidity 合約。

排序器貼出第 1000 號批次,宣稱新的狀態根是 S。一名驗證者依已發布的資料重新執行該批次,得到 S'。他發起爭議;二分博弈精準定位出 S 與 S' 分歧的那一條操作碼,以太坊只執行那單獨一步,認定排序器有誤,駁回該批次並罰沒排序器的保證金。

樂觀彙整並不因為「不檢查」而不安全——它是可被檢查的。只要至少有一個誠實方在盯著、能取得已發布的資料、並能在挑戰期結束前提交詐欺證明,安全性就成立。對該方進行審查、或讓它取不到資料,才是真正的威脅模型。