一个总结部分同步协议的良好案例延迟和弹性的研究的线程。 下限 1 (DLS):如果 f >= n/3,则在部分同步下对抗拜占庭对手是不可能解决一致性问题的。( 下限 2 (良好案例延迟):对于部分同步的拜占庭广播,如果有 f 个拜占庭方,则在 3f +1 <= n <= 5f-1 的情况下,3 轮是必要且充分的。( 上限:例如,PBFT、Tendermint、Simplex 可以容忍 f < n/3 的故障,并实现 3 轮的良好案例延迟(链接:
改进的两个途径:(A)容忍更多的崩溃,(B)在较少的拜占庭故障情况下实现更好的良好案例延迟 途径(A):容忍更多的崩溃 下限 3:我们需要 n >= 3f + 2c + 1 来容忍 f 个拜占庭故障和 c 个崩溃故障,在部分同步的情况下(民间传说?) 上限:将之前提到的任何协议进行概括,例如,使用 2f+c+1 的法定人数而不是 2f+1 的 PBFT(民间传说?)
Avenue (B): 在比萨故障较少时实现更好的良好案例延迟 下限 4: 我们需要 n >= 3f + 2p - 1 来容忍 f 个比萨故障,并在 p <= f 时实现 2 轮良好案例延迟( 上限: FaB, SBFT, Kudzu, Alpenglow, Minimmit(其中一些设置 f = p ~= n/5)(
结合途径 (A) 和 (B):Hydrangea,我们的新论文 () 与 @nibeshrestha2 和 @aniketpkate 下界 5:不存在能够容忍 f 个拜占庭故障和 c 个崩溃故障的部分同步拜占庭广播协议,适用于 n = 3f + 2c + k + 1,并且在容忍超过 p = (c+k+2) / 2 个故障方(拜占庭或崩溃)的情况下,能够实现乐观的良好情况延迟为两轮;k 是一个具有某些约束的可调参数。 上界:Hydrangea 提出了一个协议,适用于 n = 3f+2c+k+1,以容忍 f 个拜占庭故障和 c 个崩溃故障,并且我们可以获得 (i) 在容忍 p = (c+k)/2 个故障的情况下,乐观的 2 轮良好情况延迟,以及 (ii) 在其他情况下的 3 轮良好情况延迟。
4.12K