量子比特承诺：协议的完整分类

本文探讨了 Mayers、Lo 和 Chau 一方与 Yuen 另一方之间关于是否存在无条件安全协议的争议。为此，给出了所有可能比特承诺协议的完整分类，包括所有可能的欺骗攻击。对于最简单的一类协议(非中止且具有完全且完美的验证)，展示了博弈论情境如何自然产生。对于这类协议，推导了欺骗概率的界，其结果不同于不可能性证明中给出的界。整个分类与分析采用“有限开放系统”方法完成。与不可能性证明的差异基于其隐式采用的“封闭系统方法”得以解释——该方法等价于将承诺建模为两台固定机器在整体“封闭系统”中酉相互作用。然而，研究表明用于承诺协议分类的封闭系统方法不可避免地导致无限维，从而使不可能性证明所依赖的连续性论证失效。