Yellow.com

Zcash (ZEC) a bondi de plus de 13 % en 24 heures, remettant cette cryptomonnaie axée sur la confidentialité sous le feu des projecteurs.

Derrière ce mouvement de prix se cache toutefois une histoire bien plus fascinante : le système cryptographique qui fait fonctionner Zcash est l’une des applications de mathématiques les plus élégantes jamais déployées sur une blockchain publique.

Ce système, ce sont les preuves à divulgation nulle de connaissance, plus connues sous le nom de « zero-knowledge proofs ». Si vous vous êtes déjà demandé comment une cryptomonnaie peut garantir mathématiquement la validité d’une transaction sans dévoiler l’expéditeur, le destinataire ni le montant, cette analyse est pour vous.

En résumé

Une preuve à divulgation nulle de connaissance permet à une partie (le « prouveur ») de convaincre une autre partie (le « vérificateur ») qu’une affirmation est vraie, sans révéler autre chose que la véracité de cette affirmation.

Zcash utilise une construction spécifique appelée zk-SNARKs pour masquer les données des transactions sur une blockchain publique, tout en permettant au réseau de vérifier qu’aucune pièce n’est créée ex nihilo.

La même technologie sert désormais de socle aux solutions de Layer 2, aux protocoles DeFi privés et aux systèmes d’identité, en faisant l’un des blocs de construction cryptographiques les plus déterminants du Web3.

Ce qu’est vraiment une preuve à divulgation nulle de connaissance

Une preuve à divulgation nulle de connaissance est une méthode par laquelle une partie, le prouveur, peut convaincre une autre partie, le vérificateur, qu’une affirmation précise est vraie. La contrainte clé : la preuve ne révèle rien des données sous-jacentes utilisées pour établir cette affirmation.

Le concept a été formalisé pour la première fois en 1985 dans un article académique de Shafi Goldwasser, Silvio Micali et Charles Rackoff, intitulé « The Knowledge Complexity of Interactive Proof Systems ».

Les auteurs cherchaient à déterminer la quantité minimale d’information qu’un prouveur doit révéler pour convaincre un vérificateur sceptique. Leur réponse : dans certains cas, cette quantité peut être pratiquement nulle.

Une preuve zéro connaissance doit respecter trois propriétés : la complétude (un prouveur honnête convainc toujours un vérificateur honnête), la solidité (un prouveur malveillant ne peut tromper le vérificateur qu’avec une probabilité négligeable) et la « zéro connaissance » (le vérificateur n’apprend rien d’autre que la validité de l’énoncé).

L’exemple pédagogique classique est celui de « la grotte d’Ali Baba ». Imaginez une grotte circulaire avec une seule entrée et, au fond, une porte verrouillée qui ne s’ouvre qu’avec un mot de passe secret. Un prouveur veut convaincre un vérificateur qu’il connaît ce mot de passe sans le lui révéler. Le prouveur entre dans la grotte et choisit le couloir de gauche ou de droite. Le vérificateur crie ensuite par quel côté il veut le voir ressortir. Si le prouveur connaît le mot de passe, il peut toujours apparaître du bon côté en passant par la porte si nécessaire. Répété de nombreuses fois, ce protocole rend statistiquement impossible pour quelqu’un qui ne connaît pas le mot de passe de répondre juste à chaque fois par simple hasard.

(Image: Shutterstock)

Preuves interactives ou non interactives : un enjeu crucial pour les blockchains

L’analogie de la grotte décrit une preuve zéro connaissance interactive : le vérificateur participe activement en envoyant un défi à chaque tour. C’est élégant sur le plan théorique, mais inadapté à une blockchain : il n’y a pas de vérificateur humain en face de chaque transaction pour lancer des défis en temps réel.

Les blockchains ont besoin de preuves zéro connaissance non interactives. Dans un schéma non interactif, le prouveur génère un objet de preuve unique et autonome que n’importe qui peut vérifier, à tout moment, sans aucun échange supplémentaire. C’est un problème mathématique nettement plus ardu.

