zk-SNARK je typ důkazu s nulovou znalostí, který umožní dokázat, že nějaké tvrzení platí, aniž by se odhalila data za ním, a to důkazem, který je velmi malý a rychlý na ověření. Zkratka znamená stručný nezinteraktivní důkaz znalosti. V kryptu se využívá dvěma směry: pro soukromí, kdy lze potvrdit platnost transakce bez zveřejnění částek a stran, a pro škálování, kdy rollup dokáže správnost tisíců transakcí jediným kompaktním důkazem zapsaným na hlavní řetězec. Nevýhodou bývá potřeba počáteční důvěryhodné přípravy parametrů. zk-SNARK je jednou z nejdůležitějších moderních technologií, která spojuje ochranu soukromí s efektivním ověřováním ve velkém měřítku.