⚛️ quantum physics

Public-Key Quantum Money and Fast Real Transforms

本文提出了一种基于群作用和哈特利变换的公钥量子货币方案，通过用哈特利变换替代傅里叶变换使量子钞票具有实数振幅，并配套设计了新的验证算法、基于连续时间量子行走的序列号计算算法以及低门复杂度的递归哈特利变换算法。

原作者： Jake Doliskani, Morteza Mirzaei, Ali Mousavi

发布于 2026-03-16

📖 1 分钟阅读🧠 深度阅读

原作者： Jake Doliskani, Morteza Mirzaei, Ali Mousavi

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

这篇文章介绍了一种全新的**“量子钞票”设计方案。为了让你轻松理解，我们可以把这项技术想象成是在设计一种“只有银行能造，但任何人都能验”**的超级防伪钞票。

以下是用通俗语言和生动比喻对这篇论文核心内容的解读：

1. 背景：为什么我们需要“量子钞票”？

想象一下，传统的纸币可以被复印机完美复制，所以会有假币。而量子力学有一个著名的“不可克隆定理”，就像魔法一样：你无法完美复制一个未知的量子状态。这意味着，如果钞票是量子态的，没人能伪造它。

旧方案（私钥）：以前的方案就像银行给每张钞票盖个章，每次买东西都要去银行核对。这太麻烦了，就像每次买瓶水都要银行行长亲自签字。
新方案（公钥）：现在的目标是设计一种钞票，银行负责造，但任何人都能验证真伪，不需要银行参与。

2. 核心创新：从“复数”到“实数”的变身

这篇论文最大的亮点是做了一个大胆的替换：

以前的方案：使用傅里叶变换（Fourier Transform）。这就像给钞票的量子波函数涂上了复杂的颜色（复数振幅），既有实部又有虚部，像是一个旋转的陀螺。
现在的方案：使用哈特利变换（Hartley Transform）。这就像把钞票的波函数变成了纯粹的颜色（实数振幅），去掉了那些复杂的旋转，只保留实数。

为什么要这么做？
这就好比以前造钞票用的是“带磁性的复杂合金”，现在改用了“纯金”。

理论优势：纯金（实数）在某些数学性质上更“干净”，可能带来新的安全特性。
计算优势：处理纯金（实数）可能比处理磁性合金（复数）更简单、更高效。

3. 遇到的麻烦与解决：当“验钞机”失灵时

问题出现了：
当作者把“复数”换成“实数”后，发现原来的**验钞机（验证算法）**坏了。

比喻：原来的验钞机是靠检测钞票的“旋转方向”来辨真伪的。现在钞票变成了“纯实数”，不再旋转了，验钞机就分不清哪张是真的，哪张是假的，甚至可能把假币当成真币放行。

解决方案：引入“扭曲”（Twists）
作者发明了一种新的验证方法，利用群作用的“扭曲”特性。

比喻：既然钞票不旋转了，我们就给它加一个特殊的“镜像机关”。
- 真钞票有一个特殊的“镜像对称性”。
- 假钞票没有。
- 新的验证算法就像是一个**“镜像测试”**：把钞票放进机器，如果它能完美地通过镜像翻转测试，那就是真的；如果翻转过后变得乱七八糟，那就是假的。
- 这个“扭曲”操作在数学上很容易实现（特别是在基于椭圆曲线同构的密码系统中），从而解决了验证失败的问题。

4. 两个重要的技术突破

A. 更快的“造币工厂”（量子哈特利变换）

为了造出这种实数钞票，需要一种特殊的“打印机”（量子算法）。

以前的打印机：要么用复杂的傅里叶变换（太慢），要么用递归方法（步骤繁琐，门电路多）。
作者的打印机：设计了一种递归算法，就像搭积木一样，把大问题分解成小问题。
比喻：以前的造币机像是一个笨重的老式拖拉机，步骤多、油耗大。作者造了一辆流线型的赛车，步骤更少，速度更快，用的“燃料”（量子门数量）更少。这使得造币效率大大提升。

