Cryptomania v.s. Minicrypt in a Quantum World

本文证明了在量子随机预言模型下,以黑盒方式从量子安全的单向函数构造具有完美完备性的量子公钥加密方案是不可能的,从而解决了这一长期存在的开放性问题,并为已知的量子公钥加密方案确立了严格的限制。

原作者: Longcheng Li, Qian Li, Xingjian Li, Qipeng Liu

发布于 2026-06-02
📖 1 分钟阅读🧠 深度阅读

原作者: Longcheng Li, Qian Li, Xingjian Li, Qipeng Liu

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

大局观:“魔法盒” vs. “单行道”

想象一下,密码学的世界就像一场盖房子的游戏。

  • Minicrypt(微型密码学) 是一个拥有**“单行道”**的世界。你可以轻松地开车向下行驶(加密信息),但如果没有特殊的钥匙,你就无法开回去(解密)。这是目前大多数安全技术的基石。
  • Cryptomania(狂想密码学) 是一个拥有**“公钥加密 (PKE)”的世界。这就像是一个“魔法盒”**。任何人都可以利用公钥把信件丢进盒子里(加密),但只有拥有私钥的人才能打开它。这功能更强大,也更方便。

几十年来,计算机科学家一直在问:我们能否仅利用“单行道”(Minicrypt)就造出这个“魔法盒”(Cryptomania)?

在经典世界(我们现在的计算机)中,答案是。你无法仅靠单行道就造出魔法盒。

但我们正在进入量子世界(计算机使用量子力学的世界)。在这个新世界里,一些规则发生了变化。科学家们想知道:也许在量子世界里,单行道其实足够强大,足以造出那个魔法盒?

这篇论文指出:不。即使在量子世界,你也无法仅利用“单行道”就造出一个完美的“魔法盒”。

背景设定:“随机预言机”(神奇字典)

为了证明这一点,作者设想了一个被称为量子随机预言机模型 (QROM) 的场景。
把“预言机”想象成一本所有人共享的巨大、神奇的字典。

  • 如果你向字典提问,它会给你一个随机的答案。
  • 如果你再次询问同样的问题,它会给出相同的答案。
  • 但没有人能预先知道答案,必须通过查询才能得知。

在量子版本中,你可以同时提出许多问题(叠加态),这使得它变得非常强大。作者问道:如果我们拥有这样一个超强大的字典,我们能否构建出一个完美的量子公钥加密 (QPKE) 系统?

三个主要发现

论文证明了在三种特定情况下,完美的完全性 QPKE(Perfect-Complete QPKE)是不可能的。“完美完全性”意味着系统永远不会出错;如果你加密了一条信息,它总是能正确解密。

1. 标准情况(经典密钥,经典消息)

类比: 想象爱丽丝(Alice)和鲍勃(Bob)想要发送秘密便条。他们使用一个共享字典来生成一把锁(公钥)和一把钥匙(私钥)。
结果: 作者证明,如果爱丽丝和鲍勃试图仅利用“单行道”和“神奇字典”来构建这个系统,黑客(伊芙/Eve)总能破解它。

  • 如何做到? 伊芙使用了一个聪明的技巧。她不需要直接猜出私钥。相反,她模拟了爱丽丝和鲍勃的对话,创造了一个“伪造”的爱丽丝,然后对字典进行微调,使得这个伪造的爱丽丝仍然可以解密信息。因为字典是随机的,伊芙可以找到一个让系统失效的“漏洞”。

2. 量子消息情况(经典密钥,量子消息)

类比: 现在,想象那张秘密便条不是一张纸,而是一个脆弱、发光的量子气泡。
结果: 即使消息是一个量子气泡,系统仍然会失败。作者表明,黑客仍然可以使用同样的“伪造爱丽丝”技巧来破解加密。消息是量子的这一事实并不能拯救系统。

3. 量子密钥情况(量子密钥)

类比: 这是最先进的版本。想象“锁”(公钥)本身就是一个量子气泡,而不是一张纸。
结果: 作者证明这同样是不可能的,但有一个特定条件。该条件是,这个量子锁必须以一种不依赖于创建瞬间“神奇字典”的方式来生成。

  • 为什么重要: 科学家们目前构建的所有量子加密方案都依赖于字典来创建锁。作者表明,如果你试图制造一个不依赖于字典(即“纯粹”的)量子锁,它仍然无法从单行道中构建出来。这意味着现有的量子方案是“紧凑”的——它们已经处于可能性的极限,你无法做得更好。

“黑客工具包”(他们是如何证明的)

论文介绍了一种攻击这些系统的新方法。以前的尝试之所以停滞不前,是因为它们依赖于未经证实的猜测,或者假设黑客太弱了。

作者的新方法就像一位大师级厨师,可以通过品尝汤的味道,在不知道食材的情况下完美地还原出食谱。

  1. 模拟: 伊芙观察爱丽丝和鲍勃的交谈。她创造了一个“影子”版本的爱丽丝。
  2. 马尔可夫链: 利用一种叫做“量子马尔可夫链”的数学工具,伊芙证明了她可以创造一个与真实的爱丽丝在统计上几乎完全相同的伪造爱丽丝,尽管她并没有私钥。
  3. 字典微调: 最难的部分是让伪造的爱丽丝能与真实的字典配合工作。作者开发了一种新的算法(“双赢”策略),允许伊芙稍微改变字典的答案,从而实现:
    • 不破坏鲍勃对世界的认知(所以他不会察觉);
    • 让伪造的爱丽丝能够成功解密信息。

结论

在量子世界中,“Minicrypt”(单行道)与“Cryptomania”(魔法盒)之间的差距依然存在。

  • Minicrypt 是存在的: 单向函数是真实且有用的。
  • Cryptomania 仍遥不可及: 你无法仅利用这些单向函数就构建出一个完美的、黑盒式的量子公钥加密系统。

这解决了密码学中一个长期存在的问题。它告诉我们,即使拥有量子计算的力量,我们也无法通过神奇的方式,仅凭基础的安全工具就将其升级为公钥系统。即便是在一个量子宇宙中,“魔法盒”也需要比“单行道”更多、更强的假设。

您所在领域的论文太多了?

获取与您研究关键词匹配的最新论文每日摘要——附技术摘要,使用您的语言。

试用 Digest →