导读
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链相互维护了一个对方的轻节点。
辽宁省“十四五”规划:利用区块链等技术 建设面向消费品行业的服务平台:2月1日,辽宁省政府新闻办召开贯彻省“两会”精神新闻发布会。会议指出,“十四五”期间,辽宁省工信厅将加强新一代信息技术与制造业融合,用数字经济为优势产业赋能增效,打造一批典型应用场景,布局一批智能工厂、智能车间,加快培育网络化协同、智能化制造等新模式新业态。利用区块链等技术,建设面向消费品行业的服务平台,扩大个性化定制产品占比。(辽宁日报)[2021/2/2 18:41:19]
▲?Bonding
当使用IBC初始化一笔跨链转账之后,A链上的10个ATOM事实上处于锁定的状态。
▲?Proof中继
一份证明A链上已经锁定10ATOM的“证据”会被路由到B链上的IBC模块。
俞波涛:无锡检察机关利用区块链等技术 破解诉讼难题:江苏省无锡市人民检察院党组书记、检察长俞波涛撰文指出,近年来,无锡检察机关不断加大公益诉讼的探索力度,积极运用无人机巡航、区块链、卫星遥感技术、快检中心等科技供给破解线索发现、调查取证等难题,这已成为无锡检察公益诉讼的鲜明特点和独特优势。下一步,我们将继续发挥好这一优势,在守护国家利益和社会公共利益上彰显更强作用。(人民网)[2020/3/29]
▲?验证
B链结合A链的轻节点信息,对这份“证据”验证通过之后,B链上会“铸造”10份ATOMVoucher,这些Voucher可以进行后续的流通使用。当然这些Voucher也可以通过同样的跨链方式返回到A链,A链上的ATOM代币相应执行解锁的操作。
IBC握手流程
声音 | 阿里云中国区副总裁:阿里正输出区块链等前沿技术 把重庆打造成为“数字城市标杆”:据重庆晚报报道,阿里云中国区副总裁陈斌表示,阿里巴巴作为领先的科技公司,正通过从农村到城市、从线上到线下,输出云计算、区块链等前沿技术,把重庆打造成为“数字城市标杆”。[2019/7/17]
IBC协议是Cosmos中最核心的接口协议,能够实现区块链间跨链消息的可信、可靠转发,并有效进行流量控制、多路复用等功能。
在Cosmos中,每个功能都是高度模块化的,每个功能通过加载不同的模块来实现,IBC也是如此。在IBC设计时,借鉴了传输层的TCP协议,也是希望成为区块链领域的“TCP协议”。不仅如此,在IBC的各个方面也能看到TCP的身影,首先我们来看IBC中的一些基本概念。CosmosIBC采用了有连接的、可靠的跨链消息传输。
在此基础上提出了以下几个关键定义:
Client
Connection
Channel
下图是IBC协议和TCP相关概念的对比。
声音 | 江苏省司法厅:引入区块链等先进技术 推进精准法律援助:据江南时报消息,近日,江苏省司法行政系统信息化工作会议要求,打造智慧法务,推动全系统工作模式由经验管理型向智慧引领型转变。通过区块链技术的融合应用,解决信息共享交换的突出问题,实现“不见面办理公证”。参照公证做法,引入区块链等先进匹配的技术,提升部门数据交换的效率,推进精准法律援助。[2018/9/17]
可以看到连接、端口都是TCP协议中的规范,但是其中的内涵发生了变化,为了适应跨链场景下的使用。同时增加了通道和客户端等新的内容,能够支持跨链中的有序发送和跨链交易的验证。
接下来我们来看一下一次完整IBC协议的握手和通信流程。
丹华资本张首晟:看好区块链技术 呼吁大家关注欧洲区块链的发展:丹华资本创始人、美图独立董事张首晟表示,看好区块链技术,丹华资本非常关注区块链,也投资了多家区块链项目。对于中美区块链项目发展的差异,张首晟表示,两边都做得很好,他强调,大家也要多关注欧洲区块链的发展。[2018/3/25]
一笔跨链交易的连接流程如上图,和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团队主要负责区块链账本互操作技术相关研究工作
以太坊创始人Vitalik发布《不完全的Rollups指南》一文,其中介绍了Rollups技术、原理及其发展.
1900/1/1 0:00:00我体验了一段时间的技术分析之后,并没有达到自己预期的效果,并且在这个体验的过程中越来越对这个方式比较抗拒,于是我开始寻找其它的途径.
1900/1/1 0:00:00比特币的估值不断提高,目前正与市场活动规模相匹配,多个指标正在指示变化,并且数字资产行业存在一种紧迫感.
1900/1/1 0:00:00今天和大家分享一下对最近两则新闻的感受。风波不断的美国大选在上周闹出了大事,现任总统的支持者大量在华盛顿聚集,情绪高昂,不满选举结果,更有人冲进了国会大厦,在全世界的关注下,上演了全武行的剧情.
1900/1/1 0:00:00以太坊开发人员已经开始审查网络费用定价的算法更改,这有可能导致以太坊总供应量减少。以太坊改进提案1559为网络设置了一种基础费用,该基础费用是根据网络是否拥塞而通过算法计算得出的,会根据情况相应.
1900/1/1 0:00:00在2020网易未来大会上,中国万向控股副董事长兼执行董事、万向区块链董事长兼CEO肖风在《互联网与区块链——商业的视角》主题演讲时表示,区块链的技术原型的角度是到2020年的时候.
1900/1/1 0:00:00