具有最优弹性及渐近最优时间与字通信量的可验证异步拜占庭协议

我们提出一种用于可验证异步拜占庭协议的新协议。可验证（多值）异步拜占庭协议是在异步环境下构造原子广播和容错状态机复制的关键构建块。我们的协议可承受最优数量 $f<n/3$ 的拜占庭故障，并在渐近最优的期望 $O(1)$ 运行时间内达成共识。我们协议中的诚实方仅发送期望 $O(n^2)$ 条消息，其中每条消息包含一个值以及常数个签名。因此我们的总期望通信量为 $O(n^2)$ 字。Cachin 等人 2001 年的最佳先前结果以最优弹性和 $O(1)$ 期望时间解决了可验证拜占庭协议，但期望字通信量为 $O(n^3)$。我们的工作解决了 Cachin 等人 2001 年提出的一个开放问题，并将期望字通信量从 $O(n^3)$ 改进到渐近最优的 $O(n^2)$。