http://www.7klian.com

Gavin Wood 分享 Polkadot跨链动静通报方案

作者:Fatemeh Shirazi、Logan Saether、Alistair Stewart、Rob Habermier、Gavin Wood
保持正确的序列:通过输入/输出验证,可以担保保持平行链块输出动静的正确顺序。
另外,本文还回首了交付、如何实现一致的汗青记录以及防备 DoS 进攻的想法。最后,我们团结 SPREE 回首了 XCMP,并总结了 XCMP 所实现的特性来末了。
在具体接头 XCMP 的每个组件之前,让我们先举一个例子,说明如何将某智能合约平行链(图 1 中的 A)上的出站动静毗连到某漫衍式金融(DeFi)平行链(图 1 中的 B)的入站行列,以便从 DeFi 平行链的收集人(collator)进入下一个候选区块。
中继链界说了所有平行链的汗青记录。譬喻,来自平行链 B 的区块头在中继链区块 301 中,可以说其浸染于区块 300 之前的所有动静。假如浸染于区块 300 之前的所有动静,那就浸染于平行链 A 的区块发送的动静,而且仅当 A 平行链区块头呈此刻中继链 300 区块或更早的时候才会起浸染。

原文标题:《Polkadot 的跨链动静通报方案(XCMP)》
SPREE(Shared Protected Runtime Execution Enclaves)是雷同于 runtime 模块的逻辑片断,但它们位于中继链上,可以由平行链选择其成果。
此候选块将包罗中继链轻客户端证明,证明此动静根位于中继链中,并将此证明与发送链发送的动静一起组合。
原文:https://medium.com/web3foundation/polkadots-messaging-scheme-b1ec560908b7
回滚通报
这些逻辑片断是通过管理机制或平行链上传到
Polkadot 的 WebAssembly 代码块。一旦这些逻辑片断上传到 Polkadot,所有其他平行链都可以抉择选择插手该逻辑。SPREE 模块将独立于平行链保存本身的存储,但可以通过与平行链的接口挪用。平行链将同步向 SPREE 模块发送动静。有关 SPREE 的更多信息,请参阅其 wiki 文章:
通报动静

区块律动 BlockBeats 提醒,按照银保监会等五部分于 2018 年 8 月宣布《关于防御以「」「区块链」名义举办犯科集资的风险提示》的文件,请宽大公家理性对待区块链,不要盲目相信口不择言的理睬,树立正确的钱币见识和投资理念,切实提高风险意识;对发明的违法犯法线索,可努力向有关部分举报反应。    

在中继链 300 区块高度,智能合约平行链提倡针对「32」的端点的动静,该端点是 DeFi 平行链的平行链 ID。动静将首先包括在智能合约平行链的出站或出站行列中。
留意,XCMP 的目标不是划定动静的尺度名目。可是,每个平行链通过它发送给另一个平行链动静的总巨细有一个限制。另外,八卦协议利用界线通报来制止较大的信息。

另外,我们打算让吸收平行链可以或许阻止另一个平行链发送动静(此成果尚未实现)。平行线程还可以禁用 XCMP 函数,以制止处理惩罚大量动静。
出于此目标,我们界说 message 的方法与界说 transaction 的方法基内情同。两者都是指来自吸收链以外的数据,并且都体现并要求链凭据其内部逻辑对数据做出回响。思量到实际系统的延迟程度,链不能拒绝或夹杂数据的寄义。譬喻,在的语境中,这种属性意味着比特币中的有缺陷或恶意的矿工不能从头分派资金,因此这是一个好的加密经济共鸣系统的基本。

图 1:显示了两个平行链 A 和 B 对应的收集人和全节点。有两个节点同时是平行链 A 网络僻静行链 B 网络的全节点。
图 3:显示当发送和吸收平行链不共享任何全节点时的回滚通报。
跨链动静通报(XCMP)方案是 Polkadot 协议的一个子集。它界说了在除了共享中继链的安详性之外没有其他的信任假设的环境下,动静如何得以在平行链之间通报。这篇文章叙述了平行链的动静通报协议,并在很洪流平上依赖于 Polkadot 奇特的中继链体系布局和设计。
追念一下,Polkadot 由一条中继链和多条(暂定高达 100 条)平行链构成。
https://research.web3.foundation/en/latest/polkadot/XCMP.html
可是,假如吸收方的平行链验证者意识到动静没有在吸收平行链中被八卦,那么它们会从发送平行链的平行链验证者请求动静。一旦收到这些信息,他们就会在吸收平行链网络中对这些信息举办八卦。


智能合约平行链的所有节点将开始在网络中对动静举办八卦(拜见下面的「通报」一节)。假如智能合约链中的某些节点也是 DeFi 链的完整节点,而且这些节点通过滚动员静来充当两个八卦网络之间的粘合剂。假如不存在需要遍历的网络共享节点,则挪用回退(请参阅下面的回退部门)机制。
为了担保可用性,我们要求所有验证人持有可规复任何平行链动静的纠删码片断(erasure-coded pieces)。这些纠删码片断由发送平行链的平行链验证者生成和分发。个中 1/3 的纠删码片断足以规复所有动静。最终确认要求投票人(验证人)收到这些纠删码片断,不然他们将因投票而受处处罚。因此,最终确认时必需有 2/3 的纠删码片断可用;由此我们可以担保最终动静也可用。
图 2:显示了由八卦完成的动静通报进程。我们假设这条动静是由粉色 collator 发出的,它发生了最新的平行链区块。
假设每个平行链都有一个全节点的毗连网络。我们假设每个完整节点都知道系统中其他完整节点的子集,我们称之为相邻节点。请留意,我们对这些网络的拓扑布局和直径没有任何假设。
先容
发送动静的最简朴要领是利用八卦协议(gossip protocol)。追念一下,同龄人之间常常就他们对当前假期的观点举办交换。为了实现更高效的通报,未发送的动静只会被通报到具有沟通视图的相邻节点。

动静的可用性
有关 Web3 基金会的更多信息,请会见 web3.foundation。
来历链接:weixin.qq.com

XCMP 方案可以实现以部属性:
一旦动静被包括在出口行列中,它们就由收集人和发送平行链的全节点生存。当发送平行链块的头包括在中继链中时,平行链验证人也将保存动静。吸收平行链的收集人和全节点还需要知道平行链之间发送的动静的有效负载。所有需要知道动静存在的其他实体只能存储散列,这些散列可以用来验证动静。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

相关文章阅读