zk-STARK je příbuzný zk-SNARKu, také druh důkazu s nulovou znalostí, ale s dvěma důležitými rozdíly: nepotřebuje počáteční důvěryhodnou přípravu parametrů a jeho bezpečnost se opírá o odolnější kryptografické předpoklady, které mají obstát i proti kvantovým počítačům. Cenou za to bývá větší velikost důkazu než u zk-SNARKu. Používá se hlavně pro škálování, kde umožní jediným důkazem potvrdit správnost obrovské dávky transakcí a odlehčit tak hlavní řetězec. Volba mezi STARKem a SNARKem je kompromis mezi velikostí důkazu, rychlostí a bezpečnostními předpoklady. Obojí patří k technologiím, které mají kryptu přinést vyšší propustnost bez obětování ověřitelnosti.