以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > Coinw > Info

一文簡析Celestia如何確保消息檢索結果的完整性_ETH

Author:

Time:1900/1/1 0:00:00

原文作者:Hoyt問題的由來:

為了實現鏈的容量擴展,Celestia承諾主權應用將只需下載與其有關的消息,而不用下載全部消息,但同時,不同應用的消息是打包在同一個區塊里面的,以實現平等的安全性。那么,如何保證當某個應用的執行節點向Celestia的存儲節點查詢消息時,存儲節點僅返回所有的相關消息,而且惡意存儲節點無法隱藏特定消息呢。Celestia選擇的方案是,將稱為命名空間的應用標識符,插入到消息構成的默克爾樹的節點信息中。這樣做的好處是,可以處理存儲節點隱藏全部相關消息的情況,可以定位被隱藏的消息。另外,無需大幅度修改默克爾樹的生成邏輯,以確保存在一個節點,它的底層葉節點,包含且僅包含某個命名空間的全部消息,且能定位此節點。而只需要做三件相對簡單的事情,就可以確保默克爾樹的基本特性,不發生變化:首先,生成消息的默克爾樹之前,先按命名空間將消息分組歸并在一起,確保不同命名空間的消息沒有穿插,且命名空間是排好序的。其次,修改生成默克爾樹時使用的哈希函數,以便命名空間信息被包含進節點信息。檢查默克爾樹時,額外檢查排序是否無誤。生成帶命名空間的默克爾樹:

Celsius前CEO Alex Mashinsky被捕:金色財經報道,前Celsius Network首席執行官Alex Mashinsky于周四早上被逮捕。此外,美國SEC周四在曼哈頓聯邦法院對Celsius Network及其前CEO Alex Mashinsky提起訴訟。[2023/7/13 10:53:01]

前面我們說了,跟通用的默克爾樹邏輯相比,只有生成節點的哈希的函數不同。具體來說,就是在原哈希函數之上,又包裹了一層,使得節點哈希變成形如‘minNs|maxNs|原哈希’的形式,minNs和maxNs分別是此節點所有子節點中,最小和最大的命名空間。容易看出,對葉節點有minNs=maxNs,因為它只包含一條消息,只能有一個命名空間。默克爾樹是二叉樹,且我們已對消息做了排序,所以對非葉節點有minNs等于左子節點的minNs,maxNs等于右子節點的maxNs。另外,請注意原哈希函數會把子節點的整個哈希作為輸入,也就是說命名空間也參與哈希計算,因此不能隨意寫,否則樹根哈希會跟區塊里的記錄不一致,就很容易看出數據無效。下圖是一個帶命名空間的默克爾樹的示意圖:

Web3電商平臺NFTically完成100萬美元股權融資:2月7日消息,Web3 電商平臺 NFTically 宣布完成 100 萬美元股權融資,Spartan Group 和 Polygon Ventures 領投,Blockchain Founders Capital、Blockchain Founders Fund、Mafatlal 家族辦公室和寶萊塢制片人 Subhash Ghai 參投。

NFTically 已集成 Shopify、Mixpanel、Mailchimp、Zapier 等電商業務,該公司計劃利用新資金加速構建其游戲化社交電子商務元宇宙平臺 COMEARTH。[2023/2/7 11:52:33]

BitMEX CEO:以太坊合并符合ESG,ETH將會成為首選資產:9月29日消息,BitMEX首席執行官Alexander H?ptner表示機構投資者仍然對加密貨幣和以太坊有興趣,并表示,熊市為機構和金融業參與者提供了更多時間進行創新。Alexander表示,以太坊合并符合ESG,機構將開始重新涌入以太坊,并表示以太坊是符合構建ESG的金融產品的理想協議,此外,他還強調,ESG合規性至關重要。[2022/9/29 22:40:07]

證明消息的完整性:

