買以太坊 買以太坊
Ctrl+D 買以太坊
ads

ROL:IOSG Ventures:拆解數據可用性層,模塊化未來中被忽視的樂高積木_EST

Author:

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

tl;dr

對于輕客戶端的數據可用性,采用糾刪碼來解決該問題幾乎沒有異議,不同點在于如何確保糾刪碼被正確編碼。PolygonAvail和Danksharding中采用了KZG承諾,而Celestia中采用了欺詐證明。對于Rollup的數據可用性,如果把DAC理解為聯盟鏈,那么PolygonAvail和Celestia所做的就是使數據可用性層更加去中心化——相當于提供「DA-Specific」的公鏈,以此提升信任級別。未來的3至5年內,區塊鏈的架構必然由單體化向模塊化演變,各層呈現低耦合狀態。未來可能出現Rollup-as-a-Service、DataAvailability-as-a-Service等許多模塊化組件的提供商,實現區塊鏈體系結構的可組合性樂高。模塊化區塊鏈是支撐下一個周期的重要敘事之一。模塊化區塊鏈中,執行層已經「四分天下」,后來者寥寥;共識層逐鹿中原,Aptos和Sui等嶄露頭角,公鏈競爭格局雖未塵埃落定,但其敘事已是新瓶裝舊酒,難以尋找合理的投資機會。而數據可用性層的價值仍然有待被發掘。模塊化區塊鏈ModularBlockchain

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

圖片來源:IOSGVentures,據PeterWatts改制關于模塊化區塊鏈的分層暫無嚴格定義,一些分層方式從以太坊出發,另一些則偏向通用化的視角,主要看在何語境下進行討論。執行層:兩件事發生在執行層。對單筆交易而言,執行交易并發生狀態更改;對同批次的交易而言,計算該批次的狀態根。當前以太坊執行層的一部分工作分給了Rollup,即我們熟知的StarkNet、zkSync、Arbitrum和Optimism等。結算層:可以理解為主鏈上的Rollup合約驗證狀態根的有效性或欺詐證明的過程。共識層:無論采用PoW、PoS或其他共識算法,總之共識層是為了在分布式系統中對某件事達成一致,即對狀態轉換的有效性達成共識。在模塊化的語境下,結算層和共識層的含義有些相近,故也有一些研究者把結算層和共識層統一起來。歷史狀態層:由Polynya提出。因為在引入Proto-Danksharding之后,以太坊只在一定時間窗口內維護即時數據可用性,之后則進行修剪操作,把這項工作交給其他人。例如PortalNetwork或是其他存儲這些數據的第三方可被歸類于這一層。數據可用性層:數據可用性存在什么問題?對應的解決方案各自是什么?這是本文要集中討論的問題,在此先不對它進行概括。

BiKi ETF專區IOST3SS/USDT今日最高漲幅49.36% ?:據BiKi平臺ETF專區行情顯示,截至今日16:30,ETF3S專區IOST3SS/USDT今日最高漲幅49.36%,現凈值0.0227USDT; ETF3L專區MATIC3L/USDT今日最高漲幅48.15%,現凈值0.0227USDT; NEAR3L/USDT今日最高漲幅27.03%,現凈值3.3295USDT。

?ETF5L/5S和ETF3L/3S是一種錨定標的5倍做多、5倍做空和3倍做多、3倍做空某種數字資產的指數基金,目前已上線BTC5L/5S,ETH5L/5S,XRP5L/5S,BCH5L/5S, BSV5L/5S等主流幣和Defi熱門幣種,相比合約有操作簡單、永不爆倉、無保證金、單邊行情收益更高等特點。[2021/2/25 17:52:07]

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

