Qu'est-ce que l'algorithme ZK-SNARK ?

Aperçu des preuves à divulgation nulle de connaissance

La première étape pour comprendre les ZK-SNARKs consiste à appréhender les fondements concis des preuves à divulgation nulle. Ces preuves permettent à une partie de prouver la validité d'une déclaration à une autre partie sans donner de détails spécifiques à ce sujet.

En y réfléchissant ainsi, résoudre un puzzle et vouloir persuader votre ami de votre réussite sans lui révéler comment vous l'avez fait dépeint la nature fondamentale des preuves à divulgation nulle, où une partie vise à en convaincre une autre tout en gardant les méthodes permettant d'atteindre ces objectifs non divulguées.

En tant que concept, les preuves à divulgation nulle de connaissance ont fait leurs débuts dans les années quatre-vingt et ont été largement utilisées comme un pilier crucial de la cryptographie. Elles permettent une méthode de confiance et, plus tard, de vérification tout en maintenant le secret de l'identité de l'utilisateur.

Pour les systèmes en ligne, les preuves à divulgation nulle de connaissance aident à confirmer l'identité de l'utilisateur sans fournir de données personnelles telles que le nom complet et l'adresse. Les applications qui accordent une attention particulière à la sécurité et à la confidentialité trouvent ces preuves particulièrement utiles.

Leur capacité exclusive à vérifier des connaissances sans dévoiler le sujet de la conversation les place dans une position d'une grande aide pour protéger les informations sensibles et réaliser des transactions ou des interactions dans des conditions privées et sûres.

Que signifie ZK-SNARK ?

ZK-SNARK est l'acronyme de “ Zero-Knowledge Succinct Non-Interactive Argument of Knowledge ” (Argument succinct de connaissance non interactif à divulgation nulle de connaissance).”
Décomposons ceci :

1. Zéro connaissance : On peut prouver que l'on sait quelque chose sans révéler l'information réelle. Par exemple, on peut prouver que l'on possède le mot de passe d'un compte sans le montrer.
2. Concis : La preuve est courte et efficace, ce qui signifie qu'elle ne prend pas beaucoup de place et ne nécessite pas beaucoup de temps pour être vérifiée.
3. Non interactif : Les ZK-SNARKs fonctionnent avec un seul message du prouveur au vérificateur.
4. Argument de connaissance : Cela garantit que le prouveur connaît réellement les informations qu'il prétend connaître et qu'il ne bluffe pas ou n'utilise pas de fausses données.

Bien que le nom complet semble technique, les ZK-SNARKs sont un moyen de créer des preuves privées efficaces, en une seule fois. Ils combinent des techniques cryptographiques de pointe pour offrir à la fois confidentialité et performance.

Comprendre les preuves à divulgation nulle de connaissance

Le concept de connaissance nulle

À la base, la preuve à divulgation nulle de connaissance concerne la vie privée. Imaginez que vous vouliez prouver à un ami que vous connaissez le mot de passe d'un coffre-fort sans le lui divulguer. Vous pourriez ouvrir le coffre-fort devant lui mais couvrir le clavier pour qu'il ne voie pas le code. Il saura que vous avez accès mais ne connaîtra jamais le mot de passe.

En termes techniques, une preuve à divulgation nulle de connaissance doit satisfaire trois propriétés :

• Complétude : Le vérificateur sera convaincu par la preuve que l'énoncé est vrai.
• Robustesse Le vérificateur ne sera pas dupe au point de croire que c'est vrai si l'énoncé est faux.
• Zero-Knowledge: Aucune information supplémentaire sur l'affirmation n'est révélée pendant la preuve.

Ces propriétés garantissent que les preuves à divulgation nulle sont sécurisées et privées et doivent être utilisées pour les applications sensibles.
Des vérifications d'identifiants internet sécurisés aux applications blockchain où la confidentialité est primordiale, ils sont utilisés dans tout.

