[论文解读] Position-Based Quantum Cryptography and the Garden-Hose Game

Florian Speelman|arXiv (Cornell University)|Oct 16, 2012

Quantum Computing Algorithms and Architecture参考文献 6被引用 4

一句话总结

本论文提出花园软管模型（garden-hose model），这是一种新颖的通信复杂性框架，用于刻画依赖于 teleportation 的位置基量子密码协议所面临的攻击。该研究建立了函数的花园软管复杂性与破坏单量子比特位置验证协议所需 EPR 纠缠对数之间的直接联系，证明了高花园软管复杂性意味着对基于 teleportation 的攻击具有强安全性。

ABSTRACT

We study position-based cryptography in the quantum setting. We examine a class of protocols that only require the communication of a single qubit and 2n bits of classical information. To this end, we define a new model of communication complexity, the garden-hose model, which enables us to prove upper bounds on the number of EPR pairs needed to attack such schemes. This model furthermore opens up a way to link the security of position-based quantum cryptography to traditional complexity theory.

研究动机与目标

• 开发一种新的通信复杂性模型——称为花园软管模型，以捕捉位置基量子密码中基于 teleportation 的攻击。
• 通过将协议对攻击的抵抗能力与底层函数的花园软管复杂性相关联，分析单量子比特位置验证协议的安全性。
• 通过展示花园软管复杂性为破坏此类协议所需的纠缠提供界，从而在位置基量子密码与经典复杂性理论之间建立桥梁。
• 研究基于 teleportation 的攻击的极限，并探讨量子攻击是否可能比花园软管复杂性所暗示的需要更少的纠缠。

提出的方法

• 将花园软管博弈定义为一个双人通信问题，其中 Alice 和 Bob 持有输入，并利用共享纠缠通过局部操作和经典通信来模拟一个经典函数。
• 将对位置验证协议的攻击建模为一个花园软管博弈，目标是仅通过 teleportation 和局部操作来模拟正确的输出。
• 利用 Alice 操作后量子态的内积来界定不同攻击策略之间的可区分性，从而得出对所需纠缠的下界。
• 证明：若一个函数的花园软管复杂性较高，则任何基于 teleportation 的攻击都需要大量 EPR 对，从而建立攻击成本的下界。
• 分析特定函数（如相等性、多数函数）以推导花园软管复杂性的上下界，揭示了某些情况下存在多项式级别的差距。
• 探讨花园软管模型的随机化变体，并考虑计算限制（如多项式时间计算）以加强安全性证明。

实验结果

研究问题

• RQ1 基本函数（如相等性和多数函数）的花园软管复杂性是多少？其上下界之间有何对比？
• RQ2 花园软管模型能否用于证明破坏位置验证协议所需 EPR 对数的有意义下界？
• RQ3 花园软管复杂性与实际量子攻击成本之间是否存在显著差距，特别是在纠缠需求方面？
• RQ4 在花园软管博弈中允许小的错误概率时，复杂性如何变化？这是否能导致更好的上下界？
• RQ5 协议的并行重复是否能提高检测不诚实证明者概率，从而增强对基于 teleportation 攻击的防御？

主要发现

• 函数的花园软管复杂性为基于 teleportation 的攻击破坏单量子比特位置验证协议所需 EPR 对数提供了下界。
• 对于单射函数，花园软管复杂性必须至少与输入大小呈线性关系，这通过可区分攻击态之间内积界限的矛盾得到证明。
• 对于多数函数等函数，已知上下界之间存在多项式差距，表明仍有更紧致分析的空间。
• 花园软管模型可扩展至随机化情形，其中共享随机性导致相等性函数的随机化与确定性花园软管复杂性之间存在巨大差距。
• 相同函数的花园软管下界与量子下界之间存在指数级差距，表明基于 teleportation 的攻击可能远弱于一般量子攻击。
• 协议的并行重复可能提高检测欺骗证明者概率，尽管该结论尚未被证明，仍是未来工作的关键开放问题。