广告

可用性和有效性协议(AnV 协议)

波卡如何在平行链之间进行有效的分片?

Polkadot 的可用性和有效性(AnV:Availability and Validity)协议使整个网络能在平行链之间有效地分片,同时有着强大的安全性保证。

AnV 协议的阶段

可用性和有效性协议(AnV 协议)分为六个阶段。

  • 平行链阶段

  • 中继链提交阶段

  • 可用性和不可用性子协议

  • 二级 GRANDPA 批准有效性检查

  • 钓鱼人反对程序

  • 调用拜占庭式容错最终性小工具来巩固链

平行链阶段

AnV 协议的平行链阶段是平行链的收集人向当前分配给平行链的验证人提议候选块的时候。

候选块是来自平行链收集人的新块,它可能是有效的也可能不是有效的,并且必须经过有效性检查才能包含在中继链中。

中继链提交阶段

验证人接下来会对照该平行链的注册代码所提供的验证功能来检查候选块。如果验证成功,则验证人会将候选块传递给八卦网络(gossip network)中的其他验证人。但是,如果验证失败,则验证人立即将候选块视为无效。

当超过一半的平行链验证人同意特定的平行链候选区块是有效的状态转换时,他们会准备候选者收据。候选收据将最终包含在中继链状态中。这包括:

  • 平行链 ID

  • 收集人的 ID 和签名

  • 父区块的候选收据的哈希值

  • 块的擦除编码片段的 Merkle 根

  • 任何发出信息的 Merkle 根

  • 块的哈希

  • 区块执行之前,平行链的状态根

  • 区块执行后,平行链的状态根

以上信息都是恒定的,但平行链的实际 PoV 块是可变长度的,对于任何获得完整 PoV 块的人来说,这都是足够的信息,可以验证其中包含的状态转换。

可用性和不可用性子协议

在可用性和不可用性子协议阶段,验证人会在网络中流传擦除编码片段。至少 1/3 + 1 个验证人必须报告他们拥有自己的代码字段。一旦达到验证人的阈值,网络便可以考虑使用平行链的 PoV 块。

擦除编码

擦除编码将消息转换为更长的代码,从而可以从代码的子集中恢复原始消息,而无需代码的某些部分。代码是原始消息,上面填充了一些额外的数据,从而可以在擦除的情况下重建代码。

Polkadot 的可用性方案使用的擦除代码类型为 Reed-Solomon 代码,该代码已在区块链行业以外的技术中经受了久经考验的应用。在光盘行业中可以找到一个例子。CD 使用 Reed-Solomon 代码来纠正由于磁盘表面不一致(例如灰尘颗粒或划痕)而导致的任何丢失的数据。

在 Polkadot 中,擦除代码用于保持系统可用的平行链状态,而无需所有验证人在所有平行链上保留制表符。取而代之的是,验证人共享较小的数据,并可以在 1/3 + 1 的验证人可以提供其各自的数据的假设下,稍后重建整个数据。

注意:为了构造完整的平行链状态数据而必须响应的验证人的 1/3 + 1 阈值对应于 Polkadot 关于拜占庭节点的安全性假设。

钓鱼人

钓鱼人是平行链的完整节点,与收集人相似,但在与 Polkadot 网络的关系中扮演不同的角色。钓鱼人将观察整个过程并确保不包括无效的状态转换,而不必像收集人那样打包状态转换并产生下一个平行链区块。钓鱼人需要适度质押一部分代币在中继链上,这与不要求在中继链上必须要有筹码的收集人不同。如果发现平行链生产过程中发生了不当行为,钓鱼人将提交无效报告。如果对举报的不当行为被证明是正确的,他们将得到丰厚的回报,但如果被证明是错误的,则可能会失去质押部分权益。因此,钓鱼人类似于赏金猎人,他们在完成一项工作时会获得丰厚的报酬,否则就没有稳定的报酬。

如何运行一个钓鱼人节点

预计与验证人节点的质押要求相比,运行钓鱼人节点的要求会相对适中。在中继链上注册“钓鱼”状态将需要一定数量的代币。如果钓鱼人提交了不正确的无效报告,则协议可能会大幅 Slash 这些代币。Slash 风险的存在是为了防止钓鱼人向网络发送垃圾邮件,因为重新建立平行链状态对于中继链来说是昂贵的处理过程。

在需求的硬件方面,功能适中的机器理论上就能够运行一个或多个平行链的完整节点。最大的需求可能是存储每个被钓鱼的平行链的数据。但是,诸如 prunning 之类的改进意味着,维持一个平行链的完整节点所需的最终存储大小将稳定在一个非常高的水平。对 RAM 和 CPU 的需求可能会随着所钓鱼的平行链的数量而扩展,那么对于钓鱼一条平行链并且之后会随之增加钓鱼数量,需要一个最低起步配置。每月 10或20个 cloud instance 就足以开始使用。

注意:Kusama 或 Polkadot 网络中现在尚无钓鱼人!一旦有可能,本文内容将通过设置指南进行更新。

更多资源

  • Life of a Parachain Block:由 Parity分析师 Joe Petrowski 撰写的文章,详细说明了平行链区块必须通过以进行平行链验证的有效性检查。https://polkadot.network/the-path-of-a-parachain-block/

  • Availability and Validity:W3F研究团队的论文,详细说明了可用性和有效性协议。https://github.com/w3f/research/tree/85cd4adfccb7d435f21cd9fd249cd1b7f5167537/docs/papers/AnV

原文:https://wiki.polkadot.network/docs/en/learn-availability

24小时热点

区块链的“钱包地址”是什么?

区块链的“钱包地址”是一个字符串,它是一个用户在比特币或以太 ...

84977

币团交易所

企业初创阶段的特点

企业初创阶段一般指企业由创业者开始萌芽之初,但尚未正式注册、 ...

114298

TokenInsight
广告

热点专题

NFT艺术品到底是什么?

Beeple,“EVERYDAYS: THE FIRST 5 ...

2302618

Opera House

最全的NFT发展史

当我们理解一个新生事物,必须要首先了解其起源,通过对其源头以 ...

1741884

iBox

“华英会”诈骗圈钱5000亿!崩盘后将会凄惨无比

“华英会”崩盘的预警已多次发出,尽管尚未正式宣布崩盘,但大家 ...

1268286

Magic Eden

什么是IDO?这种模式会带来怎样的影响?

要理解IDO(Initial DeFi Offering)初 ...

1142497

Bitstamp交易所

有黑客采取新型 USDT 假充值手法

根据慢雾区情报,有黑客采取新型 USDT 假充值手法,黑客采 ...

996155

区块链博客

4种利用永续合约资金费率套利的策略

下文将介绍在保持市场中立的条件下,如何从永续掉期资金费率中套 ...

904752

DCG区块链孵化器

链圈百科:韩国政府机构组织图

一、行政院 韩国行政院是一个由政府的行政机构组成的中央政府 ...

822626

BitKeep钱包

国内NFT平台是怎么赚钱的?

2021年被称为NFT的“元年”,互联网巨头、各大企业、艺术 ...

797900

CoinBene满币网

元宇宙平台合法吗

现在,元宇宙平台备受热捧,但有人质疑其合法性。在此,我们将对 ...

750629

T网

宝二爷郭宏才的乘风破浪之旅

10年后的比特币会涨到10万美元吗?宝二爷说过:“先吹吹牛B ...

706507

QuillAudits