Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
Properties of Zero-Knowledge Proof Systems) have proven a series of impossibility results. If there is only one message sent by the prover, in a zero-knowledge proof we land in the class BPP (bounded-error probabilistic polynomial time), which is contained in MA and is just P where we add the