当没有leader发生时，Polkadot就划定凭据顺序来抉择谁是leader，这个顺序是预先确定好的。
NPOS流程
这样的殽杂共鸣比传统的PBFT共鸣速度更快，而且在速度更快的基本上并没有丢失掉安详性。将出块和确认区块两个阶段分隔而且利用差异的算法是在区块链共鸣中值得进修的处所。
参考文献：
选举模子
下面看看NPOS是如何举办事情的。
BABE中leader的选举是通过一个随机函数（VRF）来实现的，在每个slot阶段，每一个节点会通过运算VRF函数来得到一个数值，假如这个数值小于网络中预先划定好的阈值，那么节点就会认为本身就是这个时间段的leader，于是节点就开始出块了。
在Polkadot 中，中继链上的验证者需要分派到各个平行链，为它们提供验证本领，是 Polkadot 共享安详性的一部门，因此中继链的验证者对付整个Polkadot多链系统的安详性至关重要。
· 限制条件：
结语
不追求最优解，，到达相对最优即可NP完全问题中给出可行解是很坚苦的，可是验证已有解是简朴的，能在多项式时间内完全。所以验证可行解的部门放在链长举办。
我们需要担忧的是在步调2的pre-vote进程中大概会有作恶的节点投票了两个区块而且广播出去，这样的话就有大概发生链的分叉行为。
NPOS( Nominated Proof of Stake)共鸣算法就是用来选举出能让系统更安详，更高效的验证者荟萃的。和传统意义上的POS共鸣对比，NPOS算法团结了Polkadot链自身架构的一些特点，举办相应的优化。
· 输出：给定解，个中是最终选定的Validator，巨细为， 是提名者分派几多 Stake 到最终的Validator。
如何公正安详地选举出中继链上的验证者也就成了保障整个系统共享安详性的第一步，是不行或缺的一步。
值得留意的是在上述的进程中，由于VRF函数是随机生成数字的，所以大概造成在某一slot中没有leader可能有多个节点算出本身的VRF值小于阈值进而发生多个leader的环境。我们依次阐明两种环境：
像其他PBFT的衍生算法一样，GRANDPA的时间巨大度也是O(n²)。可是Polkadot之所以回收GRANDPA是因为GRANDPA并不是每次只确认一个区块，它每一次城市确定好几个区块来做确认。
上述的问题在数学上就是一个最优化问题，很惋惜这个选举在数学上已经被证明是 NP完全问题，并不能在多项式时间内给出最优解。
· 完整的流程如下：上述推导的数学模子中，由于是NP完全问题，也就是说给出最优解的计较时间巨大度是无法确定在多项式时间内的。
接下来我们对这三种共鸣举办逐一的表明
Imported #664258 (0xee71…6321)
NPOS
Fair representation: Stake 多的提名者选投的验证人更大概呈此刻验证者荟萃中。
Polkadot中DOT的持有人，它会选择本身所信任的验证人举办DOT质押，然后分享验证人的收益。
（注：提名流可以有任意个，验证者是有限个）
每个slot时间段中BABE会选出一个leader来出块。
· 任意一个 ,都不会存在一个提名者的子集，导致呈现下面的环境：
让我们回到BABE，通过团结BABE和GRANDPA我们可以看到在出块的时候Polkadot回收BABE出块，此时节点之间只要发送一次块信息即可，这样的话时间巨大度仅仅是O(n)，在出块之后节点之间再回收GRANDPA举办块确认，此时由于确认阶段节点之间要通过二次确认来担保确认块功效的一致性，时间巨大度是O(n²)，不外由于是多个块一次性举办确认，所以两者团结的殽杂共鸣长短常高效的，比普通的PBFT共鸣要高效许多。BABE的全称是Blind Assignment for Blockchain Extension，BABE是一个用来出块的引擎，雷同于Ourobros Praos，一种PoS的协议。BABE算法是基于slots的。
为了明晰选举问题，Polkadot中将选举验证者荟萃的问题抽象为一个数学的选举问题：
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
