DOT:Polkadot 异构多链解析 跨链桥如何跨过安全的门槛

Polkadot是一种异构多链的跨链技术,主要由中继链、平行链、转接桥构成。其中,平行链负责具体的业务场景实现,其允许并行处理交易,且每条平行链都有一个独特的状态转换函数。中继链则负责整个网络的共识验证,只要一条链的逻辑代码可以编译为Wasm并遵守RelayChainAPI,那么其就可以作为平行链被接入到Polkadot网络生态中。而转接桥负责连接polkadot生态和外部的独立区块链。具体的系统架构如下图所示:

混合共识

Polkadot整个网络的共识出块过程主要为:

平行链阶段:

收集人会收集平行链上的交易打包生成候选区块,将其发送给该平行链的验证者。其中,候选块可能是无效的,它必须经过有效性检查才能被包含到中继链中。

中继链提交阶段:

验证者将通过平行链注册代码公开的验证函数对候选区块进行验证。如果验证成功,则该验证者将其传递给网络中的其他验证者继续进行验证。否则,将该候选块判定为无效块。当该候选块被超过一半的验证者验证通过时,验证者会生成一个包含:平行链ID、收集人ID和签名、候选块执行前平行链的状态根、候选块执行后平行链的状态根等信息的候选收据,该收据最终会被包含在中继链的状态中。

可用性和不可用性子协议

新加坡区块链验证技术解决方案Accredify完成700万美元A轮融资:金色财经报道,总部位于新加坡的区块链验证技术解决方案Accredify宣布完成700万美元A轮融资,iGlobe Partners和SIG Venture Capital共同领投,此前曾投资过该公司的Pavilion Capital和Qualgro参投。Accredify利用区块链技术的底层使用可确保共享或接收的文件的真实性,防止欺诈和伪造,比如验证假学位和假证书等,该公司还可以帮助企业在区块链(目前主要在以太坊)上创建客户身份、以及钱包或文件存储,确保业务资料可验证。[2023/4/20 14:16:41]

二级GRANDPA批准有效性检查

调用拜占庭容错终结性小工具来巩固链条

在传统的PoS系统中,区块生成取决于代币的持有量而不是算力,质押的代币数量越多成为验证者的概率就越大,对区块链系统造成的影响也就越大。因此,必须采取一定的措施降低这种可能的中心化风险,而如果由专业的人员和设备来维护系统中验证者候选人的数量,会增加运营成本。所以针对拥有大量验证者的系统,则更倾向于在链下建立一个候选验证者池并从候选随机筛选出验证者,Polkadot采用的验证者选择算法是NPoS。

首先介绍一下共识算法中的概率确定性和可证明的确定性,一个运行PoW的中本聪区块链就只能实现概率确定性并达成最终的共识。其中,概率确定性是指在给定的区块后,我们可以根据其后连接的区块数量计算出其在最长链上的概率。

最终的共识指的是,在未来的某个时刻,所有节点都会就一组数据达成一致,但这种最终的共识可能需要很长时间,并且无法确定需要多少时间。但类似GRANDPA或以太坊的CasperFFG之类的确定性工具,可以为区块的确定性提供更强大的保证。并且在经过拜占庭协议一些过程后,可以形成不可逆的共识,称为可证明的确定性。

广东打造全渠道数字人民币缴税服务新模式:11月29日消息,中新社记者从国家税务总局广东省税务局和中国工商银行广东省分行获悉,近期双方正致力于打造“数币+税收”服务模式,至11月25日在广州成功完成首笔通过电子税务局渠道的数字人民币缴税业务,已逐步建成多渠道支持任意运营机构数字人民币钱包支付税费款的应用场景。(中新社)[2022/11/29 21:09:41]

Polkadot为了同时保证概率确定性和可证明的确定性,而采用了BABE和GRANDPA算法相结合的混合共识算法。其中,BABE算法负责区块的生成,GRANDPA算法则负责区块链中区块的确定。

GRANDPA

