MOS:技术 | Cosmos跨链协议IBC的来龙去脉

导读

Cosmos是由Tendermint团队构建的开源社区项目,它是一个由独立的称为Zone的区块链组成的支持跨链交互的异构多链系统,和Polkadot一样,也由中继技术实现。Cosmos提供一套能够完整搭建区块链的SDK,作为一个跨链系统,其中最为关键的就是跨链协议相关的设计,今天我们就来详细分析一下IBC协议的具体内容。

IBC初探

IBC是属于Cosmos-SDK中一个特殊的模块。之所以特殊,主要体现在IBC提供了区块链之间的跨链能力。

从总体的流程来说,IBC的技术并没有很复杂,应该来说协议本身不应太过复杂,这对于协议的使用者来说约束更小,更加灵活。

现在比如说A链上的Alice上需要发送10个ATOM代币到B链上的Bob上,会经过下面的四个步骤。

▲?Tracking

A链上的IBC模块会不断的同步B链上的区块头信息,B链上的IBC同理。通过这种方式,双方能够实现跟踪对方区块链上的验证者集合的变化,本质上来说,就是A链、B链相互维护了一个对方的轻节点。

厦门市利用区块链技术 助力政府提高服务效率:5月20日,厦门市思明区政府与厦门建行、建信金科厦门事业群签订“区块链基层治理协同平台”合作备忘录。据建信金科厦门事业群相关负责人介绍,该平台首期将搭建一个基于“多方协作”的平台,利用区块链不可篡改、可溯源的特性,实现跨部门、跨机构、跨区域的多方数据在区块链上进行安全的互联互通,构建多方协作机制,促进业务协同办理,助力政府提高服务效率。(厦门网)[2020/5/21]

▲?Bonding

当使用IBC初始化一笔跨链转账之后,A链上的10个ATOM事实上处于锁定的状态。

▲?Proof中继

一份证明A链上已经锁定10ATOM的“证据”会被路由到B链上的IBC模块。

教育部学校规划中心:利用区块链等技术 推动人力资本定价体系的建立:4月9日,由教育部学校规划建设发展中心在京发布《“未来路线图”实验学校发展指南1.0》。会议指出,要以大数据测量评价中心作为基础,基于数智时代培养人才的需求,利用人工智能、大数据和区块链等新技术,重构测量评价体系,全过程、全要素记录学习者德智体美劳各方面的数据信息,从而为学习者全面发展和个性化需求提供大数据保障,提升综合素质评价的科学性,建立科学全面可信的教育评价体系,进而推动人力资本定价体系的建立。(科技日报)[2020/4/10]

▲?验证

B链结合A链的轻节点信息,对这份“证据”验证通过之后,B链上会“铸造”10份ATOMVoucher,这些Voucher可以进行后续的流通使用。当然这些Voucher也可以通过同样的跨链方式返回到A链,A链上的ATOM代币相应执行解锁的操作。

IBC握手流程

IBC协议是Cosmos中最核心的接口协议,能够实现区块链间跨链消息的可信、可靠转发,并有效进行流量控制、多路复用等功能。

在Cosmos中,每个功能都是高度模块化的,每个功能通过加载不同的模块来实现,IBC也是如此。在IBC设计时,借鉴了传输层的TCP协议,也是希望成为区块链领域的“TCP协议”。不仅如此,在IBC的各个方面也能看到TCP的身影,首先我们来看IBC中的一些基本概念。CosmosIBC采用了有连接的、可靠的跨链消息传输。

CoinGeek创始人:Kleiman案不会影响技术 无论输赢对BSV来说都是好事:今日有推特网友称,毫无疑问,CSW(Craig Wright)就是中本聪,但很多事情对郁金香信托没有多大意义。Kleiman一案肯定对他不利,如果你的钱都在BSV里,这是在。对此CoinGeek创始人Calvin Ayre回复道,这是错误的,Kleiman一案不会影响这项技术。这个案子是关于中本聪代币的,即使输掉官司也会证明CSW对每个人来说就是中本聪,这对BSV来说是好事。[2020/3/12]

在此基础上提出了以下几个关键定义:

Client

Connection

Channel

下图是IBC协议和TCP相关概念的对比。

可以看到连接、端口都是TCP协议中的规范,但是其中的内涵发生了变化,为了适应跨链场景下的使用。同时增加了通道和客户端等新的内容,能够支持跨链中的有序发送和跨链交易的验证。

公告 | 安永发布第三代零知识证明区块链技术 可通过批量处理降低交易成本:据安永官网今日公告,安永已在以太坊公共区块链上的公共领域发布第三代零知识证明(ZKP)区块链技术。第三代ZKP区块链技术可通过在一次交易中将多个私人转让批量处理来显着降低交易成本,有助于使公共区块链上的私人交易更具可扩展性。[2019/12/19]

