具有自适应字复杂度的强拜占庭一致性
摘要：强拜占庭协议问题是在n个进程中定义的，其中t < n个进程可能出现故障并且行为任意。强拜占庭协议允许正确的（非故障的）进程就一个公共值达成一致。此外，如果所有正确的进程都提议了相同的值，则只能就该值达成一致。长期以来，已经知道任何解决强拜占庭协议问题的解决方案都会遭受二次最差字复杂度；此外，已知该限制是紧密的。然而，目前不存在任何现有的协议能够实现自适应字复杂度，即交换的字数取决于实际故障数，而不是上界。因此，目前仍不清楚是否存在具有自适应字复杂度的强拜占庭协议。本文肯定地回答了这个问题。具体而言，我们介绍了STRONG，这是一种同步协议，它可以解决n = (2 + Omega(1))t + 1个进程之间的强拜占庭协议，并实现自适应字复杂度。我们展示了自适应强拜占庭协议的基本挑战在于高效地解决认证问题，即获取一个恒定大小、可在本地验证的证明，证明一个值可以安全地被决定。
作者：Pierre Civit, Seth Gilbert, Rachid Guerraoui, Jovan Komatovic, Manuel Vidigueira
论文ID：2308.03524
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-08