1kx：區塊鏈擴容的終局是信任最小化和水平擴展

原文作者：weidai.eth

原文編譯：Luffy，Foresight News

以太坊是一種無需許可的世界計算機，在撰寫本文時，它擁有最高的經濟安全性，並且充當大量資產、應用程序和服務的結算帳本。以太坊也有其限制：區塊空間是以太坊主網上稀缺且昂貴的資源。 L2 擴容被認為是這個問題的最佳解決方案，近年來有大量項目進入這個領域，其中大多數是Rollup。然而，從嚴格意義上的術語Rollup（資料位於以太坊L1 上），並不能實現以太坊的無限擴展，它的上限是每秒處理數千筆交易。

首先，請先了解兩個概念：

• 信任最小化：如果L2 系統的功能不需要信任底層L1 以外的部分，那麼這個系統（的一個功能）就是信任最小化。

• 水平擴展：如果可以在不造成全域瓶頸的情況下新增實例，那麼系統就是水平可擴展的。

在這篇文章中，我們認為信任最小化和水平可擴展的系統是擴展區塊鏈應用最有前途的方式，但這個方向目前尚未被充分探索。我們透過探討三個問題來得出論點：

• 為什麼應用程式應該是信任最小化的？

• 為什麼要建構可水平擴展的系統？

• 我們如何增強信任最小化和水平可擴展性？

聲明：雖然本文重點關注以太坊作為基礎L1，但我們在這裡討論的大部分內容也適用於以太坊之外的其它去中心化結算層。

為什麼應用程式應該是信任最小化的？

應用程式可以以可信賴的方式連接到以太坊，它們可以寫入和讀取以太坊區塊鏈上的數據，但需要信任的地方在於業務邏輯會被正確執行。幣安和Coinbase 等中心化交易所是可信應用程式的絕佳範例。連接到以太坊意味著應用程式可以利用具有多種資產的全球結算網路。

受信任的鏈下服務有重大風險。 2022 年主要交易所和服務商的崩潰（例如FTX 和Celsius）是一個很好的警示故事，講述了當受信任的服務行為不當和失敗時會發生什麼。

另一方面，信任最小化的應用程式可以以可驗證的方式寫入和讀取以太坊，例如Uniswap 等智慧合約應用程式、A.bitrum 或zkSync 等Rollup 以及Lagrange 和Axiom 等協處理器。從廣義上講，隨著應用程式受到以太坊網路的保護，並且更多功能被分配給L1，信任就會被消除。因此，可以在沒有交易對手或託管人風險的情況下提供信任最小化的金融服務。

將功能外包給L1，應用程式和服務可以獲得三個關鍵屬性：

• 活性（和排序）：使用者提交的交易應及時包含（執行和結算）。

• 有效性：交易依照預先指定的規則處理。

• 資料（和狀態）可用性：使用者可以存取歷史資料以及當前應用程式狀態。

對於上述每個屬性，我們可以想到需要什麼信任假設；特別是，以太坊L1 是否提供該屬性或是否需要外部信任。下表針對不同的架構範例進行了分類。

為什麼要建構可水平擴展的系統？

水平擴展是指透過在系統中新增獨立或平行實例進行擴展，例如應用程式或Rollup。這要求系統不存在全局瓶頸。水平擴展可以實現系統吞吐量的指數級成長。

垂直擴展是指透過增加整體系統（例如以太坊L1 或資料可用性層）的吞吐量來進行擴容。當水平擴展在諸如共享資源上遇到瓶頸時，通常需要垂直擴展。

聲明1 ：Rollup 無法水平擴展，因為它們可能會遇到資料可用性(DA) 的瓶頸。垂直擴展DA 解決方案需要在去中心化方面做出妥協。

數據可用性(DA) 仍然是Rollup 的瓶頸。目前，每個L1 區塊的最大容量目標為1 MB ( 85 KB/s)。從長遠來看，EIP-4844 將額外提供約2 MB ( 171 KB/s) 的可用空間。透過Danksharding，以太坊L1 最終可能支援高達1.3 MB/s 的DA 帶寬。以太坊L1 DA 是許多應用程式和服務共同競爭的資源。因此，儘管使用L1 作為DA 可提供最佳的安全性，但它會成為系統潛在可擴展性的瓶頸。使用L1 作為DA 的系統（通常）無法水平擴展，並且存在規模不經濟。替代性DA 層，例如Celestia 或EigenDA，也有帶寬限制（儘管較大，分別為6.67 MB/s 和15 MB/s）。但這是以將信任假設從以太坊轉移到另一個（通常不太去中心化）網絡為代價的，從而損害了安全性。

聲明2 ：水平擴展信任最小化服務的唯一方法是實現（接近）每筆交易的邊際L1 資料為零。兩種已知的方法是狀態差異Rollup (SDR) 和validiums。

