深度解析Data Availability與Celestia的解決方案_HARE

作者：Bec修訂：Evelyn

什么是DataAvailability

大家都知道，區塊鏈技術的一個特點就是：存放在鏈上的數據是安全可靠的，不可篡改的。那數據可用性是指的什么呢？難道區塊鏈的共識不能保證數據的安全了嗎？顯然不是，區塊鏈數據的安全性，是大家都認可的，也是區塊鏈一直持續發展的一個動力之一。那么DA層是什么，我們先來看看下面幾種情況。一個節點如果想驗證某一筆交易或者某一個區塊，這個節點需要下載所有的區塊和交易數據。由于區塊鏈的持續運行，區塊和交易數據會持續增長，這個節點的成本也會越來越高。以至于越來越多的節點只能選擇運行輕節點。這些輕節點，沒有下載所有的交易數據，它們不能對交易和區塊進行驗證，只能相信它們選擇的共識節點。因此，實際上這些輕節點是不知道獲得的數據是否可用。同時區塊鏈網絡為了提高效率，一直在嘗試進行擴容。以太坊的L2就是以太坊的一種擴容方案，從而提高以太坊的吞吐量。但L1和L2在本質上還是兩個網絡，L1是不會參與L2的共識，也不會驗證和執行L2的交易，同理L2也不會參與L1的共識，亦不會驗證和執行L1的交易。但是在此時，L1與L2之間其實是有信任問題的，例如：Rollup要求將所有交易數據都記錄到以太坊的交易中，那么Rollup的用戶為了驗證自己的交易是否存入以太坊，他還需要運行一個以太坊的全節點嗎？從目前區塊鏈的工作機制當中我們可以知道，當一個節點不參與共識的時候，特別是沒有存儲所有交易數據的時候，對于它自己獲得的數據是否有效它是無法驗證的，這些節點目前都只能相信自己連接的共識節點不會欺騙自己，或者多連接幾個共識節點，做一個小小的容錯。因此DA層解決的問題是，在不參與共識、以及不用存儲所有交易數據的情況下，依然能夠對交易進行驗證，從而證明這個交易是否可用。Celestia

ARK首席執行官：顛覆性創新似乎處于深度價值領域:金色財經報道，ARK首席執行官Catherine Wood再其官網發布了《創新股并非泡沫：我們相信它們處于深度價值領域》研究文章，Catherine Wood表示，在五年的投資時間范圍內，我們對這些平臺的預測表明，我們今天的策略可以在未來五年內實現 30-40% 的復合年回報率。換句話說，如果我們的研究是正確的，我相信我們對創新的研究是金融界最好的。那么我們的戰略將在未來五年內實現三倍至五倍的價值。然而，隨著今年接近尾聲，投資者似乎對“穩扎穩打”更感興趣，并更接近基準，我們認為，在未來十年內，這些基準不太可能產生平均回報。就像 ARK 早期對電動汽車特斯拉和比特幣的研究和投資一樣，顛覆性創新似乎處于深度價值領域。根據我們過去八年的研究，未來十年超過 200 萬億美元。[2021/12/22 7:55:56]

在上面先介紹了什么是DA，接下來，我們再來看看Celestia項目是打算如何來解決這個問題的。Celestia項目圍繞二維Reed-Solomon糾刪碼，設計了一套隨機抽樣來驗證數據、以及恢復數據的方案從而確保數據可用。當一個全節點發現輕節點收到有問題的數據時，會構建一個欺詐證明并發送給這個輕節點，輕節點收到欺詐證明之后，從網絡中通過隨機抽樣的方式，獲得需要的數據，來驗證這個欺詐證明是否有效，從而能夠明確的知道自己之前獲得的數據是否可用。輕節點不需要信任給自己發送數據的節點，也不需要信任給自己發送欺詐證明的節點，這是因為輕節點是通過隨機抽樣的方式，來獲取進行此次驗證所需要的數據，因此安全性能是由整個網絡來提供的。這樣也使得DA層的安全等級，能夠接近共識層的安全等級。接下來，我們來了解一下Celestia具體是如何工作的。由于Celestia項目還處于開發測試階段，因此這里采用的都是現階段的白皮書的介紹方案，可能會與實際的解決方案有出入。準備

幣記Bitget與啟航資本達成深度合作關系:據官方消息，幣記Bitget與啟航資本達成深度合作關系，共同拓展市場。

