“數據可得性”和“數據可得性問題”指的是一些區塊鏈擴容方案所面臨一個問題。具體來說,就是當新的區塊創建時,節點如何確保該區塊中的所有數據都已發布到網絡上?困難之處在于,如果區塊生產者沒有公布區塊中的所有數據,就沒人能發現該區塊中是否隱藏了惡意交易。
在本文中,我將深入探討數據可得性問題的重要性,以及相關解決方案。
區塊鏈節點是如何運行的?
區塊鏈上的每個區塊都由兩部分組成:
區塊頭,即,區塊的元數據,由一些關于區塊內容的基本信息組成,包括交易的默克爾根。
交易數據,即,區塊的主要組成部分,由實際的交易數據組成。
區塊鏈網絡中主要有兩類節點:
全節點。這類節點會下載區塊鏈中的每筆交易并驗證其有效性。這需要消耗大量資源和數百GB的磁盤空間,但是這些節點的安全性最高,因為它們不會接受包含無效交易的區塊。
輕客戶端。如果你的計算機沒有足夠的資源來運行全節點,你可以運行輕客戶端。輕客戶端不需要下載或驗證任何交易。它們只下載區塊頭,并認定區塊中包含的交易都是有效的。因此,輕客戶端的安全性低于全節點。
模塊化區塊鏈網絡Celestia推出OPStack模塊化數據可用性接口Beta版本:6月2日消息,模塊化區塊鏈網絡 Celestia 宣布推出 OP Stack 模塊化數據可用性(DA)接口的 Beta 版本,允許開發人員定義 DA 層并從任何區塊鏈繼承安全性,包括以太坊、Celestia 和比特幣。Rollup 平臺 Caldera 將很快發布 Taro 測試網,允許開發人員和用戶使用模塊化 DA 試用 OP Stack 的第一個公共測試網。[2023/6/2 11:54:19]
幸運的是,有一種方法可以讓輕客戶端間接檢查區塊中的所有交易是否有效。輕客戶端可以依賴全節點向其發送關于無效交易的?欺詐證明,無需自己檢查交易的有效性。欺詐證明是一個很小的證明,可以證明區塊中的某個交易是無效的。關于欺詐證明的運作原理,本文不做具體介紹,請閱讀這篇文章。
這里只有一個問題:全節點如果要為某個區塊生成欺詐證明,需要知道該區塊的交易數據。如果區塊生產者只公布區塊頭,沒有公布交易數據的話,全節點就無法驗證交易的有效性,并針對無效交易生成欺詐證明了。這就要求區塊生產者公布區塊的所有數據,但是我們需要找到一種方法來強制實行。
以太坊基金會在Github發起數據可用性采樣需求建議書:5月20日消息,以太坊基金會(EF)在Github發起數據可用性采樣(DAS)的需求建議書(RPF),涉及數據可用性采樣網絡的研究、設計、調查、實現等。根據需求建議書,以太坊基金會希望可以獲得旨在設計、完善、構建、分析和測試理論和實踐DAS技術的建議,目前以太坊基金會已為該提案提供了150萬美元資金。[2022/5/20 3:30:39]
為了解決這個問題,輕客戶端需要找到某種方法來檢查區塊的交易數據是否真的發布到了網絡上,以便全節點進行驗證。然而,我們又要避免讓輕客戶端下載整個區塊,因為這會使得輕客戶端喪失存在的意義。
我們該如何解決這一問題?首先,我們先來討論數據可得性問題的相關性,以及如何采取解決措施。
數據可得性問題與哪些方案有關
在上一節中,我們介紹了數據可得性問題。讓我們來討論一下它對可擴展性解決方案的重要性。
增加區塊大小
在比特幣等區塊鏈中,絕大部分一般的手提電腦都能運行全節點并驗證整條鏈,因為存在人為規定的區塊大小上限,來防止區塊鏈變得過大。
隱私及數據保護平臺HOPR利用Ceramic提供數據可驗證性:9月10日消息,隱私及數據保護平臺HOPR宣布,已經開始使用去中心化網絡存儲協議Ceramic向節點運行者提供鏈下日志信息,同時保持其數據的隱私性。HOPR協議是新一代去中心化應用程序的第0層隱私基礎。HOPR激勵混合網允許任何應用程序發送數據,而不會泄露數據或元數據。HOPR節點將依靠Ceramic來追蹤節點支付,而不會犧牲用戶隱私。[2021/9/10 23:16:21]
但是,如果我們想要增加區塊大小上限該怎么辦?那就只有更人才能負擔得起運行全節點并獨立驗證區塊鏈的成本,大多數人都會運行安全性更低的輕客戶端。這并不利于去中心化,因為這會讓區塊生產者更容易更改協議規則,插入無效交易來欺騙輕客戶端。因此,為輕客戶端提供欺詐證明支持很重要,但是正如我們已經討論過的,輕客戶端需要一種方法來驗證區塊中的所有數據是否都已發布至網絡。
分片
提高區塊鏈吞吐量的一種方法是,將區塊鏈分成多條鏈,即,分片。這些分片都有自己的區塊生產者,而且可以相互通信,以便在分片之間轉移代幣。分片的意義在于,將網絡中的區塊生產者分組,這樣就不需要每個區塊生產者處理每個交易,只需將他們分散到不同的分片上即可。每個分片只需處理部分交易。
金色相對論 | BSN副秘書長李慧:區塊鏈主要解決的是數據可追溯、多方互信等問題:在今日舉行的金色相對論中,針對“區塊鏈落地的爆發點會在哪兒”的問題,火幣區塊鏈研究院副院長區塊鏈服務網絡(BSN)副秘書長李慧表示,區塊鏈主要解決的是數據可追溯、多方協同以及多方互信等問題,涉及到多方的問題,通常都是比較復雜的問題,需要大家一起來配合。但在實際落地實施的過程中總會碰到這樣那樣的問題,如果沒有一個強有力的執行方和推動方,很可能一個很好的項目就會擱置起來,難以落地,我們也不難從很多失敗的區塊鏈項目看到這樣的情景再現。最好的落地場景,我認為在當前階段如要滿足以下幾個特點,才有較高的落地成功概率。
1.有真實的業務痛點和需求,除了區塊鏈技術其它技術是很難解決的;
2.應用場景業務復雜度不高,能夠快速做試點,并有良好的可復制性;
3.參與各方利益目標一致,可以實現“共贏”;
4.有實際的推動方,有促成項目成功的強烈愿望和需求。[2020/6/3]
通常來說,在分片式區塊鏈上,驗證者只需要為一個或少數幾個分片運行全節點,并為其它分片運行輕客戶端。畢竟,如果每個驗證者都要為每個分片運行一個全節點,就無法實現分片的目的——將網絡的開銷分割給不同節點。
動態 | 硅谷洞察研究院:區塊鏈數據可追蹤性、不可篡改性兩大技術特點的應用最為普遍:硅谷洞察研究院今日發布《2019全球區塊鏈產業應用與人才培養白皮書》。報告指出,總體來講,從技術層面,區塊鏈的數據可追蹤性、數據不可篡改性這兩個技術特點的應用最為普遍;行業中以私有鏈和聯盟鏈的率先應用為主。在行業實踐中,區塊鏈與金融領域的結合最為突出,2019年區塊鏈領域發生的大事件也普遍在金融領域,例如Facebook發布Libra,DeFi(去中心化金融)概念的大規模的推廣等。金融領域之外,區塊鏈技術也已開始與制造、醫療、財會、政府服務等領域結合并落地。[2020/1/2]
然而,這種方法本身存在缺陷。如果分片上的區塊生產者作惡,開始接受無效交易怎么辦?相比非分片式系統,分片式系統更有可能發生這種情況,因為后者的每個分片上只有少量區塊生產者,攻擊起來更容易。請記住,區塊生產者會被不斷分配到不同的分片上。
為便于察覺是否存在分片接受無效交易的情況,我們必須確保分片中的所有數據都是公開可得的,以便使用欺詐證明來證明所有無效交易。
Rollup
Optimisticrollup是一種基于rollup側鏈的新型可擴展性策略。這些側鏈有自己專屬的區塊生產者,可與其它側鏈互相轉移資產。
但是,如果有惡意的區塊生產者將無效交易打包進區塊,將側鏈上所有用戶的資金盜走怎么辦?為解決這一問題,我們可以使用欺詐證明來發現這種情況。但是,還是那個老問題,側鏈用戶需要找到某種方法來確保側鏈上所有區塊的數據都公開可見,以便發現無效交易。為了解決這一問題,以太坊上的Rollup將所有rollup區塊都發布到以太坊區塊鏈上,依賴以太坊來實現數據可得性。也就是說,將以太坊作為數據可得性層。
ZK-rollup與optimisticrollup類似。區別在于,前者并非使用欺詐證明來發現無效區塊,而是使用有效性證明來證明區塊的有效性。有效性證明本身不需要數據可得性。然而,總的來說,ZK-rollup需要數據可得性,因為如果區塊生產者創建了一個有效區塊,并為其生成有效性證明,卻沒有公布區塊數據,用戶就無法知道區塊鏈的狀態以及他們的余額,也就無法與區塊鏈進行交互。
進一步探索
rollup的設計旨在將區塊鏈作為數據可得性層來存儲交易,但是實際的交易處理和計算都發生在rollup上。這是一種很有趣的思路:區塊鏈實際上不需要進行任何計算,但是至少需要將交易分裝到區塊中,并確保交易的數據可得性。
這也是LazyLedger的設計思路,即,一種“懶惰的”區塊鏈,只需要完成區塊鏈的兩個核心任務——通過可擴展方式對交易進行排序,并實現交易的數據可得性。這使得LazyLedger成為rollup等系統中的最小“可拔插”組件。
數據可得性問題的解決方案
下載所有數據
正如上文所討論的那樣,解決數據可得性問題的最直接方法就是,要求所有人下載所有數據。顯然,這種方法不具備良好的可擴展性。比特幣和以太坊等大多數區塊鏈均采用這種方法。
數據可得性證明
數據可得性證明是一種新技術:客戶端只需下載區塊中的一小部分數據,即可檢查該區塊中所有數據是否均已發布。
數據可得性證明采用了一種被稱為糾刪碼的數學元件。糾刪碼被廣泛應用到了從CD-ROM到衛星通信再到二維碼等信息技術中。糾刪碼可以將原本1MB的區塊數據擴充成2MB,其中多出的1MB就是叫做糾刪碼的特殊數據。如果區塊中的任何字節丟失,糾刪碼都可以幫你找回它們。即使整個區塊的數據丟失,糾刪碼也可以幫你找回所有數據。同樣地,有了糾刪碼,即使CD-ROM中的數據都被擦除,你的計算機也可以讀取到。
這就意味著,要實現100%的數據可得性,區塊生產者只需將區塊中50%的數據發布到網絡上。如果惡意區塊生產者想要成功隱瞞1%的數據,就必須隱瞞超過50%的數據,否則這1%的數據可以通過剩下50%的數據找回。
有了這個知識,客戶端就能采取措施來確保區塊中的數據不會被隱藏。客戶端可以嘗試隨機下載區塊切分而成的數據塊,如果他們未能成功下載數據塊,它們就會拒絕承認該區塊的數據可得性。如果下載一個隨機數據塊,客戶端就有50%的概率發現無效區塊。如果下載兩個數據塊,就有75%的概率。如果下載三個數據塊,就有87.5%的概率。以此類推,直到下載七個數據塊之后,就有99%的概率。通過這種方式,客戶端只需下載區塊中的一小部分數據,即可有效檢查整個區塊的數據可得性。
數據可得性證明的全部細節會更復雜一些,而且依賴于其它假設,例如,網絡中的輕客戶端數量不能低于某個下限,這樣就有足夠多的輕客戶端請求數據塊,以便恢復整個區塊的數據。如果你想了解更多信息,可以查看關于數據可用性證明的論文。
結論
在本文中,我們介紹了數據可用性問題,討論了數據可用性對區塊鏈可擴展性的重要性,并提出了解決方案。
如果你想了解更多信息,請查看以下資料:
JohnAdler’swhiteboardsessionaboutfraudanddataavailabilityproofs
Originalfraudanddataavailabilityproofspaper
CodedMerkleTreespaperonanalternativedataavailabilityscheme
EthereumResearchwikipostonthedataavailabilityproblem
原文鏈接:
https://coinmarketcap.com/alexandria/article/what-is-data-availability
作者:?MustafaAl-Bassam
翻譯&校對:?閔敏&阿劍
Tags:區塊鏈ROLROLL以太坊有人靠區塊鏈4天就掙了30萬塊錢SwaprolAITROLLS以太坊幣最新價格行情新浪
?有朋友問我,BTC發生什么事了??BTC突破了2萬美金!!BTC不講武德。一個偷襲上高點,閃電五連漲。這好嗎?這很好。訓練有素有備而來。按照傳統功夫顛倒位置,空軍已經輸了.
1900/1/1 0:00:00DidiTaihuttu是荷蘭一個狂熱的比特幣愛好者,4年前,為了倡導一種純數字貨幣的生活理念,他說服老婆,賣掉了家里五室一廳的房子和各種珠寶首飾.
1900/1/1 0:00:00鏈聞消息,加密貨幣交易平臺BitMax將于北京時間12月18日22:00上去中心化跨鏈協議KIRANetwork代幣KEX,并開放KEX/USDT交易對,充提已開放.
1900/1/1 0:00:00相比前兩年,隨著今年FIL挖礦的上線,Filecoin幣挖礦更熱了,新加入的礦機公司更多了,新進入的礦工更多了,騙人的招數也更多了.
1900/1/1 0:00:00當前FIL挖礦是越來越火爆了,自從10月份FIL上主網以來,大小礦工蜂擁而至,挖礦生態和共識不斷好轉。FIL也一直是在各大APP熱度榜坐穩龍頭位置,甚至一度超過了剛創歷史新高的比特幣.
1900/1/1 0:00:00最近市場有很多公司宣傳賣滿算力礦機,不用自己出質押幣,買了之后第2天單T產幣量就能達到全網最高值.
1900/1/1 0:00:00