SNARK (Succinct Non-Interactive Argument of Knowledge)

A type of zero-knowledge proof that is compact and can be verified quickly without any back-and-forth between prover and verifier, used in ZK-rollups and privacy protocols.