Que signifie zk-SNARK ?
Signification de zk-SNARK
zk-SNARK signifie Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (argument de connaissance succinct et non interactif à divulgation nulle). C'est une forme de technologie de preuve cryptographique qui permet à une partie (le prouveur) de prouver à une autre partie (le vérificateur) qu'elle possède certaines informations, comme une clé secrète ou des détails de transaction, sans révéler ces informations. En termes simples, c'est un moyen de prouver que vous connaissez un secret sans dire à quiconque quel est ce secret. Bien qu'initialement conçus pour la confidentialité, les zk-SNARK sont devenus un outil essentiel pour la scalabilité des chaînes de blocs, permettant aux réseaux de vérifier de grands lots de transactions rapidement sans traiter chaque point de données individuellement. La technologie a été popularisée par Zcash, une cryptomonnaie axée sur la confidentialité lancée en 2016, mais c'est maintenant un élément fondamental des solutions modernes de mise à l'échelle Layer 2 d'Ethereum connues sous le nom de « ZK-Rollups ».
Points clés à retenir
- Les zk-SNARK permettent de vérifier des données comme véridiques sans qu'elles soient publiquement visibles sur la chaîne de blocs.
- L'acronyme signifie Zero-Knowledge (confidentialité), Succinct (petite taille de preuve), Non-Interactive (aucun échange aller-retour requis), Argument of Knowledge (preuve mathématique).
- La plupart des zk-SNARK nécessitent un événement de création unique appelé « configuration de confiance » pour générer les clés cryptographiques. Si ces clés ne sont pas détruites, elles pourraient être utilisées pour créer de fausses preuves.
- Au-delà de la confidentialité, cette technologie permet aux chaînes de blocs de compresser des milliers de transactions en une seule petite preuve, réduisant drastiquement les frais de gaz.
Pourquoi c’est important
Les zk-SNARK résolvent deux des plus grands problèmes de la cryptomonnaie : la confidentialité et la scalabilité. Dans une transaction Bitcoin standard, l'expéditeur, le destinataire et le montant sont visibles par le monde entier. Les zk-SNARK permettent des transactions « blindées » où ces données sont chiffrées mais toujours prouvées mathématiquement comme valides. Cela offre une confidentialité financière similaire à l'argent comptant. De plus, parce que ces preuves sont « succinctes » (minuscules en taille de données), elles sont utilisées pour accélérer les chaînes de blocs. Au lieu que chaque nœud du réseau recalcule chaque transaction, il suffit de vérifier la preuve zk-SNARK unique, ce qui prend quelques millisecondes. C'est la technologie qui propulse l'avenir de la mise à l'échelle d'Ethereum.
Exemple de zk-SNARK
Imaginez que vous jouez à « Où est Charlie ? » avec un ami. Vous voulez prouver à votre ami que vous avez trouvé Charlie, mais vous ne voulez pas révéler son emplacement parce que vous voulez qu'il le trouve par lui-même. Preuve traditionnelle : vous pointez votre doigt vers Charlie sur la page. (Preuve établie, mais emplacement révélé.) Preuve à divulgation nulle (zk-SNARK) : vous prenez une grande feuille de papier avec un petit trou découpé au centre. Vous placez le livre « Où est Charlie ? » derrière le papier pour que seul Charlie soit visible à travers le trou. Votre ami peut voir Charlie, donc il sait que vous l'avez trouvé (connaissance prouvée), mais il n'a aucune idée de l'endroit où il se trouve sur la page par rapport au reste de la scène (aucune connaissance révélée).