Pourquoi la preuve à divulgation nulle est importante en cryptologie

Dans le monde numérique, la confidentialité et la sécurité sont primordiales. Les méthodes de vérification traditionnelles exigent généralement de divulguer des informations sensibles telles qu'un mot de passe ou des détails personnels. Les preuves à divulgation nulle de connaissance changent la donne pour les systèmes sécurisés car elles ne le font pas.

Par exemple, le vote en ligne. Vous pourriez utiliser une preuve à divulgation nulle de connaissance pour prouver que vous avez voté sans voter pour un candidat spécifique. Vous pourriez également prouver la validité d'une transaction sans montrer le montant ou les parties impliquées dans la transaction.

Le rôle des ZK-SNARKs en cryptographie

Les ZK-SNARKs permettent des applications concrètes de systèmes de preuve à divulgation nulle de connaissance. Les systèmes basés sur la blockchain, comme Zcash, les utilisent car la confidentialité est primordiale.

• Ils garantissent que les transactions sur la blockchain restent sécurisées et confidentielles tout en restant vérifiables.
• Ils permettent aux utilisateurs de prouver la validité d'une transaction sans révéler de détails privés, tels que qui l'a envoyée, qui l'a reçue, ou le montant envoyé.
• Ils sont efficaces, ce qui signifie qu'ils ne nécessitent pas beaucoup de ressources informatiques ou de temps pour générer et vérifier les preuves.

Au-delà de la blockchain, les ZK-SNARKs trouvent des applications dans d'autres domaines, tels que les systèmes de vote sécurisés, le partage de données confidentielles et la vérification d'identité numérique. Leur flexibilité et leur efficacité en font un excellent moyen d'améliorer la confidentialité et la sécurité dans de nombreux domaines.

Comment fonctionnent les ZK-SNARKs

Les mécanismes du ZK-SNARK impliquent quelques étapes clés :

1. Génération de clés : La génération des clés cryptographiques utilisées pour la génération et la vérification de preuves via les ZK-SNARKs implique une phase d'initialisation spécifique. Cette étape est critique mais dangereuse ; le système peut être endommagé si les clés ne sont pas produites de manière sécurisée. Ce processus est souvent appelé le problème des “déchets toxiques”, car toute donnée résiduelle de la génération de clés pourrait être exploitée.
2. Prouver : Le prouveur utilise ses informations secrètes (comme une solution à un puzzle) et la clé de preuve pour créer une preuve. Cette preuve montre que le prouveur connaît la solution sans la révéler.
3. Vérification : Le vérificateur utilise la clé de vérification pour vérifier la preuve. Si la preuve est valide, le vérificateur est convaincu que le prouveur connaît la solution, même s'il ne l'a pas vue.
4. Efficacité : Les ZK-SNARKs sont conçus pour être succincts, ce qui signifie que les preuves sont petites et rapides à vérifier. Cela les rend idéaux pour les systèmes tels que les blockchains, où l'efficacité est essentielle. Sans les ZK-SNARKs, la vérification de chaque transaction individuellement pourrait submerger le système.

Avantages des ZK-SNARKs

Discutons des avantages offerts par les ZK-SNARKs :

