[论文解读] Cryptography In the Bounded Quantum-Storage Model

Damgaard, Ivan, Fehr, Serge+2 more|ArXiv.org|Aug 30, 2005

Quantum Computing Algorithms and Architecture被引用 10

一句话总结

本文提出了一种新颖的密码学框架，适用于有界量子存储模型，在该模型中，仅使用经典通信且诚实方无需量子存储，即可实现无条件安全的无条件 oblivious transfer（OT）和比特承诺（BC）。其关键贡献在于，攻击者必须存储至少 n/2 个量子比特才能破坏协议——相比经典有界存储模型，提供了显著更大的安全间隙，并支持可利用现有技术实现的高效、非交互式协议。

ABSTRACT

We initiate the study of two-party cryptographic primitives with unconditional security, assuming that the adversary's quantum memory is of bounded size. We show that oblivious transfer and bit commitment can be implemented in this model using protocols where honest parties need no quantum memory, whereas an adversarial player needs quantum memory of size at least n/2 in order to break the protocol, where n is the number of qubits transmitted. This is in sharp contrast to the classical bounded-memory model, where we can only tolerate adversaries with memory of size quadratic in honest players' memory size. Our protocols are efficient, non-interactive and can be implemented using today's technology. On the technical side, a new entropic uncertainty relation involving min-entropy is established.

研究动机与目标

• 为解决标准模型中无条件安全两方密码学的根本不可能性问题，提出一种基于物理动机的安全假设。
• 通过利用量子信息原理，特别是对量子存储能力的限制，缩小诚实方与攻击者存储容量之间的差距。
• 设计高效、非交互式的 oblivious transfer 和比特承诺协议，即使在攻击者拥有无限经典计算能力和存储空间的情况下也保持安全。
• 提出一种涉及 min-熵的新熵不确定性关系，以形式化证明在有界量子存储假设下的安全性。
• 将模型扩展至噪声存储场景，表明在某些噪声过程（如擦除通道或去极化通道）下，安全性依然成立，即使攻击者拥有大但不完美的存储能力。

提出的方法

• 提出一种新安全模型——有界量子存储模型，其中攻击者的量子存储能力被限制为最多 γn 个量子比特，且 γ < 1/2 以确保安全。
• 设计一种基于 BB84 风格的量子态制备与共轭基测量的非交互式字符串 oblivious transfer（ROT）协议，依赖于量子不确定性以防止信息获取。
• 使用两-通用哈希函数对测量结果进行压缩，确保攻击者除非存储大量量子比特，否则无法高概率预测最终密钥。
• 基于 min-熵提出一种新的熵不确定性关系，证明若攻击者测量的基不同于诚实方所用基，则其对信息的掌握受到限制。
• 利用隐私放大定理证明安全性，表明即使攻击者持有秩最多为 2^γn 的混合态，当 γ < 1/2 时，其对最终密钥的了解仍可忽略不计。
• 通过证明若攻击者存储的量子态受擦除或去极化噪声影响，则其态的有效秩降低，从而在相同阈值下仍保持安全性，将分析扩展至噪声存储模型。

实验结果

研究问题

• RQ1 是否可以在诚实方无需量子存储但攻击者量子存储能力受限的模型中，实现无条件安全的 oblivious transfer 和比特承诺？
• RQ2 与经典有界存储模型相比，是否能显著提升诚实方与攻击者存储容量之间的安全间隙（经典模型中攻击者存储能力仅受限于与诚实方存储的平方关系）？
• RQ3 是否能利用量子不确定性与熵不确定性关系，构建即使在攻击者拥有无限经典存储与计算能力下仍保持安全的协议？
• RQ4 在攻击者存储中存在真实噪声过程（如擦除或去极化通道）的情况下，协议的安全性在多大程度上仍能保持，即使存储容量较大？
• RQ5 协议是否可扩展以支持字符串承诺或 1-m OT，且通信效率优于通用归约方法？

主要发现

• 所提出的协议仅使用经典通信且诚实方无需量子存储，即可实现无条件安全的 oblivious transfer 和比特承诺。
• 攻击者必须至少存储 n/2 个量子比特才能破坏协议，其中 n 为传输的量子比特数量，相比经典有界存储模型提供了显著更大的安全间隙。
• 安全性依赖于一种涉及 min-熵的新熵不确定性关系，该关系限制了攻击者在测量不同于诚实方所用基的基时对最终密钥的掌握程度。
• 在噪声存储模型下，协议依然安全：若攻击者存储的量子态经历擦除通道（擦除概率 > 1−γ），或去极化通道（错误概率 p = 1−γ），只要 γ < 1/2，安全性即成立。
• 比特承诺协议为非交互式，仅需接收消息即可完成承诺，这一特性在标准模型中不可能实现。
• 通过逐位承诺可将结果扩展至字符串承诺，但通信复杂度随之增加；更高效的构造仍是开放问题。