Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
repeatedly choose random graphs and ask the prover to exhibit isomorphisms to either one of the graphs whenever this is the case. By computing the proportion the verifier can estimate the probability and decide which situation is more likely to be the case (remember that we allow the verifier to