Foresight Ventures:「合久必分」模塊化區塊鏈與數據可用性層

作者:msfew，ForesightVentures

Rollup的瓶頸

如果你讀了上一篇我所寫的Rollup的文章,那么很可能會發現在Optimistic和zkRollup的終局對比部分,有意無意地被留了一個坑。

當時得出的結論是:因為沒有ProvingOverhead,OptimisticRollup在長遠視角下會遠勝于zkRollup。但是其實在不同時間段的發展上,Optimistic和zkRollup的性能實際上會交替領先:

不同階段不同類型的SecuredRollup有不同的瓶頸,而現在對它們來說,?最主要的問題還是以太坊目前所提供的數據可用性方案限制了它們頂峰的理論性能。

為了解決現階段Rollup的這個性能問題,我們有兩種方法:

提升以太坊的主網,等它升級成功,缺點是無法掌握主動權,這或許需要很久時間。

切換Rollup的類型(如換成Validium),直接使用性能更優秀的數據可用性方案,缺點是部分犧牲了安全性。

區塊鏈的模塊化

我們現在所指的那些SecuredRollup(Arbitrum等),其實就是模塊化區塊鏈的一種實現,未來會有更多不同的模塊化區塊鏈實現,或者說不同變種的Rollup。

以太坊的Rollup路線體現了區塊鏈的模塊化趨勢,讓區塊鏈的層級分離,各司其職,讓網絡能夠Rollup起來。

之前Rollup的文章提到了擴容的兩條路線,一條是升級區塊鏈本身,另一條是用Rollup的方式來更好地使用區塊鏈。

模塊化區塊鏈組合了兩條路線,1+1>2,徹底切換了區塊鏈的單體架構,讓新的模塊化區塊鏈網絡成為Rollup最適合生長的土壤,且賦予這些Rollup方案更多的模塊選擇和更高的性能。

a)兩個層級,四個模塊

一個區塊鏈可以拆分為兩個層級,共包括四個模塊:

安全層:保證區塊鏈的安全性。

數據可用性模塊(后文中稱為DA):保證交易數據可以被使用(保證存儲且可驗證與可用)。

共識模塊:決定交易的順序等(PoW等是防攻擊的機制,是共識的基礎而不代表共識的全部)。

Fireblocks：16家錢包提供商和開源庫受到BitForge漏洞影響:金色財經報道，Fireblocks 密碼學研究團隊發現，16家錢包提供商和開源庫受到了BitForge漏洞的影響，該公司表示，所披露的漏洞“有效地將 MPC 系統提供的保護降級為傳統的單密鑰系統的保護”，BitForge僅影響使用GG-18、GG-20和Lindell17協議的MPC錢包提供商，該漏洞為攻擊者創建了一個后門，以便在簽名失敗時暴露部分私鑰。Fireblocks 建議所有實施這些協議的提供商包含所需的零知識證明以增強安全性。

該公司將 BitForge 歸類為“零日”漏洞，這意味著受影響軟件的開發人員在 Fireblocks 披露之前并未發現這些漏洞。據悉，Fireblocks 確定了16家受影響的提供商和開源庫，但沒有公開點名這些公司，而是強調行業合作并提供修復機會。[2023/8/10 16:16:40]

執行環境層:提供區塊鏈的執行環境。

結算模塊:結算出狀態承諾。

執行模塊:計算出單獨的狀態轉換。

其中對于每個層級來說,兩個模塊采用同一方案的安全性更高,信任假設更少,如結算和執行均采用以太坊的安全性>僅結算采用以太坊,執行采用Arbiturm環境的安全性。

單體區塊鏈的代表有Ethereum本身,Solana,BinanceSmartChain等,SecuredRollup的代表有Arbitrum,Optimism等,DA層的代表有Celestia的DA,PolygonAvail等。

如果將區塊鏈的模塊和計算機結構進行類比,那么:

區塊鏈的執行模塊?計算機的操作系統?(真正執行指令的環境)

區塊鏈的DA模塊?計算機的內存?(實現短期數據存取)

區塊鏈的結算與共識模塊?計算機的CPU?(硬件保證指令執行的正確性)

