可用性-问责制困境及其通过问责制小工具的解决
密码学与安全
2022-05-19 v3 分布式、并行与集群计算
摘要
对于参与者为经济主体的拜占庭容错（BFT）共识协议应用，近期工作强调了问责制的重要性：即识别确证违反协议参与者的能力。同时，能在动态参与水平下达成共识对于抗审查而言是理想的。我们指出了一个可用性-问责制困境：在动态参与环境中，没有任何协议能同时实现可问责安全与活性。我们通过构造一个可证明安全的、最优弹性的问责制小工具来检查点最长链协议，从而解决该困境，使得完整账本在动态参与下具有活性，而被检查点的前缀账本具有可问责性。我们的问责制小工具构造是黑盒的，可使用任何在静态参与下可问责的BFT协议。使用HotStuff作为黑盒，我们将构造实现为以太坊2.0信标链的一种协议，我们在超过4000个节点上的互联网规模实验表明，该协议达到了所需的可扩展性，且相比当前方案Gasper具有更优延迟，而后者已被近期攻击证明是不安全的。
引用
@article{arxiv.2105.06075,
title = {The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets},
author = {Joachim Neu and Ertem Nusret Tas and David Tse},
journal= {arXiv preprint arXiv:2105.06075},
year = {2022}
}