TL;DR

在 L2 中，排序器（sequencers）和提議器（proposers）起着至關重要的作用。排序器負責驗證交易並將它們打包，以便在 L1 傳輸，而提議器則向 L1 提交狀態承諾。這些實體的故障可能導致審查或資產鎖定等問題，但幾乎沒有適用於任何 L2 的緊急出口（escape hatch）通道。本文將介紹解決這一問題的解決方案。

當前形勢

截至目前，L2 區塊鏈生態系統在排序器和提議器故障方面面臨潛在挑戰。排序器負責驗證和打包交易以進行 L1 傳輸，可能引發審查或關停等風險。同樣，提議器負責向 L1 提交狀態承諾，可能面臨導致資產鎖定問題的故障。

這些挑戰的加劇是因為排序器和提議器主要由中心化實體營運，引入了 MEV 利用或排序器關停等額外風險。關鍵的方面不僅在於使用去中心化的排序器，還包括成功實施欺詐和有效性證明，以及引入一個緊急出口機制。

為了解決排序器的故障問題，已經引入了「自我排序」和「通過 L1 排隊」等解決方案。同樣，對於提議器的故障，可以採用「緊急出口」和「自我提議」等機制。不幸的是，緊急出口和自我排序在設計和實施中並未得到充分優先考慮，這代表了一個顯著的安全漏洞。此外，目前許多 L2 解決方案缺乏這些關鍵功能，存在未能解決潛在故障問題的空白。

L2beat 提供的資訊顯示，那些旨在解決排序器和提議器故障的機制無法穩定實施。

L2 如何實施自我排序和緊急出口機制

自我排序

備份策略允許在排序器故障的情況下，通過在指定的時間間隔後將交易強制包含在其中，確保得到強制包含。這種方法確保了在 L2 排序器故障可能導致交易延遲或受影響的情況下，仍然可以在主區塊鏈上處理和驗證這些交易，保持整個交易處理系統的完整性和連續性。

實施時間間隔是一項技術安全措施，旨在在對排序器故障做出響應時，在通過 Layer 1 強制包含交易之前建立一個時間緩衝。這種時間延遲提供了一個受控窗口，用於識別和解決潛在問題，執行適當的系統檢查，並恢復運行穩定性。

當用戶希望強制包含一筆交易時，必須在 L1 滾動合約上調用一個專門的函數，然後將該交易中繼到 L2 排序器的延遲隊列。這個延遲隊列有兩個主要目的：首先，作為等待處理的交易的臨時存放地，其次，作為安全預防措施，防止潛在的惡意行為者參與不合理的自我排序嘗試。在被包含到延遲隊列之前，交易必須經過審查，並受到預定標準的限制。這可防止未經授權或惡意的嘗試修改排序過程，確保了 L2 環境的完整性和安全性。

在經過設定的時間閾值後，延遲隊列中的交易將經歷一個批量包含過程，其中包括一系列強制性檢查。這個時間限製作為一個受控工具，用於規範事務處理的時間。在此期間在延遲隊列中積累的交易被匯總成一批，然後開始包含過程，假設預設的驗證測試成功通過。技術複雜性來自於組織這個批量包含，系統確保交易在集成到 L2 之前符合已建立的標準。

緊急出口

提議器需要定期向智能合約發送預定的消息。這個消息是一項預防性措施，旨在確保提議器的持續運行完整性。在預定的時間範圍內缺乏這種通信將導致宣布提議器非運行或有缺陷。

在提議器的操作停止或指定消息未傳輸的情況下，必須啟動自動機制來執行在 L2 上凍結資產。凍結過程應包括在 L2 上發行的特定智能合約內對資產進行安全鎖定。這一步有效地阻止了涉及被凍結資產的任何後續交易的發生，直到解決提議器的潛在問題。此升級確保任何試圖轉移或修改被凍結資產的企圖都被系統有序地阻止，降低了與故障提議器相關的潛在危險。

用戶可以觸發緊急出口機制，該機制旨在允許用戶在特定情景下重新取得對其資產的所有權，尤其是在確認提議器無效時。這個機制設計僅在陳述的標準明確識別提議器的非功能性時使用。

為了重新取得對其資產的所有權，用戶需要生成證明他們基金持有的默克爾證明。這些默克爾證明作為用戶鎖定資產時所擁有的特定資產的加密證據。然後，用戶將這些默克爾證明提交給 L1 合約，該合約隨後通過驗證過程驗證所呈現的證明的合法性和所有權。只有在這些證明經過嚴格的驗證之後，Layer 1 合約被授權開始將被鎖定的資產轉移到用戶的控制下。

結論

該分析強調了在 L2 區塊鏈中克服排序器和提議器故障的重要性，以確保交易處理的強健性和安全性。目前存在的問題和弱點，包括在緊急出口和自我排序中缺乏優先級，突顯了在整個 L2 生態系統中採用全面方法的必要性。實施這些解決方案可以提高 L2 區塊鏈系統的整體可靠性和強健性，使消費者更加信任其交易和資產的完整性。

原文連結