[论文解读] Qubit-string-based bit commitment protocols with physical security

Li Yang, Chong Xiang+1 more|arXiv (Cornell University)|Nov 23, 2010

Quantum Computing Algorithms and Architecture参考文献 2被引用 14

一句话总结

本文提出了基于量子比特-弦的量子位承诺协议，实现了信息论安全的隐藏性，并在EPR型攻击下提升了物理安全性。通过引入纠错码（ECC）以应对信道损耗和错误，作者将理论上安全的协议转化为实用方案，证明了通过ECC增强的验证与解码机制，绑定安全性可在现实噪声条件下得以保持。

ABSTRACT

Several kinds of qubit-string-based(QS-based) bit commitment protocols are presented, and a definition of information-theoretic concealing is given. All the protocols presented here are proved to be secure under this definition. We suggest an attack algorithm to obtain the local unitary transformation introduced in no-go theorem, which is used to attack the binding condition, then study the security of our QS-based bit commitment protocols under this attack via introducing a new concept "physical security of protocol". At last we present a practical QS-based bit commitment scheme against channel loss and error.

研究动机与目标

• 定义并形式化量子位承诺协议的信息论隐藏性。
• 在新的物理安全概念下，设计并证明三种基于量子比特-弦（QS-based）的位承诺协议的安全性。
• 通过引入纠错码（ECC）应对不可克隆定理等无条件安全QBC的限制，构建对信道损耗与错误具有鲁棒性的协议。
• 分析ECC在抵抗欺骗Alice的超信道攻击中的有效性，特别是其在噪声条件下保持绑定安全性的能力。
• 确定ECC必须满足的条件，以确保欺骗行为可被高概率检测，从而在真实环境中维持协议完整性。

提出的方法

• 基于承诺位的密度算符在统计上不可区分，提出一种新的信息论隐藏性定义。
• 构建三种基于QS的协议，其中Alice使用编码了随机经典数据与基选择的量子比特串进行承诺。
• 对量子比特串中的经典数据应用纠错码（ECC），以在传输过程中检测并纠正信道引起的错误。
• 通过基依赖性检测（Z基或X基）的投影测量，验证打开时量子态的完整性。
• 实施解码过程 $ C' $，以验证测量数据是否与原始经典字符串匹配，错误概率受 $ p_{ce} $ 限制。
• 推导出条件 $ t' > (η - \xi) \times \frac{p_{ce}}{p_{cv}} - 1 $，以确保欺骗行为可被高概率检测，其中 $ t' $ 为ECC的纠错能力。

实验结果

研究问题

• RQ1 基于量子比特-弦的协议能否在新安全定义下实现信息论隐藏性？
• RQ2 尽管存在无条件安全QBC的无解定理，如何在信道损耗与噪声存在的情况下保持绑定性质？
• RQ3 纠错码（ECC）在多大程度上可增强基于QS的协议对EPR式攻击的物理安全性？
• RQ4 ECC必须满足何种条件，才能以高概率检测到通过改变量子比特值进行的欺骗？
• RQ5 能否构建一种实用的基于QS的位承诺协议，使其在真实信道缺陷（如损耗与错误）下仍保持安全？

主要发现

• 所提出的基于QS的协议在新定义下被证明具有信息论隐藏性，确保鲍勃在打开前无法确定所承诺的位。
• 在新的“协议物理安全性”概念下，绑定性质得以保持，该概念考虑了如基于EPR的酉变换等现实攻击。
• 通过应用纠错能力 $ t' $ 满足 $ t' > (η - \xi) \times \frac{p_{ce}}{p_{cv}} - 1 $ 的ECC，协议可高概率检测到欺骗行为。
• 在Alice通过改变量子比特值实施超信道攻击时，协议仍保持安全，前提是ECC能纠正比欺骗引入的预期错误数更多的错误。
• 代表0和1承诺所接收状态的密度算符 $ \varsigma_0 $ 与 $ \varsigma_1 $ 在统计上不可区分，其迹距离 $ D(\varsigma_0, \varsigma_1) < \frac{1}{p(n)} $，确保了隐藏性。
• 研究表明，使用弱相干脉冲光源不适用，因其无法同时满足单光子发射与高检测效率，因此实际实现需依赖真正的单光子源。