Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
and all previous messages to a random oracle and uses the output of the random oracle as random challenge. The outcome is random, and is unpredictable before the prover settles on the message to send to the verifier. One can show that if the initial interactive public coin proof is sound, one