Preuves à divulgation nulle de connaissance (zk-SNARK) dans les cryptomonnaies : un guide complet

Si vous avez déjà souhaité pouvoir prouver la vérité de quelque chose sans en révéler les détails, vous êtes déjà entré dans l'ère rendue possible par les zk-SNARKs. 

Imaginez devoir prouver à un ami que vous avez plus de 18 ans sans révéler votre âge exact, ou justifier d'un achat avec les fonds nécessaires sans dévoiler l'intégralité de votre solde bancaire. Dans la vie courante, ce type de confidentialité paraît naturel, mais sur les blockchains, tout est visible par défaut.

Ces dernières années, les zk-SNARKs sont devenus l'une des technologies les plus importantes de l'univers blockchain. Utilisés notamment pour les cryptomonnaies axées sur la confidentialité comme Zcash et pour des transactions Ethereum plus rapides et moins coûteuses grâce aux zk-rollups, ils sont passés du stade de concept de recherche à celui d'outil concret utilisé par des millions de personnes, sans que ces dernières aient besoin de maîtriser la cryptographie complexe sous-jacente.

En termes simples, les zk-SNARKs permettent à une partie de prouver la véracité d'une déclaration sans révéler les informations sous-jacentes, et ils le font rapidement, en toute sécurité et sans nécessiter de communication bidirectionnelle.

Key A emporter 

• Les zk-SNARKs permettent à une partie de prouver la véracité d'une déclaration sans révéler les informations sous-jacentes.
• Au fond, un zk-SNARK résout l'un des plus anciens problèmes de l'informatique et de la communication humaine.
• Les preuves à divulgation nulle de connaissance, et en particulier les zk-SNARK, ont largement dépassé leur utilisation initiale dans les cryptomonnaies axées sur la confidentialité.
• Bien que les réseaux blockchain ne révèlent pas votre véritable nom, votre activité financière est visible par tous. 
• zk-SNARKs repose sur un concept plus large connu sous le nom de preuve à divulgation nulle de connaissance

Qu'est-ce que zk-SNARK ?

Un zk-SNARK est un type puissant de preuve cryptographique qui permet à une personne (le prouveur) de convaincre une autre personne ou un autre système (le vérificateur) qu'une affirmation est vraie sans révéler aucune des informations privées qui sous-tendent cette affirmation. 

Plus impressionnant encore, les preuves zk-SNARK sont extrêmement petites, très rapides à vérifier et ne nécessitent aucune interaction entre le prouveur et le vérificateur une fois la preuve créée.

Pour comprendre le caractère révolutionnaire de cette technologie, imaginez pouvoir prouver que vous avez payé vos impôts correctement, effectué un calcul avec exactitude ou rempli une condition spécifique (comme avoir plus de 18 ans), sans divulguer les documents, les chiffres ou les données personnelles. C'est précisément l'objectif des zk-SNARK.

Principales propriétés en bref : absence de connaissance, concision, non-interactivité, argument de connaissance

• Preuve à divulgation nulle de connaissance : le vérificateur n’apprend rien d’autre que « l’affirmation est vraie ».
• Succinctité : La preuve est extrêmement petite, souvent seulement quelques centaines d'octets, et peut être vérifiée en quelques millisecondes.
• Absence d'interactivité : un seul message (une seule preuve) est requis. Cela rend les zk-SNARKs idéaux pour les blockchains et les réseaux distribués.
• Argument de connaissance : Le système garantit qu’un prouveur ne pourrait pas générer une preuve valide à moins de posséder le secret requis ou d’avoir effectué le calcul correct.

Ensemble, ces propriétés font des zk-SNARK l'un des outils les plus puissants pour la vérification cryptographique dans les systèmes numériques modernes.

Lisez aussi: Le trading sur marge de cryptomonnaies simplifié : comment trader avec effet de levier

Pourquoi les zk-SNARKs sont si importants

Au fond, un zk-SNARK résout l'un des plus anciens problèmes de l'informatique et de la communication humaine :

