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

原文作者:ForesightVentures

0.Rollup的瓶頸

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

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

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

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

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

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

1.區塊鏈的模塊化

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

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

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

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

a)兩個層級,四個模塊

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

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

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

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

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

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

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

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

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

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

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

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

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

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

外媒：韓國檢方已逮捕一名Terraform員工，其被指控進行虛假交易和價格操縱:10月8日消息，韓國檢方已逮捕一名 Yu 姓 Terraform 員工，該員工曾為 Do Kwon 的主要助手，其被指控進行虛假交易和價格操縱。

據報道，這是韓國檢方在 Terra 案中的首次逮捕行動。（韓國JTBC）[2022/10/8 12:49:15]

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

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

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

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

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

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

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

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

c)為什么模塊化?

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

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

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

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

更好的區塊鏈

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

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

開發上的可組合性

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

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

d)模塊化的不同實現?

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

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

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

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

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

慢霧：Crosswise遭受攻擊因setTrustedForwarder函數未做權限限制:據慢霧區情報，2022年1月18日，bsc鏈上Crosswise項目遭受攻擊。慢霧安全團隊進行分析后表示，此次攻擊是由于setTrustedForwarder函數未做權限限制，且在獲取調用者地址的函數_msg.sender()中，寫了一個特殊的判斷，導致后續owner權限被轉移以及后續對池子的攻擊利用。[2022/1/19 8:57:48]

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

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

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

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

e)模塊化概念的影響?

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

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

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

除此之外:

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

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

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

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

2.DA層

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

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

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

a)DA是什么?

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

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

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

QANplatform支持的去中心化區塊鏈瀏覽器LibreScan上線:12月23日消息，QANplatform支持的第一個去中心化區塊鏈瀏覽器LibreScan上線。團隊表示，加密貨幣持有者可以自行托管他們的區塊鏈瀏覽器，以確保私人信息不會與錢包地址關聯，從而避免被集中跟蹤。

QANplatform是quantum-resistant Layer 1混合區塊鏈平臺，將允許開發人員和企業以任何編程語言在QAN區塊鏈平臺之上構建quantum-resistant，QAN測試網將于2021年底發布。（bitcoin）[2021/12/23 7:58:48]

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.

動態 | LocalBitcoins刪除Cash-for-Crypto交易選項:據Coindesk消息，點對點交易所LocalBitcoins已經取消了允許用戶親自購買或出售加密貨幣以獲取現金的選項。6月2月，LocalBitcoins用戶指出該平臺上不再提供該選項，但Reddit評論表明該限制可能僅限于美國。[2019/6/3]

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

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

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

3.模塊化區塊鏈的選擇

我們現在就作為一個萬級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)共識層生態

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

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

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

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

動態 | Forte將使用XRP作為結算貨幣:據bitcoinexchangeguide報道，區塊鏈游戲初創公司Forte近日宣布與Ripple的Xpring達成協議，將向基于區塊鏈的游戲開發商投資1億美元。據XRP研究中心的最新消息，通過Forte的平臺，當人們交易或出售NFT時，XRP將作為結算貨幣。該公司還在利用Ripple的Interledger技術，該技術可以在智能合約中取得一些不錯的進步。[2019/3/27]

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

完全合適:Ethereum,Cosmos等.

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

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

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

4.模塊化方案的思考

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一樣的互通協議?

5.總結

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

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

關于ForesightVentures

ForesightVentures押注加密貨幣未來幾十年的創新歷程，旗下管理多支基金：VC基金、二級主動管理基金、多策略FOF、特殊目的S基金「ForesightSecondaryFundl」,總資產管理規模超過4億美元。ForesightVentures堅持“Unique,Independent,Aggressive,Long-term”的理念，通過強大的生態力量為項目提供廣泛的支持。其團隊來自包括紅杉中國，中金公司，谷歌，比特大陸等頂級金融和技術公司的資深人士。

Website:?https://www.foresightventures.com/

Twitter:?https://twitter.com/ForesightVen

Medium:https://medium.com/@foresightventures-zh

