Succinct Arguments for QMA from Collapsing Hash Functions
该论文研究量子计算时代可验证计算的理论基础问题:能否在尽可能弱的密码学假设下,为 QMA(量子 Merlin-Arthur,即量子版 NP 的验证类)构造简洁论证(succinct arguments)。作者证明:只要存在 collapsi
共收录 62 条相关情报。
← 返回所有主题该论文研究量子计算时代可验证计算的理论基础问题:能否在尽可能弱的密码学假设下,为 QMA(量子 Merlin-Arthur,即量子版 NP 的验证类)构造简洁论证(succinct arguments)。作者证明:只要存在 collapsi
该论文研究量子网络环境下的零知识证明(Zero-Knowledge Proofs, ZKP)。ZKP 允许一方在不泄露除命题有效性之外的任何信息的前提下完成命题验证,是密码学与信息论中的基础原语。然而现有构造存在两大局限:其安全性通常建立在
该论文研究非一致性(non-uniform)安全性:攻击者可在面对全新挑战之前获得关于预言机的有界建议(advice)信息,这一模型刻画了先离线预处理、再在线发起攻击的最现实攻击模式,此前在量子随机预言机模型(QROM)与随机置换模型中已有
本文研究两个或多个独立随机置换的 XOR(XoP)构造在量子敌手下的伪随机性。XoP 是经典密码学中从置换构造伪随机函数(PRF)的典型方案,其经典安全性可超越生日界,即当 r≥2 时能提供超过 2^{n/2} 的安全性,但它在量子敌手可对
该论文研究量子信息理论与计算密码学的交叉地带,核心问题是:伪纠缠(pseudoentanglement)这一源自计算纠缠理论的资源,能否以及如何转化为密码学意义上的计算困难性。研究背景有两个并行脉络:一是伪纠缠与计算纠缠理论的提出,引发了计
该论文开创性地提出并研究“时空多方安全计算”(spatiotemporal MPC), 把传统 MPC 的输入从纯数字数据扩展为同时依赖物理事实(如参与方所处位置、时间、运动轨迹)的功能。这类协议面临双重目标: 一方面必须隐藏时空信息(隐私
该论文研究的是量子-经典密码交互中广泛使用的陷门无爪函数(Trapdoor Claw-Free Functions, TCF)的密钥可信性问题。现有几乎所有基于 TCF 的密码协议都默认假设密钥由诚实方生成,并在此前提下证明安全性,一旦密钥
本论文研究非局域量子计算(NLQC, non-local quantum computation)中纠缠代价的下界问题,这一问题与计算复杂性理论、密码学、量子引力等领域相关。NLQC 的一个核心特例是 f-routing,其动机部分来自量子
该论文研究量子密码学中用于实例化 Microcrypt 的 Hamiltonian phase state (HPS) 假设。此前工作提出 HPS 假设,认为哈密顿相位态可用于构造伪随机态生成器和单向态生成器;并进一步猜想该假设可能成立,即
本文研究量子计算背景下伪随机原语之间的结构性关系,重点考察伪随机状态生成器(PRSG)、伪随机函数型状态生成器(PRFSG)与伪随机酉(PRU)是否可以相互推出。核心问题是:量子态的伪随机性是否足以构造量子酉的伪随机性?作者给出了一个完整的
本文研究量子密码学中最基础的两类"最小假设"候选原语之间的关系。第一类是 EFI pairs(Brakerski、Canetti、Qian,ITCS 2023),指一对高效可制备的量子态:它们在统计上相距很远(可区分),但在计算上对任何多项
该论文提出了一种基于加密量子克隆(encrypted quantum cloning)的新型安全原语,用于应对量子状态被窃取后的处置问题。传统经典安全中,密钥被泄露后通常采用撤销(revocation)机制使凭证失效,但量子场景下状态的不可
本文研究量子信息理论中两种伪随机性概念——统计伪随机性(以酉 t-design 为代表)与计算伪随机性(以伪随机酉 PRU 为代表)之间的关系。此前已知的 PRU 构造通常需要将统计随机化成分(如酉 2-design)与经典密码学原语结合,
该论文提出了一种在量子随机预言机模型(QROM)下实现无条件安全认证随机性的协议。该协议是非交互式的,且可由经典验证者公开验证,其设计基于 Yamakawa 和 Zhandry 在 JACM'24 上提出的量子性证明(proof of qu
本文提出了一种基于高维 prepare-and-measure 机制的确定性安全量子通信(DSQC)协议,并引入 Reed-Solomon 纠删码以增强抗噪声能力。DSQC 是一种量子密码技术,旨在通过量子信道直接传输消息,同时利用辅助经典
该论文研究量子计算中的可认证随机性协议,特别是在量子随机预言机模型(QROM)下,如何让一个量子证明者向经典验证者证明自己确实执行了量子计算,并从中产生可验证的随机数。此前,Yamakawa 和 Zhandry(J. ACM 2024)提出
该论文针对传统量子密钥分发(QKD)协议(如BB84)在密钥生成过程中需要传输与密钥长度相当甚至更多的量子比特,导致量子网络资源开销大的问题,提出了一种基于多量子比特GHZ纠缠态与量子比特复用的可扩展QKD方案。传统QKD因基筛选和隐私放大
该论文聚焦于量子密码学中的远程态制备(Remote State Preparation, RSP)原语。RSP 允许仅拥有经典通信能力的客户端在远程量子服务器上制备量子态,是经典-量子混合协议(如经典客户端与量子服务器交互)的核心构建块。现
量子复制保护是一种利用量子力学的不可克隆原理,将函数的功能编码在量子态中,使得任何恶意方都无法将该量子态拆分成两个仍能同时正常运行的量子态的技术。此前标准模型下的多项研究只支持独立采样的挑战,而对于更接近实际语义的“相同挑战”或“相关挑战”
本文提出了一种适用于纠缠双方的“同时Goldreich-Levin归约”,用于量子密码学中的不可克隆加密(unclonable encryption)方案。Goldreich-Levin归约是经典密码学中的核心工具,它能够将关于隐藏串m与随