想抱團取暖,想加入社群,可以+huangzizhong8888
最近,我們在推特上看到了關于數據可用性及其重要性的討論。毫無疑問,L2解決方案正在賦予以太坊能夠成為全球超級計算機的力量。然而,我們不能否認的事實是,就算使用L2,但由于數量的限制,我們也無法實現我們的預期。其中第一個也是最重要的問題是「數據可用性問題(DA)」。因此,在本系列中,我們將深入了解DA是什么,以及如何通過數據抽樣和欺詐證明來解決它。
為了完全理解DA證明的概念我們需要知道的有:
欺詐和數據可用性證明DA背景下的ReedSolomon代碼Merkle樹構造的二維ReedSolomon代碼錯誤生成的擴展數據的欺詐證明
在這篇文章中,我們將討論什么是數據可用性,為什么它對我們很重要,以及解決這個問題的潛在方案是什么。我們還將討論在檢測到L2上的惡意交易時,節點應如何提交欺詐證明。
加密貨幣平臺每天都在受到大量的關注。但這種大規模的采用依然伴隨著現有區塊鏈的可擴展性限制。有可能解決該問題的方案是通過改進硬件規格來簡單地增加鏈上吞吐量。但是這樣做的話,就會損害去中心化,因為如果需要大型硬件,那么能夠參與的節點會非常少。因此,大多數節點將運行輕客戶端,并依賴于完整節點來驗證區塊鏈狀態。在大多數節點不誠實的情況下,這種依賴并不十分靠譜。這就是為什么L1把鏈下解決方案作為實現可擴展性的最佳替代方案的主要原因。
韓國公鏈Klaytn已銷毀52.96已枚KLAY,占總供應量的50%:4月17日消息,韓國公鏈項目Klaytn今日發推文稱,Cypress KIP-103硬分叉已在區塊119750400處執行,銷毀和資金再平衡均已完成,已銷毀5,296,324,269 枚KLAY,占總供應量的50%。
根據4月13日的消息,這些被銷毀的代幣來自Klaytn的國庫(總計72.81億),系2019年主網啟動期間鑄造。儲備中剩余的20億代幣將被保留,用于為未來的生態系統提供資金;但如果未能保證用途,這些代幣也將在三年內被燒毀。[2023/4/17 14:07:49]
當我們談論像Rollup這樣的鏈下解決方案時,我們常常傾向于忽略一個事實,就是即使使用Rollup,我們也不能實現無限的吞吐量。想過為什么嗎?
這是因為Rollup是一種鏈下計算解決方案,它在鏈下執行狀態計算。為了完成區塊,他們確實需要將狀態和callData發布到基礎層,如以太坊。因此,即使我們制作了sequencer,一個超級計算機來產生無限區塊,但由于基礎層的網絡和存儲限制,我們無法最終確定它們。
以太坊Layer 2上總鎖倉量為87.2億美元:金色財經報道,L2BEAT數據顯示,截至目前,以太坊Layer2上總鎖倉量為87.2億美元,近7日漲24.17%。其中鎖倉量最高的為擴容方案ArbitrumOne,約57.8億美元,占比49.14%,其次是Optimism,鎖倉量19.4億美元,占比9.37%。[2023/3/25 13:26:03]
所以當我們認識到Rollup本身不能實現無限的吞吐量時,我們就會有另一個問題,那就是如果中心化sequencer本身不誠實怎么辦?他計算出了一個錯誤的狀態了呢?L1如何拒絕這些交易?現在當遇到這種情況時,我們在基礎層上有完整的節點,這些節點會監控狀態,在檢測到錯誤的交易時,它們可以提交欺詐證明,以標記區塊無效。
這是否意味著所有負責監控Rollup活動的L1節點都需要下載整個sequencer數據呢??答案是肯定的,情況正是如此。也就是說即使提出了鏈下解決方案,我們仍然需要完整節點,并提高我們的硬件需求。
在此基礎上,就算我們設法運行一個強大的節點來監控交易,這仍然不能保證sequencer不會試圖通過隱瞞數據來作弊。因為即使1%的數據不可用,也沒有節點可以重建狀態,因此沒有人可以在定義的時間內提交欺詐證明,使區塊有效。這就是我們定義的「數據可用性問題」。
LayerZero CEO否認對關鍵可信第三方漏洞的指控:金色財經報道,Nomad 首席技術官 James Prestwich對競爭對手項目 LayerZero 提出了大量指控,聲稱其存在未公開的受信任第三方漏洞。LayerZero 首席執行官 BryanPellegrino 駁回了這些說法,盡管他確實承認該問題可能會影響 LayerZero 上的大多數項目。(The Block)[2023/1/31 11:37:18]
但沒有必要恐慌,因為以太坊已經提出了另一個聰明的解決方案來解決這個問題,即「數據可用性抽樣」。那么什么是數據可用性抽樣呢?它允許我們在不需要節點下載整個數據的情況下確保數據可用性。這是實現可擴展性的重大突破。
所以我們有兩個概念:
sequencer試圖用錯誤的交易來作弊,同時不保存任何數據。sequencer試圖用錯誤的交易來作弊,并且還保留了一定比例的數據,以便節點可能無法重建區塊來提供欺詐證明。
現在我們想證明在共識節點中在不誠實的大多數的影響下,輕節點不會接受帶有無效交易的區塊。
Argent將推出Layer 2版本錢包:金色財經報道,據官方博客文章消息,智能合約錢包Argent正在引入Layer 2。隨著時間的推移,Argent很可能會支持多個L2,目前首先從zk rollups開始。Argent的L2錢包將從針對大眾的最重要的用例開始。隨著L2在未來幾個月變得更加可互操作,這些用例將不斷擴展。根據博客文章,Argent將首先發布升級的L1錢包。然后,將在今年夏天推出一個利用zk rollups功能的L2錢包。[2021/3/13 18:40:51]
作為第一個概念的例子,我們假設一個場景,惡意的sequencer試圖通過在區塊中包含錯誤的交易來進行欺騙,但不保存任何數據。
在OptimisticRollup的情況下,為了證明該區塊是無效的,節點需要重構一個區塊并為它提交一個欺詐證明。
Rollup區塊結構
當涉及到支持欺詐證明的生成和有效性時,區塊結構非常重要。現在假設高度為i的區塊頭h_i包含以下信息。
先前的Blockhash哈希(prevHash_i)涉及區塊交易的數據MerkleRoot(dataRoot_i)Merkle樹中表示的葉數(dataLength_i)Rollup狀態的Merkle樹(stateRoot_i)網絡可能需要的其他任意數據(additionalData_i)
路印COO:現在所有ERC20應該考慮使用Layer2:路印COO Jay發推表示:現在所有ERC20應該考慮使用Layer2。我們將會增加更多代幣和交易對。[2021/1/5 16:27:46]
在以太坊等基于賬戶的模型中,鍵值對是賬戶地址和余額。
首先,我們定義一個轉換函數,它在執行轉換時不需要整個狀態樹,而只需要對交易讀取或寫入的狀態樹部分的Merkle證明,這通常被稱為「StateWitness」。這些Merkle證明有效地表示了為具有公共根的同一狀態樹的子樹。函數可以定義為:
t→Rollup交易w→Merkle交易證明樹
w由狀態樹中的一組值對及其相關的Merkle證明組成。
在w給定的部分狀態上執行所有交易t之后(如果交易修改了任何狀態),可以通過用修改過的葉子計算新子樹的新根來生成新的結果NewstateRoot。
如果w不是正確的witness,并且不包含執行過程中交易所需的所有葉子部分,那么它將拋出異常錯誤err。
對于本系列的其余部分,將在此總結一些注釋:
什么是innerRoot?
innerRoot是應用一定數量交易后區塊中的中間根的表示。
當我們討論Rollup狀態驗證時,數據是最重要的東西。數據幫助我們重構狀態,并驗證由Rollup發布的狀態是否有效。這就是為什么將DataRoot傳遞給輕客戶端非常重要。
什么是DataRoot?
dataRoot_i是固定大小的交易數據塊,以字節為單位,我們稱為「shares」。shares不會包含所有的交易,而是包含交易的固定部分。我們保留每個share中的第一個字節作為第一個交易的起始位置。這允許協議消息解析器建立消息邊界,而不需要區塊中的每個交易。
給定一個shares列表(sh0,sh1,…)shn),我們定義一個函數parseShares,它解析這些shares并輸出消息列表(m0、m1、……mt),這些消息要么是交易,要么是中間狀態根。例如,在某些區塊i中間的一些share上的parseShares可能會返回(trace1i,t4i,t5i,t6i,trace2i)。
我們不能在每個交易之后都包含狀態根,所以我們可以定義一個周期,例如在g個gas的p個交易之后,我們可以在區塊中包含一個中間狀態根。因此,我們有一個函數parsePeriod,它解析一個消息列表并返回一個狀態前中間根tracexi和狀態后中間根tracex+1i和一個交易列表(tig,tig+1,…tig+h),這樣當我們在tracexi上應用這些交易時,它必須給我們tracex+1i。如果交易不符合條件,則函數必須返回一個err。
如何驗證狀態轉換無效?
如果惡意的sequencer為我們提供了不正確的stateRoot呢?我們可以通過「VerifyTransitionFraudProof」函數檢查stateRoot的無效。該函數接受完整節點提交的欺詐證明并對其進行驗證。
什么是欺詐證明?
欺詐證明包括以下內容:
區塊中包含錯誤狀態轉換的相關shares。這些shares的Merkle證明。shares交易的Statewitness。
VerifyTransitionFraudProof函數將特定受挑戰時期的交易應用到前狀態中間,這必須導致中間后狀態根。
如果所有給定條件都為真,則函數VerifyTransitionFraudProof返回真,否則返回假。
我們已經了解了DA和欺詐證明,現在開始討論第二個概念,也就是如果sequencer計算了一個無效的交易,而我作為輕客戶端檢測到它,那該怎么辦。現在我需要為它計算一個欺詐證明。然而,sequencer并沒有發布完整的數據,通過這些數據我可以重建狀態以進行驗證。對于這個問題,Optimism等Rollup提出了一個解決方案,即強制sequencer發布數據。
加入我們:不定期有二級市場財富密碼分享,并提供安全優質的一級市場投資渠道。國內外最新消息篩選速遞,最新項目背景,項目概況剖析,市值預測和Coinlist平臺IDO重量級項目,及其他一線公募平臺優質熱門項目!
持續更新中,敬請期待.........
XRP價格多年來一直大幅壓縮,未能在最近的2021年牛市中創下新高與此同時,投降的最后階段似乎只有一英寸,超過這一階段,加密貨幣將迎來一場壯麗的反彈如果想加入圈子.
1900/1/1 0:00:00加密項目和資產開發商似乎沒有受到今年大部分時間困擾該行業的看跌勢頭的影響。理性思考表明,數字貨幣市場的現狀會阻止新參與者立即加入,因為他們可能會冒著感受到該領域持續下滑的全部沖擊的風險,尤其是在.
1900/1/1 0:00:00比特幣在創下兩年來最低周收盤價后,在搖搖欲墜的基礎上開始了新的一周。在上周加密貨幣交易所FTX的暴雷后,比特幣大幅貶值,目前仍在努力應對其影響.
1900/1/1 0:00:00周二,比特幣避免跌破16,000美元,美國批發通脹數據疲軟以及對幣安復蘇基金的信心提供支撐。 重要見解: 周二,比特幣(BTC)上漲1.56%.
1900/1/1 0:00:00上周是加密領域最具歷史意義的一周之一,當時有消息稱FTX正在利用用戶資金并使用FTX代幣作為抵押品。這足以讓CZ說。我出去了.
1900/1/1 0:00:00Genesis的雷,還是爆了,啞雷。每天醒來,市場總能以不一樣的姿勢讓人掉下巴,一天一個雷,震驚一整天。今天的大雷是傳說受到FTX影響,Genesis晚上9點要和投資人通電話,公開損失情況.
1900/1/1 0:00:00