-
可用性和不可用性子协议
-
二级 GRANDPA 批准有效性检查
-
调用拜占庭容错终结性小工具来巩固链条
1.2 BABE
BABE是一种概率确定性的区块生成算法,该算法将时间划分为多个epoch,每个epoch又分为多个slot,最后选择一个或多个验证人在每个solt间隔创建区块。在Polkadot中,每个slot的持续时间为6秒,即Polkadot上的目标出块时间。
-
slot存在多个验证人:所有验证人都会产生一个候选区块并将其广播到网络,最先被网络中大部分节点接收到的区块获胜。
-
slot没有验证人:Polkadot会在后台通过round-robin方法选择一个验证人,由其生成一个次级区块。因此,solt必然存在一个区块,主要区块或者是次级区块。在临时性分叉的链中,既可能存在主要区块,也有次级区块。
1.3 分叉选择算法
2.1 XCM
Polkadot拥有三种类型的跨链消息传递协议:UMP、DMP和XCMP。
其中,UMP(向上消息传递)允许平行链将消息发送到区块链系统的中继链;DMP(向下消息传递)允许中继链将消息向下传递到其中一条平行链。而XCMP则允许平行链之间的消息传递。XCM是一种消息格式用于上述三种跨链消息的传递。
2.2 跨链消息传递流程
下面以Moonbeam和Polkadot之间的资产传递为例,介绍生态中的跨链消息传递过程:
2.3 资产转移
对于相互信任的链(即Polkadot中由同一整体共识和安全保护的平行链),可以使用Teleporting框架进行跨链资产转移。基本过程为:在发送方销毁资产,并在接收方铸造相应数量的资产。
Web3安全态势深度研报下载
2022年上半年Web 3安全态势如何?
在成都链安官方微信公众号后台留言回复关键词:研报 即可获取《成都链安2022年上半年Web 3安全态势深度研报》PDF下载链接!
原文始发于微信公众号(成都链安):跨链桥安全研究(四) | Polkadot异构多链解析,跨链桥如何跨过安全的门槛?
- 左青龙
- 微信扫一扫
- 右白虎
- 微信扫一扫
评论