Pour commencer, preuves à connaissance nulle, emprunté a l’anglais veut dire : Zero-Knowledge Proof (ZKP). Cette technique cryptographique cache la révélation des informations lors d’une transaction. A l’exception de l’échange d’une valeur connue à la fois du prouveur et des vérificateurs (les deux extrémités du processus). L’idée derrière la preuve de la connaissance zéro réside dans la dissimulation de l’information. Notamment, lorsqu’un utilisateur peut prouver à un autre utilisateur qu’il connaît une valeur absolue sans réellement révéler d’autres informations ou d’informations supplémentaires.
Les preuves à connaissance nulle apparaissent pour la première fois dans un article de 1985 : « La complexité des connaissances des systèmes de preuve interactifs ». Cet article fournit une définition des preuves à connaissance nulle largement utilisées aujourd’hui.
Les trois propriétés inhérentes des preuves à connaissance nulle (ZKP):
Complétude
La propriété de complétude indique que la transaction est vérifiée et que le prouveur est autorisé à traiter la transaction à l’avance. Lorsque la déclaration de transaction est vraie, le vérificateur a le pouvoir d’autoriser le prouveur pour l’entrée qu’il a demandée précédemment.
Solidité
La propriété de solidité note que la transaction est correcte et ne fait pas partie d’un cas frauduleux. Cela signifie que si la situation de la transaction est différente et que la déclaration est erronée, le vérificateur ne peut en aucun cas être convaincu. Dans cette situation, le vérificateur ne peut pas certifier le démonstrateur ou autoriser la demande du démonstrateur pour les intrants.
Zéro-connaissance
Le vérificateur ne peut avoir aucune information autre que la déclaration actuelle et l’authenticité de la déclaration étant vraie ou fausse. Toutes les autres informations et données privées des différentes parties seront cachées.
Au niveau supérieur, la création d’une preuve à connaissance nulle nécessite que le vérificateur questionne le prouveur pour qu’il passe par une série d’actions qui peuvent être effectuées lorsque le prouveur connaît correctement toutes les informations requises. Le prouveur sera finalement démenti par le test du vérificateur avec un degré de probabilité plus élevé.
Quels sont les deux types fondamentaux de preuves à connaissance nulle ?
Les deux types fondamentaux de ZKP sont les suivants :
ZKP interactif
Ces actions s’associent aux concepts et traitent de la probabilité mathématique. Dans le ZKP interactif, un prouveur doit convaincre un vérificateur spécifique et répéter ce processus pour chaque vérificateur. En outre, dans les ZKP interactifs, le prouveur doit effectuer une série d’actions pour convaincre le vérificateur d’un fait spécifique.
ZKP non interactif
Les ZKP non interactifs n’ont aucune interaction volontaire entre le vérificateur et le prouveur. Cependant, dans celui-ci, un prouveur crée une preuve que n’importe qui peut vérifier. En conséquence, le processus de vérification peut également se déplacer vers une étape ultérieure. Pour un meilleur mécanisme des ZKP non interactifs, ils ont besoin d’un logiciel spécifique.
L’utilisation des preuves à connaissance nulle ou ZKP dans les pièces de confidentialité
Les ZKP ont jusqu’à présent été les plus utilisés dans le Z-Cash , une cryptomonnaie qui permet des transactions secrètes. Le réseau AdEx permet des enchères d’annonces ZKP décentralisées , dans lesquelles un utilisateur peut enchérir sur le coût d’affichage d’une annonce sans divulguer le montant aux autres utilisateurs.
