We present a construction for non-interactive zero-knowledge proofs of knowledge in the random oracle model from general sigmaprotocols. 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.
CITATION STYLE
Unruh, D. (2015). Non-interactive zero-knowledge proofs in the quantum random oracle model. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9057, pp. 755–784). Springer Verlag. https://doi.org/10.1007/978-3-662-46803-6_25
Mendeley helps you to discover research relevant for your work.