区块链的最优多级罚没

我们提出了多级罚没的概念，其中权益证明区块链验证者可以获得渐进的保证级别，确保某一区块将在全局共识过程中被最终确认，除非数量不断增加且达到最优规模的拜占庭进程因其可证明的不当行为而遭到质押资产罚没（即扣除）。我们的构造是基于有限射影空间的组合相交系统的高度参数化推广，具有渐近高可用性与最优罚没特性。我们证明，即使在弱条件下，我们的构造在消息复杂度与验证者负载方面也具有渐近最优的罚没特性；该结果还阐明了消息复杂度、负载与罚没之间的基本权衡。此外，我们证明，任何基元素为不相交节点子集（例如基于委员会的共识协议中的“委员会”）的相交系统，在类似的弱条件下也具有渐近高可用性。最后，我们的多级构造赋予区块链验证者灵活性，使其能够决定希望获得多少“级别”的最终确认保证。此功能可被视为 (i) 一种基于罚没的早期区块最终确认形式；或 (ii) 一种支持重组容忍度的服务。