Efficient Multi-basis Quantum Position Verification Secure against Generalized Adversaries

技术摘要：面向广义攻击者的更高效多基组量子位置验证

问题陈述
量子位置验证（QPV）旨在通过量子通信和物理假设，认证证明者位于特定的物理位置。虽然经典的定位验证需要较强的假设（如受限的经典内存或预共享密钥），但 QPV 依赖于更弱的物理假设，例如量子信息无法被克隆。然而，现有的 QPV 协议面临显著的实际挑战：

1. 丢包敏感性： 基于 BB84 态的协议通常最多只能容忍 50% 的信道损耗。
2. 实验复杂度： 要求制备基组与测量基组匹配的协议，往往需要复杂的态制备过程，或需要在验证者之间进行基组选择的安全通信。
3. 安全漏洞： 现有的安全性分析通常依赖于隐含的假设，例如攻击者仅使用纯态、缺乏无界共享随机性，或传输率与输入无关。

方法论
作者提出了一个涵盖协议设计、安全性分析改进以及攻击者模型泛化的综合框架。

1. 协议设计（多基组 QPV）：
   本文引入了一种协议（协议 1），其中验证者制备六种状态之一（$|0\rangle, |1\rangle, |+\rangle, |-\rangle, |+i\rangle, |-i\rangle\rangle$），但证明者在布洛赫球上的多个基组（$m$ 个基组）上进行测量。至关重要的是，制备基组与测量基组无需匹配。为了评估非匹配基组下的性能，作者利用了针对六态制备广义化的非对称贝尔期望（ABE）分数（$C$）。监测的指标是归一化分数 $\hat{C} = C/\eta$ 以及传输率 $\eta$。这种解耦允许第三方态制备，并消除了验证者需要安全通信基组选择的需求。

2. 安全性分析改进：
   为了证明针对纠缠攻击者的安全性，作者改编并改进了先前工作（特别是文献 [3]）中的技术。关键的方法论改进包括：

• 迹距离收紧（Trace Distance Tightening）： 作者不再使用 Fano 不等式或将其归约为更简单的游戏，而是利用 Navascués-Pironio-Acín (NPA) 层级和线性近似，将态集合之间的迹距离下界构建为一个半正定规划（SDP）问题。
• 经典舍入（Classical Rounding）： 引入了一种修改后的经典舍入论证，其中输出集合的大小固定为 $m-1$（而非 $m$），从而使分析更加紧凑。
• 基于分数的分析： 分析从误差率监测转向基于分数的监测，以适应不匹配的基组。

3. 广义攻击者模型：
   作者识别并移除了先前安全性证明中的三个隐含假设：

• 混合态： 攻击者可能预共享混合量子态（有限维度），而非仅仅是纯态。
• 无界共享随机性： 攻击者可能共享无界的经典随机性。
• 输入相关传输： 传输率 $\eta$ 可能取决于输入 $(x, y)$ 和共享随机性 $r$。
  为了处理这些情况，作者采用了部分纯化（将混合态和一般 CPTP 映射转换为纯态及带有辅助系统的幺正算符）以及划分策略，根据高/低误差和高/低传输对攻击轮次进行分类。

核心贡献

1. 协议层面的新颖性： 引入了一种使用六种制备态和多个测量基组的多基组 QPV 协议。这降低了实验复杂度（减少了制备态的数量），增强了灵活性（解耦了制备与测量），并在不损害安全性性能的前提下，消除了验证者之间需要安全通信基组通道的需求。
2. 证明层面的新颖性： 开发了一种经过改进的安全性分析，其特点是通过 SDP 实现更紧凑的迹距离界限，以及改进的经典舍入论证。这些改进在受限攻击者模型下提高了协议的误差容忍度和丢包容忍度。
3. 模型层面的新颖性： 将攻击者模型泛化到包含混合态、无界随机性和输入相关传输。这揭示了先前分析的局限性，并明确了严格安全性保证的范围。
4. 应用： 展示了 QPV 作为量子密钥分发（QKD）身份验证机制的应用，特别是在标准 Wegman-Carter 认证失效或需要基于位置的凭据时，用于引导密钥交换。

结果

• 非纠缠攻击者： 使用新的 SDP 公式（公式 6）进行的数值模拟表明，这种简单的多基组 QPV 与原始多基组 QPV（文献 [3]）的表现一致，但与文献 [3] 中的分析相比，具有更高的误差容忍度。ABE 分数已被验证为误差率的鲁棒替代方案。
• 纠缠攻击者（受限）： 对于 $q$-量子比特受限策略（纯态、幺正操作），紧凑的分析（图 5 中的实线）显示，在固定量子存储大小（$q_0$）的情况下，其误差容忍度高于之前的方法（虚线）。渐近极限表明，针对纠缠攻击者的误差率至多是针对非纠缠攻击者的一半。
• 纠缠攻击者（广义）： 当泛化到混合态、无界随机性和输入相关传输时，安全性要求变得显著苛刻。分析（图 6）显示出性能的严重下降：对于 2 个基组，丢包容忍度降至 $\eta > 75\%$；对于 3 个基组，降至 $\eta > 90.6\%$。这表明，虽然该框架提供了严谨的安全性，但当前的广义模型施加了严格的实验约束。
• 可行性： 本文估计，针对受限纠缠攻击者，安全实现可以在约 6.8 km 内完成（假设 $q_0=5.5$），这比之前分析中的 2.8 km 限制有所提升。然而，针对广义攻击者，目前的设置低于所需的传输阈值。

意义与主张
本文声称通过多基组协议降低了实验复杂度，并通过提供更严谨（尽管也更受限）的安全性框架，推进了 QPV 的实用性。

• 实用性： 所提出的协议简化了验证者的硬件和通信需求，使 QPV 更容易适配现实世界的网络。
• 严谨性： 通过泛化攻击者模型，作者提供了一种考虑了诸如输入相关损耗和共享随机性等现实缺陷的“最坏情况”安全性保证。
• 权衡： 本文明确承认存在一种张力：针对广义攻击者的改进安全性分析显著降低了丢包容忍度，相比于受限模型。作者指出，这凸显了需要进一步改进安全性分析技术以弥合这一差距。
• 应用： 该工作将 QPV 定位为不仅是一个位置验证器，而且是一个可行的（尽管很复杂的）基于位置的密码学和 QKD 身份验证组件，为缺乏预共享密钥或预共享密钥已遭破坏的情景提供了解决方案。

作者总结道，虽然他们的改进在受限模型下放宽了实验要求，但在广义模型下观察到的性能退化强调了，在没有进一步理论突破的情况下，要在最强大的攻击者面前实现实用的 QPV 是极其困难的。