Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
interaction might not be possible or even not be desirable. Concurrency between the prover and verifier might be difficult to achieve. Moreover, there might be several verifiers that we want to provide convincing proof for, who might be in different geographic locations, or the proofs might be