Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
instance not be convincing for another party, who will just watch this interaction. After all, a colluding malicious prover and verifier could have just agreed on a sequence of regular/decaf coffees to be handed beforehand and could just be putting up an act. In some applications such an