Link to this headingZero Knowledge Proofs

Enables a party to prove information to another party without disclosing additional information

Interactive Protocol: Needs to have multiple messages back and forth from prover to verifier

Non-Interactive Protocol: Only one message is needed to be sent from the prover to the verifier

Link to this headingZero-Knowledge Succinct Non-interactive Argument of Knowledge (zkSNARKs)

Link to this headingSecurity

https://eprint.iacr.org/2025/118 How to Prove False Statements: Practical Attacks on Fiat-Shamir