專精和可拆解:模塊化的概念起源
從編程語言到DeFi協議,「可組合性」是Web3.0里被青睞的名詞。但是可組合性并不只是敘事方法,當一種工作模式發展到一定程度勢必要變得專精和可拆解。那么區塊鏈在擴容這一令人頭痛的問題上在逐漸向模塊化推進也是必然。
我們知道區塊鏈的主要堆棧有數據可用層,共識層,結算層和交易執行層。那么單體區塊鏈就是使四層的工作都在一個網絡完成。網絡中的每一個節點都需要處理數據的驗證到交易的執行。
然而可想而知,隨著交易量上升,單體區塊鏈逐漸遇到瓶頸。目前用戶秉承著去中心化愿景包容著以太坊高額交易費用和遠比不過Visa的每秒轉賬速度。
究其核心,單體區塊鏈的瓶頸的核心源于數據的累積,因為區塊鏈的不可篡改性,數據可用是擴容不可以犧牲的前提。
但是為了推動大規模采用(massadoption),單體區塊鏈勢必要向模塊化演進。
在考慮到以太坊的發展進程上,Vitalik曾說過以太坊將會呈現以rollup為重心的生態狀態。Rollup是一種將執行層分離出去的擴容解決方法,在鏈下處理計算,但還是將每筆交易的一部分數據放在鏈上。Rollup的吞吐量呈線性增長,因為如果交易量越大,也就意味著越多的數據需要被廣播至主網。這樣一來,Rollup吞吐量的瓶頸還是落在了底層網絡的數據帶寬上。
為了跨過這個瓶頸,以太坊的最終擴容計劃-分片的初步實施就是要讓分片出來的鏈來執行數據可用。
顯而易見,單體區塊鏈的發展方向不僅要向模塊化推進,專注于做數據可用性的模塊化區塊鏈或者方案格外的值得關注。以太坊的目標是在不權衡去中心化和安全性的情況下擴展計算。由于整體區塊鏈架構的限制,數據可用性對于實現去中心化的可擴展性至關重要。
這篇文章將分析專注于數據可用性的模塊化區塊鏈和解決方案-工作機制以及在設計上的取舍。
PolychainCapital領投。據透露,5500萬美元是CelestiaA輪和B輪的融資總額,而最新一輪融資使得Celestia成為了估值達到10億美元的獨角獸。
Celestia是一個可插拔的共識和數據可用性層,它利用Tendermint作為共識協議,僅負責交易背后數據的排序和可用而不管交易的有效性。看似Celestia負責的工作減少了,數據可用其實是區塊鏈確保安全性的核心任務。
Celestia具有以下特點:
去中心化:既然Celestia上的共識層只專注于數據可用性,網絡中的輕節點可以利用數據可用采樣的方法確認可用性,而無需下載整個區塊。而這個輕客戶節點可以直接在手機上運行,極大地降低了運行節點的門檻。
擴容性:首先我們來回顧區塊鏈擴容的瓶頸-狀態膨脹:隨著交易量增加,需要執行交易的信息大幅增加,這意味著運行全節點的難度越來越大。Celestia把區塊有效性的問題簡化為數據可用的問題-這意味著Celestia網絡只需要輕節點可以保證數據可用性,當越來越多的節點加入數據可用性采樣時,區塊空間呈線性增長。
Polygon的模塊化區塊鏈項目Avail已開源OpEVM SDK新原型:7月28日消息,Polygon的模塊化區塊鏈項目Avail已開源Optimism EVM(OpEVM)軟件開發工具包(SDK)的新原型,開發者可以使用OpEVM構建主權的、EVM兼容的Optimistic Rollups。該技術為開發者提供了用于運行在L2上的去中心化基礎設施,支持去中心化定序器集、無需再L1上簡歷嵌入式跨鏈橋,并真正以樂觀的方式驗證狀態轉換。OpEVM建立在Avail數據可用性層之上,可以幫助創建獨立于智能合約運行的 Rollup。OpEVM是Avail與Equilibrium Group的合作項目,OpEVM原型有其局限性,尚未投入生產。[2023/7/28 16:03:45]
安全性:Celestia的安全性同樣取決于網絡中的輕節點,只要網絡中存在足夠的節點進行采樣則說明數據被隱藏的可能越小,由此安全性越高。上面提到,Celestia的輕節點運行門檻足夠低,這樣的去中心化程度賦能了更高的安全性。
此外,模塊化區塊鏈具有以下幾點優勢:
可插拔,靈活性:首先,用戶可以基于Celestia部署自己的執行層,從而依靠Celestia的數據可用作為安全保障。此外,Celestia對于“執行層無感知”的狀態開放了虛擬機的設計空間-它并不需要與EVM兼容,這賦予了VM的后起之秀充足的展示和競爭機會,比如LLVM,MoveVM,CosmWasm,FuelVM等。
費用便宜:在吞吐量增長的情況下,Celestia的驗證費用呈下面右圖次線性增長。這是因為數據可用采樣的工作原理只需要輕節點隨機下載區塊中的一小部分數據,所以即使隨著數據量增大到特別大,用來驗證的數據也不會呈線性增長,所以費用相對便宜且是有上限的。
來源:https://rainandcoffee.substack.com/p/the-modular-world
主權性(sovereignty)?:在以往的L1中,硬分叉通常被避免因為這涉及到很大的風險。硬分叉相當于網絡的共識層發生了分歧,底層的安全性被稀釋,網絡需要召集更多的節點加入來維持原先的安全性。但是由于Celestia提供了通識的數據可用層,基于Celestia所搭建的Rollup可以自主的決定節點的升級,代幣的供應量,或者定義自己的有效性準則。這樣的主權行賦予Rollups極大的自由和實驗空間。
解決擴容問題:數據可用的原理和重要性
去信任化是區塊鏈思想的前提,通過驗證而不是信任來傳遞數據。如果我們不能用現有的數據重現某些東西,從區塊鏈的角度來看,那么它就不存在。用部分數據還原全部數據,這一過程被稱為數據可用性證明。單體區塊鏈實現數據可用性的方式,是將全部數據下載到全節點(full-node),這種方式擴展性較差,對節點的要求也很高。模塊化擴容解決方案,則是將數據可用性跟共識和執行層分開。這也被認為是最理想化的方案,因為這不要求對節點升級。
模塊化DEX基礎設施Native獲Cypher Capital戰略投資:7月20日消息,模塊化DEX基礎設施Native已與Web3風險投資基金Cypher Capital達成合作伙伴關系并簽署融資協議,具體金額暫未披露,雙方將重點拓展中東和北非市場,并幫助企業和開發者利用Native的金融設施基礎層將應用程序快速構建為DEX。[2023/7/20 11:06:00]
數據可用性分為鏈上和鏈下兩種方式:
鏈上:強制區塊生產者在鏈上發布所有交易數據并讓驗證節點下載它。這通常為單體區塊鏈所用,支持全節點和輕客戶端兩種方式。另外,Danksharding采用了全新的方式實現了鏈上DA。
鏈下:區塊生產者不會在鏈上發布交易數據,而是提供加密承諾來證明數據的可用性,以太坊的匯總(rollups)解決方案,以及模塊化(Modular)均采用這種方式。
具體實現方式:區塊提議者(BlockProposer)需要將每一個區塊的信息發布,節點(Validator)根據可用數據還原交易信息,并驗證blockproposer發布的信息與節點下載全部數據時還原的信息相同。由于區塊提議者只發布部分數據,不排除其隱藏或篡改數據,而對交易發起攻擊。這種攻擊被稱為?“datawithholdingattacks”。
目前,有以下4種方式來避免“datawithholdingattacks”:
DataAvailabilityCommittees:PureValidium通過區塊生產者將交易數據存儲在鏈下,這在一定程度上集中化。DAC離線記錄鏈下數據的副本,但需要在發生爭議時使其可用。DAC成員還發布鏈上證明,以證明上述數據確實可用。
Proof-of-stakedataavailabilitycommittees:任何人都可以成為驗證者并在鏈下存儲數據。但是,他們必須提供“保證金”,并將其存放在智能合約中。權益證明數據可用性委員會比常規DAC安全得多。它們不僅無需許可和無需信任,而且還具有精心設計的激勵機制來鼓勵誠實的行為。它一定程度解決了DAC的中心化風險的問題。
DataAvailabilitySampling(DAS):在DAS機制中,節點通過對小塊多輪隨機采樣,以驗證數據可用性。由于許多節點同時對塊的不同部分進行采樣,達到統計意義上對確定性以驗證其可用性。DAS不僅適用于輕客戶端數據可用性,也廣泛用于模塊化DA方案。
DataAvailabilityProofs:將DAS與糾刪碼結合,由于DAS并沒有驗證全部的數據,區塊提議者仍有可能實行“datawithholdingattack”。糾刪編碼是通過在數據本身上增加冗余數據,以此實現用更少的數據還原交易。由于要求區塊提議者發布的數據更少了,那么如果區塊提議者想實施攻擊,就需要保留至少50%的區塊數據,而未使用糾刪碼時只需保留1%便可實施攻擊。
zkSync Era已支持Paradigm創建的模塊化工具包Foundry:6月6日消息,據官方消息,開發人員現在可以使用 zkSync Era 的 Foundry alpha 版本來部署合約、橋接 L1 與 L2 間的資產、發送交易等。Foundry 由 Paradigm 等創建和維護,是一個用于以太坊開發的模塊化工具包,可增強 EVM 鏈上的安全智能合約開發。
zkSync Era 的 Foundry alpha 版本中的 zkCast 與合約交互并存入、提取或查詢區塊鏈數據,如賬戶余額或區塊信息;zkForge 使用特殊的編譯器編譯合約,并將它們部署到 zkSync Era Localnet、測試網和主網。[2023/6/6 21:19:50]
糾刪碼是一種允許通過添加冗余片段將數據集加倍的技術,可用于重建原始數據。從CD-ROM到衛星通信再到二維碼,它在信息技術中無處不在。MustafaAl-Bassam在?什么是數據可用?一文解釋,糾刪碼允許用戶獲取一個塊,例如1MB大,然后將其“放大”到2MB大,其中額外的1MB是稱為糾刪碼的特殊數據。如果塊中的任何字節丟失,用戶可以通過代碼輕松恢復這些字節。即使多達1MB的塊丟失,您也可以恢復整個塊。相同的技術可以讓計算機讀取CD-ROM中的所有數據,即使它已受損。
目前最常用的是Reed-Solomon編碼。實現方式是,從k個信息塊開始,構造相關的多項式,并在不同的x坐標處對其進行評估,以獲得編碼塊。使用RS糾刪碼,隨機采樣丟失大塊數據的可能性非常小。KZG多項式承諾(KZGPolynomialCommitment)允許基于對未編碼信息塊的承諾直接驗證Reed-Solomon編碼塊,因此不會為無效編碼留下空間。
Reed-Solomon編碼過程如下:
來源:https://www.paradigm.xyz/2022/08/das
下面我們將通過比較數據可用性,對模塊化解決方案進行分析。
解讀:模塊化項目/解決方案
Danksharding
Danksharding是以太坊模塊化解決方案。不同于簡單的Sharding,Danksharding使用DAS驗證數據可用性,解決了Sharding的單個分片上驗證者隱藏數據作惡的問題。Sharding將區塊和區塊提議者分散在不同的分片上,而Danksharding引入合并市場費用(MergeFeeMarket)的概念,唯一的區塊提議者將處理所有的交易數據。同時,將區塊建設者和區塊提議者分離(PBS),避免了提升節點要求的問題。
Proto-danksharding(EIP-4844)是實現完整分片路線圖的途徑。其提出了一種新的交易類型“Blob攜帶交易”(Blob-carryingTransaction)。Blob的特點是相同數據大小,比calldata要便宜很多,且數據容量大于calldata。
Cosmos生態模塊化結算層Dymension獲得670萬美元種子輪融資:金色財經報道,Cosmos生態模塊化結算層Dymension在種子輪融資中籌集了670萬美元。Big Brain Holdings和Stratos領投了本輪融資,Matchbox DAO、DraftKings的Shalom Meckenzie等參投。Dymension聯合創始人兼首席執行官Yishay Harel表示,該資金是通過SAFT代幣獲得的。[2023/2/9 11:57:34]
不同于使用簡單的KZG多項式承諾,Proto-danksharding采用的是哈希后的KZG多項式承諾,以實現EVM兼容和未來容量兼容。
不同于EIP-4488試圖大幅降低gas成本,Blob并不會降低gas費用,但會降低layer2協議的交易費用。目的不同,EIP-4488只是作為臨時解決方案,分片將是最終的擴容解決方案。
來源:Ethereum.org
Validium
簡單來說,Validium是以以太坊為中心的L2擴容方案,Validium類似zkRollup,唯一的區別是它會把數據可用性放在鏈下。由此,Validium極大程度的實現擴容-達到每秒9000筆交易的速度。
為了更好地理解Validium,不得不提采納Validium實現數據可用性方案的項目-StarkEX。StarkEX是由StarkWare開發的、STARK支持的可擴展性引擎,可被應用于加密貨幣交易所。StarkEx于2019年夏天上線,它采用zk-STARK有效性證明的獨立式定制化擴容解決方案。目前有dYdX、Sorare、Immutable和Deversifi?四款產品。
StarkEX的數據可用性有三種可選擇的模式:zk-Rollup,Validium和Volition。其中Validium是一種鏈下的數據可用性方案。在這個方案里,數據的安全性由數據可用委員會的八個節點來維護。
這個方案的好處是降低的交易費用和隱私性:首先用戶不再需要為數據上鏈而付費,因為大部分的gas費用都用在更新鏈上的狀態性上。此外,Validum把用戶的賬戶額度信息放在鏈下,由DAC來保管維護保證了隱私性。
但是用戶需要權衡的是雖然Validium使交易費用降低且擁有相對的隱私性,但是他們需要信任DAC成員。這也是Validium方案中最大的弱點。
首先,DAC的簽名鑰匙存儲在鏈上,這意味著這些鑰匙很容易被攻擊。比如攻擊者可以把Validium轉換成只有他們才知道的狀態,由此來凍結資產,要求贖金。僅僅由八個成員組成的DAC類似于一個名譽證明的網絡,安全性相對較弱。
此外,StarkEX的Validium也相對中心化,因為Validium的操作者,或稱數據可用性管理者,完全可以凍結用戶的資產。他們可以改變哈希后的狀態而不向用戶披露。然而缺少了這一信息,用戶則無法為其賬戶創建所有權證名。
Zilliqa將致力于模塊化網絡 計劃于2020年推出DEX:位于新加坡的區塊鏈項目Zilliqa(ZIL)將于2020年開始其模塊化網絡的工作,到今年年底,他們計劃在新的Zilliqa DEX交易所開放交易。Zilliqa總裁兼首席科學官Amrit Kumar表示:“2020年,我們的計劃是開始創建一個模塊化網絡和金融產品的開源平臺,以幫助改善支付和資產管理應用程序的互操作性。(Cryptonews)[2020/4/26]
相比之下,zkRollup的解決方案不會發生凍結用戶資金的問題。這是因為對于zkRollup來說重建狀態所需的信息必須調用以太坊的交易數據,否則zkRollup就會拒絕改變狀態。換句話來說,在zkRollup的安全性和狀態性均由以太坊主網所保證。只要用戶向以太坊上的zkRollup合約提交申請即可提取他們的資產。然而,向以太坊主網提交的信息驗證請求以及驗證的過程均伴隨著一小筆gas費用,而這筆費用隨著交易數量增加而線性增加。所以相比Validium的方案,zkRollup只能實現每秒2000筆的交易。
值得一提的是StarkEX還有第三種數據可用方案Volition,但是理解起來相對簡單。它是一種混合的數據可用性制度,即讓用戶來選擇把數據可用放在鏈下或鏈上,權衡利弊。
zkPorter
之前已經提到,zkRollup的擴容方案是讓交易在鏈下處理,然后再把結果同步給以太坊上的全節點-具有鏈上數據可用性。
具體來說,如果一個zkRollup賬戶的用戶想證明她/他在此賬戶擁有資產,用戶則可以自己提供一個MerklePath并把?狀態的改變?或者?最終狀態?廣播至以太坊網絡的每一個全節點。這樣即使zkRollup的操作者作惡想要隱藏某個數據,用戶都可以直接從以太坊的網絡提取數據。雖然這個方案賦予了用戶對數據可用的自主掌握權,或是說“任何人可以自行重建Layer2的狀態,以確保抗審查”。但是這伴隨而來的是擴容上的瓶頸,因為以太坊網絡驗證狀態改變的這一動作是占用區塊空間的。
而zkPorter是zkRollup的進階擴容方案,這個方案與前者的區別是,zkPorteraccount的用戶將不會把狀態改變作為calldata更新至以太坊主網上,而是發送至由守護者組成的網絡。
注意這里,與StarkEX方案中的Validium不同的是,zkPorter的數據可用性是由守護者來維持和保護的。通過權益證明的方式,守護者質押zkSync的代幣并且跟蹤數據可用性的狀態。一旦漏掉任何一筆交易,守護者的質押都將被銷毀,相比Validium的DAC依靠信譽實現安全,zkPorter則從加密經濟上保證安全去掉了需要信任的假設。
zkPorterbyzkSync@ETHGlobal?
來源:https://www.youtube.com/watch?v=dukgSVE6fxc&ab_channel=MatterLabs
雖然zkRollup和zkPorter是兩種擴容方案,但這并不妨礙著兩側的合約和賬戶無縫交互。此外,從用戶體驗上來看,zkPorter賬戶的交易費用減少了?100?倍。zkPorter能夠實現便宜的交互費用是因為它不像rollup那樣向以太坊上的全節點發布數據,從而導致成本的增加。
來源:https://twitter.com/zksync/status/1381955843428605958
Eigenlayer
Eigenlayer是建立在以太坊POS基礎上的再質押協議(Re-staking)。通過將權益證明質押的ETH、包含ETH的LP代幣,或者包含stETH的LP代幣進行二次質押,來運行節點驗證服務。這些服務可以包括:中間件、預言機、側鏈、二層網絡等協議。它提供了一個統一的質押平臺,使得其他協議可以直接采用,而不用建立自己的驗證器和池子,從而可以將更多精力放在開發核心協議和用戶體驗上。Eigenlayer不僅為其他協議的節點驗證服務帶來了統一標準,也提高了ETH質押者的收益。
來源:https://messari.io/report/eigenlayer-to-stake-and-re-stake-again
Datalayr是建立在Eigenlayer之上的數據可用性協議中間件。Datalayr使用KZG多項式承諾和糾刪碼,結合欺詐證明和強制披露為節點提供誠信保證。它們在測試網擁有10MB/s的吞吐量,這是在不考慮歷史數據的情況下。隨著節點數量增多,可用的吞吐量就越多,驗證也越便宜。擁有1,000個節點將使以太坊能夠處理330TX/s。
Datalayr的缺點是,尚不知道能激勵多少ETH質押者提供數據可用性服務。因此,并不能斷言其擴展能力和安全性。
PolygonAvail
PolygonAvail是一個模塊化的數據可用性區塊鏈。旨在為其他的獨立鏈、側鏈或鏈下數據可用性擴展。采用KZG多項式承諾,數據可用性抽樣(DAS)和糾刪碼,使得輕客戶端也能作為數據可用性驗證,而不依賴欺詐證明。Polygon8月30日發布的測試數據顯示,目前,Avail的出塊時間為20秒,每個塊能夠保存大約2MB的數據。假設平均事務大小為250字節,現在每個PolygonAvail塊可以容納大約8,400個事務。
除了用于數據可用性的PolygonAvail,Polygon生態的擴容解決方案還包括:
PolygonPoS:?EVM兼容的以太坊側鏈,通過一系列無需許可的PoS節點確保安全;PolygonHermez,基于zk-rollup的以太坊layer2;
PolygonEdge:提供可定制的模塊化框架,支持私有或公有的以太坊兼容的區塊鏈;PolygonNightfall,是一個OptimisticRollup,旨在降低私下轉移ERC20、ERC721和ERC1155代幣的成本;
PolygonMiden:是基于zk-STARK的以太坊二層擴容解決方案,其核心是MidenVM:一個圖靈完備的基于STARK的虛擬機,它提供了一定程度的安全性并支持目前在以太坊上不可用的高級功能;
PolygonZero:使用Polygon自己開創的Plonky2零知識證明系統,Plonky2支持高效的遞歸證明生成,允許PolygonZero水平擴展,這意味著協議的吞吐量不受網絡上最弱節點的限制,而僅受可用的總計算量限制。
來源:https://polygon.technology/solutions/polygon-avail/
項目對比
參考資料:
https://medium.com/@Jon_Charbonneau/celestia-the-foundation-of-a-modular-blockchain-world-95900fe2cfb0
https://twitter.com/ptrwtts/status/1509869606906650626
https://mp.weixin.qq.com/s/mpHSH-L48jJebtFZQrg3kw
https://rainandcoffee.substack.com/p/the-modular-world
https://twitter.com/apolynya/status/1517137608253485059
https://twitter.com/zksync/status/1381955843428605958
https://www.tuoluo.cn/article/detail-10012090.html
https://coinmarketcap.com/alexandria/article/what-is-data-availability
https://www.chaincatcher.com/article/2077770
https://messari.io/report/rollups-execution-through-the-modular-lens
https://ethereum.org/en/developers/docs/data-availability/
https://www.paradigm.xyz/2022/08/das
https://messari.io/report/progression-of-the-data-availability-problem?referrer=author:eshita-nandini
投資意見。報告中出具的觀點和預測僅為出具日的分析和判斷,不具備永久有效性。DODO研究院授權,任何人不得擅自使用或許可他人使用上述知識產權的。已經授權使用作品的,應在授權范圍內使用,并注明作者來源。否則,將依法追究其法律責任。更多信息
OfficialWebsite:?https://dodoex.io/
GitHub:?https://github.com/DODOEX
Telegram:?t.me/dodoex_official
Discord:?https://discord.gg/tyKReUK
Twitter:?https://twitter.com/DodoResearch
Notion:?https://dodotopia.notion.site/Dr-DODO-is-Researching-6c18bbca8ea0465ab94a61ff5d2d7682
Mirror:https://mirror.xyz/0x70562F91075eea0f87728733b4bbe00F7e779788
尊敬的唯客用戶您好! 驚喜萬圣節交易狂享祭 活動時間:2022/10/1912:00至2022/11/0111:59-以太坊自合并以來供應量實現通縮超10枚ETH:金色財經報道.
1900/1/1 0:00:00在過去的幾天里,比特幣的價格波動一直非常低。然而,有幾個跡象表明橫盤趨勢即將發生巨大變化,交易者有機會在下一次出乎意料的舉動之前重新定位自己。目前的平靜標志著災難性熊市的結束.
1900/1/1 0:00:00麥當勞的McRib將重新出現在菜單上,但這是最后一次。燒烤味豬肉三明治將于10月31日限時回歸。這家快餐巨頭要求顧客“盡可能多買一個,因為這是McRibFarewellTour.
1900/1/1 0:00:00尊敬的用戶, AAX將推出第十四期幣幣回贈禮活動,新手首次體驗幣幣交易獎勵5USDT贈金;新老用戶交易即可贏取100%幣幣手續費返利,更有進階好禮相送.
1900/1/1 0:00:00DearHuobiGlobalUsers,CandyDropislaunchingKRIPTOonOct29.
1900/1/1 0:00:00鏈游公會MeritCircleDAO以99.7%得票率通過MIP-20提案,將銷毀社群激勵分配中的2億枚MC代幣,提案通過后,幣價也因此受到大漲,最高漲幅35%,近七天內漲幅25%.
1900/1/1 0:00:00