ROL:拆解數據可用性層：模塊化未來中被忽視的樂高積木_BenjiRolls

作者：Jiawei，IOSGVentures

本文為IOSG原創內容，僅做行業學習交流之用，不構成任何投資參考。如需引用，請注明來源，轉載請聯系IOSG團隊獲取授權及轉載須知。

對于輕客戶端的數據可用性，采用糾刪碼來解決該問題幾乎沒有異議，不同點在于如何確保糾刪碼被正確編碼。PolygonAvail和Danksharding中采用了KZG承諾，而Celestia中采用了欺詐證明。

對于Rollup的數據可用性，如果把DAC理解為聯盟鏈，那么PolygonAvail和Celestia所做的就是使數據可用性層更加去中心化——相當于提供「DA-Specific」的公鏈，以此提升信任級別。

未來的3至5年內，區塊鏈的架構必然由單體化向模塊化演變，各層呈現低耦合狀態。未來可能出現Rollup-as-a-Service、DataAvailability-as-a-Service等許多模塊化組件的提供商，實現區塊鏈體系結構的可組合性樂高。模塊化區塊鏈是支撐下一個周期的重要敘事之一。

模塊化區塊鏈中，執行層已經「四分天下」，后來者寥寥；共識層逐鹿中原，Aptos和Sui等嶄露頭角，公鏈競爭格局雖未塵埃落定，但其敘事已是新瓶裝舊酒，難以尋找合理的投資機會。而數據可用性層的價值仍然有待被發掘。

模塊化區塊鏈?ModularBlockchain

在聊數據可用性之前，我們先花點時間對模塊化區塊鏈進行簡要回顧。

圖片來源：IOSGVentures,據PeterWatts改制

關于模塊化區塊鏈的分層暫無嚴格定義，一些分層方式從以太坊出發，另一些則偏向通用化的視角，主要看在何語境下進行討論。

執行層：兩件事發生在執行層。對單筆交易而言，執行交易并發生狀態更改；對同批次的交易而言，計算該批次的狀態根。當前以太坊執行層的一部分工作分給了Rollup，即我們熟知的StarkNet、zkSync、Arbitrum和Optimism等。

結算層：可以理解為主鏈上的Rollup合約驗證狀態根的有效性或欺詐證明的過程。

共識層：無論采用PoW、PoS或其他共識算法，總之共識層是為了在分布式系統中對某件事達成一致，即對狀態轉換的有效性達成共識。在模塊化的語境下，結算層和共識層的含義有些相近，故也有一些研究者把結算層和共識層統一起來。

Galaxy Digital創始人：祈禱幣安與美國證券交易委員會和解:金色財經報道，加密貨幣投資公司Galaxy Digital創始人Mike Novogratz在社交媒體發文稱，八周前曾預測了時間幫助加密貨幣價格上漲的事情，分別是：1、美聯儲暫停加息；2、Ripple贏得訴訟；3、比特幣ETF；4、幣安/CZ與美國證券交易委員會和解。現在四個預測中有三個取得了巨大進展，雖然現在幣安還沒有進一步深入了解，但仍為幣安與美國證監會和解祈禱。[2023/7/16 10:57:21]

歷史狀態層：由Polynya提出。因為在引入Proto-Danksharding之后，以太坊只在一定時間窗口內維護即時數據可用性，之后則進行修剪操作，把這項工作交給其他人。例如PortalNetwork或是其他存儲這些數據的第三方可被歸類于這一層。

數據可用性層：數據可用性存在什么問題？對應的解決方案各自是什么？這是本文要集中討論的問題，在此先不對它進行概括。

圖片來源：IOSGVentures

回到18、19年，數據可用性更多在于輕客戶端節點的語境；而在之后的Rollup角度下數據可用性又有著另一層含義。本文將分別從「節點」和「Rollup」的兩個不同語境來解釋數據可用性。

DAinNodes

圖片來源：https://medium.com/metamask/metamask-labs-presents-mustekala-the-light-client-that-seeds->

我們首先來看全節點和輕客戶端的概念。

由于全節點親自下載和驗證每個區塊中的每筆交易，因此不需要誠實假設來確保狀態被正確執行，有著很好的安全性保證。但運行全節點需要存儲、計算能力和帶寬的資源要求，除了礦工以外，普通用戶或者應用沒有動力去運行全節點。況且，如果某個節點僅僅需要在鏈上驗證某些信息，運行全節點顯然也是非必要的。

這是輕客戶端在做的事情。輕客戶端是區別于全節點的一種說法，它們往往不與鏈進行直接交互，而依賴鄰近的全節點作為中介，從全節點請求所需要的信息，例如下載區塊頭、或是驗證賬戶余額。