Cette capacité ouvre la voie à des niveaux sans précédent de confidentialité, d'efficacité et de confiance dans les systèmes numériques. Elle permet de nouvelles formes d'identité, de finance, de gouvernance et de communication inter-chaînes auparavant impossibles.

Contexte historique des ZK-SNARKs

Comprendre les zk-SNARKs commence par retracer l'évolution des preuves à divulgation nulle de connaissance, de leurs racines théoriques dans les années 1980 à leur adoption généralisée dans les systèmes blockchain modernes. 

Cette technologie n'est pas apparue du jour au lendemain ; elle est le fruit de décennies de recherches cryptographiques rigoureuses, d'avancées majeures en matière de protocoles et de déploiements qui ont permis de faire passer ces idées des articles universitaires à une infrastructure à l'échelle mondiale.

Origines des preuves à divulgation nulle de connaissance (années 1980)

L'histoire commence en 1985, lorsque les cryptographes Shafi Goldwasser, Silvio Micali et Charles Rackoff ont introduit le concept de preuves à divulgation nulle de connaissance (ZKP). Leurs travaux novateurs ont répondu à une question qui semblait alors impossible à résoudre :

Comment une personne peut-elle prouver la véracité d'une affirmation sans révéler d'informations supplémentaires ?

Il s'agissait de bien plus qu'une astuce ingénieuse : cela a révolutionné les fondements de la cryptographie et a conduit au développement de protocoles capables de :

• Authentification d'identité sans mot de passe
• Vérifier les secrets sans les partager
• Démontrer qu'un calcul a été effectué correctement sans en exposer les détails internes.

Leur article a introduit trois propriétés fondamentales qui restent centrales pour les ZKPs aujourd'hui :

• Exhaustivité : les démonstrateurs honnêtes peuvent convaincre les vérificateurs honnêtes.
• Solidité : les prouveurs malhonnêtes ne peuvent pas tricher
• Connaissance nulle : aucune information supplémentaire n’est divulguée.

À l'époque, les preuves à certitude zéro (ZKP) étaient principalement des protocoles interactifs reposant sur des échanges complexes. Bien que puissantes en théorie, ces premières preuves étaient trop volumineuses, trop lentes et nécessitaient trop d'interactions pour une utilisation généralisée. Elles ont néanmoins posé les fondements de toutes les avancées ultérieures.

Premières étapes importantes de SNARK (Pinocchio, libsnark)

Par l' tôt Dans les années 2010, des chercheurs ont commencé à étudier des moyens de rendre les ZKP plus efficaces, non interactifs et « succincts », une exigence clé pour les systèmes du monde réel.

Pinochio (2013)

Le percée Le protocole Pinocchio, créé par Parno, Gentry, Howell et Raykova, a vu le jour en 2013. Il a introduit une forme quasi pratique d'arguments de connaissance non interactifs et succincts (SNARK). Pour la première fois, les développeurs pouvaient générer :

• Preuves très courtes (quelques centaines d'octets seulement)
• Vérification rapide (millisecondes)
• Preuves de calcul à usage général

Il s'agissait du passage de la « curiosité théorique » aux outils cryptographiques pratiques.

libsnark (2014)

Peu de temps après, le publication de libsnarklibsnark, une bibliothèque C++ implémentant des SNARK de type Pinocchio, a marqué une nouvelle étape importante. Elle est devenue le premier framework SNARK largement utilisé, permettant les premières expériences de blockchain respectueuses de la vie privée, notamment celle qui allait devenir Zcash. libsnark permettait aux développeurs de :

• Construire des circuits
• Générer des clés de preuve et de vérification
• Produire et vérifier des preuves dans des applications réelles

Avec Pinocchio et libsnark, les zk-SNARKs sont officiellement entrés dans le monde réel.

Lisez aussi: Explication du brûlage de jetons : comment ça marche et pourquoi les projets crypto l’utilisent.

Évolution à travers Groth16, Sonic, Marlin, PLONK, Halo et bien plus encore

Les années 2010 et le début des années 2020 ont été marqués par une innovation rapide tant sur le plan théorique qu'ingénierie des SNARK. Plusieurs protocoles ont émergé, chacun améliorant les performances, la flexibilité ou les hypothèses de confiance.

Groth16 (2016)

Groth16, créé par Jens Groth, est devenu l'un des plus influent SNARK était la première construction jamais conçue. Elle offrait des tailles de preuve extrêmement réduites (jusqu'à 128 octets), une vérification rapide et des performances pratiques pour les grands circuits.

