Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
challenges the prover to decide which one it was. There is an important difference between these two: in the first one the verifier reveals all of his random choices (coin flips), in the second one something is computed from the random choice (a permutation of the according graph), which is shared