比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

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

Author:

Time:1900/1/1 0:00:00

原文標題:《IOSG Weekly Brief |拆解數據可用性層:模塊化未來中被忽視的樂高積木 #136》?

撰文:Jiawei,IOSG Ventures

tl;dr

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

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

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

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

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

圖片來源:IOSG Ventures, 據 Peter Watts 改制

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

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

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

巨鯨研究院Founder柯南:GameFi可能是下一個爆發點:金色財經現場報道,在8月8日由金色財經主辦的金色沙龍活動中,巨鯨研究院Founder柯南在《哪些Web3敘事將引領下輪牛市》的圓桌會議中表示,GameFI可能是下一個爆發點。像三七互娛、完美世界,已經在布局GameFI。既然傳統游戲都開始布局,像傳統的資產,比如房地產也會有機會。大家用上鏈的方式,通過虛擬資產和現實資產結合,產生更多的效益。吁投資者保持理性,根據發展趨勢、政策環境和比特幣周期來審時度勢,適時布局以渡過熊市,迎接下一個牛市。

他對公鏈未來前景持樂觀態度,認為公鏈將持續發展并創造更大價值。公鏈作為Web3生態的關鍵組成部分,將繼續發揮重要作用,團隊將根據市場需求不斷創新,為用戶和項目創造更多價值。[2023/8/9 21:32:53]

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

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

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

圖片來源:IOSG Ventures

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

圖片來源:https://medium.com/metamask/metamask-labs-presents-mustekala-the-light-client-that-seeds-data-full-nodes-vs-light-clients-3bc785307ef5

CertiK:PorkiesNFT項目Discord服務器遭入侵:金色財經報道,據CertiK官方推特發布消息稱,PorkiesNFT項目Discord服務器遭入侵,有黑客發布釣魚鏈接。在團隊確認已重獲對服務器的控制之前,請勿點擊任何鏈接。[2023/7/8 22:25:40]

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

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

這是輕客戶端在做的事情。在 IOSG 的文章「多鏈生態:我們的當前階段與未來格局」中我們簡要介紹了輕客戶端。輕客戶端是區別于全節點的一種說法,它們往往不與鏈進行直接交互,而依賴鄰近的全節點作為中介,從全節點請求所需要的信息,例如下載區塊頭、或是驗證賬戶余額。

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

問題出在哪?

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

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

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

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

貝寶金融債權人保護延期請求被擱置:金色財經報道,貝寶金融(Babel Finance)聯合創始人 Flex Yang 表示,在債權人 Deribit 提出反對意見后,新加坡法院拒絕就 Babel Finance 請求延長債權人保護的請求做出更明確的決定。Flex Yang 稱,法院準許臨時暫停(interim moratorium),直到 4 月 17 日 Babel Finance 的債權人保護請求的下一次聽證會日期。

Flex Yang 表示,Babel Finance 欠債權人約 7.5 億至 8 億美元,其針對債權人行動的持續暫停保護將于 4 月 5 日結束。Flex Yang 于 2021 年底退出公司日常運營,目前已返回監督公司的重組。[2023/4/1 13:39:13]

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

?

?圖片來源:https://github.com/ethereum/research/wiki/A-note-on-data-availability-and-erasure-coding??

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

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

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

采用糾刪碼來解決輕客戶端的數據可用性問題幾乎沒有異議,Polygon Avail、Celestia(以及以太坊的 Danksharding)中都采用了 Reed-Solomon 糾刪碼。

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

Cowen下調Coinbase股票評級:金色財經報道,Cowen的分析師下調了加密貨幣交易所Coinbase(COIN)的股票評級,理由是在FTX崩潰后,其交易量恢復情況并不明確。

在分析師Stephen Glagola和George Kuhle的一份研究報告中,Cowen將COIN的表現下調至與市場一致,而不是優于市場。高盛還將其目標股價從75美元下調至36美元。[2023/1/5 10:24:00]

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

(注:糾刪碼和 KZG 承諾的概念在 IOSG 的文章「合并在即:詳解以太坊最新技術路線」中有提及,由于篇幅所限,在本文中不作展開解釋)

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

?圖片來源:https://forum.celestia.org/t/ethereum-rollup-call-data-pricing-analysis/141?

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

(鏈上)數據可用性很貴,怎么辦?

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