La percée est venue avec l’heuristique de Fiat-Shamir, publiée en 1986. Elle transforme un protocole interactif en protocole non interactif en remplaçant les défis aléatoires du vérificateur par une fonction de hachage cryptographique. Le prouveur génère lui-même le « défi » en prenant le hachage de l’énoncé, ce qui empêche toute manipulation sans invalider la preuve.

Les preuves non interactives ont permis d’« embarquer » la validité cryptographique directement dans les transactions blockchain. Un nœud qui reçoit une transaction protégée n’a plus besoin d’interroger quiconque : il exécute localement l’algorithme de vérification et obtient une réponse binaire, oui ou non.

Comment les zk-SNARKs alimentent les transactions protégées de Zcash

Zcash a été la première grande blockchain publique à déployer des zk-SNARKs en production lors de son lancement en octobre 2016. L’acronyme signifie « Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge ». Chaque mot est chargé de sens technique.

« Succinct » signifie que la preuve est compacte et rapide à vérifier, quelle que soit la complexité du calcul sous-jacent. « Non-interactive » indique l’absence de va-et-vient entre prouveur et vérificateur, comme décrit plus haut. « Arguments of Knowledge » implique que le prouveur doit réellement détenir le témoin secret (la clé privée, la clé de dépense, les détails de la transaction) pour générer une preuve valide. Le simple hasard est mathématiquement exclu.

Lorsqu’un utilisateur de Zcash initie une transaction protégée, le portefeuille de l’expéditeur calcule une preuve qui démontre plusieurs éléments à la fois, sans en révéler aucun. La preuve atteste que l’expéditeur possède bien les fonds dépensés, que la somme des montants en entrée est égale à la somme des montants en sortie plus les frais (aucune création monétaire cachée), et que l’expéditeur connaît la clé privée de dépense de l’adresse source. La preuve est intégrée à la transaction, qui est diffusée au réseau. Chaque nœud complet la vérifie de façon indépendante, en général en quelques millisecondes.

Les transactions protégées de Zcash reposent sur une structure cryptographique appelée circuit Sapling (qui a remplacé le circuit Sprout initial en 2018). Cette mise à niveau a réduit le temps de génération de preuve d’environ 40 secondes à moins de 2 secondes, et la mémoire requise de 3 Go à environ 40 Mo, rendant pour la première fois réalistes les portefeuilles mobiles avec protection intégrale.

Zcash fonctionne avec deux types d’adresses. Les adresses transparentes (t-adresses) se comportent comme les adresses Bitcoin (BTC) : toutes les données sont visibles on-chain. Les adresses protégées (z-adresses) utilisent des zk-SNARKs pour chiffrer l’expéditeur, le destinataire et le montant. Les utilisateurs peuvent transacter entre les deux types, même si le passage d’une adresse transparente à une adresse protégée révèle encore les montants à ce point de jonction.

Le problème du « trusted setup », talon d’Achille de Zcash

L’aspect le plus controversé sur le plan technique de la mise en œuvre originelle des zk-SNARKs dans Zcash est la cérémonie de paramètres de confiance, le fameux « trusted setup ». Les zk-SNARKs nécessitent un jeu de paramètres publics, parfois appelé « chaîne de référence commune », généré avant le démarrage du système. Ces paramètres proviennent d’une valeur aléatoire secrète. Si ce secret était un jour reconstitué, un acteur malveillant pourrait forger des preuves et créer des Zcash à partir de rien, sans aucune possibilité de détection.

Pour limiter ce risque, l’équipe fondatrice de Zcash a organisé en 2016 une cérémonie de calcul multipartite impliquant six participants, chacun générant un fragment du secret. Les paramètres restent sûrs tant qu’au moins un des participants a détruit sa part de manière honnête. La cérémonie a été répétée et renforcée pour la mise à niveau Sapling en 2018, avec cette fois 90 participants, rendant la probabilité d’une compromission totale négligeable.

