[APPRENDRE]
Vous avez déjà entendu parler de #ZK, #ZeroKnowledge, notamment avec des Blockchains comme Starknet, ZKSync ou PolygonZK.
Mais qu'est-ce que ça veut dire ? Qu'est-ce qu'une Zero Knowledge Proof ?
Je vous explique tout ça, sans terme technique, en 5 minutes!
Vous avez déjà entendu parler de #ZK, #ZeroKnowledge, notamment avec des Blockchains comme Starknet, ZKSync ou PolygonZK.
Mais qu'est-ce que ça veut dire ? Qu'est-ce qu'une Zero Knowledge Proof ?
Je vous explique tout ça, sans terme technique, en 5 minutes!
![[APPRENDRE]
Vous avez déjà entendu parler de #ZK, #ZeroKnowledge, notamment avec des Blockchains co...](https://pbs.twimg.com/media/F7nGGjdWIAAFlqI.jpg)
Ce thread est disponible en version article avec plus de détails.
Vous pouvez le retrouver sur mon blog, Explorations Blockchain, le lien est sur mon profil. 🫶🏻
Vous pouvez le retrouver sur mon blog, Explorations Blockchain, le lien est sur mon profil. 🫶🏻
Il est simple de résumer ce qu'est une Zero Knowledge Proof.
Une preuve à divulgation nulle de connaissance, en français, est un protocole cryptographique qui permet de prouver qu'une information est vraie, sans jamais révéler l'information elle-même !
Comment ça marche ?
Une preuve à divulgation nulle de connaissance, en français, est un protocole cryptographique qui permet de prouver qu'une information est vraie, sans jamais révéler l'information elle-même !
Comment ça marche ?
Nous avons deux acteurs qui ont un rôle spécifique.
D'un côté, le "prover", qui est là pour prouver qu'il possède une information.
De l'autre côté, le "verifier", qui lui souhaite savoir une information.
Le tout, sans révéler l'information en question.
Voici un exemple👇🏻
D'un côté, le "prover", qui est là pour prouver qu'il possède une information.
De l'autre côté, le "verifier", qui lui souhaite savoir une information.
Le tout, sans révéler l'information en question.
Voici un exemple👇🏻
Un "verifier" peut être une salle de musculation, qui veut savoir si vous avez bien plus de 18 ans pour vous inscrire.
Le "prover" permettra de montrer à votre salle de sport que vous avez bien plus de 18 ans, sans montrer votre carte d'identité.
Mais quelle est l'utilité ?
Le "prover" permettra de montrer à votre salle de sport que vous avez bien plus de 18 ans, sans montrer votre carte d'identité.
Mais quelle est l'utilité ?
L'utilité ici est de prouver que vous avez l'âge limite, sans avoir à divulguer ni votre âge réel, ni toutes les informations critiques qui se trouvent sur votre carte d'identité.
Le but des ZKP est de montrer le minimum nécessaire pour converser votre privacy.
Le but des ZKP est de montrer le minimum nécessaire pour converser votre privacy.
Mais comment ça fonctionne ?
Avec des preuves mathématiques, généralement sous forme d'épreuve !
Prenons ensemble un exemple très précis 🔎
Prouver que Alice a réalisé une grille de Sudoku, sans jamais montrer la grille terminée à Bob.
👇🏻
Avec des preuves mathématiques, généralement sous forme d'épreuve !
Prenons ensemble un exemple très précis 🔎
Prouver que Alice a réalisé une grille de Sudoku, sans jamais montrer la grille terminée à Bob.
👇🏻
Alice veut prouver à Bob qu'elle a résolu un Sudoku.
Après résolution, elle découpe soigneusement sa grille en 81 petits carrés, retournant face cachée tous sauf les chiffres de départ.
Ainsi, la procédure de preuve peut débuter.
Après résolution, elle découpe soigneusement sa grille en 81 petits carrés, retournant face cachée tous sauf les chiffres de départ.
Ainsi, la procédure de preuve peut débuter.
Bob choisit une ligne, une colonne ou un carré 3x3 au hasard.
Alice prend les 9 cases correspondantes, les mélange, puis les montre à Bob qui vérifie qu'ils contiennent bien tous les chiffres de 1 à 9.
Ensuite, Alice remet les carrés à leur place, face cachée...
Alice prend les 9 cases correspondantes, les mélange, puis les montre à Bob qui vérifie qu'ils contiennent bien tous les chiffres de 1 à 9.
Ensuite, Alice remet les carrés à leur place, face cachée...
Ce processus se répète pour toutes les lignes, toutes les colonnes et tous les carrés 3x3.
À la fin, Bob a la preuve que Alice a résolu la grille sans jamais en connaître la solution exacte.
Il est sûr que le Sudoku est réussi, mais n'a pas idée de la grille !
À la fin, Bob a la preuve que Alice a résolu la grille sans jamais en connaître la solution exacte.
Il est sûr que le Sudoku est réussi, mais n'a pas idée de la grille !
Dans l'exemple du Sudoku, nous avons la certitude à la fin du challenge de vérification que tout est ok, car nous pouvons traiter toutes les données.
Ce n'est pas le cas pour tous les challenges, dans ce cas, c'est la répétition du challenges sans erreur qui validera la preuve.
Ce n'est pas le cas pour tous les challenges, dans ce cas, c'est la répétition du challenges sans erreur qui validera la preuve.
On part du principe que vous (ou le code) pouvez réussir un challenge de vérification sur un coup de chance.
Mais réussir un challenge 100, 1000 ou 1 million de fois ne relève plus de la chance et peut être considéré comme une preuve.
Mais réussir un challenge 100, 1000 ou 1 million de fois ne relève plus de la chance et peut être considéré comme une preuve.
C'est comme ça que fonctionnent les ZKP.
Bien sûr, ce n'est qu'un exemple pour comprendre le concept, la réalité est plus complexe, utilise des maths, et est automatisée !
Mais vous avez désormais une idée de ce qui se cache derrière l'acronyme ZKP, Zero Knowledge Proofs.
Bien sûr, ce n'est qu'un exemple pour comprendre le concept, la réalité est plus complexe, utilise des maths, et est automatisée !
Mais vous avez désormais une idée de ce qui se cache derrière l'acronyme ZKP, Zero Knowledge Proofs.
Les ZKP peuvent transformer la #blockchain.
Ils ajoutent de la confidentialité et de la sécurité, permettant des transactions privées sur des registres publics, tout en gardant la transparence et l'intégrité du réseau.
Il en existe différents types comme zk-SNARK et zk-STARK.
Ils ajoutent de la confidentialité et de la sécurité, permettant des transactions privées sur des registres publics, tout en gardant la transparence et l'intégrité du réseau.
Il en existe différents types comme zk-SNARK et zk-STARK.
Si vous souhaitez que j'approfondisse ces sujets, notamment en parlant des différences entre les types de ZK, n'hésitez pas à commenter ce thread pour me faire savoir que ce sujet vous intéresse.
Si vous voulez continuer d'apprendre
👇🏻
Si vous voulez continuer d'apprendre
👇🏻
Si vous souhaitez découvrir un autre exemple, cette fois en vidéo, voici une vidéo youtube qui explique très bien
youtube.com
Merci à @BenBKTech pour le partage et à @myDid_En pour la vidéo.
youtube.com
Merci à @BenBKTech pour le partage et à @myDid_En pour la vidéo.
Si ce thread t’as été utile, le meilleur moyen de voir plus de contenu de ce genre,
Et de me soutenir,
C’est de s’abonner !
Et de liker et rt la publication principale, merci !
Et de me soutenir,
C’est de s’abonner !
Et de liker et rt la publication principale, merci !
جاري تحميل الاقتراحات...