Polkadot的可用性和有效性协议使整个网络能在平行链之间有效地分片,同时有着强大的安全性保证。
AnV协议的阶段
可用性和有效性协议分为六个阶段。
平行链阶段
中继链提交阶段
可用性和不可用性子协议
二级GRANDPA批准有效性检查
钓鱼人反对程序
调用拜占庭式容错最终性小工具来巩固链
平行链阶段
AnV协议的平行链阶段是平行链的收集人向当前分配给平行链的验证人提议候选块的时候。
候选块是来自平行链收集人的新块,它可能是有效的也可能不是有效的,并且必须经过有效性检查才能包含在中继链中。
Moonbeam赢得新的波卡平行链插槽租赁,出块将延续至2025年6月:6月8日消息,Moonbeam 基金会宣布已为 Moonbeam 竞标并赢得了 2023 年 7 月 31 日至 2025 年 6 月 5 日租赁期的第 44 届 Polkadot 平行链拍卖,Moonbeam 的出块能力将延长至 2025 年 6 月。Moonbeam 基金会称为该新租用的插槽自筹资金, Moonbeam 众筹提供的资金将继续保持锁定状态,直到原始租期于 2023 年 10 月结束。[2023/6/9 21:25:00]
中继链提交阶段
验证人接下来会对照该平行链的注册代码所提供的验证功能来检查候选块。如果验证成功,则验证人会将候选块传递给八卦网络中的其他验证人。但是,如果验证失败,则验证人立即将候选块视为无效。
波卡生态概念板块今日平均跌幅为5.45%:金色财经行情显示,波卡生态概念板块今日平均跌幅为5.45%。26个币种中3个上涨,23个下跌,其中领涨币种为:AR(+2.21%)、PHA(+0.09%)。领跌币种为:KLP(-63.47%)、INSTAR(-7.73%)、MXC(-7.69%)。[2021/6/19 23:49:59]
当超过一半的平行链验证人同意特定的平行链候选区块是有效的状态转换时,他们会准备候选者收据。候选收据将最终包含在中继链状态中。这包括:
平行链ID
收集人的ID和签名
父区块的候选收据的哈希值
块的擦除编码片段的Merkle根
任何发出信息的Merkle根
波卡生态概念板块今日平均涨幅为4.26%:金色财经行情显示,波卡生态概念板块今日平均涨幅为4.26%。26个币种中23个上涨,3个下跌,其中领涨币种为:INSTAR(+24.89%)、CRU(+17.67%)、OAX(+13.77%)。领跌币种为:XOR(-37.77%)、PHA(-3.97%)、MXC(-0.31%)。[2021/2/2 18:43:52]
块的哈希
区块执行之前,平行链的状态根
区块执行后,平行链的状态根
以上信息都是恒定的,但平行链的实际PoV块是可变长度的,对于任何获得完整PoV块的人来说,这都是足够的信息,可以验证其中包含的状态转换。
可用性和不可用性子协议
在可用性和不可用性子协议阶段,验证人会在网络中流传擦除编码片段。至少1/31个验证人必须报告他们拥有自己的代码字段。一旦达到验证人的阈值,网络便可以考虑使用平行链的PoV块。
波卡Substrate报告:282个验证人在活跃集 国库赏金计划获批:1月8日,波卡中国社区PolkaWorld官方发布《Substrate生态最新报告》。根据报告:1.2020年12月初官方开启了1000个验证人计划,活跃验证人集的最大数量从每个era 44个,逐个增加到最多298个。目前有282个验证人在活跃集中,有334个在等待队列中。2.针对跨链消息传递,Basic XCM代码已合并,允许中继链把消息向下传递到平行链。3.第一个Polkadot国库赏金计划已获批准。该赏金的管理人将是由四个社区成员组成的多重签名,他们将不因策划赏金而获得任何奖励。4.第231号提案计划为Elara v0.3的开发提供资金,Elara v0.3是针对Polkadot的类似于Infura的服务。Elara将作为非营利项目运行,当前的投票阶段将于本周末结束。5.根据国库报告,Polkadot国库已收到25份提案,并通过了其中18项,发出104,054个DOT,每个国库提案平均获得5780个DOT资助(价值约29,000美元)。国库中大约有960万个DOT,目前仅使用了1%。[2021/1/9 15:43:35]
擦除编码
擦除编码将消息转换为更长的代码,从而可以从代码的子集中恢复原始消息,而无需代码的某些部分。代码是原始消息,上面填充了一些额外的数据,从而可以在擦除的情况下重建代码。
Polkadot的可用性方案使用的擦除代码类型为Reed-Solomon代码,该代码已在区块链行业以外的技术中经受了久经考验的应用。在光盘行业中可以找到一个例子。CD使用Reed-Solomon代码来纠正由于磁盘表面不一致而导致的任何丢失的数据。
在Polkadot中,擦除代码用于保持系统可用的平行链状态,而无需所有验证人在所有平行链上保留制表符。取而代之的是,验证人共享较小的数据,并可以在1/31的验证人可以提供其各自的数据的假设下,稍后重建整个数据。
注意:为了构造完整的平行链状态数据而必须响应的验证人的1/31阈值对应于Polkadot关于拜占庭节点的安全性假设。
钓鱼人
钓鱼人是平行链的完整节点,与收集人相似,但在与Polkadot网络的关系中扮演不同的角色。钓鱼人将观察整个过程并确保不包括无效的状态转换,而不必像收集人那样打包状态转换并产生下一个平行链区块。钓鱼人需要适度质押一部分代币在中继链上,这与不要求在中继链上必须要有筹码的收集人不同。如果发现平行链生产过程中发生了不当行为,钓鱼人将提交无效报告。如果对举报的不当行为被证明是正确的,他们将得到丰厚的回报,但如果被证明是错误的,则可能会失去质押部分权益。因此,钓鱼人类似于赏金猎人,他们在完成一项工作时会获得丰厚的报酬,否则就没有稳定的报酬。
如何运行一个钓鱼人节点
预计与验证人节点的质押要求相比,运行钓鱼人节点的要求会相对适中。在中继链上注册“钓鱼”状态将需要一定数量的代币。如果钓鱼人提交了不正确的无效报告,则协议可能会大幅Slash这些代币。Slash风险的存在是为了防止钓鱼人向网络发送垃圾邮件,因为重新建立平行链状态对于中继链来说是昂贵的处理过程。
在需求的硬件方面,功能适中的机器理论上就能够运行一个或多个平行链的完整节点。最大的需求可能是存储每个被钓鱼的平行链的数据。但是,诸如prunning之类的改进意味着,维持一个平行链的完整节点所需的最终存储大小将稳定在一个非常高的水平。对RAM和CPU的需求可能会随着所钓鱼的平行链的数量而扩展,那么对于钓鱼一条平行链并且之后会随之增加钓鱼数量,需要一个最低起步配置。每月10或20个cloudinstance就足以开始使用。
注意:Kusama或Polkadot网络中现在尚无钓鱼人!一旦有可能,本文内容将通过设置指南进行更新。
更多资源
LifeofaParachainBlock:由Parity分析师JoePetrowski撰写的文章,详细说明了平行链区块必须通过以进行平行链验证的有效性检查。https://polkadot.network/the-path-of-a-parachain-block/
AvailabilityandValidity:W3F研究团队的论文,详细说明了可用性和有效性协议。https://github.com/w3f/research/tree/85cd4adfccb7d435f21cd9fd249cd1b7f5167537/docs/papers/AnV
原文:https://wiki.polkadot.network/docs/en/learn-availability
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。