Preuves à Divulgation Nulle De Connaissance Et Vie Privée

Imaginez pouvoir démontrer que vous avez plus de 18 ans sans jamais montrer votre date de naissance. Ou encore confirmer que votre compte contient assez d’argent pour une opération sans dévoiler le moindre chiffre. Ces possibilités, qui semblaient purement théoriques il y a quelques années, deviennent concrètes grâce aux preuves à divulgation nulle de connaissance. Sur les blockchains, où tout est public par défaut, cette technologie change radicalement la façon dont on pense la confiance et la confidentialité.

Pourquoi les preuves à divulgation nulle révolutionnent la blockchain

La plupart des chaînes publiques reposent sur un principe simple : la transparence crée la confiance. Bitcoin et Ethereum exposent chaque transaction, chaque solde et chaque interaction. Cette ouverture permet de vérifier le système, mais elle efface aussi toute notion de vie privée. Dès qu’une adresse est liée à une personne réelle, l’historique complet devient accessible. Les preuves à divulgation nulle de connaissance (souvent appelées ZK proofs) brisent ce dilemme. Elles permettent de prouver qu’une affirmation est vraie sans révéler les données qui la rendent vraie.

Concrètement, un utilisateur peut démontrer qu’une transaction est valide, qu’il n’est pas sur une liste de sanctions, ou qu’un calcul a été exécuté correctement, sans jamais exposer les détails sous-jacents. C’est cette capacité qui place les ZK proofs au rang des innovations cryptographiques les plus importantes depuis la fonction de hachage.

Les trois propriétés indispensables

Toute preuve à divulgation nulle digne de ce nom doit respecter trois conditions strictes. La première s’appelle la complétude. Si l’affirmation est vraie et que le protocole est correctement suivi, le vérificateur est toujours convaincu. Une preuve valide ne peut pas être rejetée.

La deuxième propriété est la solidité. Un prouveur malhonnête ne peut pas fabriquer une preuve convaincante pour une affirmation fausse, sauf avec une probabilité négligeable, souvent inférieure à une chance sur 2 puissance 128. En pratique, cela revient à une impossibilité.

La troisième, et la plus déterminante, est la divulgation nulle elle-même. Le vérificateur n’apprend rien d’autre que la validité de l’affirmation. Aucune information sur le secret, les calculs intermédiaires ou les données d’entrée ne fuit. Après avoir vu la preuve, le vérificateur sait uniquement que l’affirmation est vraie, rien de plus.

zk-SNARKs et zk-STARKs : deux familles, des compromis différents

Deux grandes familles dominent actuellement l’écosystème. Les zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge) produisent des preuves très compactes, souvent entre 200 et 300 octets. Leur vérification sur Ethereum coûte relativement peu de gas et le temps de vérification reste constant, que la preuve porte sur une transaction ou sur dix mille.

Leur principal inconvénient historique réside dans le besoin d’une cérémonie de setup de confiance. Des paramètres aléatoires sont générés une seule fois, puis la source de hasard doit être détruite. Si cette destruction n’est pas honnête, un attaquant pourrait forger des preuves. Des cérémonies multi-participants comme Powers of Tau ont réduit ce risque, et des systèmes plus récents comme PLONK ou Halo 2 l’ont largement atténué, voire supprimé.

Les zk-STARKs (Zero-Knowledge Scalable Transparent Arguments of Knowledge) s’affranchissent complètement de tout setup de confiance. Leur sécurité repose sur des fonctions de hachage, ce qui les rend transparents et potentiellement résistants aux ordinateurs quantiques. En contrepartie, les preuves sont nettement plus volumineuses, souvent de plusieurs dizaines ou centaines de kilo-octets. Sur une blockchain où chaque octet de données a un coût, cela se traduit par des frais de vérification plus élevés. Des techniques de composition récursive permettent toutefois de compresser le résultat final publié on-chain.

Aujourd’hui, la frontière entre les deux familles s’estompe. Les ingénieurs se concentrent davantage sur la vitesse de génération des preuves et le coût de vérification que sur le choix purement théorique du système.

