NPoS：《一个可验证安全和比例制的理事会选举规则》

OpenSquare：本文由 Polkadot Research Team 发布于 Research at W3F，为 NPoS 的第三篇。由 OpenSquare 翻译整理于 CoinAsk，如有问题，请大家及时指正。

摘要： 比例代表制作为基于审批制度下的委员会选举方法，在社会文化中已经存在了超过一个世纪，通常被用作避免少数派未被充分代表的情况。一些分布式系统中有安全性存在争议的问题，它们通过阻止少数派被过度代表的相反方式来解决，这个目标在之前没有被正式提出过，使得现在我们正在用 Maximin Support* 这个目标优化方法。我们为它的近似性做了一次完整的分析，提出了一个受 Phragmén 算法启发的新选举算法，该算法可实现 1) 一个连续的因子近似值对目标的保证 2) 比例正当代表制(proportional justified representation aka PJR)。新规则最显著的功能是，在线性时间内可以验证选出的委员会对上述两点是否满意，即使算法被只进行对外沟通的不被信任的一方执行。最终，我们使用了一个有效的后运算（post-computation），当它和任一 Maximin Support 的近似值算法匹配使用时，返回一个新的解决方案 1) 保护了近似值 2) 可被有效验证使 PJR 满意。

我们被链上的一个使用提名人权益证明共识的应用激励着，该应用的社区通过此共识选择验证人，并使用该协议防止少数攻击者（在选举时）被过度代表。我们的选举规则为验证人选举协议带来了新的措施，包括正式的安全性和按比例制，表现在通过对选举胜出的验证人高效验证这两项属性，并被证实在去信任和资源有限的区块链天然属性中，其拥有的良好适应能力至关重要。我们提供给了波卡网络中的完成细节，2020年时上线。

如果大家对该选举方法及其背后的算法感兴趣，详情见论文连接。

---

译者：Maximin Support* 是一种连续的步骤，使获得最少支持候选人利益最大化的一种方法。

The maximin support method is a sequential procedure that aims to maximize the support of the least supported elected candidate. 

摘自文献：The Maximin Support Method: An Extension of the D'Hondt Method to Approval-Based Multiwinner Elections