Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
with the prover, however the random choice is kept secret (finding the random choice constitutes exactly the challenge of the prover). These are called public coin/private coin protocols accordingly. Though it seems like private coin protocols are more powerful, a surprising result of