Cette exigence de trusted setup demeure une faiblesse théorique et un sujet de débat philosophique dans la communauté des cryptos de confidentialité. Les critiques soutiennent que même un risque infinitésimal d’inflation indétectable est inacceptable. Les défenseurs rétorquent que le nombre de participants et la conception auditable de la cérémonie constituent une mitigation suffisante.

Cette préoccupation a directement motivé le développement des zk-STARKs, l’autre grande branche de la famille des preuves zéro connaissance, que nous abordons dans la section suivante.

zk-SNARKs vs zk-STARKs : des arbitrages structurants

Les zk-STARKs, pour « Zero-Knowledge Scalable Transparent Arguments of Knowledge », ont été introduits dans un article de 2018 par Eli Ben-Sasson et ses collègues du Technion et de StarkWare. Ils éliminent entièrement le problème du trusted setup en ne s’appuyant que sur une aléa publiquement vérifiable dérivée de fonctions de hachage résistantes aux collisions, sans aucun paramètre secret.

Les compromis entre ces deux constructions sont concrets et déterminants pour les développeurs qui doivent choisir entre elles.

zk-SNARKs produisent des preuves très petites, souvent inférieures à 300 octets, et extrêmement rapides à vérifier. Elles nécessitent un trusted setup et reposent sur la cryptographie à courbes elliptiques, théoriquement vulnérable face à un ordinateur quantique suffisamment puissant.
zk-STARKs n’exigent aucun trusted setup et sont considérés comme résistants à l’informatique quantique car ils s’appuient uniquement sur des fonctions de hachage. Leurs preuves sont nettement plus volumineuses, généralement de l’ordre de dizaines à centaines de kilo-octets, tout en restant rapides à vérifier.
PLONK et autres SNARKs universels représentent une génération intermédiaire : ils nécessitent un trusted setup universel effectué une seule fois, et non pas un par circuit. Des projets comme Aztec et Polygon ont adopté des systèmes basés sur PLONK pour alléger le fardeau opérationnel des trusted setups, tout en conservant l’efficacité des SNARKs.

Pour un usage blockchain pratique en 2026, les zk-SNARKs dominent les protocoles de couche 1 centrés sur la confidentialité, comme Zcash. Les zk-STARK dominent, eux, les rollups de couche 2 axés sur la scalabilité, en particulier ceux développés par StarkWare, où la taille des preuves importe moins que la minimisation de la confiance et le débit maximal du réseau.

Au‑delà des cryptos de confidentialité : où les preuves à divulgation nulle de connaissance s’imposent déjà

Le premier cas d’usage des preuves à divulgation nulle de connaissance a été la confidentialité financière, comme l’a illustré Zcash. Mais la technologie s’est largement diffusée dans l’écosystème blockchain. L’engouement actuel autour de Nexus et de son réseau fondé sur les preuves à connaissance nulle est l’un des signaux les plus clairs de la banalisation de cette infrastructure.

Les ZK rollups constituent sans doute le déploiement commercial le plus important en dehors des cryptomonnaies de confidentialité. Des réseaux de couche 2 comme zkSync, StarkNet et Polygon zkEVM utilisent ces preuves pour agréger des centaines, voire des milliers de transactions Ethereum (ETH) en une seule preuve soumise à la chaîne principale. Le réseau principal n’a plus qu’à vérifier une preuve compacte au lieu d’exécuter chaque transaction une par une, ce qui démultiplie le débit tout en conservant l’intégralité des garanties de sécurité d’Ethereum.

La DeFi privée émerge comme une nouvelle catégorie : des protocoles y recourent aux ZKP pour permettre aux utilisateurs de prêter, échanger ou optimiser leur rendement sans exposer, on‑chain, leurs soldes de portefeuille ni leurs stratégies de trading. Le réseau Venice Token, actuellement en tendance aux côtés de Zcash, applique une philosophie cryptographique proche à l’inférence IA : il permet d’interroger des modèles d’IA sans que le fournisseur ne voie les requêtes de l’utilisateur.

