Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
falls short for malicious verifiers with unpredictable choices of message e. For the simulation to go through, however, the simulator must guess the challenge e in advance. Given the exponential sampling space of e, the odds this event happens is negligible. Schnorr’s protocol satisfies however a