Paper 2023/538 Original: eprint.iacr.org/2023/538 ↗
Publicly Verifiable Deletion from Minimal Assumptions
Abstract
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, CRYPTO 2023]. Technically, we upgrade an existing compiler for privately verifiable deletion [Bartusek-Khurana, CRYPTO 2023] to achieve publicly verifiable deletion by using digital signatures.
Metadata
- Available format(s)
PDF- Category
- Foundations
- Publication info
- Preprint.
- History
- 2023-09-21: last updated
- 2023-04-14: published
- Short URL
- https://ia.cr/2023/538
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2023/538,
author = {Fuyuki Kitagawa and Ryo Nishimaki and Takashi Yamakawa},
title = {Publicly Verifiable Deletion from Minimal Assumptions},
howpublished = {Cryptology {ePrint} Archive, Paper 2023/538},
year = {2023},
url = {https://eprint.iacr.org/2023/538}
}