后續文章中,我們會稱這些“模塊”為“層”,但是它們實際上是模塊。

b)從Web的發展中預測模塊化趨勢

我們可以從Web的發展中借鑒出區塊鏈未來的模塊化發展路線:

區塊鏈網絡其實是一個更去中心化和更穩定的集群,讓節點集合算力,形成遍布全球的大型可信計算機。

dForce：攻擊者已返還全部被盜資金，即將公布資金分配細節:2月13日消息，DeFi協議dForce發推表示，攻擊者已將被盜資金全部返還給Arbitrum和Optimism上的項目多簽地址，所有受影響的用戶都將得到補償，官方將在未來幾天內公布資金分配的細節。此外，dForce已與攻擊者進行了對話，已同意提供賞金，并將放棄所有的調查和執法行動。

此前金色財經報道，dForce于2月10日遭到黑客攻擊，黑客獲利約365萬美元，包括Arbitrum上1236.65枚以太坊和719,437枚UX以及Optimism上1,037,492枚USDC。[2023/2/13 12:03:51]

而區塊鏈的模塊化劃分非常像Web2中的分布式系統(不等于分布式數據庫的分布式)。它本質上是把業務進行拆分,與下圖Uber的架構類似,模塊各司其職。

Web2的分布式系統和Web3的區塊鏈的模塊化帶給我們兩個需要思考的問題:

拆分:區塊鏈網絡已經被簡約地拆分為了前文中提到的兩個層級和四個模塊。

連接:保證模塊之間的通信以及安全性。這也就是為什么同源的模塊安全性更高,因為不需要額外連接,避免了過程中所暴露的危險。

拆分的問題已經被清晰定義,但連接的問題對模塊化架構有所影響。該如何將安全性和用戶體驗提升或許是模塊化區塊鏈需要解決的問題。

c)為什么模塊化?

模塊化區塊鏈將單體區塊鏈解耦后,新網絡結構=多個類似Arbitrum和StarkEx的不同Rollup+一個類似以太坊的底層主網。

它們提升的重點主要是,不用再通過因為共識與DA耦合的傳統單體區塊鏈導致的ProofofReplication來驗證和保證DA(限制性能和極大程度上提升全節點大小影響去中心化)。

這意味著模塊化區塊鏈網絡不用再去卷單體區塊鏈的共識了,而是解耦后直接使用專門層處理DA,在主網安全的優先級下,減少多余算力和存儲的浪費,提升吞吐量,跳過共識問題瓶頸,從而將千級或萬級的TPS進一步提升。

除了整體性能可以突破瓶頸,跨越到下一個時代,模塊化區塊鏈還有什么顯著的好處?

更好的區塊鏈

安全性:Rollup層借用Ethereum等底層安全層的安全性。

摩根大通：將Meta Platforms目標價從150美元上調至225美元:金色財經報道，摩根大通：將Meta Platforms(META.O)目標價從150美元上調至225美元。[2023/2/2 11:44:03]

執行性能:可靈活采用更快的執行或/和結算模塊。

開發上的可組合性

迭代:模塊解耦。模塊可以進行更激進的提案和更快速的創新。

可插拔:更多的鏈開發方案和技術棧選擇。

d)模塊化的不同實現?

模塊化的區塊鏈網絡其實可以構建出非常多類型的“鏈”的實踐,主要有三個大類和無數細分小類:

Rollup?(包含Sovereign或SecuredRollup等,見上一篇文章。如Ethereum/Celestia安全層+執行環境/或僅執行模塊。)

Multi-Monolithic?(如Tendermint/Substrate安全層+Cevmos棧與RecursiveRollup的執行環境。Celestia本身其實屬于這個架構,是Cosmos生態的。)

Subnet?(組裝最自由的模塊化區塊鏈,并非能繼承安全性,更偏重部署和開發效率。)

這三個模塊化區塊鏈和單體區塊鏈的大方向不同,特色也各不相同:

Rollup:天下武功唯快不破,但是技術進度最慢,最不成熟。

Multi-Monolithic:共享安全性,通信可組合和可互操作,應用鏈具有主權,但是性能不一定行。

Subnet:秒速部署,方案成熟,但是安全性和去中心化程度不一定行。

