Translate

Polkadot 共识机制

为什么我们需要共识机制？

共识是一种在共享状态上达成协议的方法。为了使区块链的状态继续建立并向前进，网络中的所有节点必须达成一致共识。通过这种方式，去中心网络中的节点可以保持彼此同步。在区块链上如果去中心化网络节点没有共识，就无法确保由其他节点共享的状态 是真实的。共识旨在参与者之间提供状态的客观事实，每个参与者对网络都有自己的主观观点。这些节点间进行通信的过程并达成协议使能够构建新区块。

什么是 PoW 和 PoS？

工作量证明(PoW)和权益证明(PoS)已被用作为区块链共识机制的简写形式，但并不能完整地描述。 PoW 是达成区块创造者共识的方法，也是中本聪共识的一部分，该共识还包含链选择算法(根据比特币中最长链的规则)。同样 PoS 是用于选择验证人的一组规则并且没有指定链的选择规则或如何达到链的最终性。传统上 PoS 算法已用于达成节点之间的拜占庭协议的算法配对。例如 Tendermint 是实用性的拜占庭容错算法，它使用 PoS 作为其验证人的选择方法。

为什么不使用工作量证明(PoW)?

尽管 PoW 在达成共识的方式非常简单和有效，但 PoW 耗费大量电力，没有经济效益或可证明的最终性，也没有有效的策略来抵抗卡特尔。

概率性 vs 可证明的最终性

PoW 中本聪共识只能实现概率最终性并会达到最终共识。概率最终性意味着假设在某些网络和参与者之下，如果我们看到多过区块在某个区块上构建了，则有很大概率估计它是最终了。最终共识意味着在接下来的某个时间，所有节点都将就一组数据的真实性达成共识。最终共识可能需要很长时间，并且无法确定需要多长时间。但是例如 GRANDPA 或以太坊的 Casper FFG 之类的最终性工具旨在为区块提供更强的最终性 -​​ 特别是更快的保证，在经过拜占庭协议的某些处理后，它们永远无法篡改。不可逆的共识概念称为可证明的最终性。

在 GRANDPA 论文中，它的表达方式如下：

如果在没有指定的时间后向所有参与者返回相同的值，oracle A 在协议中是最终一致。

什么是 GRANDPA / BABE?

混合共识

在讨论 Polkadot 的共识协议时，我们使用两个首字母缩写词：GRANDPA 和 BABE。我们讨论这两个的原因是因为 Polkadot 使用的是混合共识。混合共识从区块生产机制中拆分了最终性工具。

这是在 Polkadot 中获得概率最终性（拥有产生新区块的能力）和可证明的最终性（在规范链上具有通用协议，没有任何逆转机会）的好处。它还避免了每种机制的相应缺点（在概率最终性中不知不觉地遵循了错误的分叉的机会，以及在可证明的最终性中存在"过时"的可能性- 无法产生新的区块）。通过结合这两种机制，Polkadot 可以快速生成区块，而较慢的最终机制可以在单独的流程中运行以确定区块，而不会使交易速度变慢或停顿的风险。

过去已经提出了混合共识。值得注意的是它被提议(现已不存在)作为以太坊转向 EIP 1011 的权益证明过渡的一步。 Casper FFG 。

BABE

BABE (Blind Assignment for Blockchain Extension) 是在验证人节点与决定谁是产生新区块之间的产生区块机制。 BABE 与 Ouroboros Praos 相比，在链选择规则和时段调整方面存在一些关键差异。 BABE 根据抵押和使用 Polkadot 随机性周期分配区块生产插槽给验证人。

Polkadot 的验证人将会参与在每次的抽奖去决定它们是否在那个时隙的生产区块候选人。时隙是用时间作单位，长度为6秒。由于这种随机性机制，多个验证人可能是同一时隙的候选人。在其余时间，时隙可能为空导致区块时间不一致。

同一时隙多个验证人

当多个验证人在同一时隙也是区块生产侯选人，全部也会产生区块并广播到网络。那时侯将会是一场比赛。其那个区块到达网络大部分的验证人先获胜。取决于网络拓扑和延迟，两条链都将继续建立一定的容量，直到最终敲定并截断分叉为止。有关其工作原理，请参见下面的"分叉选择"。

时隙里没有验证人

当没有任何验证人在随机抽奖中达到足够低的资格进行生产区块时，时隙便会没有区块。我们在后台通过运行辅助轮循样式验证人选择算法来避免这种情况。通过选择该算法生成区块的验证人始终生成区块，但是如果同一时隙也从 VRF 选择验证人生成主块，则这些次要区块将被忽略。因此时隙可以具有_ 主要 或 次要 _区块，并且不会跳过任何时隙。

For more details on BABE, please see the working research draft.

GRANDPA: 最终决定性工具

GRANDPA (GHOST-based Recursive ANcestor Deriving Prefix Agreement) 是在 Polkadot 中继链上实现的最终决定性工具。

只要 2/3 的节点是诚实的，并且可以在异步设置中处理 1/5 的拜占庭节点，它就可以在部分同步的网络模型中工作。

一个显着的区别是 GRANDPA 在链上达成协议，而不是在区块上达成，从而加快了最终确定过程，即使长期的网络分区或其他网络故障之后。

换句话说，一旦超过 2/3 的验证人证明包含某个区块的链，就立即最终确定该块内的所有区 块。

协议

请参阅该文件中的标题3的完整说明。

实现

The Rust implementation is part of Substrate Frame.

For even more detail, see the GRANDPA research page on the W3F Research pages.

分叉选择

将 BABE 和 GRANDPA 结合在一起，Polkadot 的分叉选择变得很明确。 BABE 必须建立在GRANDPA 最终确定的链上。当最终确定的区头后面有分叉时，BABE 通过在具有最主要的区块的链上创建来提供概率确定性。

Best chain choice

在上图中黑色块已完成。一个是主要，二个是次要的区块。即使最上层的链是最新确定最长区块的链，但它不符合条件，因为在评估时它主要的基数少于下一个。

共识比较

中本聪共识

中本共识包括最长的链规则是使用工作证明作为其支持机制和领导人选举。

中本共识只给了我们概率的确定性。概率确定性意思是过去一个区块只与它拥有确认的数量或在上面构建的区块数一样安全。随着更多区块构建在工作证明链中的特定区块之上，因此在特定链后面花费了更多的计算工作。但是它不保证包含区块的链将始终保持商定的链，因为具有无限资源的参与者可能会构建一个竞争链，并花费足够的计算资源来创建一个不包含特定的区块。在这种情况下，比特币和其他工作证明链中采用的最长链规则将作为规范链移动到这个新链中。

PBFT / Tendermint

请参阅 Cosmos 比较文章中的相关部分。

Casper FFG

GRANDPA 和 Casper FFG(确定性工具)之间的两个主要区别是：

  • 在GRANDPA中，不同的选民可以同时为不同高度的区块投票
  • GRANDPA仅依靠最终的区块来影响基础区块生产机制的分叉选择规则

Casper CBC

即将来临!

资源