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]框架结合，构建了基于经典出租方的安全密钥租赁方案。该方案允许出租方将密钥租赁给承租方，并验证量子承租方是否确实删除了密钥。本文实现了公钥加密、伪随机函数及数字签名三大密码原语的经典安全密钥租赁方案。相较于现有研究，我们首次实现了伪随机函数与数字签名的经典安全密钥租赁，同时成功降低了构建该方案所需的安全假设强度。