zk-STARK
Scalable Transparent ARgument of Knowledge — ein Zero-Knowledge-Beweis ohne Trusted Setup, der ausschließlich auf Hashfunktionen basiert und post-quanten-sicher ist.
Eli Ben-Sasson u. a., 2018. Transparent bedeutet: keine „magischen" Parameter aus einer Zeremonie — die Sicherheit beruht allein auf einer kollisionsresistenten Hashfunktion (Merkle-Bäume, FRI-Protokoll). Scalable bedeutet: Die Beweisgröße wächst poly-logarithmisch mit der Größe der Berechnung, nicht linear.
Der Preis: Beweise sind etwa 10–100× größer als bei zk-SNARKs (Kilobyte statt einiger Hundert Byte). Treibt Starknet, Polygon Miden und RISC Zero an. Bevorzugt dort, wo post-quanten-Sicherheit oder ein fehlendes Trusted Setup ein hartes Kriterium sind.