PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

原文作者:@cryptohawk,PSE Trading Analyst

1. 模塊化區塊鏈中必不可缺的一環

歷史主流區塊鏈架構為非分層結構,即計算/結算/共識/數據可用性四部分核心功能由同一批節點來執行。分層結構的區塊鏈則相反,節點只需要專注於計算/結算/共識/數據可用性四部分核心功能中的一部分,從而降低節點硬件門檻,進而實現擴容。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

區塊鏈的四大核心功能模塊定義:

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

在以太坊為核心的Ethereum Rollups 生態如火如荼發展的當下,L2的gas fee 相比L1已能夠節約近90% ,卻依舊不夠低,距離未來設想的接入數億C 端用戶的目標還存在距離。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

根據23.7 ETH Community Conference 上Avail 創始人的演講,目前Rollups 近70% 的成本在於以太坊L1上發布tx 數據&證明數據。模塊化區塊鏈的下一步幾乎可預見的是,ETH L1和眾多專用DA 層在數據可用性層面的競爭將大幅降低新rollups 的進入門檻,不犧牲安全性和去中心化的情況下進一步增強區塊鏈的可擴展性&降低交互成本。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

2 DA 層最新發展情況

2.1 DA 層技術路徑

關於如何保障數據的可用性,DA 層採用了許多技術創新,一些技術方向得到了DA 層的共識,比如在確保完整數據可被獲得/恢復:

(1)糾刪碼

為了防止DA 節點丟失數據片段,糾刪碼技術將原始數據從N 個元素擴展為M 個元素(M > N),只要從擴展數據的M 個元素中獲得任何N 個獨特元素,就能夠重建完整的擴展數據。

DA 層以區塊內tx/blob 作為最小元素,EigenDA & Espreeso 採用一維Reed-Solomon 編碼方案,Celestia & ETH Darksharding 採用二維Reed-Solomon 編碼方案。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

(2)數據可用性抽樣

數據可用性抽樣機制建立在糾刪碼的基礎上,即不需要節點下載完整區塊數據,通過足量節點(甚至是輕節點)向區塊構建者隨機採樣一定數量的數據塊,即可保證最差情況下完整區塊可被恢復。

當然,在另外一些技術方向上,比如如何證明原始數據已被正確地編碼擴展,不同DA 層採用的方案存在差異:

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

(1)欺詐證明模式

代表項目:Celestia

通過輕節點採樣到足夠的獨特數據塊並廣播至全節點,誠實的全節點便能夠執行編碼恢復完整區塊,並重新計算Data Merkle Root 與區塊構建者發布的Root 進行對比驗證。倘若驗證不通過,即證明原始數據未被正確地編碼擴展,全節點將向輕節點&全節點廣播欺詐證明。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

優勢:博弈論激勵機制落地的技術障礙更小;

劣勢:需要滿足最小誠實假設。

(2)KZG 承諾模式

代表項目:EigenDA、Espresso、Avail、ETH Darksharding

KZG 承諾是一種多項式承諾證明,根據DA 層的tx 數據規範,將所有原始數據和擴展數據映射到X, Y 網格上,如下圖中的8 個元素(d 0, x 0),(d 1, x 1)…(e 0, x 4),(e 1, x 5)…,然後通過拉格朗日插值找到貫穿它們的最小階多項式,Prover 需要對此多項式f(x)配合一個秘密的可信設置做出承諾C(f)。

隨後,Prover 將針對群元素根據產生一個固定48 字節大小的證明Π,配合C(f)即可使verifier 針對每個元素驗證其y=f(x)是否成立,倘若所有原始數據和擴展數據的元素點均處於相同的多項式上,就能夠證明原始數據已被正確地編碼擴展。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

優勢:驗證證明速度快;

劣勢:需要提前進行可信設置&不抗量子計算。

(3)DA 委員會多簽模式(Data Availability Committee)

代表項目:Arbitrum Nova

此模式下,區塊鏈依賴一個外部的DA 委員會來存儲tx 數據,並承諾根據B 端/C 端用戶需求提供數據。所謂DA 承諾,即委員會成員對某個tx 數據區塊的Hash & DA 到期時間進行滿足一定數量閾值的BLS 簽名即可。

優勢:成本極低;

劣勢:數據可用性還依賴於匹配的誠實激勵模式+作惡懲罰模式+DAO 治理模式,可靠性低於欺詐證明&KZG 承諾證明,因此適用於價值較低的非金融應用的交互tx 數據存儲。

2.2 模塊分工方案

針對區塊鏈不同模塊在具體項目之間如何分工,市面上也存在諸多設計方案,下面列舉了Celestium、Celestia Sovereign Rollup、Eigen Rollup、Espresso Rollup、Ethereum Rollup 六種主流設計框架。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

拋出幾個核心觀點:

(1)統一結算層能夠使眾多Rollup 享受跨鏈安全性&聚合流動性。

相比起L1之間通過中繼信任層進行跨鏈,Rollup 之間通過統一結算層,可實時在結算層共享彼此之間的全局狀態,進行代幣&信息跨鏈的安全性更高。

