STARKs: důkazy s nulovou znalostí, které se skutečně škálují žádné důvěryhodné nastavení, žádná kvantová Achillova pata.