Glossary
ZK-STARK
Preuve à divulgation nulle de connaissance succincte qui ne nécessite aucun trusted setup et résiste aux attaques quantiques, au prix de preuves plus volumineuses que les SNARKs.
STARK = Scalable Transparent ARgument of Knowledge. Ils utilisent de la cryptographie à base de hash plutôt que de pairings, ce qui les rend transparents (pas de trusted setup), résistants aux attaques quantiques, et plus rapides à prouver pour de gros calculs.
Le compromis est la taille des preuves — les STARKs sont plus gros que les SNARKs, donc leur vérification on-L1 coûte plus cher. StarkNet utilise des STARKs ; zkSync et Scroll utilisent des systèmes à base de SNARK. Certaines piles combinent désormais les deux : STARK pour le gros du proving, SNARK pour compresser le résultat pour la L1.