Applications modernes : zk-SNARKs

Les preuves à divulgation nulle ne sont pas qu'une curiosité théorique. Elles sont aujourd'hui déployées dans des systèmes bien réels, de l'authentification aux monnaies numériques.

Authentification sans mot de passe exposé

Le cas d'usage le plus direct : prouver à un serveur qu'on connaît son mot de passe sans jamais le transmettre. Le serveur ne stocke ni ne reçoit le secret ; il vérifie seulement une preuve. Résultat : même si le serveur est piraté ou si le trafic est espionné, le mot de passe n'y figure nulle part. On élimine tout un pan de fuites de données.

Confidentialité sur la blockchain

Une blockchain publique est par nature transparente : chacun voit toutes les transactions, montants et adresses inclus. C'est un problème de vie privée.

Les preuves à divulgation nulle permettent de résoudre ce dilemme. La cryptomonnaie Zcash en est l'exemple emblématique : un utilisateur peut prouver qu'une transaction est valide (les fonds existent, ne sont pas dépensés deux fois, l'équilibre est respecté) sans révéler l'expéditeur, le destinataire, ni le montant.

  Transaction classique (Bitcoin) :
     Alice --[ 5 pieces, visibles ]--> Bob     (tout le monde voit)

  Transaction confidentielle (Zcash, zk) :
     ???   --[  preuve de validite  ]--> ???
        montant cache, adresses cachees
        mais la validite est PROUVEE et verifiable

Les preuves non interactives : zk-SNARKs et zk-STARKs

Le schéma défi-réponse suppose un dialogue en direct entre prouveur et vérifieur, avec plusieurs allers-retours. Sur une blockchain, c'est impraticable : le prouveur veut produire une seule preuve, publiable une fois pour toutes, que n'importe qui pourra vérifier plus tard, seul.

C'est le rôle des preuves non interactives. Les plus connues :

• zk-SNARK (Zero-Knowledge Succinct Non-interactive ARgument of Knowledge) : preuves très courtes et rapides à vérifier ; utilisées par Zcash.
• zk-STARK : plus récentes, sans « configuration de confiance » initiale et considérées comme résistantes au quantique.

Type	Interactif ?	Où	Atout
Grotte d'Ali Baba	oui, plusieurs tours	pédagogie	intuitif
zk-SNARK	non, preuve unique	Zcash, Ethereum	preuves minuscules
zk-STARK	non, preuve unique	passage à l'échelle	pas de setup de confiance

Le mot succinct est essentiel : une preuve peut concerner un calcul énorme tout en tenant en quelques centaines d'octets, vérifiables en millisecondes. C'est ce qui rend ces techniques utilisables à grande échelle, y compris pour compresser des milliers de transactions (les rollups sur Ethereum).

En résumé

• Authentification : prouver son identité sans transmettre ni stocker le mot de passe.
• Confidentialité sur blockchain : Zcash prouve qu'une transaction est valide sans dévoiler montants ni adresses.
• Les zk-SNARKs et zk-STARKs sont des preuves non interactives : une seule preuve, courte, vérifiable par tous, sans dialogue — d'où leur usage massif dans les blockchains.