Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. A cryptographic method that allows 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.
