Paper 2024/1848
Non-Interactive Zero-Knowledge Arguments with Certified Deletion
, University of Maryland, College Park, Google (United States)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
- A minor revision of an IACR publication in ASIACRYPT 2025
- Keywords
- quantum cryptographycertified deletionrevocable cryptographyzero-knowledge proofsanonymous credentials
- Contact author(s)
-
kasraz @ umd edu
jkatz2 @ gmail com - History
- 2025-12-08: last of 5 revisions
- 2024-11-11: received
- See all versions
- Short URL
- https://ia.cr/2024/1848
- License
-
CC BY
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}
}
