⚛️ quantum physics

Classical Verification of Quantum Advantage via Clifford Obfuscation

本文提出了一种启发式方法，通过使用 Clifford 电路混淆来隐藏稳定子结构并注入非稳定子资源，从而创建出在经典上难以模拟但在实现要求方面无需严苛条件的、可进行经典验证的量子优势。

原作者： Bin Yan

发布于 2026-08-18

📖 1 分钟阅读🧠 深度阅读

原作者： Bin Yan

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

证明量子计算机能够完成经典机器无法完成的任务，这一追求已从理论可能性的领域转向了现代实验室中充满噪声的现实。科学家们已经制造出能够执行某些任务的设备，而这些任务即便使用世界上最快的超级计算机也需要数千年的时间才能完成。然而，一个顽固的问题依然存在：一个坐在标准计算机前的观察者，如何验证这台量子机器是否确实正确完成了工作？如果这项任务对于经典计算机来说过于困难，以至于无法模拟，那么计算机又该如何检查答案呢？这造成了一个悖论：正是证明量子机器力量的特性，也使得确认其结果变得不可能。多年来，研究人员一直依赖于间接方法或复杂的密码学技巧，而这些技巧所要求的硬件远超现有水平。挑战在于，如何找到一种方法，构建一个对经典计算机而言难以模仿、但对人类而言易于检查的量子任务，且仅使用现有的工具。

由 Visa Research 研究人员提出的一种新方法，通过一种称为“Clifford 电路混淆”的技术，为这一困境提供了一条全新的路径。该方法始于一种特定的量子电路，这种电路已被充分理解，且易于被经典计算机模拟。这个起点充当了只有验证者才知道的秘密密钥。研究人员随后将这个简单、透明的电路系统地进行内部结构混淆。他们通过将电路分解成小的、重叠的部分，并将每个部分中量子门（quantum gates）的具体设置替换为产生完全相同结果的不同设置来实现这一点。想象一下，你拆掉一台复杂机器中的一个齿轮，并用另一个转速和方向完全相同但外观截然不同的齿轮来替换它。通过在整个电路中重复这一过程，原始的简单结构就被隐藏在层层看似随机的表象之下。

其结果是，对于任何不持有原始密钥的人来说，这个电路看起来就像是一个混乱、随机的乱象。对于试图模拟该过程的经典计算机而言，该电路似乎包含着快速增长的复杂、非标准资源，使得计算几乎变得不可能。然而，对于持有秘密密钥（即原始未混淆电路）的验证者来说，输出仍然是可预测且易于检查的。研究人员通过广泛的计算机模拟测试了这个想法。他们发现，混淆过程有效地隐藏了底层的秩序。当他们分析混淆后的量子门设置时，这些数值的分布如此随机，以至于看起来像是从均匀池中随机抽取的一样，使得逆向工程还原原始秘密变得不可能。此外，他们测量了混淆电路的复杂度，发现即使在混淆过程中加入微小的刻意缺陷，模拟该电路的难度也会急剧上升，并随系统规模呈指数级增长。

为了验证结果，研究人员提出了一个简单的测试。由于原始的秘密电路是一种特殊的类型，已知其产生的输出会落入特定的、可预测的模式中，因此验证者只需检查量子机器的样本是否符合该模式即可。如果机器是诚实的并在运行混淆后的电路，其输出几乎每次都会落在这一隐藏模式之内。如果经典计算机在不知道秘密的情况下尝试生成结果，其随机猜测几乎永远不会落在正确的模式中。研究人员证明，即使在量子设备并不完美的情况下，这种方法依然有效，因为信号强度足以区分真实的量子表现与经典的模仿。他们还探索了将此技术与其他方法结合，以创建产生特定高概率结果的电路，从而进一步增强了在不需要第二台量子计算机的情况下验证结果的能力。

这项研究并未声称通过数学证明解决了能抵御所有未来攻击的安全性问题。相反，证据来自于严密的模拟，这些模拟表明该方法能够抵御经典计算机试图生成错误结果的两类最显而易见的方式：要么试图从混淆版本中推导出原始秘密，要么试图直接模拟混淆版本。在这两种尝试中，模拟实验均告失败。研究人员认为，这种方法提供了一种实际且可控的方式，可以在近期内展示量子优势，并使用现有的硬件。通过将一个简单、可验证的真相隐藏在一个复杂、难以模拟的结构之中，该协议为在无需等待尚未存在的技术之前，建立对量子计算的信任提供了一种新途径。

技术摘要：通过 Clifford 混淆实现量子优势的经典验证

