撰寫:EigenLabs
編譯:深潮TechFlow
EigenDA 是一個安全、高吞吐量和去中心化的數據可用性(DA)服務,建立在以太坊之上,使用EigenLayer 的再質押的基礎模塊。 EigenDA 由EigenLabs 開發,將成為第一個在EigenLayer 上啟動的主動驗證服務(AVS)。一旦啟動,再質押者將能夠將質押權委託給為EigenDA 執行驗證任務的節點運營商,以換取服務支付,並且Rollup 將能夠將數據發佈到EigenDA,以便獲得更低的交易成本、更高的交易吞吐量以及在EigenLayer 生態系統中的安全組合性,其安全性和吞吐量的設計可隨著再質押的數量和運營商選擇為協議提供服務而水平擴展。
我們希望EigenDA 對以太坊生態系統做出以下貢獻:
為Rollup 提供創新的DA 解決方案,為以太坊擴展終極目標做出貢獻,並從以太坊質押者和驗證者那裡獲得安全性和價值。 EigenDA 建立在一些核心思想和庫的基礎上,這些思想和庫是Danksharding 的關鍵升級,可以在對這些技術進行實戰測試方面發揮作用。
提供高吞吐量和低成本的標準,促進新的鏈上應用案例的增長。 EigenDA 將支持多人遊戲、社交網絡和視頻流媒體等應用,具有靈活的成本模型,包括可變費用和固定費用。
保護去中心化的關鍵要素。在像EigenLayer 這樣的共享安全系統中,如果每個節點運營商都需要下載和存儲使用該系統的每個鏈,很少有節點運營商能夠跟上,系統最終有可能中心化。 EigenDA 的設計就是為了防止這種中心化趨勢;它在許多參與節點之間分配工作,實現高性能,要求每個運營商只需完成少量工作。
證明可編程信任的力量。 EigenDA 試圖證明以太坊質押者和驗證者可以支持關鍵的以太坊基礎設施,除了以太坊共識之外,AVS(如EigenDA)和AVS 用戶(如使用EigenDA 的Rollup)可以在以太坊信任網絡的模塊化基礎上成功實現新的商業和代幣模型。
我們很高興看到幾個團隊已經計劃將EigenDA 整合到他們的L2 基礎設施中,包括:Celo 在從L1 過渡到以太坊L2;Mantle 及其在BitDAO 生態系統中的一系列互補產品;Fluent 提供zkWASM執行層;Offshore 提供Move 執行層;Layer N 提供面向金融應用的zk-OP 混合Rollup 等等。
技術架構
下圖顯示了數據在EigenDA 中的基本流程。
Rollup Sequencer 創建帶有交易的區塊,並發送請求以分散數據塊。
Disperser 負責將數據塊進行糾刪碼編碼成塊,並生成KZG 承諾和KZG 多重揭示證明,並將承諾、塊和證明發送給EigenDA 網絡的操作節點。
Rollup 可以運行自己的Disperser,也可以使用第三方(例如EigenLabs)提供的分散服務,以方便和分攤簽名驗證成本。 Rollup 使用分散服務可以在服務無響應或進行審查時,可以使用自己的Disperser 作為備份,從而獲得分攤效益,而不會犧牲審查抵抗能力。
EigenDA 節點使用多重揭示證明對接收到的塊進行與KZG 承諾的驗證,將數據持久化,然後生成並將簽名返回給Disperser 進行聚合。
技術考慮
現在我們對EigenDA 的架構有了基本的了解,讓我們討論一下該系統旨在實現的好處和特性。以下是我們認為對於Rollup 來說,一個良好且有用的數據可用性層所必需的一些特性的簡要列表:
- 經濟性
- 吞吐量
- 安全性
- 可定制性。
我們將從EigenDA 的角度來解釋每個特性。
經濟性
如今,許多L2 使用以太坊作為其數據可用性層,因為它具有加密經濟安全保證。這導致成本極高且波動性大,因為Rollup 與所有其他以太坊用戶競爭有限的區塊空間,基於擁堵定價。例如,Arbitrum 和Optimism 今年以來在以太坊上的數據可用性費用已經花費了數千萬美元,而且每個月都沒有一致性。數據可用性系統的主要價值主張之一是大幅降低這些成本,並為Rollup 在成本結構方面提供更大的可預測性。
降低成本
運營數據可用性系統會產生三個基本維度的成本。讓我們分析一下EigenDA 如何在每個維度上最小化底層成本結構:
質押資本的成本。為了保護數據可用性層,質押者可能希望獲得一定比例的收益,以抵消他們的機會成本。 EigenDA 通過使用EigenLayer 來降低質押資本的成本,EigenLayer 採用共享安全模型,允許相同的質押在各種應用程序之間共享,從而創造規模經濟。
運營成本。 EigenDA 不要求每個節點下載和存儲所有數據,而是使用糾刪碼將數據分割成較小的塊,並要求運營者只下載和存儲一個單獨的塊,這是完整數據塊大小的一部分。與存儲完整數據塊相比,這降低了每個運營者的成本,使得許多節點可以“輕量級”地運營EigenDA。隨著更多節點加入EigenDA 網絡,網絡上每個節點所產生的資源成本也會降低。這使得EigenDA 能夠以較低的成本由大量運營者提供安全性,並實現成本的逐漸降低,從而實現豐富而不是稀缺的理念。
擁堵成本。當任何區塊鏈的帶寬利用率接近系統容量時,數據的成本開始上升。 EigenDA 通過兩種方式減少擁堵:1。通過更高的吞吐量,它試圖使擁堵成為一種罕見現象;2. 通過允許帶寬預留,EigenDA 可以以折扣價格保證Rollup 預留的吞吐量。為了保持靈活性,EigenDA 還允許Rollup 按需支付吞吐量。
Rollup 經濟學
Rollup 的經濟學與L1 根本不同,因為數據可用性成本不僅高且難以預測,而且是以非原生代幣支付的。這使得Rollup 很難向用戶做出價格承諾並補貼初始採用,因為它們必須承擔自己的Rollup 代幣與支付數據可用性費用的代幣之間的“匯率風險”。相比之下,L1 支付固定的通脹金額,並可以免費提供一定數量的每秒交易來吸引用戶。
EigenDA 正在探索,使Rollup 能夠以可預測的長期預留率以原生Rollup 代幣支付質押者,以EigenLayer 質押者認可的條款。這將共享安全系統的固有規模優勢與穩定的原生代幣支付的固有優勢相結合,以幫助推動Rollup 的使用。
吞吐量
吞吐量是數據可用性系統的另一個基本價值主張。 EigenDA 旨在實現水平擴展,即網絡上的運營者越多,網絡的吞吐量就越大。在使用具有標準性能特徵的100 個節點進行私人測試時,EigenDA 已經展示了高達10 MBps 的吞吐量,並有計劃擴展到1 GBps。這為基於以太坊的帶寬密集型應用程序(如多人遊戲和視頻流媒體)打開了大門。
EigenDA 通過其設計中的三個支柱實現高吞吐量:
DA 與共識脫鉤。現有的DA 系統將數據blob 可用性的證明與數據blob 的排序結合到一個“整體”架構中。數據的可用性證明可以並行進行,因為節點可以獨立地證明不同數據塊的可用性;然而,排序需要對數據塊進行串行化,從而導致顯著的共識滯後。雖然這種耦合對於那些被設計為最終排序來源的系統在安全方面可能是有益的,但對於旨在與以太坊區塊鏈配套使用的DA 系統來說,這種耦合既不是必需的,也不是有用的,因為以太坊區塊鏈本身俱有用於結算的排序系統。通過簡化排序的不必要復雜性並設計一個純粹的DA 系統,EigenDA 在吞吐量和延遲方面有了顯著的改進。
擦除編碼。 EigenDA 使得rollup 可以將要發佈到EigenDA 的數據分解為較小的塊,並在存儲數據之前對這些塊進行糾刪碼處理。使用KZG 多項式承諾(ZK 證明的核心數學方案),EigenDA 只需要下載少量數據,而不是下載整個數據塊。與使用欺詐證明來檢測數據的惡意錯誤編碼的系統不同,EigenDA 採用KZG 承諾形式的有效性證明,使節點能夠驗證數據的正確編碼。
直接通信而不是P2P。現有的DA 解決方案使用點對點(P2P)網絡傳輸數據塊,運營商從其對等方接收數據塊,然後將相同的數據塊重新廣播給其他人。這嚴重限制了可實現的DA 速率。在EigenDA 中,Disperser 直接將數據塊發送給EigenDA 的運營商。通過依賴直接通信來分散數據,EigenDA 可以通過原生網絡延遲確認DA。這消除了P2P 帶來的顯著八卦懲罰,並導致更快的數據承諾時間。
安全特性
我們將安全性作為一個總稱,涵蓋了安全性和活性,以及去中心化和抗審查性。以下特性證明了EigenDA 的安全性:
EigenLayer. 通過使用再質押,EigenDA 從EigenLayer 系統中藉用了兩個不同的安全方面:1、經濟安全;2、去中心化。 EigenDA 被設計為以協同的方式利用EigenLayer 和以太坊生態系統中這兩個不同的信任元素。
託管證明。 EigenDA 中運營商的一個關鍵失效模式是節點在沒有實際存儲所需時間的情況下簽署數據項。為了解決這個問題,EigenDA 使用了一種名為託管證明的機制,這個機制最初由以太坊基金會的Justin Drake 和Dankrad Feist 提出。通過託管證明,每個運營商必須定期計算並承諾一個只有在他們存儲了分配的數據塊塊時才能計算的函數的值。如果他們在計算此函數之前對數據塊進行證明,任何可以訪問他們數據項的人都可以削減節點持有的ETH。
雙仲裁模型。 EigenDA 還具有一個名為雙仲裁的功能,其中可以要求兩個獨立的仲裁對數據的可用性進行證明。例如,一個仲裁可以由ETH 再質押者(ETH 法定人數)組成,第二個仲裁可以由rollup 的原生代幣的質押者組成。
抗審查性。與耦合的DA 層相比,EigenDA 提供了更高的瞬時抗審查性。這是因為耦合的DA 架構通常依賴於單個領導者或區塊提議者來線性排序數據塊,從而創建一個瞬時的審查阻塞點。相比之下,在EigenDA 中,rollup 節點可以直接向大多數EigenDA 節點分散和接收簽名,從而將抗審查性提高到大多數EigenDA 節點,而不是受限於單個領導者。
安全分析
正如前面討論的,EigenDA 是基於通過EigenLayer 進行的ETH 質押,並使用可由rollup 設置的可配置編碼比率的糾刪碼構建的。對於像EigenDA 這樣的區塊鏈系統的安全性分析有三個不同的角度;我們描述每個角度以及它如何適用於上述EigenDA:
拜占庭容錯(BFT):假設一部分節點是誠實的並且完全遵循協議,而另一部分節點是惡意的並且可以任意偏離協議。
EigenDA 是安全的,即只要X% 的節點是誠實的,就可以檢索數據,其中X 可以是10% 到50%,具體取決於編碼率。
納什均衡模型:分析每個節點或小的串通節點遵循協議的經濟激勵,假設不同串通節點之間的節點行為是獨立的。
只要共謀規模小於(1-X),向用戶存儲和提供數據就是納什均衡:存儲數據通過存儲證明作為均衡得到保證,存儲數據的節點的ETH 將被削減;提供數據通過將數據分散到許多節點中得到保證,從而引發了一個競爭市場來提供數據。
純加密經濟模型:假設所有的股份都由同一個節點持有,並對經濟腐敗的成本進行建模。
只要數據可用,或者說,只要X%的節點是誠實的,那麼任何不託管數據的節點質押的ETH 都將被削減。然而,EigenDA 沒有無條件的加密經濟安全性;如果所有節點串通並隱瞞數據,那麼可能無法削減它們。在前面描述的雙仲裁模型中,同時質押ETH 和原生rollup 代幣的情況下,即使無法削減ETH,rollup 也可以削減原生代幣。
正如我們所看到的,EigenDA 建立在一個信任模型上,這個信任模型不僅需要來自ETH 質押的經濟信任,還需要運營商的去中心化和獨立性才能安全運行。幸運的是,EigenLayer 允許EigenDA 從以太坊中藉用這兩個信任機制。
可定制性
Rollup 開發人員可以根據需要實現具有靈活性的EigenDA 並調整參數。 EigenDA 的模塊化特性使得rollup 可以自定義安全/活性權衡、質押代幣模式、糾刪碼、接受的支付代幣等等。
正如前面的部分討論的,EigenDA 中一些最重要的靈活決策是經濟決策。例如,rollup 可以選擇使用雙仲裁質押,其中他們自己的代幣被質押以保證數據的可用性;或者rollup 可以選擇按需或預留的成本結構。
戰略考慮
最後,我們相信EigenDA 在技術屬性之外為rollup 提供了戰略價值。
以太坊的質押者和驗證者是驅動EigenLayer 的核心力量,因此也是驅動EigenDA 的力量。通過採用EigenDA,Rollup 可以與這些以太坊利益相關者保持一致,他們明確看重去中心化、抗審查、開放訪問軟件以及可組合的、無需許可的創新。
EigenDA 計劃成為EigenLayer 生態系統中首批推出的眾多AVS 之一。我們預見隨著AVS 數量的增長,它們之間將產生組合效益,這將使得AVS 的最終用戶受益,我們預計這些用戶將包括各種類型的Rollup。例如,在EigenDA 之後,我們預計會看到具有諸如排序、快速確認、監視網絡、橋接、公平排序甚至人工智能等用例的AVS 推出。