dYdX：V4治理中dYdX Chain開源軟件將使用Cosmos SDK中的標準x/gov模塊:6月23日消息，去中心化衍生品協議dYdX介紹V4治理，dYdX Chain開源軟件將使用Cosmos SDK中的標準x/gov模塊，將包括治理模塊的某些必需參數，將使代幣持有者能夠通過治理投票過程調整任何x/gov參數。

治理能夠調整的參數列表包括添加新市場、調整實時市場的參數、移除任何市場、編輯交易所使用的第三方價格來源列表、費用表、交易獎勵機制等。[2023/6/23 21:55:51]

作為節點的輕客戶端可以很快地同步整條鏈，因為它只下載和驗證區塊頭；而在跨鏈橋模型中，輕客戶端又作為智能合約——目標鏈的輕客戶端只需要驗證源鏈的代幣是否被鎖定，而無需驗證源鏈的所有交易。

問題出在哪？

這樣存在一個隱含問題：既然輕客戶端只從全節點那里下載區塊頭，而不是自己下載和驗證每筆交易，那么惡意的全節點可以構造一個包含無效交易的區塊，并把它發送給輕客戶端來欺騙它們。

我們容易想到采用「欺詐證明」來解決這個問題：即只需要1個誠實的全節點監測區塊的有效性，并在發現無效區塊后構造一個欺詐證明、將其發送給輕客戶端來提醒它們。或者，在收到區塊后，輕客戶端主動詢問全網是否有欺詐證明，如果一段時間后沒有收到，那么可以默認該區塊是有效的。這樣一來，輕客戶端幾乎可以獲得與全節點等同的安全性。

然而，在以上論述中，我們實際上假設了區塊生產者總是會發布所有的區塊數據，這也是生成欺詐證明的基本前提。但是，惡意的區塊生產者可能在發布區塊的時候隱藏掉其中的一部分數據。這個時候，全節點可以下載這個區塊，驗證它是無效的；但輕客戶端的特點使它們無法這樣做。并且由于缺少數據，全節點也無法生成欺詐證明來警告輕客戶端。

另一種情況是，可能由于網絡原因，一部分數據在稍后才會上傳，我們甚至無法判斷這時的數據缺失是客觀條件所致還是區塊生產者有意為之——那么欺詐證明的獎懲機制也就無法生效。

這就是我們要討論的在節點中的數據可用性問題。

?

?圖片來源：https://github.com/ethereum/research/wiki/A-note-on->

Block或將于2024年初推出自研比特幣礦機:金色財經報道，Twitter 創始人 Jack Dorsey 旗下金融科技支付公司 Block 最近從英特爾購買大量比特幣挖礦芯片，加速其進入挖礦硬件市場的計劃。此次收購將幫助其將礦機推向市場，因為它專注于開發其尖端的 3nm 芯片。由于英特爾在 2022 年 2 月宣布停止生產比特幣挖礦專用集成電路（ASIC）的芯片，它已將生產的最后日期定在 2024 年 4 月。Block 計劃在本季度完成其用于比特幣挖礦的 5nm 芯片的設計，并以此為基礎制造機器。此次收購意味著該團隊可以專注于 3nm 設計。Block 硬件負責人 Thomas Templeton 表示，Block 第一方產品將于明年初推出。當被問及他們購買的芯片數量時，他說這足以彌補他們設計和生產自己的 3nm 芯片的時間。[2023/4/28 14:33:31]

上圖中給出了兩種情況：其一，惡意的區塊生產者發布了數據缺失的區塊，這時誠實的全節點發出警告，但隨后該生產者又補充發布了剩余的數據；其二，誠實的區塊生產者發布了完整的區塊，但這時惡意的全節點發出了假警告。在這兩種情況下，網絡中的其他人在T3之后看到的區塊數據都是完整的，但都有人在其中作惡。

這樣看來，采用欺詐證明來確保輕客戶端的數據可用性是存在漏洞的。

解決方案

2018年9月，MustafaAI-Bassam和Vitalik在合著的論文中提出采用多維糾刪碼來檢查數據可用性——輕客戶端只需要隨機下載一部分數據并驗證，就能確保所有數據塊是可用的，并在必要時重建所有數據。

采用糾刪碼來解決輕客戶端的數據可用性問題幾乎沒有異議，PolygonAvail、Celestia中都采用了Reed-Solomon糾刪碼。

不同點在于如何確保糾刪碼被正確編碼：PolygonAvail和Danksharding中采用了KZG承諾，而Celestia中采用了欺詐證明。兩者各有優缺，KZG承諾無法抗量子，而欺詐證明依賴一定的誠實假設和同步假設。

除KZG承諾外，還有采用STARK和FRI的方案可用于證明糾刪碼的正確性。

DAinRollup

Rollup中的數據可用性是：在zkRollup中，需要使任何人可以自行重建Layer2的狀態，以確保抗審查；在OptimisticRollup中，需要確保Layer2的所有數據都被發布，這是構建欺詐證明的前提。那么問題在哪？

