作者：E2M 研究員，Steven
前言
以太坊VS Celestia + Cosmos，大概取捨的就是以下這幾項： 正統性+安全性高+去中心化程度高VS 可擴展性高（成本低+性能好+迭代容易）+可交互性好為什麼後者能夠被許多使用者認可，早期主要是體量較小、發展時間較短的專案方和使用者的雙邊需求決定的：
使用者：在許多使用者的認知當中，因為許多泛用戶對於產品是否好用、價格是否實惠的需求大於安全性（無論是Web2或Web3）；
早期專案方：需要好的擴展性以隨時進行策略調整，更低的成本來使專案有更長久的生命力。因此很難直接說Celestia 等模組化區塊鍊是“以太坊殺手”，而是有很大一部分人群對於高性能、性價比高、可擴展性好的Web3公鏈有需求。以太坊的正統性、安全性、頭部效應等依舊是不可撼動的，但不妨礙使用者在某些特定場景會有其他的選擇。
1. 背景
馬上要坎昆升級了，EIP-4844 Proto Danksharding 後預期會進一步降低Layer 2 的Gas Fee。
以太坊在未來幾年將完成分片方案DankSharding（坎昆升級、EIP-4844 只是其中一個）。
然而，隨著23 年10 月31 日2 點Celestia 主網上線，以及今年第一季大概率能夠看到Avail（原Polygon Avail，目前已經分離成為一個單獨的項目），第三方的共識層+DA層完全了超車，提前實現了以太坊未來幾年才能實現的模塊化目標，在坎昆升級前先一步大幅度降低了Layer 2 的成本，成為很多Layer 2 DA 層的選擇，蠶食屬於以太坊DA層的蛋糕。
此外，模組化區塊鍊為未來公鏈的提供了更多樣化的服務，Altlayer、Caldera 等Raas 服務商成為了其中的受益者，希望藉此能夠有更多垂類公鏈（應用鏈）湧現出來，為Web 3.0 應用創造更好的土壤。
本文主要將區塊鏈拆解，初步學習模組化區塊鏈專案Celestia，同時對於以太坊坎昆升級中Blob 有更深刻的一個認知。
1.1 起源
模組化區塊鏈最早的概念是由Celestia 聯合創始人Mustafa Albasan 和Vitalik 於2018 年共同撰寫的《數據可用性採樣和欺詐證明》(Data Availability Sampling and Fraud Proofs)。這篇論文主要討論如何在不犧牲以太坊安全性和去中心化的情況下解決可擴展性問題。令人沒想到的是，不光為以太坊，同時也為其他第三方DA 層提供了技術方案。
大體邏輯就是全節點負責生產區塊，而輕節點負責驗證。
什麼是資料可用性取樣（Data Availability Sampling，DAS）？
PS：此技術是Celestia 技術的核心，無意中為第三方DA 層提供了解決方案。
內容翻譯並改編自：Paradigm-joachimneu 撰寫的《Data Availability Sampling: From Basics to Open Problems》
參考以下小黑屋模型：
暗室中有一個公告板（請參見下面的漫畫）。首先，區塊生產者進入房間並有機會在公告板上寫一些資訊。當區塊生產者退出時，它可以為驗證者提供一小段資訊（其大小不與原始資料線性縮放）。你帶著手電筒進入房間，手電筒的光束非常窄，而且電池電量很低，所以你只能閱讀佈告欄上極少數不同位置上的文字。你的目標是讓自己相信區塊生產者確實在公告牌上留下了足夠的信息，這樣如果你打開燈並閱讀完整的公告牌，你就能夠恢復該文件。
這個模型對於以太坊來說是天然適合且不需要進行太多優化的，因為以太坊的驗證者（驗證節點）足夠多。但是對於其他驗證節點相對較少的公鏈而言則需要以更高的費用和更複雜的驗證方法來進行安全性的保障。
那麼對於驗證節點較少的項目方而言，會面臨兩種情況要么生產者表現誠實並寫下完整的文件，要么生產者行為不當並遺漏了一小部分信息，導致整個文件不可用。通過僅檢查少數位置的公告板，無法可靠地區分這兩種情況。
其中一個解決方案是：Erasure Correcting Reed-Solomon codes（糾刪里德所羅門碼）
糾刪碼的工作原理如下： k 訊息區塊被編碼成一個更長的向量n 編碼區塊。比率r=k/n 代碼的冗餘度衡量代碼所引入的冗餘度。隨後，從編碼區塊的某些子集，我們可以解碼原始訊息區塊。
簡單來講，就像兩點確定一條直線，在最初的r、k、n 都確定的情況下，這條直線就確定了，而後想要復原這條直線，就只需要知道直線上的兩點。
里德-所羅門碼就是根據這種邏輯上進一步複雜化的，一旦知道多項式的評估不同的位置，可以在任何其他位置獲得其評估（通過首先恢復多項式，然後評估它）。
回到我們的數據可用性問題：不再要求區塊生產者在公告板上寫下原始文件，而是要求它將文件切入區塊，使用里德所羅門代碼對它們進行編碼，例如速率，並寫出將編碼區塊發佈到公告板上。現在讓我們假設區塊生產者至少誠實地遵循編碼——稍後我們將看到如何消除這個假設。再次考慮兩種情況：要么生產者行為誠實並寫下所有塊，要么生產者行為不當並希望保持文件不可用。回想一下，我們可以從任何在......之外編碼區塊。因此，為了保持檔案不可用，區塊生產者最多可以寫入大塊。換句話說，至少現在，超過一半的編碼區塊，將會遺失！
但現在這兩種情況，一個寫滿了的公告牌，和一個半空的公告牌，很容易區分：你檢查公告牌上的數字很小隨機採樣位置，如果每個採樣位置都有其各自的塊，則認為該檔案可用，如果任何取樣位置為空，則認為該檔案不可用。
什麼是詐騙證明（Fraud Proofs）？
排除無效編碼的方法之一。這種方法依賴於這樣一個事實：一些採樣節點足夠強大，可以採樣如此多的塊，以至於它們可以發現塊編碼中的不一致，並發出無效的編碼欺詐證明，以將有問題的文件標記為不可用。這方面的工作旨在最大限度地減少節點必須檢查（並作為欺詐證明的一部分轉發）以檢測欺詐的塊數量
該方案最終還是犧牲了很小一部分安全性，極端情況下資料會遺失。
有趣的是，該方案為第三方DA 層專案Celestia、Avail 的誕生奠定了基礎，以太坊為自己創造了競爭對手。
2019 年，Mustafa Albasan 寫了《LazyLegder》將區塊鏈的職責進行了簡化，只需要排序和確保數據可用性，由其他模塊來負責執行和驗證（當時並沒有分成不同的層），從而使得區塊鏈的可擴展性問題得以解決。這本白皮書應該算是模塊化區塊鏈的雛形。 Mustafa Albasan 也是Celestia 的共同創辦人之一。
Celestia 屬於第一個模組化區塊鏈的解決方案，早期是作為一個執行層公鏈的存在，讓智慧合約在其上方執行。 Rollup 的擴容解決方案進一步明確了執行層的概念，鏈下執行智慧合約，將執行結果批次壓縮成證明上傳到執行層。
關於Rollup 證明的小補充
詐騙證明(fraud proof) 是一個接受計算結果的系統，你可以要求有質押存款的人簽署以下形式的信息：「我證明，如果使用輸入X 進行計算C，則會得到輸出Y」。你會默認信任該信息，但其他有質押存款的人會有挑戰計算結果的機會，他們可以簽名一條消息，稱“我不同意，輸出結果應該為Z，而不是Y。”僅發起挑戰後，所有節點才會進行運算。這兩方中任何一方出錯都會失去保證金，並且所有基於錯誤計算的運算都會重新進行。
ZK-SNARKs 是一種密碼學證明形式，可以直接驗證「輸入X 後，執行計算C，會輸出Y」。在密碼學層面，此驗證機制是「可靠」的，因為如果輸入X 後，進行計算C，結果不等於Y，則無法透過計算產生有效性證明。即使運行計算C 本身花費大量時間，該證明也可以很快得到驗證。 ZK 意味著可以更有效率的完成證明和驗證，所以Vitalik 對於ZK-Rollup 也是十分推崇，但是和分片一樣，技術難度遠大於欺詐證明，也需要多年的時間實現，同時更具有效率或許會帶來額外的成本。
1.2 區塊鏈不可能三角問題的權衡
區塊塊鏈不可能三角：可擴展性、去中心化、安全性。
簡單定義一個衡量標準的話，
可擴展性：可擴展性（好） = TPS（高）+Gas fee（低）+驗證難度（低）
去中心化、安全性：去中心化程度（高）+安全性（好） = 節點數量（多）+單一節點硬件需求（低）
這兩者一般只能選擇滿足一個條件，一定程度上犧牲另外一個，這也是為什麼以太坊在可擴展性上的發展，是極其緩慢的；Vitalik 及以太坊基金會對於安全性和去中心化兩個特點有著最高優先權。
像是一些傳統的高效能Layer 1 ，例如：Solana（驗證者1, 777）、Aptos（驗證者127），在驗證者都不如以太坊節點數量（5, 000+）的情況下就開始追求可擴展性，代價就是對於節點的門檻要求高、運營成本貴；反觀以太坊在大幾十萬驗證者（目前900 k+），確保了絕對的去中心化和安全性的情況下，才開始追求可擴展性，足以看出以太坊基金會對這兩個特質的重視程度。
Solana 驗證者數量：
資料來源：https://solanabeach.io/validators
以太坊驗證者數量：
資料來源：https://www.validatorqueue.com/
此外，相對於高效能Layer 1 對於節點的嚴苛要求以及中心化的驗證者，以太坊未來的升級，還會進一步減少驗證者的驗證難度，從而使對於用戶成為驗證者的要求進一步降低。
1.3 數據可用性的重要性
通常，交易提交到鏈上，首先會進入Mempool，由礦工“挑選”，打包成區塊，將該區塊拼接到區塊鏈上。包含這筆交易的區塊，會向網絡內全體節點廣播。其他全節點將下載這個新區塊，執行複雜計算，驗證其中每一筆交易，確保交易真實有效。複雜計算與冗餘，是以太坊安全基礎，也帶來了問題。
1.3.1 數據可用性
節點通常有兩種：
全節點－下載並驗證所有區塊資訊及交易資料。
輕節點－非完全驗證節點，易部署，只驗證區塊頭（資料摘要）。首先，確保新區塊產生時，該區塊中的所有資料確實已發布，使得其他節點可校驗。若全節點未發佈區塊中所有資料，則其他節點無法檢測，該區塊是否隱藏惡意交易。
節點需要取得一定時間內的所有交易數據，並驗證，不存在已確認但未驗證的交易數據。這便是通常意義上的數據可用性。若某個全節點隱瞞一些交易數據，其他全節點在校驗後，會拒絕跟隨此區塊，但僅下載區塊頭資訊的輕節點則無法校驗，會繼續跟隨這條分叉區塊，影響安全。儘管通常區塊鏈會罰沒該全節點保證金，但這同樣會使質押給該節點的用戶受到損失。且當隱瞞資料的收益，超過罰沒成本，節點有動機隱瞞，屆時實際受損的，只會是質押用戶和該鏈其他使用者。
另一方面，若全節點部署逐漸中心化，節點間存在串通可能，會危及整條鏈的安全。
資料可用越來越受到關注，一方面因為以太坊PoS 合併，另一方面則是Rollup 發展。目前Rollup 會運行中心化定序器（Sequencer）。用戶在Rollup 上交易，定序器為交易排序、打包、壓縮，發佈到以太坊主網，由主網全節點透過詐騙證明（Optimistic）或有效性證明（ZK）驗證資料。只要定序器提交的區塊所有資料真實可用，以太坊主網才可據此追蹤、校驗、重建Rollup 狀態，確保資料真實且使用者財產安全。
1.3.2 狀態爆炸與中心化
狀態爆炸是指，以太坊全節點累積的歷史和狀態資料越來越多，運作全節點所需的儲存資源越來越大，運作門檻提高，致使網路節點中心化。
圖片來源：https://etherscan.io/chartsync/chainarchive
因此，需要某種方式，使全節點在同步以及驗證區塊資料時，無需下載所有資料，只需要下載區塊的部分冗餘片段。
至此，我們明白了數據可用性很重要。那麼，如何避免「公地悲劇」產生？即大家都清楚數據可用的重要性，但仍需要一些實際的利益驅動，讓大家使用單獨數據可用層。
就像每個人都知道保護環境很重要，但看到路邊的垃圾，「我」為什麼要把它撿起來？為什麼不是別人？ 「我」把垃圾撿起來，能得到什麼好處？
1.4 簡單拆分區塊鏈
當發生鏈上行為時（例如：Swap、Stake、Transactions...）都要經過以下4 個步驟
執行：開始交易
結算：驗證數據，處理問題
共識：全都節點同意
數據可用性：將資料同步到鏈上
以此為基礎，《LazyLedger》提出將區塊鏈模塊化，Celestia 則是將模組化區塊鏈標準化：
執行層，Execution Layer
職責：負責執行智慧合約和處理事務所需，將執行結果以證明的形式交給結算層；同時也是面向使用者的各種應用部署的地方
對應項目：各種Stack，Op stack、ZK Stack、Cosmos Stack、以太坊上的Layer 2
結算層，Settlement Layer
職責：負責提供全域共識和安全性，驗證L2執行結果的正確性，更新使用者狀態；例如：使用者帳戶的資產狀況變動；鏈本身狀態狀態的更新（Token 轉帳、新合約部署）
對應項目：Ethereum、BTC
PS：節點越多，安全性越高
共識層，Consensus Layer
職責：負責全節點的一致性，確保將新新增的區塊有效以及確定memepool 裡的交易順序
對應項目：Ethereum（信標鏈）、Dymension
資料可用性層，Data Availability Layer
職責：負責保證資料的可用性，使得執行層和結算層能夠分別運行；執行層的所有原始交易確保在這裡進行存儲，結算層通過DA 層驗證
對應項目：Celestia、Polygon Avail、EigenDA（Eigenlayer 做的DA）、Eth Blob+未來的Danksharding、Near、中心化DA
像Celestia 是專注於數據可用性和共識層的Layer 1 區塊鏈；Optimism 和Arbitrum 是專注於執行層的Layer 2 區塊鏈；Dymension 是專注於結算層。
2. 以太坊模組化進展
2.1 當下架構
一圖概括，不多贅述。
2.2 長期發展－分片成多個工作鏈
以太坊從巴黎升級（及Merge）開始，就在將自身逐步模組化。
共識層/結算層：信標鏈
執行層：（完全外包給）Rollup
DA 層：Calldata（現在）/Blob（坎昆升級後）/Danksharding（未來/終局）
Vitalik 當下對於未來以太坊擴容方案核心之一就是Rollup-Centric，潛在的終局可以參考以下這個圖：
分片成多個不同擅長的工作鏈，共識、安全性和結算層都繼承以太坊，每個鏈都有對應的Rollup 負責執行層。
目前研究下來，對於分片的技術難度這一部分公開資料較少，以太坊基金會認為需要未來幾年的時間才能完成完全的分片。
2.3 分片的過渡方案－EIP-4844 Proto-Danksharding/坎昆升級
Dencun 硬分叉已經確定將在2024 年3 月13 日，具體對於Gas fee 的降低和TPS 的提升大致就可以有了結論。
坎昆升級最重要的就是加入了新的交易模式Blob。
Blob 的一些特點：
一個交易2 個Blob， 258 kb
一個block 最大可以有16 個blob， 2 mb，但是以太坊有一個gas fee 基準線，大於1 mb 的時候，這會導致下一個區塊鏈費率上升；理想狀態是8 個blob，即1 mb
Blob 安全性等同於L1，因為也是全節點儲存與更新
30 天后會自動刪除
Blob 用KZG Hashmmitment 作為Hash，用於資料驗證，類似Merkle。理解為就是一個下載證明狀態的
緩存空間佔據網絡資源相對較少，透過以太坊基金會透過EIP-1559 （對不同類型的交易分開gas fee）為blob 設了一個相對較低的Gas fee Blob 可以理解為在以太坊每個區塊上插件幾個緩存包，交易資料都存到裡面供全節點驗證和挑戰，然後30 天后就會消失，最後傳一個KSG 證明它被驗證並達成共識了。
資料來源：https://etherscan.io/chart/blocksize
如何理解？
一個區塊現在是150 kb 左右，一個Blob 128 kb， 8 個blob 大概1 M 的空間，擴大了6、 7 倍，此外gas fee 通過EIP-1559 降低；單筆交易要上傳的交易資料變少，單一區塊承載交易數量變多，最終達成了TPS 上升和gas fee 降低。
KZG 證明（KZG Commitments）
KZG 證明和梅克爾樹（記錄以太坊的狀態）有點像，是記錄交易資料的狀態。
KZG 多項式承諾（KZG Polynomial Commitment）也被稱為卡特多項式承諾方案，是Kate，Zaverucha 和Goldberg 一起發表的。在一個多項式方案中，證明者計算一個多項式的承諾，並可以在多項式的任意一點進行打開，該承諾方案能證明多項式在特定位置的值與指定的值一致。
FRI 是Starkware 採用的多項式承諾方案，可以實現量子層級的安全，但證明的資料量卻是最大；IPA 是Bulletproof 和Halo 2 零知識演算法預設的多項式承諾方案，驗證時間相對較長，採用的專案有門羅幣，zcash 等，前兩者是不需要初始可信設定的。
在證明大小與驗證時間上，KZG 多項式承諾的優勢比較大，KZG 承諾也是目前應用最廣的一種多項式承諾方式。
2.4 小結
流程前後的變化Rollup 原本要將打包壓縮好的交易：最重要的就是原本佔空間比較大的交易數據，變成了一個空間佔比很小、驗證時間很快的KSG 證明。
2.5 其他觀點
以下引自：https://twitter.com/0x Ning 0x/status/1758473103930482783
坎昆升級後以太坊L2的Gas 費真的會降低10 倍以上嗎？
如今的市場有一個共識：在坎昆升級之後，以太坊L2的平均Gas 費將降低10 倍甚至更高。
在坎昆升級的核心協議EIP 4844 的部署之後，以太坊主網將新增3 個專門保存L2交易和狀態數據的Blob 空間，而這些Blob 擁有獨立的Gas Fee 市場。預計1 個Blob 空間儲存的狀態資料最大規模約等於1 個主網區塊，即~ 1.77 M。
目前以太坊主網每日Gas 消耗為107.9 b，其Rollup L2們的Gas 消耗佔比~ 10% 。
根據經濟學的供需曲線：
價格=需求總量/供給總量，
假設坎昆升級之後Rollup L2們Gas 需求總量不變，而以太坊可以出售給L2的區塊空間從現在1 個區塊的~ 10% 變成3 個完整的Blob 區塊，這相當於區塊空間的供應總量擴展了30 倍，那麼Gas 的價格將降低到原來的1/30 。
但這個結論並不可靠，因為其預設太多線性關係假設，並且抽象掉了太多應該納入計算和考慮的細節因素，特別是Rollup L2們之間對Blob 空間的競爭與博弈策略對Gas價格的影響。
Rollup L2們的Gas 費消耗，主要由資料可用性保存費用（狀態資料保存費）+資料可用性驗證費用兩部分組成。其中數據可用性保存費用，目前佔比高達~ 90% 。
坎昆升級之後，對Rollup L2們來說，新增的3 個Blob 區塊，相當於新增的3 個公地。依照科斯的公地理論，在以太坊Blob 空間完全自由競爭的市場環境下，大概率會出現目前處於領先地位的頭部Rollup L2們濫用Blob 空間的現象。這樣可以一方面確保他們的市場地位，另一個方面可以擠壓競爭對手的生存空間。
下圖是5 家Rollup L2 1 年的利潤統計情況，可以發現他們每月利潤規模呈現明顯季節性變化特徵，而沒有明顯的整體成長趨勢。
在這樣一個有天花板限制的內捲市場，Rollup L2們處於一直高度緊張的零和博弈狀態，對開發者、資金、用戶和Dapp 進行激烈競爭。坎昆升級之後，他們激烈競爭的對象，又多了3 塊新增的Blob 空間。
在「肉就這麼多，別人多吃一口，你就少吃一口」的市場狀況，Rollup L2們之間很難帕累托最優的理想局面。
那處於領先地位的頭部Rollup L2們，將如何濫用Blob 空間？
個人猜測，頭部Rollup L2們將修改序列器（Sequencer）的Batch 頻次，將現在幾分鐘1 次的Batch 縮短到~ 12 秒1 次，與以太坊主網出塊速度保持同步。這樣既可以提升自家L2上交易的快速確認性，還可以佔據更多的Blob 空間來壓制競爭對手。
在這種競爭策略下，Rollup L2們的Gas 費消耗結構中驗證費用和Batch 費用將會激增。這將限制新增的Blob 空間對L2 Gas 費用降低的正面影響。
結果如上圖所示，當Blob 空間增加對L2 Gas 費降低的正面影響，會邊際遞減。而且達到某個閾值之後，將幾乎失效。
基於上述分析，個人判斷坎昆升級後以太坊L2的Gas 費將下降，但下降幅度會不如市場預期。
以上。拋磚引玉，期待更多討論。
3. Celestia
Celestia 為其他Layer 1、Layer 2 提供可存取的資料可用層和共識，基於Cosmos Tendermint 共識及Cosmos SDK 構建。
Celestia 是Layer 1 協議，相容於EVM 鍊及Cosmos 應用鏈，未來將支援所有類型的Rollup，這些鏈可直接使用Celestia 作為資料可用層，區塊資料將透過Celestia 儲存、呼叫、校驗，再回到自有協議清算。
Celestia 也支援原生Rollup，可直接在其上建立Layer 2 ，但不支援智慧合約，所以無法直接建立dApp。
3.1 發展歷程
Mustafa Al-Bassam — 共同創辦人兼CEO，倫敦國王學院電腦科學學士學位，倫敦大學學院電腦科學博士學位。 Al-Bassam 16 時是著名黑客組織LulzSec 的創始人兼核心成員，並且長期從事黑客活動。 2018 年8 月，Al-Bassam 參與創辦了區塊鏈拓展研究團隊Chainspace， 2019 年團隊被Facebook 收購。
19 年5 月，發表了《LazyLedger》論文，並於同年9 月創辦了LazyLedger（後來改名為Celestia），擔任CEO 至今。
2021 年3 月3 日種子輪融資150 萬美元，資方包括Binance Labs 等。
2021 年6 月15 日更新為Celestia，並發布最小可行性產品，一個數據可用性採樣輕客戶端；2021 年12 月14 日開發線上線；2022 年5 月25 日，Mamaki 測試線上線
2022 年8 月3 日推出Sovereign rollup 方案Optimint
2022 年10 月19 日融資5, 500 萬美元，Bain Capital 和Polychain Capital 領投，Placeholder、Galaxy、Delphi Digital、Blockchain Capital、Spartan Group、Jump Crypto 等參投。
2022 年12 月15 日推出新開發測試網Arabica 和測試網Mocha。
2023 年2 月21 日推出模組化Rollup 框架Rolkit。
2023 年2 月28 日推出激勵測試網嘉年華Blockspace Race；7 月5 日推出新測試網Oolong。
2023 年9 月26 日發布治理代幣TIA。
3.2 Celestia 構成
Celestia 主要包含三個組件； Optimint、Celestia-app 和Celestia-node。
Celestia-node 元件的任務是為此區塊鏈達成共識和聯網。該組件可確定輕節點和完整節點如何產生新區塊、從區塊中取樣資料以及同步新區塊和區塊頭。
使用Optimint，Cosmos Zone 作為Rollup 直接部署在Celestia 上。 Rollup 將交易收集到區塊中，然後將它們發佈到Celestia 以獲得數據可用性和共識，鏈的狀態機位於Celestia 應用程序中，它是處理交易處理和質押的應用程序。
在Optimint 上，將在同步區塊、資料可用性層整合、通用工具和索引事務方面進行改進。在Celestia 應用程式中，團隊將致力於交易費用的實施，並評估ABCI++ 的升級。最後，團隊希望使其網路服務在Celestia 節點上更加健壯，並完善輕節點和不良編碼詐騙證明。
如何與Rollup 互動？
Celestia 把Rollup 分成了自己原生的，和以太坊原生的。前者非常簡單，Rollup 可以直接和Celestia 打交道，先上傳數據，然後讓Celestia 查看數據可用性，最後Rollup 在看到新狀態之後再去自己做驗證，整個過程裡Celestia 可以說十分清閒，它甚至連Rollup 上傳的數據代表了什麼都不知道（因為只有切片樣本），而Rollup 找它來做數據可用性，也只是因為它更便宜，性能更好。
互動案例：
有一個堆疊，其中執行層不會直接將區塊資料發佈到結算層，而是直接發佈到Celestia。在這種情況下，執行層只需將其區塊頭發佈到結算層，然後結算層將檢查某個區塊的所有資料是否包含在DA 層中。這是透過結算層上的合約完成的，該合約從Celestia 接收交易資料的Merkle 樹。這就是我們所說的數據證明。
而在以太坊當中，情況就複雜了一些，首先以太坊目前還沒有分片和DAS，但Rollup 們即便承受不住鏈上處理成本，也可以轉戰鏈下，讓業內名氣最大的第三方審計機構做數據可用性，這成本甚至可以低到忽略不計。事實上，ZK 2.0 已經在這麼做了，StarkEx 和Plasma 這類更不用提。當然在Celestia 看來，鏈下驗證畢竟是中心化的，不能排除作惡的可能。但即便是這些機構作惡，這些鏈下驗證者能做的也只是把交易凍結住一段時間。
ZK 2.0 的計劃是提供用戶更多選擇，如果用戶能忍受高成本，就是還是把數據可用性放到以太坊上做，如果用戶能接受交易在最壞情況下被凍結的假設，那麼ZK 2.0 可以給一個超低gas 出來。
整體架構
Celestia 將作為模組化堆疊中運行的所有各種類型的rollup 之間的共享共識和資料可用性層。結算層的存在是為了促進其上各個rollup 之間的橋接和流動性。也可能看到主權匯總獨立運作，沒有結算層。
3.3 如何實現輕節點驗證的同時確保安全性
其DA 層的兩個關鍵功能是資料可用性取樣(data availability sampling ，DAS) 和命名空間默克爾樹(Namespaced Merkle trees，NMT)。
DAS 使輕節點無需下載整個區塊的情況下能夠驗證資料可用性。輕節點因僅下載區塊頭無法驗證資料可用性，Celestia 使用二維RS 糾刪碼編碼方案（2-dimensional Reed-Solomon encoding scheme）對區塊資料進行重新編碼以實現輕節點的DAS。資料可用性取樣（DAS）的工作原理是讓輕節點對小部分塊資料進行多輪隨機取樣。隨著輕節點完成更多輪的區塊資料取樣增加資料可用的信心。一旦輕節點成功達到預定的置信水準（例如99 ％）就認為資料可用。
NMT 使Celestia 上的執行層和結算層僅下載與其相關的交易。 Celestia 將區塊當中的資料劃分為多個命名空間，每個命名空間都對應於構建在Celestia 上的rollup 等應用，每個應用程式僅需下載和自己相關的資料從而提高網路效率。
Celestia 可以輕節點驗證，我們都知道節點越多，網路越安全；輕節點還有優點就是節點越多，網路速度越快，成本越低等好處。
Celestia 透過主要透過資料可用性和糾刪碼來識別隱藏交易資料的區塊，同時也是Celestia 能夠降低成本的關鍵。
3.3.1 資料可用性取樣（Data Availability Sampling，DAS）和糾刪碼（Erasure Coding）
此技術方案解決資料可用性的驗證問題，使得Celestia 可以輕節點驗證。
同時使得Celestia 的成本是亞線性的。
一般來講，區塊鍊網絡中的輕節點只會下載包含區塊資料（即交易清單）承諾（即梅克爾根）的區塊頭，這使得輕節點無法知曉區塊資料的實際內容，從而無法驗證數據可用性。
但在應用**二維RS 糾刪碼編碼方案（2-dimensional Reed-Solomon encoding scheme）**之後，利用輕節點進行資料可用性抽樣成為了可能：
首先每個區塊的資料會被分成kk 的區塊，排列在kk 的矩陣當中，然後透過多次應用RS 糾刪碼就可以將這樣一個包含區塊資料的kk 的矩陣擴展成為一個2 k 2 k 的矩陣。
然後Celestia 將為這個2 k* 2 k 的矩陣的行和列計算出4 k 個單獨的默克爾根作為區塊頭當中的區塊資料承諾。
最後在驗證資料可用性的過程當中，Celestia 的輕節點將對2 k* 2 k 的資料區塊進行取樣，每個輕節點會在這個矩陣當中隨機選擇一組唯一坐標，並在全節點中查詢該數據區塊內容以及坐標處對應的梅克爾證明，若節點收到了每個採樣查詢的有效回應，則證明了該區塊大概率具有資料可用性。
此外，每個收到正確默克爾根證明的資料區塊都會被傳播到網絡當中，因此只要輕節點能夠一起取樣足夠的資料區塊（即至少k*k 個獨特的資料區塊），完整的區塊資料就可以由誠實的全節點來進行復原。
二維RS 糾刪碼編碼方案
資料可用性抽樣的實現，保證了Celestia 作為資料可用性層的可擴展性。因為每個輕節點將只需採樣區塊資料的一部分，這降低了輕節點和整個網路運行的成本。同時參與採樣的輕節點越多，他們可以共同下載和儲存的資料就越多，而這意味著整個網路的TPS 也將隨著輕節點數量的增加而提高。
通過輕節點實現可擴展性
更多輕節點參與資料可用性採樣，網路可以處理的資料就越多。這種可擴展性特徵對於在網絡成長時保持效率至關重要。
可擴展性的決定性因素有兩個：集中採樣的資料量（可以採樣的資料量）和輕節點目標塊頭大小（輕節點的塊頭大小直接影響整體網絡的效能和可擴展性）。
針對以上兩個因素，Celestia 利用集體採樣的原理，即透過許多節點參與資料的部分取樣，可以支援更大的資料區塊（即更高的每秒交易處理量，tps）。這種方法可以在不犧牲安全性的情況下擴展網路容量。此外，在Celestia 系統中，輕節點的塊頭大小與塊的大小的平方根成正比增長。這意味著，如果要保持與全節點幾乎相同的安全性，輕節點將面臨與區塊大小的平方根比例的帶寬成本。
Rollup 驗證區塊的成本成長為線性，成本會隨以太坊互動需求狀況，上升會下降。
而Celestia 的成本則是亞線性，成本最終會趨近於一個值，遠低於以太坊現有成本的值。在EIP-4844 升級部署後，Rollup 資料儲存會從Calldata 變成Blob，費用降低，但仍比Celestia 貴。
此外，糾刪碼的特性，使得萬一Celestia 全節點發生大規模故障，輕節點們手中的若干枝幹數據，可恢復交易數據，確保數據仍可存取。
3.3.2 命名空間默克爾樹（Name-Spaced Merkle Tree）
此技術方案可降低執行層和結算層的成本。
簡單理解Celestia 通過命名空間默克爾樹排序，可以使得使得Celestia 上的任何rollup 都只能下載與其鏈相關的數據，而忽略其他rollup 的數據。
命名空間默克爾樹(NMT) 使匯總節點能夠檢索它們查詢的所有匯總數據，而無需解析整個Celestia 或匯總鏈。此外，它們還允許驗證節點證明所有資料已正確包含在Celestia 中。
Celestia 將區塊當中的資料劃分為了多個命名空間，每個命名空間都對應著正在使用Celestia 作為資料可用性層的執行層和結算層，以便每個執行層和結算層只需下載和自己相關的數據就能夠實現網絡的功能。圖像點說，就是Celestia 為每個使用它作為底層的用戶都建造了一個單獨文件夾，然後使用默克爾樹來為這些用戶做文件夾索引來幫助這些用戶找到並使用自己的文件。
而這種能夠返回給定命名空間所有資料的梅克爾樹就被稱作命名空間默克爾樹。這株默克爾樹的葉子將按照命名空間標識符來進行排序，並且修改了哈希函數，以便樹上的每個節點都包含其所有後代的命名空間範圍。
命名空間默克爾樹範例
當中的命名空間默克爾樹範例來看，包含八個資料區塊的梅克爾樹被劃分為了3 個命名空間。
當命名空間2 的資料被請求時，資料可用性層，也就是Celestia 將會把D 3 ，D 4 ，D5和D 6 資料塊提交給他，並且讓節點N 2 ，N 7 和N 8 來提交相應的證明，從而來保證所請求資料的資料可用性。此外應用程式也可以來驗證是否收到了命名空間2 的所有數據，因為資料區塊必須和節點的證明相對應，其可以透過檢查對應節點的命名空間範圍來識別資料的完整性。當中的命名空間默克爾樹範例來看，包含八個資料區塊的梅克爾樹被劃分為了3 個命名空間。
當命名空間2 的資料被請求時，資料可用性層，也就是Celestia 將會把D 3 ，D 4 ，D5和D 6 資料塊提交給他，並且讓節點N 2 ，N 7 和N 8 來提交相應的證明，從而來保證所請求資料的資料可用性。此外應用程式也可以來驗證是否收到了命名空間2 的所有數據，因為資料區塊必須和節點的證明相對應，其可以透過檢查對應節點的命名空間範圍來識別資料的完整性。
3.3.3 Sovereign Rollup
以Celestia 為基礎的Rollup 基本上都算是Sovereign Rollup。
定義：只把材料上傳到L1（L1當資料庫）的Rollup 叫做Sovereign Rollup。換句話說，傳統Rollup 是只負責執行，結算、共識、資料可用性都交給L1，Sovereign Rollup 是組分執行、結算，將共識、資料可用性將給L1。
優勢－升級自由
由於和Layer 1 沒有互通訊息或資產，所以Rollup 不會受L1的影響（例如L1的升級或被攻擊），同時自身的拓展和升級也不再用顧慮L1（例如，硬分叉）
劣勢—安全成本
有更高的安全風險，例如DA 層偷懶
此外，Sovereign Rollup 的成本更低，採納輕節點驗證（上一部分剛講）
以下部分具體參考：An introduction to sovereign rollups，一文了解Rollup 的分類
智慧合約rollup
像是Arbitrum、Optimism、StarkNet 等Layer 2 我們稱為智慧合約rollup，他們將所有的區塊資料都發佈到結算層（像以太坊），把L2的狀態（L2各地址的餘額）寫到L1上。結算層的任務就是給區塊排序、檢查資料可用性、驗證交易正確性。
例如以太坊：模組化堆疊、智慧合約rollup 的職責是執行，然後將其他的工作卸給以太坊（包括共識、資料可用性、結算）。
這樣做的目的是L2 和L1 就能互通訊息、互通資產：L1/L2 的dApp 能同步訊息並合作、L1 的ETH 能安全地在L1/L2 之間流轉、L2 的ARB/OP 也能安全地在L1/L2 之間流轉。
智慧合約rollup 依賴在結算層的合約從而驗。結算層上的智慧合約成為了驗證smart contrct rollup 上新交易正確性的依據。
因此智慧合約rollup 與結算層有最小程度的信任。
Sovereign rollup
Sovereign Rollup 便是拿掉Settlement Layer（或是說將自己變成Settlement Layer），單純將L1 作為Data Availability Layer 使用。
Sovereign rollup 將交易發布另一條公鏈上，這條鏈負責DA 和排序，然後自己掌握結算層。
所以sovereign rollup 取決於鏈本身的正確性，而不是DA 層，因此需要有更強的信任。
對比
驗證方式不同：智慧合約rollup 的交易是透過結算層的智慧合約來驗證；Sovereign rollup 的交易是透過自身的節點進行驗證。
具有升級的主權：智慧合約rollup 的升級取決於結算層的智慧合約，升級Rollup 需要更改智慧合約（Arbitrium 的升級需要依賴以太坊智慧合約的迭代），團隊用多簽控制升級是很常見，因此束縛很多。
L1本身能力有限：可能L1 本身不支援複雜的運算來做到紀錄Rollup 狀態並利用這個狀態進行訊息資產的互通等功能，例如像是在Celestia 上只能單純放資料上去，或像是在Bitcoin 上只能進行能力有限的運算，這樣的L1 也就沒辦法成為Settlement Layer；或許該Rollup 本身就不需要另外一條鏈來作為Settlement Layer，它有自己的原生代幣、生態，不需和L1 互通資產。
拓展-Sovereign Rollup 運作方式，為什麼硬分叉等升級更便利
Sovereign Rollup 單純將L1 作為Data Availability Layer，把資料上傳到L1，仰賴L1 確保資料可得且資料排序不會改變。
圖片來源：https://www.maven11.com/publication/the-modular-world
Sovereign Rollup 的節點則是靠著讀取L1 上的資料並進行解讀，來算出該Sovereign Rollup 目前的最新狀態（智慧合約Rollup 可以直接取得狀態）。 「解讀、算出」代表的其實就是Sovereign Rollup 的共識規則。 （State Transition Function：怎麼從L1 資料中篩選出符合該Sovereign Rollup 格式、規則的區塊和交易、篩選後怎麼驗證這些區塊和交易、驗證後怎麼執行這些交易來算出最新的狀態。）
Sovereign Rollup 節點從L1 資料中篩選出自己的區塊，並解讀、算出最新狀態
如果兩個Sovereign Rollup 的節點是不同版本，就可能會解讀出不同數據、或是算出不同的最新狀態，也因此這兩個節點就不會在同一條鏈上，它們各自所看到的其實就是兩條分岔的鏈的其中一條。 （例如：以太坊硬分叉前後成為了ETC 和ETH）
不同版本的節點可能會得到不同的狀態，也就分岔到不同的鏈上
這其實跟你跑不同版本的Ethereum 節點一樣，兩個版本有可能不會是同一條鏈。例如硬分叉後，忘記更新節點版本、不願意更新節點版本的人就會自然地留在原本的鏈上（例如ETC、ETHPoW），而更新節點版本的人就會在新的鏈上（ETH ）。
因此，Sovereign Rollup 中大家可以各自依照自己群體的（社會）共識，去選擇節點版本、去解讀資料。如果今天該Sovereign Rollup 社群出現像是ETHPoW vs ETH 的分歧，那就是大家各走各的，選擇不同的節點版本去解讀資料，但資料還是原本那一份，沒有改變過。
當然分叉後，各自版本的節點會上傳符合自己規則的資料到L1，然後兩邊都會直接過濾掉對方上傳的資料。
在中間的時間點下面的節點分岔到了v1.1.2 版，之後彼此的區塊就完全區分開來。
3.3.4 節點要求
受益於Celestia 的網絡架構，Celestia 的輕節點運營硬件要求較低，最低僅需配置一個2 GB RAM 的內存，單核心的CPU，超過25 GB 的SSD 硬盤以及上傳下載56 Kbps 的帶寬。除了輕節點以外，Celestia 的橋節點，全節點，驗證節點以及共識節點的要求相較於其他公鏈來講也不算高。因此未來Celestia 主網上線後，預計網絡的各類型節點數量將進一步上升，網絡的去中心化程度也將進一步的提升。
3.4 經濟模型
從代幣經濟學來看，Celestia 的代幣分配投資者和團隊將分得超過一半的代幣，而這些代幣當中的33% 將在一年後得以解鎖。
Celestia 的代幣需求基本上符合一個正常的公鏈代幣的設計思路，TIA 將承擔共識，費用和治理的功能，同時以通膨的形式增發。
目前看起來這種代幣的設計較為中性，而代幣本身無法為網絡提供更多的賦能。
3.5 商業模式
Celestia 主要透過兩種方式獲得收入：
支付blob space 費用：Rollup 使用$TIA 付費，將資料發佈到Celestia 的blob space。
支付gas 費用：開發人員使用TIA 作為Rollup 的gas 代幣，類似於基於以太坊Rollup 的ETH。
3.6 數據成本對比
Numia Data 最近發布了一篇名為《The impact of Celestia’s modular DA layer on Ethereum L2s: a first look》的報告，其中比較了過去六個月內，不同Layer 2 (L2) 解決方案在以太坊上發布CallData 所產生的成本，以及假如它們使用Celestia 作為數據可用性（DA）層可能產生的成本（在此計算中，將TIA 價格假設為12 美元）。這份報告透過比較這兩種情況下的成本差異，明顯展示了像Celestia 這樣的專用DA 層對於降低L2 Gas 費用的巨大經濟效益。
Rollup 成本拆解：
固定成本
證明成本（在zk rollups 的情況下）= Gas 範圍，通常基於rollup 供應商
狀態寫入成本= 20, 000 Gas
以太坊基礎交易成本= 21, 000 Gas
變動成本
將calldata 發佈到以太坊的每筆交易的Gas 費用=（每字節資料16 Gas）*（平均交易大小（以字節為單位））
L2 Gas 費=通常相當便宜，在Gas 單位的一小部分範圍內。
資料來源：https://medium.com/@numia.data/the-impact-of-celestias-modular-da-layer-on-ethereum-l2s-a-first-look-8321 bd 41 ff 25
4. 其他
4.1 Celestia 生態
4.2 不同項目構成
Celestia = Tendermint (cosmos) + 2d 糾刪碼+ 詐騙證明+ Namespace merkle tree + IPFS 基礎設施（資料儲存的IPFS Blockstore，傳輸網路使用的IPFS 的Lib p2p 與bitswap，資料模型使用的IPFS 的Ipld）
Polygon Avail = Substrate(Polkadot) + 2d 糾刪碼+ KZG 多項式承諾+ IPFS 基礎設施
ETHprotoDankSharding = Blobs 數據（數據可用性的存儲，取代現有的calldata）+ 2d 糾刪碼+ KZG 多項式承諾（未定，方案目前仍在討論）+ ETH 基礎設施
5. 思考
整體看下來Celestia 非常注重可擴展性、可互動性和靈活性。以太坊像一家龐大的上市公司，無法做到像Celestia 這種新創企業的隨心所欲，只能如履薄冰，緩慢的迭代；而模組化區塊鏈給了許多垂類項目後來者居上的機會。
但和許多公鏈一樣，目前加密世界的創新屬於停滯的一種狀態，絕大多數專案方都依賴經濟模型，或許對於產品底層的性能如何需求不夠，導致大家對於Celestia 沒有足夠需要，自身經濟模型無法正向循環也是潛在的風險，最終成為鬼鏈。
附錄
https://celestia.org/learn/sovereign-rollups/an-introduction/
關於E2M Research
From the Earth to the Moon
E2M Research 聚焦投資與數字貨幣領域的研究與學習。
文章合輯 :https://mirror.xyz/0x80894DE3D9110De7fd55885C83DeB3622503D13B
關注推特 :https://twitter.com/E2mResearch️
音訊播客：https://e2m-research.castos.com/
小宇宙連結：https://www.xiaoyuzhoufm.com/podcast/6499969a932f350aae20ec6d
