⚛️ quantum physics

Quantum Homomorphic Encryption: Towards Practical and Private Computation on Untrusted Quantum Hardware

本文提出了一种基于量子一次一密（QOTP）的通用量子同态加密框架（QOTPH），该方案在保持信息论安全性的同时，支持在含噪及真实量子硬件上对加密量子态进行非交互式同态计算，从而推动了隐私保护量子计算从理论向实用化的迈进。

原作者： Jon Hernández-Bueno, Oscar Lage, Marivi Higuero, Jasone Astorga

发布于 2026-04-22

📖 1 分钟阅读🧠 深度阅读

原作者： Jon Hernández-Bueno, Oscar Lage, Marivi Higuero, Jasone Astorga

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

这篇论文讲述了一个关于**“如何在不可信的量子计算机上安全地处理秘密数据”**的突破性进展。

为了让你轻松理解，我们可以把这篇论文的核心内容想象成**“给量子数据穿上隐形斗篷，并让它在陌生人的厨房里做菜”**的故事。

1. 背景：为什么我们需要这个？

想象一下，你有一个超级厉害的量子计算机（就像一台拥有魔法的超级烤箱），它能瞬间解决极其复杂的难题。但是，这台机器不属于你，它属于一家云服务公司（比如 IBM 或谷歌）。

问题：你想用这台机器计算你的绝密配方（比如新药研发数据或金融模型），但你不想把配方直接给那个陌生人看，因为怕他偷走或泄露。
现状：以前的加密方法（像给数据上锁）只能保护数据在传输中不被偷，一旦数据到了机器上，为了计算，通常得把锁解开（解密），这时候数据就暴露了。
目标：我们需要一种方法，让机器在数据依然上锁（加密）的状态下直接进行计算，算完后再把结果还给你，而机器全程都不知道它到底在算什么。这就是**“量子同态加密”**。

2. 核心方案：QOTPH（量子一次性密码本升级版）

作者提出了一种叫做 QOTPH 的新方案。我们可以用两个生动的比喻来理解它：

比喻一：隐形斗篷（量子一次性密码本 QOTP）

想象你的数据（量子比特）是一个透明的玻璃球。

加密：你给玻璃球穿上了一件**“隐形斗篷”**。这件斗篷由两把随机生成的“钥匙”控制（就像随机旋转玻璃球的方向）。穿上斗篷后，玻璃球看起来就是一团模糊的乱码，任何人（包括量子计算机）都看不出里面原本是什么。
安全性：只要你不把钥匙给别人，这件斗篷就是绝对安全的（信息论安全），理论上无法被破解。

比喻二：聪明的厨师（同态计算与密钥更新）

这是这篇论文最厉害的地方。以前，如果你给玻璃球穿上斗篷，厨师（量子计算机）就没法切菜或搅拌了，因为斗篷挡住了操作。

传统困境：如果厨师强行操作，斗篷可能会破，或者操作结果会乱套。
作者的魔法：作者发现，虽然斗篷挡住了视线，但斗篷的“旋转规则”是可以预测的。
- 当厨师对玻璃球做一个动作（比如“旋转 90 度”），你（作为拥有钥匙的主人）不需要把斗篷脱下来。
- 你只需要在脑子里更新一下钥匙的密码，告诉厨师：“虽然你做了那个动作，但现在的斗篷状态相当于我换了个新密码。”
- 结果：厨师在完全不知道数据内容的情况下，完成了所有复杂的烹饪步骤（计算）。最后，当你拿到结果时，用你更新后的新钥匙解开斗篷，就能得到完美的菜肴（正确的计算结果）。

3. 他们做了什么实验？

作者没有只停留在理论纸上谈兵，他们真的在真实的量子计算机（IBM 的 Heron 处理器）上跑通了这套流程。

实验过程：
1. 他们把数据加密（穿上斗篷）。
2. 把加密后的数据发给量子计算机。
3. 量子计算机执行了一系列复杂的量子门操作（就像做了一连串复杂的动作）。
4. 作者通过一套自动化的规则，实时跟踪并更新“钥匙”。
5. 最后，他们在本地（或者在机器上）解密，看看结果对不对。
实验结果：
- 非常准确：在模拟环境中，准确率接近 100%。
- 真实硬件表现：在真实的量子计算机上，由于机器本身有噪音（就像烤箱温度不稳定），准确率稍微下降了一点（大约在 93% - 99% 之间），但这在目前的量子技术下已经非常优秀了。
- 证明了可行性：这证明了即使在不完美、有噪音的机器上，这种“加密计算”也是行得通的。