Son principal inconvénient résidait dans la nécessité d'une configuration fiable pour chaque circuit, mais malgré cela, il est devenu la base de nombreux systèmes du monde réel, notamment la mise à niveau Sapling de Zcash et les premiers zk-rollups.

Sonique (2019)

Sonic, s'appuyant sur ces travaux antérieurs (concept d'une configuration de confiance universelle et actualisable), a proposé une architecture où la chaîne de référence structurée, universelle et actualisable, évolue linéairement en taille, ce qui est bien plus efficace et pratique pour les systèmes à grands circuits. Permettant à chacun d'ajouter de l'aléatoire pour renforcer la confiance, il s'agissait d'une avancée majeure vers la décentralisation du processus de configuration.

Marlin (2020)

Marlin s'est imposé dans les systèmes nécessitant des définitions de circuits flexibles et des mises à jour fréquentes. Marlin a amélioré Sonic grâce à :

• Délais de validation plus rapides
• prétraitement plus efficace
• Meilleure compatibilité avec les environnements blockchain

PLONK (2019–2021)

PLONK (et ses variantes comme TurboPLONK et UltraPLONK) a apporté un nouveau niveau de praticité.

Ses principaux avantages étaient une configuration universelle et fiable (réutilisable à l'infini), un rendement élevé, la prise en charge des portes logiques personnalisées et des outils de développement plus performants pour les circuits.

PLONK est rapidement devenu l'un des systèmes de preuve dominants pour les zk-rollups et les composants zkEVM.

Halo et Halo 2 (2020–2022)

Halo a introduit une approche récursive, transparente et sans confiance pour les SNARK. Ses principales contributions incluent l'absence totale de configuration de confiance, les preuves récursives, la possibilité pour une preuve d'en vérifier une autre et la capacité de compresser de très grandes preuves en de petites. 

Halo2, développé par la Fondation Zcash et Electric Coin Company, est devenu une norme moderne pour la création d'applications privées et évolutives sans déchets toxiques ni cérémonies d'installation.

La boîte à outils des systèmes SNARK s'est encore enrichie de protocoles tels que Spartan, SuperNova et HyperPlonk, chacun répondant à des besoins spécifiques en matière de performances ou de flexibilité.

Applications des zk-SNARKs

Les preuves à divulgation nulle de connaissance, et notamment les zk-SNARK, ont largement dépassé leur utilisation initiale dans les cryptomonnaies axées sur la confidentialité. Aujourd'hui, elles alimentent des écosystèmes entiers, de la mise à l'échelle des blockchains à l'identité, en passant par la chaîne d'approvisionnement, la sécurité du cloud et la communication inter-chaînes. 

Cette section détaille les applications les plus importantes dans lesquelles les zk-SNARKs sont destinés à être utilisés prochainement.

Confidentialité et transactions confidentielles

Les zk-SNARKs se sont d'abord fait connaître pour avoir permis des paiements confidentiels en cryptomonnaie où les montants, les adresses de l'expéditeur et les adresses du destinataire restent cachés, tandis que le réseau vérifie la validité de la transaction.

Mise à l'échelle de couche 2 : zk-Rollups et zkEVM

L'une des plus grandes avancées de ces dernières années est l'utilisation des zk-SNARKs pour faire évoluer les blockchains, notamment Ethereum. 

Les zk-rollups regroupent des milliers de transactions hors chaîne et génèrent une petite preuve zk-SNARK attestant que chaque transaction a respecté les règles, qu'aucune fraude n'a été commise et que les soldes sont corrects. Cette preuve est ensuite publiée sur la blockchain principale.

zkEVM est une version d'Ethereum capable de produire des preuves à divulgation nulle de connaissance pour l'exécution de contrats intelligents.

Cela signifie que l'intégralité du modèle de calcul d'Ethereum, ses contrats intelligents, son stockage et ses transitions d'état peuvent être prouvés avec des zk-SNARKs.

Vérification des calculs et contrôles d'intégrité du cloud

Les zk-SNARKs résolvent également un problème majeur en dehors du domaine de la cryptographie :

Lorsque l'on fait appel à des fournisseurs de cloud (AWS, Google Cloud, etc.), la confiance est essentielle. Les zk-SNARKs changent la donne.

Identifiants anonymes et systèmes d'identité décentralisés

Les zk-SNARKs permettent de créer des systèmes d'identité où les personnes peuvent prouver qui elles sont (ou qu'elles répondent aux exigences) sans révéler d'informations personnelles.

