Qu’est-ce que la preuve de connaissance zéro ?

Une preuve ou un protocole à connaissance nulle est un moyen indirect pour un "prouveur" de convaincre un "vérificateur" qu'une déclaration concernant une information secrète est exacte sans la révéler.

Il existe deux types de protocoles de preuve à connaissance nulle : les ZKP interactives et les ZKP non interactives.

Il existe trois conditions préalables essentielles pour les preuves à connaissance nulle : l'exhaustivité, la validité et la connaissance nulle.

Les ZKP peuvent être utilisées avec la blockchain pour garantir la sécurité des applications de messagerie, des rapports détaillés et des transactions privées.

Des milliers de personnes surfent sur le web chaque jour, acceptent les cookies et partagent leurs informations personnelles pour profiter de divers services et produits en ligne. Malheureusement, chaque année, les utilisateurs sont de plus en plus exposés aux violations de données et aux utilisations non autorisées de leurs informations. En outre, ils sont parfois contraints de renoncer à leur vie privée pour accéder aux services proposés par des plateformes comme Google et Facebook - tels que des recommandations, des consultations, une assistance personnalisée, etc. Cependant, ils ne peuvent pas y accéder lorsqu'ils utilisent la navigation privée.

BBVA New Digital Businesses considère que l'asymétrie de la société numérique actuelle concernant l'accès à l'information est très préoccupante, car la vie privée et la propriété des données sont des "droits fondamentaux que nous devons protéger." C'est pourquoi la NDB ( New Digital Businesses) a mené des recherches sur de nouveaux mécanismes, outils et méthodes scientifiques utiles pour sécuriser l'économie basée sur les données tout en protégeant la vie privée", explique M. De la Gandara, qui dirige ce projet.

La preuve de l'absence de connaissance (ZKP) est l'une des technologies présentant le plus grand potentiel pour atteindre cet équilibre. Il s'agit d'un ensemble d'outils permettant de valider une information sans exposer les données qui la démontrent. Cette technologie est possible parce qu'un "testeur" peut vérifier mathématiquement l'exactitude d'un énoncé informatique sans révéler de données, à l'aide d'algorithmes cryptographiques.

Une preuve ou un protocole à connaissance zéro est un moyen indirect pour un "prouveur" de convaincre un "vérificateur" qu'une déclaration concernant des informations secrètes est exacte sans les révéler. Selon le protocole de preuve, il peut être interactif ou non.

Les ZKP avec des procédures interactives exigent du prouveur qu'il accomplisse des tâches ou des actions pour convaincre le vérificateur qu'il dispose des informations nécessaires. Dans les ZKP interactives, les mathématiques sont souvent impliquées dans l'exécution des tâches requises.

Dans les ZKP non interactives, il n'y a pas besoin d'interaction entre le prouveur et le vérificateur, ou la vérification peut être effectuée plus tard. Des ordinateurs ou des logiciels sont nécessaires pour ces types de ZKP.

Il existe trois conditions préalables essentielles pour les preuves à connaissance zéro:

1. l'exhaustivité : Un vérificateur peut confirmer qu'un prover a l'entrée appropriée si l'énoncé est vrai.

2. la validité : Aucune déclaration ne peut être falsifiée, et le vérificateur ne peut pas être convaincu que le prover a l'entrée requise quand le prover ne l'a pas.

3. connaissance nulle : le vérificateur ne peut rien savoir d'autre que si la déclaration est vraie ou fausse. Les données et les informations concernant les autres parties restent confidentielles.


L'utilisation des preuves de connaissance zéro dans la blockchain

---

Les ZKP offrent aux utilisateurs la flexibilité et le choix s'ils souhaitent contrôler et gérer leurs informations. En d'autres termes, la blockchain et les preuves de connaissance zéro ont de multiples applications.

Transactions privées (EY et Nightfall)
EY a développé des solutions blockchain et ZKP en réponse aux préoccupations relatives à la vie privée et à la souveraineté des données.

Un protocole ZKP public, Nightfall, a été publié par EY en 2019 et permet aux entreprises de réaliser des transactions privées et sécurisées à l'aide de blockchains publiques tout en préservant la confidentialité.

Pour répondre aux exigences des accords commerciaux complexes, EY concevra un prototype de compilateur, Starlight, qui utilise le protocole ZKP pour permettre la collaboration entre les parties au niveau du réseau tout en préservant la confidentialité vis-à-vis des concurrents.

Avec Nightfall et Starlight, les utilisateurs peuvent accéder aux applications blockchain avec une sécurité et une confidentialité accrues.

