Publicly-verifiable deletion via target-collapsing functions.

Mar 15, 2023
52 pages
Published in:
  • Lect.Notes Comput.Sci. 14085 (2023) 99
  • Published: 2023
e-Print:

Citations per year

202220232024031
Abstract: (FIZ Karlsruhe)
We build quantum cryptosystems that support publicly-verifiable deletion from standard cryptographic assumptions. We introduce target-collapsing as a weakening of collapsing for hash functions, analogous to how second preimage resistance weakens collision resistance; that is, target-collapsing requires indistinguishability between superpositions and mixtures of preimages of an honestly sampled image.We show that target-collapsing hashes enable publicly-verifiable deletion (PVD), proving conjectures from A. Poremba [LIPIcs – Leibniz Int. Proc. Inform. 251, Article 90, 14 p. (2023; doi:10.4230/LIPIcs.ITCS.2023.90 (opens in new tab))] and demonstrating that the Dual-Regev encryption (and corresponding fully homomorphic encryption) schemes support PVD under the LWE assumption. We further build on this framework to obtain a variety of primitives supporting publicly-verifiable deletion from weak cryptographic assumptions, including:● Commitments with PVD assuming the existence of injective one-way functions, or more generally, almost-regular one-way functions. Along the way, we demonstrate that (variants of) target-collapsing hashes can be built from almost-regular one-way functions.● Public-key encryption with PVD assuming trapdoored variants of injective (or almost-regular) one-way functions. We also demonstrate that the encryption scheme of M. Hhan et al. [Lect. Notes Comput. Sci. 14004, 639–667 (2023; Zbl 1536.81044)] based on pseudorandom group actions has PVD.● X with PVD for X∈{attribute-based encryption, quantum fully-homomorphic encryption, witness encryption, time-revocable encryption}, assuming X and trapdoored variants of injective (or almost-regular) one-way functions.For the entire collection see [Zbl 1529.94008].
Note:
  • 52 pages
  • Zbl 1536.81044
  • 81P94
  • 94A60
  • 54H30
  • 70F35