GRANDPA与其他拜占庭容错算法的不同之处在于,验证人是对区块链投票,而不是对区块投票,所以该算法每轮可以确定好几个最终区块。但与其他拜占庭算法一样复杂度为O(n2),意味着如果节点增加一倍,系统中为了形成共识发送的消息将会增加四倍。Polkadot将区块的生成和最终确定性分离,这种方式提高了整个共识系统的效率,提高了区块生成的效率,并在一轮中可以最终确认链上的好几个区块。

GRANDPA会选择验证人投票数最多且可以被认为是最终区块的最高区块号,以Kusama节点中的日志为例:

发现上一轮中,GRANDPA最终确定了三个区块,这三个区块可能的情况如下:

数据:交易所比特币地址余额创四年来新低,已跌至2018年11月同期水准:金色财经报道,据欧科云链OKLink多链浏览器数据显示,截至目前全部交易所链上地址中的BTC总量为41.2万枚,处于四年来历史低位,已跌至2018年11月同期水准。按当前市场价格计算,价值约78.2亿美元。[2022/10/20 16:31:44]

上图中左侧深灰色方块是之前被最终确定的区块,右侧的灰色椭圆形代表验证人,验证人给新一轮候选区块投票,确定了其中三个候选区块。可以发现,使用GRANDPA算法确定的区块所在链可能包含分叉。

具体的算法过程为:

被指定为「主节点」的节点,将广播该轮可以被最终确定的最高候选区块;

每个验证人为自己认为的最高候选区块「预投票」;

每个验证人将根据投票集,计算出最终确定的最高区块。如果预投票集延长了之前已经被最终确认的区块链,则所有验证人将该链进行「预提交」;

所有验证人等待接收到足够数量的「预提交」,在新确定的链上提交消息。

注意,GRANDPA与其他拜占庭容错算法相比,主要区别为:在关键路径上没有视图的变化。尽管该算法每轮都会更新最高区块,但是视图更改是在异步网络下开启新一轮,因此在部分同步网络中,即使在未分配最高区块的情况下,协议也会不断更新。

韩国首尔海关自2月以来已查获20亿美元与虚拟资产相关非法外汇交易:8月30日消息,韩国海关总署(KCS)首尔总部今日宣布,该机构通过今年2月以来开展的针对与虚拟资产相关的非法外汇交易的调查,发现了总计2.715万亿韩元(约合20亿美元)的非法外汇交易。在相关案件中,共逮捕16人,7人因过失被处以罚款,送检2人,7人正在接受调查。调查结果发现,多起与虚拟资产购买有关的非法外汇交易发生在位于海外的虚拟资产交易所。(Newspim)[2022/8/30 12:57:43]

BABE

BABE是一种概率确定性的区块生成算法,该算法将时间划分为多个epoch,每个epoch又分为多个slot,最后选择一个或多个验证人在每个solt间隔创建区块。在Polkadot中,每个slot的持续时间为6秒,即Polkadot上的目标出块时间。

每个solt由可由验证随机函数VRF生成一个主领导者,该函数将epoch随机种子、slot编码和创建者的私钥作为输入,使得每个节点可以为每个slot生成唯一的伪随机值。如果存在低于某个指定阈值的slot,则验证者有权在该slot中创建区块。这种方式安全性较高,但是容易出现某些slot没有领导者,而有些slot有多个主领导者的情况。

CleanSpark购买1061台Whatsminer M30S矿机:7月14日消息,比特币矿企CleanSpark宣布已购买1061台Whatsminer M30S矿机,为公司增加了93PH/s的挖矿算力。

此前报道,截至6月30日,CleanSpark共持有561枚比特币,在线矿机数量约2.85万台,算力超2.8EH/s。(globenewswire)[2022/7/14 2:13:52]

slot存在多个验证人:所有验证人都会产生一个候选区块并将其广播到网络,最先被网络中大部分节点接收到的区块获胜。

slot没有验证人:Polkadot会在后台通过round-robin方法选择一个验证人,由其生成一个次级区块。因此,solt必然存在一个区块,主要区块或者是次级区块。在临时性分叉的链中,既可能存在主要区块,也有次级区块。