Applications basées sur les messages
L'envoi de messages en privé a été rendu possible grâce au chiffrement de bout en bout. Cependant, les applications de messagerie traditionnelles exigent que l'utilisateur vérifie son identité auprès du serveur. Les ZKP permettent aux individus de prouver leur identité sans révéler d'informations personnelles.

Documentation détaillée
La combinaison des ZKP et de la blockchain offre aux utilisateurs une sécurité lors du partage de documents complexes. En plus de chiffrer les données par morceaux, les ZKP peuvent contrôler la visibilité de certains blocs et des informations qu'ils contiennent, permettant à certains utilisateurs d'y accéder tout en restreignant les autres.



Principaux projets utilisant les preuves à connaissance nulle (Zero-Knowledge Proofs)

---

NuCypher
NuCypher est un projet ICO qui vise à construire un système de re-cryptage du réseau proxy. Il est basé sur l'idée de propriété, où vous verrouillez (cryptez) un document que vous possédez avec une clé privée. Pour partager ce document, vous devez fournir la clé privée au destinataire. En soi, c'est quelque chose qui ne devrait pas être fait. D'où la nécessité d'un ré-encryptage par procuration.

Avec le re-cryptage par procuration, vous pouvez re-crypter votre clé chiffrée sur la clé publique d'une autre personne. Vous pouvez ensuite partager le document avec la clé ré-encryptée lorsque cela est fait. Ainsi, le destinataire peut ouvrir le document avec sa clé publique.

NuCypher exploite un ensemble de nœuds interconnectés qui permet le ré-encryptage des clés. Ce réseau de nœuds stocke les clés en morceaux dans tous les nœuds, ce qui le rend plus sûr. La rapidité de cette opération dépend de la technologie dérivée du ZKP appelée NIKP (Non-interactive Zero-knowledge proof). Cette technologie fonctionne comme une horloge en garantissant que chaque ré-encryptage est correct et sécurisé à partir des nœuds KMS.

Nuggets
Ce programme vise à permettre aux utilisateurs d'avoir un meilleur contrôle sur leurs ventes lorsqu'ils achètent des articles en ligne. Grâce à ce projet, les utilisateurs peuvent rationner la quantité de données personnelles qu'ils divulguent lors de l'achat de biens via des vendeurs en ligne.
La stratégie de travail repose sur le fait que les bases de données centralisées détenues par ces vendeurs en ligne ne sont pas sécurisées. Elles sont donc des cibles faciles pour le piratage et les violations de données. Le projet Nuggets utilise la technologie ZKP pour cacher les informations privées des utilisateurs.

ZCash
ZCash (ou Zero Cash) met en œuvre ses opérations en utilisant le logiciel et le protocole sous-jacents de Bitcoin. Il a récemment ajouté les ZK-SNARKs à son réseau de blockchain pour s'assurer que tous ses registres sont cryptés et exempts de double dépense. Ce protocole de blockchain fonctionne à l'aide du protocole ZKP.

Vérification des votes
Il s'agit d'une application courante du ZKP dans le monde actuel. Le ZKP est utilisé aux côtés de la blockchain pour créer un moyen démocratique de vérifier les votes lors des élections. Il fournit un système transparent où l'ensemble du processus de vote peut être vérifié et être accessible.
Par conséquent, il n'est pas nécessaire de faire appel à une tierce partie pour vérifier le résultat des élections. Le ZKP fournit également une plateforme permettant aux électeurs de vérifier leur éligibilité. Ceci, à son tour, aide les électeurs à protéger leurs informations personnelles.

Validité des transactions ING
Voici une autre application pratique du ZKP aux côtés de la blockchain pour résoudre un problème du monde réel. ING a récemment annoncé qu'elle allait commencer à utiliser le ZKP aux côtés d'une plateforme blockchain renommée appelée Corda pour valider les transactions sur la plateforme.
La plateforme Corda était auparavant limitée dans son utilisation car elle ne pouvait être utilisée que pour sélectionner la sécurité et la confidentialité. Désormais, elle peut faire beaucoup plus.





Auteur : Observateur Gate.io: M. Olatunji
Avertissement :
* Cet article ne représente que le point de vue des observateurs et ne constitue pas une suggestion d'investissement.
*Gate.io se réserve tous les droits sur cet article. La rediffusion de l'article sera autorisée à condition que Gate.io soit référencé. Dans tous les autres cas, une action en justice sera engagée pour violation des droits d'auteur.