Exemples :

• Prouver que vous avez plus de 18 ans sans présenter votre pièce d'identité.
• Prouver que vous êtes étudiant sans révéler votre adresse courriel scolaire.
• Nous indiquons que vous avez payé un abonnement sans dévoiler l'historique de vos transactions.

On les appelle souvent identifiants anonymes ou systèmes d'identification à connaissance nulle.

Chaîne d'approvisionnement, vote et enchères

Les preuves à divulgation nulle de connaissance excellent également dans les systèmes qui exigent à la fois transparence et confidentialité.

Audits de la chaîne d'approvisionnement

Les entreprises peuvent prouver que leurs produits proviennent de sources éthiques ou respectent les normes de fabrication sans divulguer leurs listes de fournisseurs ni d'informations commerciales sensibles.

Systèmes de vote

Les zk-SNARKs permettent de vérifier la légitimité de chaque vote, garantissant ainsi l'absence de double vote et la confidentialité absolue des choix des électeurs. Ceci est utile pour la gouvernance d'entreprise, les DAO et les procès gouvernementaux.

Ventes aux enchères et appels d'offres

Les zk-SNARKs permettent aux participants de soumettre des offres qui restent secrètes tout en prouvant que l'offre respecte les règles et que le gagnant est choisi équitablement.

Cela réduit les manipulations dans les processus d'approvisionnement, les ventes aux enchères de NFT et les appels d'offres commerciaux.

Interopérabilité, ponts et preuves inter-chaînes

Aujourd'hui écosystème blockchain Cela inclut des dizaines de réseaux, Ethereum, Solana, Bitcoin, Cosmos, Polkadot, etc. Ils se font rarement « confiance » par défaut.

Les zk-SNARKs permettent à une chaîne de vérifier l'état d'une autre chaîne sans faire confiance à un groupe de validateurs ni utiliser de ponts multisignatures risqués.

Pourquoi la confidentialité des cryptomonnaies modernes dépend des zk-SNARKs

Crypto-monnaies Créées pour permettre d'envoyer de l'argent sans passer par les banques, les plateformes blockchain ont rapidement révélé un problème surprenant : si elles ne dévoilent pas votre véritable identité, votre activité financière est visible de tous. Chaque transaction, chaque montant et chaque mouvement de portefeuille est traçable indéfiniment.

Durant les premières années du Bitcoin, les utilisateurs croyaient souvent que leurs activités étaient intraçables car les adresses de portefeuille ne ressemblaient en rien à de véritables noms. Mais avec la maturation des analyses de la blockchain, il est devenu évident que pseudonymat ne rime pas avec confidentialité. 

À la fin des années 2010, des chercheurs et des équipes d'experts en criminalistique ont démontré à maintes reprises que même de petits éléments de métadonnées transactionnelles – adresses IP, habitudes de dépenses, portefeuilles réutilisés ou retraits sur des plateformes d'échange – pouvaient être combinés pour identifier des individus avec une précision surprenante. Cette compréhension croissante a toutefois révélé une limitation majeure :

Le Bitcoin masque votre nom, mais il expose votre comportement financier au monde entier.

C’est là qu’interviennent les zk-SNARKs. Ils offrent une solution efficace pour préserver la confidentialité de vos informations financières sans enfreindre les règles de la blockchain.

