Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
possibility of making an error with a bounded probability. The class of problems in BPP not known to be in P is decreasing steadily (most prominently PRIMES) and it is believed that BPP = P. Furthermore, if we have a total of two messages interchanged (one from the verifier to the prover and one