zk-STARK
Scalable Transparent ARgument of Knowledge: prova a conoscenza zero senza trusted setup, costruita solo su funzioni hash e sicura anche contro i computer quantistici.
Eli Ben-Sasson e altri, 2018. Trasparente significa nessun parametro "magico" derivato da una cerimonia: la sicurezza poggia unicamente su una funzione hash resistente alle collisioni (alberi di Merkle, protocollo FRI). Scalabile significa che la dimensione della prova cresce in modo polilogaritmico rispetto al calcolo, non linearmente.
Il costo: le prove sono 10-100 volte più grandi di quelle degli zk-SNARK (kilobyte contro centinaia di byte). Alimenta Starknet, Polygon Miden, RISC Zero. Preferito dove la sicurezza post-quantistica o l'assenza di trusted setup sono requisiti imprescindibili.