问题陈述
本文解决的核心挑战是如何通过经典手段验证量子优势（量子优越性）。虽然量子采样任务（如随机电路采样，RCS）被认为在经典计算上是难以处理的，但验证这些任务的输出通常需要第二个量子设备，或者依赖于间接指标（如交叉熵基准测试，XEB），而后者依赖于对理想输出分布的难解计算。现有的严谨证明通常需要密码学原语和超出当前近中规模含噪声量子（NISQ）硬件能力的电路深度。因此，需要一种能够兼容浅层、近端电路的验证协议，从而在无需第二个量子计算机的情况下实现独立的经典验证。

方法论：Clifford 混淆
作者提出了一种基于 Clifford 电路混淆 的启发式协议。其核心思想是将一个“陷阱门”（一个已知且可在经典上高效模拟的 Clifford 电路）嵌入到一个看似随机且难以模拟的电路中。

陷阱门（The Trapdoor）： 协议始于一个随机的 Clifford 电路 $C$ 。Clifford 电路可以通过 Gottesman-Knill 定理在经典上高效模拟，其输出分布支持在可高效计算的仿射子空间上。
混淆方案： 通过**重复局部补丁更新（repeated local patch updates）**的过程对 Clifford 电路进行混淆：
- 将电路表示为时空图（spacetime diagram）。
- 识别局部凸补丁（有限的门区域）。
- 每个补丁被替换为一个具有相同门布局的新补丁，该新补丁实现与原补丁相同（或近似相同）的酉算符，但使用了不同的门参数。
- 至关重要的是，这些补丁是重叠的。这种重叠确保了局部信息在整个电路中被扰乱，防止对手通过分析局部门配置来重建原始的 Clifford 结构。
参数随机化： 优化补丁内的门参数（欧拉角），以匹配原补丁的目标酉算符。这一过程使参数随机化，使其远离离散的 Clifford 值（ $\pi/2$ 的倍数），并注入非 Clifford 资源。
不完美更新： 协议允许“不完美”的补丁更新，即新补丁并不完全匹配原有的酉算符。这引入了受控的非 Clifford 内容（具体为 T 门资源），从而在增加全局电路经典难度的同时，保持其与原始 Clifford 电路的已知关系。

主要贡献与结果

针对经典攻击的启发式安全性： 文中提供了数值证据，表明混淆后的电路能够抵御两种主要的经典攻击策略：
1. 逆向工程： 通过单比特门参数的随机化（通过熵饱和至均匀分布来衡量）以及 ZX-演算优化工具（PyZX）无法降低 T 门计数的情况，表明恢复原始 Clifford 结构的计算成本是不可行的。
2. 直接模拟： 混淆过程注入了随电路规模增长的非 Clifford 资源。作者使用**酉稳定子零度（unitary stabilizer nullity）**来量化这一点，这是一个关于 T 门计数的严谨下界。结果显示，即使补丁更新存在轻微的不精确性，T 门下界也会迅速增长并呈指数级饱和，使得直接的张量网络模拟在经典上变得极其困难。
经典验证协议（稳定子支持基准测试）：
- 持有“Clifford 密钥”（原始电路描述）的验证者可以高效地计算理想 Clifford 输出态的仿射支持（affine support） $S_C$ 。
- 验证统计量——稳定子支持基准测试（SSB），测量采样比特串落在该支持集 $S_C$ 中的比例。
- 对于从混淆电路中采样的诚实量子证明者（其电路全局为 Clifford 或接近 Clifford），SSB 得分趋于 1。
- 对于不知晓隐藏结构的经典对手或随机采样器，落在 $S_C$ 中的概率呈指数级微小（或者在特定电路维度下至多为 $1/2$ ），从而实现对量子与经典行为的高置信度区分。
与峰值电路（Peaked Circuits）的集成： 作者提出了一个结合 Clifford 混淆与“峰值”电路（具有高概率输出比特串的电路）的变体。通过将一个浅层峰值电路与 Clifford 电路组合，并对结果进行混淆，该协议可以在不牺牲混淆电路硬度的前提下，实现对特定高概率比特串的直接验证。

意义与主张
本文声称提供了一种实现可经典验证量子优势的新途径，避免了密码学方法中严苛的实现要求或对第二个量子设备的依赖。

实用性： 该协议专为近端设备设计，仅需浅层电路，无需深层的密码学原语。
可控性： 它为经典难度（通过注入非 Clifford 资源）与可验证性（通过 Clifford 陷阱门）之间的权衡提供了精细的控制。
适度主张： 作者明确指出该协议是启发式的，目前尚不具备形式化的复杂性理论安全性证明。其安全性建立在针对自然经典攻击的经验证据，以及“区分混淆电路与通用随机电路是困难的”这一假设之上。虽然暗示了与形式化硬度问题（如带噪声的学习 Parity 问题，LPN）的潜在联系，但并未建立这种联系。

在“受信任实验者”的情景下（即假设量子证明者是诚实的），该协议作为一种实用的方法，用于认证超越简单基准测试的量子计算优势，并能自然地集成到现有的量子处理器中。

技术摘要：通过 Clifford 混淆实现量子优势的经典验证

类似论文