B. 如何给钞票“查户口”（序列号提取）

在公钥钞票系统中，每张钞票都有一个序列号（Serial Number）。

以前的难题：在实数方案中，很难直接从钞票的量子态里读出序列号，就像你看着一张模糊的照片，很难认出里面的人是谁。
作者的方案：利用连续时间量子行走（Continuous-Time Quantum Walks）。
比喻：想象钞票是一个迷宫，序列号是迷宫的出口。
- 以前的方法像是在迷宫里乱撞，或者需要一张复杂的地图。
- 作者的方法是利用**“量子波”在迷宫里像水波一样扩散。通过观察波在迷宫里传播的干涉模式（就像水波遇到障碍物产生的波纹），可以反推出迷宫的结构，从而直接读出序列号**。这是一种非常巧妙且高效的方法。

5. 总结：这项研究意味着什么？

这篇论文就像是在量子金融领域的一次**“技术升级”**：

换了新引擎：用更简单、更纯粹的“实数”（哈特利变换）替代了复杂的“复数”（傅里叶变换）。
修好了刹车：发明了新的“镜像验证”机制，解决了换引擎后刹车失灵的问题。
提升了速度：造币和查号子的算法都变得更高效、更省资源。

一句话总结：
作者们设计了一种更“纯粹”、更高效的量子钞票方案，不仅让造币和验钞变得更简单，还为未来在量子计算机上使用“实数”进行加密和计算打开了新的大门。这就像是从“带磁性的复杂合金”时代，迈向了“纯金”时代，让量子货币离实际应用更近了一步。

这篇论文提出了一种基于群作用（Group Actions）和哈特利变换（Hartley Transform）的公钥量子货币方案。该方案是对 Zhandry (2024) 提出的基于傅里叶变换的量子货币方案的改进，旨在利用实数振幅（Real Amplitudes）替代复数振幅，从而带来计算和理论上的优势。

以下是该论文的详细技术总结：

1. 研究背景与问题 (Problem)

量子货币的困境：传统的公钥量子货币方案（如 Zhandry 的方案）通常基于量子傅里叶变换（QFT），生成的货币状态具有复数振幅。
验证算法的局限性：在 Zhandry 的方案中，验证过程依赖于从货币状态中提取序列号（Serial Number）。然而，当直接将傅里叶变换替换为哈特利变换（Hartley Transform）以生成实数振幅状态时，原有的验证算法失效。具体来说，直接应用验证步骤会导致无法区分某些合法的货币状态（例如 $|Z(h)\rangle$ 和 $|Z(-h)\rangle$ 的叠加态），导致验证器可能以概率 1 接受非法的伪造票据。
实数量子变换的缺失：目前量子密码学和量子计算中，实数量子变换（如哈特利变换、正弦/余弦变换）的高效实现算法较少，且缺乏在重要构造（如量子货币）中的成功应用先例。

2. 方法论 (Methodology)

为了解决上述问题，作者提出了以下核心方法论：

A. 基于群作用扭曲（Twists）的新验证算法

由于哈特利变换产生的状态是实数的，原有的相位回退（Phase Kickback）技术无法直接提取序列号 $h$ 。

引入扭曲（Twists）：作者利用群作用的一个额外性质——“扭曲”，即存在高效算法将 $g \ast x$ 映射为 $(-g) \ast x$ 。这在基于同构（Isogeny-based）的群作用中是天然存在的。
区分状态：通过结合扭曲操作和特定的量子门序列，构建了一个新的验证算法（Algorithm 2）。该算法能够区分 $|Z(h)\rangle$ 和 $|Z(-h)\rangle$ ，从而解决了实数振幅带来的验证模糊性问题。

B. 基于连续时间量子行走的序列号计算

在验证过程中，通常需要知道序列号 $h$ 。作者提出了一种不依赖预先知道 $h$ 即可从货币状态中高效计算 $h$ 的算法。

