Security of the Fiat-Shamir Transformation in the Quantum Random-Oracle Model
CRYPTO (2), pp. 356-383, 2019.
The famous Fiat-Shamir transformation turns any public-coin three-round interactive proof, i.e., any so-called sigma-protocol, into a non-interactive proof in the random-oracle model. We study this transformation in the setting of a quantum adversary that in particular may query the random oracle in quantum superposition. Our main res...More
PPT (Upload PPT)