Confidentialité : La technologie révolutionnaire des ZK-SNARKs permet aux membres de vérifier leur identité sans exposer leurs données personnelles et, en même temps, rend possible la réalisation de transactions privées sur un réseau (Zcash) qui n'est pas entièrement transparent. Dans une réalité où la confidentialité des données devient de plus en plus essentielle, les ZK-SNARKs apportent les moyens de garder les données personnelles et transactionnelles en sécurité.
Efficacité : Les preuves à divulgation nulle de connaissance traditionnelles peuvent être coûteuses en calcul et lentes. Les ZK-SNARKs sont conçus pour être légers, ce qui les rend pratiques pour une utilisation quotidienne. Cette efficacité est particulièrement précieuse dans les systèmes de blockchain, où la vitesse et la gestion des ressources sont essentielles.
3. Scalabilité : Dans les systèmes comme la blockchain, les ZK-SNARKs contribuent à améliorer la scalabilité en réduisant la charge de calcul sur les nœuds. Les preuves étant petites et faciles à vérifier, le réseau peut traiter plus de transactions sans ralentir. Cette scalabilité est essentielle pour rendre les systèmes de blockchain plus utilisables et accessibles.
4. Sécurité : Le ZK-SNARK est un produit de haute technologie, crypté de manière sécurisée, qui protège les preuves. Il garantit qu'elles ne sont ni falsifiées ni contrefaites de quelque manière que ce soit. C'est une base de fiabilité parfaite dans la conception, et les documents électroniques sont le meilleur mécanisme pour rendre les systèmes numériques dignes de confiance.
5. Polyvalence : Bien que le ZK-SNARK soit souvent associé à la blockchain, son application va au-delà. Il peut être utilisé pour l'identification, les systèmes de vote sécurisés, la surveillance de la chaîne d'approvisionnement, etc. Sa capacité à assurer la confidentialité et la sécurité dans diverses situations en fait une ressource précieuse pour de nombreuses industries.

Composants essentiels des ZK-SNARKs

“ Zéro-connaissance succinct non interactif argument de connaissance ” est l’abréviation de ZK-SNARK. C’est assez ronflant, n’est-ce pas ? Simplifions.

1. Zéro connaissance : Une partie (le prouveur) peut prouver quelque chose à une autre partie (le vérificateur) sans révéler l'information. C'est comme dire : “ Je connais le mot de passe sans vous le montrer. ”
2. Concis : La preuve générée est petite et rapide à vérifier, quelle que soit la complexité des données ou du calcul d'origine.
3. Non interactif : Contrairement aux systèmes de preuve traditionnels qui nécessitent une communication bidirectionnelle, les ZK-SNARKs fonctionnent avec un seul message du prouveur au vérificateur.
4. Argument de connaissance : Cela garantit que le prouveur possède réellement les informations qu'il prétend connaître.

Ensemble, ces composants créent un moyen sécurisé et efficace de prouver quelque chose sans révéler d'informations sensibles.

Prouveur et Vérificateur

L'algorithme ZK-SNARK tourne autour de deux acteurs clés :

1. Prouver : C'est la partie qui veut convaincre quelqu'un d'autre qu'elle connaît un secret particulier ou qu'elle a effectué un calcul spécifique correctement.
2. Vérifier : Cette partie doit être convaincue mais ne veut ni n'a besoin de voir tous les détails.
Par exemple, imaginez que vous entrez dans une boîte de nuit. Le prouveur (vous) veut prouver qu'il a plus de 21 ans sans montrer sa carte d'identité ni révéler sa date de naissance.

Le vérificateur (le videur) doit être convaincu, mais il se moque des autres détails personnels. Les ZK-SNARKs rendent ce type d'interaction possible dans le monde numérique.

Terminologie courante : Témoin, Déclarations, et Preuve

Pour mieux comprendre les ZK-SNARKs, il faut se familiariser avec certains termes clés :

1. Témoin : Ceci est l'information secrète que le prouveur possède. C'est l'élément de données qui est prouvé, comme un mot de passe ou la solution à un puzzle.
2. Déclarations : Ceci est l'affirmation publiquement connue qui est en cours de vérification. Par exemple, “ J'ai plus de 21 ans ” est une déclaration.
3. Preuve : Cette preuve cryptographique lie le témoin à la déclaration sans exposer le témoin lui-même.
Dans les ZK-SNARKs, le prouveur génère une preuve basée sur son témoignage et l'énoncé. Le vérificateur vérifie ensuite la preuve pour s'assurer que l'énoncé est vrai, le tout sans rien apprendre sur le témoignage.

Mathématiques derrière les ZK-SNARKs

