CMP:一文了解XCMP:Polkadot链间消息传输协议

概述

PolkadotXCMP是Polkadot上的链间消息传输协议,主要用于平行链间传递消息。XCMP目前处于开发中,有些内容可能会发生变动,不过其架构已经差不多成型。

根据Polkadot自己的说法,XCMP利用基于Merkle树的简单队列机制确保跨链交易的保真度。中继链上的验证人负责把平行链出口队列中的交易转移到目标链的入口队列中,但是中继链并不会存这个跨链交易的原文,而只会存一些少量的消息元数据。

XCMP的目标

1.?快速:消息能快速发至目的链;

2.?有序:消息能按序到达目的链;

3.?可验证:能验证到达的消息确实是发送链发送的、能验证该消息在接收链已经被处理;

4.?无遗漏:接受链公平地接收每条消息,发送链不会无限期等待其消息被接收链接收和处理;

Sushi Swap将推出带有用于LP管理的定制优化器解决方案:金色财经报道,Sushi Swap新任CEO Jared Grey最近透露了Sushi 的新改进 DEX 和聚合产品堆栈的计划。将实施:1.一个先进的聚合路由器;2.一个可持续的代币经济学模型,以调整对 LP 和代币持有者的激励;3.一个集中的流动性 (CL) 产品,带有用于 LP 管理的定制优化器解决方案。[2023/2/20 12:17:38]

XCMP的一些特点

1.跨链消息是跨平行链之间的消息,消息原文不上中继链。但是目前XCMP还没有完全实现,现在Polkadot用的是HorizontalRelay-routedMessagePassing(HRMP),HRMP将所有的消息存在中继链,未来会用XCMP取代HRMP。

抵押借贷平台Cream Finance已添加xSUSHI作为抵押品:抵押借贷平台Cream Finance今日发推称,已在C.R.E.A.M.以太坊平台上发布了xSUSHI。用户现在可以在app上借贷XSUSHI。注,xSUSHI是SUSHI代币的Wrapped版本。[2021/2/6 19:04:49]

2.某条平行链的收集人构造新区块时会把以自己为目的地、还未被处理的跨链消息都处理下。

3.验证人需要对收集人出的块进行跨链消息的检验看看跨链消息是否真的被处理过了。因此消息的一些元数据还是会上中继链的。

4.任意两条平行链之间传递消息必须开一个通道,通道是单向的,所以双向通信必须开2个。开一个通道需要抵押DOT,通道关闭后会退回DOT。

XCMP的一个简例

LBank联合Cobo启动Sushi挖矿专场:据官方消息,LBank联合Cobo于9月1日18:30正式启动 DeFi挖矿-Sushi专场,参与SushiSwap的Tether Turtle池,提供ETH-USDT的流动性。

本次挖矿,可用ETH或USDT进行认购。挖矿持续5天,收益每天分配一次。本次挖矿LBank与Cobo提取收益20%作为管理费,不收取其他任何费用。[2020/9/1]

Polkadot的官网举了一个简单的例子:假设平行链A上部署的一个合约要发一条跨链调用的消息给平行链B,从而调用位于链B上的合约完成资产转移,其整体流程如下:

1.调用者在链A上调用部署在链A上的智能合约,从而初始化一条以链B为目的地的跨链消息M;

ApeCoin社区发起新提案AIP-96:将为EthGlobal和Gitcoin提供资助:金色财经报道,ApeCoin特别委员会成员Maaria Bajwa发起新提案AIP-96,提议ApeCoin DAO为EthGlobal和Gitcoin等开源项目提供资助。该提案名为“Funding For Public Goods (EthGlobal& Gitcoin)”,要求ApeCoin DAO贡献价值20万美元的APE Token,其中4.5万美元用于支持ETHOnline黑客马拉松并向ETHOnline的另一个社区捐赠 5000 美元、10万美元资助一个专门的 Gitcoin ApeCoin 生态系统计划、5万美元用于资助Gitcoin的气候项目。[2022/9/26 7:20:20]

2.链A的收集人节点会将这条消息M连同其目的地、时间戳放到A的出口队列中;

3.链B的收集人在正常情况下会轮询其他所有的平行链的收集者节点以查看是否有自己的消息。如果在新一轮询问中发现有以自己为目的地的消息,那么其会将这条消息放到自己的入口队列中,以待在产生下一个区块的时候处理该消息;

4.另外,链A的验证人也会通过读取链A的出口队列从而知道这条消息;链B的验证人也是。验证人也需要知道这些消息,因为之后它们都会对这条消息进行验证;

5.当链B的收集人节点开始构建一个新区块的时候,它会处理当前入口队列中所有的消息;在处理过程中,消息M会执行链B中相应的智能合约以此完成预期的资产转移;

6.然后收集人将这个区块提交给验证人,验证人会验证消息M是否真的被处理了;如果这条消息被验证确实处理了,并且这个区块没有其他不合法的地方,验证者就会把该块确认进中继链中。

这个例子比较简陋,只是一次对XCMP的管中窥豹,而且还留下了一些坑,如:链B是如何知道链A给自己发了消息的?跨链消息真的是链B自己去拿的吗?这些问题在接下去的内容中会澄清。

总体而言,XCMP主要分为2部分:XCMP消息的分发、XCMP消息的存取。

XCMP消息的分发

XCMP消息的分发其实也是属于Polkadot网络的一部分,XCMP不仅要实现接收链获取发送链发送的跨链消息的,而且要实现高效获取,尽量降低网络的整体通信开销。

虽然XCMP已经设计得尽可能减少中继链的负担,但作为跨链消息双方的唯一信任中介,中继链仍然是不可或缺的。中继链主要负责与跨链消息元数据的相关工作。

当发送链发出跨链消息后,会将消息包含到自己新出的块里,经过验证人验证后,平行链的区块头会上中继链,于是中继链就能够知道发送链对接收链发送了消息,并将此更新到自己的状态中。然后接收链通过向中继链询问相关消息的元数据,就能知道自己是否有待接收的跨链消息。

假如接收链通过中继链知道了发送链有一条发给自己的消息,那么消息具体如何传递过来,就要看XCMP消息的路由方式。

XCMP消息的路由方式大概有这么几种:

1.当发送链有一个全节点也属于接收链的域的一部分时,发送链用gossip发送消息就能使得接收链收到消息。

2.当中继链有一个全节点既位于发送链的域中也位于接收链的域中,则发送链用gossip发送消息也能使得接收链最终收到。

3.如果以上条件都不满足,则接收链的验证人会发现没有收到跨链消息。因此接收链Validator会主动找发送链Validator要这个消息;然后验证人节点需要在本链的网络中gossip这个消息,使得其他节点都获得这条消息。

所以说消息传递既有可能是发送链直接发过来,也可能是接收链自己去拿。

「概述」中的简例是接收链自己去拿,而且是收集人找收集人拿,不属于以上3种情况之一。为什么会如此呢?

因为「XCMP消息的分发」这部分内容其实还没完全设计好,而且是变动比较多的部分。

未完待续……

更多精彩敬请期待《Polkadot?XCMP》

作者简介

楼嵩

来自致力于「构建区块链互联网络,打通价值孤岛」的BitXHub团队

研究方向:Web3+

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

链链资讯

[0:15ms0-2:917ms