Classical Verifier Position Verification from Non-Local Games

在数字时代，准确了解一段数据或一个人的确切位置不仅是一种便利，更是安全的基石。想象一家银行需要确保一笔交易是发生在纽约的一个特定保险库中，而不是来自另一国黑客的笔记本电脑。在密码学领域，这被称为位置验证（position verification）。几十年来，科学家们一直知道，如果仅使用标准计算机和经典信号来证明位置，在面对一个协作攻击的精明团体时是不可能的。这些攻击者可以快速地来回转发消息，从而欺骗验证者，使其误认为就在特定地点，即使他们其实身处远方。为了解决这个问题，研究人员转向了量子力学——研究微观世界的物理学。通过发送无法在不被干扰的情况下被复制的光粒子，他们创建了可以证明位置的系统。然而，这些量子系统有一个重大缺陷：在长距离传输脆弱粒子会导致其消失，使得这项技术在实验室之外显得不切实际。

摩根大通（JPMorgan Chase）的一组研究人员现在提出了一种解决这一难题的新方法，该方法完全避开了对长距离量子信道的依赖。他们的工作引入了一种方法，其中负责检查位置的人，即验证者（verifiers），仅发送和接收普通的数字消息。繁重的工作由被检查的人，即证明者（provers）来完成，他们仅在自己的本地设备中使用量子资源。研究人员构建了一个通用的框架，将一种特定类型的协作量子游戏转化为一种安全的定位测试。在这种游戏中，分离的玩家必须在互不通信的情况下协调彼此的答案，依靠共享的量子连接。团队证明，如果玩家确实处于正确的地点，他们的答案将表现出一种水平的协调性，这种协调性是任何试图伪造而不被发现的行为都无法达到的。至关重要的是，他们表明这种安全性并不依赖于玩家共同产生随机数，而是取决于由参与者的物理布局所强制执行的一种特定的局部不可预测性。

这一新系统的核心是对一种被称为“非局域博弈”（non-local game）的概念进行的巧妙转化。在这些游戏中，两个或多个玩家收到裁判的问题，并必须提供具有特定相关性的答案。如果玩家共享一种特殊的量子连接，即纠缠（entanglement），他们能够比任何仅使用经典物理学的玩家更频繁地做出正确回答。研究人员意识到，他们可以利用这种量子优势来验证位置，而无需向验证者发送任何量子粒子。相反，验证者向证明者发送经典问题，证明者使用其本地量子设备生成答案。随后，证明者将答案发送给所有的验证者。系统会检查两件事：首先，答案是否足够正确以证明证明者正在使用量子力学；其次，发送给不同验证者的答案是否彼此一致。如果攻击者试图模拟位置，他们就需要预测证明者的答案，而无需接触必要的量子信息，研究人员证明，如果设置的几何结构正确，这在统计学上是不可能完成的任务。

其中一项最重要的发现是，该系统的安全性在很大程度上取决于参与者的物理布局。研究人员证明，仅仅拥有具有量子优势的游戏是不够的；验证者和证明者的位置必须经过安排，使得没有任何单一攻击者能够及时收集到所有必要的信息来模拟位置。他们展示了在某些排列下，攻击者理论上可以通过观察其他人的答案来预测一个证明者的答案，但通过改变验证者的位置，他们可以阻断这种信息的流动。这创造了一种情况，即每个证明者的答案对于其他人来说都是不可预测的，作者称之为“盲局部随机性”（blind local randomness）。这一见解推翻了此前关于此类系统安全性取决于所有玩家组合输出的全局随机性的假设。相反，安全性是空间分离和由光速引起的时序约束的直接结果。

为了证明其想法在现实世界中可行，该团队使用被称为CHSH博弈的最简单的量子游戏版本测试了其框架。这个游戏只需要两个玩家和基础的量子设备，这些设备在测试物理学基础的实验中已被证实。研究人员计算出，通过这种设置，他们可以使用现有技术以极高的确定性验证位置。他们表明，即使只有少量的轮次，该系统也能以极高的概率检测出攻击者。这种方法的妙处在于，验证者不需要任何量子硬件；他们可以是连接在常规网络上的标准计算机。量子复杂性完全包含在证明者的设备中，这些设备可以位于安全的数据中心或受保护的设施内。这种分离意味着该系统可以增量式部署，在无需在验证者与证明者之间建立昂贵且脆弱的量子通信线路的情况下，升级现有的经典网络。

论文还讨论了设备处理问题并发送答案所需时间的现实情况。在一个完美的理论世界中，设备会瞬间响应，但在现实中，存在延迟。研究人员分析了这种延迟如何影响安全性，并发现它要求证明者之间的间距拉开，以维持同样的保护水平。他们提供了一种计算这些距离的清晰方法，确保即使存在处理延迟，攻击者也无法收集到足够的信息来伪造位置。这种对细节的关注将这一概念从理论上的可能性转变为实用的蓝图。这项工作表明，在不久的将来，独立的数据中心可以验证自身的地理位置以满足监管要求，从长远来看，随着量子网络的成熟，相同的基础设施可以用于验证更广泛网络中多个节点的地理位置。

研究人员谨慎地指出，虽然他们的方法是一个重要的进步，但它并不是解决所有位置安全问题的万能方案。他们明确排除了一套仅由一个证明者和一个验证者组成的简单设置；它需要多个证明者和多个验证者按照特定的几何结构进行排列。他们还表明，如果证明者靠得太近或者验证者放置不当，系统就会变得容易受到此前被认为不可能发生的攻击。通过绘制出这些几何约束，他们为如何构建安全系统提供了清晰的指南。这项工作并不声称已经解决了量子通信的长距离问题，而是提供了一种完全绕过该问题的方法，专门用于位置验证任务。

最后，这项研究为保障数字资产的物理位置提供了一条新路径。通过将量子负担转移给证明者并将验证者保持为经典模式，团队消除了实现该技术最大的障碍：量子信号在长距离传输中的损耗。他们的发现表明，我们不需要等待全球量子互联网的出现就可以开始安全地验证位置。相反，我们可以利用我们现有的、局限于本地设备的量子资源，并结合智能的几何排列，来创建一个既稳健又可行的系统。这项工作证明了，当物理定律与对空间和时间的深刻理解相结合时，可以为数字世界的信任提供坚实的基石。