[论文解读] How to Build Unconditionally Secure Quantum Bit Commitment Protocols

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

Quantum Information and Cryptography被引用 8

一句话总结

本文通过识别标准EPR攻击未涵盖的被忽视的协议类型，挑战了量子比特承诺（QBC）不可实现性的广泛接受证明。它提出了四种新的QBC协议——QBC1、QBC2、QBC4和QBC5——采用双向量子通信与经典随机性，通过新颖的安全论证绕开标准不可实现性框架，证明其对双方作弊行为均具有无条件安全性。

ABSTRACT

The ``impossibility proof'' on unconditionally secure quantum bit commitment is critically analyzed. Many possibilities for obtaining a secure bit commitment protocol are indicated, purely on the basis of two-way quantum communications, which are not covered by the impossibility proof formulation. They are classified under six new types of protocols, with security proofs for specific examples on four types. Reasons for some previously failed attempts at obtaining secure protocols are also indicated.

研究动机与目标

• 识别并修正无条件安全量子比特承诺（QBC）标准不可实现性证明中的关键漏洞。
• 证明某些先前被认为不安全的QBC协议，若避开标准不可实现性框架的假设，可实现无条件安全。
• 对六种新型QBC协议进行分类与分析，其中四种（包括QBC1、QBC2、QBC4和QBC5）提供安全证明。
• 解决早期关于先前提出的QBC协议（尤其是QBC2和QBC2.1p）安全性声明中的不一致之处。
• 表明若能实现无条件安全的QBC，则量子掷币及其他密码学任务亦可安全实现。

提出的方法

• 分析标准不可实现性证明（IP），识别其依赖于特定假设（如固定密度算符和测量后纠缠），而这些假设未涵盖所有可能的QBC协议。
• 将QBC协议分类为六类，其中第1至5类基于不同协议设计技术，包括使用经典随机性与延迟测量。
• 通过确保亚当无法通过推迟测量来作弊，且芭芭不会通过纠缠获取信息，提出QBC1、QBC2、QBC4和QBC5为安全协议。
• 采用修改后的安全框架，通过阻止形成单一纠缠态$| ilde{ ho}_{f b} angle$来避免EPR攻击，该态在IP下允许作弊。
• 应用算子理论论证，表明当芭芭首先发送多个贝尔对时，QBC5p和QBC5等协议为$$-隐蔽，从而防止纠缠作弊。
• 修正关于QBC2和QBC2.1p的早期声明，表明其因纠缠作弊而不安全，除非通过适当的随机化与测量控制进行修改。

实验结果

研究问题

• RQ1 为何标准QBC不可实现性证明无法涵盖某些双向量子通信协议？
• RQ2 能否通过经典随机性与延迟测量策略（原始IP未考虑）实现无条件安全的QBC？
• RQ3 标准QBC协议与新型协议类型（如第3类、第5类）在结构上存在何种差异，使其能规避不可实现性证明？
• RQ4 为何先前声称安全的协议（如QBC2和QBC2.1p）实际上不安全，以及如何修正？
• RQ5 能否构建出在当前量子技术下实用的、如使用相干态的可信QBC协议？

主要发现

• 标准QBC不可实现性证明不完整，因其未涵盖所有可能的协议设计，特别是涉及经典随机性与双向通信的协议。
• 四种新型QBC协议——QBC1、QBC2、QBC4和QBC5——被证明具有无条件安全性，其中QBC2可使用相干态与近场量子硬件实现。
• 第3类协议（基于纠缠策略）若能延迟芭芭的测量并控制其纠缠，则可实现安全，从而避免EPR攻击。
• 当芭芭首先发送多个纠缠贝尔对时，QBC5p被证明为$\epsilon$-隐蔽，防止其获知比特值。
• 先前关于QBC2和QBC2.1p安全性的声明被撤回；这些协议因纠缠作弊而不安全，除非通过适当随机化加以修正。
• 本文通过证明无条件安全QBC可推出安全掷币，解决了量子掷币问题，尽管后者在标准IP下曾被认为不可能。