木星链 木星链
Ctrl+D收藏木星链

XNS:一文简析Celestia如何确保消息检索结果的完整性

作者:

时间:1900/1/1 0:00:00

原文作者:Hoyt问题的由来:

为了实现链的容量扩展,Celestia承诺主权应用将只需下载与其有关的消息,而不用下载全部消息,但同时,不同应用的消息是打包在同一个区块里面的,以实现平等的安全性。那么,如何保证当某个应用的执行节点向Celestia的存储节点查询消息时,存储节点仅返回所有的相关消息,而且恶意存储节点无法隐藏特定消息呢。Celestia选择的方案是,将称为命名空间的应用标识符,插入到消息构成的默克尔树的节点信息中。这样做的好处是,可以处理存储节点隐藏全部相关消息的情况,可以定位被隐藏的消息。另外,无需大幅度修改默克尔树的生成逻辑,以确保存在一个节点,它的底层叶节点,包含且仅包含某个命名空间的全部消息,且能定位此节点。而只需要做三件相对简单的事情,就可以确保默克尔树的基本特性,不发生变化:首先,生成消息的默克尔树之前,先按命名空间将消息分组归并在一起,确保不同命名空间的消息没有穿插,且命名空间是排好序的。其次,修改生成默克尔树时使用的哈希函数,以便命名空间信息被包含进节点信息。检查默克尔树时,额外检查排序是否无误。生成带命名空间的默克尔树:

Ripple总法律顾问:即使是未经选举的高级官僚也应为自己言论负责:金色财经报道,Ripple公司的总法律顾问Stuart Alderoty表示,在被指责公开预判每一种加密货币为证券之后,现在突然说你没有预判每一种加密货币(BTC可能除外)为证券,言论是有后果的,即使是未经选举的高级官僚。[2023/4/2 13:40:47]

前面我们说了,跟通用的默克尔树逻辑相比,只有生成节点的哈希的函数不同。具体来说,就是在原哈希函数之上,又包裹了一层,使得节点哈希变成形如‘minNs|maxNs|原哈希’的形式,minNs和maxNs分别是此节点所有子节点中,最小和最大的命名空间。容易看出,对叶节点有minNs=maxNs,因为它只包含一条消息,只能有一个命名空间。默克尔树是二叉树,且我们已对消息做了排序,所以对非叶节点有minNs等于左子节点的minNs,maxNs等于右子节点的maxNs。另外,请注意原哈希函数会把子节点的整个哈希作为输入,也就是说命名空间也参与哈希计算,因此不能随意写,否则树根哈希会跟区块里的记录不一致,就很容易看出数据无效。下图是一个带命名空间的默克尔树的示意图:

P2E链游Medieval Empires完成210万美元种子轮融资:10月5日消息,据报道,“Play-to-Own”链游 Medieval Empires 宣布完成 210 万美元种子轮融资,Evan Luthra、James Crypto Guru、Satoshi Stacker、Crypto King 和 Davinci Jeremie 等多位天使投资人参投。

Medieval Empires 是一款多人在线战略游戏,背景设定在 13 世纪后期,玩家可以构建自己的帝国并配合使用 NFT 在游戏里开疆拓土,据 Medieval Empires 首席执行官 Jan Berkefeld 透露,他们后续还将进行私募融资。(itnewsonline)[2022/10/6 18:40:25]

ApeCoin社区已通过AIP-70提案,将扩展Bored Ape Gazette业务:7月28日消息,ApeCoin社区已于今日以87.88%支持通过AIP-70提案,将升级Bored Ape Gazette,使业务扩展到整个生态系统的持续研究、分析和报告。计划在一年内将Bored Ape Gazette转变为可持续的商业模式。预计每月将花费DAO中1万美元,第一年总成本约为15万美元[2022/7/28 2:43:14]

证明消息的完整性:

首先,需要证明返回的某条消息,确实是在消息树中,这个就是普通默克尔包含证明所作的事情。因此,当存储节点返回一条消息时,它同时返回此消息的默克尔包含证明。假定返回消息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小于等于目标命名空间的情况。这样执行节点也能发现问题。综上所述,存储节点不可能隐藏消息而不被发现。

BitGo与Parallel Finance合作为美国机构推出首个NFT托管平台:6月22日消息,数字资产安全和流动性提供商 BitGo 周三宣布,已与去中心化借贷和质押协议 Parallel Finance 合作为开发商、零售市场和机构推出了 NFT 热钱包和托管解决方案。BitGo首席产品官Chen Fang表示,这是第一个可以与热钱包配对的美国合格托管解决方案。客户可以通过 BitGo 的新钱包服务与 OpenSea 和 LooksRare 等去中心化市场进行交互,类似于 MetaMask 用户可以集成他们的钱包的方式。[2022/6/22 1:24:38]

结语:本文复述了Celestia白皮书中,关于多应用场景下,对抗恶意存储节点的部分内容。现在Celestia测试网已经上线,但目前更多是展示了对轻节点的支持,以及对消息分组的可行性。白皮书里面,第三章、第四章都有提到更多关于应用主权或者分片的内容,比较偏概念,针对真实公网环境来说,具体是怎么实现的,目前还看得不是很清楚。而扩容问题,显然是整个区块链领域近期最关注的目标。所以,我们之后也会特别关注Celestia在支持独立应用方面的进展,究竟怎么跟L2或者说其它‘区块链模块’结合起来,做到实用的功能,并提高链上容量,我们将拭目以待。

标签:XNSAXNMAXMINXNS价格AXNT价格KAMAX价格gemini女朋友染染微博

欧易交易所热门资讯
WEB:从16页PPT里看懂Jack Dorsey的Web5

Odaily星球日报译者|Moni 6月11日,Twitter创始人JackDorsey推出的加密项目TBD宣布将在比特币网络上推出一个名为“Web5”的去中心化网络标准平台.

1900/1/1 0:00:00
加密货币:美FTC:2021年初以来,加密局已致4.6万人损失超10亿美元

Odaily星球日报译者|念银思唐美国联邦贸易委员会近日发布了一份有关加密的报告。全文如下:从超级碗广告到比特币ATM机,加密货币最近似乎无处不在.

1900/1/1 0:00:00
加密货币:如何看待奥德赛活动中止,Layer2的瓶颈在哪里?

本文梳理自CinneamhainVentures合伙人AdamCochran个人社交平台观点,BlockBeats对其整理翻译如下:随着Arbitrum奥德赛活动推高了Arbitrum网络的GA.

1900/1/1 0:00:00
SHO:Shopify推出NFT门控商店,押注未来电商新趋势

Odaily星球日报译者|念银思唐可以说,Shopify正将NFT视为电子商务的未来。Shopify周三宣布,这家允许小型企业创建定制电子商务商店的在线购物巨头,将推出NFT门控商店,这是一项面.

1900/1/1 0:00:00
区块链:深度探讨美联储加息75个基点背后的市场宏观现状

市场上的一切都在分崩离析越来越多的事物是基于一个极易破坏的平衡中,一个轻微的打击就可以摧毁整个天秤.

1900/1/1 0:00:00
NFT:NFT数据日报 | Otherdeed在过去24小时内最受巨鲸欢迎(6.27)

NFT数据日报是由Odaily星球日报与NFT数据整合平台NFTGO.io合作的一档栏目,旨在向NFT爱好者与投资者展示近24小时的NFT市场整体规模、交易活跃度、子领域市占比.

1900/1/1 0:00:00