Security of the Fischlin Transform in Quantum Random Oracle Model

Christian Majenz, Jaya Sharma

The Fischlin transform yields non-interactive zero-knowledge proofs with straight-line extractability in the classical random oracle model. This is done by forcing a prover to gene…