Preuves à divulgation nulle de connaissance : l’idée derrière la protection de la vie privée

Un zk-SNARK, acronyme de Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, est construit sur un concept plus large connu sous le nom de preuve à divulgation nulle de connaissance.

Une preuve à divulgation nulle de connaissance permet à une partie (le prouveur) de démontrer qu'elle connaît une information ou a effectué un calcul valide sans révéler cette information. Voici un exemple :

• Exemple d'authentification traditionnelle
• Vous vous connectez à un site web en saisissant votre mot de passe.
• Vous envoyez le mot de passe au site web.
• Le site web vérifie si les données correspondent à celles stockées dans sa base de données.

Cela signifie que le site web doit stocker votre mot de passe (ou une version similaire), qui peut être volé ou divulgué.

Comment les zk-SNARKs résolvent le problème de confidentialité

Les zk-SNARKs permettent aux blockchains de masquer les informations sensibles tout en prouvant leur validité. Voici comment elles renforcent la confidentialité :

Ils dissimulent les montants des transactions

Sans zk-SNARKs, n'importe qui peut voir exactement combien d'argent vous envoyez. Avec les zk-SNARKs, le montant est masqué, mais la blockchain garantit que le calcul est correct.

Exemple :

• Vous pouvez envoyer 50 jetons, et le réseau vérifie :
• vous aviez suffisamment d'équilibre
• Aucune pièce de monnaie n'a été créée ni perdue.
• La transaction est légitime, mais personne ne peut voir le chiffre 50.

Ils masquent les adresses de l'expéditeur et du destinataire.

Les explorateurs de blockchain révèlent généralement qui a envoyé des pièces à qui. Les zk-SNARKs remplacent cela par une preuve privée qui indique :

Personne ne peut voir les adresses des portefeuilles concernés, ce qui protège l'identité des donateurs, les transactions commerciales, les transferts personnels, les salaires versés sur la blockchain et les retraits sur les plateformes d'échange.

Ils gardent les soldes confidentiels

Sur les blockchains transparentes, n'importe qui peut vérifier le solde de votre portefeuille. Les zk-SNARK empêchent cela en masquant votre solde tout en permettant au réseau de confirmer sa cohérence. Personne ne peut ainsi connaître votre patrimoine ni l'historique de vos dépenses.

Ils maintiennent une sécurité totale

L'un des principaux atouts des zk-SNARKs est que la confidentialité ne se fait pas au détriment de la sécurité. Ils garantissent l'absence de double dépense, de transactions fictives et de création de fausses cryptomonnaies, ainsi que l'intégrité totale des règles de la blockchain. Le réseau vérifie tout mathématiquement, même sans avoir accès aux données privées elles-mêmes.

Elles permettent une transparence optionnelle

Certains systèmes de cryptomonnaie (comme Zcash) permettent aux utilisateurs de divulguer des informations uniquement lorsqu'ils le souhaitent. Exemples d'utilisation :

• prouver une transaction à un auditeur
• présentation d'un reçu de don
• vérification des informations fiscales
• preuve de fonds partagée

Cela permet de préserver la confidentialité sans sacrifier la responsabilité en cas de besoin.

Modèle de sécurité et risques communs de zk-SNARKs

Il est essentiel pour les concepteurs, les utilisateurs et les chercheurs de comprendre comment les zk-SNARKs sont sécurisés et quelles sont leurs failles. Bien que les zk-SNARKs offrent une confidentialité et une efficacité de vérification exceptionnelles, ils reposent sur des hypothèses cryptographiques robustes et une ingénierie de précision. 

Cette section présente le modèle de sécurité et les risques les plus courants de manière claire et accessible.

Fiabilité, preuve à divulgation nulle de connaissance, exhaustivité : les trois piliers

Chaque système zk-SNARK repose sur trois garanties de sécurité majeures :

Intégrité (Pas de tricherie)

La validité d'une preuve garantit qu'une fausse déclaration ne peut être considérée comme valable. Si quelqu'un tente de prouver « J'ai payé 10 pièces » alors que ce n'est pas le cas, le vérificateur doit rejeter cette preuve.