La véritable magie des ZK-SNARKs réside dans les mathématiques. Ne vous inquiétez pas, nous allons rester simples et nous concentrer sur les concepts clés plutôt que de plonger dans des formules complexes.

1. Courbes Elliptiques et Accouplements

Les courbes elliptiques sont des structures mathématiques utilisées en cryptographie pour créer des systèmes sécurisés. Elles ressemblent à des formes uniques avec des points qui suivent des règles spécifiques. Ces courbes sont excellentes pour les ZK-SNARKs car elles nous permettent de créer des preuves petites et efficaces.

Les appariements, cependant, sont des opérations qui nous permettent de combiner des points sur ces courbes de manière spécifique. Ils sont essentiels pour vérifier les preuves ZK-SNARK. Les appariements permettent de vérifier la correction d'une preuve sans avoir besoin de voir les données originales.

2. Chiffrement homomorphe

Le chiffrement homomorphe joue un rôle clé dans la technologie ZK-SNARK. Ce mode de chiffrement permet d'effectuer des calculs sur des données chiffrées sans les déchiffrer. Cette fonctionnalité permet de sécuriser les informations privées tout en autorisant les opérations mathématiques.

Regardons un exemple. Imaginez le chiffrement des nombres 5 et 3. Le chiffrement homomorphe vous permet d'additionner ces nombres chiffrés. Le résultat reste chiffré. Lorsque vous le déchiffrez, vous obtenez 8. Cette capacité aide les ZK-SNARKs à fonctionner en toute sécurité.

3. Preuves non interactives

Les preuves à divulgation nulle traditionnelles nécessitent souvent plusieurs échanges de communication entre le prouveur et le vérificateur. Cependant, les ZK-SNARKs utilisent une approche non interactive, ce qui signifie que le prouveur n'a besoin d'envoyer qu'une seule preuve au vérificateur.

Ceci est réalisé à l'aide d'une “chaîne de référence commune” (CRS). La CRS est une configuration partagée entre le prouveur et le vérificateur qui les aide à communiquer sans échanges constants. Une fois la CRS établie, le prouveur peut créer une preuve unique, et le vérificateur peut la vérifier sans avoir besoin d'informations supplémentaires.

Pourquoi les ZK-SNARKs sont importants

Maintenant que nous avons couvert les bases, discutons de la raison pour laquelle les ZK-SNARKs sont si importants.

Confidentialité : Les ZK-SNARKs permettent des transactions sécurisées et privées sur les réseaux blockchain. Les cryptomonnaies comme Zcash utilisent les ZK-SNARKs pour permettre des transferts privés où les détails de la transaction sont cachés des regards du public.
Efficacité : Les ZK-SNARKs sont uniques dans la génération de preuves et peuvent produire des tailles de preuve minuscules, de sorte que lorsque la vitesse et la scalabilité sont essentielles, ces preuves peuvent être vérifiées rapidement.
3. SécuritéLes ZK-SNARKs créent des preuves inviolables sans aucune question de confiance.
4. Polyvalence : Les ZK-SNARKs sont si polyvalents qu'ils sont intégrés dans des transactions de blockchain autres que financières. Les systèmes de vote, les vérificateurs d'identité et même les systèmes logistiques exigent une confidentialité et une efficacité significatives dans toutes leurs facettes.

Étapes clés de la génération de ZK-SNARK

Comprendre le fonctionnement des ZK-SNARKs commence par la décomposition du processus en étapes clés :

1. Configuration de confiance

Le concept de ZK-SNARKs tourne autour de la “ configuration de confiance ”. La création des paramètres cryptographiques pour faire fonctionner le système est un acte unique.

Tout comme on ne peut pas jouer à un jeu sans le configurer, il en va de même pour cette configuration fiable. Cependant, elle doit être exécutée en toute sécurité car tout compromis lors de la mise en œuvre remettra en question l'intégrité de l'ensemble du système.