Le rôle des preuves ZK dans le scaling des blockchains

Le principe d’un rollup ZK est élégant. Un opérateur exécute un lot de transactions hors chaîne, produit une preuve que tout s’est déroulé correctement, puis publie cette preuve sur Ethereum. Le contrat de vérification on-chain ne vérifie qu’une seule preuve, pour un coût de gas fixe, quel que soit le nombre de transactions regroupées.

Cette asymétrie est puissante. Générer la preuve d’un lot de dix mille transactions peut prendre plusieurs minutes sur une machine puissante. La vérifier ne prend qu’une fraction de seconde. C’est précisément ce déséquilibre qui permet d’augmenter massivement le débit tout en conservant la sécurité d’Ethereum.

Plusieurs projets illustrent des approches distinctes. zkSync Era utilise une machine virtuelle personnalisée compatible avec Solidity au niveau du langage, mais optimisée pour la génération de preuves. StarkNet s’appuie sur le langage Cairo, conçu spécifiquement pour les calculs prouvables, et sur des STARKs. Polygon zkEVM et Scroll visent une équivalence aussi complète que possible avec l’EVM d’Ethereum, afin de faciliter la migration des applications existantes. Le choix se fait souvent entre compatibilité maximale et performances de preuve optimales.

La confidentialité : le terrain le plus sensible

Sur une blockchain publique classique, chaque transfert révèle l’adresse de l’émetteur, celle du destinataire, le montant et le contrat appelé. Ces informations restent visibles indéfiniment. Des sociétés d’analyse de chaînes exploitent ces données pour relier des adresses à des identités réelles via les informations KYC des exchanges et les schémas comportementaux.

Les protocoles de confidentialité basés sur les preuves ZK rompent cette chaîne de traçabilité. L’utilisateur génère une preuve que sa transaction est valide (fonds suffisants, absence de double dépense, équilibre des montants) sans exposer ni l’émetteur, ni le destinataire, ni le montant. La preuve est publiée et vérifiée, mais les détails restent chiffrés.

Zcash a été le pionnier en 2016 avec ses transactions blindées fondées sur des zk-SNARKs. L’utilisateur peut choisir entre un mode transparent et un mode blindé. Dans la pratique, l’adoption du mode privé est restée inférieure aux attentes initiales. Des projets plus récents comme Aztec Network ou Aleo vont plus loin en proposant une confidentialité programmable : non seulement les transferts de tokens, mais aussi l’exécution de logiques de smart contracts peuvent rester privées.

Les preuves à divulgation nulle permettent de vérifier la conformité sans exiger la divulgation. C’est un outil que les décideurs n’avaient jamais eu auparavant.

Le choc réglementaire et les réponses techniques

La confidentialité dans la crypto se heurte à un cadre juridique encore en construction. L’ajout de Tornado Cash sur la liste des sanctions de l’OFAC en 2022 a marqué un tournant. Pour la première fois, un code open source a été sanctionné en tant que tel. En 2024, un tribunal néerlandais a condamné l’un des développeurs pour facilitation de blanchiment, établissant un précédent inquiétant pour les auteurs de logiciels de confidentialité.

Face à cette pression, une nouvelle génération de protocoles intègre des mécanismes de conformité sélective. Un utilisateur peut prouver qu’il a passé un KYC auprès d’un exchange agréé, qu’il ne figure pas sur une liste de sanctions, ou que ses fonds ne proviennent pas d’adresses bloquées, le tout sans révéler d’autres informations. Les privacy pools formalisés notamment par Vitalik Buterin permettent de prouver qu’un retrait appartient à un sous-ensemble de dépôts considérés comme « propres », excluant les adresses connues pour des activités illicites.

Ces compromis techniques ne résolvent pas le conflit fondamental entre vie privée et surveillance. Ils offrent toutefois aux régulateurs un moyen de vérifier certaines règles sans forcer une transparence totale. La décision d’utiliser ou non cet outil reste politique.

Coût de génération des preuves et applications prioritaires

