跨链通信简要研究

来源 | DegameLabs链游实验室

责编 | Carol

出品 | 区块链大本营&＃xff08;ID&＃xff1a;blockchain_camp&＃xff09;

跨链技术本质上是⼀种将A链上的数据D&＃xff08;或信息I&＃xff0c;或消息M&＃xff09;安全可信地转移到B链并在B链上产⽣预期效 果的⼀种技术。因为区块链系统本来就是⼀种特殊的分布式账簿数据库系统&＃xff0c;所以这个转移的数据&＃xff0c;最常见的就是资产的数据&＃xff0c;如代币余额。

目前主流的区块链跨链技术⽅案按照其具体的两种架构&＃61;实现⽅式主要有&＃xff1a;公证⼈机制、哈希锁定、侧链&中继链、分布式私钥控制。 

⽬前最有名的跨链项⽬有Cosmos和Polkadot&＃xff0c;两者采⽤的都是基于中继链的多链多层架构。由此可⻅&＃xff0c;侧链 &中继链技术将会是未来跨链技术的主⼒。 

本⽂⾸先简要介绍跨链的技术原理。其中会简要介绍公证⼈机制、哈希锁定&＃xff0c;详细介绍侧链&中继链技术。然后本⽂将介绍⼏个相关的跨链项⽬&＃xff0c;包括基于ETH的Plasma、基于Polkadot的达尔文网络&＃xff0c;基于Cosmos 的IRIS。

公证人机制及哈希锁定

跨链交互根据所跨越的区块链底层技术平台的不同可以分为同构链跨链和异构链跨链。同构链之间安全机制、共识算法、⽹络拓扑、区块⽣成验证逻辑都⼀致&＃xff0c;它们之间的跨链交互相对简单。⽽异构链的跨链交互相对复杂&＃xff0c;如Bitcoin采⽤PoW算法⽽Fabric采⽤传统确定性共识算法&＃xff0c;其区块的组成形式和确定性保证机制均有很⼤不同&＃xff0c;直接跨链交互机制不易设计。异构链之间的跨链交互⼀般需要第三⽅辅助服务辅助跨链交互。 

跨链要达到安全可信必然对跨链机制、步骤等有⼀些要求&＃xff0c;其中最重要的就是跨链事务的原⼦性。对于普通的链内交易来说&＃xff0c;交易需要⽀持原⼦性——交易如果失败则需要回滚。⽽跨链的交易也是如此&＃xff0c;其失败时要回滚涉及本次交易两条或多条链的交易。

1、公证⼈机制&＃xff08;Notary schemes&＃xff09;

公证⼈也称⻅证⼈机制&＃xff0c;其是⼀种中介的⽅式。设区块链A和B本身是不能直接进⾏互操作的&＃xff0c;那么他们可以 引⼊⼀个共同信任的第三⽅作为中介&＃xff0c;由这个共同信任的中介进⾏跨链消息的验证和转发。很多时候&＃xff0c;这个公证⼈/中介就是交易所。其优点在于⽀持异构的区块链跨链&＃xff0c;缺点在于有中⼼化⻛险&＃xff0c;只能实现交换不能实现转移。

跨链交易实例1

假设Alice和Bob进⾏1个BTC换50个ETH的交易&＃xff1a;

1. Alice将⾃⼰的1个BTC存⼊交易所的⽐特币地址;Bob将⾃⼰的50个ETH存⼊交易所的以太坊地址&＃xff1b;

2. Alice在交易所上挂单&＃xff1a;1 BTC for 50 ETH&＃xff1b;

3. Bob通过交易所完成与Alice的交易&＃xff0c;Alice得到50 ETH&＃xff0c;Bob得到1 BTC 这⾥会有不少的形式。⼀种是Bob挂出购买⽐特币的单⼦&＃xff0c;然后交易所撮合。⼀种是Bob直接看到 Alice挂出卖单&＃xff0c;然后直接要这个卖单。

4. Alice将交易所得的50 ETH提币到⾃⼰的以太坊账户&＃xff1b;Bob将交易所得的1 BTC提币到⾃⼰的⽐特币账 户&＃xff1b;通过引⼊中介完成了Alice和Bob的BTC和ETH的交换。