La configuration de confiance nécessite la création d'un ensemble de clés mathématiques, deux clés : une clé publique et une clé secrète. La clé publique est utilisée pour créer et vérifier la preuve.

Après l'installation, la clé secrète doit être supprimée en toute sécurité. Si elle est divulguée, l'intégrité du système est semi-exposée.

Pour tenir compte de cette menace croissante, les protocoles plus récents utilisent des calculs multipartites (MPC), dans lesquels plusieurs parties contribuent à la configuration, réduisant ainsi les risques associés aux points de défaillance uniques.

2. Génération de preuves

Une fois la configuration terminée, les ZK-SNARKs reposent sur la génération de preuves. Un “ prouveur ” crée d'abord une preuve mathématique de la véracité d'un énoncé particulier. De manière significative, cette preuve est si courte qu'elle est beaucoup plus rapide que le calcul initial.

Par exemple, le prouveur veut prouver qu'il connaît la réponse à un problème mathématique difficile sans révéler la réponse elle-même.

Le prouveur crée une preuve ZK-SNARK, qui signifie approximativement : “ J'ai résolu le problème, et voici une preuve de cela sans rien révéler de la solution ”. Cette étape est très coûteuse en calcul car le prouveur doit traduire tous les calculs dans un format qui permet la preuve à divulgation nulle de connaissance.

3. Vérification de la preuve

La dernière étape est la vérification de la preuve. Le “ vérificateur ” utilise la preuve générée par le prouveur et vérifie sa validité par rapport aux règles cryptographiques établies lors de la configuration de confiance.

La génération de preuves est efficace; elle peut être traitée en quelques millisecondes, peu importe la complexité du calcul de l'énoncé. De ce fait, les ZK-SNARKs sont utiles lorsque la rapidité du système est vitale.

Applications des ZK-SNARKs

Les ZK-SNARKs ont ouvert des possibilités passionnantes dans divers domaines, en particulier dans la technologie blockchain. Voici quelques applications remarquables :

1. Confidentialité dans la Blockchain (par exemple, Zcash)

L'une des utilisations les plus célèbres des ZK-SNARKs se trouve dans les cryptomonnaies axées sur la confidentialité comme Zcash. Alors que la plupart des blockchains sont transparentes, permettant à quiconque de voir les détails des transactions, Zcash utilise les ZK-SNARKs pour permettre des transactions privées.

Les ZK-SNARKs permettent aux utilisateurs de certifier qu'ils ont le contrôle des fonds respectifs et ont approuvé des transactions sans révéler le montant chiffré ou les adresses de portefeuille.

Cette fonction est essentielle pour les utilisateurs qui souhaitent maintenir leur vie privée financière sans perdre les avantages du succès de la Blockchain.
Les ZK-SNARKs sont des outils d'un soutien immense qui offrent la sécurité. Ainsi, ils permettent aux transactions d'être complètement sécurisées tout en étant légitimes. Néanmoins, les données sont confidentielles et finalement non visibles, ce qui les différencie en termes d'exposition et de couverture de la vie privée.

2. Vérification d'identité sécurisée

Les ZK-SNARKs jouent également un rôle crucial dans la vérification sécurisée d'identité. Imaginez prouver que vous avez plus de 18 ans sans révéler votre date de naissance exacte.

Les ZK-SNARKs permettent ce type de divulgation sélective, ce qui est bénéfique pour la protection des informations personnelles sensibles dans les interactions en ligne.

Par exemple, les ZK-SNARKs pourraient être intégrés dans des plateformes d'identité numérique pour permettre aux individus de s'authentifier sans exposer leurs données. Cela a des applications dans le vote en ligne, les services soumis à des restrictions d'âge et les systèmes de connexion sécurisés.

3. Contrats Intelligents Évolutifs

La scalabilité est un défi persistant pour les plateformes blockchain. Les ZK-SNARKs peuvent aider en permettant d'effectuer des calculs complexes hors chaîne. Seules les preuves concises sont stockées sur la chaîne, réduisant ainsi la charge computationnelle et de stockage sur le réseau.