啟航資本于2019年進入區塊鏈市場，主要專攻ETH合約 ，BTC合約，FIL現貨，數字貨幣量化（現貨、合約）。致力于技術分析，資金分配 ，風險控制管理。自2021年2月份深入合作以來，跟單人數已超千人，日交易量上千萬usdt。管理資金更是超百萬u，實現利潤與風險雙向控制。所有策略都是實時更新，保障合作用戶實時跟上操作。

幣記Bitget總部位于新加坡，是一家擁有四國牌照的專注于衍生品的全球數字資產交易平臺，在日本、韓國、越南、加拿大等地設有辦事處。幣記Bitget的標桿產品為一鍵跟單，累計跟單數超過360萬，全球擁有150多萬注冊用戶，合約交易量位居世界前五。[2021/4/30 21:12:38]

欺詐證明的驗證，必須是高效的，并且不需要全部的交易數據，也不需要執行具體的交易，因此Celestia對于自己區塊的數據，進行了一些擴展。1.stateRoot

狀態的稀疏默克爾樹的根，這種默克爾樹的葉節點，是一個key-value對。定義了一種變量，狀態見證(w)：是一些key-value對，以及他們在默克爾樹中的證明，組成的集合：

CoinBene滿幣與麥子錢包達成深度戰略合作:據官方消息，CoinBene滿幣與麥子錢包達成戰略合作，雙方將圍繞錢包安全維護展開多維度合作，此外，CoinBene滿幣還將在資產安全、生態建設、市場拓展等多方面與麥子錢包進行全方位緊密合作。

麥子錢包是一個多平臺的跨鏈錢包，支持 BTC、ETH、EOS等40個公鏈和去中心化的跨鏈交易，構建了一個多鏈的 DApp 生態系統，并參與多個 POS 公鏈的節點生態。

CoinBene滿幣在全球180多個國家和地區擁有500多萬用戶，日活躍用戶數超10萬，日均交易額30億美元。2019年初，平臺戰略布局合約衍生品市場，主要為投資者提供以BTC、USDT進行結算且安全、穩定的永續合約服務。[2020/5/12]

