ZK-SNARK

Succinct Non-interactive Argument of Knowledge. A compact, quickly verifiable zero-knowledge proof; most constructions require a trusted setup.