月亮链 月亮链
Ctrl+D收藏月亮链

SUM:区块链研究实验室 | Plasma Cash区块结构的规范_TERK

作者:

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

PlasmaCash推出的最重要的改进之一是“lightproofs”。Plasma结构要求用户下载整个Plasma链,以确保他们的资金安全。使用PlasmaCash,他们只需下载与自己资金相关的Merkle树枝。

这是通过引入一个新的事务有效性条件来实现的:特定CoinID的事务只在Merkle树的CoinIdth叶中有效。因此,只下载该分支就足够确信该硬币不存在有效的交易。这个方案的问题在于,交易是“卡”在这个面额上的:如果你想交易多个硬币,你需要多个交易。

如果我们将基于范围的事务放入常规Merkle树的分支中,则lightproofs就变得不安全。这是因为有一个分支并不能保证其他分支不相交:

第4和第6叶都描述了范围内的交易。有一个分支并不保证另一个分支不存在。

高盛董事长:区块链的出现,颠覆了银行等受严格监管的行业:金色财经报道,本周,投资银行高盛董事长兼首席执行官David Solomon用他撰写的一篇题为\"区块链远不止是加密货币 \"的《华尔街日报》评论文章证明他还停留在过去。这篇文章是在高盛表示计划花费“数千万美元”进行加密投资之后发表的。

在文章中,Solomon指出,区块链的出现,颠覆了银行等受严格监管的行业。奇怪的是,震耳欲聋的监管呼吁意味着年轻的 \"区块链组织 “将无法跟上监管要求。而加密货币尤其如此,但我们不应该只见树木不见森林,也就是说我们应该认识到,区块链可以在没有加密货币的情况下支持整个金融业的负责任创新。[2022/12/12 21:38:17]

使用常规Merkle树,保证没有其他分支相交的唯一方法是将它们全部下载并检查。但那已经不再是lightproofs!

银保监会:密切关注打着区块链、虚拟货币以及解债服务等旗号的新型风险:4月23日消息,银保监会4月22日,2021年处置非法集资部际联席会议(扩大会议)以电视电话形式召开。会议指出,积极化解重点领域风险。高度警惕私募基金、财富管理、房地产等领域涉非风险趋向,密切关注打着区块链、虚拟货币以及解债服务等旗号的新型风险,紧盯养老服务、涉农组织、民办学校、线上教育等民生领域,对侵害弱势群体利益的非法集资尽早发现,露头就打。[2021/4/23 20:52:09]

我们的Plasma实现的核心是一个新的块结构,以及一个伴随的新事务有效性条件,它允许我们为基于范围的事务获得lightproofs。块结构称为Merklesum树,其中每个散列旁边是和值。

新的有效性条件使用特定分支的和值来计算开始和结束范围。这种计算是经过精心设计的,因此两个分支的计算范围不可能重叠。转移只有在其自身范围在该范围内时才有效,因此这将使我们返回我们的轻客户!

裴庆祺:区块链将创新数字经济模式:4月23日20:00,由火币研究院主办的“对话数字新时代暨《区块链技术进阶指南》新书发布会”直播开启,火币研究院副院长李慧与西安电子科技大学教授裴庆祺进行了尖峰对话“区块链技术发展前瞻”。李慧认为,区块链技术在多方协作场景中有着得天独厚的优势,不仅可以解决以往因为信任缺失而难以达成的深度合作问题,还可以衍化出新的商业模式和社会组织形式。未来需要对“跨链”多进行思考与探索。裴庆祺认为,因为疫情数字经济受到高度关注。区块链在未来数字经济中将会发挥重要价值和充当重要角色,在搭建新型信用价值的同时创新数字经济模式。[2020/4/23]

本节将详细说明sumtree的规范、范围计算的内容以及如何实际构造满足范围的sumtree。

我们已经编写了Plasma-Merklesumtree的两个实现方法:一个是在操作员的数据库中完成,另一个是在内存中用于在Plasma实用程序中测试。

行情 | 在美上市区块链中概股无一上涨:今日美股行情,三大股指全线大跌,在美上市区块链中概股无一上涨。嘉楠科技下跌2.22%,人人网下跌0.64%,寺库下跌2.21%,迅雷下跌2.53%,猎豹移动下跌4.01%,兰亭集势平盘,中网载线平盘。[2020/2/24]

sumtree节点规范

Merklesum树中的每个节点都是48个字节,如下所示:

总和的16字节长度与coinID相同并不是巧合!

我们有两个辅助属性,.hash和.sum,这两个属性将引出这两个部分。

例如,对于somenode=0x1b2e79791f28c27ed669f257397e1deb3e522cf1f27024c161b619d276a25315ffffffffffffffffffffffffffffffffff

动态 | 抹茶科技成为中国软件行业协会区块链分会首批共识理事成员:12月21日,第十七届中国企业发展论坛暨第四次中国企业营商环境峰会在人民大会堂召开,国家及各地政府领导、院士科学家和企业家代表共500余位出席。在区块链分会中,秘书长崔志如表示,区块链技术及其经济社会学生态是数字经济的广义的基础设施。

MXC抹茶科技同时受邀出席本次论坛,并成为中国软件行业协会颁发的首批共识理事成员,会议同时公布了“2019年度区块链十佳创新企业”获奖名单,包括腾讯区块链、百度区块链、万向区块链等在内。[2019/12/23]