La vérification est effectuée rapidement, en quelques millisecondes seulement, quelle que soit la complexité de l'énoncé original ou du calcul. C'est pourquoi les ZK-SNARKs sont particulièrement attrayants dans les environnements axés sur la scalabilité.

Cette méthode permet aux contrats intelligents d'être aussi volumineux que nécessaire sans sacrifier aucun des avantages en matière de décentralisation ou de sécurité.

Cela signifie que dans un environnement réel, la tâche peut être mise en œuvre pour permettre aux développeurs de créer des contrats intelligents impliquant des calculs gourmands en ressources hors chaîne, même si la raison principale de la ressource est de conserver la ressource et les données immuables sur la chaîne.
Cette capacité est utile pour les applications de finance décentralisée (DeFi) et autres systèmes basés sur la blockchain.

Limitations et défis des ZK-SNARKs

Cette section en passe brièvement en revue certains des plus notables :

• Préoccupations liées à la configuration de confiance

Cependant, l'objectif principal est de maintenir une ressource de données immuable sur la chaîne. Le Setup de confiance ZK-SNARK présente à la fois des forces et des faiblesses.

Si de mauvais acteurs parviennent à modifier le processus de configuration, ils pourraient créer de fausses preuves. La mise en œuvre de ces ZK-SNARKs suscite des doutes quant à la confiance et à la transparence.

La solution actuelle est que les projets se tournent vers l'avenir pour trouver de nouvelles façons de minimiser ou d'éliminer le besoin de renforcement de la confiance.

Les problèmes universels et le fait de la période sont les tâches principales que les universels et les plus intimes révisables devraient accomplir pour établir des configurations fiables.

Les ensembles de confiance peuvent être partagés entre de nombreuses applications et régénérés régulièrement pour améliorer la sécurité.

Il est également important que certains protocoles essaient des systèmes transparents de preuves à divulgation nulle de connaissance qui n'utilisent pas de configurations de confiance.

• Complexité algorithmique

La génération de preuves ZK-SNARK nécessite des ressources informatiques importantes. Bien que la vérification soit rapide, le processus de génération de preuves peut être lent et gourmand en ressources, en particulier pour des calculs volumineux ou complexes.

Les ZK-SNARKs pourraient trouver des cas où leur mise en œuvre est difficile.

Des travaux sont en cours pour améliorer leurs algorithmes et leur matériel pour la création de preuves de concept.

Les nouvelles technologies, comme une conception parallèle plus efficace et des accélérateurs matériels spécialement conçus pour la tâche, réduisent considérablement le coût de l'informatique, ce qui est la clé de leur popularité croissante dans les applications réelles.

Alternatives aux ZK-SNARKs

Aussi extraordinaires que soient les ZK-SNARKs, ils ne sont pas la seule méthode pour dissimuler ses traces de cryptomonnaies. Les ZK-STARKs en sont un exemple, une technique différente : les Zero-knowledge Succinct Transparent Arguments of knowledge. Il est temps de voir la différence entre les deux.

ZK-SNARKs par rapport à ZK-STARKs

Les principales différences entre les ZK-SNARKs et les ZK-STARKs résident dans leur conception et leurs compromis :

• Installation de confiance : Les ZK-SNARKs utilisent une configuration de confiance ; les ZK-STARKs ne nécessitent pas de configuration de confiance, ce qui les rend plus transparents et moins risqués.
• Efficacité Les ZK-SNARKs ne possèdent pas seulement des preuves plus petites mais aussi plus rapides, qui sont idéalement appliquées dans des conditions de faibles ressources ; le ZK-STARK génère une quantité de preuves plus petite que leur taille, mais, d'un point de vue computationnel, est plus simple à réaliser.
• Sécurité : Les ZK-SNARKs ne sont pas encore post-quantiques, donc l'informatique quantique est possible, mais les ZK-STARKs sont moins vulnérables à de telles menaces.

