[论文解读] Attacks on Symmetric Quantum Coin-Tossing Protocols

Boaz Leslau|ArXiv.org|Apr 15, 2001

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

一句话总结

本文展示了对对称非理想量子抛硬币协议 MSC(99) 的一种新颖攻击，表明欺诈者可使结果偏向 0，产生高达约 0.092 的不可忽略偏差，且该偏差与协议参数无关。该攻击利用了量子态可区分性中信息获取与保真度之间的权衡，揭示了尽管 MSC(99) 采用对称、缓慢的信息流设计以防止作弊，但其仍不安全。

ABSTRACT

We suggest an attack on a symmetric non-ideal quantum coin-tossing protocol suggested by Mayers Salvail and Chiba-Kohno. The analysis of the attack shows that the protocol is insecure.

研究动机与目标

• 调查对称非理想量子抛硬币协议 MSC(99) 的安全性，该协议声称通过缓慢、对称的信息累积实现无条件安全的抛硬币。
• 分析协议的对称信息流是否真能防止作弊，尤其是在存在可延迟测量的量子对手时。
• 证明即使通过渐进式信息披露设计以限制作弊的协议，仍可能受到策略性测量攻击的影响。
• 量化欺诈者通过利用量子态之间保真度与可区分性关系所能引发的内在偏差。

提出的方法

• 该攻击建模了一个欺诈者（Bob*），其在获得中等但足够的信息之前保持幺正和相干性，随后测量以将态坍缩至其期望的结果。
• 该攻击使用表示两种可能结果（0 和 1）的密度矩阵之间的保真度作为可区分性的度量，该度量源自跃迁概率和量子态重叠。
• 关键方程包括状态判别中的误差概率（PE）和密度矩阵之间的保真度（F），其中 F(ρ₀,ρ₁) = √P(ρ₀,ρ₁) 且 F(ρ₀,ρ₁) = tr√(√ρ₀ρ₁√ρ₀)。
• 分析使用二项分布的统计重叠来近似保真度 F^l(ρ₀,ρ₁) ≈ Erf(α/√2)，其中 α 取决于偏离等概率的程度。
• 通过计算 P(X=0) 来量化攻击的成功程度，结合保真度与误差概率，得出一个与协议参数无关的偏差下界。
• 通过最大化偏差推导出最优攻击时机，表明当参与者的知识 K ≈ 0.511 时偏差达到峰值，最大偏差约为 ~0.09195。

实验结果

研究问题

• RQ1 像 MSC(99) 这样的对称量子抛硬币协议，是否能在欺诈者延迟测量直至获得部分信息的情况下保持安全？
• RQ2 欺诈者通过策略性地选择测量时机，可在非理想量子抛硬币协议中引发的最大偏差是多少？
• RQ3 信息获取与态可区分性（保真度）之间的权衡如何影响对称量子协议的安全性？
• RQ4 MSC(99) 中缓慢、对称的信息累积是否真能防止作弊，还是可能被相干攻击者利用？

主要发现

• 该攻击可实现高达约 0.09195 的不可忽略偏差，且该偏差与协议参数（c, s, n, m）无关，只要 m 足够大。
• 当欺诈者的知识 K ≈ 0.510964 时，偏差达到最大值，表明即使信息优势极小，也能导致显著偏差。
• 该偏差源于保真度与可区分性之间的量子信息权衡，是量子态表示两种结果的密度矩阵之间保真度的内在结果。
• 该攻击对协议设计细节不敏感，仅依赖于态可区分性与保真度的一般结构，因此可广泛适用于类似协议。
• 该攻击无需偏离协议的量子规则；欺诈者在整个过程中保持相干性，直至测量，使得检测成为不可能。
• 结果表明，尽管 MSC(99) 具有对称性和渐进式信息披露，但其仍不安全，因为基于保真度的可区分性使得策略性测量能够偏置结果。