首先,需要證明返回的某條消息,確實是在消息樹中,這個就是普通默克爾包含證明所作的事情。因此,當存儲節點返回一條消息時,它同時返回此消息的默克爾包含證明。假定返回消息M0到Mn,那會同時返回對應的默克爾包含證明P0到Pn。我們需要說明,存儲節點可以不返回某條消息,但無法對消息構成的默克爾樹進行變動,因為那會導致樹根哈希變化,數據失效。現在我們來看漏消息的情況,首先我們的消息是按命名空間歸并在一起的,所以如果某個命名空間,在它所有消息的中間漏了消息,那任何一個默克爾證明都可以看出,消息不連續,就沒必要進一步討論了。我們看開頭或者結尾漏消息的情況,兩種情況類似,我們以開頭為例。比如N.2的第一條消息M.2漏了,那它對應的P.0也不會發出來,那么這時候,從查詢者的角度看,原來的P.1,現在是第一個證明,它反正就檢查第一個證明。下圖,我畫出了P.0和P.1的具體內容,我們比較它們的差別,就發現M.2左側的節點,命名空間都小于M.2的命名空間,而M.3左側有一個節點H.4,它的maxNs是A.2等于M.3的命名空間N.2,這個A.2的來源,就是存儲節點隱藏起來的M.2。這樣一來,執行節點就發現異常了。那如果某個命名空間全部的消息都被隱藏呢。我們規定,當指定命名空間的消息不存在時,返回一個葉節點的默克爾證明,這個葉節點有minNs大于目標命名空間,但它左側所有節點的maxNs都小于目標命名空間。那么,當存儲節點隱藏了整個命名空間時,必然,根據具體返回的節點的位置,它或者左側會出現一個maxNs大于等于目標命名空間的節點,或者右側會出現一個minNs小于等于目標命名空間的情況。這樣執行節點也能發現問題。綜上所述,存儲節點不可能隱藏消息而不被發現。

耐克RTFKT以3.5萬美元收購“DotSwoosh”以太坊域名:金色財經報道,耐克在周五以19.72ETH(約35,000美元)購買dotswoosh.eth之后,耐克的Web3部門RTFKT現在擁有10個以太坊名稱服務(ENS)域名。但正如一些人在推特上指出的那樣,耐克可能有計劃在未來使用該域來發布ENS子域。除了dotswoosh.eth,RTFKT還擁有artifacts.eth、rtfkt.eth、skinvial.eth、drmos.eth、mintvial.eth、dreamos.eth、spacedrip.eth、dripcoin.eth和m2tekno.eth。(decrypt)[2022/5/30 3:49:38]

結語:本文復述了Celestia白皮書中,關于多應用場景下,對抗惡意存儲節點的部分內容。現在Celestia測試網已經上線,但目前更多是展示了對輕節點的支持,以及對消息分組的可行性。白皮書里面,第三章、第四章都有提到更多關于應用主權或者分片的內容,比較偏概念,針對真實公網環境來說,具體是怎么實現的,目前還看得不是很清楚。而擴容問題,顯然是整個區塊鏈領域近期最關注的目標。所以,我們之后也會特別關注Celestia在支持獨立應用方面的進展,究竟怎么跟L2或者說其它‘區塊鏈模塊’結合起來,做到實用的功能,并提高鏈上容量,我們將拭目以待。

Tags:ETHCELXNSMAXEtherPartycelo幣價格預測XNS價格EMAX價格

Coinw
一文看懂如何玩轉Lens Protocol及生態_ENS

原文來源:追風Lab Lens協議是PolygonProof-of-Stake區塊鏈上的Web3社交圖。它旨在使創作者能夠擁有自己與社區之間的聯系,形成一個完全可組合的、用戶擁有的社交圖譜.

1900/1/1 0:00:00
詳解PDF文檔釣魚攻擊:警惕5億美元的教訓_PDF

據TheBlock報道,今年3月AxieInfinity側鏈Ronin跨鏈橋被攻擊導致5.4億美元資產被盜的起因,是AxieInfinity的員工接收并下載了一份PDF文檔形式的招聘offer.

1900/1/1 0:00:00
為什么我們說“2022年是數字資產歷史上最嚴重的熊市”?_以太坊

本輪場熊市對比特幣和以太坊造成了非常嚴重的打擊,二者的當前價格都低于上一輪周期的最高價。許多鏈上和市場表現指標達到歷史偏低水平。2021-22年度的所有投資者均陷入未實現虧損.

1900/1/1 0:00:00
盤點NFT項目的7種市場營銷策略_NFT

本文來自微信公眾號TheSeeDAO。摘要:本文中作者首先指出了Web3中客戶的角色轉變,隨后給出了7個關于NFT項目營銷的策略,并進行解讀以及詳細的方向.

1900/1/1 0:00:00
加密開發者:為什么zkEVM值得關注?_ROL

7月20日,以太坊側鏈Polygon將其zkEVM代碼開源,并表示即將上線公共測試網。同日,以太坊Layer2擴容解決方案zkSync公布項目路線圖,宣布zkSync2.0作為第一個采用zkEV.

1900/1/1 0:00:00
淺析宏觀因素對加密市場的影響:持續熊市還是觸底反彈?_加密貨幣

內容總覽 簡介貨幣政策:ELI5為什么貨幣政策是一個重要的宏觀主題?加密貨幣與宏觀經濟環境相互作用的簡史通貨膨脹和經濟增長的作用總結簡介加密貨幣作為一種資產類別.

1900/1/1 0:00:00
ads