跨链状态机复制

本文在受跨链交换启发的分布式系统模型中考虑经典的状态机复制（SMR）问题。我们提出了一种适配该模型的新型 SMR 协议。每次状态机转换耗时 $O(n)$ 消息延迟，其中 $n$ 为活跃参与者数量，其中任意数目可能作恶（Byzantine）。该协议新颖地利用路径签名保持副本一致性。此协议设计清晰地将应用逻辑与容错分离，为以更原则性的方法替代复杂的特设跨链协议提供了系统性途径。