PlasmaCash推出的最重要的改进之一是“lightproofs”。Plasma结构要求用户下载整个Plasma链，以确保他们的资金安全。使用PlasmaCash，他们只需下载与自己资金相关的Merkle树枝。
这是通过引入一个新的事务有效性条件来实现的：特定CoinID的事务只在Merkle树的CoinIdth叶中有效。因此，只下载该分支就足够确信该硬币不存在有效的交易。这个方案的问题在于，交易是“卡”在这个面额上的：如果你想交易多个硬币，你需要多个交易。
如果我们将基于范围的事务放入常规Merkle树的分支中，则lightproofs就变得不安全。这是因为有一个分支并不能保证其他分支不相交：
第4和第6叶都描述了范围内的交易。有一个分支并不保证另一个分支不存在。
Curve Finance正在向Polkadot区块链扩展:2月10日消息，去中心化交易所Curve Finance正在向波卡Polkadot区块链扩展，其正在构建跨链以实现在Polkadot平行链Equilibrium上运行。一旦得以实现，Curve Finance将同时存在于以太坊和波卡区块链上。（CoinDesk）[2021/2/10 19:22:33]
使用常规Merkle树，保证没有其他分支相交的唯一方法是将它们全部下载并检查。但那已经不再是lightproofs！
我们的Plasma实现的核心是一个新的块结构，以及一个伴随的新事务有效性条件，它允许我们为基于范围的事务获得lightproofs。块结构称为Merklesum树，其中每个散列旁边是和值。
新的有效性条件使用特定分支的和值来计算开始和结束范围。这种计算是经过精心设计的，因此两个分支的计算范围不可能重叠。转移只有在其自身范围在该范围内时才有效，因此这将使我们返回我们的轻客户！
声音 | 长江商学院刘劲：资本市场跟技术离得很远 区块链需要静下心来研究才能弄清楚:据经济观察报报道，长江商学院企业家学者项目的副院长刘劲表示，我的本行是研究资本市场，但资本市场跟技术离得很远，所以我不停做研究，像区块链、人工智能，这些都需要静下心来研究才能弄清楚。[2019/9/8]
本节将详细说明sumtree的规范、范围计算的内容以及如何实际构造满足范围的sumtree。
我们已经编写了Plasma-Merklesumtree的两个实现方法：一个是在操作员的数据库中完成，另一个是在内存中用于在Plasma实用程序中测试。
sumtree节点规范
Merklesum树中的每个节点都是48个字节，如下所示：
总和的16字节长度与coinID相同并不是巧合！
动态 | 安徽首支政府引导基金落户滨湖金融小镇 将用区块链等技术研发金融科技:据安徽日报消息，3月29日，“安徽省科技成果转化引导基金有限责任公司”的营业执照递交至安徽省国有资本运营控股集团工作人员手中。这标志着安徽省首支政府引导基金——注册资本20亿元的“安徽省科技成果转化引导基金”正式落户滨湖金融小镇。据悉，依托合肥综合性国家科学中心和滨湖科学城建设，滨湖金融小镇将汇集云计算、区块链等新技术，开展金融科技研发，激活区域“创新”元素。[2019/4/7]
我们有两个辅助属性，.hash和.sum，这两个属性将引出这两个部分。
例如，对于somenode=0x1b2e79791f28c27ed669f257397e1deb3e522cf1f27024c161b619d276a25315ffffffffffffffffffffffffffffffffff
日本视频制作行业希望利用区块链技术改善行业待遇:据日经新闻消息，在5月14日举行的日本政府规制改革推进会议上，视频制作行业提交了改善行业待遇的提案。提案表示，如今的网络视频产业链中，制作方并没有分配到应得的利益，所以需要制定新的法规来明确收入分配比例，并且应使用区块链技术来保证分配合约及交易数据的准确有效。[2018/5/15]
我们有node.hash==0x1b2e79791f28c27ed669f257397e1deb3e522cf1f27024c161b619d276a25315和node.sum==0xffffffffffffffffffffffffffffffffff。
父级计算
在一个规则的merkle树中，我们构造一个哈希节点的二叉树，直到一个根节点。指定和树格式是一个简单的问题，即定义父计算函数，该函数接受两个兄弟作为参数。
上海证券报：阿里系“玩转”区块链技术:据上海证券报报道，菜鸟与天猫国际27日宣布，已经启用区块链技术跟踪、上传、查证跨境进口商品的物流全链路信息。此外，蚂蚁金服已经将区块链技术用在公益、食品安全溯源上。蚂蚁技术实验室预测，2018年区块链技术将开始落地实际商用系统，出现第三代区块链技术架构。记者从菜鸟方面了解到，此次与天猫国际合作应用区块链技术跟踪的信息涵盖了生产、运输、通关、报检、第三方检验等商品进口全流程，将给每个跨境进口商品打上独一无二的“身份证”，供消费者查询验证。目前，已经有超过50个国家的30000种进口商品支持基于区块链技术的物流链路查询。据悉，蚂蚁金服技术实验室两年多前开始组建团队研发区块链，并已取得49件区块链相关专利，其方向主要集中于区块链的底层技术，如共识机制、平台架构、隐私保护和智能合约等。后续，蚂蚁区块链技术还将用于国酒茅台正品溯源、雄安租房溯源上。[2018/2/28]
例如，常规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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。