[论文解读] How to implement two-party protocols in the noisy-storage model

Stephanie Wehner, Marcos Curty+2 more|arXiv (Cornell University)|Nov 12, 2009

Quantum Information and Cryptography参考文献 3被引用 3

一句话总结

本文为在噪声存储模型下实现安全两方协议提供了实用指南，考虑了传输错误和探测器效率低下等现实世界缺陷。它为弱相干光源和参量下转换光源提供了明确的安全参数，并分析了诱骗态技术对提升实验环境下协议鲁棒性的效果。

ABSTRACT

The noisy-storage model allows the implementation of secure two-party protocols under the sole assumption that no large-scale reliable quantum storage is available to the cheating party. No quantum storage is thereby required for the honest parties. Examples of such protocols include bit commitment, oblivious transfer and secure identification. Here, we provide a guideline for the practical implementation of such protocols. In particular, we analyze security in a practical setting where the honest parties themselves are unable to perform perfect operations and need to deal with practical problems such as errors during transmission and detector inefficiencies. We provide explicit security parameters for two different experimental setups using weak coherent, and parametric down conversion sources. In addition, we analyze a modification of the protocols based on decoy states.

研究动机与目标

• 弥合噪声存储模型中理论两方协议与其实用实现之间的差距，应对真实实验条件下的约束。
• 解决传输错误、探测器效率低下以及诚实方操作不完美等实际挑战。
• 为两种不同的实验设置（弱相干光源和参量下转换光源）提供明确的安全参数。
• 分析诱骗态技术对提升噪声环境中协议安全性和鲁棒性的影响。

提出的方法

• 本文在噪声存储模型背景下，对通道损耗、探测器效率低下和制备误差等实际缺陷进行建模。
• 基于弱相干光源和参量下转换光源中观测到的噪声水平和误码率，推导出安全参数。
• 协议设计结合了针对噪声存储环境量身定制的纠错与隐私放大技术。
• 提出一种采用诱骗态的改进协议，以在实际实现中检测并缓解光子数分裂攻击。
• 在欺骗方无法可靠存储量子态的假设下分析安全性，同时假设诚实方在现实约束下运行。
• 为两种光源类型计算了明确的安全参数边界，从而实现对协议鲁棒性的定量评估。

实验结果

研究问题

• RQ1 当诚实方面临不完美态制备和检测等实际限制时，如何安全地实现两方协议？
• RQ2 在真实噪声和误码条件下，使用弱相干光源和参量下转换光源的两方协议可实现的安全参数是什么？
• RQ3 在噪声存储模型中，引入诱骗态如何提升协议的安全性和鲁棒性？
• RQ4 探测器效率低下和传输错误等实际缺陷在多大程度上影响基于噪声存储的协议的安全保证？

主要发现

• 本文推导出使用弱相干光源和参量下转换光源的两方协议的明确安全参数，使其实验环境下的定量评估成为可能。
• 只要噪声水平在可控范围内，即使在探测器效率低下和传输错误等现实条件下，安全性仍能维持。
• 通过诱骗态的使用显著提升了安全性，使其能够在实际实现中检测光子数分裂攻击。
• 只要欺骗方无法可靠存储量子态，协议即保持安全，即使诚实方面临不完美操作。
• 分析表明，在当前实验约束下，实际实现可达到有意义的安全水平，验证了噪声存储模型在真实系统中的可行性。