认证拜占庭将军组合问题的新视角

认证拜占庭将军（ABG）问题旨在通过一个真实（点对点）网络上的协议，在存在故障的情况下，模拟从将军到所有玩家的虚拟可靠广播信道。我们提出了一个新的模型来研究ABG协议的自我组合。我们方法的核心信条可以表述如下：考虑一个玩家，他勤勉地执行（仅）委托的协议，但对手从他那里窃取了一些私人信息。这样的玩家应该被视为有故障吗？对于ABG协议，我们认为答案必须是否定的。在新模型中，我们表明，尽管使用了唯一的会话标识符，但如果$n < 2t$，则不存在任何ABG协议可以并行组合甚至两次。此外，对于$n \geq 2t$，我们设计了ABG协议，可以组合任意数量的并行执行。除了在新的视角下研究ABG的组合外，我们的工作还揭示了Canetti通用可组合框架的几个新见解。具体来说，我们表明如果偏离我们的信条，会有几个不良影响。这进一步证明了为什么我们的信条是研究ABG协议组合的正确框架。