De Zcash à Wall Street : pourquoi les preuves à divulgation nulle de connaissance comptent au‑delà des cryptomonnaies axées sur la confidentialité

Les cryptomonnaies axées sur la confidentialité explosent, les ZK rollups traitent des milliards de transactions chaque semaine, et les grandes banques déposent discrètement des brevets autour de la cryptographie à divulgation nulle de connaissance.

Pourtant, la plupart des détenteurs de crypto ne se sont jamais arrêtés pour se demander ce qu’est réellement une preuve à divulgation nulle de connaissance. Cet écart compte plus qu’avant.

Comprendre les preuves ZK n’est plus un savoir de niche réservé aux cryptographes. C’est de plus en plus le cadre qui sous-tend la façon dont la blockchain se met à l’échelle, comment la confidentialité on-chain fonctionne, et pourquoi Zcash (ZEC) repose sur un modèle de sécurité fondamentalement différent de celui de tout autre actif de confidentialité sur le marché.

TL;DR

Une preuve à divulgation nulle de connaissance permet à une partie de prouver qu’elle sait quelque chose sans révéler ce dont il s’agit, protégeant les données tout en gardant la vérification sans confiance.

Les preuves ZK sont à la base des outils de confidentialité blockchain comme Zcash et des solutions de mise à l’échelle comme les ZK rollups, ce qui en fait l’un des primitives cryptographiques les plus largement appliquées dans la crypto aujourd’hui.

Savoir comment fonctionnent les preuves ZK vous aide à évaluer si les affirmations d’un projet de « confidentialité » ou de « mise à l’échelle » sont mathématiquement fondées ou seulement du marketing.

L’idée centrale derrière les preuves à divulgation nulle de connaissance

Une preuve à divulgation nulle de connaissance est une méthode cryptographique qui permet à un prouveur de convaincre un vérificateur qu’une affirmation est vraie sans partager d’autre information que le fait que cette affirmation est vraie. Le concept a été décrit formellement pour la première fois par les chercheurs Shafi Goldwasser, Silvio Micali et Charles Rackoff dans un article de 1985 publié dans le SIAM Journal on Computing. Leur travail a introduit l’idée que la connaissance elle‑même pouvait être séparée de la preuve utilisée pour la démontrer.

L’illustration classique non technique est celle d’un ami daltonien et de deux boules de billard. Vous voulez prouver que les boules sont de couleurs différentes sans dire à votre ami laquelle est laquelle. Vous lui donnez les boules derrière son dos, il les échange ou non, et vous identifiez correctement si un échange a eu lieu. Répétée suffisamment de fois, la probabilité que vous deviniez correctement par hasard devient pratiquement nulle. Vous avez prouvé que les boules diffèrent sans jamais révéler leurs couleurs.

Une preuve à divulgation nulle de connaissance réalise simultanément trois propriétés : complétude (une affirmation vraie sera acceptée), solidité (une affirmation fausse ne peut pas être acceptée) et propriété de divulgation nulle (le vérificateur n’apprend rien d’autre que la véracité de l’assertion).

Dans un contexte blockchain, « l’assertion » peut être quelque chose comme : « Je connais la clé privée qui contrôle cette adresse », ou « Cette transaction est valide au regard des règles du protocole », ou « Le solde de cet utilisateur est au‑dessus du seuil requis. » Les preuves ZK permettent de vérifier ces faits on‑chain sans diffuser la clé, les détails de la transaction ou le solde.

(Image: Shutterstock)

Les deux principaux systèmes de preuve, zk‑SNARKs et zk‑STARKs

Le cadre théorique derrière les preuves ZK a été mis en œuvre dans deux systèmes pratiques dominants. Chacun fait des compromis différents, et comprendre ces compromis est essentiel pour lire les affirmations techniques de n’importe quel projet.

Les zk‑SNARKs (Succinct Non‑Interactive Arguments of Knowledge) sont le plus ancien des deux systèmes. Zcash a été pionnier dans leur utilisation sur une blockchain en production en 2016, s’appuyant sur les recherches de Ben‑Sasson et de ses collègues au Technion. Les SNARKs produisent des preuves extrêmement petites, souvent inférieures à un kilooctet, et se vérifient rapidement. Le mot « succinct » est ici très important : un vérificateur peut contrôler un SNARK en quelques millisecondes, quelle que soit la complexité du calcul sous‑jacent.

Le revers des premiers SNARKs est la nécessité d’un paramétrage de confiance (trusted setup). Avant que le système puisse être utilisé, un ensemble de paramètres cryptographiques doit être généré lors d’une cérémonie et, si un participant conserve son entrée secrète, il pourrait théoriquement forger des preuves. Zcash a mené des cérémonies élaborées de calcul multipartite, appelées « Powers of Tau », pour minimiser ce risque. Les constructions SNARK modernes, notamment PLONK et Groth16, ont réduit mais pas entièrement éliminé les exigences de trusted setup dans toutes les configurations.

