Publicly Verifiable Deletion from Minimal Assumptions

ePrint Report: Publicly Verifiable Deletion from Minimal Assumptions

Fuyuki Kitagawa, Ryo Nishimaki, Takashi Yamakawa

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 …

attribute-based encryption compiler deletion encryption eprint report fully homomorphic encryption functions general hard homomorphic encryption key problems public public key quantum report