📝 Salut, je suis 𝟏𝟎, c'est la série de vulgarisation sur l'histoire du #développement de la blockchain, le contenu de cette fois : preuve à divulgation nulle de connaissance.

La preuve à divulgation nulle de connaissance (ZKP) est une percée en cryptographie, la ZKP est maintenant l'un des objectifs principaux recherchés par la blockchain, et à l'avenir, elle pourrait grandement améliorer notre vie privée et notre sécurité.

👇👇👇

I. Qu'est-ce que la preuve à divulgation nulle de connaissance

La preuve à divulgation nulle de connaissance (ZKP) est une technique cryptographique qui permet au prouveur de prouver à un vérificateur qu'il connaît un fait sans divulguer aucune information concrète. Elle a été proposée en 1985 par Shafi Goldwasser, Silvio Micali et Charles Rackoff. Le cœur de la preuve à divulgation nulle de connaissance est que : le vérificateur peut certifier la véracité de la preuve, mais ne peut pas en tirer d'informations supplémentaires.

Prenons un exemple : si je veux prouver que je connais le numéro de téléphone de quelqu'un, je n'ai pas besoin de rendre le numéro public, je peux simplement passer l'appel. Le vérificateur sait que je peux contacter la personne, mais ne sait pas quel est le numéro exact.

II. Caractéristiques de la preuve à divulgation nulle de connaissance

La preuve à divulgation nulle de connaissance est une technique de vérification, où le vérificateur peut confirmer la véracité d'une déclaration sans connaître les détails spécifiques, possédant trois caractéristiques : intégrité, raisonnabilité et divulgation nulle.

L'intégrité signifie que si la déclaration est vraie, le vérificateur doit être convaincu, c'est-à-dire "il ne peut pas se tromper" ; la raisonnabilité signifie que si la déclaration est fausse, le vérificateur ne sera presque jamais trompé, c'est-à-dire "le faux ne peut pas être vrai" ; la divulgation nulle signifie que le vérificateur, en plus de confirmer que la déclaration est vraie, ne recevra aucune information supplémentaire.

La preuve à divulgation nulle de connaissance repose sur une vérification probabiliste, bien qu'il existe une très faible possibilité d'erreur, elle peut être réduite à presque zéro par des vérifications répétées. En termes simples, le prouveur doit connaître l'information réelle pour réussir la vérification, toute supposition aléatoire peut facilement être détectée. Cette méthode protège à la fois la vie privée et garantit l'exactitude des résultats de vérification.

III. Les deux principaux types de preuves à divulgation nulle de connaissance

1, Preuves à divulgation nulle de connaissance interactives : Dans cette méthode, le prouveur et le vérificateur doivent interagir à travers une série d'étapes, le prouveur prouve qu'il détient certaines informations en accomplissant une série de tâches ou d'opérations. Ces tâches impliquent généralement des calculs de probabilité mathématique, et le vérificateur confirme la véracité de l'information par ces opérations.

2, Preuves à divulgation nulle de connaissance non interactives : Contrairement aux interactives, cette méthode ne nécessite pas de communication en temps réel entre le prouveur et le vérificateur. Le prouveur génère une preuve par des calculs préalables, que le vérificateur peut ensuite vérifier. Ce processus ne nécessite pas d'interaction, le vérificateur doit simplement vérifier la preuve fournie pour confirmer la validité de l'information.

IV. Cas d'utilisation de la preuve à divulgation nulle de connaissance dans le Web3

1, Calcul hors chaîne et évolutivité : La ZKP peut aider à l'évolutivité de la blockchain, comme les ZK-Rollups qui transfèrent le travail de calcul hors chaîne, rendant la vitesse de traitement des blockchains comme Ethereum beaucoup plus rapide et l'efficacité considérablement améliorée.

2, Ponts inter-chaînes : Grâce à la technologie ZKP, les transactions inter-chaînes peuvent être plus sécurisées, des projets comme Wormhole et ZKBridge utilisent cette technologie pour résoudre le problème d'interopérabilité entre différentes blockchains.

3, Jeux sur chaîne : Les jeux blockchain ont un grand défi - comment garder ses stratégies secrètes sur une chaîne publique et transparente ? La ZKP est la solution ! Elle peut "cacher" certaines informations dans le jeu, par exemple dans des jeux comme (la forêt sombre), les joueurs peuvent garder leurs stratégies à l'abri des autres, garantissant l'équité du jeu et la vie privée des joueurs.

4, Sécurité des actifs : La ZKP améliore la sécurité du Web3, garantissant la sécurité des actifs des utilisateurs et l'exactitude des données grâce à des preuves d'efficacité.

5, Vérification des utilisateurs : La ZKP permet aux utilisateurs de prouver leur identité sans divulguer d'informations privées, par exemple, lors de la connexion, il suffit d'une preuve ZK, le système ne peut pas connaître votre véritable mot de passe.

6, Partage de documents et protection du stockage : Partager des fichiers sur le réseau soulève souvent des préoccupations quant à la fuite de données, la ZKP peut chiffrer vos données, assurant que seules les personnes autorisées peuvent les voir.

V. Projets adoptant zk-STARK

StarkEx

StarkEx est une solution d'extension de Layer 2 sur Ethereum, qui utilise des preuves STARK pour vérifier les transactions, améliorant ainsi la vitesse de traitement des transactions et réduisant les coûts. Elle est principalement utilisée pour soutenir des applications de transactions et de paiements, des projets comme DeversiFi, Sorare et dYdX sont basés sur StarkEx. Cependant, la limitation de StarkEx est qu'elle ne prend pas en charge les contrats intelligents, ce qui signifie qu'elle ne peut pas réaliser des applications décentralisées (dApp) entièrement fonctionnelles comme d'autres plateformes.

StarkNet

StarkNet est une plateforme universelle qui permet aux développeurs de déployer des contrats intelligents sur le zk-rollup d'Ethereum. Des applications Ethereum populaires comme Aave et Maker prévoient également de se lancer sur StarkNet pour améliorer l'évolutivité. Le zk-rollup de StarkEx peut également fonctionner sur StarkNet, optimisant ainsi encore plus les performances d'évolutivité des applications.

VI. Queue

Si le contenu vous a été utile, n'hésitez pas à aimer, commenter et suivre, merci de votre soutien !!!🌅