原文作者:Hoyt問題的由來:
為了實現鏈的容量擴展,Celestia承諾主權應用將只需下載與其有關的消息,而不用下載全部消息,但同時,不同應用的消息是打包在同一個區塊里面的,以實現平等的安全性。那么,如何保證當某個應用的執行節點向Celestia的存儲節點查詢消息時,存儲節點僅返回所有的相關消息,而且惡意存儲節點無法隱藏特定消息呢。Celestia選擇的方案是,將稱為命名空間的應用標識符,插入到消息構成的默克爾樹的節點信息中。這樣做的好處是,可以處理存儲節點隱藏全部相關消息的情況,可以定位被隱藏的消息。另外,無需大幅度修改默克爾樹的生成邏輯,以確保存在一個節點,它的底層葉節點,包含且僅包含某個命名空間的全部消息,且能定位此節點。而只需要做三件相對簡單的事情,就可以確保默克爾樹的基本特性,不發生變化:首先,生成消息的默克爾樹之前,先按命名空間將消息分組歸并在一起,確保不同命名空間的消息沒有穿插,且命名空間是排好序的。其次,修改生成默克爾樹時使用的哈希函數,以便命名空間信息被包含進節點信息。檢查默克爾樹時,額外檢查排序是否無誤。生成帶命名空間的默克爾樹:
Valkyrie向美SEC提交以太坊策略ETF的申請文件:5月14日消息,加密資產管理公司Valkyrie Investments向美國SEC提交Valkyrie Ethereum Strategy ETF的申請文件。
該基金希望通過將其部分資產投資于其根據開曼群島法律成立的全資子公司Valkyrie Ethereum Strategy (Cayman) Ltd.,從而獲得以太坊期貨合約的敞口。Valkyrie擔任子公司的投資顧問。[2023/5/15 15:02:43]
前面我們說了,跟通用的默克爾樹邏輯相比,只有生成節點的哈希的函數不同。具體來說,就是在原哈希函數之上,又包裹了一層,使得節點哈希變成形如‘minNs|maxNs|原哈希’的形式,minNs和maxNs分別是此節點所有子節點中,最小和最大的命名空間。容易看出,對葉節點有minNs=maxNs,因為它只包含一條消息,只能有一個命名空間。默克爾樹是二叉樹,且我們已對消息做了排序,所以對非葉節點有minNs等于左子節點的minNs,maxNs等于右子節點的maxNs。另外,請注意原哈希函數會把子節點的整個哈希作為輸入,也就是說命名空間也參與哈希計算,因此不能隨意寫,否則樹根哈希會跟區塊里的記錄不一致,就很容易看出數據無效。下圖是一個帶命名空間的默克爾樹的示意圖:
CFTC前主席:SEC起訴Terraform Labs和Do Kwon的做法“絕對正確”:金色財經報道,美國商品期貨交易委員會(CFTC)前主席Timothy Massad表示,美國證券交易委員會(SEC)追查穩定幣發行人Terraform Labs和創始人Do Kwon的做法是絕對正確的。Massad稱,“當你邀請人們投資一種承諾回報率為19%到20%的代幣時,這就是一種證券。”
此外,Massad還表示,美國銀行監管機構現在有能力創建一個框架,為穩定幣發行人頒發許可證。[2023/2/18 12:14:26]
ZigZag:將于zkSync 2.0發布后同步上線新版ZigZag DEX:8月1日消息,ZigZag表示,作為zkSync 1.0網絡上唯一DEX,將于zkSync 2.0發布后同步上線新版ZigZag DEX,陸續部署功能更全面的智能合約,包括同時下達多個限價單,保證金交易,永續合約,流動池質押等功能。[2022/8/1 2:51:38]
證明消息的完整性:
首先,需要證明返回的某條消息,確實是在消息樹中,這個就是普通默克爾包含證明所作的事情。因此,當存儲節點返回一條消息時,它同時返回此消息的默克爾包含證明。假定返回消息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小于等于目標命名空間的情況。這樣執行節點也能發現問題。綜上所述,存儲節點不可能隱藏消息而不被發現。
牙買加央行行長:加密貨幣不夠穩定,無法成為一種好的支付方式:6月19日消息,牙買加央行行長Richard Byles提醒使用或計劃使用加密貨幣的人注意其不可預測性。Byles表示,他認為加密貨幣是一種投資工具,而不是一種交易媒介,因為其價值“不夠穩定,無法成為一種好的支付方式”。
據此前報道,牙買加參議院通過新立法,授權該國央行發行CBDC Jam-Dex并給予其法幣地位。(Bitcoin.com)[2022/6/19 4:38:40]
結語:本文復述了Celestia白皮書中,關于多應用場景下,對抗惡意存儲節點的部分內容。現在Celestia測試網已經上線,但目前更多是展示了對輕節點的支持,以及對消息分組的可行性。白皮書里面,第三章、第四章都有提到更多關于應用主權或者分片的內容,比較偏概念,針對真實公網環境來說,具體是怎么實現的,目前還看得不是很清楚。而擴容問題,顯然是整個區塊鏈領域近期最關注的目標。所以,我們之后也會特別關注Celestia在支持獨立應用方面的進展,究竟怎么跟L2或者說其它‘區塊鏈模塊’結合起來,做到實用的功能,并提高鏈上容量,我們將拭目以待。
原文作者:JackNiewold 原文 編譯:TechFlowintern三箭資本曾經是最大的加密 貨幣 對沖基金之一,曾一度管理著超過100億美元的資金.
1900/1/1 0:00:00我讀過很多關于人們因為加密貨幣而破產的故事。人們透支他們未來的錢,他們在為償還貸款而掙扎。每個人在某些時候都會在加密貨幣中損失金錢,但損失不代表破產,可靠可行的風險管理能幫你生存并同時獲得利益,
1900/1/1 0:00:00引言 自加密市場縮水近2萬億美元后,前段時間整體的上漲引發了部分市場觀察人士對于底部的猜測。鑒于歷史上加密資產有過多次集體飆升,事后又被證明不過是熊市的反彈,市場對于恐慌的拋售是否結束仍存在很多.
1900/1/1 0:00:00推薦閱讀: 數讀15條頭部公鏈和生態協議表現情況:資金向頭部公鏈和頭部協議集聚“治理代幣”隨著DeFi的崛起而得到推廣,它賦予了代幣持有者對項目的決策權力.
1900/1/1 0:00:002022年6月27日,據慢霧區消息,XCarnival項目被曝出嚴重漏洞遭黑客攻擊并盜走3,087個ETH.
1900/1/1 0:00:00TL;DR1,StarkWare很早就確定了以技術為核心的商業模式,StarkEx是其主要盈利來源2,StarkNet生態還在發展初期,原生和創新項目多,技術進展是主要瓶頸3.
1900/1/1 0:00:00