分叉选择算法

当系统中存在分叉时,BABE将在GRANDPA最终确定的链后继续出块,当最终确定的链上存在分叉时,BABE将选择包含最主要区块的链。

如上图所示,黑色区块代表已经被GRANDPA最终确认的区块,黄色区块代表为完全的区块。其中,标记为「1」的块是主要块,标记为「2」的块是次级块。因此,即使最上面的链包含最多的区块也不会被选择,因为其包含的主要块最少。但是最后那条链即使包含最多主要块同样不会被选择,因为其没有在GRANDPA最终确定后的链上继续出块。最终被选择的链为倒数第二条,同时满足上述两个条件。

跨链消息传递

XCM

Polkadot拥有三种类型的跨链消息传递协议:UMP、DMP和XCMP。

其中,UMP允许平行链将消息发送到区块链系统的中继链;DMP允许中继链将消息向下传递到其中一条平行链。而XCMP则允许平行链之间的消息传递。XCM是一种消息格式用于上述三种跨链消息的传递。

不使用链上原生消息格式是因为,链之间缺乏兼容性,如果用户打算将消息发送到多个目的地系统,则需要针对每个目的系统编写合约。而且如果目的系统的智能合约升级,区块链可能会引入新功能或更改现有功能,并因此改变其交易格式。为了解决这些问题,Polkadot使用XCM作为一种通用的消息格式。XCM中包含的「消息」实际上只是在XCVM上运行的程序,该程序由一个或多个XCM指令构成。

跨链消息传递流程

下面以Moonbeam和Polkadot之间的资产传递为例,介绍生态中的跨链消息传递过程:

首先主要DApp以平行链的形式接入,此时中继链上的原生代币需要在平行链上注册;

Alice通过一个XCM希望将其在Polkadot上一定数量的DOT转移到Moonbeam上的账户;

Polkadot将执行XCM消息转移相同数量的DOT到Moonbeam在Polkadot上的账户上;

当上述资产被成功存入后,XCM信息中的第二部分将被传送至Moonbeam;

Moonbeam将执行XCM包含的指令,在该链上铸造相同数量的xcDOT。

资产转移

对于相互信任的链,可以使用Teleporting框架进行跨链资产转移。基本过程为:在发送方销毁资产,并在接收方铸造相应数量的资产。

WithdrawAsset:只有一个参数,类型为MultiAssets,代表哪些资产必须从资产原产地登记册的所有权中撤出,但未指定放置资产的位置。其中,撤回和未使用的资产都被临时保存在持有登记册中,并未永久存储。

InitiateTeleport:代表中继链在执行指令时,将创建一个全新的XCM消息,并将其发送到目标链。

BuyExecution:使用WithdrawAsset提取的资产换取XCM指令的计算时间。Polkadot社区中的大多数平行链为了避免「垃圾交易」和拒绝服务攻击,都会要求与之交互的用户支付一定的手续费。但是与以太坊交易模型不同,Polkadot中的手续费并未被包含在协议中,但对于一些确实需要支付手续费得到系统,XCM提供了使用资产购买执行资源的能力。主要包含以下三部分:

首先,需要提供部分资产

其次,必须协商资产交换获取到的计算时间

最后,执行XCM操作

所以该函数包含以下两个参数:

1、fees:应从持有登记册中提取并用于支付费用的金额,这只是最大值,因为任何未使用的余额都会被立即返回。最终花费的金额由系统决定,该变量值只是限制它,如果解释系统需要为其所需的执行操作支付更多的费用,那么BuyExecution指令将导致错误。

2、weight:指定要购买的执行时间两,通常该值大于或等于XCM程序的总权重。

DepositAsset:将剩余的资金存入持有登记册。实际上,扣除手续费后,我们不知道手上还剩余多少资产,可以在assets中使用通配符All.into(),将剩余资产全部存入beneficiary标识的账户中,此处该值为Parent.into(),代表中继链的位置。

来源:金色财经

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

金星链

[0:31ms0-1:221ms