zk-SNARK
Zero-Knowledge Succinct Non-interactive ARgument of Knowledge — komprimiert einen Berechnungsbeweis auf rund 200 Byte, der sich in Millisekunden verifizieren lässt, unabhängig von der Größe des Problems.
Basiert auf paarungsbasierter Kryptografie (BLS12-381). Erfordert ein Trusted Setup — eine Zeremonie, bei der Teilnehmer gemeinsam Parameter erzeugen, wobei ein einziger ehrlicher Teilnehmer genügt. Groth16 ist das klassische SNARK; die neueren PLONK und Halo2 kommen mit universellem oder gar keinem Setup aus.
Treibt Zcash, Tornado Cash, Polygon zkEVM, Scroll und Aleo an. Die Beweiserzeugung ist langsam (Sekunden bis Minuten), die Verifikation dagegen schnell — ideal, um Off-Chain-Berechnungen On-Chain zu validieren. zk-STARK ist eine post-quanten-sichere Variante ohne Trusted Setup, dafür mit größeren Beweisen.