Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
the response. We cannot leave the task of choosing the random challenge to the prover, as he is untrusted. To create random challenges that are unpredictable and not available before the previous message has been sent by the prover, we imagine an abstract construct, called a random oracle. A random