"Zero-Knowledge Succinct Non-Interactive Argument of Knowledge," a type of zero-knowledge proof that allows proving the validity of a statement with a short proof and without interaction between the prover and verifier.