Générer une preuve ZK reste coûteux en calcul. Les transactions de grande valeur, où ce coût représente une fraction négligeable du montant, ont été les premières à adopter la technologie. Les transferts institutionnels inter-chaînes, les positions DeFi importantes et les systèmes de règlement d’entreprise peuvent absorber plusieurs dollars de frais de preuve sans difficulté. Les applications grand public, où chaque transaction vaut parfois seulement quelques euros, attendent encore une baisse significative des coûts.

Des entreprises spécialisées développent des puces ASIC et des FPGA dédiés à la génération de preuves. L’objectif est de réduire ces coûts de plusieurs ordres de grandeur. La convergence entre scaling et confidentialité est particulièrement prometteuse : un rollup ZK qui traite des transactions privées combinerait débit élevé et confidentialité native. Plusieurs équipes travaillent déjà sur cette combinaison, même si la complexité technique reste élevée.

Ce que cet article ne couvre pas

Les détails mathématiques des engagements polynomiaux, des pairings sur courbes elliptiques ou de la transformation de Fiat-Shamir ne sont pas abordés ici. Ces notions relèvent de l’algèbre abstraite de niveau universitaire et ne sont pas nécessaires pour évaluer un protocole ZK en tant qu’utilisateur ou investisseur. De même, le domaine émergent du zkML (vérification de modèles d’apprentissage automatique sans révéler les poids) et la course aux accélérateurs matériels évoluent trop vite pour une analyse figée.

Points de vigilance avant d’utiliser un protocole ZK

Avant de confier des fonds ou des données à un système fondé sur des preuves à divulgation nulle, plusieurs vérifications s’imposent. Le premier réflexe consiste à examiner l’état des audits. Les circuits ZK sont complexes et une erreur d’implémentation peut permettre de forger des preuves, donc de créer des tokens ou de voler des fonds. Il faut privilégier les audits réalisés par des équipes spécialisées en cryptographie ZK, pas uniquement des auditeurs de smart contracts classiques.

Ensuite, il est essentiel de comprendre précisément ce qui est réellement privé. Certains protocoles masquent les montants mais laissent les adresses visibles. D’autres font l’inverse. D’autres encore cachent l’ensemble. Les métadonnées (timing des transactions, patterns de gas, fréquence d’interaction) peuvent parfois permettre une dé-anonymisation même lorsque le cœur de la transaction est chiffré.

Le statut du setup de confiance mérite aussi une attention particulière. Si le protocole repose sur des zk-SNARKs classiques, il faut vérifier comment la cérémonie a été organisée. Une cérémonie multi-parties avec des centaines de participants offre davantage de garanties qu’une cérémonie restreinte. Les systèmes basés sur STARKs, PLONK avec setup universel ou Halo 2 évitent complètement ce problème.

Le risque réglementaire ne doit pas être négligé. Un protocole de confidentialité peut un jour se retrouver sous le coup de sanctions. La présence de mécanismes de conformité (divulgation sélective, privacy pools) et leur robustesse face à un examen réel constituent des indicateurs utiles. Enfin, le temps de génération de la preuve sur le matériel de l’utilisateur influence directement l’expérience. Sur un téléphone, une preuve simple peut prendre de 30 secondes à deux minutes. Certains protocoles délocalisent la génération sur des serveurs dédiés, ce qui accélère le processus mais introduit une hypothèse de confiance supplémentaire.

Questions fréquentes sur les preuves à divulgation nulle

Une preuve à divulgation nulle de connaissance permet de démontrer qu’une affirmation est vraie sans expliquer pourquoi elle l’est. Sur une blockchain, cela signifie prouver qu’une transaction est valide, que l’on détient suffisamment de fonds ou qu’un calcul a été correctement effectué, sans jamais exposer les détails de la transaction, le solde exact ou les données utilisées.

Les zk-SNARKs produisent des preuves très petites et peu coûteuses à vérifier, mais ont historiquement nécessité un setup de confiance. Les zk-STARKs génèrent des preuves plus volumineuses, n’exigent aucun setup de confiance et sont théoriquement plus résistantes aux attaques quantiques. Les systèmes modernes tendent à réduire ces différences.