狀態差異Rollup (SDR) 是將一批聚合交易中的狀態差異發佈到以太坊L1 的Rollup。對於EVM，隨著交易批次變大，發佈到L1 的每個交易資料會逼近一個常數，遠小於Rollup 的交易資料。

例如，在銘文大量湧入的壓力測試事件中，zkSync 發現每筆交易的calldata 減少至10 位元組。相較之下，對於正常流量，Arbitrum、Optimism 和Polygon zkEVM 等Rollup 每筆交易約100 字節。

validium 是一個將狀態轉換的有效性證明發佈到以太坊的系統，無需關聯的交易資料或狀態。即使在低流量條件下，Validium 也具有高度水平可擴展性。而且不同validium 可以共享結算層。

除了水平可擴展性之外，validium 還可以提供鏈上隱私（來自公共觀察者）。具有隱私DA 的validium 擁有中心化和門控的資料和狀態可用性，這意味著用戶必須在存取資料之前進行身份驗證，並且運營商可以實行良好的隱私措施。這實現了類似於傳統網絡或金融服務的用戶體驗：用戶活動不受公眾監督，但存在一個需要信任的用戶資料託管人，在本例中為validium 運營商。

中心化排序器與去中心化排序器呢？為了保持系統的水平可擴展性，獨立排序器（無論是中心化排序器還是去中心化排序器）至關重要。值得注意的是，儘管使用共享排序器的系統具有原子性可組合性，但它們無法水平擴展，因為隨著添加更多系統，排序器可能會成為瓶頸。

互通性呢？如果水平可擴展的系統都在相同的L1 結算，則它們可以在無需額外信任的情況下實現互通，因為訊息可以透過共享結算層從一個系統發送到另一個系統。營運成本和訊息傳遞延遲之間需要進行權衡（這可以在應用層解決）。

水平可擴展系統的信任最小化

我們能否進一步最小化水平可擴展系統中對活性、排序器和資料可用性的信任要求？

值得注意的是，以水平可擴展性為代價，我們知道如何挽救無需信任的活躍性和數據可用性。例如，L2 交易可以從L1 發起以保證被包含。 Volition 可以提供使用者選擇加入的L1 狀態可用性。

另一種解決方案是簡單地去中心化（但不依賴L1）。通過使用去中心化排序器（例如Espresso Systems 或Astria），而不是使用單一排序器，系統可以變得更加去中心化，從而最大限度地減少活性、排序和資料可用性所需的信任。與單一運營商的解決方案相比，這樣做有其限制：( 1) 效能可能受到分散式系統效能的限制，( 2) 對於具有隱私DA 的validiums，如果去中心化排序器網路是無許可的，則預設的隱私保護會遺失。

對於單一運營商validiums 或SDRs，我們還可以減少多少信任依賴？這裡有幾個方向。

方向1 ：validiums 中信任最小化的資料可用性。 Plasma 在一定程度上解決了狀態可用性問題，要么是某些特定狀態模型（包括UTXO 狀態模型）的提現問題，要么要求用戶定期在線（Plasma Free）。

方向2 ：SDR 和validiums 中的負責任的預先確認。這裡的目標是為用戶提供排序器包含交易的快速預確認，如果包含承諾沒有兌現，應該允許用戶發起挑戰並對排序器實施權益懲罰。這裡的挑戰是證明交易未被包含，這可能需要用戶提供額外的數據，而排序器可以簡單地保留這些數據。因此，我們可以合理地假設，我們至少要求SDR 或validium 為其完整的calldata 或交易歷史僱用一個資料可用性委員會，委員會能夠根據用戶請求提供不包含（預確認交易）的證明。

方向3 ：從活性故障中快速恢復。單一運營商系統可能會遇到活性故障（例如Arbitrum 在銘文事件期間宕機）。我們能否設計出一個在類似情況下不會服務中斷的系統？從某種意義上說，允許自我排序和狀態提議的L2 確實提供了防止長期活性故障的保證。對短期活性故障更具彈性的單一運營商系統目前尚未被充分探索。這裡的一種潛在的解決方案是透過對活性故障進行削減來追究相關責任。另一個可能的解決方案是簡單地縮短接管之前的延遲期（目前設定為一周左右）。

結論

在保持信任最小化的同時擴展全球結算帳本是一個難題。在當今的Rollup 和數據可用性領域中，垂直擴展和水平擴展之間還沒有明顯的區別。為了真正將信任最小化系統擴展到地球上的每個角落，我們需要建立信任最小化和水平可擴展的系統。

非常感謝Vitalik Buterin 和Terry Chung 的回饋和討論，以及Diana Biggs 的編輯評論。