GENE:輕型節點的數據可用性的安全級別_Incooom Genesis

在傳統的區塊鏈中，用戶要運行同步鏈上所有數據的完整節點，以驗證鏈上由區塊頭承諾的所有數據確實被發布。這不會隨著區塊大小的增加而擴展，因為用戶會需要越來越多的帶寬資源。因此，在較新的區塊鏈中，重點是支持輕型節點，可以用較低的資源要求來驗證鏈上的數據可用性，使用的技術包括數據可用性采樣。

在這篇文章中，我繪制了不同的光節點數據可用性驗證技術，從最不安全到最安全。

第-1級：全節點

完整節點通過自己下載所有區塊數據來驗證一個鏈的數據可用性，只有當他們能夠成功下載區塊時，才會接受一個區塊為有效。

我們用這個作為基準安全假設的參考級別，與完整的節點相比，下面的每一級都增加了額外的安全假設。

第0級：沒有數據可用性保證

破產法官已延長Genesis與債權人之間的調解期:金色財經報道，美國破產法院法官Sean Lane在周一的破產聽證會上延長了加密貸款機構Genesis與其債權人之間的調解期。原定于上月結束的調解期將于6月16日結束。今年早些時候雙方的談判破裂后，Lane于5月1日任命了一名調解人來引導Genesis與其債權人之間的談判。在聽證會上，法官還拒絕了Genesis與FTX展開和解談判的請求，FTX聲稱Genesis欠其39億美元，而Genesis則聲稱自己對FTX沒有任何負債。Genesis已要求法官估計其欠FTX的具體金額，這將在下周的聽證會上討論。此前，Genesis曾試圖將FTX的未清算債權評估為零。[2023/6/6 21:17:56]

只有對數據的承諾，但不保證數據的實際可用性。例子包括IPFSURIs.這對那些不需要安全的數據可用性的用例是有用的，例如NFT.

Sui推出教育資助計劃:6月2日消息，Sui 宣布推出教育資助計劃Sui Education Grants Program，資助類別包括教育內容、游戲化的學習體驗、開發人員教育資源、訓練營、IRL 學習機會或 Hub、結構化課程以及利用人工智能的互動教育機會等。資助資金從 1 萬美元到 25 萬美元不等。[2023/6/2 11:53:51]

安全假設：。

第1級：數據可用性委員會

有一個委員會證明特定承諾的數據是可獲得的。可以調整要求該委員會簽名的閾值，以權衡數據可用性保障和有效性。

安全假設：委員會的誠實多數假設。

第2級：具有加密經濟安全的數據可用性委員會

有一個委員會證明某項承諾的數據是可獲得的。如果該委員會對數據的可用性撒謊，可以被砍掉或停止。

LMAX Digital與Zodia Custody將為CoinShares提供交易基礎設施服務:5月17日消息，加密貨幣交易所 LMAX Digital 和渣打銀行支持的托管機構 Zodia Custody 將為數字資產管理公司 CoinShares 提供機構級交易基礎設施和托管服務。CoinShares 將允許客戶將他們的資產保留在其平臺上，同時他們的資產被鏡像并可在交易所進行交易。[2023/5/17 15:08:53]

注意這需要委員會被主權鏈的共識規則所認可。這是因為，由于漁夫困境7，不可能在鏈上砍掉數據可用性故障。

如果這種技術的實現不支持數據可用性抽樣的輕量級節點，那么削減或停止只能由完整的節點來完成，例如在Tendermint的情況下，如果一個區塊不可用就會停止。

a16z發文介紹Aztec Connect的跨鏈密封投標拍賣模式:2月23日消息，a16z發文介紹了使用Aztec Connect的跨鏈密封投標拍賣模式。它可以為任意規模的投標提供隱私，而無需額外的抵押品。

Aztec Connect是一個框架，它使用戶能夠從Aztec的ZK rollup的隱私中訪問以太坊L1上的智能合約。以太坊上的匯總處理器合約可以調用符合特定接口的兼容橋接合約，允許Aztec用戶使用他們的托管資產與這些合約進行交互。橋接合約通常插入L1上現有的DeFi協議，例如，已經為Uniswap、Lido和Element Finance實施了橋接。[2023/2/23 12:23:49]

安全假設：委員會的誠實多數假設，有加密經濟激勵。

第2.1-2.3級