4. 为什么这很重要？（简单总结）

这篇论文就像是在说：

“我们终于找到了一种方法，可以让陌生人（不可信的量子云）帮我们要算账，而账本（数据）全程都锁在保险柜里，陌生人连账本的一角都没看到，最后算出来的数字还是对的。”

它的三大亮点：

绝对隐私：数据在计算过程中始终是加密的，理论上无法被破解。
无需互动：你不需要在计算过程中一直和机器“聊天”来更新密码，一切可以自动完成。
实用落地：这是第一次在真实的量子硬件上验证了这种通用的加密计算方案，迈出了从“理论”到“现实”的一大步。

5. 未来的挑战

虽然很棒，但作者也诚实地说：

机器还不够完美：现在的量子计算机像是一个有点“手抖”的厨师，做的菜（计算结果）偶尔会有点误差。未来需要更精准的机器。
隐藏菜谱：目前，虽然数据是加密的，但“怎么做这道菜”（计算步骤/电路结构）还是被机器看到了。未来的研究要致力于连“菜谱”也一起隐藏起来，实现真正的“盲计算”。

一句话总结：
这篇论文为未来在云端安全地使用量子计算机铺平了道路，让我们相信，在不远的将来，我们可以放心地把最机密的数据交给量子超级计算机去处理，而不用担心隐私泄露。

这是一份关于论文《量子同态加密：迈向在不可信量子硬件上的实用与隐私计算》（Quantum Homomorphic Encryption: Towards Practical and Private Computation on Untrusted Quantum Hardware）的详细技术总结。

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

随着量子计算向实用化范式发展，如何在不可信的量子硬件（如量子云服务）上安全、私密地执行计算成为迫切需求。

核心挑战：虽然经典领域的全同态加密（FHE）已允许在加密数据上进行计算，但实用且完全同态的量子同态加密（QHE）方案仍然难以实现。
现有局限：
- 现有的量子加密方案（如量子一次一密 QOTP）虽然提供信息论安全性，但通常不支持在密文上直接进行任意量子门操作（因为量子门与泡利算符不交换）。
- 现有的理论方案往往依赖复杂的计算假设（如 LWE 问题），或者需要交互式协议，导致计算开销过大或无法在近期硬件上部署。
- 缺乏在真实量子处理器上验证的、支持通用量子电路（包括非 Clifford 门）的实用 QHE 框架。

2. 方法论 (Methodology)

作者提出了一种基于量子一次一密（QOTP）的通用量子同态加密框架，命名为 QOTPH。该方案的核心思想是利用 QOTP 的对称结构，通过系统化的门分解和密钥更新规则，实现在加密态上的非交互式同态计算。

核心技术机制：

加密基础 (QOTP)：
- 对每个量子比特，使用两个随机经典比特 $(j, k)$ 作为密钥，应用 $X^j Z^k$ 算符对量子态 $\sigma$ 进行加密，得到 $\rho_c = X^j Z^k \sigma Z^k X^j$ 。
- 这提供了信息论级别的安全性（对无密钥者而言，密态是完全混合态）。
同态门分解与密钥更新 (Homomorphic Gate Decompositions & Key Updates)：
- 关键创新：作者推导了通用门集（Clifford + T 门，以及受控门和参数化门）在 QOTP 加密下的变换规则。
- 原理：当对加密态应用量子门 $G$ 时，由于 $G$ 与泡利算符不一定交换，加密结构会被破坏。作者通过分析 $G$ 对泡利算符的共轭作用，推导出新的密钥更新规则 $(j', k')$ ，使得 $G \rho_c G^\dagger$ 等价于对目标逻辑态应用新密钥的加密。
- 非交互性：所有密钥更新仅依赖于当前的密钥状态和门序列，无需客户端与执行方（Evaluator）之间进行通信。
- 通用性：对于无法直接同态处理的门（如 T 门），通过分解为基本门序列并跟踪密钥变化来实现。
协议流程：
- 准备：客户端生成随机密钥，对输入态进行 QOTP 加密。
- 执行：将加密后的电路发送给不可信量子硬件。硬件按顺序执行门操作，同时（在客户端逻辑中）根据预定义的规则更新密钥状态。
- 解密：
  - 方案一（算法 1）：在量子硬件上直接应用逆 QOTP 操作进行解密，然后测量。
  - 方案二（算法 2）：硬件仅输出加密的测量结果（密文），客户端在本地利用更新后的密钥进行解密。此方案能防止硬件端获取任何明文信息。