接下来我们来看一下一次完整IBC协议的握手和通信流程。

一笔跨链交易的连接流程如上图,和TCP协议类似,IBC的建立需要建立多次的握手过程,并增加了一步初始化客户端的操作,这对于跨链来说很关键的一环。

▲?链内客户端

跨链双方需要在链上初始化一个对方链的轻客户端,这个Client实质上是另一个区块链的轻客户端,而且必须满足Cosmos规定的一套Client接口。之所以要在IBC建立之前初始化这个轻客户端,是因为Cosmos需要保证在本链上能够验证来自来源链的跨链交易是能够验证的,否则无法保证在本链上执行该交易的有效性和合法性。

动态 | TransferGo使用Ripple的技术 实现跨洲支付:据cryptoglobe消息,支付服务提供商TransferGo通过Finextra宣布,他们使用Ripple的技术可以在30分钟内从欧洲支付到印度。[2018/9/6]

为了方便后续后续更多不同种类的区块链接入,这个轻客户端规定了一套通用的接口,不同类型的区块链通过实现该Client来达到接入的效果。现阶段Cosmos能够支持TendermintClient和SoloClient,也就是同构链之间原生支持跨链。这也决定了不是使用Cosmos构建的区块链想要接入CosmosHub进行跨链的话,必须通过一个额外的“转接桥”,实现起来也更加复杂了。

▲?握手连接

在轻客户端的基础上建立握手连接,握手连接基本上分别为三个部分。

启动跨链的用户向链A发起OpenInit请求,等待Relayer接收到该请求。

Relayer进行路由跨链消息包的工作,如果收到OpenInit的请求,Relayer会构造一个的OpenTry的请求发送到链B上。

链B收到OpenTry请求之后,如果同意的话,会对该消息进行确认(生成OpenACK数据包,并按照之前的方式由?Relayer转发给链A。

链A通过OpenACK数据包判断此次握手是否成功,如果成功,对此次握手发送最后的?OpenConfirm数据包返回链B。如果握手失败,此次连接也就是建立失败了。

上面的步骤不仅是指Connection的建立过程,Channel的建立也是遵循同样的流程,只是数据包的名称和内容会有不同,像建立Connection的时候发送的便是ConnOpenInit请求,建立的Channel的时候便是ChanOpenInit请求,之后的请求依次类推。

需要说明的是,Connection和Channel在跨链扮演的角色和功能并不相同,按照Cosmos的设计,Connection和Client一起负责跨链交易的“合法性”——包括跨链交易确实在目的链上发生,以及跨链交易只提交了一次。而Channel用来保证跨链交易的有序性,每笔交易按照SequenceNumber来进行发送。

虽然在Cosmos设计中有提到可以实现无序的Channel,但是默认实现上是采用了有序的模式。如果按照TCP协议簇来类比的话,有序Channel和TCP类似,无序Channel类似于UDP,无序Channel按照UDP来讲的话,在某些不太关注跨链消息包顺序的场景下也是适用的。同时Cosmos设计中也考虑到Channel的消息发送能力,允许一条Connection上建立多个Channel,在不同的跨链应用场景中,可以使用不同的Channel发送消息,从而隔离不同业务。

▲?发送跨链数据包

完成上述的一系列握手之后,应用层便可以在Channel上发送自己的数据了。Cosmos规定了发送跨链交易的一些必要字段,如下图:

其中Sequence和SourcePort字段都是承担其字面意思的功能,也是必须指定的字段,而TimeoutHeight和TimeoutTimestamp是Cosmos提供的一种超时机制。如果某个区块高度或者某个时间这笔跨链交易还没有完成的话,用户能够指定将这笔交易回退。而Data字段是留给用户进行自定义,以应对可能的各种复杂的跨链场景。

总结

通过上面对IBC的分析,我们可以看到IBC采用了建立连接的方式进行跨链,不同于Polkadot的XCMP协议,XCMP协议中平行链可以直接进行跨链消息的转发。

而且Cosmos并没有过分关注Zone作恶的情况,只是通过维护Zone的轻客户端的方式验证跨链交易的有效性,这种方式下是相信Zone不会出现集体作恶的情况,也就是Zone安全性由自身负责。不同于Polkadot设计上中继链维护全局的安全性,CosmosIBC的设计上是减少了跨链系统的维护成本和降低了设计实现难度的。

作者简介

陶勇星

来自数据网格实验室BitXHub团队主要负责区块链账本互操作技术相关研究工作

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

金星链

[0:0ms0-1:41ms