在无诚实参与者情形下实现状态机复制

现有的代币化状态机复制协议中参与者刻画的准则依赖于诚实参与者，他们无论偏离协议可能带来多少代币收益，都始终遵循协议。鉴于这些代币化协议市值不断增长，诚实变得愈发昂贵且不切实际。因此，必须移除这一过时的参与者刻画，以真正保证安全性与活性，从而大幅推进状态机复制协议的普遍可信度与新规模的采用。由于当前所有状态机复制协议都建立在这些遗留准则之上，亟需识别并采用新的参与者模型以反映代币化协议中参与者现在及未来的真实性质。为此，我们提出用于状态机复制协议的 ByRa 参与者模型。在 ByRa 模型中，参与者要么试图最大化其代币奖励，要么表现为对抗性。这将博弈论与分布式系统两个领域相融合，代币化状态机复制协议正存在于此交集，但此前鲜有形式化研究。在 ByRa 模型中，我们识别出所有协议为实现状态机复制必须满足的强激励相容（期望意义下）与公平性性质。随后我们给出 Tenderstake 协议，其可证明满足这些性质，并由此在 ByRa 模型中实现状态机复制。