[论文解读] Perfect random number generator is unnecessary for secure quantum key distribution

Xiang‐Bin Wang|ArXiv.org|May 31, 2004

Chaos-based Image/Signal Encryption参考文献 1被引用 4

一句话总结

本文证明，即使使用非理想随机数生成器（IRNGs），只要其熵足够高，量子密钥分发（QKD）仍能保持无条件安全。通过证明在IRNGs下安全界限仅比完美随机数生成器（PRNGs）略有下降，本研究表明，实现安全QKD并不需要完美随机性，显著降低了实际实现成本，并消除了对不可达的理想随机性的依赖。

ABSTRACT

Game G: Clare passes a string s which is either from perfect random number generator R0 or from good imperfect number generator R1, with equal probability. Alice's information about whether it is from R0 or R1 is bounded by small value h. Alice use s as the input random numbers for QKD protocol with Bob. Suppose Eve may have very small information about the final key if s is from R0 and Eve has large information if s is from R1, then after the protocol, Alice announce the final key, Eve's information about whether s is from R0 or R1 is unreasonablly large, i.e., breaks the known bound, h. Explicit formulas are given in the article.

研究动机与目标

• 解决QKD安全证明中关于使用不可避免的非理想随机数生成器（IRNGs）的关键空白。
• 确定具有有界熵损失（例如 ω−ε）的IRNGs是否仍能支持QKD协议的无条件安全。
• 提供一个严格且可操作的准则，用于确定维持安全所必需的IRNG最低质量，避免依赖关于随机性质量的未经证实假设。
• 将原本基于完美随机数生成器（PRNGs）的现有安全证明，扩展至Alice和/或Bob使用IRNGs的实际情形。

提出的方法

• 本文将IRNG建模为输出熵 H(s) = θ，其中 θ < ω（ω位生成器），并定义 Rω,θ 为此类生成器的集合。
• 假设Eve已知IRNG的确切统计模式，即使Alice和Bob未知，以建模最坏情况下的攻击场景。
• 安全分析使用Holevo界来量化Eve对最终密钥的可访问信息 I_E(X:Y_j)，并基于Eve的概率分布之间的差异 δ_j 推导出界限。
• 推导出在使用IRNG时最终密钥熵 H(Q) 的下界，表明熵损失与 √h 成正比，其中 h 是PRNG情况下Eve信息的上界。
• 分析扩展至Alice和Bob均使用IRNG的情形，推导出涉及 ε_A 和 ε_B 的联合安全界限，分别为他们各自生成器的熵损失。
• 证明使用渐近展开和数量级估计（O(⋅)）来界定IRNG下安全性的退化，表明当 ε 较小时，退化仍可忽略。

实验结果

研究问题

• RQ1 当使用非理想随机数生成器而非完美生成器时，量子密钥分发是否仍能保持无条件安全？
• RQ2 在保持QKD协议安全性的同时，随机数生成器的允许最大不完美程度（以熵损失衡量）是多少？
• RQ3 当Eve知道IRNG的统计模式时，她对最终密钥的可访问信息是否显著多于假设完美随机性的情形？
• RQ4 当双方使用不同不完美程度的IRNGs时，安全退化如何变化？

主要发现

• 只要同一协议在使用完美随机数生成器时安全，QKD即使在使用熵为 H(s) = ω − ε 的IRNGs时仍保持无条件安全。
• 在使用IRNG时，Eve对最终密钥的信息上界为 η ≤ ε₀ + (4k+1)[1+O(√h)]√h − O(h)，其中 h ≤ ε_A/2，k 为密钥长度。
• 当Alice和Bob均使用IRNGs Rω_a,ε_A 和 Rω_b,ε_B 时，安全退化被限制为 η ≤ ε₀ + (4k+1)√(ε_A/2) + (4k+1)√(ε_B/2) + O(ε_A^{3/2}) + O(ε_A)。
• 当 ε_A 和 ε_B 较小时，安全退化可忽略，表明随机性中的指数级小不完美不会危及安全性。
• 只要IRNG的熵足够高（例如 ω−ε，其中 ε 很小），则无需完美随机数生成器即可实现安全QKD。
• 结果证明了在真实QKD系统中实用高质但非完美的随机数生成器的合理性，避免了对成本高昂的完美生成器的依赖。