zk-SNARK
Zero-Knowledge Succinct Non-interactive ARgument of Knowledge — kompresuje dowód obliczenia do ok. 200 bajtów, weryfikowanych w milisekundach, niezależnie od rozmiaru problemu.
Oparty na kryptografii z parowaniami (BLS12-381). Wymaga zaufanej konfiguracji (trusted setup) — ceremonii, w której uczestnicy wspólnie generują parametry; wystarczy jeden uczciwy uczestnik. Groth16 to klasyczny SNARK; nowsze PLONK i Halo2 mają konfigurację uniwersalną lub jej nie potrzebują.
Napędza Zcash, Tornado Cash, Polygon zkEVM, Scroll i Aleo. Generowanie dowodu jest wolne (od sekund do minut), weryfikacja szybka — idealne do walidacji w łańcuchu obliczeń wykonanych poza nim. zk-STARK to odmiana odporna na komputery kwantowe, bez zaufanej konfiguracji, ale z większymi dowodami.