zk-SNARK = “Zero-Knowledge Succinct Non-Interactive Argument of Knowledge”
A proof construction where one can prove possession of certain information, without revealing that information, and without any interaction between the prover and verifier.
Pros
“Zero-knowledge” proofs allow one party (the prover) to prove to another (the verifier) that a statement is true, without revealing any information beyond the validity of the statement itself.