区块链:技术 | Cosmos跨链协议IBC的来龙去脉_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链相互维护了一个对方的轻节点。

声音 | 王彦鑫:及早布局区块链技术 积极探索山西转型发展新路子:据山西新闻网12月23日消息,山西转型综改示范区管委会研究员王彦鑫表示,目前,区块链作为一种新技术、新思维、新理念,各国基本处于同一起跑线。面对千载难逢的良机,我们需要紧紧把握,及早安排布局、及早动手推进,狠抓技术和应用,积极探索山西转型发展、赶超发展的新路子。[2019/12/23]

▲?Bonding

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

▲?Proof中继

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

动态 | 中欧班列首次落地应用区块链技术 首个国际班列“新账本”诞生:据封面新闻消息,10月17日,中欧班列(德国巴伐利亚至中国四川)整列41张“统一运单”信息进入中国铁路成都局集团“一单制”区块链平台,标志着集团公司首次在亚欧大陆国际铁路联运(中欧班列)试点应用区块链技术。今年8月30日,集团公司发挥自身数据资源及信息化建设优势,自主研发“一单制”区块链平台系统上线试运行,签发全国首张区块链铁路运单。10月17日,该平台新增“国际联运”模块,生成全国首个中欧班列区块链运单数据。[2019/10/21]

▲?验证

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

IBC握手流程

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

动态 | 紫云股份借助腾讯区块链技术 建医药行业溯源防伪服务平台:据证券日报消息,近日,紫云股份发布公告称,公司与腾讯公司签署了《关于“药品溯源防伪一体化服务业务”的战略合作协议》。紫云股份将基于腾讯区块链BaaS开放平台构建全国医药行业区块链联盟链,在以腾讯区块链提供底层的技术基础上搭建“全国医药行业溯源防伪服务平台”及相关应用,为百姓提供日常购药时用来鉴别药品的真假良劣的微信小程序——“紫云微追溯”,面向全球打造“药品溯源防伪一体化云服务平台”,最大程度上解决药品安全问题。[2018/9/28]

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

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

Client

动态 | 研究报告:P2P保险采用区块链技术 保单持有人具备管理所有保险的职能:Researchandmarkets在最新公布的《2018年全球P2P保险行业研究报告》中指出,最近出现了使用区块链技术和自治模式的新一轮P2P保险。在自治模式下,社区内的保单持有人具备集体管理所有保险的职能,例如制定政策规则、接受新成员以及制定和批准索赔以及支付报销。[2018/9/7]

Connection

Channel

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

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

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

金色财经独家分析 比特币预测:A面是技术 B面是情绪:长久以来,在比特币价格方面人们看了太多“支撑点”、“压力位”以及MA,当分析师不断提出的8600、9000、10000美元等关键位置突破后,涨跌依然还没有定论,大涨大跌不为分析师的技术所动,股市那一套似乎不很奏效。金色财经独家分析,目前加密货币市场涨跌的规律还尚未形成,用股市分析来看确实有些形式大于内容,但这并不代表技术不可靠,抛开股市技术,可以看一看供需方面的技术:日前FundstratQuantamental创建了价格/矿工的盈利率的新的比特币定价标准,从生产和需求的角度来谈,让人更加信服;

即便如此,技术也只是比特币价格的A面,B面仍然是情绪等非技术因素。由于加密货币背后的“实体”仍然不易找到,看政策,看期望,看整个市场带来的各类利好或利空。日前韩国一项调查中显示依据论坛的评论预测价格准确率超过了80%,可谓十分可靠的“情绪技术指标”了。加密市场的这种现象是可以理解的,毕竟即使在股市,“随便买买”的盲目,没有太多依据的看心情也是大有人在的。但应该反思的是,加密货币市场应该变得更有据可循一些,这需要更加严格风险控制体系、与实体经济的进一步结合,同时也需要大机构和专业投资者的进一步加入,那时候情绪依然是情绪,但技术会更加具有参考价值。[2018/5/14]

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

▲?链内客户端

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

为了方便后续后续更多不同种类的区块链接入,这个轻客户端规定了一套通用的接口,不同类型的区块链通过实现该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:15ms0-8:532ms