Succinct Non-Interactive Argument of Knowledge enabling short proofs and fast verification. Common schemes include Groth16 and PLONK; often needs a trusted setup.