eprint.iacr.org will be offline for approximately an hour
for routine maintenance at 11pm UTC on Tuesday, April 16. We lost some data between
April 12 and April 14, and some authors have been notified that they need to resubmit their papers.
You are looking at a specific version 20140730:081851 of this paper.
See the latest version.
Paper 2014/587
Non-interactive zero-knowledge proofs in the quantum random oracle model
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.
Metadata
- Available format(s)
- Category
- Foundations
- Publication info
- Preprint. MINOR revision.
- Keywords
- Quantum cryptographyproofs of knowledgerandom oracles
- Contact author(s)
- unruh @ ut ee
- History
- 2014-07-30: received
- Short URL
- https://ia.cr/2014/587
- License
-
CC BY