Que sont les preuves à connaissance nulle ?

Les preuves à connaissance nulle contribuent à garantir que la Politique de confidentialité des transactions ne se fasse pas au détriment de la confiance. Poursuivez votre lecture pour Guides ce que sont les preuves à connaissance nulle, leur fonctionnement et leur utilité dans le Web3.

Il s'agit d'un contenu partenaire provenant deUnchained de Laura Shin et publié par CoinDesk.

Que sont les preuves à connaissance nulle ?

Les preuves à connaissance nulle (ZKP) sont des protocoles qui aident à prouver la validité des déclarations sur les blockchains sans offrir d'informations susceptibles de compromettre la Politique de confidentialité.Ils permettent aux utilisateurs de vérifier la validité d’une transaction sans révéler les détails de la transaction.

Dans les preuves à divulgation nulle de connaissance, le prouveur est chargé de prouver l'affirmation, tandis que le vérificateur a pour rôle de la valider. Les protocoles révèlent en chaîne que l'information cachée est valide, et le prouveur le sait avec une grande certitude.

Entre les mains d'acteurs malveillants, les informations personnelles identifiables (IPI) peuvent présenter certains risques, tels que l'usurpation d'identité, l'atteinte à la réputation et la discrimination. Les preuves à divulgation nulle de connaissance garantissent la protection de vos IPI.

Imaginez que vous devez prouver votre identité pour finaliser une transaction. Vous devrez fournir des justificatifs tels que votre permis de conduire et d'autres informations personnelles.

Cependant, vous n'aurez aucun contrôle sur la sécurité de ces informations une fois qu'elles seront entre les mains d'un tiers. Les pirates pourraient cibler la base de données centrale du tiers, ou le tiers pourraitpartagez vos informations avec d'autresà des fins de publicité ciblée et pour d’autres raisons.

Avec des preuves à connaissance nulle, vous pouvez éviter de partager ces informations et vous contenter de prouver leur validité.

Comment fonctionnent les preuves à connaissance nulle ?

Les preuves à divulgation nulle de connaissance utilisent des algorithmes qui traitent les données d'entrée et confirment leur véracité. Des projets comme StarkNet sur Ethereum, Polygon Zero, Zk Sync et d'autres utilisent actuellement ces protocoles dans leurs fonctionnalités.

Pour que les preuves à connaissance nulle fonctionnent efficacement, elles doivent satisfaire à trois critères :

• connaissance zéroLe vérificateur ne peut pas accéder à l'entrée d'origine. La seule information dont il dispose est la validité de l'instruction.
• Solidité: Le protocole ne peut pas valider une entrée invalide. Il doit prévoir des mesures de protection pour garantir que le prouveur ne puisse pas manipuler le vérificateur et lui faire croire que sa déclaration est vraie.
• Exhaustivité:Si l'entrée est valide, le protocole valide toujours l'énoncé. Le protocole accepte la preuve si les deux parties agissent honnêtement et que l'information sous-jacente est vraie.

Une preuve de base à connaissance nulle comprend trois éléments.

• Tout d’abord, nous avons le témoin, qui constitue l'information Secret . Le démonstrateur pose des questions que seule une personne au courant de l'information connaîtrait.
• Le deuxième élément est ledéfi, où le vérificateur sélectionne une question dans l'ensemble à laquelle le prouveur doit répondre.
• Le troisième et dernier élément est leréponse, où le prouveur répond à la question. Avec cette réponse, le vérificateur confirme que le prouveur peut accéder au témoin. Le vérificateur sélectionne ensuite d'autres questions dans l'ensemble. La multiplicité des questions limite la possibilité pour le prouveur de feindre la connaissance de l'information.

Types de preuves à divulgation nulle de connaissance

Il existe deux types de preuves à connaissance nulle : interactives et non interactives.

• Preuves interactives à connaissance nullePermettre une communication réciproque entre deux parties. Cette communication permet de vérifier la validité des déclarations à la satisfaction du vérificateur.
• Preuves à connaissance nulle non interactivesIci, deux parties n'engagent qu'un ONE tour de communication. Le prouveur partage les informations avec un algorithme qui calcule une preuve à divulgation nulle de connaissance. Le vérificateur reçoit la preuve et utilise un autre algorithme pour confirmer les connaissances du prouveur.

Compte tenu de la commodité des ZKP non interactifs, de nombreux protocoles actuellement disponibles entrent dans cette catégorie. Examinons-en quelques-uns.

• ZK-SNARK :Connus sous le nom d'argument de connaissance succinct non interactif à connaissance nulle, leur petite taille facilite le processus de vérification. Ces protocoles utilisent des courbes elliptiques pour générer une preuve cryptographique, un processus considéré comme économe en GAS .
• ZK-STARK :Ils sont connus sous le nom d'arguments de connaissance transparents et évolutifs à connaissance nulle. Ils sont rapides grâce à une interaction minimale entre les deux parties.
• Pare-balles : Ces preuves ne nécessitent pas de configuration fiable. Elles sont courtes, non interactives et à connaissance nulle, et permettent des transactions privées en Cryptomonnaie .
• PINARD:Ces permutations sont connues sous le nom de permutations sur les bases de Lagrange pour les arguments œcuméniques non interactifs de la connaissance. Les PLONK permettent un grand nombre de participants grâce à une configuration universelle et fiable.

Pourquoi avons-nous besoin de preuves à connaissance nulle ?

Différents cas d'utilisation expliquent la nécessité des preuves à divulgation nulle de connaissance. Examinons quelques-uns des plus importants.

• Sécurité et Politique de confidentialité: Le pseudonymat du Web3 ne garantit pas une Politique de confidentialité totale, l'historique des transactions étant disponible sur des blockchains publiques. Avec les ZKP, la vérification des informations est possible sans révéler d'informations personnelles identifiables, préservant ainsi l'anonymat.
• Vérification d'identité :Prouver son identité ne nécessite pas nécessairement de partager des informations sensibles. Les ZKP offrent un moyen de vérifier son identité de manière confidentielle et sécurisée.
• Évolutivité :Grâce aux ZKP, les réseaux blockchain peuvent vérifier les transactions sans révéler les données sous-jacentes. L'efficacité du réseau s'améliore, car la quantité d'informations stockées sur la blockchain diminue considérablement.
• Conformité:Les organisations peuvent se conformer aux exigences réglementaires en matière de blanchiment d'argent, de KYC et autres lois applicables. Les ZKP permettent aux organisations de se conformer sans stocker les informations personnelles des utilisateurs dans des bases de données centralisées.

Les preuves à divulgation nulle de connaissance (ZKP) constituent un outil de cryptographie fondamental permettant d'authentifier des informations auprès de parties non identifiées ou non fiables. La nature pseudonyme de l'espace Web3 pose un défi en matière de vérification des informations. Les ZKP répondent à ce problème grâce à des protocoles révolutionnaires qui promettent des transactions rapides et sécurisées.