量子密码学中一个尚未解决的主要问题是是否有可能混淆任意量子计算。事实上,即使在经典的 Oracle 模型中,人们也可以自由地混淆任何经典电路,但关于量子混淆的可行性仍有许多需要了解的地方。在这项工作中,我们开发了一系列新技术,用于构建量子态混淆器,这是 Coladangelo 和 Gunn (arXiv:2311.07794) 最近在追求更好的软件版权保护方案时形式化的一个强大概念。量子态混淆是指将量子程序(由具有经典描述的量子电路 𝐶 和辅助量子态 | 𝜓 ⟩ 组成)编译成功能等价的混淆量子程序,该程序尽可能隐藏有关 𝐶 和 | 𝜓 ⟩ 的信息。我们证明了我们的混淆器在应用于任何伪确定性量子程序(即计算(几乎)确定性的经典输入/经典输出功能的程序)时是安全的。我们的安全性证明是关于一个高效的经典预言机的,可以使用量子安全不可区分混淆来启发式地实例化经典电路。我们的结果改进了 Bartusek、Kitagawa、Nishimaki 和 Yamakawa (STOC 2023) 的最新工作,他们还展示了如何在经典预言机模型中混淆伪确定性量子电路,但仅限于具有完全经典描述的电路。此外,我们的结果回答了 Coladangelo 和 Gunn 的一个问题,他们提供了一种关于量子预言机的量子态不可区分混淆的构造,但留下了一个具体的现实世界候选者的存在作为一个悬而未决的问题。事实上,我们的量子状态混淆器与 Coladangelo-Gunn 一起为所有多项式时间函数提供了“最佳”复制保护方案的第一个候选实现。我们的技术与之前关于量子混淆的研究有很大不同。我们开发了几种新颖的技术工具,我们期望它们在量子密码学中得到广泛应用。这些工具包括一个可公开验证的线性同态量子认证方案,该方案具有经典可解码的 ZX 测量(我们从陪集状态构建),以及一种将任何量子电路编译成“线性 + 测量”(LM)量子程序的方法:CNOT 操作和部分 ZX 测量的交替序列。
8.1 Attachment 1 - Health Declaration Form ....................................................................................... 15 8.2 Attachment 2 - Health Management Plan ...................................................................................... 16 8.3 Attachment 3 - Manual Task Risk Assessment............................................................................. 17 8.4 Attachment 4 - Process Flow Chart - Brisbane or Site Based Direct Employees - Medical Health Declaration ............................................................................................................................ 20 8.5 Attachment 5 - Process Flow Chart - Brisbane or Site Based Direct Employees - Full Health Assessment ...................................................................................................................................... 21 8.6 Attachment 6 - Process Flow Chart - Site Based Roles - Contractor Medical Health Declaration ........................................................................................................................................ 22 8.7 Attachment 7 - Process Flow Chart - Site Based Contractor Roles Full Medical...................... 23
。cc-by-nc-nd 4.0国际许可证(未经同行评审证明)获得的是作者/资助者,他授予Biorxiv授予Biorxiv的许可,以永久显示预印本。这是该版本的版权持有人,该版本发布于2023年10月8日。 https://doi.org/10.1101/2023.10.06.561296 doi:Biorxiv Preprint
8 这并不是说模型理解不能有助于理解现象。事实上,模型理解起着至关重要的作用。然而,理解模型和理解现象之间的关系很复杂。我们将在第 3.2 节中详细阐述这一点。 9 请注意,劳勒和沙利文谈论的是解释,而不是理解。虽然这种分歧也出现在关于理解的辩论中(Strevens,de Regt ???),但劳勒和沙利文的分歧最为简洁。如上所述,我们看到两者之间存在密切的联系。根据理解和解释之间关系的具体构建方式,这种分歧甚至可能崩溃(例如,当理解被概念化为拥有正确类型的解释的心理表征时)。
时间锁谜题 (TLP) 允许谜题生成器 Gen 高效地为解决方案 s 生成谜题 P ,这样,即使对手使用多台计算机并行运行,将谜题 P 解回 s 也需要更多的时间 。TLP 允许“向未来发送消息”,因为它们只在解算器花费大量时间时才允许“打开信封” P 。Rivest、Shamir 和 Wagner [RSW96] 的工作都提出了时间锁谜题的构造,并介绍了此类原语的应用。它们的构造基于这样一个假设:即使使用并行计算,也无法加快对 RSA 合数模整数的重复平方,除非知道合数的因式分解,在这种情况下他们可以加快该过程。因此,谜题生成器可以通过捷径“解决谜题”来找到解决方案,而其他人则被迫遵循顺序路径。 [ RSW96 ] 的工作还建议将 TLP 用于其他应用,如延迟数字现金支付、密封投标拍卖和密钥托管。Boneh 和 Naor [ BN00 ] 通过定义和构造定时承诺并展示其在公平合约签署等应用中的用途,进一步证明了此类“顺序”原语的实用性。最近,时间锁谜题有了更多的应用,如非交互式非可延展承诺 [ LPS17 ]。尽管它们很有用,但我们仍然不知道如何基于更标准的假设(尤其是基于“对称密钥”原语)构建 TLP。人们可能会尝试使用单向函数的求逆(比如,指数级困难)作为解谜的过程。然而,具有 k 倍并行计算能力的对手可以通过将搜索空间仔细分成 k 个子空间,将搜索过程加快 k 倍。将对称基元视为其极端(理想化)形式,人们可以问随机预言是否可用于构建 TLP。预言模型(尤其是随机预言模型)的优点在于,人们可以根据向其提出的查询总数轻松定义信息论时间概念,还可以根据算法向预言提出的查询轮数定义并行时间概念。这意味着,向预言并行提出 10 个查询只算作一个(并行)时间单位。Mahmoody、Moran 和 Vadhan [MMV11] 的工作通过排除仅依赖随机预言的构造,为从对称基元构建 TLP 提供了强大的障碍。具体而言,已经证明,如果谜题生成器仅向随机预言机提出 n 个查询,并且该谜题可以通过 m 个预言机查询(诚实地)解决,那么总有一种方法可以将解决过程加快到仅 O(n) 轮查询,而总查询次数仍然是 poly(n, m)。请注意,查询总数的多项式极限是使此类攻击有趣所必需的,因为总是有可能在一轮中提出所有(指数级的) oracle 查询,然后无需任何进一步的查询即可解答谜题。 [ MMV11 ] 的攻击实际上是多项式时间攻击,但如果有人愿意放弃该特性并只瞄准多项式数量的查询(这仍然足以排除基于 ROM 的构造)他们也可以在 n 轮中实现它。受量子密码学领域发展的启发,密码系统的部分或所有参与方可能会访问量子计算,我们重新审视了在随机 oracle 模型中构建 TLP 的障碍。Boneh 等人的工作 [ BDF + 11 ] 正式引入了具有量子访问的 ROM 扩展。因此,我们可以研究量子随机预言模型中 TLP 的存在,其中谜题生成器或谜题解决器之一(或两者)都可以访问量子叠加中的随机预言。这引出了我们的主要问题:
内生增长中的多重均衡:Benhabib and Perli (1994) , Benhabib and Farmer (1994) , Boldrin and Rustichini (1994) , Howitt and McAfee (1988) , Benhabib et al. (2008)
组氨酸生物合成的步骤(Sissler等,1999)。 与AS-A相反,HISZ仅在细菌156 中发现组氨酸生物合成的步骤(Sissler等,1999)。与AS-A相反,HISZ仅在细菌156
涉及多级纠缠的量子网络允许在量子通信,量子传感和分布式量子计算中进行令人兴奋的应用。通过光通道非本地纠缠产生的效率随着网络节点之间的距离而呈指数下降。我们提出了一种平行且预示的协议,用于在多个节点上生成分布式多Qualbit纠缠。这是通过使用高维单光子来实现的,该光子用作连接所有固定量子位(即硅胶合电子旋转)的普通数据总线,每个量子都与单面光腔耦合。平行的多等级纠缠状态与单个光子与每个固定值相互作用并通过每个光子调制电路的检测预示着它。此并行协议可以显着提高分布式纠缠生成的效率,并为分布式多端量子网络提供可行的途径。
摘要:后量子安全性密码方案假设量子对手仅收到使用密钥进行计算的经典结果。此外,如果对手可以获得结果的叠加态,则后量子安全方案是否仍然安全尚不清楚。在本文中,我们形式化了一类公钥加密方案,称为 oracle-masked 方案。然后我们为这些方案定义了明文提取程序,该程序模拟了具有一定损失的量子可访问解密 oracle。明文提取程序的构造不需要将密钥作为输入。基于此属性,我们证明了量子随机 oracle 模型 (QROM) 中 Fujisaki-Okamoto (FO) 变换的 IND-qCCA 安全性,并且我们的安全性证明比 Zhandry (Crypto 2019) 给出的证明更严格。我们还给出了 QROM 中 REACT 变换的第一个 IND-qCCA 安全性证明。此外,我们的形式化可以用于证明具有明确拒绝的密钥封装机制的 IND-qCCA 安全性。作为示例,我们在 QROM 中给出了 Huguenin-Dumittan 和 Vaudenay (Eurocrypt 2022) 提出的 T CH 变换的 IND-qCCA 安全性证明。
在一个现在被称为“Merkle 谜题”的课程项目中,Merkle [Mer74] 使用理想哈希函数提出了第一个双方之间非平凡的密钥协商协议。可以在随机预言模型 (ROM) 中对该协议进行形式化分析,以证明 Alice 和 Bob 可以向随机预言 h 提出 d 次查询并就密钥达成一致,而窃听者 Eve 可以看到交换的消息 t,需要对 h 进行 Ω(d2) 次查询才能找到密钥。不久之后,开创性的作品 [DH76、RSA78] 展示了如何依靠数论假设实现超多项式安全的密钥协商协议。相比之下,Merkle 的协议仅提供多项式安全性。然而,经过多年的研究和新开发的公钥加密和密钥协商候选构造(有关此类工作请参阅综述 [ Bar17 ]),Merkle 协议具有质量优势:它仅依赖于理想化的对称原语,即没有任何结构的随机函数。事实上,将公钥加密或密钥协商基于对称密钥原语仍然是密码学中最基本的悬而未决的问题之一。Merkle 协议引出了以下自然问题([ IR89 ] 也将其归功于 Merkle)。ROM 中是否存在任何具有更大安全性 ω ( d 2 ) 的 d 查询密钥协商协议,或者 O ( d 2 ) 界限是否最佳?1