Monolithic:“完全的”自由度,但是方案太重,整個系統或許過于耦合。

e)模塊化概念的影響?

模塊化區塊鏈的時代到來之后,L1和L2的傳統概念或許要被重新定義。

單體區塊鏈:L1指以太坊等單體區塊鏈,L2指基于以太坊的安全層與執行模塊組合成的Rollup。

模塊化區塊鏈:L0指社會共識與對L1的信任假設,L1指模塊化區塊鏈的安全層(DA與Consensus),L2指模塊化區塊鏈的執行環境層(Settlement與Execution)

ForthBox宣布購入無聊猿BAYC#4949，將打造無聊猿生態鏈游平臺:5月26日消息，ForthBox宣布購入無聊猿BAYC#4949，同步加入無聊猿游艇俱樂部，并助力Ape Coin DAO，共同打造元宇宙鏈游生態。

ForthBox全球市場負責人Elena表示，無聊猿游艇俱樂部與ForthBox把打造元宇宙開放世界作為項目愿景的想法一致，相信Web3鏈游平臺ForthBox的加入必定能填補無聊猿俱樂部游戲領域的空白，成為無聊猿生態第一鏈游平臺是ForthBox的目標，也是其購入無聊猿的初衷。

Forth Box將聯動自身生態資源為BAYC賦能，未來將給BAYC持有者空投限量版游戲NFT，共建無聊猿元宇宙游戲社區。ForthBox是Web3游戲聚合平臺，為游戲領域的玩家、公會和開發商提供游戲中心、公會管理系統和鏈游基礎設施，并通過15款自營游戲構建平臺生態。

ForthBox目前已獲得Fundamentallabs等知名機構的種子輪投資，與YGGSEA，CGU等全球頂尖公會達成戰略合作，并吸引了來自韓國、日本、菲律賓等十多個國家的用戶，Dapp日均訪問量逾250萬。[2022/5/26 3:43:14]

除此之外:

性能衡量:?從共識的TPS和TTF轉變成DA的吞吐量的對比。

定義:需要注意的是,對于如Arbitrum的Rollup來說,Arbitrum網絡=Arbitrum的執行環境+以太坊的安全層與結算模塊。對于以太坊本身來說,以太坊網絡=以太坊執行環境+以太坊的安全層與結算模塊。當方案可以被模塊化解構時,它們都可以被稱為是模塊化區塊鏈的一種實踐。而如以太坊這樣適合做L1的網絡,可以被稱之為模塊化區塊鏈網絡。

趨勢:當應用想要更多功能,減少運營成本或加強安全性,更大的主權時,應用可以在一籃子的模塊中,選擇適合自己的方案,從而發展App-chain或App-rollup或App-subnet。

未來,或許每個應用會選擇成為一個模塊化的區塊鏈。

DA層

既然Rollup不僅保證安全性,還提升性能,那何不讓區塊鏈成為Rollup的最佳土壤?模塊化區塊鏈就是讓區塊鏈成為Rollup的更好基礎層。

Rollup讓大家關注了DA層對性能的影響,同時Rollup的出現也啟發了以多個Rollup生態為重點的模塊化區塊鏈網絡概念。?模塊化區塊鏈讓區塊鏈跨越單體時代的共識瓶頸,進入到模塊化概念以DA為重點的時代。

動態 | 印度即將推出加密脫口秀節目Hard Fork，將探討加密監管等問題:據bitcoin.com消息，印度本月即將推出名為Hard Fork的加密電視脫口秀節目。根據制片人的說法，該節目“將深入探討加密領域的問題、主題的復雜性以及區塊鏈和加密貨幣領域領導者的遠見。”，包括印度現在亟待解決的加密監管問題。[2019/4/9]

“Rollup是將執行層off-chain,下一步是將DAoff-chain。”

a)DA是什么?

對于模塊化的區塊鏈和Rollup網絡來說,?完整數據需要在那里和保證可以被使用,從而確保網絡的去中心化和安全性:

CurrentDataAvailability:為什么出塊時需要最新的狀態根和tx數據可用?

