什么是DataAvailability
大家都知道,區塊鏈技術的一個特點就是:存放在鏈上的數據是安全可靠的,不可篡改的。那數據可用性是指的什么呢?難道區塊鏈的共識不能保證數據的安全了嗎?顯然不是,區塊鏈數據的安全性,是大家都認可的,也是區塊鏈一直持續發展的一個動力之一。那么DA層是什么,我們先來看看下面幾種情況。
一個節點如果想驗證某一筆交易或者某一個區塊,這個節點需要下載所有的區塊和交易數據。由于區塊鏈的持續運行,區塊和交易數據會持續增長,這個節點的成本也會越來越高。以至于越來越多的節點只能選擇運行輕節點。這些輕節點,沒有下載所有的交易數據,它們不能對交易和區塊進行驗證,只能相信它們選擇的共識節點。因此,實際上這些輕節點是不知道獲得的數據是否可用。
同時區塊鏈網絡為了提高效率,一直在嘗試進行擴容。以太坊的L2就是以太坊的一種擴容方案,從而提高以太坊的吞吐量。但L1和L2在本質上還是兩個網絡,L1是不會參與L2的共識,也不會驗證和執行L2的交易,同理L2也不會參與L1的共識,亦不會驗證和執行L1的交易。但是在此時,L1與L2之間其實是有信任問題的,例如:Rollup要求將所有交易數據都記錄到以太坊的交易中,那么Rollup的用戶為了驗證自己的交易是否存入以太坊,他還需要運行一個以太坊的全節點嗎?
Exactly Protocol:EXA空投已開放申領:7月26日消息,DeFi借貸協議Exactly Protocol官方宣布,已于OP Mainnet推出Exactly DAO治理代幣EXA,空投申領已于北京時間7月26日00:00開放,EXA總量1000萬枚,空投占比1%并有4個月的線性解鎖期。
此前報道,固定收益協議Exactly Protocol(原Exactly Finance)于2021年8月份宣布完成300萬美元種子輪融資,風投基金Kaszek領投。[2023/7/26 15:58:55]
從目前區塊鏈的工作機制當中我們可以知道,當一個節點不參與共識的時候,特別是沒有存儲所有交易數據的時候,對于它自己獲得的數據是否有效它是無法驗證的,這些節點目前都只能相信自己連接的共識節點不會欺騙自己,或者多連接幾個共識節點,做一個小小的容錯。
因此DA層解決的問題是,在不參與共識、以及不用存儲所有交易數據的情況下,依然能夠對交易進行驗證,從而證明這個交易是否可用。
Celestia
在上面先介紹了什么是DA,接下來,我們再來看看Celestia項目是打算如何來解決這個問題的。
Celestia項目圍繞二維Reed-Solomon糾刪碼,設計了一套隨機抽樣來驗證數據、以及恢復數據的方案從而確保數據可用。
以太坊客戶端Geth發布v1.12.0版本,不再支持POW:5月25日消息,Go Ethereum發布以太坊客戶端Geth v1.12.0版本(Krogam DMZ),不再支持工作量證明(POW),因此不能再用于基于PoW的私有鏈,或作為依賴ethash PoW的項目的上游庫。[2023/5/25 10:40:09]
當一個全節點發現輕節點收到有問題的數據時,會構建一個欺詐證明并發送給這個輕節點,輕節點收到欺詐證明之后,從網絡中通過隨機抽樣的方式,獲得需要的數據,來驗證這個欺詐證明是否有效,從而能夠明確的知道自己之前獲得的數據是否可用。輕節點不需要信任給自己發送數據的節點,也不需要信任給自己發送欺詐證明的節點,這是因為輕節點是通過隨機抽樣的方式,來獲取進行此次驗證所需要的數據,因此安全性能是由整個網絡來提供的。這樣也使得DA層的安全等級,能夠接近共識層的安全等級。
接下來,我們來了解一下Celestia具體是如何工作的。由于Celestia項目還處于開發測試階段,因此這里采用的都是現階段的白皮書的介紹方案,可能會與實際的解決方案有出入。
準備
欺詐證明的驗證,必須是高效的,并且不需要全部的交易數據,也不需要執行具體的交易,因此Celestia對于自己區塊的數據,進行了一些擴展。
德州議員投票贊成將數字貨幣的使用納入州權利法案:5月11日消息,德克薩斯州立法者周三以壓倒性多數(139票贊成,只有兩票反對)投票贊成更新該州的權利法案,新法案將人民擁有、持有和使用數字貨幣的權利包括在內。[2023/5/11 14:58:06]
1.stateRoot
狀態的稀疏默克爾樹的根,這種默克爾樹的葉節點,是一個key-value對。
定義了一種變量,狀態見證(w):是一些key-value對,以及他們在默克爾樹中的證明,組成的集合:
定義了一個函數,rootTransition:可以通過狀態根、交易、以及這些交易的狀態見證,轉換得到交易執行后的狀態的根。也就是每個交易執行后的狀態的默克爾根stateRoot`可以通過rootTransition(stateRoot,t,w)得到
2.dataRoot
將交易,以及這些交易執行的中間狀態根,組合成一個固定大小與固定格式的shares。這些所有的交易的shares,按照二維RS糾刪碼,進行擴展,最后得到一個默克爾樹的根,即dataRoot。
0xScope:Eureka Trading創始人被黑1500萬美元資產已轉入Tornado Cash:4月17日消息,據0xScope監測顯示,Eureka Trading創始人Kuan Sun2022年6月被黑的1500萬美元資產通過Uniswap、Curve與Sushi Swap交換成1935枚ETH、120枚WBTC與630萬枚DAI,并通過Tornado Cash進行轉移。Foresight News注,Kuan Sun發推稱,2022年6月因私鑰泄露被黑1500萬美元,到目前為止已經為黑客收集了一些IP和其他信息,但是我鼓勵所有加密成員和安全專家參與此案,并且非常樂意為有價值的幫助提供賞金。黑客地址為:0xA1ac23bE458E14AC0A0003DC1343D2AC575EA3b6。[2023/4/17 14:08:03]
具體步驟
將初始的交易數據,按照shares的大小與格式進行封裝。
將shares放入一個k×k的矩陣,如果數量不夠,則填充補齊。
然后應用RS糾刪碼,按照行和列進行3次補齊,最終得到一個2k?2k的矩陣。
對這個矩陣的每一行和每一列,都構建一個默克爾樹,得到2?k個行根和2?k個列根。
最后將這4?k個根,組成一個默克爾樹,得到根dataRoot。
區塊鏈溯源服務公司Verofax完成75萬美元融資:金色財經報道,區塊鏈溯源服務公司Verofax宣布完成75萬美元融資,本次融資是通過巴林中央銀行許可和監管的眾籌平臺Beban Crowdfunding進行的。Verofax是一家應用區塊鏈構建創新溯源服務的初創公司,利用區塊鏈和人工智能等技術幫助品牌確保供應鏈合規且可持續,該公司曾在2020年完成過一筆未披露金額的pre-seed輪融資。(benzinga)[2023/3/5 12:43:34]
shares
shares是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:SHAREARERESSHAMirrored ProShares VIXSmartshareWCRESshadowfi幣處理結果
Web3項目在開發生命周期的各個階段都應考慮添加保障安全性的流程。許多發生在Web3項目上的黑客攻擊都可以通過加強智能合約的安全性進行避免.
1900/1/1 0:00:00我們來看一下今天的信息:6月13日4時,以太坊網絡當前已銷毀244.12萬枚ETH。6月13日10時,三箭資本創始人ZhuSu已在推特個人介紹中刪除ETH、AVAX等代幣.
1900/1/1 0:00:00NFT子DAO是NGGDAO首推的第一個DAO組織,通過DAO組織凝聚強大共識,合作各大NFTIP,賦能NFT在元宇宙世界的應用價值.
1900/1/1 0:00:00比特幣: 日線:1.所以近期不看反轉;充其量有些反彈走勢;37560以下個人都不看反轉。從矩陣圖看;后市應可以看到25開頭的價位。4小時圖,短期再次回到震蕩箱體下軌支撐附近.
1900/1/1 0:00:00事件:5月19日,美國商務部國際貿易管理中心發布《發展加密資產技術競爭力框架》征求意見稿。回應年初總統令.
1900/1/1 0:00:00區塊鏈物流公司唯鏈基金會與UFC簽署合作伙伴關系協議,唯鏈的營銷資產將覆蓋全球約9億觀看賽事的家庭.
1900/1/1 0:00:00