被混淆的共识

经典的 Fischer、Lynch 和 Paterson 不可能性证明表明，任何针对消息传递或共享内存系统的确定性共识协议在某些执行中都必须违反终止、有效性或一致性中的至少一条。但它并不提供一种有效的 procedures 来查找此类差差的执行。我们表明，对于无等待的共享内存共识，给定一个每个进程最多执行 $s$ 步、总时间复杂度最多为 $t$ 的协议，存在一个对抗算法将该进程的程序作为输入，并在 $O(st)$ 时间内计算出违反一致性的 schedule。我们认为，该界限在假设随机预言者假设下是紧的：存在一种确定性被混淆的共识协议，迫使对抗者在找到差差的执行时必须花费 $\Omega(st)$ 时间，尽管对抗者对协议可用的所有信息拥有完整访问权限。这一界限基于一种将构建被混淆的共识协议归约为构建被混淆的阈值函数的通用算法，后者在单个输入上评估需要 $\Omega(t)$ 时间，其中 $t$ 是可调参数；且对抗者若想从阈值函数实现中提取阈值，无法比通过二分搜索更快。我们给出了一种特定的阈值函数实现，该实现虽不够高效，但在随机预言者假设下是 provably 安全的。由于我们的被混淆共识协议不依赖于该构建的具体细节，因此可能用更高效或需要较弱密码学假设的替代方案来取代，我们将这一任务留给未来的工作。