在這篇文章中,我們深入研究了數據可用性問題的細節以及它如何影響以太坊的擴展。
什么是數據可用性問題?
數據可用性問題:區塊鏈網絡中的節點如何確保新提議區塊的所有數據實際上是可用的?如果數據不可用,則該塊可能包含被塊生產者隱藏的惡意交易。
舉個例子,假設Alice是ZK-Rollup(ZKR)的運營商。她在以太坊上提交了經過驗證的ZK證明。如果她沒有在以太坊上提交所有交易數據,盡管她的證據證明rollup中進行的所有狀態轉換都是有效的,但rollup的用戶仍然可能對其當前賬戶余額一無所知。由于提交的證明的零知識性質,提交的證明沒有說明當前狀態。
OptimisticRollup(OPR)設置中有一個類似的例子,Alice在以太坊上提交了一個斷言,但OPR的任何參與者都不能挑戰它,因為交易數據不可用,因此他們無法重新計算或挑戰該斷言.
Cosmos生態DEX Osmosis已集成Celestia數據可用性層:8月9日消息,Cosmos生態系統DEX Osmosis已集成Celestia數據可用性層。Osmosis表示,未來Rollup網絡可以在任何地方訪問流動性并在Celestia上使用Osmosis網絡上的任何代幣跨鏈支付DA費用。Osmosis還表示,很快將與跨鏈應用構建平臺Hyperlane集成。[2023/8/9 21:34:20]
為了應對上述情況,OPR和ZKR的設計都要求operator將以太坊上的所有交易細節作為“calldata”提交。雖然這使他們在短期內避免了DA問題,但隨著rollup內部交易數量的增長,需要提交的數據量也會增加,從而限制了這些rollup可以提供的擴展量。
這對如今的區塊鏈有何影響?
Rollup框架產品Rollkit集成比特幣Sovereign Rollup數據可用性層:金色財經報道,模塊化區塊鏈Celestia旗下模塊化Rollup框架產品Rollkit(曾稱作Rollmint)宣布支持比特幣Sovereign Rollup,允許Rollkit Rollup使用比特幣的數據可用性。開發者可以創建具有任意執行環境的Rollup,繼承比特幣的數據可用性保障和安全保障。
通過此次集成,可以在比特幣上運行EVM作為Rollkit Sovereign Rollup,擴大Rollup的可能性,并幫助在比特幣上啟動一個健康的區塊空間費用市場,確保安全預算更可持續。Rollkit表示,此次實現基于比特幣的Taproot升級和Ordinals使用比特幣發布任意數據。[2023/3/6 12:44:32]
為了回答這個問題,讓我們首先回顧一下類似以太坊的區塊鏈的一般區塊結構以及任何區塊鏈網絡上存在的客戶端類型。
隱私及數據保護平臺HOPR利用Ceramic提供數據可驗證性:9月10日消息,隱私及數據保護平臺HOPR宣布,已經開始使用去中心化網絡存儲協議Ceramic向節點運行者提供鏈下日志信息,同時保持其數據的隱私性。HOPR協議是新一代去中心化應用程序的第0層隱私基礎。HOPR激勵混合網允許任何應用程序發送數據,而不會泄露數據或元數據。HOPR節點將依靠Ceramic來追蹤節點支付,而不會犧牲用戶隱私。[2021/9/10 23:16:21]
一個塊可以分為兩個主要部分:
區塊頭:一個小區塊頭包含與區塊中包含的交易相關的摘要和元數據。
塊體:它包含所有交易數據并占塊大小的大部分。
在傳統的區塊鏈協議中,所有節點都被視為同步整個區塊并驗證所有狀態轉換的完整節點。所有節點花費大量資源來檢查交易有效性并存儲區塊。從好的方面來說,這些節點不會接受任何無效的交易。
青羊區人民法院:線上交易數據可通過區塊鏈等手段收集,降免訴訟法律風險:近日,成都市青羊區人民法院發布《關于防控、減少新冠疫情可能引發金融糾紛的10條法律建議》,其中提到,對線上交易生成的電子數據,可通過可信時間戳、哈希值驗證、區塊鏈等手段收集和固定,降免訴訟中的法律風險。(新浪財經)[2020/3/2]
可能還有另一類節點沒有資源來驗證每筆交易。相反,他們主要對了解區塊鏈的當前狀態以及與他們相關的某些交易是否包含在鏈中感興趣。這些輕客戶端依靠全節點來檢查所有交易是否有效。因此,在安全性方面,它們依賴于可信的全節點。
但是如果區塊生產者沒有透露區塊背后的全部數據呢?這可以防止全節點驗證所有交易。這反過來又阻止了輕節點絕對確定它所看到的由所有合法交易支持的區塊頭。
為了解決這個問題,我們需要一種輕客戶端機制來驗證數據可用性。這將確保區塊生產者無法通過說服輕客戶端來隱藏數據。它還將迫使區塊生產者公開部分數據,使整個網絡以協作的方式訪問整個區塊。
動態 | Linux基金會、戴爾與IOTA合作評估數據可信度:Linux基金會、戴爾技術公司和IOTA今天宣布了協作項目Project Alvarium,根據可信度對數據進行評分。該項目旨在實現“數據置信結構”的概念,該概念允許信息流過,并生成對每個數據的可靠性置信度評分。(The Block)[2019/10/29]
讓我們借助一個例子更深入地探討這個問題。假設區塊生產者Alice用交易tx1、tx2、……、txn構造了一個區塊B。讓我們假設tx1是惡意交易。如果tx1被廣播,任何完整節點都可以驗證它是惡意的,并將其發送給輕客戶端,輕客戶端會立即知道該塊是不可接受的。但是,如果Alice想隱藏tx1,她會顯示標頭和除tx1之外的所有交易數據。全節點無法驗證tx1的正確性。讓輕節點查詢任意一筆交易,均勻隨機。輕客戶端查詢tx1的概率為1n。因此,Alice能夠以壓倒性的可能性欺騙輕客戶端接受惡意交易。由于不可歸因的性質,全節點無法以任何方式證明tx1不可用。
那么,我們該怎么辦呢?
該問題的解決方案在于在塊中引入冗余。總的來說,有大量關于編碼理論的文獻,特別是擦除編碼,可以幫助我們解決這個問題。
簡而言之,糾刪碼允許我們將任何n個數據塊擴展為2個數據塊,其中2n個數據塊中的任何一個都足以重建原始數據塊。
如果我們強制區塊生產者擦除交易tx1、tx2、...、txn的代碼,然后隱藏單個交易,則需要隱藏n+1個交易,因為任何足以構建整個交易集的交易。在這種情況下,恒定數量的查詢使輕客戶端足以確信底層數據確實可用。
哇,原來如此?
不。雖然這個簡單的技巧使隱藏工作變得更加困難,但區塊生產者仍有可能故意以錯誤的方式執行擦除編碼。然而,一個完整的節點可以驗證這個擦除編碼是否正確完成,如果沒有,它可以向輕客戶端證明這一點。這被稱為欺詐證明。有趣的是,輕客戶端需要有一個誠實的全節點鄰居才能確定如果編碼錯誤,那么它將收到欺詐證明。這確保了輕客戶端以極高的概率訪問沒有惡意交易的鏈。
但是存在一個問題!如果簡單地實現,欺詐證明的大小可以按照塊本身的大小排序。但我們對輕客戶端的資源預設禁止我們使用這樣的設計。通過使用多維擦除編碼技術,可以在這方面有所改進,該技術以可接受的大小減少欺詐證明的大小。為簡潔起見,我們不涉及這些,但該文獻對其進行了詳細分析。
基于欺詐證明的解決方案的問題在于,輕客戶端永遠無法完全確定尚未收到欺詐證明的任何塊。此外,他們一直相信其全節點對等方是誠實的。還需要激勵誠實的節點不斷保持審計區塊。
有沒有辦法避免欺詐證明?
最近,向量承諾重新引起了區塊鏈領域的關注。這些向量承諾,尤其是對多項式的恒定大小的KZG/Kate承諾,可用于設計簡潔的DA方案,而無需欺詐證明。簡而言之,Kate承諾允許我們使用單個組元素提交多項式。此外,該方案支持我們證明在某個點i使用恒定大小的見證,多項式評估為。承諾方案在計算上是隱藏和綁定的,也是同態的,使我們能夠巧妙地避免欺詐證明。
我們強制塊生產者獲取原始交易數據并將其排列在大小為n,m的二維矩陣中。它使用多項式插值將大小為n的每一列擴展為大小為2n的列。對于這個擴展矩陣的每一行,它都會生成一個多項式承諾,并將這些承諾作為區塊頭的一部分發送。下面給出了該塊的示意圖。
輕客戶端查詢這個擴展矩陣的任何單元格以獲得見證,這使它能夠立即根據塊頭驗證它。恒定大小的成員證明使抽樣非常有效。承諾的同態性質確保只有在正確構造塊的情況下才驗證證明,并且多項式插值確保成功樣本的恒定數量意味著數據以非常高的概率可用。
該方案的更精細細節以及進一步的優化和成本估算超出了本文的范圍。
其他選擇是什么,以及進一步變更是什么?
更高維的擦除代碼和Kate承諾并不是解決DA問題的唯一方法。我們在這里跳過了其他方法,如編碼默克爾樹、編碼交錯樹、基于FRI和STARK的方法,但每種方法都有其優點和缺點。
我們在Polygon,一直在使用Kate承諾開發數據可用性解決方案。在后面的文章中,我們將介紹實現細節、您現在可以如何使用它以及我們如何致力于轉變DA問題空間。
在Layer2的第一篇的科普文章中,我們對比了不同以太坊2層擴容方案的優劣。隨著Layer2的熱潮升級,頭部DEX們都采用了怎樣的方案?本篇將帶你了解,并會主要從3個角度流動性、交易體驗和安全性.
1900/1/1 0:00:00區塊鏈系統的虛擬化代表著一個關鍵階段,它可以承載起公鏈開發以及商業邏輯的龐大遷移服務網絡。據NA愛好者觀察發現,大多數包括正在開發運行的區塊鏈項目都在使用現有的公共賬本,這無法滿足開發過程中所需.
1900/1/1 0:00:00熱點摘要: 1.薩爾瓦多總統:Chivo錢包將與其他錢包兼容且操作無任何費用;2.Coinbase首席執行官:計劃上線所有合法可行的加密貨幣資產;3.
1900/1/1 0:00:00.details.details-contp,p{word-break:normal;text-align:unset}pimg{text-align:center!important}根據Co.
1900/1/1 0:00:00DeFi數據 1.DeFi總市值:653.91億美元 市值前十幣種排名數據來源DeFiboxDeFi總市值數據來源:Coingecko2.過去24小時去中心化交易所的交易量:33.
1900/1/1 0:00:00拋售代幣、注銷推特、微信群解散,昨夜BSC機槍池項目MerlinLab上演一出火速“大逃亡”。6月29日15點24分,MerlinLab遭到黑客攻擊.
1900/1/1 0:00:00