Cas d'utilisation pour chaque technologie

Les ZK-SNARKs sont parfaits pour faire partie de l'application, où la brièveté du code et la vitesse du processus sont de la plus haute importance. Ceux qui peuvent être facilement mis à l'échelle et ne nécessitent pas de confiance, tels que les rollups décentralisés et la validation de données à grande échelle, sont ceux qui gagnent, entre autres.

Les ZK-STARKs offrent une sécurité et une transparence accrues et sont donc le plus souvent utilisés dans des situations impliquant une évolutivité élevée et des configurations sans confiance.

Les rollups et les données de validation à grande échelle font partie du processus d'analyse qui stimule principalement la prolifération et l'adoption des ZK-STARKs.

Les deux technologies ont leurs forces, et leur choix dépend des exigences de l'application. Dans de nombreux cas, une approche hybride combinant ZK-SNARKs et ZK-STARKs pourrait offrir le meilleur des deux mondes.

Avenir de la technologie ZK-SNARK

Alors que la recherche sur la blockchain et la cryptographie évolue, les ZK-SNARKs sont appelés à jouer un rôle de plus en plus important. Examinons ce que l'avenir pourrait nous réserver :

• Innovations et Recherche

Les avancées dans les variations des technologies ZK-SNARKs Le secteur numérique en développement et l'Internet des objets ont introduit des menaces pour la sécurité et la vie privée. Pour y remédier, les scientifiques s'efforcent de proposer de nouvelles technologies qui renforceront les ZK-SNARKs.

Il est affirmé que la volonté insatiable des chercheurs de fournir des méthodes innovantes de circuits de connaissances embarqués, de construire des systèmes universels et de combiner les idées de ZK-SRANKs avec plusieurs chiffrements est à l'origine de l'avancement rapide actuel de la technologie.

Les nouveaux ZK-SNARKs sont tout nouveaux et représentent les dernières avancées en matière d'innovation scientifique. Par conséquent, ils peuvent briser les barrières entre les secteurs financier et médical, ainsi qu'avec ceux qui y sont connectés.

Par exemple, les progrès dans les techniques de calcul multipartite (MPC) pourraient améliorer la sécurité des configurations de confiance, tandis que de nouveaux algorithmes et optimisations pourraient réduire considérablement les temps de génération de preuves.

De plus, des chercheurs de longue date ont lancé des attaques inter-champs pour contourner les problèmes de sécurité fondamentaux liés aux techniques cryptographiques. Ils utilisent des paradigmes "need-blind" (basés sur les besoins), qui permettent à tous les utilisateurs d'accéder simultanément à toutes les opérations d'une grande ville Riverside mais sans exposer d'informations privées à la contrepartie concernée.

• Potentiel dans le Web3 et au-delà

Les ZK-SNARKs peuvent transformer la manière dont les données sont partagées et vérifiées dans l'écosystème Web 3, rendant les témoignages beaucoup plus sûrs. L'auto-prouvabilité et la confidentialité sont leurs atouts, et par conséquent, ils rendent Internet plus contrôlé par l'utilisateur.

L'utilisation des ZK-SNARKs dans l'écosystème Web3 informe les gens sur la véracité des données et une multitude d'autres éléments, ce qui la rend pertinente pour le spectre de Web3 dans des domaines tels que la chaîne d'approvisionnement, la santé, les systèmes de vote sécurisés, etc.

Par exemple, l'utilisation de preuves à divulgation nulle de connaissance (zero-knowledge proofs) pour vérifier l'authenticité d'un dossier médical sans divulguer le patient ni même l'identité du médecin qui a créé le dossier, l'utilisation de Zk-SNARKs pour suivre la provenance des marchandises expédiées dans une chaîne d'approvisionnement mondiale, et leur adoption pour construire un système inviolable et anonyme.