Les Zk-SNARK sont un type de preuve cryptographique conçu pour assurer la confidentialité maximale possible. Pour y parvenir, les zk-SNARK sont construits à l'aide de protocoles ou de tests sans connaissance, une technique intéressante qui nous permet de valider et de vérifier les informations sans avoir à y donner accès.

ELe développement technologique actuel peut être à la fois bénéfique et préjudiciable à la confidentialité des données traitées sur le réseau. Et c'est que cette fonctionnalité a toujours été la plus appréciée par tous les utilisateurs qui souhaitent effectuer leurs transactions via crypto-monnaies. Avant même qu'il y ait crypto-monnaies, à partir du moment de la crypto anarchistes

La réalité est qu'à l'heure du Big Data, des réseaux de neurones artificiels qui vous analysent sans arrêt, des entreprises et des gouvernements absorbant tout ce que nous faisons pour vous contrôler à volonté, la vie privée et la transparence des institutions sont plus importantes que jamais. Pour cette raison, la création de solutions plus puissantes et plus efficaces qui protègent la vie privée dans le monde numérique, gagne aujourd'hui en force et en importance grâce à l'arrivée des crypto-monnaies. 

Aujourd'hui, vous apprendrez l'un des outils à cet égard: les zéro test de connaissances ZK-snarks. Il s'agit d'une implémentation cryptographique très puissante qui vous permet de démontrer la propriété de toute information ou donnée, sans avoir besoin de révéler ces informations ou données à un utilisateur ou à un réseau, à tout moment. Intéressant, non? Eh bien, examinons en profondeur ce que sont ces nouveaux systèmes de preuve cryptographique aveugle.  

Comprendre ce qu'est un zk-SNARK

zk-SNARK est l'acronyme de "Argument de la connaissance, non interactif, succinct, zéro connaissance" Que signifie "Argument de connaissance non interactif succinct de zéro connaissance». Les zk-SNARKs ce sont des systèmes à preuve zéro connaissance très fiables et sécurisés. Des tests qui nous permettent de prouver la possession d'informations, montrant que ces informations sont également correctes. Mais cela en même temps n'est jamais révélé, mais reste strictement confidentiel et secret.

Il est important de faire la différence entre les protocoles ZKP et zk-SNARK. Alors que le protocole ZKP est une forme ou un protocole de réalisation de tests cryptographiques, les algorithmes zk-SNARK sont des algorithmes qui utilisent un protocole ZKP. Pour que vous le compreniez, c'est comme le protocole TCP / IP (la base Internet), mais ensuite, sur lui, des implémentations concrètes sont créées: comme le protocole SMTP (protocole d'envoi d'emails). SMTP est créé sur TCP / IP, en utilisant TCP / IP d'une certaine manière. Dans ce cas, le protocole ZKP serait la base, et zk-SNARK est basé sur cela.

Cette implémentation spécifique du protocole ZK présente quelques nuances que l'on peut découvrir en comprenant chacune des lettres qui composent le nom zk-SNARK:

  • ZK: Zéro connaissance: c'est un type de preuve cryptographique. Cela fait référence à la confidentialité et la confidentialité des informations entre les utilisateurs sans compromettre leur sécurité. Vous pouvez en savoir plus à ce sujet c'est par ici !.
  • S: succinct: cela fait référence à la brièveté et la rapidité avec lesquelles le test peut être vérifié et vérifié comme étant vrai ou légitime. Les tests étant une démonstration de la possession d'informations ou de données, leur taille est petite, ils peuvent donc être vérifiés et validés en quelques millisecondes.
  • N: non interactif: signifie que il n'y a pas d'interaction, de communication ou d'échange constant entre le démonstrateur et le vérificateur. Autrement dit, dans les tests de connaissance zéro, il est seulement nécessaire d'envoyer un message avec le test pour démontrer la possession de l'information, sans avoir besoin d'une communication constante ou fréquente entre les parties.
  • ARK: Argument de la connaissance: se réfère à la test ou connaissance qu'il a un testeur et qu'il peut démontrer à un vérificateur, pour le convaincre qu'il a des informations qu'il connaît et qu'il est correct, mais sans révéler ce que sont ces informations. 

Fondamentalement, un zk-SNARK nous permet de dire à un ami que nous avons des informations secrètes en notre possession, sans jamais avoir à révéler ces informations. Et en même temps, convaincre à cent pour cent notre ami que l'information est vraiment en notre pouvoir. Ça sonne bien, tu ne trouves pas? En fait, l'utilité des tests de ce type est gigantesque, mais avant cela, nous continuons à comprendre ce qui est caché dans les zk-SNARK.

Comment fonctionnent les zk-SNARK?

La technologie qui entoure les zk-SNARKs est profondément complexe et nouvelle. Les bases de sa construction ont été conçues par des cryptographes Goldwasser Shafi, Silvio Micalli et Charles Rackoff en 1985. Ce qui a donné lieu aux premiers protocoles pour dire qu'il y a connaissance d'un secret qui existe et qu'il est correct mais sans le révéler, c'est pratiquement dire «je sais», sans aller au-delà Ces mots. 

Cependant, derrière cela se cache des mathématiques puissantes et complexes que peu de gens peuvent pleinement comprendre. Par conséquent, un exemple explicatif et simple exposé par le cryptographe Jean-Jacques Quiquater en 1990 peut nous aider à comprendre comment fonctionnent les tests de connaissance zéro. Voyons voir:

Le concept de preuve de connaissance nulle est reflété comme une parabole impliquant la caverne des mille merveilles d'Ali Baba. Dans son exemple, la grotte se reflète comme un cercle parfait qui ne contient qu'une seule entrée et qu'il n'y a que deux chemins latéraux à l'intérieur. Pour accéder à la grotte par cette petite porte, vous devez dire les mots secrets corrects. 

Donc, si Alice veut montrer à Bob qu'elle sait quels sont les bons mots secrets, mais sans les révéler à aucun moment, elle peut convenir avec Bob qu'elle sera au bout de la grotte et qu'il sera à l'entrée. Quand Bob dit un mot pour indiquer qu'Alice doit apparaître par l'un des chemins spécifiques, quand Alice entend Bob, elle doit apparaître par le chemin qu'il indique de manière fiable. Prouver que vous connaissez les mots secrets corrects. 

Le processus peut être répété n nombre de fois pour montrer qu'Alice connaît le secret et qu'elle n'a pas choisi le chemin par simple coïncidence. 

Importance des zk-SNARKs

La facilité de suivi ou de traçabilité des transactions effectuées par les utilisateurs dans le blockchain public, a conduit à la mise en place de nouveaux mécanismes de sécurité qui garantissent la protection et la sauvegarde de la vie privée. Tant des utilisateurs que des crypto-monnaies, car la confidentialité est également un élément qui confère une fongibilité aux monnaies numériques. 

Par conséquent, la mise en œuvre de protocoles de confidentialité tels que zk-SNARK permet de garantir la confidentialité de tous les utilisateurs et participants d'un réseau blockchain, sans compromettre la confidentialité ou la sécurité de l'un d'eux. 

L'utilisation de zk-SNARK peut réduire tout type de connexion ou de relation pouvant exister entre l'expéditeur et le destinataire, ainsi que les montants impliqués dans les transactions. Ce mécanisme de sécurité peut être utilisé en conjonction avec d'autres implémentations de confidentialité telles que Tor, pour masquer, par exemple, l'adresse IP des utilisateurs. Rendre la garantie de confidentialité plus efficace dans toutes les opérations. Bien qu'il soit important de noter que zk-SNARK est un mécanisme qui est activé manuellement. 

Que savez-vous, cryptonuta?

Les zk-SNARK sont-ils des preuves cryptographiques sécurisées?

VRAI!

Le test zk-SNARKs a été conçu dès le départ pour fournir un très haut niveau de sécurité et de confidentialité, ce qui n'est pas réalisable par des moyens de cryptographie asymétrique conventionnels tels que ECDSA ou EdDSA.

Zcash et les zk-SNARKs

La première criptomoneda dans l'application de tests de connaissance zéro pour garantir la confidentialité et la sécurité des utilisateurs est Zcash (ZEC). La mise en œuvre de tests zéro connaissance permet à Zcash de vérifier les transactions effectuées sur le réseau. Tout cela sans qu'il soit nécessaire de révéler qui était l'expéditeur, le destinataire ou le montant d'argent qui a été transféré. 

Dans Zcash, le protocole ZKP de choix est l'implémentation zk-SNARKs. Un choix qui vous permet de modifier complètement la façon dont les données sont partagées sur un réseau. Permettre aux transactions de rester cryptées mais toujours en mesure de vérifier et de certifier leur authenticité et leur validité. Offrant un degré sans précédent d'anonymat, de confidentialité, de sécurité et de confidentialité pour les utilisateurs.

Zcash prend en charge les adresses privées et transparentes, où les deux sont totalement interopérables entre eux et il appartient aux utilisateurs d'activer ou de supprimer les protections sur les informations. Les adresses transparentes sur la blockchain Zcash fonctionnent de la même manière que Bitcoin o Ethereum. Où les informations sont visibles publiquement.

En revanche, si vous opérez avec des adresses privées, vous ne verrez dans la chaîne qu'un mouvement s'est produit et que les frais de ladite transaction ont été annulés. Mais il n'y aura aucune connaissance des parties impliquées dans ladite transaction, ni des montants qui ont été transférés. Par conséquent, ces données ne sont pas visibles du public même si elles font partie de la chaîne publique. 

Cela n'est possible que grâce à l'utilisation de preuves à connaissance nulle, qui permettent aux données d'être cryptées ou cryptées dans la blockchain. 

Protocole Zero Knowledge chez Zcash

Zcash implémente le protocoles zéro connaissance, connu sous son acronyme en anglais comme ZKP, établir un mécanisme par lequel une partie peut démontrer à une autre qu'elle détient certaines informations. Sans rien révéler d'autre qu'une preuve confirmant qu'une telle affirmation est vraie. 

Grâce à la mise en œuvre du protocole ZKP, cette crypto-monnaie peut bénéficier d'un haut niveau de sécurité et d'anonymat, si les utilisateurs le souhaitent. Depuis l'extraordinaire capacité du protocole ZKP à assurer la confidentialité permet la création d'un système de communication sécurisé sans précédent. 

Pour toutes ses propriétés, ce protocole de confidentialité a une grande variété d'applications. Applications allant des déploiements de sécurité militaire et nationale aux systèmes de communication et d'authentification sécurisés. En passant bien sûr par les crypto-monnaies et la technologie blockchain. Où ils jouent un rôle important dans la protection et la préservation des transactions effectuées au sein de la blockchain publique. Mais sans révéler ou divulguer des informations entre les parties concernées. C'est pour cette raison que Zcash a implémenté le protocole ZKP sur son système. 

Principales caractéristiques de Zcash dans zk-SNARK

  • Dans Zcash, vous pouvez effectuer des transactions rapidement, en toute sécurité et en privé avec faibles coûts de transaction de 0.0001 Zcash.
  • Avec Zcash, vous pouvez profiter adresses complètement privées ou choisissez adresses publiques et transparentes
  • Avec des adresses privées, les champs mémos ne sont pas divulgués publiquement. Ainsi, vous pouvez inclure des informations importantes pour le destinataire de la transaction sans risques ni vulnérabilités. Puisque ces informations seront protégées et cryptées. 
  • Dans les adresses privées, les utilisateurs peuvent révéler le détail de leurs transactions en cas d'audits ou de conformité aux normes réglementaires. Cependant, l'utilisateur peut révéler toutes les informations de la transaction s'il le souhaite. Ainsi, nous pouvons voir les montants transférés, le champ mémo ou un message lié. Tout cela sans montrer qui a été le destinataire ou le destinataire de l'opération. 

Autres types de tests de connaissance zéro similaires à zk-SNARK

Les zk-STARKs sont un autre exemple de tests sans connaissance similaire à zk-SNARK. Les zk-STARK ils ont été créés comme une version alternative des tests zk-SNARK et sont considérés comme une implémentation plus rapide et moins chère de cette technologie. 

Mais ce qui est vraiment important dans ce système, c'est que les zk-STARK ne nécessitent pas de configuration de confiance initiale (par conséquent, le «T» est transparent). De plus, les zk-STARK ont une plus grande résistance contre les attaques de type quantique. Pour cette raison, ils sont considérés comme une forme de cryptographie plus fiable contre ce type de système.