因為要出新的塊,就需要在L1揭露所有這些數據,以便其他節點重新執行從而做到驗證,同時這個過程要保證輕客戶端的安全?(它們只檢查區塊頭!不拒絕無效交易)。

ArchiveDataAvailability:區塊有效后,tx數據是否還需要被保留保證可用?

需要。比如你想查看幾個月前的一筆交易,或你想從頭運行一個節點。

Rollup與模塊化區塊鏈:對于Rollup和未來不同的模塊化區塊鏈實踐來說,CurrentDataAvailability意味著什么?

OptimisticRollup:出新塊時需要狀態根數據可用,來被驗證,挑戰期內需要tx數據可用來使挑戰Sequencer可行,保證安全性。

zkRollup:Sequencer跑路情況下,需要狀態根數據來重建狀態和取出資金。

b)CurrentDataAvailability

最新數據的可用性影響著網絡本身的安全性和性能。

當我們說到DA時,通常所指的都是它。

單體區塊鏈時代:

DA方案:由于共識與DA沒有解耦,因此靠全節點?ProofofReplication。

數據在那里:通過一堆全節點復制完整數據來保證。

數據可用:通過線性復雜度下載完整數據來驗證數據可用。

tx有效性:通過重新執行來驗證tx的有效性。

問題:?冗余過多,且若節點平均只存儲一部分數據,?丟數據的概率很大?(和生日悖論類似)。

模塊化區塊鏈時代:

DA方案:專門的獨立DA解決方案。

數據在那里:通過糾刪碼?(CD和衛星所采用的數據保護方案)保證數據可用。

數據可用:通過數據可用性采樣來在?sublinear?時間內驗證,如只需下載1%的區塊數據即可得到99%的區塊可用保證。

tx有效性:通過錯誤編碼證明?(類似Optimistic機制)或者多項式承諾甚至直接上有效性證明?(我們通常稱之為zk證明)確保糾刪碼編碼正確,tx有效。

c)ArchivedDataAvailability

存檔數據的可用性僅影響網絡本身外的如區塊鏈瀏覽器等的基礎設施,可能對網絡本身來說是個可選項,但是對用戶的使用來說必須具備。

我們首先要說明的主要是,Arweave或Filecoin的Web3存儲方案無法為CurrentDataAvailability提供直接的DA:

Arweave:SPoRA。實質上是種摩爾定律假設和經濟模型下的概率性存儲(當然一切皆概率…)。使用中通常需要等十多個區塊才能確認數據“永存”,無法很好保證即時DA。

Filecoin:PoSt。點對點的分布式存儲網絡。進行數據存儲的礦工可以扣留數據,無法保證去中心化以及DA。

IPFS:主要還是作為基礎設施存在,在PolygonAvail和Celestia的DA的網絡層中都有使用。

除此之外,Arweave和Filecoin依然是單體區塊鏈的多副本冗余模式保證數據可用,難以建立高效的采樣機制。

雖然它們不適合作為“內存”為最新數據提供可用性,但適合作為“硬盤”為存檔數據提供可用性。目前Web3仍然缺少一個更模塊化更專注的專用“硬盤”。

模塊化區塊鏈的選擇

我們現在就作為一個萬級TPS項目的架構師,來為我們的應用做一些抉擇,組合出合適的應用鏈。

a)DA層生態

DA層是最近大家非常關注的方向。但是從我們的抉擇圖來看,其實沒有很大概率去連續做“對”那么多先置選擇,最終進行到DA的選擇。

除了項目最可能采用的自建私有DAC(性能+主權)或側鏈DA方案以外,DA方案基本有三種選擇思路:

最高的安全性:與共識層一致,比如DA與共識均采用以太坊或Celestia。

極致的吞吐量:犧牲安全性,增加額外信任假設,比如鏈下數據委員會(安全性和多簽一樣,差)。

兩者兼具:通過Restaking模式,得到高安全性與高吞吐量,比如DataLayr。

DA方案的商業格局基本會是這樣:

商業模式:面向應用鏈,通過提供DA收取應用鏈支付的“保護費”。

競爭:DA的方案強弱其實就是兩個層面的對比:安全性與吞吐量。且吞吐量的更優者很容易獲得壓倒性的勝利。