Validité = Les tricheurs ne peuvent pas produire de fausses preuves.

Null-Knowledge (Aucune fuite d'informations)

Le principe de preuve à divulgation nulle de connaissance garantit que le vérificateur n'apprend rien d'autre que la validité de la déclaration. Par exemple, un utilisateur peut prouver qu'il dispose d'un solde suffisant pour effectuer un paiement, sans révéler le montant exact de son solde.

Preuve à divulgation nulle de connaissance = Vous prouvez la vérité sans révéler aucun détail.

Exhaustivité (Les preuves honnêtes sont toujours vérifiées)

L'exhaustivité garantit que si une personne respecte les règles et fournit une preuve correcte, le vérificateur l'acceptera toujours.

Intégrité = Les utilisateurs honnêtes ne sont jamais rejetés.

Risques liés à la compromission des configurations de confiance

De nombreux systèmes zk-SNARK (comme Groth16) nécessitent une cérémonie de configuration de confiance, un processus au cours duquel un ensemble de paramètres appelés CRS ou SRS sont générés.

Que se passe-t-il si le système de confiance est compromis ?

Si quelqu'un conservait les « déchets toxiques » (l'aléatoire secret utilisé lors de la configuration), il pourrait générer de fausses preuves, créer de l'argent à partir de rien (essentiel pour les cryptomonnaies comme les débuts de Zcash) ou contourner complètement la vérification.

C'est l'un des plus grands risques des premières conceptions de SNARK.

Comment les systèmes modernes y remédient :

