网络无关的状态机复制

我们研究状态机复制（SMR）——区块链协议所解决的基本问题——在存在恶意敌手可破坏运行协议的部分参与方时的情形。该任务的现有协议要么假设同步网络（所有消息在已知时间 $\Delta$ 内送达），要么假设异步网络（消息可被任意延迟）。尽管后一种情形的协议看似提供更强保证，实则并非如此，因为它们（本质上）容忍更低的被破坏方比例。我们设计了一种如下意义上面网络无关（network-agnostic）的 SMR 协议：若运行于同步网络，其容忍 $t_s$ 个被破坏方；若网络为异步，则其对 $t_a \leq t_s$ 个故障具有弹性。我们的协议在 $t_s$ 与 $t_a$ 之间实现了最优权衡。