價值捕獲:由于實際中并沒有太多實例來進行分析對比,因此我們可以思考以下問題:?如果DA層市值遠低于應用鏈(像Chainlink和DeFi應用的關系),整個協議是否因此有安全性短板?單單DA層無法形成完整應用生態,代幣如何捕獲價值?

b)執行層生態

如果把模塊化區塊鏈比作一個高度分工化的廚房,區塊鏈的性能是上菜速度,那么吞吐量更大的DA層就是更大的鍋,更好的執行環境就是更熟練以及會做更多菜系的廚子。

執行層方案也基本上有這么幾種選擇:

現有成熟方案:EVM及其ZK或OP變種,WASM及其各種變種等。

未來前沿方案:FuelVM(工作流程如下圖中下方,因此更快),AltLayer等。

對于執行層來說,我認為EVM依舊會因為生態優秀而保持未來的主導地位。

對于前沿執行層方案的價值捕獲來說,它們自己可以被很容易組合成OptimisticRollup,形成應用生態,因此在價值捕獲上,它們相比DA層有天然的優勢。

c)共識層生態

對于模塊化區塊鏈來說,共識層需要:

安全性優先:保證底層的穩定和安全性。

智能合約環境:方便鏈上驗證各種輸出。

社會與經濟共識:需要是“德高望重”的大公鏈,這樣才不用額外的信任假設。

于是我們剩下的合適的選擇不多了:

完全合適:Ethereum,Cosmos等。

勉強合適:Bitcoin,Arweave(兩者鏈上無圖靈完備的智能合約,結算在應用鏈進行)等。

不太合適:Solana(網絡不是特別穩定)等。

可能最合適:未來的Celestia,未來的Ethereum。

模塊化方案的思考

a)進一步探索

DA層:?狀態爆炸問題讓網絡的準入門檻過高,削弱了網絡的去中心化。我們在DA那一段所闡述的statelessness僅僅是weakstatelessness,也就是只有出塊者需要存儲狀態數據,后面還需要更多優化,讓所有的節點都不需要存儲全部狀態數據。

執行層:目前的模塊化分工僅僅是開了許多個執行層(Sharding),而當某個執行層滿載后,它的性能依然無法滿足Web3需求。那么我們所需要拓展的就更多是單個執行層的性能(Parallelization),如Fuel和Solana。

b)需求與供給

App-chain的需求到底有多少?

目前只有熱門應用才會有App-chain的需求。我們或許需要onboard更多用戶,才會激發對模塊化方案的真正大量需求。

同時,我們也看到了無數多的模塊選擇,最后到底哪些能真正被積極使用也是一個需要探索和篩選的過程。

c)安全性

模塊化有兩個方面,拆分和連接:

拆分是否會導致整個區塊鏈網絡具有短板??將攻擊其短板所需的資金大量降低,作為像Curve池的引線角色一樣引爆Luna那樣的慘劇?

一個系統越復雜,所暴露的可被攻擊的地方也就越多。?模塊間的“連接”是否存在被攻擊的可能?(當然Rollup橋其實比IBC橋還要安全)?(之前的文章中我們對可組合性的危險發表了看法)

d)體驗

一個分散的模塊化系統可能僅僅因執行層不同就導致用戶體驗與資金的割裂,同時它是否會由于開發工具的不同,導致開發者體驗的割裂?MEV如何處理?

e)分久必合

類似Apple從Intel芯片到m系列SoC的轉變,模塊化區塊鏈較為割裂的架構是否會在幾年之后因為生態或體驗等問題重新統一,單體區塊鏈是否會重回主導地位?模塊化區塊鏈是否會出現類似CosmosIBC一樣的互通協議?

總結

目前模塊化區塊鏈只跑出了冰山一角,但已經非常繁榮,有各種基于以太坊的SecuredRollup,Cosmos,Polkadot,Subnet等。

比特幣是區塊鏈的概念,以太坊是區塊鏈的實踐,而模塊化區塊鏈會是區塊鏈被廣泛工程化與實踐的基礎。

?

Tags：區塊鏈ROLROLLFOR區塊鏈是什么概念股TROLLBNB幣Roller InuGFORCE

世界幣