[Resource Topic] 2014/587: Non-interactive zero-knowledge proofs in the quantum random oracle model

Welcome to the resource topic for 2014/587

Title:
Non-interactive zero-knowledge proofs in the quantum random oracle model

Authors: Dominique Unruh

Abstract:

We present a construction for non-interactive zero-knowledge proofs of knowledge in the random oracle model from general sigma-protocols. Our construction is secure against quantum adversaries. Prior constructions (by Fiat-Shamir and by Fischlin) are only known to be secure against classical adversaries, and Ambainis, Rosmanis, Unruh (FOCS 2014) gave evidence that those constructions might not be secure against quantum adversaries in general. To prove security of our constructions, we additionally develop new techniques for adaptively programming the quantum random oracle.

ePrint: https://eprint.iacr.org/2014/587

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .