Il s'agit du 1943ème numéro de Vernacular Blockchain Original Author | Compilé par un contributeur | Produit par Huohuo | Vernacular Blockchain (ID : hellobtc)

Pendant longtemps, seuls deux des trois triangles impossibles de la blockchain (c'est-à-dire l'évolutivité, la décentralisation et la sécurité) pouvaient être obtenus. Par conséquent, après qu'Ethereum ait atteint un degré plus élevé de sécurité et de confidentialité, l'expansion est devenue la priorité absolue. C’est ainsi qu’est née la couche 2. Dans le plan d’expansion actuel de la couche 2, la technologie ZK est considérée par Vitalik Buterin (V God), co-fondateur d’Ethereum, comme la solution ultime au problème d’expansion.

Le 21 mai, lors de la conférence EDCON 2023, une conférence mondiale annuelle à but non lucratif sur Ethereum qui s'est tenue au Monténégro, Buterin a déclaré qu'au cours des 10 prochaines années, zk-SNARK avec ZK comme technologie sous-jacente sera aussi important que la blockchain.

Alors, quels sont les zk-SNARK récemment promus par V God ? Quels problèmes insolubles la blockchain peut-elle résoudre ? Jetons un coup d’œil à l’introduction d’aujourd’hui. Voici le texte :

01 Que sont les zk-SNARK ?

1. Qui a créé les zk-SNARK ?

Le terme « zk-SNARKs » a été inventé par un groupe de cryptographes, dont Nir Bitansky, Alessandro Chiesa et Eran Tromer, qui ont initialement publié les principes de base des zk-SNARK dans un article. Depuis lors, les zk-SNARK ont été progressivement développés et améliorés par de nombreux projets et équipes différents.

2. Que signifie zk-SNARK ?

- ZK : zéro connaissance zéro connaissance

Aucune connaissance signifie que la personne qui vérifie la réclamation ne peut obtenir aucune nouvelle information du processus de vérification. En d’autres termes, dans un processus de preuve sans connaissance, le vérificateur sait seulement si la déclaration est vraie ou fausse et rien d’autre.

- S : simplicité

Les preuves concises des zk-SNARK sont des preuves courtes et facilement vérifiables. Cela contraste avec les preuves classiques sans connaissance, qui peuvent être très longues et complexes. En règle générale, les preuves zk-SNARK peuvent être vérifiées en millisecondes.

- N : non interactif non interactif

Les preuves zk-SNARK non interactives ne nécessitent aucune interaction entre le prouveur et le vérificateur. Cela signifie qu'un seul message résultant est envoyé du prouveur au vérificateur. Cela contraste avec les preuves interactives, dans lesquelles le prouveur et le vérificateur doivent interagir les uns avec les autres pour compléter la preuve.

- AR : argument argument

Un argument est une raison ou un ensemble de raisons qui soutient un point de vue. Dans le contexte des zk-SNARK, un argument est une séquence d'opérations mathématiques utilisée pour prouver qu'un argument énoncé est correct.

- K : connaissance connaissance

La connaissance est l'idée que le prouveur connaît certaines informations nécessaires pour compléter la preuve. Par exemple, il peut s'agir de la clé privée du compte.

Pour résumer, zk-SNARKs est un système ZK (système de preuve à connaissance nulle) qui permet aux utilisateurs (« certificateurs ») de prouver quelque chose à une autre partie (« vérificateur »), comme leur identité, la propriété de leurs fonds, etc., sans divulguer aucune information sur ces actifs. Par exemple:

- L'utilisateur doit être en mesure de prouver qu'il y a un solde suffisant sur son compte pour acheter le produit ou le service sans avoir à partager le montant exact dont il dispose - L'utilisateur doit pouvoir vérifier son identité avant d'accéder à l'application sans avoir à partager ; ses données personnelles.

Pour illustrer comment « expliquer les zk-SNARK à un enfant de 5 ans », voici un jeu pour expliquer ce que sont les zk-SNARK :

« Imaginez que vous jouez avec trois amis. « Où est le professeur de chinois ? », le prix est un pari de 1 000 $ réparti à parts égales entre les gagnants. Vous et vos amis êtes assis autour d'une table et chacun reçoit une photo d'un professeur de chinois.

Vous devez trouver le professeur de chinois sur la photo. Une fois que vous avez trouvé le professeur de chinois, vous devez prouver que vous l'avez trouvée, mais vous ne pouvez pas révéler son emplacement ni aucune autre information. En d’autres termes, vous souhaitez démontrer une connaissance des faits sans révéler aucune information allant au-delà de la validité de vos affirmations.

En utilisant zkSNARK, vous pouvez prendre un morceau de papier de la même taille et marquer un point sur la position du professeur de chinois sur la photo. Le papier peut ensuite être caché dans une boîte, et une fois que vos amis ont résolu le puzzle, ils peuvent voir par eux-mêmes l'emplacement du professeur de chinois que vous avez marqué. "

