ROL:科普 | 什么是 “數據可得性” ？_區塊鏈技術發展現狀和趨勢

“數據可得性”和“數據可得性問題”指的是一些區塊鏈擴容方案所面臨一個問題。具體來說，就是當新的區塊創建時，節點如何確保該區塊中的所有數據都已發布到網絡上？困難之處在于，如果區塊生產者沒有公布區塊中的所有數據，就沒人能發現該區塊中是否隱藏了惡意交易。

在本文中，我將深入探討數據可得性問題的重要性，以及相關解決方案。

區塊鏈節點是如何運行的？

區塊鏈上的每個區塊都由兩部分組成：

區塊頭，即，區塊的元數據，由一些關于區塊內容的基本信息組成，包括交易的默克爾根。

交易數據，即，區塊的主要組成部分，由實際的交易數據組成。

區塊鏈網絡中主要有兩類節點：

全節點。這類節點會下載區塊鏈中的每筆交易并驗證其有效性。這需要消耗大量資源和數百GB的磁盤空間，但是這些節點的安全性最高，因為它們不會接受包含無效交易的區塊。

輕客戶端。如果你的計算機沒有足夠的資源來運行全節點，你可以運行輕客戶端。輕客戶端不需要下載或驗證任何交易。它們只下載區塊頭，并認定區塊中包含的交易都是有效的。因此，輕客戶端的安全性低于全節點。

針對馬斯克操縱DOGE幣價的集體訴訟或將Twitter列為被告:金色財經報道，針對 Elon Musk 操縱 DOGE 幣價的集體訴訟或將 Twitter 列為被告。該集體訴訟原告的代表 Evan Spencer 表示，此前 Twitter 將其標志改為 DOGE 代幣的 logo-jozw 后又改回，導致 DOGE 價格短時間內上漲后再度下跌，故將向法院提交將 Twitter 列為被告的動議。[2023/4/12 13:59:43]

幸運的是，有一種方法可以讓輕客戶端間接檢查區塊中的所有交易是否有效。輕客戶端可以依賴全節點向其發送關于無效交易的欺詐證明，無需自己檢查交易的有效性。欺詐證明是一個很小的證明，可以證明區塊中的某個交易是無效的。關于欺詐證明的運作原理，本文不做具體介紹，請閱讀這篇文章。

這里只有一個問題：全節點如果要為某個區塊生成欺詐證明，需要知道該區塊的交易數據。如果區塊生產者只公布區塊頭，沒有公布交易數據的話，全節點就無法驗證交易的有效性，并針對無效交易生成欺詐證明了。這就要求區塊生產者公布區塊的所有數據，但是我們需要找到一種方法來強制實行。

ZeroSync協會正在基于STARK證明開發比特幣證明系統:3月28日消息，三位德國計算機科學家Robin Linus、Tino Steffens、Lukas George 等成立一個名為ZeroSync協會（ZeroSync Association）的瑞士非營利組織，將帶頭開發比特幣證明系統，構建具有比特幣隱私、互操作性和可擴展性的未來。ZeroSync基于STARK證明，為了實現比特幣證明，使用由StarkWare創建的Cairo語言。

ZeroSync將分三個連續階段推出，分別為標頭鏈證明、假設有效鏈證明和全鏈證明，目前已經完成了前兩個原型。ZeroSync Toolkit還將為比特幣開發人員提供強大工具，以將零知識證明應用于他們自己的產品和服務。（Coindesk）[2023/3/28 13:30:52]

為了解決這個問題，輕客戶端需要找到某種方法來檢查區塊的交易數據是否真的發布到了網絡上，以便全節點進行驗證。然而，我們又要避免讓輕客戶端下載整個區塊，因為這會使得輕客戶端喪失存在的意義。

我們該如何解決這一問題？首先，我們先來討論數據可得性問題的相關性，以及如何采取解決措施。