Les systèmes d’identité et de justificatifs constituent une troisième vague. Les preuves à connaissance nulle permettent à un utilisateur de démontrer qu’il a plus de 18 ans, qu’il réside dans un pays donné ou qu’il a passé un KYC, sans divulguer son nom, sa date de naissance ou son numéro de passeport. Des projets comme Polygon ID et Sismo bâtissent des frameworks de certificats reposant sur cette capacité.

Selon Grand View Research, le marché des preuves à connaissance nulle devrait passer d’environ 243 millions de dollars en 2023 à plus de 12 milliards de dollars d’ici 2030, portée par l’adoption dans la finance, l’identité numérique et la traçabilité des chaînes d’approvisionnement.

Qui a réellement besoin de comprendre cette technologie

Les preuves à connaissance nulle concernent plusieurs profils d’acteurs crypto, même si la plupart des utilisateurs ne manipuleront jamais la cryptographie sous‑jacente.

Les traders et investisseurs positionnés sur des cryptos de confidentialité comme Zcash ont intérêt à comprendre qu’un rallye de prix ne relève pas uniquement de la spéculation. La technologie qui soutient le ZEC possède une utilité réelle et croissante, tant pour les ZK rollups que pour la DeFi privée, ce qui crée une demande structurelle au‑delà du simple pari spéculatif. Lorsque la pression réglementaire se renforce périodiquement sur les blockchains transparentes, les propriétés de confidentialité des systèmes fondés sur les ZKP deviennent un argument d’urgence.

Les utilisateurs et développeurs DeFi qui arbitrent entre différentes solutions de couche 2 doivent saisir la différence entre les rollups optimistes (basés sur des preuves de fraude et une fenêtre de contestation de sept jours) et les ZK rollups (fondés sur des preuves mathématiques, avec une finalité en quelques minutes). Ce choix influe directement sur les délais de retrait, le niveau de confiance requis et l’efficacité du capital.

Les utilisateurs soucieux de leur vie privée, quel que soit leur profil, doivent savoir que les adresses protégées de Zcash offrent un modèle de confidentialité radicalement différent du pseudo‑anonymat de Bitcoin. Des sociétés d’analyses on‑chain comme Chainalysis ont reconnu publiquement que les transactions Zcash totalement protégées sont, en pratique, opaques à leurs outils – une nuance de taille pour ceux qui ont besoin de confidentialité financière.

Les concepteurs de protocoles qui explorent des systèmes de justificatifs, de vote privé ou de preuve de réserves sans divulgation des soldes doivent comprendre le modèle de « circuit » des ZKP : concevoir un système à connaissance nulle, c’est d’abord concevoir le circuit arithmétique qui encode le problème, bien plus qu’écrire du code applicatif classique.

Conclusion

Nées comme une curiosité théorique dans un article académique de 1985, les preuves à divulgation nulle de connaissance sont devenues un pilier d’infrastructure pour les cryptos de confidentialité, les solutions de scalabilité et l’identité décentralisée. L’idée centrale – démontrer la véracité d’une information sans en révéler le contenu – reste si contre‑intuitive que nombre d’ingénieurs passent des années dans le secteur sans en mesurer pleinement les implications.

Zcash demeure le cas d’usage le plus visible de ZKP appliquées à la confidentialité financière. Son architecture zk‑SNARK, malgré les débats récurrents sur la phase de configuration de confiance (« trusted setup »), a fait ses preuves et inspiré directement toutes les grandes constructions de ZK rollups qui ont suivi.

L’extension de cette technologie à la scalabilité de la DeFi via des réseaux comme zkSync et StarkNet, puis à des couches de confidentialité pour l’IA comme Venice, montre que les preuves à connaissance nulle ne sont plus un gadget réservé aux cryptos de confidentialité, mais un primitive fondamentale de la prochaine génération de systèmes cryptographiques.

La prochaine fois qu’une crypto de confidentialité s’envole ou qu’un nouveau ZK rollup annonce des records de débit, vous disposerez du cadre nécessaire pour évaluer ce que fait réellement la technologie sous‑jacente – au‑delà de ce que suggère le graphique de prix.

Pourquoi les preuves à divulgation nulle de connaissance pourraient devenir la technologie la plus stratégique de la crypto