PlasmaCash推出的最重要的改进之一是“lightproofs”。Plasma结构要求用户下载整个Plasma链，以确保他们的资金安全。使用PlasmaCash，他们只需下载与自己资金相关的Merkle树枝。
这是通过引入一个新的事务有效性条件来实现的：特定CoinID的事务只在Merkle树的CoinIdth叶中有效。因此，只下载该分支就足够确信该硬币不存在有效的交易。这个方案的问题在于，交易是“卡”在这个面额上的：如果你想交易多个硬币，你需要多个交易。
如果我们将基于范围的事务放入常规Merkle树的分支中，则lightproofs就变得不安全。这是因为有一个分支并不能保证其他分支不相交：
第4和第6叶都描述了范围内的交易。有一个分支并不保证另一个分支不存在。
公链项目CasperLabs与区块链服务网络BSN国际达成合作:公链项目CasperLabs宣布与区块链服务网络（BSN国际）达成合作关系，将使Casper网络融入全球基础设施，Casper的可扩展性、安全性和去中心化特性也将与BSN生态有机结合。
Casper是完全去中心化、可扩展、高度安全的权益证明区块链。CasperLabs计划于今年今年一季度启动Casper主网，还于2020年10月份完成由Digital Strategies领投的1400万美元私募融资。BSN由红枣科技于2019年创立，是由中国政府支持、旨在加速区块链在中国及其他地区应用的基础设施。[2021/2/8 19:14:55]
使用常规Merkle树，保证没有其他分支相交的唯一方法是将它们全部下载并检查。但那已经不再是lightproofs！
声音 | 阿里云研究中心战略总监杨军：区块链是数字社会的生产关系:在“2018区块链场景应用技术与阿里新零售高峰论坛”上，阿里云研究中心战略总监杨军表示，区块链是数字社会的生产关系。[2018/7/11]
我们的Plasma实现的核心是一个新的块结构，以及一个伴随的新事务有效性条件，它允许我们为基于范围的事务获得lightproofs。块结构称为Merklesum树，其中每个散列旁边是和值。
新的有效性条件使用特定分支的和值来计算开始和结束范围。这种计算是经过精心设计的，因此两个分支的计算范围不可能重叠。转移只有在其自身范围在该范围内时才有效，因此这将使我们返回我们的轻客户！
本节将详细说明sumtree的规范、范围计算的内容以及如何实际构造满足范围的sumtree。
首都网络安全日即将开幕，区块链为主要议题之一:由北京市局与北京市委网信办联合主办的第五届“4.29首都网络安全日”系列活动将于4月26日至28日在北京展览馆举行。百余名网安专家将发表演讲，从人工智能、云计算、数据保护、区块链等技术角度全方位对网络安全的未来趋势展开深入探讨。[2018/4/23]
我们已经编写了Plasma-Merklesumtree的两个实现方法：一个是在操作员的数据库中完成，另一个是在内存中用于在Plasma实用程序中测试。
sumtree节点规范
Merklesum树中的每个节点都是48个字节，如下所示：
总和的16字节长度与coinID相同并不是巧合！
我们有两个辅助属性，.hash和.sum，这两个属性将引出这两个部分。
纽约梅隆银行新兴业务和架构运营总监：不应急着利用区块链技术:据coindesk消息，纽约梅隆银行新兴业务和架构运营总监Boris Spremo在伦敦区块链博览会上平淡地表示，区块链技术还没有准备好。银行采用该技术的另一个障碍是监管。目前监管机构非常谨慎，尤其是在资本市场上。我们需要临界质量来让科技工作。 我们不着急，我们是一家全球性运营机构，我们的客户有广泛的需求。如果我们的支付引擎因为尝试一些新的区块链KYC而失败，会使我们的客户感到失望。”[2018/4/21]
例如，对于somenode=0x1b2e79791f28c27ed669f257397e1deb3e522cf1f27024c161b619d276a25315ffffffffffffffffffffffffffffffffff
我们有node.hash==0x1b2e79791f28c27ed669f257397e1deb3e522cf1f27024c161b619d276a25315和node.sum==0xffffffffffffffffffffffffffffffffff。
世界经济论坛：区块链技术可从根本上改变水资源管理:近日，世界经济论坛刊文《第四次工业革命终结水危机的五种方法》，文章指出：通过提供安全、透明和分布式记账来记录各方之间的交易，区块链为基础的技术可以从根本上改变水资源的管理和交易方式。文章表示，首先，利用区块链技术可以使来自家庭、行业消费者、水务管理人员和政策制定者们都能获得关于水质和水量的数据从而得以做出更明智的决定。这样的透明度会帮助消费者做出何时储存、何时用水的方案。同时也可以帮助防止地方当局篡改或扣留水质数据的贪腐行为。[2018/4/4]
父级计算
在一个规则的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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。