在傳統的區塊鏈中,用戶要運行同步鏈上所有數據的完整節點,以驗證鏈上由區塊頭承諾的所有數據確實被發布。這不會隨著區塊大小的增加而擴展,因為用戶會需要越來越多的帶寬資源。因此,在較新的區塊鏈中,重點是支持輕型節點,可以用較低的資源要求來驗證鏈上的數據可用性,使用的技術包括數據可用性采樣。
在這篇文章中,我繪制了不同的光節點數據可用性驗證技術,從最不安全到最安全。
第-1級:全節點
完整節點通過自己下載所有區塊數據來驗證一個鏈的數據可用性,只有當他們能夠成功下載區塊時,才會接受一個區塊為有效。
我們用這個作為基準安全假設的參考級別,與完整的節點相比,下面的每一級都增加了額外的安全假設。
第0級:沒有數據可用性保證
知情人士:美國穩定幣法案今年通過的可能性很小:金色財經消息,據知情人士透露,美國穩定幣監管法案今年通過的可能性很小。該法案由眾議院金融服務委員會主席、加州民主黨眾議員Maxine Waters和北卡羅萊納州共和黨議員Patrick McHenry共同發起,但因兩黨爭議,審議時間表一再推遲。消息人士稱,由于本周眾議院休會,以及11月選舉前后的不確定性,該法案的最終敲定“將是一場艱苦的拉鋸戰”,最好的情況是,該法案在8月公布,隨后在9月進入“討論”階段,委員會的政客們在此階段進行權衡,然后再將立法提交討論,因此消息人士認為,穩定幣法案在年底前通過的可能性不大。[2022/8/3 2:55:05]
只有對數據的承諾,但不保證數據的實際可用性。例子包括IPFSURIs.這對那些不需要安全的數據可用性的用例是有用的,例如NFT.
Celsius Network托管客戶委托律師索賠1.8億美元:金色財經報道,在破產的交易和貸款公司攝氏網絡(Celsius Network)托管加密貨幣賬戶的客戶已聯合起來聘請法律顧問,這些托管索賠人的資產約為1.8億美元,僅占攝氏度公司鎖定的總資產的4%。他們正在尋求企業重組公司Togut, Segal & Segal LLP的合伙人奧爾蒂斯(Kyle J. Ortiz)的幫助。自第一次破產聽證會以來的幾周內,這個特設小組的成員已經增加到300多人,并籌集了近10萬美元的律師費。(coindesk)[2022/8/2 2:52:11]
安全假設:。
第1級:數據可用性委員會
有一個委員會證明特定承諾的數據是可獲得的。可以調整要求該委員會簽名的閾值,以權衡數據可用性保障和有效性。
摩根士丹利CEO:未來經濟衰退的可能性為50%,不太可能陷入深度或長期衰退:金色財經消息,摩根士丹利首席執行官James Gorman周一在紐約的金融會議上表示,隨著美聯儲與通脹作斗爭,經濟衰退的可能性為50%,這高于他早些時候30%的預估,我們現階段不太可能陷入深度或長期衰退,我不認為未來幾年我們會陷入巨大的困境,我認為美聯儲最終會控制住通脹。你知道這會很坎坷;人們的401(k)計劃今年將會減少。
James Gorman認為,盡管市場一直在崩盤,但包括消費者和企業資產負債表在內的經濟基本面狀況比市場所暗示的要好。不過Gorman表示,美聯儲加息等待的時間太長,如果經濟衰退開始,美聯儲的回旋余地就會變小。[2022/6/14 4:24:01]
安全假設:委員會的誠實多數假設。
第2級:具有加密經濟安全的數據可用性委員會
Sealem Technology完成200萬美元私募輪融資,Sandworm Capital和Metabase參投:6月10日消息,下一代DeFi與GameFi協議Sealem Technology宣布完成200萬美元私募輪融資,Sandworm Capital和Metabase參投。
據悉,此輪融資將用于Sealem平臺搭建Web3基礎設施和游戲孵化,以支持更多傳統用戶通過Sealem旗下游戲進入加密領域。(odaily)[2022/6/10 4:16:48]
有一個委員會證明某項承諾的數據是可獲得的。如果該委員會對數據的可用性撒謊,可以被砍掉或停止。
注意這需要委員會被主權鏈的共識規則所認可。這是因為,由于漁夫困境7,不可能在鏈上砍掉數據可用性故障。
如果這種技術的實現不支持數據可用性抽樣的輕量級節點,那么削減或停止只能由完整的節點來完成,例如在Tendermint的情況下,如果一個區塊不可用就會停止。
安全假設:委員會的誠實多數假設,有加密經濟激勵。
第2.1-2.3級
如果該技術的實現確實支持數據可用性采樣的輕量級節點,那么砍伐或停止也可以由輕量級節點完成。這降低了該技術的最低節點要求,對該技術的安全性有積極影響。
2.1級是指3級光節點,2.2級是指4級光節點,2.3級是指5級光節點。
第3級:數據可用性抽查,沒有誠實的少數輕節點
除了數據可用性委員會,還可以支持數據可用性采樣輕節點1,這些輕節點可以在不下載所有數據的情況下,通過下載每個區塊的隨機數據塊,以非常高的概率驗證鏈的數據可用性。
理想情況下,應該有少數誠實的光節點,這樣,如果有對抗性的區塊生產者隱瞞了區塊中的任何數據,他們可以集體重建區塊。這也需要一個點對點的區塊重建協議。如果不是這樣,該方案具有類似于可檢索性證明方案4的安全屬性。
在可檢索性證明方案中,只有在假設采樣界面仍然有效的情況下才能重建數據。如果想通過所有光節點的數據可用性檢查,區塊生產者或數據可用性委員會將被要求保持采樣接口的有效性。如果這個假設成立,那么一個完整的節點有可能通過采樣接口發出足夠的采樣請求來恢復所有的數據。
如果暴露出采樣接口的節點歧視執行采樣的全節點,全節點可以通過假裝成許多光節點來掩蓋。實際上,“誠實的少數光節點假設”可以通過強迫全節點使用光節點使用的相同采樣接口來有效地模擬。
安全假設:委員會上的誠實多數假設,有加密經濟激勵措施,或數據可用采樣接口保持完整節點的生命力。
第4級:數據可用性采樣,有少數誠實的光節點
該協議支持數據可用性抽樣,并且存在誠實的少數光節點,這樣,如果一個對抗性的塊生產者隱瞞了塊中的任何數據,他們可以共同重建該塊。
為了能夠重建數據,這還需要一個具有一定網絡延遲的同步網絡,因為光節點需要能夠與全節點分享它們的樣本,以便能夠重建數據塊。
如第3層所述,每個光節點不一定是一個單獨的人,對于誠實的少數光節點的假設是真實的。用戶可以運行多個光節點。重要的是,從響應采樣請求的節點的角度來看,所有的光節點都是不可區分的。這樣一來,響應采樣請求的節點就不能對例如采樣數據較多的光節點與采樣數據較少的光節點進行區別對待,這樣他們就能騙過更多的光節點。有趣的是,這是一個獨特的例子,Sybils可以為協議增加安全性。然而,這些光節點需要誠實,因為他們需要愿意與全節點分享他們的樣本,以實現區塊重建,所以依靠一個或幾個實體運行所有的光節點很可能也不是一個好主意,例如。
然而,在標準的網絡模型下,區塊生產者可以進行“選擇性份額披露”攻擊,即區塊生產者只響應前幾個光節點的采樣請求,但拒絕后面光節點的請求,并且不釋放足夠的樣本以重建區塊。這將導致前幾個輕節點錯誤地認為一個不可用的區塊是可用的。在這樣的攻擊中,這將導致區塊被拒絕在經典鏈上,因為其他輕節點將不接受該區塊,導致鏈停止或委員會被砍掉,所以這樣的攻擊很可能是昂貴的。至少,這至少可以防止驗證者能夠單方面任意改變整個光節點網絡的狀態轉換功能,確保驗證者不會單方面擁有對協議規則的治理權。
安全假設:委員會上的誠實多數假設,有加密經濟激勵措施,或。
第5級:無法鏈接的數據可用性抽樣
為了防止“選擇性份額披露”攻擊,即前幾個光節點錯誤地認為一個不可用的區塊是可用的,我們需要一個增強的網絡模型,其中不同的樣本請求不能被鏈接到同一個光節點,并且它們被網絡接收的順序相對于其他請求是均勻隨機的。這可以通過使用混合網絡和匿名化技術來實現,但在這個問題上還需要進一步研究。欲了解更多信息,請參見本研究報告:評估用于繞過數據可用性抽樣中的選擇性披露攻擊的私人網絡1.
安全假設:委員會上的誠實多數假設,有加密經濟激勵機制,或。
注:本文來自@jason_chen998推特,MarsBit整理如下:百鏈齊放還是百鏈大戰?聊聊OPStack和焦慮的以太坊鏈是Web3最大的故事.
1900/1/1 0:00:00TL;DR: ●在硬件加速ZKP中,FPGA具有與GPU相同的每瓦性能水平,但在每美元性能指標上無法與GPU競爭。●ASIC在上述兩個指標上優于FPGA和GPU,但需要更長的時間才能進入市場.
1900/1/1 0:00:004月25日晚間,Gitcoin開啟了新一輪捐贈「GitcoinGrantsBetaRound」,本輪捐贈將持續至5月9日,并計劃通過二次匹配機制為所有核心輪次的獲贈項目提供125萬美元匹配資金.
1900/1/1 0:00:00EIP的全稱是以太坊改進提案(EthereumImprovementProposals),以太坊社區中的任何人都可以創造一個EIP。以太坊改進提案編寫準則在EIP-1中提供.
1900/1/1 0:00:00MarsBitCryptoDaily2023年4月26日 一、?今日要聞 劍橋大學能源中心:以太坊轉向PoS之后電力消耗降低逾99%據CoinDesk報道,根據劍橋大學能源中心的數據.
1900/1/1 0:00:00MarsBitCryptoDaily2023年4月23日 一、?今日要聞 Twitter現已上線付費訂閱功能,前12個月內不抽成據推特用戶@BroLeonAus的推文截圖.
1900/1/1 0:00:00