Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
Let’s explain in detail, one step at a time! OMG so many acronyms: P, NP, BPP, MA, AM… ASL? Without interaction and randomness we clearly fall back to NP. With a “non-interactive interactive proof”, i.e. if we allow the verifier to use randomness and accept false proofs with some probability, but