下面筆者列舉了兩個第三方跨鏈橋方案:

  • 通過Rollups 其下官方跨鏈橋合約&SDK 實現無需更大信任假設的跨鏈;

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

  • 通過第三方流動性池實現更快速更低成本的跨鏈。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

(2)tx 排序權不應該由DA 層承擔。

近期Celestia 研究員NashQ 提出多種Rollup 變體模塊,其中將tx 排序權主要分配給聚合器/DA 層。筆者認為,如今有關mev 民主化分配的討論越來越受到重視,以PBS 為代表的機制能夠將mev 價值在套利者&節點/排序器之間合理分配,將大概率被頭部Rollup 採用。而DA 層在共識機制和網絡架構的設計更應該專注於數據可用性的保障上,倘若加入tx 排序相關的額外mev 分配機制,或將對網絡架構的技術要求提出不必要的挑戰。

(3)未來十年內Ethereum 依舊是大多數Rollup 共識層&結算層的最佳選項。

在模塊化區塊鏈框架下,大多數區塊鏈用戶(甚至從業者)不太關心共識層所提供的安全性&區塊終結性究竟如何,而筆者認為共識層是區塊鏈模塊中的最重要一環,即使是在2023 年也出現過Polygon POS 鏈的異常區塊回滾事件,使得Cex & 跨鏈協議針對Polygon POS 鏈的區塊確認時間大幅延長,產生了不利的深遠影響。因此,筆者判斷未來十年內Ethereum 作為智能合約公鏈的共識層龍頭(九一開)難以動搖,也是Rollup 共識層的最佳選項。而結算層作為Rollup 區塊&全局狀態結算確認的關鍵模塊,與共識層統一是最好的選擇。

3 主流DA 層項目簡介

3.1 塞拉斯蒂婭

Celestia 作為首個提供DA 層的解決方案,其網絡架構分為共識層和數據可用性層。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

(1)共識層:Celestia 在很大程度上借鑒了Cosmos 的架構,構建了一條名為Celestia APP 的POS 鏈作為共識層,其下Celestia-core 將Tendermint 的修改版本作為共識算法,節點仍使用Tendermint p2p網絡規則,並通過ABCI++連接到應用層(即狀態機)執行PoS 邏輯並進行治理。

(2)數據可用性層:Celestia 通過數據可用性採樣(DAS)技術,允許輕節點無需下載完整的區塊,僅下載包含區塊數據Merkle root 的區塊頭就能夠生成接近全節點的安全屬性。

具體來看,在每一輪DAS 中,Celestia 輕節點會對每個區塊進行糾刪碼編碼後的2 k × 2 k 數據塊進行採樣。每個輕節點在擴展矩陣中隨機選擇一組坐標,並在全節點中查詢數據塊以及這些坐標處相應的Merkle 證明。

假設全節點在廣播包含1000 筆tx 的區塊時隱藏了tx,要求輕節點通過採樣檢驗對所有區塊數據可用(即未檢驗到錯誤/丟失無法足以恢復完整區塊的數據塊)的假設達到99.9999% 的置信概率,倘若針對1000 個原始數據塊簡單採樣&惡意全節點隱藏了1 筆tx,則需要約1.38 萬次採樣才能達到,還不如直接下載完整區塊;而倘若針對400 萬個擴展數據塊作抽樣&惡意全節點隱藏了超過100 萬個數據塊,僅需48 次採樣即可,效率相差約288 倍。

DAS 能夠實現什麼:

  1. 少量採樣即可發現全節點廣播的區塊是否隱藏超過25% 的區塊數據;

  2. 採樣獲得75% 的數據即可保證能恢復完整的區塊數據。

DAS 不能實現什麼:

  1. 倘若區塊生產者隱藏了超過25% 的數據,就有可能無法恢復完整的區塊數據;

  2. 倘若沒有足夠的輕節點進行採樣,就有可能無法採樣到足夠的不重複數據塊以重建整個區塊。

深度研報見:

3.2 特徵DA

EigenDA 作為EigenLayer 官方自己開發的第一條AVS 網絡,屬於EigenLayer 的“親兒子”,定位於以太坊安全性子集的DA 層,並主推結算層由執行層兼任的主權區塊鏈方案。

創始人Sreeram Kannan 在DA 上對Coded Merkle Tree、Scalable Data Availability Oracle、DispersedLedger 等技術進行了創新性的研究,目前採用區塊數據2 倍冗餘一維糾刪碼+KZG 承諾+Authenticated Coded Dispersal (ACeD )單節點存儲1/n 數據塊(網絡節點數量n)的技術框架,希望在DA 效率和節點寬帶上大大實現超過ETH 最終DA 方案Danksharding。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

深度研報見:

3.3 濃縮咖啡

Espresso Sequencer 網絡選擇在相同節點集下以模塊化方式分離DA 層和共識層,DA 層負責篩選&排序tx+保證數據可用性,共識層僅負責就數據集的簡短承諾達成一致。另外,DA 層和共識層還將通過如EigenLayer 的重質押層來租用/共享ETH 的安全性。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