圖片來源:https://medium.com/metamask/metamask-labs-presents-mustekala-the-light-client-that-seeds-data-full-nodes-vs-light-clients-3bc785307ef5我們首先來看全節點和輕客戶端的概念。由于全節點親自下載和驗證每個區塊中的每筆交易,因此不需要誠實假設來確保狀態被正確執行,有著很好的安全性保證。但運行全節點需要存儲、計算能力和帶寬的資源要求,除了礦工以外,普通用戶或者應用沒有動力去運行全節點。況且,如果某個節點僅僅需要在鏈上驗證某些信息,運行全節點顯然也是非必要的。這是輕客戶端在做的事情。在IOSG的文章「多鏈生態:我們的當前階段與未來格局」中我們簡要介紹了輕客戶端。輕客戶端是區別于全節點的一種說法,它們往往不與鏈進行直接交互,而依賴鄰近的全節點作為中介,從全節點請求所需要的信息,例如下載區塊頭、或是驗證賬戶余額。作為節點的輕客戶端可以很快地同步整條鏈,因為它只下載和驗證區塊頭;而在跨鏈橋模型中,輕客戶端又作為智能合約——目標鏈的輕客戶端只需要驗證源鏈的代幣是否被鎖定,而無需驗證源鏈的所有交易。問題出在哪?這樣存在一個隱含問題:既然輕客戶端只從全節點那里下載區塊頭,而不是自己下載和驗證每筆交易,那么惡意的全節點可以構造一個包含無效交易的區塊,并把它發送給輕客戶端來欺騙它們。我們容易想到采用「欺詐證明」來解決這個問題:即只需要1個誠實的全節點監測區塊的有效性,并在發現無效區塊后構造一個欺詐證明、將其發送給輕客戶端來提醒它們。或者,在收到區塊后,輕客戶端主動詢問全網是否有欺詐證明,如果一段時間后沒有收到,那么可以默認該區塊是有效的。這樣一來,輕客戶端幾乎可以獲得與全節點等同的安全性。然而,在以上論述中,我們實際上假設了區塊生產者總是會發布所有的區塊數據,這也是生成欺詐證明的基本前提。但是,惡意的區塊生產者可能在發布區塊的時候隱藏掉其中的一部分數據。這個時候,全節點可以下載這個區塊,驗證它是無效的;但輕客戶端的特點使它們無法這樣做。并且由于缺少數據,全節點也無法生成欺詐證明來警告輕客戶端。另一種情況是,可能由于網絡原因,一部分數據在稍后才會上傳,我們甚至無法判斷這時的數據缺失是客觀條件所致還是區塊生產者有意為之——那么欺詐證明的獎懲機制也就無法生效。這就是我們要討論的在節點中的數據可用性問題。

幣贏CoinW支持向IOST用戶首次空投DON:據IOST官方消息,近日Donnie Finance確認將向IOST用戶首次空投DON總供應量的5%。CoinW今日正式宣布:將支持IOST快照DON空投活動。截止目前,Donnie Finance已推出7款產品,DON也已上線韓國交易平臺CoinOne,2月Donnie Finance即將推出流動性挖礦。詳情點擊鏈接。[2021/2/22 17:39:35]

圖片來源:https://github.com/ethereum/research/wiki/A-note-on-data-availability-and-erasure-coding上圖中給出了兩種情況:其一,惡意的區塊生產者發布了數據缺失的區塊,這時誠實的全節點發出警告,但隨后該生產者又補充發布了剩余的數據;其二,誠實的區塊生產者發布了完整的區塊,但這時惡意的全節點發出了假警告。在這兩種情況下,網絡中的其他人在T3之后看到的區塊數據都是完整的,但都有人在其中作惡。這樣看來,采用欺詐證明來確保輕客戶端的數據可用性是存在漏洞的。解決方案

2018年9月,MustafaAI-Bassam和Vitalik在合著的論文中提出采用多維糾刪碼來檢查數據可用性——輕客戶端只需要隨機下載一部分數據并驗證,就能確保所有數據塊是可用的,并在必要時重建所有數據。采用糾刪碼來解決輕客戶端的數據可用性問題幾乎沒有異議,PolygonAvail、Celestia中都采用了Reed-Solomon糾刪碼。不同點在于如何確保糾刪碼被正確編碼:PolygonAvail和Danksharding中采用了KZG承諾,而Celestia中采用了欺詐證明。兩者各有優缺,KZG承諾無法抗量子,而欺詐證明依賴一定的誠實假設和同步假設。除KZG承諾外,還有采用STARK和FRI的方案可用于證明糾刪碼的正確性。DAinRollup

火幣BAL、REN、MKR、IOST和JST永續合約已正式上線:據火幣官方消息,火幣BAL(Balancer)、REN(Republic Protocol)、MKR(Maker)、IOST(IOST)和JST(JUST)永續合約已于新加坡時間8月19日16點正式上線。用戶現可在平臺進行劃轉、交易等操作。

在五大幣種上線前,火幣合約已向其永續合約風險準備金余額中分別注入5,000個BAL、342,000個REN 、130個MKR、15,873,000個IOST和1,300,000個JST。此次五幣種完成上線后,火幣永續合約已覆蓋包括主流幣種和熱門DeFi幣種在內共三十二個幣種,支持用戶在Web端、API端和APP端操作,最高125x倍數。其中BTC、ETH、LTC支持實時結算功能,已實現盈利部分(扣除掉浮動虧損和占用保證金等)可隨時提取。更多詳情請查看火幣合約官網公告。[2020/8/19]

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

