魔方游戏的计算认证删除属性及其用于经典安全租赁密钥的应用
密码学与安全
2025-10-08 v2 量子物理
摘要
我们提出了首个实现经典通信下的计算认证删除属性（CDP）的构造，源自非局域魔方游戏（MSG）的编译。我们利用 KLVY 编译器将非局域 MSG 转换为 2 轮交互协议，严格证明该编译保留了游戏特定的 CDP。此前，已针对编译后的游戏研究了其量子价值和刚性。我们强调，本文是首次针对编译后游戏研究 CDP（局部随机性见 [Fu and Miller, Phys. Rev. A 97, 032324 (2018)]）。随后，我们将该 CDP 与框架 [Kitagawa, Morimae, and Yamakawa, Eurocrypt 2025] 结合，用于构建经典安全租赁密钥（cSKL）。SKL 使 Lessor 能够租赁密钥给 Lessee，并验证量子 Lessee 确实已删除密钥。本文针对 PKE、PRF 和数字签名实现了 cSKL。与现有 cSKL 工作相比，我们首次为 PRF 和数字签名实现了 cSKL。此外，我们成功地弱化了构建 cSKL 所需的假设。
引用
@article{arxiv.2510.04529,
title = {Computational Certified Deletion Property of Magic Square Game and its Application to Classical Secure Key Leasing},
author = {Yuki Takeuchi and Duo Xu},
journal= {arXiv preprint arXiv:2510.04529},
year = {2025}
}
备注
We update the acknowledgement to include the funding information for YT