机构名称：
¥ 1.0
在经典密码学中，引入了公共随机串和公共参考串模型来解决在普通模型中无法实现的密码任务。在公共参考串模型中，有一个可信设置，它会生成一个各方都可以访问的字符串。在公共随机串模型中，所有参与方可用的公共字符串是均匀随机采样的，从而避免了对可信设置的需要。因此，公共随机串模型是两者中更理想的模型。多年来，人们针对这两个模型提出了许多构造，包括非交互式零知识 [ BFM19 ]、通用组合下的安全计算 [ CF01 ；CLOS02 ] 和两轮安全计算 [ GS22 ；BL18 ]。研究量子密码协议的类似模型是值得的。在这种情况下，可以选择定义本质上是量子的模型。例如，我们可以定义一个模型，其中一个可信设置产生一个量子态，并且参与密码系统的每一方都会收到一个或多个该量子态的副本。事实上，Morimae、Nehoran 和 Yamakawa [ MNY23 ] 和 Qian [ Qia23 ] 的两篇作品都考虑了这种模型，称为通用量子参考弦模型 (CQRS)。他们提出了在这个模型中的无条件安全承诺。量子承诺是量子密码学的一个基础概念。近年来，量子承诺因其对安全计算的意义 [ BCKM21；GLSV21 ] 而得到了广泛的研究 [ AQY22；MY21；AGQY22；MY23；BCQ22；Bra23 ]。在普通模型中不可能实现信息理论上安全的承诺 [ LC97；May97；CLM23 ]，这一事实使得 [ MNY23；Qia23 ] 的贡献相当有趣。虽然 CQRS 是公共参考弦模型的量子类似物，但我们可以问是否存在公共随机弦模型的量子类似物。Chen、Coladangelo 和 Sattath [ CCS24 ]（以下简称 CCS）最近独立并同时进行的一项工作引入了一个模型，称为公共 Haar 随机状态模型 (CHRS)。在这个模型中，系统中的每个参与方都会收到许多 iid Haar 状态的多个副本。他们在这个模型中提出了伪随机性和承诺的构造。我们工作的目标是进一步研究这个模型。
关于常见 Haar 状态模型的注释
主要关键词
相关文件推荐
