References & Citations
Quantum Physics
Title: Quantum Lazy Sampling and Game-Playing Proofs for Quantum Indifferentiability
(Submitted on 25 Apr 2019 (v1), last revised 12 May 2021 (this version, v4))
Abstract: Game-playing proofs constitute a powerful framework for non-quantum cryptographic security arguments, most notably applied in the context of indifferentiability. An essential ingredient in such proofs is lazy sampling of random primitives. We develop a quantum game-playing proof framework by generalizing two recently developed proof techniques. First, we describe how Zhandry's compressed quantum oracles~(Crypto'19) can be used to do quantum lazy sampling of a class of non-uniform function distributions. Second, we observe how Unruh's one-way-to-hiding lemma~(Eurocrypt'14) can also be applied to compressed oracles, providing a quantum counterpart to the fundamental lemma of game-playing. Subsequently, we use our game-playing framework to prove quantum indifferentiability of the sponge construction, assuming a random internal function.
Submission history
From: Jan Czajkowski [view email][v1] Thu, 25 Apr 2019 17:40:06 GMT (240kb,D)
[v2] Sat, 31 Oct 2020 20:49:02 GMT (241kb,D)
[v3] Sun, 21 Feb 2021 09:49:24 GMT (249kb,D)
[v4] Wed, 12 May 2021 19:33:38 GMT (251kb,D)
Link back to: arXiv, form interface, contact.