優點:

(1)靈活性:樂觀條件下通過CDN&小型DA 委員會可大幅提高網絡的數據傳輸能力&區塊確認速度,悲觀條件下網絡也能夠及時轉向P2P協議&DA 基礎層保證安全性;

缺點:

(1)架構冗餘:Espresso Sequencer 共識層完全沒必要與DA 層分離;

(2)網絡安全性幾乎等同於EigenLayer 在Espresso Sequencer 網絡的重質押ETH 數量,與EigenDA 同賽道競爭格局下存在EigenLayer 資源傾向親兒子的風險;

(3)MEV 捕獲能力&交易審查權完全集中在Tiramisu 即Espresso DA 層,未來需要接入如PBS 方案進行優化。

深度研報見:

3.4 ETH 原始黑暗分片

在Vitalik 於22.11.5 展示的以太坊未來路線圖中,清楚地展示了繼The Merge:POW 轉POS 階段後,以太坊下一階段的重點目標就是通過EIP 4844 為Rollups 實現交易性能的進一步提升,而整個以太坊的定位為DA&共識&結算層,單獨只將執行層賦予Rollups。

PSE Trading:模塊區塊鏈新敘事——DA層群雄逐鹿

EIP 4844 預計將在年底的坎昆升級中上線,該EIP 引入了一種新的transaction type,即blob-carrying transaction,Rollup 上傳的tx 數據能夠通過blob 的形式在ETH Layer 1 上作非永久存儲。單blob 大小為128 KB,每個block 理想狀態包含8 個blob,大小約為1 MB,最多包含16 個blob,大小約為2 MB,相比目前ETH 的平均區塊大小90 KB 進行了極大的專項擴容。為防止ETH 節點存儲狀態爆炸,計劃對一段時間窗口以外的blob(具體的時間窗口未定,可能為2 週或1 個月)進行自動刪除,因此可以將blob 看成一種緩存。

儘管Vitalik 設想的未來終局只有狀態根存儲在以太坊鏈上,詳細的交易數據存儲在專用的DA 層上,但近在咫尺的短期折衷解決方案EIP 4844 將會指向ETH 鏈與專用DA 層的直接業務競爭,專用DA 層除了打“數據存儲費用更低”的牌之外,能否探索出更廣闊的商業模式,構建出更好的DAPP 生態,將會是成功與否的關鍵。

4 結論

在過去一輪週期內,整個泛數據存儲賽道在資本泡沫的堆積和對開發者的吸引力上並不佔優勢,或源於用戶對中心化數據存儲&託管風險並不敏感,去中心化存儲的需求暫時被證偽。而DA 層作為模塊化區塊鏈中不可或缺的一個模塊,定位於最有價值的執行層交易tx 數據的存儲,並以更低的成本保證數據的可用性(公開訪問無准入&抗審查)&完整性&正確性&隱私性,將會是更有商業需求的一種敘事。

中短期來看,DA 層賽道將出現群雄割據的局面。

(1)Ethereum Rollup 在坎昆升級後受益於EIP 4844 帶來的blob 數據存儲成本下降,或將繼續保持ETH L1在DA 模塊的市場競爭力;

(2)看好以ETH L1作為結算層的DA 層解決方案(如Celestium),通過使執行層共享跨鏈安全性/流動性,給執行層之間帶來更好的“樂高積木”互操作性,有利於生態發展的良性循環;

(3)看好依托EigenLayer 重質押協議的DA 層解決方案(如EigenDA、Espresso),既能獲得tx 數據存儲成本的降低,又能共享部分ETH L1安全性;

(4)擁有良好激勵分配機制(如PBS)的共享排序器方案將受到頭部Rollup 執行層的採用,tx 篩選/排序權不應該賦予DA 層,DA 層應專心做好數據可用的任務。

參考資料:

2.《拆開塞拉斯蒂婭》,來自分析師 DAO

3.《關注塞拉斯蒂婭》,Can Gurel,來自 Delphi Digital

4.《模塊化區塊鏈的現狀》,作者:Roy Lu

5.“欺詐和數據可用性證明:最大化輕客戶端安全性並通過不誠實的多數擴展區塊鏈”,作者:Mustafa Al-Bassam、Alberto Sonnino 和 Vitalik Buterin

6.數據可用性採樣和danksharding:概述和改進建議,作者:Valeria Nikolaenko 和 Dan Boneh

7.在 EigenLayer 上探索 MEV,作者:Walt Smith

8.Hack Summit 2023 如何使用 eigenDA 構建新的虛擬機和匯總

9.EigenLayer:Restake Collective,來自 EigenLayer 團隊

10.不要讓以太坊共識超載

13.HotStuff 共識算法詳解

14.《以太坊漫遊指南》,Jon Charbonneau 著

原文鏈接

查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 留言
  • 分享
留言
0/400
暫無留言
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)