在经典的加密术中,单向函数(OWF)被广泛认为是“最小假设”,但量子加密的情况就不太清楚。最近的作品提出了两个并发候选量子密码学中最小假设的候选者:单向状态发生器(OWSGS),假定具有有效的验证算法的硬搜索问题的存在,并且EFI对,并假定存在困难的区分问题。最近的两篇论文[Khurana和Tomer Stoc'24; Batra和Jain focs'24]表明OWSG表示EFI对,但反向方向保持开放。在这项工作中,我们提供了有力的证据,表明相反的方向不存在:我们表明存在量子统一的甲骨文,而efi对存在,但OWSG不存在。实际上,我们显示了一个稍强的陈述,该语句也适用于输出经典位(QEFID对)的EFI对。因此,我们通过Oracle,QEFID对和单向拼图与OWSG和其他几个MicroCrypt原始词分开,包括有效可验证的单向拼图和不可消除的状态生成器。特别是解决了[Chung,Goldin和Gray Crypto'24]中留下的问题。使用类似的技术,我们还建立了一个完全黑框的分离(比私钥量子货币方案和QEFID对之间的较弱的分离(比Oracle分离略弱)。我们工作的一种概念含义是,有效的验证算法的存在可能会导致量子密码学中质性更强的原始素。
主要关键词