Preuve à divulgation nulle de connaissance (zero knowledge proof)
Une preuve à divulgation nulle de connaissance permet de prouver qu’une affirmation est vraie sans révéler d’informations secrètes. Il s’agit d’une technique, et non d’une cryptomonnaie ou d’un token.
Qu’est-ce qu’une preuve à divulgation nulle de connaissance ?
Une preuve à divulgation nulle de connaissance fait intervenir deux parties. Le prouveur élabore la preuve. Le vérificateur contrôle si elle est valide.
Le prouveur utilise des données secrètes et des règles de calcul convenues. Le vérificateur n’a pas besoin de recevoir ces données secrètes. Une preuve bien conçue établit uniquement l’affirmation choisie et ne révèle aucune autre information secrète.
Un exemple de preuve à divulgation nulle de connaissance
Imaginons qu’une personne doive prouver qu’elle a au moins 18 ans. Grâce à une preuve à divulgation nulle de connaissance, elle peut le démontrer sans révéler sa date de naissance.
Cela ne fonctionne que si les données relatives à l’âge sont fiables, par exemple si elles proviennent d’une pièce d’identité signée numériquement. Une preuve ne rend donc pas automatiquement vraies des données saisies par l’utilisateur.
Pourquoi les preuves à divulgation nulle de connaissance sont-elles importantes dans la crypto ?
Les applications crypto axées sur la confidentialité peuvent utiliser des preuves pour montrer qu’une transaction respecte les règles, sans rendre publiques toutes ses données.
Les solutions de mise à l’échelle utilisent également cette technique. Un zk-rollup peut prouver, au moyen d’une seule preuve de validité, qu’un ensemble de transactions a été traité correctement. La blockchain de base n’a alors pas besoin de refaire tous ces calculs.
Le terme apparaît donc dans les actualités consacrées à la confidentialité, à l’identité numérique et à la mise à l’échelle. ZK ne signifie pas automatiquement que les transactions sont entièrement anonymes : les adresses publiques et d’autres données peuvent encore révéler des informations. De plus, les preuves peuvent nécessiter beaucoup de puissance de calcul et de mémoire.