通过该例⼦可以看出交易所的⽅式⽬前仅能够⽀持资产的交换&＃xff0c;且资产交换的原⼦性、安全性完全由中⼼化的交易所保障&＃xff0c;故存在⼀定的中⼼化⻛险。

2、哈希锁定&＃xff08;Hash-locking&＃xff09;

哈希锁定的典型实现是哈希时间锁定合约HTLC(Hashed TimeLock Contract)。哈希时间锁定最早出现在⽐特币的闪电⽹络。哈希时间锁定巧妙地采⽤了哈希锁和时间锁&＃xff0c;迫使资产的接收⽅在deadline内确定收款并产 ⽣⼀种收款证明给打款⼈&＃xff0c;否则资产会归还给打款⼈。收款证明能够被付款⼈⽤来获取接收⼈区块链上的等量价值的数量资产或触发其他事件。哈希锁定只能做到交换⽽不能做到资产或者信息的转移&＃xff0c;因此其使⽤场景有限。

跨链交易实例2

仍以前⼀节中的交易需求为例

1. Alice随机构建⼀个字符串s&＃xff0c;并计算出其哈希h&＃xff1b;

2.  Alice将h发送给Bob&＃xff1b;

3. Alice通过合约锁定⾃⼰的1个BTC资产&＃xff0c;设置⼀个较⻓的锁定时间T1, 再设置了获取该BTC的条件&＃xff1a;Bob 提供h的原始值s;

