断言开发实战
状态对象
现在让我们深入了解这一切在实践中如何运作的细节。我们的Plasma链设计的构建块是“状态对象”。状态对象只是一个具有两个属性的数据：
predicateAddress：控制对象的on-chain地址。
parameters：描述对象的一些任意blob数据。
状态对象实际上是资产-PlasmaCash中不可替代“硬币”概念的概括。就像每个独特的硬币都有CashID一样，每个状态对象都有一个stateID。
StateID是根据在Plasma链中的存储按顺序分配的，但是没有任何关于参数或predicate可以是什么的规则。每个Plasma块都是“状态更新”的集合，它在特定的StateID上定义新的StateObjects。
Ethereum上的Plasma链契约实现了VerifyUpdate->Bool，该Bool检查Merkle包含证明状态更新确实已提交。
?断言(Predicates)接口
断言(Predicates)需要实现标准合同接口。让我们来看看这些功能。
Plasma合同所做的最重要的事情是确定状态更新的有效性。特别是，我们需要防止操作员能够“潜入”一个有效的状态更新，该更新具有stateobject.parameters.owner==operator-这将是盗窃！
工业区块链标准化需求研讨会成功召开:3月30日,中国信息通信研究院工业互联网与物联网研究所牵头组织的工业区块链标准化需求研讨会在线上召开。本次会议由中国信通院工业互联网与物联网研究所技术研究部副主任池程主持，中国信通院工业互联网与物联网研究所专家张钰雯、树根格致科技（湖南）有限公司首席运营官龙文选、上海万向区块链股份公司工业区块链资深专家鞠鹏、华为技术有限公司区块链标准产业发展总监张亮亮、苏州协同创新智能制造装备有限公司副总经理袁雪腾在会上做了分享。来自北京邮电大学、中国联通、北京师范大学、江苏徐工信息、济南大陆机电等单位专家就工业区块链标准化需求进行了研讨，80余位产业界专家和企业代表参加了本次研讨会。[2022/4/7 14:10:11]
为了实现这一点，我们引入了“状态弃用”的概念。我们说给定stateID的有效状态是尚未被“弃用”的最早更新的状态。状态弃用类似于未使用的事务输出变为耗尽UTXO区块链的交易输出。
这样，即使操作员在以后的更新中偷偷地使用stateobject.parameters.owner==operator，也会优先使用stateobject.parameters.owner==alice进行早期更新，因为只有她才能取消预测状态。
因此，断言(Predicates)中最重要的函数定义了其状态可能被否决的理由：
verifyDeprecation(stateID:?uint,?update:?stateUpdate,?deprecationWitness:?bytes)??
优盾钱包CMO孟春东：以太坊2.0关系到整个区块链公链未来:官方消息，太壹科技&优盾钱包CMO孟春东将于12月1日晚7点进行《ETH 2.0蓄势待发，你还不了解这些事儿？》的主题直播。
ETH2.0的阶段0已经箭在弦上，一周内以太坊2.0存款合约质押了超过70万枚ETH，市场对以太坊的期待更上了一层。但从技术来看，谜一样的ETH2.0仍然是一个未来不可预测的形态，因为公链始终都在尝试。对于以太坊2.0的发展前景，孟春东表示：“以太坊2.0不仅是以太坊的未来而且也是整个区块链公链的未来，以太坊立足的根本在于它将承载无限可能的应用，它价值延申的空间有无限可能。 ”[2020/12/1 22:40:46]
VerifyDeprecation根据提交的StateUpdate是否已针对特定StateID弃用而返回true或false。deprecationwitness是断言(Predicates)用来检查StateObject是否已被弃用的任意数据。例如，通过要求deprecationwitness包含update.stateobject.parameters.owner的有效签名，我们保证只有所有者才能批准deprecation。
记住，这个函数实际上并没有对Plasma的退出游戏、争议等进行任何弃用。相反，Plasma合约在需要知道是否不推荐使用StateObject来评估争议时调用该函数。
断言(Predicates)接口-中还有三个其他函数，按重要性排序，它们是：
俄罗斯基于区块链的电子投票系统遭受节点攻击:由Bitfury驱动的用于俄罗斯宪法修正案电子投票系统的区块链在6月27日遭到攻击。莫斯科政府的一名代表表示，网络安全专家正在努力恢复对受攻击节点的访问，目前还不清楚它是否已经修复。这次攻击没有造成系统故障，这意味着所有的电子投票都将成功记录在区块链上。（Cointelegraph）[2020/6/29]
finalizeExit(exit:?bytes)?
当退出被赎回时，Plasma合约将与索赔相关联的任何资产发送到断言(Predicates)地址，然后调用此函数。?
canInitiateExit(stateUpdate:?bytes,?initiationWitness:?bytes)?->?bool
此函数允许断言(Predicates)限制谁可以在提交状态上启动声明。例如，所有权谓词可能希望将canInitiateExit限制为资产的所有者。?
getAdditionalDisputePeriod(stateUpdate:?bytes)?->?uint
此函数允许断言(Predicates)增加索赔的争议期。我们只将其用于可能需要较长争议解决过程的复杂断言(Predicates)。此函数通常只返回0。???
此函数允许断言(Predicates)增加索赔的争议期。我们只将其用于可能需要较长争议解决过程的复杂断言(Predicates)。此函数通常只返回0。???
声音 | 浙大区块链常务副主任：区块链有助解决传媒业面临的盗版问题:《中国新闻出版广电报》报道，近日，在中共中央局第十八次集体学习时，浙江大学区块链研究中心常务副主任、软件学院常务副院长蔡亮接受媒体采访时指出，当前，出版传媒业正处于技术革新和产业变革的关键时期。区块链技术在出版传媒业的应用主要体现在版权保护和监管层面。蔡亮接受《中国新闻出版广电报》记者采访时表示：“区块链具有的不可篡改、可追溯、可校验的技术特性，非常适合解决当代出版传媒业所面临的盗版问题，通过规范版权管理，更好地保护创作者的权利，进而重构媒体与受众之间的信任关系。”蔡亮介绍说，目前，区块链在知识产权保护上的应用主要分为两个部分，一是版权确权；二是维权，即侵权取证。[2019/11/14]
断言(Predicates)示例：断言(Predicates)所有权
通过示例，一切都变得更容易，所以让我们来看一个。最简单的断言(Predicates)是所有权断言(Predicates)。此状态允许其当前参数.owner随时退出，或批准任何状态更新。
创建断言(Predicates)的第一步是设计状态对象。幸运的是，这非常简单，对象参数中唯一的数据是当前所有者的地址。使用所有权断言(Predicates)的状态对象可能如下所示：
OwnedByAlice?=?{??parameters:?{????owner:?'0xAliceAddress...',??},??predicate:?'0xOwnershipPredicateAddress...'}??
工信部于佳宁谈区块链：区块链要与实体经济结合，泡沫项目占95%:近日，工信部工业经济研究所所长于佳宁在专访中谈及区块链，他表示，区块链技术的成熟程度进一步增加，和产业结合更紧密，这轮区块链概念股显示，区块链技术的应用集中在数字版权交易、供应链管理、供应链溯源等与实体经济结合紧密的领域。但一些项目从本质上并没有真正利用区块链技术，打着区块链旗号，获得了与实际价值完全不相符的估值。这样存在泡沫的项目在区块链应用中占据95%。他还介绍称，未来可能主要进行三方面的监管：第一，打击利用区块链技术开展非法活动的行为，比如非法集资、非法经营交易违规品；第二，用比较严格的法律机制界定整个区块链体系各方参与者应履行的权利和义务；第三，打击伪区块链技术在产业中的应用。[2018/3/9]
要实现的最重要的函数是verifyDeprecated，它接收一些任意的deprecationWitness。对于所有权断言(Predicates)，有效的deprecationWitness包括：
state.parameters.owner的签名同意新的stateUpdate。
证明新的stateUpdate是在稍后的Plasma块中提交的。
verifyDeprecated需要检查这些东西是否有效，这意味着检查签名和Merkle证明。
综上所述，我们看到所有者如何通过批准新的更新来弃用其所有权状态：
其余的功能非常简单。canInitiateExit需要检查申请人是否为所有者，finalizeExit将资产转发给所有者，getAdditionalDisputePeriod可以返回0。
这就是代码中的实际情况！下面我们包含了简单所有权断言(Predicates)的python实现。我们用Python编写它是为了简单起见，但在solidity或vyper中也很容易做到。
?class?OwnershipDeprecationWitness:????def?__init__(self,?next_state_update,?signature,?inclusion_witness):????????self.next_state_update?=?next_state_update????????self.signature?=?signature????????self.inclusion_witness?=?inclusion_witnessclass?OwnershipPredicate:????def?__init__(self,?parent_plasma_contract):????????self.parent?=?parent_plasma_contract????def?can_initiate_exit(self,?state_update,?initiation_witness):????????#?Only?the?owner?can?submit?a?claim????????assert?state_update.state.owner?==?initiation_witness????????return?True????def?verify_deprecation(self,?state_id,?state_update,?deprecation_witness):????????#?Check?the?state_id?is?in?the?deprecation_witness?state?update????????assert?deprecation_witness.next_state_update.start?<=?state_id??????????????and?deprecation_witness.next_state_update.end?>?state_id????????#?Check?inclusion?proof?for?more?recent?state?update????????assert?self.parent.commitment_chain.verify_inclusion?????????????(deprecation_witness.next_state_update,????????????????self.parent.address,????????????????deprecation_witness.inclusion_witness)????????#?Check?that?the?previous?owner?signed?off?on?the?change????????assert?state_update.state.owner?==?deprecation_witness.signature????????return?True????def?finalize_exit(self,?exit):????????#?Transfer?funds?to?the?owner????????self.parent.erc20_contract.transferFrom?????????????(self,?exit.state_update.state.owner,?????????????????exit.state_update.end?-?exit.state_update.start)????def?get_additional_lockup(self,?state):????????return?0
如您所见，我们已实现上述整个界面。
我们有了它！表示资产可转让所有权的断言(Predicates)。这里的大部分逻辑都与Plasma合同中已经做过的相同。我们甚至在Ethdenver的过程中尝试了改变的原型。这主要是围绕我们已经编写的代码移动的问题。
这种结构是我们理解Plasma的重要一步。它类似于从支付渠道跳到通用状态渠道——我们能够在不升级Plasma协议本身的情况下，在Plasma架构中适应新的特性和功能。
状态通道
各种类型的DEX谓词
碎片整理断言(Predicates)
嵌套Plasma
P2P选项和CDP合同
然而，重要的是要记住，断言(Predicates)不是万能的——它们仍然被限制在Plasma设计空间内。可能还没有发现更多的泛化。然而，断言(Predicates)非常强大，似乎对几乎所有的Plasma实现都很有用，包括那些不基于PlasmaCash的实现。
我们认为这是整个Plasma生态系统标准化的一个机会。任何共享这种状态拒绝架构的Plasma实现都可以共享断言(Predicates)并以新的方式进行互操作。
第2层扩展解决方案都是关于使用链外数据来保证未来的链上状态。无论旧的状态是通过签名、承诺还是其他什么方式被否决，这些工具最终都会完成相同的事情。我们希望这一进步是朝着一种包含所有第2层解决方案的统一、共享语言迈出的一步。我们设想未来，钱包可以通过使用标准接口连接到任何第2层解决方案，而不是每次都编写自定义集成。一切为了互操作性，一切为了互操作性！
本文转载公众号：区块链研究实验室
海纳学院的内容将围绕：区块链技术，产品社群，经济模型等全方位的知识体系输出，为大家带来不一样的社群学习体验。欢迎联系作者微信加入社群：csschan1120
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。