量子一次性程序再探

Основные понятия

本文重新审视了量子一次性程序的概念，针对经典随机函数提出了新的安全定义，并在经典预言机模型和平面模型中给出了相应的构造，同时探讨了这些定义的局限性，展示了其在一次性密码学原语构造中的应用。

Аннотация

本篇研究论文深入探讨了量子一次性程序的可行性和安全性。作者首先指出了经典一次性程序的局限性，即其无法在没有可信硬件的情况下实现，并阐述了量子力学如何为构建此类程序提供新的可能性。
现有研究的局限性
作者回顾了先前关于量子一次性程序的研究，特别是 Broadbent、Gutoski 和 Stebila 的研究，该研究表明，除非量子通道本质上可以通过一次查询学习，否则无法将其编译成一次性程序。这实际上排除了经典随机函数的非平凡一次性程序的可能性。
本文贡献
为了解决这些限制，本文提出了以下贡献：

新的安全定义： 作者针对经典随机电路的一次性程序（称为一次性采样程序）提出了新的正确性和安全定义。
构造和正面结果： 作者在经典预言机模型中给出了一种非常通用的构造方法，并证明了其在单次有效查询模拟安全定义下的安全性。此外，作者还通过实例化经典预言机，在平面模型中为受限伪随机函数提供了一个编译器，并证明了其在密码功能的操作安全定义下的安全性。
不可行性结果： 为了补充构造，作者还给出了两个新的负面结果，表明在平面模型中不可能对所有随机函数进行一次性编程，即使在最弱的操作安全定义下也是如此。
应用： 作者展示了所提出的定义和构造如何应用于构建一次性密码原语，例如一次性签名、一次性 NIZK 证明和公钥量子货币。

Статистика

Ключевые выводы из

Quantum One-Time Programs, Revisited

by Aparna Gupte... в arxiv.org 11-05-2024

https://arxiv.org/pdf/2411.01876.pdf

Дополнительные вопросы

量子一次性程序的未来研究方向是什么？

量子一次性程序的研究尚处于早期阶段，许多有趣且具有挑战性的方向等待探索。以下列举一些未来研究方向：

新的安全定义和模型: 现有的量子一次性程序安全定义主要集中在模拟安全性和操作安全性。探索更强大的安全定义，例如针对特定应用场景的安全性定义，将有助于扩展量子一次性程序的应用范围。此外，研究更接近实际应用场景的模型，例如考虑噪声量子计算模型或有限量子存储模型，将有助于设计更实用的方案。
更广泛函数类别的构造: 目前，在不依赖预言机模型的情况下，我们只能为有限的函数类别（例如受限伪随机函数）构建安全的量子一次性程序。寻找新的技术和方法，为更广泛的函数类别（例如全同态加密方案、不可区分混淆方案）构建安全的量子一次性程序，将极大地提升量子一次性程序的实用价值。
与其他量子密码原语的结合: 探索量子一次性程序与其他量子密码原语（例如量子密钥分发、量子安全多方计算）的结合，可以开发出功能更强大、安全性更高的量子密码协议。例如，可以研究如何利用量子一次性程序构建安全的量子密钥分发协议，或者如何利用量子一次性程序增强量子安全多方计算协议的安全性。
量子一次性程序的实现: 现有的量子一次性程序方案大多停留在理论层面。研究如何利用现有的量子计算平台实现量子一次性程序，以及如何优化其实现效率，将推动量子一次性程序从理论走向实际应用。

如何在不依赖预言机模型的情况下，为更广泛的函数类别构建安全的量子一次性程序？

在不依赖预言机模型的情况下，为更广泛的函数类别构建安全的量子一次性程序是一个极具挑战性的问题。以下是一些可能的研究思路：

利用新的量子信息处理技术: 探索新的量子信息处理技术，例如量子错误纠正码、量子秘密共享、量子态区分等，或许可以找到新的方法来隐藏量子一次性程序的内部信息，从而实现更强的安全性。
结合经典密码学技术: 将量子信息处理技术与经典密码学技术（例如不可区分混淆、全同态加密、函数加密等）相结合，或许可以设计出新的量子一次性程序方案，在不依赖预言机模型的情况下实现更强的安全性。
探索新的安全假设: 现有的量子一次性程序方案大多依赖于标准的密码学假设，例如单向函数的存在性。探索新的、更弱的安全假设，例如与量子计算相关的假设，或许可以为构建更广泛函数类别的量子一次性程序提供新的思路。

量子计算的进步是否会对量子一次性程序的安全性构成新的挑战？

量子计算的进步在带来机遇的同时，也对量子一次性程序的安全性构成新的挑战。

对现有方案的攻击: 量子计算的进步可能导致新的量子算法出现，从而削弱甚至攻破现有的量子一次性程序方案的安全性。例如，新的量子算法可能可以有效地解决隐藏子空间问题，从而攻破基于该问题的量子一次性程序方案。
新的安全威胁: 量子计算的进步可能带来新的安全威胁，例如量子态注入攻击、量子态测量攻击等。这些新的攻击手段可能需要设计新的安全模型和安全定义来应对。
为了应对这些挑战，我们需要：

设计抗量子攻击的方案: 在设计新的量子一次性程序方案时，需要充分考虑量子计算的攻击能力，并采用抗量子攻击的密码学原语和技术。
持续评估和改进现有方案: 随着量子计算技术的进步，我们需要持续评估现有量子一次性程序方案的安全性，并及时进行改进和升级，以应对新的安全威胁。
总而言之，量子一次性程序是一个充满机遇和挑战的研究领域。相信随着量子计算和量子信息科学的不断发展，我们将见证更多关于量子一次性程序的突破性成果，并将其应用于更广泛的领域。