连续时间量子行走（Continuous-Time Quantum Walks, CTQW）：利用群作用生成的凯莱图（Cayley Graph），将货币状态作为该图拉普拉斯算子（或邻接矩阵）的特征向量。
相位估计：通过模拟连续时间量子行走并应用相位估计算法，可以从货币状态 $|Z(h)\rangle$ 中提取出与 $h$ 相关的特征值，进而恢复出序列号 $h$ 。

C. 高效的量子哈特利变换（QHT）算法

为了支持上述构造，作者设计了一种新的递归算法来计算量子哈特利变换。

递归结构：借鉴量子傅里叶变换（QFT）的递归分解思想，利用哈特利变换的递归性质（ $QHT_N$ 分解为 $QHT_{N/2}$ 等）。
门复杂度优化：该算法比现有的基于 QFT 作为子程序的方法（如 [22]）以及基于特定分解的方法（如 [3]）具有更低的门复杂度。

3. 主要贡献 (Key Contributions)

新的公钥量子货币方案：
- 提出了首个基于哈特利变换的公钥量子货币方案。
- 实数振幅优势：生成的银行票据具有实数振幅。作者指出，实数基底的性质（如 $\sum | \phi_j \rangle | \phi_j \rangle = \sum | \psi_j \rangle | \psi_j \rangle$ 对任意实正交基成立）在理论上可能为证明“量子闪电（Quantum Lightning）”性质提供新的途径，这是复数基底方案中难以证明的。
创新的验证机制：
- 提出了基于**群作用扭曲（Group Action Twists）**的验证算法，成功解决了从实数振幅状态中提取序列号的难题，确保了方案的安全性。
高效序列号提取算法：
- 展示了如何利用连续时间量子行走高效地从货币状态中计算序列号，无需银行预先存储序列号，增强了方案的实用性。
优化的量子哈特利变换算法：
- 提出了一种新的递归 QHT 算法，其门复杂度为 $2 \log^2 N + O(\log N)$ 。
- 对比优势：相比文献 [3] 和 [22] 中的算法（复杂度约为 $2.5 \log^2 N$ ），新算法的门复杂度降低了约 1.25 倍，且电路结构更简单，易于分析和实现。
其他实数变换的实现：
- 展示了如何利用 QHT 作为子程序，高效实现量子正弦变换（Quantum Sine Transform）和其他实数变换，扩展了实数量子变换在量子计算中的应用范围。

4. 结果与性能 (Results)

安全性：方案在通用群作用模型（Generic Group Action Model）下被证明是安全的（基于 Zhandry 方案的扩展）。
验证正确性：新验证算法（Algorithm 2）能够以高概率接受真币，并拒绝假币。定理 7.3 证明了验证通过的概率等于状态与真实货币状态的内积模平方。
计算效率：
- QHT 算法的门复杂度显著优于现有方案。
- 序列号计算算法的时间复杂度为多项式级别（poly(log N)）。
- 验证算法的时间复杂度也是多项式级别。

5. 意义与影响 (Significance)

理论突破：这是量子哈特利变换首次被成功应用于重要的量子密码学构造中。它证明了实数量子状态在量子货币等复杂协议中的可行性，并可能为解决“量子闪电”的安全性证明提供新的理论视角。
实用价值：实数振幅在某些物理实现中可能比复数振幅更容易控制或具有更低的噪声敏感性。此外，优化的 QHT 算法降低了量子电路的开销，使得基于实数变换的量子算法更具实际部署潜力。
算法优化：提出的递归 QHT 算法为量子信号处理和量子模拟中的实数变换提供了更高效的工具，推动了量子算法在实数域上的发展。

总结：
这篇论文通过引入哈特利变换和群作用扭曲，成功构建了一个具有实数振幅的公钥量子货币方案，并配套提出了高效的验证和序列号提取算法。同时，作者优化了量子哈特利变换的电路实现，显著降低了门复杂度。这项工作不仅丰富了量子货币的构造理论，也为实数量子变换在量子计算中的应用开辟了新的道路。