A succinct non-interactive zero-knowledge proof system with small proofs and fast verification, but typically requiring a trusted setup.
zk-SNARKs produce tiny proofs that verify quickly on-chain. Many constructions require a one-time trusted setup ceremony; compromised setup can undermine soundness.
"A zk-SNARK verifies an entire batch of transactions with a single on-chain proof, reducing gas."
All terms and definitions may update as the Cryptionary improves.