对抗强敌手时异步共识的复杂度

我们引入了新技术，用于证明针对强敌手的异步共识随机算法运行时间的下界。具体而言，我们定义了一种\emph{强自适应敌手}，其计算能力无界，但通过擦除内存来腐蚀动态处理器子集的能力有限。我们证明了 Ben-Or 和 Bracha 设计的用于在异步设置中容忍崩溃或拜占庭故障的随机共识算法，可以扩展以击败强自适应敌手。这些算法具有本质上完美的正确性和终止性，但代价是指数级的运行时间。在强自适应敌手的情况下，我们表明这种极慢的运行时间是\emph{固有的}：我们证明了任何针对强自适应敌手具有本质上完美正确性和终止性的算法都必须具有指数级运行时间。此外，我们将此结果解释为有助于更深入地理解随机算法在容忍崩溃或拜占庭故障时，同时实现完美正确性、终止性以及快速运行时间所需的工具。