4. Bob锁定50ETH到⾃⼰的合约&＃xff0c;设置⼀个相对较短的锁定时间T2(T2

5. Alice将字符串s发送到Bob的合约获得50个ETH;

6. Bob观察到步骤5中Alice的s值&＃xff0c;将其发送给Alice的合约成功获取1个BTC; ⾄此完成资产的交换。

7. 如果超时&＃xff0c;则锁定的资产返回原主。

从上述的过程可以看出哈希时间锁定合约有⼀些约束条件&＃xff1a;

•  双⽅必须能够解析双⽅的合约内部数据&＃xff0c;例如s&＃xff0c;例如锁定资产的证明等&＃xff1b; 

• 哈希锁定的超时时间设置时需要保证存在时间差&＃xff0c;这样在单⽅⾯作弊时另⼀⽅可以及时撤回⾃⼰的资产。

侧链/中继链

1、侧链的含义及意义

首先&＃xff0c;什么是侧链&＃xff1f;

根据[3]&＃xff0c;在⼀开始&＃xff0c;主链特指⽐特币主⽹区块链。所以所谓侧链就是除了⽐特币区块链以外的&＃xff0c;任何能遵循侧链协议并和⽐特币互通的⼀切区块链。侧链使得⽐特币有更好的流动性&＃xff1b;⽽在⽐特币主⽹上开发应⽤很困难&＃xff0c;现在通过再侧链上开发应⽤再使⽤互通⽅式与主链连接可以解决这个问题——间接使⽤了⽐特币&＃xff0c;进⼀步巩固了⽐特币的中⼼地位。

不过&＃xff0c;现在⾃然已经不能说主链特指⽐特币了。根据维基百科上的说法&＃xff1a;“侧链⽤来指代与主区块链并⾏的那条区块链。来⾃主区块链的entries可以向侧链连接&＃xff0c;也可以被侧链连接&＃xff1b;这样⼀来&＃xff0c;侧链就可以独⽴于主区 块链进⾏操作&＃xff08;例如&＃xff0c;通过使⽤备⽤的记录保持⽅式&＃xff09;。⼀个侧链模型是驱动链。”

这个说法包含三个要点&＃xff1a;

1. 侧链是相对的。我们不能单纯的说某条链B是侧链&＃xff0c;⽽必须说这条链B可以是链A的侧链&＃xff1b;

2. 侧链与主链是独⽴的。链B可以有⾃⼰的功能&＃xff0c;在它⾃⼰运⾏时不需要链A的⽀持。如果B链发⽣运⾏故障或被中⼼化控制&＃xff0c;不会直接影响到A链本身的运⾏&＃xff08;但可以间接影响&＃xff0c;⽐如B链被控制后&＃xff0c;A链还依旧与之交互&＃xff09;&＃xff1b;

3. 侧链与主链可以连接互通&＃xff0c;即跨链。当要实现跨链的功能时才需要B链和A链进⾏互通。因为侧链的互通机制是其最主要的功能&＃xff0c;所以常常将侧链与主链的互通叫做侧链技术。⾄于侧链本身是否包含在侧链技 术之中&＃xff0c;不同的项⽬有不同的看法。

其次&＃xff0c;侧链的意义&＃xff1f;

从主链单链⻆度讲&＃xff0c;侧链可以虚拟化地横向和纵向提升主链的性能。所谓横向&＃xff0c;就是将多个侧链与主链互通&＃xff0c;将⼤部分交易放到侧链上&＃xff0c;然后再通过与主链互通实现&＃xff0c;可以虚拟地提升主链的TPS。所谓纵向&＃xff0c;就是侧链可以有主链不具有的功能&＃xff0c;通过侧链&＃xff0c;主链看上去也像是⽀持了这些功能。所谓虚拟化&＃xff0c;就是虽然有横 向和纵向的提升&＃xff0c;但是主链本身并任何没有变化&＃xff0c;只是通过众多侧链⼩弟帮其起到类似代理的作⽤&＃xff0c;使其看上去性能提升。 

从全局⻆度讲&＃xff0c;侧链作为跨链技术的⼀种&＃xff0c;⾃然是为万链互连做出了重要贡献。实现万链互联有两者架构&＃xff1a;1. 任何⼀条链&＃xff0c;既有主链的功能&＃xff0c;⼜有侧链的功能&＃xff08;⼀些资料将拥有侧链功能叫做遵循侧链协议&＃xff09;&＃xff0c;这就像计算机⽹络中任何计算机既是主机⼜是路由器。2. 只有特定的⼏条链作为主链&＃xff0c;其他所有链都只⽀持侧链功能&＃xff0c;就和现在的计算机⽹络类似&＃xff0c;有⽹络核⼼部分——单纯的路由器&＃xff0c;也有⽹络的边缘部分——单纯的主 机。

1.2、侧链的技术

侧链实现是通过双向锚定技术。将暂时的数字货币在主链中锁定&＃xff0c;同时将等价的数字资产在侧链中释放。实现双向锚定的最⼤难点在于协议改造需兼容现有主链&＃xff0c;也就是不能对现有主链的⼯作造成影响。根据[2]的说法&＃xff0c;其具体实现⽅式有&＃xff1a;单⼀托管模式、联盟模式、SPV模式、驱动链模式、混合模式。

单⼀托管模式就是类似交易所做中介完成锁币放币&＃xff0c;其实和。联盟模式即公证⼈模式&＃xff0c;由多个公证⼈的多重签名来对转移资产的交易进⾏签名&＃xff0c;避免了中⼼化。

SPV模式是通过将交易发给本链的⼀个特殊地址&＃xff0c;由此会⾃动创建⼀个SPV证明给侧链上并发起⼀个交易在侧链上解锁对应的资产。驱动链模式是⽤矿⼯来作为资⾦托管⽅&＃xff0c;将资产的监管权发放到数字资产矿⼯⼿上&＃xff0c;矿⼯进⾏投票决定何时解锁资产及将资产发送到何⽅。混合模式就是将这些侧链机制进⾏有效结合&＃xff0c;对结构不同的链&＃xff0c;为其使⽤最适合其结构的模式&＃xff0c;如主链使⽤SPV&＃xff0c;侧链使⽤驱动链。 

这⾥SPV模式是使⽤得最多的&＃xff0c;也是最有前途的。SPV就是简单⽀付验证&＃xff08;Simplifified Payment Verifification&＃xff09;&＃xff0c;其能验证交易是否存在。

 BTC-Relay是号称的史上第⼀个侧链&＃xff0c;其通过以太坊构建了⼀个⽐特币的侧链&＃xff0c;运⽤以太坊的智能合约允许⽤户验证⽐特币的交易。

SPV交易实例

仍以之前的交易需求为例

1. Bob将50ETH发送到BTCSwap的合约进⾏冻结(该合约若确认Bob接收到来⾃Alice的1BTC就⾃动将50ETH转给Alice)&＃xff1b;

2. Alice确认Bob冻结信息后&＃xff0c;将1BTC转到Bob⽐特币账户&＃xff1b;

3. BTC-Relay将⽐特币区块头推送到BTCSwap合约&＃xff1b;Alice将⾃⼰转BTC给Bob的交易tx发给合约 BTCSwap合约&＃xff0c;请求50ETH;

4. BTCSwap合约结合tx和⽐特币区块链进⾏SPV验证&＃xff0c;验证通过则将50ETH转到Alice的以太坊地址。

侧链的机制相对哈希锁定⽽⾔能够提供更多的跨链交互场景&＃xff0c;侧链以及类SPV验证的思想适合所有跨链的场景。

2、中继链

中继链算是公证⼈机制和侧链机制的融合和扩展&＃xff0c;⽬前社区内最活跃的两个跨链项⽬ Cosmos 和 Polkadot 采⽤的都是基于中继链的多链多层架构&＃xff0c;其中Cosmos⽬前⽀持的是跨链资产交互&＃xff1b;⽽Polkadot则宣称提供任意类型的跨链交互&＃xff0c;但具体实现还有待观察。

Cosmos的中继链机制[1]

为了⽀持平⾏链之间的跨链操作&＃xff0c;Cosmos提出了⼀种跨链交互协议IBC(Inter-Blockchain Communication Protocol)。

以链A到链B转账10token为例说明使⽤IBC的跨链交互&＃xff1a; 

1. 互相跟踪。如果A要和B进⾏跨链交易&＃xff0c;那么A和B链需要分别运⾏相当于对⽅区块链的轻节点&＃xff0c;这样可以实时接收到对⽅的区块头信息&＃xff08;⽅便后续执⾏类SPV验证&＃xff09;&＃xff1b;链A、链B初始化IBC协议&＃xff1b;

2. 链A冻结10token, 并⽣成相应的证明发送给链B&＃xff1b;

3.  链B接收到相应的IBC消息&＃xff0c;通过链A的区块头信息确定链A确实进⾏相应的资产冻结&＃xff0c;然后链B会⽣成等价10token的资产。

以上是使⽤IBC协议的两个平⾏链直接进⾏跨链的基本过程&＃xff0c;如果区块链很多&＃xff0c;那么这种⽅式的两两跨链复杂度会呈现组合级别增加。因此Cosmos⽹络⼜引⼊了⼀种Hub的中继链&＃xff0c;所有的平⾏链都通过IBC连接到Hub&＃xff0c;让Hub辅助跨链交易的验证和资产转移&＃xff08;于是乎&＃xff0c;某链能与Cosmos体系中的链进⾏交互&＃61;某链能连接 到Hub&＃xff09;。⽬前Cosmos实现了⼀个官⽅的Hub称为Cosmos Hub&＃xff08;如图1所示&＃xff09;。

图1

图2是Cosmos⽹络的详细架构图。⼀条链从层次结构上讲&＃xff0c;分为⽹络层、共识层、应⽤层。为⽅便平⾏链 开发&＃xff0c;Cosmos提供了tendermint core&＃xff08;简称tendermint&＃xff09;和Cosmos SDK&＃xff08;Go语⾔&＃xff09;。其中tendermint 是指⽹络层、共识层的封装&＃xff0c;⽽Cosmos SDK是应⽤层中常⽤的模块&＃xff1a;账户、治理、Staking、IBC等等的封装[4]。因此&＃xff0c;⾃⼰开发⼀条新链可以使⽤Cosmos SDK&＃43; tendermint&＃xff0c;并且由此开发出来的链能直接与 Cosmos Hub连接&＃xff08;Cosmos Hub⾃⼰本身也是⽤Cosmos SDK&＃43;tendermint开发的&＃xff09;。

图2

⽽对于⾮Cosmos SDK开发的区块链&＃xff08;如已经存在的这些区块链&＃xff09;&＃xff0c;如果要与Cosmos体系中的链进⾏交互 &＃xff08;即能与Hub连接&＃xff09;&＃xff0c;需要使⽤Peg Zone进⾏桥接&＃xff0c;所谓的Peg Zone就是使⽤Cosmos SDK开发的&＃xff0c;既能 接⼊Hub的&＃xff0c;⼜能和原链进⾏交互的⼀条链。如图中的Ethereum&＃xff0c;如果要接⼊Cosmos Hub&＃xff0c;则需要专⻔使⽤Cosmos SDK开发⼀条起Peg Zone作⽤的新链。 

所谓Cosmos 主⽹是指由 Cosmos 团队⾃⼰开发的第⼀个官⽅版 Hub&＃xff0c;也就是不同链进⾏跨链操作时的第⼀个中央枢纽。以太坊将是Cosmos 最先连接的⾮Cosmos SDK开发的公链&＃xff0c;⽬前有两个项⽬去实现这种连接&＃xff1a;Cosmos 开发团队主导的 Ethermint 项⽬&＃xff0c;以及由 Loom Network 主导的 PlasmaChain。这两个项⽬其实就是开发⼀个连接以太坊和Cosmos Hub的、起Peg Zone功能的⼀条链。 

协议应该是各⽅达成共识的&＃xff0c;在3.1、3.2⼩节中说到的“侧链协议”其实并不是真正的协议&＃xff0c;因为侧链技术⽬前没有像计算机⽹络⼀样有⼀些共识的协议&＃xff0c;所以其实只能说是侧链机制。⽽Cosmos为跨链带来的最⼤贡献 在于IBC协议的设计&＃xff0c;IBC协议提供了⼀种通⽤的跨链协议标准。IBC的设计使得跨链交易可以在多个Hub之间进⾏安全路由和转发&＃xff0c;类似⽬前互联⽹的TCP/IP 协议。但是遗憾的是⽬前的Cosmos设计也只能够⽀持资产的跨链&＃xff0c;⽽且由于不同区块链的业务不同其共识速率的不⼀致也会影响跨链交易有效性的证明。这⾥只讲了Cosmos的侧链技术&＃xff0c;关于Cosmos更多的内容&＃xff0c;请看其他参考⽂献。

Polkadot的中继链机制

Polkadot的平⾯体系结构如图3所示。其有三种链链⻆⾊和四种参与⽅。

图3

三种链角色&＃xff1a;

• 中继链&＃xff08;Relay chain&＃xff09;: 中继链位于Polkadot的体系的核⼼地位&＃xff0c;主要是为整个系统提供统⼀的共识和安全性保障&＃xff1b; 

• 平⾏链&＃xff08;Parachain&＃xff09;: 在Polkadot中平⾏链负责具体的业务场景&＃xff0c;平⾏链⾃身不具备区块的共识&＃xff0c;它们将共识的职责渡让给了中继链&＃xff0c;所有平⾏链共享来⾃中继链的安全保障&＃xff0c;中继链是Polkadot组成的⼀部分&＃xff08;中继链有可能不是⼀条链[5]&＃xff0c;Polkadot对其定义是App的数据结构&＃xff0c;因此可以是DApp甚⾄是⼀般的 App&＃xff1b;不过⼤部分情况下还会是⼀条链&＃xff09;&＃xff1b;

•  转接桥(Bridges&＃xff09;&＃xff1a;在Polkadot中转接桥其实有三个含义[6]&＃xff0c;其中最重要的含义是&＃xff1a;为Polkadot体系之外的区块链(如Bitcoin, Ethereum)提供不同的Bridge与Polkadot连接在⼀起进⾏跨链交互。三种链⻆⾊和Cosmos体系中差不多。 

四种参与方&＃xff1a;

• 验证者(Validator): 验证者负责Polkadot的⽹络出块&＃xff0c;会运⾏⼀个中继链的客户端&＃xff0c;在每⼀轮区块产⽣中会对其提名的平⾏链出的块进⾏核验。当平⾏链的块都被他们的验证者集合确定好之后&＃xff0c;验证者们会将所有平⾏链区块头组装到中继链的区块并进⾏共识&＃xff1a;

• 收集⼈(Collator)&＃xff0c;也叫核对⼈: 帮助验证者收集、验证和提交备选平⾏链区块&＃xff0c;维护了⼀个平⾏链的全节点&＃xff1a;

• 钓⻥⼈(Fisherman):钓⻥⼈主要靠检举⾮法交易或者区块以获取收益&＃xff1b;

• 提名⼈(Nominator):拥有stake的相关⽅&＃xff0c;维护和负责验证者的安全性。

 图4对这些参与⽅进⾏了图示说明。整个过程是⾃动地、去中⼼化地执⾏。

图4

⽤户在平⾏链发起交易&＃xff0c;交易被收集⼈收集&＃xff0c;打包成区块&＃xff0c;交给⼀组验证⼈去验证。这组验证⼈并不是来⾃平⾏链&＃xff0c;⽽是来⾃中继链统⼀管理的验证⼈池&＃xff0c;通过随机分组指定给平⾏链。 

每条平⾏链都有⼀个消息输出队列和⼀个消息输⼊队列。如果⽤户发起的是跨链交易&＃xff0c;交易就会被放进输出队列。再被⽬标平⾏链的收集⼈放⼊其输⼊队列。⽬标平⾏链的收集⼈执⾏交易&＃xff0c;⽣成区块&＃xff0c;由验证⼈组敲 定。

提名⼈是 Polkadot 基础通证 DOT 的持有者&＃xff0c;他希望质押 DOT 获得收益。但是要么是因为 DOT 数量少&＃xff0c;要么是缺少运⾏维护验证⼈节点的专业技能。因此系统提供了另⼀个参与途径&＃xff0c;就是持币者选择他信任的验证 ⼈&＃xff0c;把⾃⼰的 DOT 通过验证⼈来质押&＃xff0c;分享验证⼈收益。

钓鱼人是个软件进程&＃xff0c;它监控⽹络上的⾮法⾏为&＃xff0c;⼀旦发现就会向区块链提交举报交易。举报交易也要经过共识过程&＃xff0c;通过 2/3 以上验证⼈验证&＃xff0c;打包进区块&＃xff0c;惩罚和奖励也都是区块链交易[7]。

在Polkadot中如果Parachain A 需要发送⼀笔交易到Parachain B的过程如下&＃xff1a;

• 链A将跨链交易放到⾃⼰的消息输出队列engress。 

• 链A的Collator收集A链的普通交易以及跨链交易并提交给链A的验证者集合。 

• 链A的验证者集合验证成功&＃xff0c;将本次链A的区块头信息以及链A的engress内信息提交到中继链上。中继链运⾏共识算法进⾏区块确认以及跨链交易路由&＃xff0c;中继链上的验证者会将链A的相应交易从链A的 engress queue中移动到链B的消息输⼊队列ingress queue中。

• 链B执⾏区块&＃xff0c;将ingress queue中相应交易执⾏并修改⾃身账本。 

以上便是Polkadot跨链交易的主要步骤。Polkadot 为应⽤链提供的⼯具是 Substrate&＃xff0c;⽬前⽀持 Rust 语⾔开发。

推荐阅读

• 男性玩家占78.8%、90后玩家占近50%、最多人选择中国风链游……《2019链游玩家需求调研报告》重磅发布&＃xff01;

• 链游真的能赚钱吗&＃xff1f;我肝了3款链游终于找到了答案
  

• 远程办公、游戏迅猛增长&＃xff0c;旅行、汽车业遭重创&＃xff01;疫期移动互联网行业报告解读
  

• 早期文献中的关系抽取论文整理&＃xff0c;赶紧 Mark 起来&＃xff01;

• 登顶 GitHub 趋势榜&＃xff0c;标星1.8k&＃xff1a;200 行 JS 代码让画面人物瞬间消失&＃xff01;

• CNN vs RNN vs ANN——3种神经网络分析模型&＃xff0c;你pick谁&＃xff1f;
  

老铁们求在看&＃xff01;????

猛戳“阅读原文”&＃xff0c;填写中国远程办公-调查问卷