圖片來源:https://forum.celestia.org/t/ethereum-rollup-call-data-pricing-analysis/141我們來看Layer2的費用結構,除了固定花費外,與每批次交易筆數相關的變量主要在于Layer2的Gas花費以及鏈上數據可用性的支出。前者的影響微乎其微;而后者需要為每個字節恒定支付16gas,整體占到Rollup成本的80%-95%之多。數據可用性很貴,怎么辦?一是降低在鏈上存放數據的成本:這是協議層做的事情。在IOSG的文章「合并在即:詳解以太坊最新技術路線」中,我們提到以太坊正在考慮引入Proto-Danksharding和Danksharding來為Rollup提供「大區塊」,即更大的數據可用性空間,并采用糾刪碼和KZG承諾解決隨之而來的節點負擔問題。但從Rollup的角度去想,被動等待以太坊來為自己做適配是不現實的。二是把數據放到鏈下。下圖列出了當前的鏈下數據可用性方案,通用化方案包括Celestia和PolygonAvail;在Rollup中作為用戶可選的方案包括StarkEx、zkPorter和ArbitrumNova。

動態 | Dharma上線iOS應用商店:加密借貸平臺Dharma官方宣布已上線iOS應用商店。[2020/2/14]

圖片來源:IOSGVentures以下我們具體來看這些方案。DAProvidedbyRollup

在最簡單的Validium方案中,由中心化的數據運營商來負責確保數據可用性,用戶需要信任運營商不會作惡。這樣的好處是成本低,但實際上幾乎沒有安全保證。于是,StarkEx在2020年進一步提出了由數據可用性委員會維護的Validium方案。DAC的成員是知名且在法律管轄區內的個人或組織,信任假設是他們不會串通和作惡。Arbitrum今年提出了AnyTrust,同樣采用數據委員會來確保數據可用性,并基于AnyTrust構建了ArbitrumNova。zkPorter則提出由Guardians來維護數據可用性,他們需要質押zkSyncToken,如果發生了數據可用性故障,那么質押的資金將被罰沒。三者都提供了稱為Volition的選項:用戶按需自由選擇鏈上或鏈下數據可用性,根據具體的使用場景,在安全性和成本之間自行取舍。

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

提出上述方案基于這樣的想法:既然普通運營商的信譽度不夠高,那么就引入更權威的委員會來提高信譽度。一個小型委員會的安全程度足夠高嗎?以太坊社區早在兩年前就提出了Validium的勒索攻擊問題:如果竊取了足夠的委員會成員的私鑰,使得鏈下數據可用性不可用,那么可以威脅用戶——只有他們支付足夠的贖金才能從Layer2提款。據RoninBridge和HarmonyHorizonBridge被盜的前車之鑒,我們無法忽略這樣的可能性。既然鏈下的數據可用性委員會并非足夠安全,那么如果引入區塊鏈作為信任主體來保證鏈下數據可用性呢?如果把前述的DAC理解為聯盟鏈,那么PolygonAvail和Celestia所做的就是使數據可用性層更加去中心化——相當于提供了「DA-Specific」的公鏈,擁有一系列的驗證節點、區塊生產者和共識機制,以此提升信任級別。除了安全性的提升之外,如果數據可用性層本身就是一條鏈,那么它其實可以不局限于為某個Rollup、或者某個鏈提供數據可用性,而是作為通用化的解決方案。

IOST即將鎖倉:據悉,IOST即將于4月9日宣布的消息為鎖倉,團隊最高將鎖其35%全部基金會倉位。IOST是一個為線上虛擬服務/物品交易所打造的基礎鏈,具有安全、高可擴展性等特性,使得其可以在區塊鏈上運行大型去中心化應用。[2018/4/4]

圖片來源:https://blog.celestia.org/celestiums/我們以Celestia在以太坊Rollup上的應用QuantumGravityBridge為例進行解釋。以太坊主鏈上的L2Contract像往常一樣驗證有效性證明或欺詐證明,區別在于數據可用性由Celestia提供。Celestia鏈上沒有智能合約、不對數據進行計算,只確保數據可用。L2Operator把交易數據發布到Celestia主鏈,由Celestia的驗證人對DAAttestation的MerkleRoot進行簽名,并發送給以太坊主鏈上的DABridgeContract進行驗證并存儲。這樣實際上用DAAttestation的MerkleRoot代替證明了所有的數據可用性,以太坊主鏈上的DABridgeContract只需要驗證并存儲這個MerkleRoot,開銷得到了極大的降低。小結

