#BOS @coineasydao.near Interactive Proofs: In an interactive ZK Proof, the prover and verifier engage in a back-and-forth communication to establish the validity of the statement. The prover provides responses to challenges from the verifier. Examples include the Schnorr protocol and the Fiat-Shamir heuristic.