我们有node.hash==0x1b2e79791f28c27ed669f257397e1deb3e522cf1f27024c161b619d276a25315和node.sum==0xffffffffffffffffffffffffffffffffff。

父级计算

在一个规则的merkle树中,我们构造一个哈希节点的二叉树,直到一个根节点。指定和树格式是一个简单的问题,即定义父计算函数,该函数接受两个兄弟作为参数。

例如,常规Merklesum树具有:parent=function{returnSha3)}其中Sha3是哈希函数,concat将这两个值附加在一起。

若要创建merklesumtree,父函数还必须连接其子函数的加法运算结果。sum值:

注意parent.hash对每个sibling.sum和hashes是一种承诺:我们对两者的完整96个字节进行哈希处理。

计算分支的范围

我们使用Merklesumtree的原因是因为它允许我们计算分支描述的特定范围,并且100%确信不存在其他有效的重叠分支。

我们通过在分支上加上左和右和来计算这个范围。在每个父级计算中,将两者初始化为0。如果包含证明指定了右侧的同级,则取rightsum=right.sum;如果将leftsum=left.sum添加到左侧,则取leftsum=left.sum。

然后,分支描述的范围是。请参见以下示例:

在本例中,分支6的有效范围是。注意31–24=7,这是叶6的总和值!同样,分支5的有效范围是[21,36-)==[21,24)。注意它的结束和分支6的开始是一样的!

你会发现构造一个Merklesumtree是不可能的,它有两个不同的分支覆盖相同的范围。在树的某个层面,总和必须被打破!尝试通过制作另一个与范围相交的分支来“”叶子5或6。仅填写灰色框中的?

你会发现,在树的某个层次上,这是不可能的:

这就是我们获得轻客户的方式。我们将分支范围称为implicitStart和implicitEnd,因为它们是从包含证明中“隐式地”计算的。我们在plasma-utils中通过calculateRootAndBounds实现了一个分支检查器,用于测试和客户端证明检查:

在Vyper中使用智能合约

请注意,键入的范围是开始和结束,即完整的16个字节。

在常规Merkle树中,我们通过散列“叶子”构建底层节点:

给定一个带有单个transfera的txa,和值应该是什么?事实证明,不仅仅是transfera.end-transfera.start。原因是,如果传输不接触,它会破坏分支的范围。我们需要“填充”sum值来解释这个间隙,否则root.sum将太小。

有趣的是,这是一个非确定性的选择,因为您可以将节点填充到间隙的右侧或左侧。?我们选择了以下“左对齐”方案来将叶子解析为块:

我们将最底层的.sum值称为该分支的parsedSum,而TransferProof模式包含一个.parsedSum值,用于重建底部节点。

分支有效性和隐含NoTx

因此,由智能合约检查的分支的有效性条件如下:implicitStart<=transfer.typedStart

原子性多发

通常交易要求多次转移要么发生或要么不发生,结果是每个.transfer需要包含一次有效的事务-每个.transfer都有一个与特定transfer.typedStart和.typedEnd相关的有效总和。但是,对于这些包含中的每一个,它仍然是完整的UnsignedTransaction的哈希-而不是被解析到底部的单个Transfer.hash。

本文转载公众号:区块链研究实验室

海纳学院的内容将围绕:区块链技术,产品社群,经济模型等全方位的知识体系输出,为大家带来不一样的社群学习体验。欢迎联系作者微信加入社群:csschan1120

标签:SUMFFFMERERKBitsumfff币有价值吗STREAMERTERK

比特币价格实时行情热门资讯
TOP:TLAB 日报 | 进击的火腿_bitop交易地址

今日投资建议HT/USDT投资建议:买入价:2.8附近BNB/USDT投资建议:买入价:29.5附近01产业解读年初HT走势惨淡,跌破1美金的时候,谁也想不到,仅仅3个月后,HT就能冲上3美金.

1900/1/1 0:00:00
SIX:首个瑞士法郎稳定币诞生 瑞士国家证券交易所SIX假如战局_SDX

据CoinDesk5月22日报道,瑞士国家证券交易所集团SIX正致力于创建自己的“稳定币”,即一种与瑞士法郎挂钩的加密货币,以促进SIX数字交易所(SIXDigitalExchange.

1900/1/1 0:00:00
TER:「黑客从我的手机里偷走了 2.24 亿美金!」_PIN

8月15日,MichaelTerpin对美国电信巨头AT&T正式提起诉讼,要求赔偿2.24亿美元.

1900/1/1 0:00:00
区块链:5个月亏掉2000万 币圈反指第一人蔡曙家真的有矿吗?_加密货币

蔡曙是谁?在币圈,如果你还没有听说过这个名字,那你OUT了。2019年的币圈发生很多有趣的事情,从“交易所IEO大战”到“预告式维权”再到近来的“大家一起振”等币圈独创的造富游戏捧红了不少项目和.

1900/1/1 0:00:00
COS:KuCoin上线Cosmos (ATOM)!_MOS

亲爱的KuCoin用户:KuCoin现在已上线Cosmos(ATOM)并支持交易对:ATOM/BTC、ATOM/ETH、ATOM/USDT.

1900/1/1 0:00:00
非小号:2018 年上半年全球数据泄露事件严重程度指数一览_face币最新消息

近日,金雅拓发布了全球范围内公共数据泄露事件严重程度指数,共涵盖945次事件,导致45亿条信息泄露.

1900/1/1 0:00:00