zk-STARK
Scalable Transparent ARgument of Knowledge : une preuve à divulgation nulle de connaissance sans paramétrage de confiance, bâtie uniquement sur des fonctions de hachage et résistante aux ordinateurs quantiques.
Eli Ben-Sasson et al., 2018. Transparent : aucun paramètre « magique » issu d'une cérémonie ; la sécurité repose uniquement sur une fonction de hachage résistante aux collisions (arbres de Merkle, protocole FRI). Scalable : la taille de la preuve croît de façon polylogarithmique avec la taille du calcul, et non linéairement.
Le prix à payer : des preuves environ 10 à 100 fois plus volumineuses que celles des zk-SNARK (des kilo-octets contre quelques centaines d'octets). Font tourner Starknet, Polygon Miden et RISC Zero. À privilégier quand la résistance post-quantique ou l'absence de paramétrage de confiance est une exigence ferme.