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

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

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

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

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

麦迪逊的音乐流媒体公司利用区块链构建一个新的数字空间:金色财经报道，位于麦迪逊的音乐流媒体初创公司最近在 Twitter 上宣布将关闭运营，但并非完全关闭。LüM（Live Undiscovered Music）正在使用区块链技术构建一个新的数字空间，让粉丝能够直接为他们所支持的音乐家的财务成功做出贡献。首席执行官 Max Fergus 表示，用户可以收集、出售和交易由他们最喜欢的艺术家提供的“访问通行证”。他说，音乐家直接从粉丝投资中获利，而没有唱片公司或任何其他中间人的代表。“我们有潜力创造一种新模式，为音乐行业开启新机遇，这是一种不需要艺术家向他们的主人出售、放弃自己的股权或花费过多时间创作独家内容来通过他们最大的支持者获利的模式。（madison）[2021/12/27 8:05:50]

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

声音 | 独立经济学家金岩石：区块链是打开财富增长新空间的一把金钥匙:11月30日，第十二届（2019）中国人民保险中国经济媒体高层峰会在北京举行。独立经济学家金岩石表示，跳出经济增长的思维，去关注财富增长。去寻找财富增长的新空间，就会看到区块链是打开财富增长新空间的一把金钥匙。真正的区块链是什么呢？第一，是一个帐本，分布式帐本；第二，是一台机器，创造信任的机器；第三，是一个平台，是开发新资源新资产的平台；第四，是一套工具，是让我们的后代能够去开发利用云端资源。[2019/11/30]

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

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

动态 | 凯撒文化与腾讯建立合作关系，积极布局区块链游戏等新领域:11月28日，凯撒文化与腾讯建立合作关系。凯撒文化总经理何啸威介绍，经过近几年的努力，凯撒文化已经成功打造了以精品IP为核心的泛娱乐一体化生态体系。未来公司除了持续加大研发投入，坚持精品策略之外，还将积极布局“云游戏、AI和区块链游戏”等新领域，借此希望推出适应5G时代特征的代表作品。（上证报）[2019/11/29]

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

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

sumtree节点规范

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

动态 | 东莞市利用区块链等技术自主研发“东莞警邮e网通”平台:据金羊网消息，8月12日，记者从广东邮政获悉，截至目前，全省开通代办交管业务的邮政网点达582个，日均代办业务量3.6万笔。东莞市自主研发“东莞警邮e网通”平台，采用人脸识别、CA认证、区块链等技术，通过PC端、APP手机端、自助终端和群众生活网络等多渠道，实现邮政代办交管业务“一网通办”。[2019/8/13]

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

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

例如，对于somenode=0x1b2e79791f28c27ed669f257397e1deb3e522cf1f27024c161b619d276a25315ffffffffffffffffffffffffffffffffff

加拿大证券交易所公布基于区块链清算和结算平台的计划:加拿大证券交易所（CSE）已经公布了基于区块链清算和结算平台的计划， 该平台将使公司能够通过标记证券发行传统股权和债券，这些证券将通过安全令牌服务（STOs）提供给投资者。CSE尚未向加拿大监管机构提交新平台的申请，但已获得所规定的技术许可。[2018/2/14]

我们有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

标签：SUMFFFMERERKSUM币fff币是局吗BidCommercePowerKee

Coinw热门资讯