[论文解读] A simple unconditionally secure quantum bit commitment protocol via quantum teleportation

Horace P. Yuen|ArXiv.org|May 23, 2003

Quantum Information and Cryptography被引用 3

一句话总结

本文提出了一种新颖的量子比特承诺协议（QBC5），通过量子隐形传态与经典信息交换实现无条件安全。通过承诺贝尔测量结果并在打开时揭示量子态，该协议通过隐形传态对测量结果的控制，打破了纠缠欺骗机制，从而规避了标准的不可能性证明。

ABSTRACT

By using local quantum teleportation of a fixed state to one qubit of an entangled pair sent from the other party, it is shown how one party can commit a bit with only classical information as evidence that results in an unconditionally secure protocol. The well-known ``impossibility proof'' does not cover such protocols due to its different commitment and opening prescriptions, which necessitate actual quantum measurements among different possible systems that cannot be entangled as a consequence.

研究动机与目标

• 解决长期以来认为由于纠缠欺骗，无条件安全的量子比特承诺不可能实现的信念。
• 识别并修正量子比特承诺（QBC）标准“不可能性证明”中的漏洞。
• 设计一种在完整量子力学框架下保持安全的协议，无需依赖相对论等外部约束。
• 证明通过隐形传态实现的经典信息承诺可达成无条件安全的比特承诺。
• 为一类与标准不可能性结果所覆盖协议根本不同的新协议（第五类QBC）提供安全证明。

提出的方法

• 协议采用双向量子与经典通信，Babe准备纠缠量子比特对并应用私有幺正操作。
• Adam对来自其辅助量子比特的已知态（|0⟩或|1⟩）执行量子隐形传态，将其传送到纠缠对的一个量子比特上。
• 他承诺对剩余量子比特与第三个系统进行贝尔基测量的结果，仅通过经典信息作为证据发送。
• 在打开阶段，Adam发送回被隐形传态的态以及剩余的纠缠对，通过投影测量进行验证。
• 该协议的安全性依赖于隐形传态可防止Adam对打开策略进行纠缠，从而破坏纠缠欺骗路径。
• 采用博弈论框架建模欺骗检测，通过概率性检查与重复操作使欺骗概率趋近于零。

实验结果

研究问题

• RQ1 尽管存在标准的不可能性证明，是否仍可实现无条件安全的量子比特承诺？
• RQ2 该协议与以往QBC方案在结构上存在何种根本差异，从而可防止纠缠欺骗？
• RQ3 量子隐形传态的使用如何改变比特承诺协议的安全特性？
• RQ4 通过在打开时结合经典信息承诺与量子态交换，能否同时确保隐蔽性与绑定性？
• RQ5 测量结果的承诺在规避不可能性证明假设方面起到何种作用？

主要发现

• 协议QBC5是ε-隐蔽的，可通过顺序重复扩展为ε-绑定协议。
• 该不可能性证明不适用于此协议，因其采用倒置的承诺结构：先承诺测量结果，量子态在打开时才揭示。
• Adam的欺骗行为被严格限制，其最优欺骗概率P̄cA严格小于1，这是由于隐形传态与测量控制的约束。
• 在博弈论模型下，通过重复检查可使欺骗概率P_C随试验次数增加而趋近于零。
• 即使无惩罚机制，通过增加试验次数并调整接受概率，仍可使欺骗概率任意小。
• 由于隐形传态与测量过程的结构设计，即使欺骗方试图纠缠态，协议的安全性仍可维持。