zk-SNARK stands for Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. - It is a cryptographic proof system that allows one party (the prover) to prove to another party (the verifier) that a statement is true, without revealing any information beyond the statement’s truth.