DeFi 平行链的平行链验证人将可以或许利用这些证明，来验证来自 DeFi 平行链的提议候选块的完整性。随后，智能合约链的原始动静被包括在了 DeFi 平行链中，无需特另外节点提供安详性，并依赖于来自 Polkadot 的共享安详。
在中继链 300 区块高度，智能合约平行链提倡针对“32”的端点的动静，该端点是DeFi平行链的平行链ID。动静将首先包括在智能合约平行链的出站或出站行列中。
这些逻辑片断可以将 XCMP 动静寻址到 SPREE 模块，并担保在对该动静执行操纵时，它将利用来自该 SPREE 模块的与任何其他平行链沟通的代码。SPREE 模块对付整个 XCMP 体系布局很是重要，因为它们提供了在方针平行链上执行代码的特定表明的担保。固然 XCMP 担保动静的通报，但它并不担保执行代码，即吸收平行链将如何表明动静。对 SPREE 模块的代码更新将与平行链同步举办。除了安详性方面的长处之外，这意味着不需要跨多个平行链协调更新就可以更窜改静名目。
https://research.web3.foundation/en/latest/polkadot/XCMP.html
保持正确的序列：通过输入/输出验证，可以担保保持平行链块输出动静的正确顺序。
发送动静的最简朴要领是利用八卦协议（gossip protocol）。追念一下，同龄人之间常常就他们对当前假期的观点举办交换。为了实现更高效的通报，未发送的动静只会被通报到具有沟通视图的相邻节点。
· 与中继链的其他部门团结，出格是 GRANDPA 的最终确定机制：数据可用性。
有关 Web3 基金会的更多信息，请会见 web3.foundation。
一致性：我们提供了绝对的担保，即吸收到的动静与发送的动静完全一致，纵然有任何链重组。
作者：Fatemeh Shirazi、Logan Saether、Alistair Stewart、Rob Habermier、Gavin Wood
这些逻辑片断是通过管理机制或平行链上传到 Polkadot 的 WebAssembly 代码块。一旦这些逻辑片断上传到 Polkadot，所有其他平行链都可以抉择选择插手该逻辑。SPREE 模块将独立于平行链保存本身的存储，但可以通过与平行链的接口挪用。平行链将同步向 SPREE 模块发送动静。有关 SPREE 的更多信息，请参阅其 wiki 文章：
假设每个平行链都有一个全节点的毗连网络。我们假设每个完整节点都知道系统中其他完整节点的子集，我们称之为相邻节点。请留意，我们对这些网络的拓扑布局和直径没有任何假设。
效率：这个协议制止了太多的带宽占用，并让动静尽快达到。
Polkadot 中的每个平行链的区块都大概生成一个空的动静列表发送到其他块。这些列表被称为出口行列（egress queues）。一旦动静被发送，它就进入平行链的进口行列。平行链必需按顺序处理惩罚进口列表。
在具体接头 XCMP 的每个组件之前，让我们先举一个例子，说明如何将某智能合约平行链（图 1 中的 A）上的出站动静毗连到某漫衍式金融（DeFi）平行链（图 1 中的 B）的入站行列，以便从 DeFi 平行链的收集人（collator）进入下一个候选区块。
动静语义和网络细节（如对等发明）在本文中没有提到。
总之，固然 XCMP 完成了去信任动静通报，可是 SPREE 是对动静的去信任表明也是 XCMP 有用性的要害部门。发送到 SPREE 模块的 XCMP 动静，使调治动静的开拓人员和用户可以或许清楚地知道如那里理惩罚动静。
图1：显示了两个平行链 A 和 B 对应的收集人和全节点。有两个节点同时是平行链A网络僻静行链 B 网络的全节点。
中继链界说了所有平行链的汗青记录。譬喻，来自平行链B的区块头在中继链区块 301 中，可以说其浸染于区块 300 之前的所有动静。假如浸染于区块 300 之前的所有动静，那就浸染于平行链 A 的区块发送的动静，而且仅当 A 平行链区块头呈此刻中继链 300 区块或更早的时候才会起浸染。
transaction 和 message 之间的要害区别在于，transaction 包括一个签名，以证明数据的出处（从而证明指令的权威性）。而对付 message，出处仅通过 Polkadot 的抗拜占庭加密经济验证基本设施来证明，在很洪流平上跟合约间动静通报的方法是一样的。
最近几个月，Web3 基金会的研究团队一直在做跨链动静通报（XCMP）成果的文字概述。它是 Web3 基金会王牌项目 Polkadot 的要害组件。我们很兴奋与您分享我们的事情！
为了担保可用性，我们要求所有验证人持有可规复任何平行链动静的纠删码片断（ erasure-coded pieces ）。这些纠删码片断由发送平行链的平行链验证者生成和分发。个中 1/3 的纠删码片断足以规复所有动静。最终确认要求投票人（验证人）收到这些纠删码片断，不然他们将因投票而受处处罚。因此，最终确认时必需有 2/3 的纠删码片断可用；由此我们可以担保最终动静也可用。
这意味着有一个包括每个动静哈希的哈希序列，让从一个平行链到另一个平行链的所有已发送动静得以验证。这答允收集人通过首先显示动静根在中继链中，然后证明这些是来自动静根哈希的动静，从而结构一个由很多散列构成的证据，证明它们对动静起浸染，而且只对它们应该起浸染的动静起浸染。
智能合约平行链的所有节点将开始在网络中对动静举办八卦（拜见下面的“通报”一节）。假如智能合约链中的某些节点也是 DeFi 链的完整节点，而且这些节点通过滚动员静来充当两个八卦网络之间的粘合剂。假如不存在需要遍历的网络共享节点，则挪用回退（请参阅下面的回退部门）机制。
出于此目标，我们界说 message 的方法与界说 transaction 的方法基内情同。两者都是指来自吸收链以外的数据，并且都体现并要求链凭据其内部逻辑对数据做出回响。思量到实际系统的延迟程度，链不能拒绝或夹杂数据的寄义。譬喻，在的语境中，这种属性意味着比特币中的有缺陷或恶意的矿工不能从头分派资金，因此这是一个好的加密经济共鸣系统的基本。
平行链区块头包括传出动静的动静根。为了在基于特定中继链块的平行链上生成平行链块，收集人需要查察在该中继链块和包罗该平行链的最后一个平行链区块头的中继链之间构建了哪些平行链头。对付这些动静，平行链需要浸染于相应的动静数据。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