• Cérémonies à plusieurs participants (nombreux participants, un seul doit être honnête)
• Configurations universelles (PLONK, Marlin)
• Preuves transparentes sans configuration fiable (STARKs, Halo 2, certaines variantes de Plonk)
• Audits de configuration continus et cérémonies publiques (cérémonie KZG d'Ethereum)

Les risques liés à la configuration de systèmes de confiance sont aujourd'hui bien compris, mais doivent être pris au sérieux.

Hypothèses cryptographiques

Les zk-SNARK reposent sur plusieurs hypothèses de difficulté cryptographique :

• Cryptographie basée sur le couplage

De nombreux SNARK reposent sur des appariements de courbes elliptiques (par exemple, BN254, BLS12-381). Si la sécurité de ces appariements est compromise, les preuves pourraient être falsifiées, le mécanisme de preuve à divulgation nulle de connaissance pourrait être affaibli et la vérification pourrait être contournée.

• Hypothèse du logarithme discret

La sécurité des courbes elliptiques repose sur la difficulté de résoudre les problèmes de logarithmes discrets. Une avancée majeure (quantique ou classique) pourrait compromettre les SNARK.

• Sécurité des fonctions de hachage

Les systèmes de preuve modernes utilisent largement les fonctions de hachage dans les engagements et les transformations de Fiat-Shamir.

Les faiblesses des fonctions de hachage peuvent entraîner des collisions, des ruptures d'engagements ou de fausses preuves.

zk-SNARKs Bonnes pratiques pour un déploiement sécurisé

Pour utiliser les zk-SNARKs de manière fiable en production, notamment dans les projets blockchain ou financiers, il est essentiel de suivre des pratiques de sécurité rigoureuses. Voici les plus importantes :

Audits de sécurité indépendants multiples

Aucun auditeur ne peut détecter à lui seul toutes les vulnérabilités ; c’est pourquoi les meilleurs projets zk-SNARK s’appuient sur une équipe composée d’experts en cryptographie, de spécialistes des circuits, d’analystes d’implémentation et de concepteurs de protocoles. Cette approche par couches permet d’identifier les problèmes sous tous leurs aspects avant la mise en production des systèmes.

Builds reproductibles

Un déploiement sécurisé de zk-SNARK exige que quiconque puisse reconstruire le prouveur ou le vérificateur à partir du code source et obtenir des binaires identiques. Cette transparence empêche l'insertion de portes dérobées et garantit que le logiciel se comporte exactement comme prévu.

Vérification formelle

Certains systèmes à haute assurance, notamment les réseaux Ethereum de couche 2 et les protocoles axés sur la confidentialité, utilisent une vérification formelle. 

Cela implique de prouver mathématiquement que les circuits sont corrects, que les hypothèses de validité sont respectées, que les contraintes sont correctement appliquées et qu'il n'existe aucun chemin logique non intentionnel. Cela ajoute un niveau de confiance supplémentaire par rapport aux tests traditionnels.

Génération de paramètres open source

Les cérémonies d'installation publiques et transparentes, telles que l'installation de confiance KZG d'Ethereum, garantissent qu'aucune entité ne contrôle la génération aléatoire secrète des paramètres du système. Ceci empêche toute utilisation abusive de données sensibles pour falsifier des preuves ou compromettre la sécurité.

Surveillance continue et primes aux bogues

La sécurité ne s'arrête pas au lancement. Les principaux projets de zk-rollups et de protection de la vie privée surveillent activement leur infrastructure et mettent en œuvre d'importants programmes de primes aux bogues, offrant parfois des récompenses de plusieurs millions de dollars. Cela encourage les chercheurs et les hackers éthiques à signaler les problèmes au plus tôt plutôt que de les exploiter.

Conclusion 

Les zk-SNARKs peuvent sembler relever de la cryptographie avancée, et ils le sont, mais leur objectif est étonnamment humain : permettre aux utilisateurs de prouver des informations sans compromettre leur vie privée. De la protection des données de transaction dans Zcash à l’alimentation de réseaux de couche 2 rapides et sécurisés comme zkSync et Polygon zkEVM, les zk-SNARKs sont devenus l’une des technologies les plus influentes du monde de la blockchain.

Avec l'expansion continue des blockchains, les défis liés à la confidentialité, à la sécurité et à la scalabilité s'accentuent. Les zk-SNARKs apportent une solution à ces trois problèmes simultanément. Ils permettent de garantir la confidentialité des informations, de vérifier instantanément les données et de réduire la charge sur les réseaux en prouvant les calculs au lieu de les révéler. C'est pourquoi les principales plateformes, les développeurs et les institutions investissent massivement dans les systèmes basés sur les zk-SNARKs.

Ce qui semblait autrefois une idée de recherche de niche offre aujourd'hui aux applications la vérification d'identité sans exposer de données personnelles, des transactions blockchain plus rapides, une communication inter-chaînes sécurisée, des chaînes d'approvisionnement protégées, des systèmes de vote privés, et bien plus encore.

FAQ

Que sont les zk-SNARK ?

Les zk-SNARKs sont des preuves cryptographiques permettant de démontrer la véracité d'une affirmation sans révéler les informations sous-jacentes. Elles sont largement utilisées dans la blockchain à des fins de confidentialité et de vérification.

Comment les zk-SNARKs améliorent-ils la confidentialité dans les cryptomonnaies ?

Ils masquent les détails de la transaction, tels que l'expéditeur, le destinataire et le montant, tout en permettant au réseau de vérifier sa validité.

Les zk-SNARK sont-ils identiques aux preuves à divulgation nulle de connaissance ?

Oui, les zk-SNARKs sont un type de preuve à divulgation nulle de connaissance qui est succincte (petite), non interactive et efficace pour une utilisation dans la blockchain.

Quelles cryptomonnaies utilisent les zk-SNARKs ?

Zcash est le plus connu, mais les zk-SNARKs sont également utilisés dans des solutions de couche 2 comme zkSync, Polygon zkEVM et des applications axées sur la confidentialité comme Aleo.

Les zk-SNARKs sont-ils sécurisés ?

Oui, elles sont considérées comme sécurisées si elles sont correctement mises en œuvre. La sécurité repose sur des hypothèses cryptographiques, une configuration de confiance appropriée (ou des alternatives sans confiance) et un audit rigoureux.

Les zk-SNARK peuvent-ils être utilisés en dehors du domaine des cryptomonnaies ?

Absolument. Elles sont également utilisées pour le vote privé, la vérification d'identité anonyme, le calcul en nuage vérifiable, les audits de la chaîne d'approvisionnement et les preuves inter-chaînes.