[论文解读] Quantum Computers Render Quantum Key Distribution Unconditionally Secure Over Arbitrarily Long Distance

Hoi‐Kwong Lo, H. F. Chau|arXiv (Cornell University)|Mar 3, 1998

Quantum Computing Algorithms and Architecture被引用 7

一句话总结

本文证明了在使用量子计算机的情况下，可以通过将量子方案简化为经典方案并利用容错量子计算，使量子密钥分发（QKD）在任意长距离上实现无条件安全，从而在现实的噪声信道中确保安全性。

ABSTRACT

Quantum cryptography has long been claimed to be useful for achieving many tasks that are impossible from the perspective of conventional cryptography. Arguably, the most important problem in quantum cryptography has been a rigorous proof of the security of quantum key distribution, the most well-known application. This notoriously hard problem has eluded researchers for years and has become even more important after the recent surprising demonstration of the insecurity of many other quantum cryptographic schemes including quantum bit commitment. Here, we solve this long standing problem by showing that, given quantum computers, quantum key distribution over an arbitrarily long distance of a realistic noisy channel can be made unconditionally secure. The novel technique we use is reduction from a quantum scheme to a classical scheme. The security in realistic noisy environments is then proven by using the recent theory of fault-tolerant quantum computation.

研究动机与目标

• 解决长期存在的在长距离上证明量子密钥分发（QKD）无条件安全性的挑战。
• 应对其他量子密码协议（如量子比特承诺）日益增长的安全性担忧。
• 利用量子计算资源，在现实的噪声环境中建立QKD的严格安全证明。
• 证明即使在信道存在噪声的情况下，容错量子计算也能实现安全的QKD。

提出的方法

• 作者采用简化技术，将一个量子密钥分发协议转化为等价的经典方案，以简化安全分析。
• 他们利用容错量子计算理论，确保即使在通信信道存在噪声的情况下，量子操作仍能保持可靠。
• 安全证明通过表明对量子方案的任何攻击都可被等效地模拟为对经典方案的攻击来构建。
• 该方法依赖于量子计算机可用的假设，从而能够实现容错量子误差校正。
• 从量子方案到经典方案的简化，使得既有的经典安全框架可应用于量子协议。
• 该方法确保即使在信道存在噪声且距离任意长的情况下，安全性依然得以维持。

实验结果

研究问题

• RQ1 当量子计算机可用时，能否在任意长距离上证明量子密钥分发的无条件安全性？
• RQ2 容错量子计算如何用于在噪声环境中保护QKD？
• RQ3 在不损害无条件安全性的前提下，能否将量子协议的安全性简化为经典协议的安全性？
• RQ4 量子计算机在实现长距离安全密钥分发中扮演什么角色？
• RQ5 通过这种新方法，能否避免其他量子密码方案的不安全性在QKD中出现？

主要发现

• 当量子计算机可用时，量子密钥分发可在任意长距离上实现无条件安全。
• 得益于容错量子计算，即使在存在真实信道噪声的情况下，安全证明依然成立。
• 从量子方案到经典方案的简化，为证明无条件安全性提供了严格的理论基础。
• 该方法确立了量子计算机在实现长距离无条件安全QKD中的关键作用。
• 该成果通过提供完整且严格的证明，解决了量子密码学中长期存在的开放问题。
• 该方法表明，容错量子计算能够实现长距离上实际且可证明安全的密钥分发。