Paper 2024/1848 Original: eprint.iacr.org/2024/1848 ↗
Non-Interactive Zero-Knowledge Arguments with Certified Deletion
Abstract
We introduce the notion of non-interactive zero-knowledge (NIZK) arguments with certified deletion, a new primitive that enables the recipient of a (quantum) NIZK argument to delete it and obtain a (classical) certificate proving such deletion. We formalize this notion and propose two candidate constructions from standard cryptographic assumptions. Our first construction is based on classical NIZK arguments and quantum-hard one-way functions, but requires both the prover and verifier to run quantum algorithms. We then present an extension based on the learning with errors problem that allows the prover to be classical. Our results have applications to signatures of knowledge and anonymous credentials with certified deletion, which we also define and construct.
Metadata
- Available format(s)
PDF- Category
- Foundations
- Publication info
- Preprint.
- History
- 2025-12-08: last updated
- 2024-11-11: published
- Short URL
- https://ia.cr/2024/1848
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2024/1848,
author = {Kasra Abbaszadeh and Jonathan Katz},
title = {Non-Interactive Zero-Knowledge Arguments with Certified Deletion},
howpublished = {Cryptology {ePrint} Archive, Paper 2024/1848},
year = {2024},
url = {https://eprint.iacr.org/2024/1848}
}