注:原文來自medium,作者是BlockchainCapital高級分析師YuanHanLi。
你可能聽說過,以太坊的分片路線圖基本上已取消了執行分片,現在它只專注于數據分片,以最大限度地提高以太坊的數據空間吞吐量。
你可能還在最近看到了關于模塊化區塊鏈的討論,深入研究了rollup并了解了volition或validium?,然后聽說了“數據可用性解決方案”。
但也許你會產生困惑,撓了撓頭,然后問自己數據可用性到底是什么?
在我們深入研究之前,復習一下大多數區塊鏈是如何工作的基礎知識,可能會有所幫助。
交易、節點以及著名的“區塊鏈不可能三角”
當你遇到一個新的帶有高APY的OHM分叉項目時,你的下一步行動可能就是猛按“stake”按鈕,但是當你實際通過Metamask提交該tx時會發生什么?
簡單地說,你的交易會進入mempool存儲池,假設你給礦工或驗證者的賄賂足夠高,你提交的交易就會被納入到下一個區塊中,并被添加至區塊鏈。然后,包含你的交易的這個區塊,會被廣播到區塊鏈節點的網絡。全節點將下載這個新區塊,執行/計算該區塊中包含的每筆交易,并確保它們都是有效的。例如,對于你的交易,這些全節點可能驗證你沒有從其他人那里竊取資金,并且你實際上有足夠的ETH來支付gas費用等等。因此,全節點執行了有關礦工/驗證者的強制區塊鏈規則的重要任務。
比特幣價格攀升至3萬美元后交易所穩定幣余額增加了約6億美元:金色財經報道,據Glassnode披露鏈上數據顯示,過去一周加密貨幣現貨和衍生品交易量均出現增加,與此同時穩定幣的交易所余額自2023年1月以來也出現首次增加,自比特幣價格攀升至3萬美元后該指標估計增加了約6 億美元。不過分析認為,雖然鏈上數據顯示穩定幣或將轉向比特幣,但穩定幣到比特幣之間轉換并不一定意味著新流動性資金正在注入加密生態系統。[2023/6/25 21:57:54]
正是由于這種機制,導致傳統區塊鏈遇到了擴容方面的問題,由于全節點檢查每筆交易以驗證它們是否遵循區塊鏈的規則,區塊鏈無法在不增加運行全節點的硬件要求的情況下,每秒去處理更多的tx。但是,如果運行全節點的硬件要求提高,那么全節點的數量就會減少,系統的去中心化屬性就會受到影響。也就是說,如果檢查礦工/驗證器工作以保持誠實的人減少,這將是危險的!
要讓數據可用的需要,是我們無法同時擁有全部3個區塊鏈屬性的主要原因之一
該機制還描述了在傳統單體區塊鏈中保證數據可用性的重要性:區塊生產者必須廣播并提供來自其產生的區塊的交易數據,以便全節點可以檢查其工作。如果區塊生產者不讓其生產的區塊中的交易數據可用,我們將處于這樣一種情況:即全節點無法檢查他們的工作并通過執行區塊鏈的規則集來保持礦工/驗證者的誠實!
現在你了解了,為什么數據可用性在傳統的單體區塊鏈中很重要,讓我們來繼續討論,它如何影響大家最喜歡的可擴展性解決方案——rollup。
BitGo:決定終止收購Prime Trust:6月22日消息,加密貨幣托管公司BitGo宣布,已決定終止收購 Prime Trust,這個決定并非輕率做出,BitGo仍致力于向客戶提供對數字資產的信任。[2023/6/22 21:54:59]
在Rollup環境中,數據可用性的重要性
讓我們首先回顧一下rollup是如何幫助解決可擴展性問題的:與其提高運行全節點的硬件要求,不如減少全節點必須檢查是否有效的tx數量?我們可通過將tx計算和執行從全節點轉移到功能更強大的計算機來實現這一點。
那這不意味著我們必須相信定序器嗎?如果要保持低的全節點硬件要求,那么在嘗試檢查定序器的工作時肯定會落后于定序器。
那么,我們如何確保該定序器提出的新區塊是有效的?考慮到它已經被反復提過,我相信你已經知道了這個問題的答案,但請耐心等待:
對于OptimisticRollup,我們依靠稱為欺詐證明的東西來保持定序器是誠實的。但如果我們希望其他人能夠計算欺詐證明,他們將需要定序器執行的交易中的tx數據才能提交欺詐證明。換句話說,定序器必須使tx數據可用,否則的話,沒有人能夠保證optimisticrollup的定序器是誠實的!
而在ZKRollup的情況下,要保持定序器誠實就簡單多了:定序器在執行一批tx時,必須提交有效性證明,而這種有效性證明可保證沒有任何tx是無效的/惡意的。此外,任何人都可以輕松驗證提交的證明。但對于ZKRollup的定序器來說,讓數據可用仍然是非常重要的。這是因為,作為上述rollup的用戶,如果我們想使用垃圾幣,我們需要知道Rollup上的賬戶余額是多少。如果交易數據不可用,我們將無法知道我們的帳戶余額如何,并且將無法再與rollup進行交互。
土耳其總統候選人Kemal K?l??daro?lu:將在上臺后擴大Web3平臺采用:5月14日消息,2023年土耳其總統候選人、土耳其最大反對黨領袖Kemal K?l??daro?lu表示將在上臺后取消對PayPal的禁令并擴大Web3平臺采用,K?l??daro?lu還批評了土耳其央行禁止在國內使用加密貨幣作為支付方式的決定。
土耳其現任總統埃爾多安曾在2021年9月份推出反對加密貨幣的政策,但由于土耳其通脹一直居高不下,該國一直位于全球加密采用率前列。(Rossaprimavera)[2023/5/14 15:02:00]
請注意,以上內容讓我們確切地看到了,為什么人們一直在吹捧rollup。鑒于全節點不需要跟上定序器,為什么不讓定序器成為一臺功能強大的計算機呢?這將使定序器每秒執行的tx量達到可怕的程度,從而降低gas費用,讓每個人都感到高興。但是,你還記得定序器需要如何使tx數據可用嗎?這意味著即使定序器是一臺真正的超級計算機,它每秒實際可計算的tx數量,仍將受到其使用的底層數據可用性解決方案/層的數據吞吐量的限制。
簡而言之,如果rollup所使用的數據可用性解決方案/層,無法跟上rollup的定序器希望轉儲到其上的數據量,那么定序器即使愿意,也無法處理更多的tx,這會導致我們今天在以太坊上看到的gas費用飆升的情況。
這正是數據可用性極其重要的原因:保證數據可用性使我們能夠確保rollup定序器的行為,如果rollup要最大化其tx吞吐量,則最大化數據可用性解決方案/層的數據空間吞吐量是至關重要的。
但是細心的讀者可能會意識到,我們實際上還沒有完全解決確保定序器正常工作的問題。如果rollup結算的“父”區塊鏈的全節點不需要跟上定序器,定序器可以選擇扣留大部分交易數據。父區塊鏈的節點如何強制定序器將數據轉儲到數據可用性層?如果節點無法強制執行,我們實際上在可擴展性方面沒有取得任何進展,因為我們將被迫信任定序器,或者自己去購買超級計算機!
NFT市場Magic Eden推出ETH聚合器Magic Ethen,支持用ETH購買以太坊NFT系列:9月21日消息,Solana生態NFT市場Magic Eden宣布推出ETH聚合器Magic Ethen,用戶現在可以使用ETH、SOL或法幣購買NFT。首批支持10個以太坊NFT系列,包括Psychedelics Anonymous、Probably Nothing、Pudgy Penguins等。
此前消息,Solana上NFT交易市場Magic Eden于8月表示轉向多鏈發展,將擴展到以太坊。[2022/9/21 7:10:08]
這一問題就被稱為“數據可用性問題”。
“數據可用性問題”的解決方案
數據可用性問題最顯而易見的解決方案,就是強制全節點將定序器轉儲的所有數據下載到數據可用性層/解決方案,但我們知道,這并不現實,因為它需要全節點跟上定序器的tx計算速率,從而提高了運行全節點的硬件要求。
因此很明顯,我們需要一個更好的解決方案來解決這個問題,而且,我們確實有一個好的解決方案!
數據可用性證明
每次定序器轉儲一個新的tx數據區塊時,節點可使用稱為數據可用性證明的新發明“采樣”數據,確保定序器確實提供了數據。
這些數據可用性證明的實際工作原理非常復雜,但無論如何,我都會去盡力解釋。
我們可以首先要求對定序器轉儲的tx數據塊進行糾刪碼,這基本上意味著減半原始數據大小,然后新的/額外的數據用冗余片段編碼。通過對數據進行糾刪碼處理,我們可以用任意50%的糾刪碼數據恢復全部原始數據。
NFT項目Doodles宣布即將推出第二季NFT:6月22日消息,NFT項目Doodles在推特上發文“Doodles 2……即將到來”,暗示將推出第二季NFT。[2022/6/22 4:44:42]
但是請注意,通過對tx數據塊進行糾刪碼,這將需要行為不端的定序器扣留超過50%的區塊數據。如果該區塊沒有被糾刪碼,定序器可能會因為只扣留了1%的數據而出現錯誤-因此通過對數據進行糾刪碼,我們已經大大提高了全節點可以擁有的置信度,即定序器確實在使數據可用。
盡管如此,我們希望盡可能多地保證定序器使所有數據可用,理想情況下,我們希望像直接下載整個tx數據塊一樣自信。事實上,這是可能的:全節點可隨機選擇從區塊中下載一些數據。如果定序器行為不端,全節點被愚弄的可能性<50%,即當定序器試圖扣留數據時,隨機下載一段數據。這是因為,如果定序器試圖行為不端并扣留數據,請記住,他們必須扣留>50%的糾刪碼數據。
請注意,這意味著通過再次執行此操作,全節點可以大大降低被欺騙的可能性。通過隨機選擇另一塊數據進行第二次下載,被欺騙的可能性將小于25%。事實上,當一個全節點第七次嘗試隨機下載一部分數據時,它未能檢測到定序器正在扣留數據的可能性將小于1%。
這一過程就被稱為數據可用性證明抽樣,或簡稱為數據可用性抽樣。它的效率是令人難以置信的,因為這意味著節點可以只下載父區塊鏈上定序器發布的完整數據塊的一部分,并且具有與下載和檢查整個數據塊基本相同的保證。為了確保我真正把這一點牢記在心:想象一下,如果在附近散步10分鐘所消耗的熱量,與跑步10公里所消耗的熱量一樣多。這就是數據可用性采樣技術的突破性意義。
通過讓父區塊鏈的全節點能夠進行數據可用性采樣,我們現在已經解決了我們之前的困境,即如何確保rollup定序器不會出現錯誤行為。我們現在都覺得很開心了,因為我們可以相信rollup確實能夠擴展我們最喜歡的區塊鏈。但是,等一下,在你停止閱讀這篇文章之前,請記住,如果我們想要讓區塊鏈被全世界的人使用,我們仍然需要找到一種方法來擴展數據可用性本身。我們需要rollup,如果我們希望用rollup來擴展區塊鏈,我們不僅需要削弱定序器作惡的能力,我們還必須擴展數據空間吞吐量,以便定序器有一個廉價的地方來轉儲其tx數據。
數據可用性證明也是擴展數據空間吞吐量的關鍵
目前,以太坊作為最知名的L1公鏈,其路線圖側重于擴展數據空間吞吐量。以太坊希望通過數據分片來實現這一點,這本質上意味著并非每個驗證器都會繼續下載與節點當前相同的tx數據。相反,以太坊將把它的驗證器網絡分成不同的分區,如果你有1000個驗證器,所有這些驗證器都用來存儲相同的數據,而你將其分成4組,每組250個驗證器,那么用于轉儲數據的rollup可用空間就突然增加了4倍!這聽上去很簡單,對吧?
以太坊近期的數據分片路線圖爭取實現64個數據分片
然而,問題是,分片內的驗證器只會下載轉儲到其分片的tx數據。這意味著,一個分片中的驗證器不能保證定序器轉儲的所有數據都是可用的,它們只能保證轉儲到其分片區的數據是可用的,但不能保證其余數據可用于其他分片。
這意味著我們會遇到這樣一種情況,即一個分片中的驗證器無法確保定序器沒有出現錯誤,因為它們不知道其他分片中發生了什么,這就是我們的朋友再次派上用場的地方。如果你是一個分片中的驗證者,那么你可以在每個其他分片中使用數據可用性證明簡單地采樣數據可用性!這將為你提供基本相同的保證,就像你是每個分片中的驗證者一樣,從而允許以太坊安全地實現數據分片。
還有其他的區塊鏈,它們希望擴展到海量的數據空間吞吐量。與大多數其他區塊鏈不同,Celestia和PolygonAvail僅尋求做兩件事:排序區塊和交易,并成為數據可用性層。這意味著要保持Celestia/PolygonAvail的驗證器誠實,重要的是要有一個去中心化的節點網絡,以確保驗證器確實正確地存儲和排序tx數據。但是,由于不需要解釋這些數據,你不需要一個全節點來保證驗證器的行為!相反,執行數據可用性采樣的輕節點,將具有與全節點基本相同的保證,并且有許多輕節點采樣數據可用性證明將足以讓驗證器負責保證數據可用性。這意味著,只要有足夠多的節點使用數據可用性證明對數據可用性進行采樣,你可以使區塊大小更大并增加驗證器的硬件要求,從而提高數據空間吞吐量。
現在,總結一下:數據可用性問題可能是區塊鏈三難困境的癥結所在,它影響到了我們所有的擴容工作。幸運的是,我們能通過數據可用性證明的核心技術,來解決數據可用性問題。這使我們能夠大規模地擴展數據空間吞吐量,為rollup提供了一個廉價的地方來轉儲足夠的tx數據來處理足夠的tx,以供全球人口使用。此外,數據可用性證明意味著我們不必信任rollup定序器,我們可以讓它們保持誠實并驗證它們的行為。現在,希望這篇文章可以幫助你準確理解,為什么數據可用性對rollup發揮其全部潛力而言是至關重要的。
想更深入一些嗎?我建議你鉆進以下的兔子洞:
最初的論文提出了一個欺詐和數據可用性證明系統,以提高輕客戶端安全性并擴展區塊鏈。更容易理解以及更簡短的版本?。以太坊以rollup為中心的路線圖?。Vitalik演講:2020年及以后如何擴展以太坊?JohnAdler談論數據可用性問題?IsmailKhoffi談論Celestia?zkSync的AngelaLu、Arbitrum的DanielGoldman以及FuelLabs的JohnAdler一起錄制的內容?,為我們提供了Rollup和以太坊數據分片路線圖的很多信息。
據央視新聞12月26日報道,近期,四川眉山市局彭山區分局破獲一起投資理財詐騙案件,涉及金額1700余萬元,抓獲犯罪嫌疑人24人,依法扣押作案電腦、手機10余部,受害群眾廣布多個省份.
1900/1/1 0:00:00來源:文森特二 作者:Sky9Capital合伙人牛鳳軒前段時間零零散散在Twitter上輸出了一些關于鏈上數據的觀點,有些朋友私信問讓我展開講講,所以有了這一篇文章,也算是自己的思路整理.
1900/1/1 0:00:00巴比特訊,1月18日,蘭博基尼宣布將推出NFT藝術品,用戶可通過LamborghiniSpaceKey訪問.
1900/1/1 0:00:00By:小白@慢霧安全團隊 背景概述 上次我們了解了什么是溢出漏洞和如何預防和發現它。這次我們要了解的是solidity中自帶的函數——?selfdestruct自毀函數.
1900/1/1 0:00:0012月23日,中央紀委國家監委網站于今日發文《元宇宙如何改寫人類社會生活》,文章解釋了“什么是元宇宙”以及“元宇宙為什么能出圈”等問題.
1900/1/1 0:00:00據Cointelegraph1月19日報道,非洲Web3和社交游戲發行商Carry1st完成2000萬美元A輪融資,AndreessenHorowitz領投.
1900/1/1 0:00:00