[论文解读] Device-independent quantum key distribution secure against adversaries with no long-term quantum memory

Stefano Pironio, Lluís Masanes+2 more|arXiv (Cornell University)|Nov 6, 2012

Quantum Information and Cryptography参考文献 45被引用 20

一句话总结

本文提出了一种设备无关的量子密钥分发（DIQKD）协议，该协议在对手不具备长期量子存储能力的前提下，利用任意贝尔不等式实现安全通信，同时保持高噪声容忍度和高效性。其核心贡献在于提供了一项安全证明，使得在当前量子存储能力限制的现实假设下，能够实现实用的、完全设备无关的QKD。

ABSTRACT

Device-Independent Quantum Key Distribution (DIQKD) is a formalism that supersedes traditional quantum key distribution, as its security does not rely on any detailed modelling of the internal working of the devices. This strong form of security is possible only using devices producing correlations that violate a Bell inequality. Full security proofs of DIQKD have been recently reported, but they tolerate zero or small amounts of noise and are restricted to protocols based on specific Bell inequalities. Here, we provide a security proof of DIQKD that is both more efficient and noise resistant, and also more general as it applies to protocols based on arbitrary Bell inequalities and can be adapted to cover supra-quantum eavesdroppers limited by the no-signalling principle only. It requires, however, the extra assumption that the adversary does not have a long-term quantum memory, a condition that is not a limitation at present since the best existing quantum memories have very short coherence times.

研究动机与目标

• 开发一种设备无关的量子密钥分发协议，不依赖可信设备或对硬件的详细建模。
• 解决先前DIQKD安全证明的局限性，即要求设备无记忆或仅能容忍可忽略的噪声。
• 将安全性扩展至任意贝尔不等式和非信号窃听者，同时保持高效率和抗噪声能力。
• 通过仅要求对手缺乏长期量子存储能力，使安全假设更加现实，符合当前技术水平。
• 提供一个框架，使在最小假设下实现实用的、完全设备无关的QKD并具备强安全保证成为可能。

提出的方法

• 协议每方使用两个设备（爱丽丝和鲍勃），消除了对无记忆或独立设备的假设。
• 依赖于任意贝尔不等式的违背来认证非定域关联和内在随机性。
• 关键步骤是使用两重通用随机函数执行隐私放大，确保最终密钥几乎均匀且安全。
• 安全证明采用混合方法，结合高概率事件（G）和小误差项，以界定实际密钥分布与理想密钥分布之间的迹距离。
• 证明利用引理4，通过对手信息的猜测概率界定统计距离，得出迹距离上界为 $ 2^{(1-n^{1/2})/2} + 6\text{exp}(-m n^{-3/4} eta_0^{-2}) + 2( ho_A ho_B)^{-|{\rm E}|} $。
• 该框架被扩展至仅受无信号原理限制的超量子窃听者，展示了更广泛的应用潜力。

实验结果

研究问题

• RQ1 是否可以仅使用每方两个设备的DIQKD协议实现安全通信，且无需假设设备无记忆或独立？
• RQ2 安全证明能否推广至任意贝尔不等式，而不仅限于CHSH或链式不等式等特定形式？
• RQ3 该协议是否能保持与使用多个设备的协议相当的高噪声容忍度和效率？
• RQ4 证明能否扩展至非信号窃听者，即使他们能够存储量子信息？
• RQ5 对手缺乏长期量子存储能力的假设是否在现实中成立且足以保证安全？

主要发现

• 协议实现了实际密钥分布与理想密钥分布之间迹距离的有界性，上界为 $ 2^{(1-n^{1/2})/2} + 6\text{exp}(-m n^{-3/4} eta_0^{-2}) + 2( ho_A ho_B)^{-|{\rm E}|} $，确保了长密钥长度下的高安全性。
• 安全证明具有抗噪声能力且高效，密钥长度与测量次数呈线性关系，性能与使用多个设备的协议相当。
• 该框架适用于任意贝尔不等式，相较于以往仅限于特定不等式的证明更具普遍性。
• 证明对非信号窃听者依然有效，展示了超越量子理论的鲁棒性。
• 考虑到当前量子存储的相干时间，对手缺乏长期量子存储能力的假设是现实且充分的，使协议具备实际可行性。
• 在给定假设下，隐私放大被证明是有效的，表明向具备实用抗噪声能力的完全设备无关QKD迈出了关键一步。