如果該技術的實現確實支持數據可用性采樣的輕量級節點，那么砍伐或停止也可以由輕量級節點完成。這降低了該技術的最低節點要求，對該技術的安全性有積極影響。

2.1級是指3級光節點，2.2級是指4級光節點，2.3級是指5級光節點。

第3級：數據可用性抽查，沒有誠實的少數輕節點

除了數據可用性委員會，還可以支持數據可用性采樣輕節點1，這些輕節點可以在不下載所有數據的情況下，通過下載每個區塊的隨機數據塊，以非常高的概率驗證鏈的數據可用性。

理想情況下，應該有少數誠實的光節點，這樣，如果有對抗性的區塊生產者隱瞞了區塊中的任何數據，他們可以集體重建區塊。這也需要一個點對點的區塊重建協議。如果不是這樣，該方案具有類似于可檢索性證明方案4的安全屬性。

在可檢索性證明方案中，只有在假設采樣界面仍然有效的情況下才能重建數據。如果想通過所有光節點的數據可用性檢查，區塊生產者或數據可用性委員會將被要求保持采樣接口的有效性。如果這個假設成立，那么一個完整的節點有可能通過采樣接口發出足夠的采樣請求來恢復所有的數據。

如果暴露出采樣接口的節點歧視執行采樣的全節點，全節點可以通過假裝成許多光節點來掩蓋。實際上，“誠實的少數光節點假設”可以通過強迫全節點使用光節點使用的相同采樣接口來有效地模擬。

安全假設：委員會上的誠實多數假設，有加密經濟激勵措施，或數據可用采樣接口保持完整節點的生命力。

第4級：數據可用性采樣，有少數誠實的光節點

該協議支持數據可用性抽樣，并且存在誠實的少數光節點，這樣，如果一個對抗性的塊生產者隱瞞了塊中的任何數據，他們可以共同重建該塊。

為了能夠重建數據，這還需要一個具有一定網絡延遲的同步網絡，因為光節點需要能夠與全節點分享它們的樣本，以便能夠重建數據塊。

如第3層所述，每個光節點不一定是一個單獨的人，對于誠實的少數光節點的假設是真實的。用戶可以運行多個光節點。重要的是，從響應采樣請求的節點的角度來看，所有的光節點都是不可區分的。這樣一來，響應采樣請求的節點就不能對例如采樣數據較多的光節點與采樣數據較少的光節點進行區別對待，這樣他們就能騙過更多的光節點。有趣的是，這是一個獨特的例子，Sybils可以為協議增加安全性。然而，這些光節點需要誠實，因為他們需要愿意與全節點分享他們的樣本，以實現區塊重建，所以依靠一個或幾個實體運行所有的光節點很可能也不是一個好主意，例如。

然而，在標準的網絡模型下，區塊生產者可以進行“選擇性份額披露”攻擊，即區塊生產者只響應前幾個光節點的采樣請求，但拒絕后面光節點的請求，并且不釋放足夠的樣本以重建區塊。這將導致前幾個輕節點錯誤地認為一個不可用的區塊是可用的。在這樣的攻擊中，這將導致區塊被拒絕在經典鏈上，因為其他輕節點將不接受該區塊，導致鏈停止或委員會被砍掉，所以這樣的攻擊很可能是昂貴的。至少，這至少可以防止驗證者能夠單方面任意改變整個光節點網絡的狀態轉換功能，確保驗證者不會單方面擁有對協議規則的治理權。

安全假設：委員會上的誠實多數假設，有加密經濟激勵措施，或。

第5級：無法鏈接的數據可用性抽樣

為了防止“選擇性份額披露”攻擊，即前幾個光節點錯誤地認為一個不可用的區塊是可用的，我們需要一個增強的網絡模型，其中不同的樣本請求不能被鏈接到同一個光節點，并且它們被網絡接收的順序相對于其他請求是均勻隨機的。這可以通過使用混合網絡和匿名化技術來實現，但在這個問題上還需要進一步研究。欲了解更多信息，請參見本研究報告：評估用于繞過數據可用性抽樣中的選擇性披露攻擊的私人網絡1.

安全假設：委員會上的誠實多數假設，有加密經濟激勵機制，或。

Tags：GENESISGenesisGENESIncooom GenesisOsmosisAlpha GenesisGenesys

MATIC