#Zk-SNARK
Zk-SNARKs (Zero Knowledge Succinct Non-Interactive Argument of Knowledge) est une technologie cryptographique développée par les cryptographes Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer et Madars Virza du Massachusetts Institute of Technology (MIT). Il est utilisé pour créer des transactions sécurisées et privées sur les réseaux blockchain. Les Zk-SNARK sont un type de preuve de connaissance nulle qui permet à deux parties de prouver qu'elles possèdent des informations spécifiques sans révéler aucun détail à leur sujet. Cela les rend idéaux pour une utilisation dans des systèmes distribués où la confiance entre les participants n'est ni possible ni souhaitable.
À la base, Zk-SNARKs fonctionne en utilisant un algorithme pour générer une signature numérique appelée « preuve » à partir de certaines entrées de données telles que les enregistrements de transactions et d’autres informations sans réellement révéler ces entrées elles-mêmes. La preuve peut alors être vérifiée par toute personne ayant accès aux données saisies mais sans pouvoir visualiser leur contenu. Par exemple, une partie peut prouver qu’elle possède des pièces spécifiques sur le réseau Bitcoin sans avoir à révéler quelles adresses contiennent ces pièces ou combien d’argent y est stocké. En tant que tel, ZK Snarks offre des avantages en matière de confidentialité inégalés par les méthodes traditionnelles tout en permettant aux utilisateurs de vérifier l'identité et l'authenticité de chacun grâce à leurs seules preuves.
En plus de ses fonctionnalités de confidentialité, ZK Snarks offre également une évolutivité améliorée par rapport aux technologies blockchain traditionnelles en raison de leur faible surcharge de calcul lors de la vérification des transactions ; cela permet plus de transactions par seconde que ce qui serait autrement possible sur des blockchains reposant uniquement sur des systèmes de cryptage à clé publique comme RSA ou ECC. De plus, étant donné que la preuve des déclarations ne nécessite aucune interaction entre le vérificateur et le prouveur au-delà de la fourniture des entrées de données nécessaires – même sur de longues distances – cette technologie offre des avantages significatifs par rapport aux protocoles interactifs tels que les signatures Schnorr lorsque plusieurs entités doivent être vérifiées simultanément afin de prendre des décisions consensuelles concernant les nouveaux blocs dans des systèmes de grand livre comme Hyperledger Fabric ou la mise à niveau du protocole Casper d'Ethereum 2.0.
Enfin, étant donné que tous les composants nécessaires à la génération de preuves à l'aide de zk SNARKS sont générés à partir du système lui-même plutôt que de nécessiter des sources externes, ces protocoles ont été qualifiés de « sans confiance » car des tiers n'ont pas besoin d'être impliqués ni dignes de confiance pour les processus de validation les impliquant. prend place .
Dans l'ensemble, zk SNARKS représente une avancée importante vers la création de réseaux décentralisés véritablement autonomes, capables de partager en toute sécurité des informations confidentielles avec des niveaux d'efficacité élevés.