Substack:https://foresightventures.substack.com

Discord:https://discord.com/invite/jYtyfxfB

Linktree:https://linktr.ee/foresightventures

相關閱讀

推薦精讀:

CyberOrangeonDA:

https://docs.google.com/presentation/d/1VUm4z-OVZgo0PQxWDbBtU4fcvZmCOYxP

https://www.youtube.com/watch?v=Oqv71IV_f4w

CFGLabsonCelestia:

https://mp.weixin.qq.com/s/DXZ3MsK_ADUVCJjU4mNPtQ

https://mp.weixin.qq.com/s/f99jWV5KIQRj-hJCBIWPMw

https://mp.weixin.qq.com/s/N2iqs5OnDJzZBmbgQQSUAA

Rain&CoffeeonModular:

https://rainandcoffee.substack.com/p/the-modular-world

https://rainandcoffee.substack.com/p/the-fuel-for-fast-execution

PolynyaonModular:

https://polynya.medium.com/the-lay-of-the-modular-blockchain-land-jan-2022-update-d38c868286f

https://polynya.medium.com/modular-execution-layers-df256768ac2f

0:

https://mp.weixin.qq.com/s/GT4Yfw8VPhBikME4mKCTNQ

https://www.8btc.com/article/6736346

https://web3caff.com/zh/archives/14111

1:

https://mp.weixin.qq.com/s/GT4Yfw8VPhBikME4mKCTNQ

1a:

https://typefully.com/ptrwtts/9OchbmS

https://twitter.com/toghrulmaharram/status/1532327757895634944

1b:

https://delphipodcast.notion.site/DISRUPTORS-Modular-Blockchains-for-Sovereign-Communities-With-Hacktivist-Mustafa-Al-Bassam-45087bf05e894141ba8452db3e86f908

https://www.jianshu.com/p/21238ae6107c

http://www.dedenotes.com/html/distributed-cluster.html

https://towardsdatascience.com/ace-the-system-design-interview-uber-lyft-7e4c212734b3

1d:

https://layer2planet.substack.com/p/l2-planet-learn-celestia-and-fuel?utm_source=email

https://twitter.com/mt_1466/status/1501188854878982155

https://typefully.com/ptrwtts/9OchbmS

https://mp.weixin.qq.com/s/GT4Yfw8VPhBikME4mKCTNQ

https://medium.com/evmos/introducing-cevmos-an-open-scalable-and-modular-stack-for-evm-based-applications-72930ce6b85c

https://mp.weixin.qq.com/s/liulfJo4vg5gI7DiaYDPXw

1e:

https://rainandcoffee.substack.com/p/the-modular-world

https://www.chaincatcher.com/article/2072817

2a:

https://docs.google.com/presentation/d/1VUm4z-OVZgo0PQxWDbBtU4fcvZmCOYxP

https://scalability.guide/posts/maximising_light_clients_security/

https://twitter.com/bkiepuszewski/status/1520079799951183872

2b:

https://medium.com/blockchain-capital-blog/wtf-is-data-availability-80c2c95ded0f

3a:

https://mp.weixin.qq.com/s/s5qZFryvyJBXbMUU1KV5Iw

3b:

https://twitter.com/IAmNickDodson/status/1542516357886988288

https://twitter.com/hasufl/status/1538793436085637121

https://rainandcoffee.substack.com/p/the-fuel-for-fast-execution

https://polynya.medium.com/the-lay-of-the-modular-blockchain-land-jan-2022-update-d38c868286f

https://polynya.medium.com/modular-execution-layers-df256768ac2f

4a:

https://www.alexbeckett.xyz/stateless-rollups/

https://twitter.com/musalbas/status/1542290191200796674

4c:

https://twitter.com/sreeramkannan/status/1542191816023212034

https://mp.weixin.qq.com/s/6Iu-F_VO11hFtUEdEiZicQ

Tags：區塊鏈TPSHTTCOM區塊鏈dapp開發教程tps幣圈htt幣價格今日行情comp幣發行量

幣贏