增强隐私：
- 引入随机交换门（Swap Gates），在测量前打乱量子比特顺序，并在本地解密时还原，增加攻击者推断数据的难度。
- 建议在构建电路前对输入数据进行部分加密，防止电路描述本身泄露原始数据。

3. 关键贡献 (Key Contributions)

首个实用化的通用 QOTP 同态方案：提出了 QOTPH 框架，不仅支持 Clifford 门，还通过密钥跟踪机制扩展到了非 Clifford 门（如 T 门）和参数化门，支持任意量子电路。
系统化的密钥更新规则：详细推导并总结了针对广泛量子门（包括受控门、旋转门等）的同态实现和密钥更新表（Table 1），为自动化实现提供了理论基础。
真实硬件验证：这是首次在真实量子处理器（IBM Quantum Heron r2, 156 量子比特）上对通用 QOTP 同态加密方案进行实验验证，超越了纯理论模拟。
双重验证模式：实现了“电路内解密”和“本地解密”两种模式，证明了方案在不同隐私需求下的有效性，并验证了本地解密模式下后端无法获取任何明文信息。
开源实现与模块化设计：基于 Qiskit 构建了模块化系统，支持从加密态准备到测量的全流程自动化，易于扩展。

4. 实验结果 (Results)

实验在 IBM Quantum 真实设备和无噪声模拟器上进行了对比测试，使用了随机生成的量子电路（5 到 40 量子比特，不同深度的门序列）。

保真度 (Fidelity)：
- 模拟器：保真度接近 1.0 (>0.999)，证明协议本身逻辑正确，无额外误差。
- 真实硬件：
  - 对于 5-10 量子比特电路，保真度在 0.97 - 0.99 之间。
  - 对于 20-40 量子比特电路，保真度保持在 0.93 - 0.97 之间。
- 结论：保真度的下降主要归因于硬件噪声（退相干、门误差），而非协议本身的缺陷。方案在当前硬件限制下具有鲁棒性。
安全性验证：
- 在“本地解密”模式下，硬件端返回的测量结果在统计上与均匀随机分布无异，验证了信息论安全性。
- 引入 Swap 门后，结果准确性未受影响，但增加了攻击者分析数据的难度。
可扩展性：实验证明了该方案在中等规模（20+ 量子比特）电路上的可行性，尽管随着门数量增加，硬件噪声导致的误差累积是主要限制因素。

5. 意义与展望 (Significance)

填补理论与实践的鸿沟：该工作将量子同态加密从理论概念推向了近期量子硬件（NISQ 时代）的实际应用，证明了在不可信硬件上进行隐私保护的量子计算是可行的。
隐私保护的量子云：为量子云计算（Quantum Cloud Computing）提供了一种无需信任云服务商的隐私保护方案，允许用户在不泄露数据或算法细节的情况下委托计算。
未来方向：
- 硬件依赖：方案的最终大规模应用依赖于未来量子硬件错误率的降低和纠错技术的进步。
- 电路隐藏：目前方案主要保护数据隐私，但电路结构（门序列）对后端可见。未来需结合盲量子计算（BQC）等技术实现完全的电路隐藏。
- 新应用：基于此模型，可进一步探索量子哈希、量子签名协议等高级密码学原语。

总结：这篇论文提出并实验验证了一种基于 QOTP 的通用量子同态加密方案（QOTPH）。它通过创新的密钥跟踪机制，实现了在不可信量子硬件上对加密量子态的非交互式计算。实验结果表明，尽管受限于当前硬件噪声，该方案仍能保持高保真度，为构建安全、私密的量子云服务奠定了重要的理论和实践基础。