We present a general compiler to add the publicly verifiable deletion property for various cryptographic primitives including public key encryption, attribute-based encryption, and quantum fully homomorphic encryption. Our compiler only uses one-way functions, or more generally hard quantum planted problems for NP, which are implied by one-way functions. It relies on minimal assumptions and enables us to add the publicly verifiable deletion property with no additional assumption for the above primitives. Previously, such a compiler needs additional assumptions such as injective trapdoor one-way functions or pseudorandom group actions [Bartusek-Khurana-Poremba, ePrint:2023/370]. Technically, we upgrade an existing compiler for privately verifiable deletion [Bartusek-Khurana, ePrint:2022/1178] to achieve publicly verifiable deletion by using digital signatures.

翻译：我们提出了一种通用编译器，可为多种密码学原语（包括公钥加密、基于属性的加密以及量子全同态加密）添加可公开验证删除属性。该编译器仅需使用单向函数，或更一般地，依赖于NP类中的硬量子植入问题（此类问题可由单向函数隐含得出）。它基于最小假设，使我们能够在不增加额外假设的条件下为上述原语赋予可公开验证删除能力。此前，此类编译器需要额外假设（如单射陷门单向函数或伪随机群作用 [Bartusek-Khurana-Poremba, ePrint:2023/370]）。从技术上，我们通过引入数字签名，升级了现有用于私有验证删除的编译器 [Bartusek-Khurana, ePrint:2022/1178]，从而实现可公开验证删除功能。