Glossaire · Cryptographie
Zero-Knowledge Proof
Preuve cryptographique qu'une affirmation est vraie, sans révéler d'information supplémentaire que sa véracité même.
Une preuve à divulgation nulle (zk-proof) permet à une partie (le prouveur) de convaincre une autre (le vérificateur) qu’une assertion est vraie, sans révéler l’information sous-jacente. Concept théorisé en 1985 par Goldwasser, Micali et Rackoff.
Exemple classique : prouver qu’on connaît le mot de passe d’un compte, sans jamais le transmettre. En crypto, les zk-proofs permettent :
- De vérifier une transaction sans révéler les montants ni les parties (Zcash).
- De prouver la validité de milliers de transactions en un seul paquet compressé (zk-rollups comme StarkNet, zkSync).
- De prouver qu’on est majeur, qu’on détient un diplôme ou qu’on est citoyen d’un pays, sans révéler son identité (applications d’identité décentralisée).
Les deux familles les plus utilisées sont zk-SNARKs (courtes mais requièrent une setup ceremony) et zk-STARKs (plus lourdes mais post-quantiques et transparentes).