魔方游戏的计算可验证删除特性及其在经典安全密钥租赁中的应用

该团队提出了首个通过经典通信实现的计算性认证删除特性(CDP)的构造方法,该方法源自非局域魔方游戏(MSG)的编译。该团队利用KLVY编译器将非局域MSG转化为两轮交互式协议,严格证明了该编译过程保持了游戏特定的CDP。先前的研究已经探讨了编译后游戏的量子值和刚性。该团队强调,该团队是首个研究编译后游戏CDP(源自[Fu and Miller, Phys. Rev. A 97, 032324 (2018)]中的局部随机性)的团队。随后,该团队将此CDP与[Kitagawa, Morimae, and Yamakawa, Eurocrypt 2025]框架相结合,构建了经典出租方安全密钥租赁(cSKL)。SKL使出租方能够将密钥租赁给承租方,并验证量子承租方确实已删除密钥。在本研究中,该团队实现了针对PKE、PRF和数字签名的cSKL。与之前的cSKL研究相比,该团队首次实现了针对PRF和数字签名的cSKL。此外,该团队成功弱化了构建cSKL所需的假设条件。
作者所在地: VIP可见
作者单位: VIP可见
提交arXiv: 2025-10-06 06:47

量科快讯