We present the first construction of a computational Certified Deletion Property (CDP) achievable with classical communication, derived from the compilation of the non-local Magic Square Game (MSG). We leverage the KLVY compiler to transform the non-local MSG into a 2-round interactive protocol, rigorously demonstrating that this compilation preserves the game-specific CDP. Previously, the quantum value and rigidity of the compiled game were investigated. We emphasize that we are the first to investigate CDP (local randomness in [Fu and Miller, Phys. Rev. A 97, 032324 (2018)]) for the compiled game. Then, we combine this CDP with the framework [Kitagawa, Morimae, and Yamakawa, Eurocrypt 2025] to construct Secure Key Leasing with classical Lessor (cSKL). SKL enables the Lessor to lease the secret key to the Lessee and verify that a quantum Lessee has indeed deleted the key. In this paper, we realize cSKL for PKE, PRF, and digital signature. Compared to prior works for cSKL, we realize cSKL for PRF and digital signature for the first time. In addition, we succeed in weakening the assumption needed to construct cSKL.

翻译：我们首次提出了通过经典通信实现的计算可验证删除性质的构造方案，该方案源于非局域魔方游戏的编译。我们利用KLVY编译器将非局域魔方游戏转化为两轮交互协议，严格证明该编译过程保持了游戏特定的可验证删除性质。先前研究已探讨过编译后游戏的量子值与刚性。我们强调，本文首次针对编译后游戏的可验证删除性质（即[Fu and Miller, Phys. Rev. A 97, 032324 (2018)]中的局部随机性）进行研究。随后，我们将此性质与[Kitagawa, Morimae, and Yamakawa, Eurocrypt 2025]框架结合，构建了出租方为经典方的安全密钥租赁方案。该方案允许出租方将密钥租赁给承租方，并验证量子承租方确实已删除密钥。本文实现了针对公钥加密、伪随机函数和数字签名的经典安全密钥租赁方案。相较于现有研究，我们首次实现了伪随机函数和数字签名的经典安全密钥租赁方案，同时成功降低了构建该方案所需的安全性假设。