數據：昨日加密市場總交易量440.59億美元，單日漲幅35.86%:1月6日消息，據CoinGecko數據顯示，1月5日加密市場總交易量為440.59億美元，相較于1月4日（324.3億美元）單日漲幅35.86%。[2023/1/6 15:39:23]

?

?圖片來源：https://forum.celestia.org/t/ethereum-rollup-call->

我們來看Layer2的費用結構，除了固定花費外，與每批次交易筆數相關的變量主要在于Layer2的Gas花費以及鏈上數據可用性的支出。前者的影響微乎其微；而后者需要為每個字節恒定支付16gas，整體占到Rollup成本的80%-95%之多。

數據可用性很貴，怎么辦？

一是降低在鏈上存放數據的成本：這是協議層做的事情。在之前的文章中，我們提到以太坊正在考慮引入Proto-Danksharding和Danksharding來為Rollup提供「大區塊」，即更大的數據可用性空間，并采用糾刪碼和KZG承諾解決隨之而來的節點負擔問題。但從Rollup的角度去想，被動等待以太坊來為自己做適配是不現實的。

二是把數據放到鏈下。下圖列出了當前的鏈下數據可用性方案，通用化方案包括Celestia和PolygonAvail；在Rollup中作為用戶可選的方案包括StarkEx、zkPorter和ArbitrumNova。

圖片來源：IOSGVentures

以下我們具體來看這些方案。

DAProvidedbyRollup

在最簡單的Validium方案中，由中心化的數據運營商來負責確保數據可用性，用戶需要信任運營商不會作惡。這樣的好處是成本低，但實際上幾乎沒有安全保證。

于是，StarkEx在2020年進一步提出了由數據可用性委員會維護的Validium方案。DAC的成員是知名且在法律管轄區內的個人或組織，信任假設是他們不會串通和作惡。

Arbitrum今年提出了AnyTrust，同樣采用數據委員會來確保數據可用性，并基于AnyTrust構建了ArbitrumNova。

Abrdn斥資14.9億英鎊收購在線投資平臺Interactive Investor:5月31日消息，歐洲資產管理公司巨頭 Abrdn 宣布已經完成了對在線投資平臺 Interactive Investor 的收購，交易價值 14.9 億英鎊，Interactive Investor 將繼續作為獨立業務和獨立品牌運營。

與 Robinhood 和 eToro 等針對小型日間交易者的線上交易平臺不同，Interactive Investor 平臺上沒有直接交易加密貨幣的服務，目前僅允許用戶交易加密 ETN，如 XBT Provider Bitcoin Tracker One ETN 和 XBT Provider Bitcoin Tracker EUR ETN。[2022/6/1 3:53:54]

zkPorter則提出由Guardians來維護數據可用性，他們需要質押zkSyncToken，如果發生了數據可用性故障，那么質押的資金將被罰沒。

三者都提供了稱為Volition的選項：用戶按需自由選擇鏈上或鏈下數據可用性，根據具體的使用場景，在安全性和成本之間自行取舍。

圖片來源：https://blog.polygon.technology/from-rollup-to-validium-with-polygon-avail/

GeneralDAScenarios

提出上述方案基于這樣的想法：既然普通運營商的信譽度不夠高，那么就引入更權威的委員會來提高信譽度。

一個小型委員會的安全程度足夠高嗎？以太坊社區早在兩年前就提出了Validium的勒索攻擊問題：如果竊取了足夠的委員會成員的私鑰，使得鏈下數據可用性不可用，那么可以威脅用戶——只有他們支付足夠的贖金才能從Layer2提款。據RoninBridge和HarmonyHorizonBridge被盜的前車之鑒，我們無法忽略這樣的可能性。

既然鏈下的數據可用性委員會并非足夠安全，那么如果引入區塊鏈作為信任主體來保證鏈下數據可用性呢？

如果把前述的DAC理解為聯盟鏈，那么PolygonAvail和Celestia所做的就是使數據可用性層更加去中心化——相當于提供了「DA-Specific」的公鏈，擁有一系列的驗證節點、區塊生產者和共識機制，以此提升信任級別。

除了安全性的提升之外，如果數據可用性層本身就是一條鏈，那么它其實可以不局限于為某個Rollup、或者某個鏈提供數據可用性，而是作為通用化的解決方案。

圖片來源：https://blog.celestia.org/celestiums/

我們以Celestia在以太坊Rollup上的應用QuantumGravityBridge為例進行解釋。以太坊主鏈上的L2Contract像往常一樣驗證有效性證明或欺詐證明，區別在于數據可用性由Celestia提供。Celestia鏈上沒有智能合約、不對數據進行計算，只確保數據可用。