摩根士丹利：美國監管機構可能加大對向加密公司提供服務銀行的打擊力度:金色財經報道，摩根士丹利周三在一份研究報告中表示，美國監管機構可能即將加大對向加密公司提供服務的銀行的打擊力度。加密貨幣的Silvergate Bank (SI) 以行業和監管發展為由決定關閉，關閉了在美國將法定貨幣轉換為加密貨幣的入口，監管行動也可能導致其他途徑被關閉。

此外，該公司注意到監管機構采取了協調行動，以強調美國銀行提供加密服務的風險。美聯儲、聯邦存款保險公司和貨幣監理署上月底發表聯合聲明，警告銀行考慮與加密貨幣相關的流動性風險。

分析師 Sheena Shah 和 Kinji C. Steimetz 寫道，如果無法在法定貨幣和加密貨幣之間提供入口，流入加密貨幣領域的資金將會放緩。[2023/3/10 12:53:10]

數據可得性問題與哪些方案有關

在上一節中，我們介紹了數據可得性問題。讓我們來討論一下它對可擴展性解決方案的重要性。

增加區塊大小

在比特幣等區塊鏈中，絕大部分一般的手提電腦都能運行全節點并驗證整條鏈，因為存在人為規定的區塊大小上限，來防止區塊鏈變得過大。

Crusoe Energy使用廢棄天然氣作為能源進行比特幣采礦:金色財經報道，美國私營公司Crusoe Energy使用廢棄的天然氣作為能源進行比特幣采礦，目前正在中東地區擴張，其投資來自阿布扎比主權財富基金 (SWF) Mubadala 和阿曼投資局 (OIA)。（Coindesk）[2022/6/5 4:03:46]

但是，如果我們想要增加區塊大小上限該怎么辦？那就只有更人才能負擔得起運行全節點并獨立驗證區塊鏈的成本，大多數人都會運行安全性更低的輕客戶端。這并不利于去中心化，因為這會讓區塊生產者更容易更改協議規則，插入無效交易來欺騙輕客戶端。因此，為輕客戶端提供欺詐證明支持很重要，但是正如我們已經討論過的，輕客戶端需要一種方法來驗證區塊中的所有數據是否都已發布至網絡。

分片

提高區塊鏈吞吐量的一種方法是，將區塊鏈分成多條鏈，即，分片。這些分片都有自己的區塊生產者，而且可以相互通信，以便在分片之間轉移代幣。分片的意義在于，將網絡中的區塊生產者分組，這樣就不需要每個區塊生產者處理每個交易，只需將他們分散到不同的分片上即可。每個分片只需處理部分交易。

數字人民幣（試點版）APP華為應用市場下載安裝量突破3000萬次:金色財經報道，據最新數據顯示，華為應用市場的數字人民幣（試點版）APP下載安裝量已突破3000萬次，本文撰寫時為3400萬次。數字人民幣（試點版）APP華為應用市場下載安裝量在1月28日突破1000萬次，3月6日突破2000萬次，4月17日突破2500萬次，這意味著在不到四個月時間里下載安裝量增幅達到240%。[2022/5/21 3:32:55]

通常來說，在分片式區塊鏈上，驗證者只需要為一個或少數幾個分片運行全節點，并為其它分片運行輕客戶端。畢竟，如果每個驗證者都要為每個分片運行一個全節點，就無法實現分片的目的——將網絡的開銷分割給不同節點。

然而，這種方法本身存在缺陷。如果分片上的區塊生產者作惡，開始接受無效交易怎么辦？相比非分片式系統，分片式系統更有可能發生這種情況，因為后者的每個分片上只有少量區塊生產者，攻擊起來更容易。請記住，區塊生產者會被不斷分配到不同的分片上。

為便于察覺是否存在分片接受無效交易的情況，我們必須確保分片中的所有數據都是公開可得的，以便使用欺詐證明來證明所有無效交易。

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：區塊鏈ROLLROL比特幣區塊鏈技術發展現狀和趨勢Roller InuTROLLBNB比特幣中國官網地址點擊進入官網

LTC