En d'autres termes, les zk-SNARK vous permettent de prouver les informations de vérification dont vous avez besoin sans révéler la valeur spécifique de ces informations. Dans l'écosystème inter-chaînes actuel, l'utilisation de la technologie zk-SNARKs peut préserver la confidentialité des blockchains et des DApp construites sur sa plate-forme. Ici, l'idée clé est qu'il est impossible pour le vérificateur d'obtenir la moindre information sur la preuve (d'où le nom de preuve « zéro connaissance »).

02 Comment fonctionnent les zk-SNARK

Les zk-SNARK sont particulièrement importants dans l’espace cryptographique, où la confidentialité est particulièrement importante car de nombreuses blockchains sont de nature publique. L’exemple le plus célèbre est Zcash, un cryptoactif de confidentialité. Lorsque Zcash est négocié sur des chaînes publiques telles que Bitcoin et Ethereum, des détails tels que les adresses de l'expéditeur et du destinataire sont utilisés pour la vérification, ainsi que les valeurs d'entrée et de sortie (c'est-à-dire combien a été dépensé et combien n'a pas été dépensé). Mais avec les zk-SNARK, Zcash peut prouver qu'une transaction est valide sans divulguer d'informations telles que l'adresse et la valeur.

Comment Zcash utilise zkSNARKS pour fournir une couche de confidentialité aux utilisateurs de crypto Source : Blockchainhub.net

Comment fonctionnent les zk-SNARK ? Les signatures numériques déterminent le fonctionnement des zk-SNARK. Les signatures numériques utilisent des algorithmes de cryptage pour protéger les informations sensibles, les cachant à l'autre partie tout en fournissant à cette partie les preuves nécessaires demandées. Alors, comment ça se passe exactement ? Les étapes sont les suivantes : 1. Le prouveur génère d'abord une paire de clés, une clé publique et une clé privée. Il signe la transaction à l'aide de sa clé privée. 2. Le prouveur code ensuite cette transaction en zk-SNARK, ce qui est une preuve mathématique que la transaction est valide. 3. La preuve est envoyée au vérificateur avec la clé publique. Le vérificateur utilise ensuite la clé publique pour vérifier que la formule est correcte sans connaître aucune autre information sur la transaction. Puisque seule une petite quantité d’informations est vérifiée, cette vérification peut être effectuée très rapidement pour confirmer que la transaction est valide.

03 Cas d'utilisation spécifiques des zk-SNARK

1. Quels jetons utilisent les zk-SNARK ?

Le jeton cryptographique SNARK est un actif cryptographique qui utilise zk-SNARK pour améliorer la confidentialité, également connu sous le nom de jeton de confidentialité. Des exemples de tels jetons de confidentialité sont : - Zcash (ZEC) - Verge (XVG) - Monero (XMR) - Dash (DASH) - Beam (BEAM) - Horizen (ZEN) - Bytecoin (BCN) Le principal défi des zk-SNARK est Si la clé privée est compromise, de fausses preuves peuvent être créées. Cela pourrait permettre aux créateurs de fausses preuves de commettre une fraude, par exemple en créant et en utilisant de fausses pièces de confidentialité.

2. Autres applications de zk-SNARKS

Filecoin est un fournisseur de stockage décentralisé qui opère sur plusieurs fronts.

Premièrement, les fournisseurs de stockage sur le réseau Filecoin (fournissant de l’espace de stockage en échange de récompenses de bloc) et les « certificateurs » doivent prouver qu’ils stockent correctement les données en chaîne. D’un autre côté, nous avons des « validateurs », c’est-à-dire des nœuds, qui doivent vérifier que le fournisseur de stockage stocke et protège correctement les données. Ces validateurs doivent se contenter des preuves apportées par le prestataire de stockage. Cela nécessite que les fournisseurs de stockage et les nœuds communiquent lorsque les données changent de mains. Comme vous pouvez l’imaginer, ce processus nécessitera beaucoup de ressources. Le billet de blog officiel de Filecoin explique : « La quantité de données qui doit aujourd'hui être prouvée par un seul fournisseur de stockage afin de vérifier leur stockage est énorme et ne fera qu'augmenter avec le temps. Le réseau Filecoin a un temps de blocage de 30 secondes " pour rester. invariantes dans le temps et permettant des méthodes évolutives, Filecoin avait besoin d'une solution permettant une vérification rapide, efficace et robuste.

Avec les zk-SNARK, le réseau Filecoin peut augmenter son évolutivité et son efficacité en réduisant le temps nécessaire à chaque partie pour vérifier le stockage. Pour les fournisseurs de stockage, les zk-SNARK réduisent la quantité de données qu'ils doivent transmettre pour prouver leur stockage, réduisant ainsi les coûts opérationnels.

3. Les zk-SNARK peuvent également être utilisés pour d'autres choses telles que :

- Authentification : vérifiez les informations d'identification de l'utilisateur sans mot de passe, éliminant ainsi le besoin de documents tels que les passeports et les actes de naissance pour protéger les informations sensibles telles que le lieu et la date de naissance.

- Système de vote : l'identité de l'électeur peut être vérifiée sans identification, et l'identité de l'électeur ne peut pas être identifiée même en cas de fuite du bulletin de vote, protégeant ainsi la vie privée de l'électeur.

- Compression des données : C'est une utilisation intéressante de zk-SNARKS et mérite sa propre section.

04 Résumé

Dans l'ensemble, zk-SNARKS comporte trois points clés : 1. zkSNARKS est un système de preuve sans connaissance qui permet à une partie de prouver à une autre partie qu'elle connaît une valeur x sans transmettre aucune autre information sur x. 2. L’idée clé est que le vérificateur ne peut rien déduire sur x du simple fait que le prouveur peut prouver qu’il connaît x. Cela protège la confidentialité des données du prouveur. 3. Les systèmes à preuve de connaissance nulle sont utilisés dans diverses applications, notamment les communications sécurisées, la cryptographie et l'analyse de données préservant la confidentialité. Bien que les systèmes de preuve sans connaissance soient actuellement un domaine de recherche relativement nouveau, de nombreuses questions restent ouvertes quant à leur faisabilité et leur caractère pratique. Cependant, ils ont été utilisés pour créer des produits impressionnants.

Que pensez-vous des zk-SNARK ? Veuillez laisser un message dans la zone de commentaires pour en discuter.

Lien original : https://phemex.com/academy/what-is-zksnark Titre original : Qu'est-ce que zkSNARK : un explicatif adapté aux débutants Auteur original : Contributeur Compilateur : Huohuo

FIN