技术摘要：如何追踪时空中的量子比特

1. 问题陈述

基于位置的密码学（Position-based cryptography, PBC）旨在利用参与者的物理位置作为其加密凭证。标准的基元——量子位置验证（Quantum Position Verification, QPV）涉及验证者向位于声称位置 $L$ 的证明者发送量子挑战，并验证响应是否在严格的时间限制内到达。

然而，现有的 QPV 安全定义存在概念上的缺陷。目前的定义仅能保证分布式对抗团队中至少有一个成员位于 $L$。这允许了“欺骗”场景，即一组并不在 $L$ 的对抗者通过在空间和时间上分布必要的量子信息来共同模拟证明者。因此，成功的 QPV 证明并不一定能证实一个单一且持续存在的实体位于该位置，也无法阻止一个分布式团队模拟一个移动的证明者。

这一局限性阻碍了**轨迹验证（trajectory verification）**的实现：即验证证明者是否沿着特定的时空路径 $L(\cdot)$ 行进的能力。在轨迹沿线的不同点运行独立的 QPV 协议，无法区分单个移动的证明者与一系列静止的证明者链，因为单个 QPV 协议的安全保证无法在时间上将量子态联系起来。

2. 方法论与核心概念

作者引入了量子定位（Quantum Localization），这是一种更强的安全概念，通过要求在特定时空点 $(L, t)$ 存在一个特定的、不可克隆的对象，从而将对抗者的行为“钉”在特定的时空点上。他们定义了三种类型的定位：

1. 纠缠定位（Entanglement Localization）： 在证明者的状态于 $(L, t)$ 时，提取出验证者持有的一半纠缠对的能力。
2. 状态定位（State Localization）： 在证明者的位置 $(L, t)$ 提取出一个特定的不可克隆量子态（例如，来自余集态族的一个态）的能力。
3. 功能性定位（Functionality Localization）： 在 $(L, t)$ 处获得计算秘密函数 $f_k$ 的能力，确保该能力无法在其他地方被计算。

量子锚点态（The Quantum Anchor State）

该构造依赖于一个称为量子锚点态的基元，这是一个二分态 $|\Psi\rangle_{\mathcal{A}\mathcal{V}}$，其中：

• $\mathcal{A}$（锚点）由验证者持有。
• $\mathcal{V}$（容器）被发送给证明者。
• 该状态由 EPR 对和“诱饵”量子比特组成，并通过随机的基变换酉矩阵 $U_{shift}$ 进行混淆。
• 其结构由子空间 $S \le T \le \mathbb{F}_2^{3n}$ 和位移 $u, v$ 定义。容器寄存器包含相对于这些子空间的余集态的叠加。

非坍缩与坍缩预言机（Non-Collapsing vs. Collapsing Oracles）

一个核心技术创新是使用非坍缩测试来验证纠缠而不破坏它。

• 坍缩测试： 对纠缠态进行标准测量（例如在标准基或 Hadamard 基下），这会导致波函数坍缩。
• 非坍缩测试： 证明者获得一个经典预言机（建模为理想混淆），该预言机检查子空间成员身份（例如 $T+v$ 或 $S^\perp + u$）并在查询有效时返回一个秘密值。证明者对该预言机执行相干查询。
• 不可区分性： 利用**压缩预言机（Compressed Oracle）**技术和子空间不可区分性引理，作者证明了通过非坍缩测试（该测试不会导致状态坍缩）的证明者，与通过相应坍缩测试的证明者是不可区分的。这使得验证者可以在协议运行后提取纠缠或状态，即使协议本身并未破坏该状态。

量子纠缠单配性博弈（Monogamy-of-Entanglement Games）

为了证明安全性，作者定义了多阶段纠缠单配性博弈。这些博弈模拟了一个对抗者（分为左、中、右三个部分）试图在不同的时空点回答挑战。

