Gorilla：无许可拜占庭共识的安全协议

中本聪的共识协议工作于无许可模型并可容忍拜占庭故障，但仅提供概率性一致。近来，Sandglass 协议表明此类较弱保证并非无许可模型的必然结果；然而，Sandglass 仅能容忍良性故障，且运行于非常规的部分同步模型。我们提出 Gorilla Sandglass，这是首个拜占庭容错共识协议，能在中本聪所采用的同一同步模型中，于无许可设定下以概率 1 保证确定性一致与终止。我们通过将 Gorilla 中可能违背一致或终止的执行映射到 Sandglass 中的执行来证明 Gorilla 的正确性，而我们知道在 Sandglass 中此类违背是不可能的。终止性的确立尤为有趣，因为该映射需要对无限执行及其概率进行推理。