We develop a simple compiler that generically adds publicly-verifiable deletion to a variety of cryptosystems. Our compiler only makes use of one-way functions (or one-way state generators, if we allow the public verification key to be quantum). Previously, similar compilers either relied on the use of indistinguishability obfuscation (Bartusek et. al., ePrint:2023/265) or almost-regular one-way functions (Bartusek, Khurana and Poremba, arXiv:2303.08676).
翻译:我们开发了一种简单的编译器,能够通用地为多种密码系统添加公开可验证删除功能。该编译器仅需使用单向函数(若允许公开验证密钥为量子态,则使用单向状态生成器)。此前,类似的编译器要么依赖不可区分混淆(Bartusek等人,ePrint:2023/265),要么依赖几乎正则的单向函数(Bartusek、Khurana和Poremba,arXiv:2303.08676)。