StarkWare:為什麼說以太坊需要Layer3解決方案?
來源:StarkWare部落格
原標題:《Fractal Scaling: From L2 to L3》
編譯:谷昱,鏈捕手
為什麼是L3?
以太坊交易的高昂成本促使其成為 L2 的結算層。我們相信,在不久的將來,由於交易成本顯著降低、對 DeFi 工具的支持不斷增加以及 L2 提供的流動性增加,最終用戶將在 L2 上進行大部分活動。
L2s 通過降低每筆交易的 gas 成本和提高交易率來提高可擴展性。同時,L2s 保留了去中心化、通用邏輯和可組合性的好處。但是,某些應用程序需要特定的剪裁,最好由一個新的獨立層提供服務:進入 L3!
L3 與 L2 相關,就像 L2 與 L1 相關一樣。只要 L2 能夠支持驗證者智能合約,L3 就可以使用有效性證明來實現。當 L2 也使用提交給 L1 的有效性證明時,就像 StarkNet 所做的那樣,這變成了一個非常優雅的遞歸結構,其中 L2 證明的壓縮優勢乘以 L3 證明的壓縮優勢。換句話說,如果每一層的成本降低 1000 倍,那麼 L3 的成本可以比 L1 降低 1,000,000 倍------同時仍然保留 L1 的安全性。
想像一下,交易只需一小部分 gas!
L3 的主要優點是:
第一,利用遞歸證明的乘法效應實現超可擴展性。
第二,由技術堆疊的應用程序設計者更好地控制:
a:更具確定性的性能和成本;
b:自定義數據可用性模型(例如,基於 Validium 或特定於應用程序的鏈上數據壓縮),
C:更快的功能和技術速度(例如,引入尚未準備好全面可用的新功能)。
第三,隱私性,例如零知識證明應用於公共 L2 上的隱私保護交易。
第四,更便宜/更簡單的 L2-L3 互操作性。目前在 L1 和 L2 之間使用的跨鏈通道非常昂貴。相比之下,由於 L2 的成本效益,當這些流程應用於 L3 時,不僅非常有吸引力,而且易於實施。雖然在 L2 和 L3 之間移動資產的延遲可能比部署在同一 L2 上的應用程序之間的延遲更長,但成本和吞吐量是可比的。
第五,更便宜/更簡單的 L3-L3 互操作性。獨立的 L3 將通過 L2 而不是 L1 進行互操作。L2 顯然預計比其 L1 便宜。如果沒有 L3,這些都將起到 L2 的作用,因此,必須通過相當昂貴的 L1 進行互操作。
第六,L3 作為 L2 的"Kusama"網絡:在 L2 或 L3 上向公眾提供之前,新的創新可能會在 L3 上進行測試(就像 Kusama 在 Polkadot 中扮演的角色一樣)。
L3s 和分形分層(Fractal Layering)
多個 L3 將建立在 L2 之上。此外,對於分形分層解決方案,可以在 L3 上構建附加層(L4 等)。 圖 1:分層生態系統
圖 1 描述了此類生態系統的一個示例。其 L3 包括:
- 具有 Validium 數據可用性的 StarkNet,例如,面向對定價極其敏感的應用程序普遍使用。
- 為更好的應用程序性能而定制的特定於應用程序的 StarkNet 系統,例如,通過採用指定的存儲結構或數據可用性壓縮。
- StarkEx 系統(例如服務 dYdX、Sorare、Immutable 和 DeversiFi 的系統)具有 Validium 或 Rollup 數據可用性,立即為 StarkNet 帶來久經考驗的可擴展性優勢。
- 隱私 StarkNet 實例(在本例中也作為 L4)允許隱私保護交易,而無需將它們包含在公共 StarkNet 中。
L3 解決方案的構建塊
圖 2 描述了包括以下組件的經典 L2 架構:
- 跟蹤 L1 上 L2 狀態根的智能合約(例如,以太坊上的 StarkNet 智能合約)。
- 對於基於有效性證明的 L2,驗證者智能合約用於驗證狀態轉換證明的有效性。
- L1 上的橋接合約管理代幣進出 L2 的存款和取款。
- L2 上的代幣合約作為 L1 代幣合約的對手方(例如,ERC20、ERC721)。
圖 2:L2 的構建塊
圖 3 描述了 L3 與其底層 L2 和 L1 之間的關係。通過在 L2 上實施狀態跟蹤和驗證器智能合約,L3 可以安全地運行在 L2 上。 圖 3:L3 的構建塊
總結
L3 承諾超可擴展性,更好地控制技術堆疊以滿足各種需求和隱私,同時保持以太坊 (L1) 提供的安全保證。它採用的遞歸概念可以擴展到分形分層解決方案的附加層。
StarkEx 目前作為 L2 運行,將遷移到 L3。此外,StarkNet 的實例將作為 L3 提供。
感謝Polynya和 Alex Connolly(Immutable)對這篇文章的評論和評論。特別感謝Pierre Duperrin (Sorare) 的寶貴見解。