Qu'est-ce que Zero Knowledge Proof (ZKP) ?
Zero Knowledge Proof ZKP est une façon de prouver quelque chose sans révéler les éléments qui le soutiennent. Pensez à montrer que vous connaissez un mot de passe sans le taper, ou à confirmer que vous avez plus de 21 ans sans afficher votre date de naissance. Ambiance magique, racines mathématiques.
Les ZKP cachent tout, donc ils serviraient à des comportements sournois. Pas tout à fait. Un ZKP prouve une assertion précise que vous définissez, et le vérificateur peut toujours la vérifier rigoureusement sans voir vos secrets.
Comment fonctionne Zero Knowledge Proof (ZKP)
Brève présentation avec un exemple concret. Vous voulez prouver que vous disposez de fonds suffisants pour une opération sans révéler votre solde.
- Étape 1 : Vous choisissez une assertion telle que « mon solde est au moins X » et vous engagez vos données secrètes en ajoutant un élément aléatoire.
- Étape 2 : Vous créez une preuve à partir de ces données secrètes et d'informations publiques, construite pour que les mathématiques valident la preuve.
- Étape 3 : Vous envoyez la preuve au vérificateur, pas le secret.
- Étape 4 : Le vérificateur effectue un contrôle qui accepte ou rejette. Aucun accès à votre solde.
- Étape 5 : Si elle est acceptée, n'importe qui peut vérifier à nouveau cette preuve plus tard sans vous contacter.
Sous le capot, ça repose sur de la cryptographie sérieuse. Oui, les mathématiques conservent les traces.
Pourquoi Zero Knowledge Proof (ZKP) est important
Alors pourquoi en tenir compte ? Trois points rapides.
- Avantage : Prouvez ce qu'il faut et gardez le reste pour vous. Moins de fuites, moins de risques.
- Perspective : Les applications qui limitent les données paraissent modernes, comme un mélange entre Rolex et les fils Reddit. Partagez uniquement ce qui est nécessaire.
- Pertinence : Vous verrez le ZK dans les rollups, les transferts privés et les vérifications d'identité sur toute blockchain sérieuse.
Quand vous entendez que cette application utilise le ZK, demandez deux choses. Qu'est-ce qui est exactement prouvé, et une configuration de confiance a-t-elle été nécessaire. Aussi, si le contrôle des données vous importe, le ZK s'accorde bien avec de bonnes pratiques de confidentialité en dehors de la preuve.
Caractéristiques clés de Zero Knowledge Proof (ZKP)
Ce qui le rend particulier, en termes simples.
- Confidentiel : Le vérificateur apprend que l'assertion est vraie sans connaître votre secret.
- Concis : Les preuves peuvent être très courtes et rapides à vérifier, même sur la chaîne.
- Rapide : La vérification est moins lourde que de recalculer l'ensemble du calcul.
- Composable : Vous pouvez empiler des preuves ou regrouper plusieurs vérifications en une seule.
- Évolutif : Cela aide la scalabilité en déplaçant le travail lourd hors des vérificateurs tout en garantissant la validité.
Variantes
Différentes variantes pour différents usages.
- SNARKs : Preuves courtes, vérification rapide, nécessitent souvent une configuration de confiance.
- STARKs : Pas de configuration de confiance, preuves plus volumineuses, adaptées à la recherche post quantique.
- Bulletproofs : Idéales pour les vérifications de plages, courantes pour les montants privés.
- Sigma : Style interactif classique, enseigné dans de nombreux cours.
Le ZKP ne sécurise pas votre application à lui seul. Si votre assertion est trop faible ou votre configuration est bâclée, la preuve peut être correcte mais peu utile. Concevez l'assertion avec soin.
Exemple
Une ville organise un vote où les électeurs prouvent leur éligibilité et qu'ils n'ont pas encore voté, tandis que leurs identités restent cachées lors du comptage public.
Fait amusant
Le classique tour de fête pour expliquer le ZK utilise deux boules de couleurs identiques et un test à l'aveugle pour montrer que l'on peut les distinguer sans révéler laquelle est laquelle. Très geek, mais ça marche.
En résumé
En une phrase, Zero Knowledge Proof ZKP est une preuve sans divulguer d'informations superflues, donc vous pouvez dire « je peux le prouver sans le montrer ».