Glossary
ZK-SNARK
Ein kompakter, nicht-interaktiver Zero-Knowledge-Beweis — klein in der Größe und schnell zu verifizieren, benötigt aber typischerweise ein Trusted Setup zur Erzeugung der Proving Keys.
SNARK = Succinct Non-interactive ARgument of Knowledge. Beweise liegen in der Größenordnung von Kilobytes und werden in Millisekunden verifiziert — deshalb können ZK Rollups bei jedem Batch einen an Ethereum posten.
Der Haken ist das Trusted Setup: Die Parametererzeugung benötigt mindestens einen ehrlichen Teilnehmer in einer Multi-Party-Zeremonie, sonst lassen sich Beweise fälschen. Moderne „universelle" SNARKs (PLONK, Halo2) reduzieren das Setup auf eine einmalige, anwendungsunabhängige Zeremonie.