#BOS @coineasydao.near Non-Interactive Proofs (NIZK): In a non-interactive ZK Proof, the prover generates a proof that can be verified without any further interaction with the verifier. Examples include zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) and zk-STARKs (Zero-Knowledge Scalable Transparent Argument of Knowledge)