Les zk‑STARKs (Scalable Transparent Arguments of Knowledge) ont été introduits par Eli Ben‑Sasson chez StarkWare en 2018. Les STARKs ne nécessitent aucun trusted setup, remplaçant cette cérémonie par un aléa publiquement vérifiable. Ils sont également résistants au quantique, s’appuyant sur des fonctions de hachage plutôt que sur des appariements sur courbes elliptiques. Le compromis est la taille de la preuve : une preuve STARK est nettement plus grande qu’une preuve SNARK, ce qui augmente le coût de sa publication on‑chain.

Les zk‑STARKs sont transparents et résistants au quantique mais produisent des preuves plus volumineuses. Les zk‑SNARKs sont compacts et rapides à vérifier mais ont historiquement nécessité une cérémonie de paramétrage de confiance.

La plupart des projets ZK actuels utilisent des variantes hybrides ou optimisées. StarkWare avec StarkEx et Polygon avec zkEVM utilisent des systèmes basés sur les STARKs. Les SNARKs Groth16 alimentent le pool protégé de Zcash. Aztec Network et zkSync utilisent des systèmes dérivés de PLONK qui minimisent l’exposition au trusted setup. La taxonomie évolue rapidement, mais le compromis central entre taille de preuve et transparence du paramétrage reste l’axe autour duquel s’articulent les choix de conception.

Comment Zcash utilise les preuves ZK pour masquer les transactions

Zcash est l’application la plus ancienne et la plus éprouvée des preuves ZK sur une blockchain publique en production. Lorsque vous envoyez des ZEC via le pool protégé de Zcash, la transaction est chiffrée de bout en bout. L’expéditeur, le destinataire et le montant sont tous cachés. Ce que le réseau peut encore vérifier, sans voir aucun de ces détails, c’est qu’aucune pièce n’est créée à partir de rien et que l’expéditeur contrôle réellement les fonds dépensés.

C’est là que la preuve ZK fait son travail. Le prouveur (votre logiciel de portefeuille) construit une preuve qui dit : « Il existe une note non dépensée valide pour ce montant, je connais la clé de dépense de cette note, et la somme des entrées est égale à la somme des sorties plus les frais. » Le réseau vérifie cette preuve en quelques millisecondes sans jamais apprendre quelle note, quelle clé ou quel montant.

Zcash utilise Sapling, un protocole basé sur les SNARKs mis à niveau en 2018, et plus récemment Orchard, introduit lors de la mise à niveau de réseau NU5 en 2022, qui utilise le système de preuve Halo 2 développé par l’Electric Coin Company. Halo 2 est remarquable car il permet la composition récursive de preuves sans trusted setup, une avancée cryptographique significative par rapport aux premières itérations de Zcash.

Le résultat est une garantie de confidentialité appliquée mathématiquement plutôt que par une politique. Elle ne repose pas sur un mixeur, un coordinateur ou une chaîne dont la confidentialité est basée sur l’obscurité. La confidentialité découle directement du système de preuve lui‑même.

Les preuves ZK comme outil de mise à l’échelle, et pas seulement de confidentialité

Beaucoup de gens découvrent d’abord les preuves ZK via les cryptomonnaies de confidentialité, mais l’application qui croît le plus vite en 2026 est la mise à l’échelle. Les ZK rollups utilisent des preuves pour compresser des milliers de transactions en un seul résumé cryptographique publié sur une couche de base comme Ethereum (ETH).

Voici comment fonctionne la logique de mise à l’échelle. Un opérateur de rollup traite un lot de transactions off‑chain. Une fois le lot terminé, l’opérateur génère une preuve ZK attestant que toutes ces transactions ont été exécutées correctement selon les règles du protocole.

Cette preuve, ainsi qu’une mise à jour d’état compressée, est publiée sur Ethereum. Le réseau Ethereum n’a besoin que de vérifier la preuve, pas de ré‑exécuter chaque transaction. La vérification est peu coûteuse. Le calcul compressé dans la preuve peut avoir requis des milliers d’unités de gas par transaction, mais la preuve coûte une fraction de cela à vérifier.

Le ratio de compression varie selon le système. zkSync Era et Polygon zkEVM ont tous deux annoncé des gains de débit effectifs de 100x ou plus par rapport à la publication de données de transaction brutes. StarkNet utilise des STARKs récursifs qui peuvent imbriquer des preuves dans des preuves, compressant encore davantage.

La distinction clé avec les optimistic rollups est la finalité. Les optimistic rollups comme Arbitrum et Optimism supposent que les transactions sont valides et prévoient une fenêtre de contestation pouvant aller jusqu’à sept jours. Les ZK rollups produisent immédiatement une preuve cryptographique de validité, de sorte que la finalité est aussi rapide que la vérification de la preuve on‑chain, généralement en quelques minutes plutôt qu’en jours.

Les ZK rollups atteignent une finalité plus rapide que les optimistic rollups parce que la validité est prouvée dès le départ plutôt que supposée puis contestée.

Cela rend les ZK rollups attrayants non seulement pour le débit, mais aussi pour des applications comme le trading on‑chain, les paiements et tout cas d’usage où les utilisateurs ne peuvent pas se permettre d’attendre une semaine avant qu’un retrait soit considéré comme définitif.

Les preuves récursives et la prochaine frontière

