Glossary
ZK-SNARK
Preuve à divulgation nulle de connaissance succincte et non interactive — petite et rapide à vérifier, mais nécessitant généralement un trusted setup pour générer les clés de preuve.
SNARK = Succinct Non-interactive ARgument of Knowledge. Les preuves font de l'ordre du kilooctet et se vérifient en quelques millisecondes, c'est pourquoi les ZK rollups peuvent en publier une sur Ethereum à chaque batch.
Le piège est le trusted setup : la génération des paramètres exige au moins un participant honnête dans une cérémonie multipartite, faute de quoi les preuves peuvent être forgées. Les SNARKs « universels » modernes (PLONK, Halo2) réduisent le setup à une unique cérémonie indépendante de l'application.