Avalanche共识分析

Yin等人在最近的白皮书中引入了一族无领导者、去中心化的共识协议，称为Snow共识。这些协议通过利用随机化并保持对拜占庭参与者的某种程度的鲁棒性，解决了现有共识方法（如使用工作量证明或法定人数的共识）的局限性。至关重要的是，Snow共识支撑着Avalanche区块链，该区块链提供了一种流行的加密货币和运行智能合约的平台。Snow共识算法建立在一个自然的随机化例程上，参与者不断采样其他参与者的子集，并采用观察到的多数值，直到达成共识。此外，Snow共识根据参与者的局部视图和安全参数定义了条件。这些条件指示一方何时可以自信地最终确定其局部值，知道该值将被诚实参与者采用。尽管Snow共识算法可以简洁地表述，但随机化、对抗性影响和安全参数之间存在复杂的相互作用，需要对其安全性和活性进行形式化分析。Snow协议构成了Avalanche型区块链的基础，本文旨在通过提供对其活性和安全性特征的见解来增进我们对这类协议的理解。首先，我们从延迟和安全性角度分析了这些Snow协议。其次，我们揭示了一个设计问题，即两者之间的权衡不利。第三，我们提出对原始协议的修改，使得这种权衡更加有利。