L2Operator把交易數據發布到Celestia主鏈，由Celestia的驗證人對DAAttestation的MerkleRoot進行簽名，并發送給以太坊主鏈上的DABridgeContract進行驗證并存儲。

這樣實際上用DAAttestation的MerkleRoot代替證明了所有的數據可用性，以太坊主鏈上的DABridgeContract只需要驗證并存儲這個MerkleRoot，開銷得到了極大的降低。

小結

圖片來源：IOSGVentures，據CelestiaBlog改制

在逐一討論上述方案后，我們從安全性/去中心化程度、Gas花費的角度來做一個橫向比較。注意，該坐標圖僅代表筆者的個人理解，作為模糊的大致劃分而非定量比較。

左下角的PureValidium安全性/去中心化程度和Gas花費都是最低的。

中間部分是StarkEx和ArbitrumNova的DAC方案、zkPorter的Guardians驗證者集方案，以及通用化的Celestia和PolygonAvail方案。筆者認為采用zkPorter采用Guardians作為驗證者集，對比DAC來說安全性/去中心化程度稍高；而DA-Specific區塊鏈的方案對比一組驗證者集又要稍高。與此同時Gas花費也相應增加。當然這只是極粗略的比較。

右上角的方框內是鏈上數據可用性的方案，有著最高的安全性/去中心化程度和Gas花費。從方框內部來看，由于這三種方案的數據可用性都由以太坊主鏈提供，故它們具有等同的安全性/去中心化程度。純Rollup方案對比單體化的以太坊來說顯然Gas花費更低，而在引入Proto-Danksharding和Danksharding之后，數據可用性的成本將進一步得到降低。

注：本文討論的「數據可用性」語境大多在以太坊之下，需要注意Celestia和PolygonAvail是通用化的方案，并不限于以太坊本身。

最后我們在表格中對上述方案做個總結。

圖片來源：IOSGVentures

ClosingThoughts

在討論完上述數據可用性問題之后，我們發現所有方案本質上是在三難困境的相互制約下做權衡取舍，而方案之間的區別在于權衡的「細粒度」不同。

從用戶角度考慮，協議提供同時鏈上和鏈下數據可用性的選項是合理的。因為在不同的應用場景之下、或者不同的用戶群體之間，用戶對安全性和成本的敏感程度亦各不相同。

上文更多討論了數據可用性層對以太坊和Rollup的支持。在跨鏈通信上，Polkadot的中繼鏈為其他平行鏈提供了數據可用性的原生安全保證；而CosmosIBC依賴于輕客戶端模型，故確保輕客戶端能夠驗證源鏈和目標鏈的數據可用性至關重要。

模塊化的好處在于可插拔和靈活性，能夠按需為協議做適配：例如卸下以太坊的數據可用性包袱，同時確保安全和信任級別；或是在多鏈生態下提升輕客戶端通信模型的安全級別，降低信任假設。不僅限于以太坊，數據可用性還可以在多鏈生態、甚至未來更多的應用場景下發揮作用。

我們認為：未來的3至5年內，區塊鏈的架構必然會由單體化向模塊化演變，各層呈現低耦合狀態。未來可能出現Rollup-as-a-Service、DataAvailability-as-a-Service等許多模塊化組件的提供商，實現區塊鏈體系結構的可組合性樂高。模塊化區塊鏈是支撐下一個周期的重要敘事之一。

其中，執行層的估值巨獸已經「四分天下」，后來者寥寥；共識層逐鹿中原，在Aptos和Sui等公鏈開始嶄露頭角后，公鏈競爭格局雖未塵埃落定，但其敘事已是新瓶裝舊酒，難以尋找合理的投資機會。

而數據可用性層的價值仍然有待被發掘。

References

https://twitter.com/ptrwtts/status/1509869606906650626

https://twitter.com/0xAlec/status/1545176941002575872

https://github.com/ethereum/research/wiki/A-note-on->https://vitalik.ca/general/2021/04/07/sharding.html

https://coinmarketcap.com/alexandria/article/what-is->https://dankradfeist.de/ethereum/2019/12/20/>https://vitalik.ca/general/2021/04/07/sharding.html

https://www.parity.io/blog/what-is-a-light-client/

https://ethereum.org/en/developers/docs/scaling/validium/

https://forum.celestia.org/t/ethereum-rollup-call->https://ethresear.ch/t/adamantium-power-users/9600

https://notes.ethereum.org/DD7GyItYQ02d0ax_X-UbWg?view

https://blog.polygon.technology/introducing-avail-by-polygon-a-robust-general-purpose-scalable->https://blog.polygon.technology/the->https://blog.celestia.org/ethereum-off-chain->https://blog.celestia.org/celestiums/

Tags：ESTROLROLLSTISAFESTAR幣RolodexBenjiRollsjustice幣怎么樣

Coinw