圖片來源:IOSGVentures,據CelestiaBlog改制在逐一討論上述方案后,我們從安全性/去中心化程度、Gas花費的角度來做一個橫向比較。注意,該坐標圖僅代表筆者的個人理解,作為模糊的大致劃分而非定量比較。左下角的PureValidium安全性/去中心化程度和Gas花費都是最低的。中間部分是StarkEx和ArbitrumNova的DAC方案、zkPorter的Guardians驗證者集方案,以及通用化的Celestia和PolygonAvail方案。筆者認為采用zkPorter采用Guardians作為驗證者集,對比DAC來說安全性/去中心化程度稍高;而DA-Specific區塊鏈的方案對比一組驗證者集又要稍高。與此同時Gas花費也相應增加。當然這只是極粗略的比較。右上角的方框內是鏈上數據可用性的方案,有著最高的安全性/去中心化程度和Gas花費。從方框內部來看,由于這三種方案的數據可用性都由以太坊主鏈提供,故它們具有等同的安全性/去中心化程度。純Rollup方案對比單體化的以太坊來說顯然Gas花費更低,而在引入Proto-Danksharding和Danksharding之后,數據可用性的成本將進一步得到降低。注:本文討論的「數據可用性」語境大多在以太坊之下,需要注意Celestia和PolygonAvail是通用化的方案,并不限于以太坊本身。最后我們在表格中對上述方案做個總結。

圖片來源:IOSGVenturesClosingThoughts

在討論完上述數據可用性問題之后,我們發現所有方案本質上是在三難困境的相互制約下做權衡取舍,而方案之間的區別在于權衡的「細粒度」不同。從用戶角度考慮,協議提供同時鏈上和鏈下數據可用性的選項是合理的。因為在不同的應用場景之下、或者不同的用戶群體之間,用戶對安全性和成本的敏感程度亦各不相同。上文更多討論了數據可用性層對以太坊和Rollup的支持。在跨鏈通信上,Polkadot的中繼鏈為其他平行鏈提供了數據可用性的原生安全保證;而CosmosIBC依賴于輕客戶端模型,故確保輕客戶端能夠驗證源鏈和目標鏈的數據可用性至關重要。模塊化的好處在于可插拔和靈活性,能夠按需為協議做適配:例如卸下以太坊的數據可用性包袱,同時確保安全和信任級別;或是在多鏈生態下提升輕客戶端通信模型的安全級別,降低信任假設。不僅限于以太坊,數據可用性還可以在多鏈生態、甚至未來更多的應用場景下發揮作用。我們認為:未來的3至5年內,區塊鏈的架構必然會由單體化向模塊化演變,各層呈現低耦合狀態。未來可能出現Rollup-as-a-Service、DataAvailability-as-a-Service等許多模塊化組件的提供商,實現區塊鏈體系結構的可組合性樂高。模塊化區塊鏈是支撐下一個周期的重要敘事之一。其中,執行層的估值巨獸已經「四分天下」,后來者寥寥;共識層逐鹿中原,在Aptos和Sui等公鏈開始嶄露頭角后,公鏈競爭格局雖未塵埃落定,但其敘事已是新瓶裝舊酒,難以尋找合理的投資機會。而數據可用性層的價值仍然有待被發掘。

Tags:ROLLROLESTSTIQrolliTROLLBNB幣ALL BEST ICO SATOSHIJUSTICE幣

比特幣價格
DEF:DeFi「新敘事」?一文盤點擁有真實收益的DeFi協議_DeFiHorse

DeFi正在醞釀一個熱門的新敘事,它被稱為“真實收益”,協議根據創收情況向用戶支付收益。于是,我在這個不斷增長的行業中挑選了幾個項目,看看它們如何成為下一個周期的支柱.

1900/1/1 0:00:00
TOS:?公鏈迭代方向具備哪些特征?盤點下一輪牛市有望崛起的特色公鏈_APT

摘要隨著新公鏈市場熱度攀升,特色公鏈的概念隨之浮現,打敗以太坊的或許不是以太坊的Fork,而是更具破局性質,能夠幫助Web3.0走向成熟形態的好用公鏈.

1900/1/1 0:00:00
BNB:幣安五載再出發,做大Web3_web4幣怎么樣

從2008年比特幣誕生至今,整個加密金融發展史已十余年。近五年,市場牛熊輪轉,對于絕大多數加密企業而言,可能是一個難以跨越的鴻溝.

1900/1/1 0:00:00
AVA:一文讀懂12種Web3游戲玩家類型_NFT

Odaily星球日報譯者|Moni Web3游戲允許在免許可的去中心化市場上交易游戲內置物品并賺取收益,這為參與者創造了投資機會,同時也使游戲開發者利用經濟獎勵來“刺激”某些玩家行為.

1900/1/1 0:00:00
Maker:DAI上梁山:無法合規,只能去中心化自動浮動_MAKE

我在這里分享的很多信息和觀點,都來自于TornadoCash制裁之后,我與各路內部人士的對話以及公開信息。在過去幾年里,這些信息在私下里分享得更多.

1900/1/1 0:00:00
ATIC:一文了解在Polygon上賺取收益的四種方式_matic幣今日價格

什么是Polygon(MATIC)?Polygon是一個網絡擴容解決方案,旨在提供比以太坊網絡更快速的交易和更低的成本,PolygonPOS(ProofofStake)是一種側鏈.

1900/1/1 0:00:00
ads