Les rollups ZK exécutent des milliers de transactions hors chaîne puis publient une seule preuve de validité. La vérification on-chain ne coûte qu’un montant fixe de gas, indépendamment de la taille du lot. Cette asymétrie entre le coût élevé de génération (pris en charge par l’opérateur) et le coût faible de vérification crée l’effet de scaling.

Les monnaies de confidentialité fondées sur des preuves ZK ne sont pas illégales en soi dans la plupart des juridictions. Cependant, les approches réglementaires varient. Certains exchanges ont retiré ces actifs pour se conformer aux règles anti-blanchiment. Les sanctions contre Tornado Cash ont montré que des protocoles de confidentialité peuvent faire l’objet d’actions. La légalité dépend avant tout de la juridiction et de l’usage concret.

Un setup de confiance est une cérémonie unique destinée à générer des paramètres cryptographiques. Les valeurs aléatoires créées doivent être détruites. Si un participant conserve ces valeurs, il pourrait théoriquement forger des preuves. Les cérémonies multi-parties réduisent ce risque en exigeant qu’un seul participant soit honnête. Les systèmes plus récents limitent ou éliminent ce besoin.

Techniquement, il est possible de rendre privées toutes les interactions de smart contracts. Des projets comme Aztec Network et Aleo construisent précisément ce type d’environnement. Les obstacles restent le coût computationnel, le temps de génération des preuves et le cadre réglementaire. L’avenir de la confidentialité totale dépend autant des décisions politiques que des avancées techniques.

Les privacy pools permettent de déposer des fonds dans un ensemble partagé et de les retirer vers une autre adresse, rompant le lien on-chain. Contrairement aux mixeurs simples, ils combinent preuves ZK et ensembles d’association pour prouver qu’un retrait appartient à un sous-ensemble de dépôts excluant les adresses illicites connues. L’utilisateur prouve son appartenance à l’ensemble propre sans révéler le dépôt précis.

Les risques principaux incluent les bugs dans les circuits ZK, les vulnérabilités liées aux anciens setups de confiance, les actions réglementaires, le coût computationnel élevé sur le matériel grand public, et l’immaturité relative des outils de développement. Les fuites de métadonnées restent également un vecteur de dé-anonymisation possible.

Perspectives et enjeux à moyen terme

Les preuves à divulgation nulle de connaissance ne sont plus une curiosité cryptographique. Elles constituent aujourd’hui un pilier technique pour deux problèmes majeurs des blockchains publiques : le scaling et la confidentialité. Leur adoption progressive dans les rollups, les protocoles de privacy et même des cas d’usage hors crypto (vote privé, vérification d’identité, conformité sélective) montre l’étendue de leur potentiel.

Le chemin reste semé d’obstacles. Le coût de génération des preuves doit encore baisser pour une adoption grand public. Les régulateurs doivent clarifier leur position face à des outils qui permettent de prouver la conformité sans imposer la transparence totale. Les développeurs doivent continuer à renforcer les audits et à simplifier l’expérience utilisateur.

Ce qui est certain, c’est que la capacité de prouver sans révéler change la nature même de la confiance numérique. Au lieu de devoir tout exposer pour être vérifié, il devient possible de démontrer uniquement ce qui est nécessaire. Cette inversion de paradigme pourrait bien redéfinir, dans les années à venir, la manière dont les systèmes décentralisés gèrent à la fois la sécurité, la scalabilité et le respect de la vie privée.

Les prochaines étapes concrètes passeront par l’amélioration des accélérateurs matériels, l’apparition de standards de conformité sélective plus matures, et la convergence progressive entre les architectures de scaling et de privacy. Les projets qui réussiront à combiner ces deux dimensions tout en restant utilisables au quotidien auront un avantage décisif. Pour l’instant, les preuves à divulgation nulle de connaissance offrent déjà aux utilisateurs, aux développeurs et aux institutions un outil d’une puissance rare : la possibilité de vérifier sans surveiller.