SNARE: 一个面向理性玩家的Byzantine共识TRAP

TRAP协议通过将可责任共识与一次性BFTCR最终化阶段结合来解决理性协商问题。我们提出SNARE(基于奖励与排除的可扩展纳什协商)，TRAP对n=5f+1的适应方案，并证明了对理性协商的ε-(k,t)-鲁棒性，可容忍最高约73%的联盟，其押金低于收益的0.5%。中心发现是，在predecisions之后附加一个以4f+1阈值进行的全联合广播轮次，可使联盟最高可达3f（约60%）的ε-(k,t)-鲁棒性，而无需任何押金：我们只需假设偏离玩家参与协议，而无需建模或知道其效用函数。这些玩家可以是deceitful（任意未知效用），不仅限于理性玩家，而最终化结构可防止任何动机下的 disagreement。该观察是协议无关的，适用于任何5f+1协议，代价仅为一个消息延迟，同时在下一个视图中并行运行，不需要commit-reveal机制。超过60%时，完整的诱饵机制及其低于0.5%的押金可将容忍度扩展至约73%。第二个发现是，valid-candidacy（防止奖励前跑）属性无论仲裁阈值如何，都成立无条件地，移除了原TRAP中的n>2(k+t)和n>3/2k+3t约束。该结果retroactively将3f+1界限从C<n/2扩展至C<5n/9。两种模型的约束条件均为在排除3f+1个检测到的equivocators后，剩余2f玩家上的获胜 consensus。我们探索了放宽此限制的途径。