• 安全证明依赖于以下逻辑：如果一个对抗者以非忽略概率成功，则“中间”部分（位于被验证的位置）必须执行了某种测量（或预言机查询），从而有效地在局部坍缩了状态。
• 通过利用纠缠单配性（Monogamy of Entanglement），他们证明了对抗者无法同时与多个位置的验证者锚点保持相关性。如果对抗者成功，纠缠必须被定位到发生查询的具体时空点。

3. 主要贡献与结果

1. 纠缠定位

论文构建了一种协议，使验证者能够从证明者在特定时空点 $(L, t)$ 的状态中提取出其锚点态的纠缠伙伴。

• 结果： 如果一个证明者策略被接受且概率非忽略，则存在一个提取器，在给定 $(L, t)$ 处的状态时，能输出与原始纠缠态具有高保真度的寄存器。
• 机制： 该协议在理想混淆模型（经典预言机模型）下是安全的，该模型可以通过后量子不可区分混淆（iO）和单向函数进行启发式实例化。

2. 轨迹验证

基于纠缠定位，作者定义了轨迹验证。

• 机制： 验证者将“容器”寄存器发送给证明者，并在声称轨迹上的离散点 $(L(t_i), t_i)$ 运行一系列纠缠定位协议。
• 结果： 如果证明者被接受，则纠缠被定位到轨迹上的每一个点。通过纠缠单配性，这意味着一个单一的量子系统（容器）沿着路径 $L(\cdot)$ 行进。这排除了“一系列静止证明者”的攻击，因为这种链条无法在整个轨迹上同时维持所需的纠缠。

3. 状态与功能性定位

• 状态定位： 作者展示了这些技术可以适配于定位特定的量子态（如 BB84 态或余集态）而非仅仅是纠缠。提取器会在验证位置恢复特定的状态 $|\psi_k\rangle$。
• 功能性定位： 他们引入了一种概念，即证明者必须在验证位置具备计算秘密函数 $f_k$ 的能力。这是通过将定位技术与量子状态混淆（最优拷贝保护）相结合实现的。结果保证了计算能力被定位在 $(L, t)$，且无法在其他地方被计算。

4. 负面结果：$f$-BB84 的不可定位性

论文表明，并非所有的 QPV 协议都满足定位特性。他们证明了广为人知的 $f$-BB84 协议（其中证明者根据函数 $f(x,y)$ 测量 EPR 对）是不可纠缠定位的。

• 攻击： 一个由三个证明者组成的分布式团队可以完美地模拟该协议，方法是共享一个量子一次性汇编（quantum one-time pad）。中间的证明者执行正确的测量，但纠缠被非局部地分布在三个证明者之间，导致任何单一提取器都无法在中间位置恢复完整的纠缠态。这突显了新定位定义的强度。

4. 意义与主张

作者声称，他们的工作通过解决直觉目标（追踪物理实体）与形式化安全定义之间的差距，为基于位置的密码学提供了更强的基础。

• 概念转变： 本文将 PBC 从二进制的“那里是否有人？”验证，转向了连续性的“此处的特定量子信息是否在此？”验证。
• 轨迹验证： 它提供了第一个验证实体在时空中行进轨迹的可行性结果，而这项任务在标准的 QPV 安全定义下曾被认为难以定义或不可能实现。
• 物理时空与信息： 研究结果探讨了位置与信息之间的紧密联系，表明密码学能力可以从根本上通过量子力学与物理时空约束相绑定。
• 模型： 其安全性是在理想混淆模型下证明的。作者承认这是一个启发式假设（通过 iO 实例化），但认为这是对于此类强基元而言的标准且必要的步骤，类似于经典密码学中使用随机预言机模型（ROM）。他们明确指出，在无预言机的纯模型（plain model）下证明安全性仍然是一个重大的开放性问题。

论文最后指出，虽然目前的协议假设是无噪声传输和精确计时，但该框架为未来构建鲁棒、现实世界的实现提供了理论基础。