二是把數據放到鏈下。下圖列出了當前的鏈下數據可用性方案,通用化方案包括 Celestia 和 Polygon Avail;在 Rollup 中作為用戶可選的方案包括 StarkEx、zkPorter 和 Arbitrum Nova。

Web3社交工具Inspect宣布將于1月17日關閉:金色財經報道,Web3社交工具Inspect宣布,將于1月17日關閉網站和Chrome擴展程序。Inspect表示,成立至今已匯集了1k+社區,并產生了175k+新的NFT連接。

據Rootdata介紹,Inspect Chrome擴展程序可讓用戶在不離開Twitter的情況下輕松了解有關NFT及其社區的更多信息。對于NFT,Inspect會放置一個以太坊/Solana徽標,單擊該徽標會直接在用戶推特提要上彈出有關特征、銷售、稀有性等的信息。[2023/1/4 9:51:39]

?圖片來源:IOSG Ventures

(注:Validium 原本特指 zkRollup 與鏈下數據可用性相結合的擴容方案,為方便起見,本文中以 Validium 指代鏈下數據可用性方案并一同參與比較)

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

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

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

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

zkPorter 則提出由 Guardians(zkSync Token 持有者)來維護數據可用性,他們需要質押 zkSync Token,如果發生了數據可用性故障,那么質押的資金將被罰沒。

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

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

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

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

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

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

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

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

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

L2 Operator 把交易數據發布到 Celestia 主鏈,由 Celestia 的驗證人對 DA Attestation 的 Merkle Root 進行簽名,并發送給以太坊主鏈上的 DA Bridge Contract 進行驗證并存儲。

這樣實際上用 DA Attestation 的 Merkle Root 代替證明了所有的數據可用性,以太坊主鏈上的 DA Bridge Contract 只需要驗證并存儲這個 Merkle Root,開銷得到了極大的降低。

(注:其他數據可用性方案還有 Adamantium 和 EigenLayr。Adamantium 方案中的用戶可以選擇托管自己的鏈下數據,在每次狀態轉換后都簽名確認自己的鏈下數據可用,否則資金將被自動發回主鏈來確保安全;或者用戶可以自由選擇數據提供商。EigenLayr 是偏向學術的方案,提出了 Coded Merkle Tree 和數據可用性預言機 ACeD。這里暫不展開討論)

圖片來源:IOSG Ventures,據 Celestia Blog 改制

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

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

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

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

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

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

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

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

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

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

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

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

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

Tags:ROLROLL以太坊STIRollerSwaproll幣是什么意思以太坊幣今日價格行情實時Stimmy Coin

以太坊價格今日行情
是時候讓 DAO 變得無聊了_DAO

【摘要】通常討論到DAO,我們都關注在那些激動人心的創新和對于未來的構想上,是時候放下理想,來考慮一下面包了!目前的 DAO 領域,還存在很多貢獻者在加入前需要擔心的問題.

1900/1/1 0:00:00
三分鐘搞懂ERC-20和ERC-721的不同_TOKE

我們經常會在業內媒體報道上看到“ERC-20”這個詞,它是以太坊上的一種標準協議。除了ERC-20,以太坊上的另一個較多數人聽說過的協議是ERC-721.

1900/1/1 0:00:00
Bankless:下個牛市的 5 大關鍵主題和趨勢_BAN

注:原作者為 Jean-Paul Faraj熊市是積累財富的最好機會。游客(投機者)都已離開,現在正是淡季。這是建設者們埋頭工作的時候,也是投資者對下一個大趨勢下注的時候.

1900/1/1 0:00:00
解析去中心化科學 (DeSci):Web3正為開放科學奠定基礎_DES

去中心化科學 (DeSci) 是一項旨在建立公共基礎設施的運動,用于使用 Web3 工具公平和平等地資助、創造、審查、信用、存儲和傳播科學知識.

1900/1/1 0:00:00
央行數字貨幣DCEP為何是M0發行 背后有何深意?_LIBRA

不久前履新的數字貨幣研究所所長穆長春在得到開設的《Libra與數字貨幣展望》這門課,成為了最近的行業熱點,一方面讓我們可以窺得監管層對于影響力巨大的Libra的態度.

1900/1/1 0:00:00
金色前哨|Arbitrum One將在8月31日遷移到Nitro_RUM

金色財經報道,8月5日,據Offchain Labs官方消息,Arbitrum One遷移到Nitro的日期已確認在8月31日.

1900/1/1 0:00:00
ads