zk-SNARK
Zero-Knowledge Succinct Non-interactive ARgument of Knowledge — komprimerar ett beräkningsbevis till ~200 byte som verifieras på millisekunder, oberoende av problemets storlek.
Bygger på pairing-baserad kryptografi (BLS12-381). Kräver en trusted setup (ceremoni där participanter tillsammans genererar parametrar, en räcker som ärlig). Groth16 är klassiska SNARK:en; nyare PLONK och Halo2 har universal eller ingen setup.
Driver Zcash, Tornado Cash, Polygon zkEVM, Scroll, Aleo. Långsam bevisgenerering (sekunder till minuter), snabb verifiering — vilket gör dem perfekta för on-chain validering av off-chain compute. zk-STARK är post-quantum-säker variant utan trusted setup men större bevis.