定義了一個函數，rootTransition：可以通過狀態根、交易、以及這些交易的狀態見證，轉換得到交易執行后的狀態的根。也就是每個交易執行后的狀態的默克爾根stateRoot`可以通過rootTransition(stateRoot,t,w)得到

云南省省長：推動區塊鏈等信息技術與實體經濟深度融合:3月5日，云南省全省加大投資促進發展電視電話會議在昆明召開。省委副書記、省長阮成發指出，要抓好數字經濟投資，搶抓疫情催生線上新業態發展的機遇，加快5G網絡基礎設施建設，推動互聯網、大數據、人工智能、區塊鏈等信息技術與實體經濟深度融合，大力培育新業態、新動能。（云南發布）[2020/3/5]

2.dataRoot

將交易，以及這些交易執行的中間狀態根，組合成一個固定大小與固定格式的shares。這些所有的交易的shares，按照二維RS糾刪碼，進行擴展，最后得到一個默克爾樹的根，即dataRoot。具體步驟將初始的交易數據，按照shares的大小與格式進行封裝。將shares放入一個k×k的矩陣，如果數量不夠，則填充補齊。然后應用RS糾刪碼，按照行和列進行3次補齊，最終得到一個2k?2k的矩陣。對這個矩陣的每一行和每一列，都構建一個默克爾樹，得到2?k個行根和2?k個列根。最后將這4?k個根，組成一個默克爾樹，得到根dataRoot。

動態 | 福建省：啟動“政府上鏈”工程，推動區塊鏈和實體經濟深度融合:《福建日報》今日刊文稱，福建省將多方發力，做強做大數字經濟，引領福建高質量發展，其中包括打造區塊鏈發展高地：啟動“政府上鏈”工程，推動區塊鏈技術在數字金融、物聯網、智能制造、供應鏈管理、數字資產交易、教育、精準脫貧、不動產、醫療健康、商品防偽、社會救助、跨境貿易等多個領域應用，推動區塊鏈和實體經濟深度融合。[2019/11/3]

sharesshares是Celestia項目定義的一個固定大小和格式的數據結構。主要內容是交易，以及執行這些交易的中間狀態根。由于沒有具體規定多少交易，需要生成對應的中間狀態根，項目方設定了一個Period變量，作為最大限制周期，這個限制可以是最大多少交易之內必須生成中間狀態根，也可以是多少字節，或者多少GAS。還定義了兩個函數來幫助驗證：parseShares函數：輸入shares，得到消息m，可以是中間狀態根，也可能是交易。parsePeriod函數：輸入消息，得到前狀態根，執行后狀態根，以及交易列表。設定的格式舉例固定256字節0-80：開始的交易81-170：包含的交易171-190：中間狀態根191-256：下一批開始的交易白皮書中，介紹了兩種欺詐證明，下面將分別對此進行介紹：3.狀態轉換無效的欺詐證明

這是一個針對stateRoot的一個欺詐證明。全節點利用dataRoot中的shares，來幫助輕節點驗證收到的區塊頭中的stateRoot是否有效。狀態轉換無效的欺詐證明的組成：對應塊的blockhash相關的shares這些shares在dataRoot對應的默克爾樹中的默克爾證明這些shares包含的交易的狀態見證。證明的驗證：驗證blockhash，確定是對于哪個區塊的欺詐證明。驗證證明中的每個shares的默克爾證明是否有效。通過shares的兩個解析函數，可以正確得到對應的交易列表，以及這批交易的執行前狀態根和執行后狀態根。并且如果執行前狀態根為空，則第一個交易一定是塊的第一筆交易；同時如果執行后狀態根為空，則最后一筆交易一定也是塊的最后一筆交易。根據rootTransition函數，來驗證得到的兩個狀態根。4.錯誤生成擴展數據的欺詐證明

這是一個針對shares在網絡傳播時，當一個全節點從網絡中收到shares恢復的數據，與自己的數據不匹配時，會向網絡回應欺詐證明。錯誤生成擴展數據的欺詐證明的組成：錯誤的shares所在行或列的默克爾根。這個行或列的默克爾根，在dataRoot對應的默克爾樹中的默克爾證明。這足夠恢復這一行或列的shares。每個shares在dataRoot對應的默克爾樹中的默克爾證明。證明的驗證：驗證blockhash，確定是對于哪個區塊的欺詐證明。驗證證明中行或列的默克爾根的默克爾證明是否有效。注：VerifyMerkleProof(行或列的默克爾根，行或列的默克爾根的默克爾證明，dataRoot，長度，位置索引)其中前面2個數據是證明攜帶的數據，后面3個是本地數據。驗證證明中每個shares的默克爾證明是否有效。注：VerifyShareMerkleProof（shares，shares的默克爾證明，dataRoot，長度，位置索引)其中dataRoot是本地數據，另外數據都是從證明中獲得。通過收到的shares，恢復這一行或列的所有數據，并驗證其默克爾根是否等于自己之前收到的對應行或列的默克爾根。數據可用性

通過2維RS糾刪碼，Celestia的輕節點通過隨機抽樣的方式，來獲取區塊數據，以及驗證欺詐證明的相關數據。同時隨機抽樣的數據，并在網絡中傳播，當達到一定的數量時，也可以幫助網絡恢復區塊數據。下面介紹一下具體的工作流程：輕節點從任意一個連接的全節點中獲取一個新區塊的塊頭，以及2k個行和2k個列的默克爾根。先用這些默克爾根與區塊頭中的dataRoot進行初步校驗。如果錯誤則拒絕這個區塊頭。在這個2k×2k的矩陣中，輕節點隨機挑選一組不重復的坐標，將這些坐標發送給與自己相連的全節點們。如果一個全節點擁有這些坐標所對應的所有數據，就會將這個坐標對應的shares，以及shares的行或列的默克爾證明，回應給輕節點。輕節點對于每一個收到的shares，都會驗證其默克爾證明是否有效。注：VerifyMerkleProof其中前面2個數據是證明攜帶的數據，后面3個是本地數據。如果一個全節點沒有回應某一個坐標的shares，輕節點則會將自己收到的對應的shares、以及它的默克爾證明發送給這個全節點，這個全節點也會將收到的數據轉發給相連的其他全節點。如果步驟4中的驗證都沒有問題，并且步驟2中抽樣的坐標都有收到回應，同時在一個設定的時間段內沒有收到關于這個區塊的欺詐證明，則輕節點認為這個區塊是數據可用的。

Tags：HARESHASHAREAREOuro Governance ShareMediSharesShareX

比特幣價格今日行情