L’un des développements techniques les plus importants dans les systèmes de preuves ZK au cours des trois dernières années est la récursion. Une preuve récursive est une preuve qui vérifie une autre preuve. Cela semble circulaire, mais c’est une véritable avancée cryptographique aux conséquences pratiques profondes.

Imaginez une chaîne de mille transactions. Au lieu de générer une seule grande preuve pour les mille d’un coup, ce qui est coûteux en calcul, vous générez une preuve pour les dix premières, puis une preuve qui vérifie cette preuve plus les dix suivantes, et ainsi de suite.

By the end, you have a single compact proof representing all one thousand transactions.

The verifier checks one proof of constant size, regardless of how many transactions are nested inside it.

Mina Protocol utilise des SNARKs récursifs pour garder l’ensemble de l’état de sa blockchain compressé dans une preuve d’environ 22 kilo-octets, la taille de quelques tweets, quel que soit le niveau de croissance de la chaîne. Halo 2, que Zcash utilise désormais dans Orchard, atteint la récursion sans configuration de confiance pour la première fois à l’échelle de la production. Nova, un système de preuve basé sur un schéma de “folding” développé par Microsoft Research et d’autres, promet de faire passer la preuve récursive à de nouveaux niveaux d’efficacité.

La conséquence pratique est que les preuves ZK passent du statut d’outils coûteux et spécialisés, réservés à des contextes de très grande valeur, à celui de mécanismes suffisamment bon marché pour tourner sur du matériel grand public et être intégrés dans un large éventail d’applications.

Also Read: Exclusive: Anchorage Says Federal Crypto Rules Will Unlock Next Phase of Tokenized Finance Growth

(Image: Shutterstock)

Who Actually Needs To Understand ZK Proofs And Why

La réponse est plus large que ce que la plupart des gens imaginent. Vous n’avez pas besoin de comprendre les appariements sur courbes elliptiques ou les engagements polynomiaux qui sous-tendent les mathématiques. Mais une compréhension conceptuelle de ce que font les preuves ZK, et de ce qu’elles ne peuvent pas faire, devient une forme de culture générale de base pour évaluer une part croissante des projets crypto.

Si vous évaluez une cryptomonnaie axée sur la confidentialité, demandez-vous si la garantie de confidentialité est basée sur des preuves ZK ou repose sur l’obfuscation, le mélange (mixing) ou les adresses furtives (stealth addresses).

La confidentialité basée sur les preuves ZK est appliquée mathématiquement au niveau du protocole. Tout le reste dépend de choix de mise en œuvre qui peuvent être inversés ou exploités.

Si vous comparez des solutions de Layer 2, la distinction entre rollups optimistes et ZK a des conséquences directes sur votre temps de retrait et sur les hypothèses de sécurité que vous acceptez. Un ZK rollup qui génère une preuve valide vous donne une finalité cryptographique. Un rollup optimiste qui n’a jamais été contesté avec succès peut encore receler un état invalide non détecté pendant six jours.

Si vous examinez des applications d’identité ou de justificatifs, comme les scores de crédit on-chain, la preuve de personnalité (proof of personhood) ou la DeFi avec KYC allégé, les preuves ZK sont le mécanisme qui permet à ces systèmes de vérifier un fait vous concernant sans stocker ni révéler les données sous-jacentes. Worldcoin, Polygon ID et plusieurs couches d’identité d’entreprise se construisent déjà sur ce principe.

Si vous détenez du ZEC, comprendre Halo 2 et la mise à jour Orchard vous aide à évaluer si les promesses de confidentialité de Zcash tiennent face aux nouveaux modèles de confidentialité, et pas seulement face au registre transparent de Bitcoin (BTC).

Also Read: Bitcoin Tops $82,000 As 67-Day Funding Slump Hints At Short Squeeze

Conclusion

Les preuves à divulgation nulle de connaissance (zero-knowledge proofs) sont l’un des rares primitifs cryptographiques qui résolvent simultanément deux problèmes très importants pour la crypto : la confidentialité et la mise à l’échelle. La même idée mathématique qui permet à Zcash de masquer le montant d’une transaction permet aussi à un ZK rollup de compresser dix mille transactions Ethereum en une seule vérification on-chain. Cette double utilité explique pourquoi la technologie ZK a attiré, ces quatre dernières années, plus d’attention de recherche sérieuse et de capital-risque que presque tout autre domaine de la cryptographie appliquée.

Les concepts ne sont pas simples. Mais l’intuition centrale — prouver qu’une chose est vraie sans révéler pourquoi elle est vraie — est accessible à toute personne prête à y consacrer trente minutes. Et à mesure que la technologie mûrit, que les preuves récursives deviennent moins coûteuses, que les exigences de configuration de confiance se réduisent et que la compatibilité zkEVM s’améliore, les empreintes des preuves ZK apparaîtront dans de plus en plus d’éléments de l’infrastructure que vous utilisez, que l’interface mentionne ou non ces termes.

Les projets et les actifs qui comprennent profondément cette technologie et l’intègrent correctement présentent un profil de risques et de capacités fondamentalement différent de ceux qui ne le font pas. Cette différence mérite d’être connue.