论文2024/452

拜占庭共识中的手机崩溃建模

摘要

有针对性的拒绝服务（DoS）攻击一直是一个实际问题用于无许可区块链。潜在解决方案，如随机区块链采用抽样。然而，相关的安全保障只是在之前的工作中进行了非正式讨论是因为现有的对手模型不是完全捕获此攻击或放弃某些设计选择（如sleep模型或异步网络模型），或太强而无法切合实际（就像在移动拜占庭对手模式中一样）。本文提供了理论基础和所需特性用于抵抗目标DoS攻击的共识协议。特别是，我们定义移动崩溃自适应拜占庭（MCAB）模型来捕获此类攻击。此外，我们在MCAB模型下，识别并形式化共识协议的两个属性，并分析它们的权衡。作为案例研究，我们证明了Ouroboros Praos和Algorand在我们的MCAB模型中是安全的，提供了第一个正式的证据来支持它们对目标DoS攻击的安全保障，而这些之前只是非正式讨论过的。我们还演示了我们的属性的一个应用程序，以保护简化的BFT协议（链式Hotstuff）免受目标DoS攻击。