ZK-SNARK signifie Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (argument de connaissance succinct et non interactif à divulgation nulle de connaissance). Il s'agit d'un protocole cryptographique qui permet à une partie de prouver à une autre qu'elle possède des informations spécifiques ou qu'elle a accompli une tâche sans pour autant divulguer les données sous-jacentes. Cette technologie sert d'outil de renforcement de la confidentialité, conçu pour vérifier la validité des transactions tout en dissimulant les détails sensibles au regard du public.
Le processus fonctionne à l'aide d'une clé secrète générée avant qu'une transaction n'ait lieu. Grâce à ce cadre mathématique, une partie peut générer une solution hachée confirmant qu'elle détient les informations nécessaires, tandis que l'autre partie vérifie que cette solution se situe dans une plage requise. Cela permet une vérification sécurisée et privée sans nécessiter d'interaction directe ni l'exposition d'identifiants privés.
Une application pratique de cette technologie se trouve dans la cryptomonnaie Zcash. Alors que les premiers réseaux blockchain comme Bitcoin ont souvent eu du mal à maintenir l'anonymat des utilisateurs, Zcash utilise les ZK-SNARK pour répondre à ces préoccupations en matière de confidentialité. En mettant en œuvre ce protocole, le réseau peut confirmer qu'une transaction est légitime et respecte toutes les règles sans révéler l'expéditeur, le destinataire ou le montant spécifique impliqué dans le transfert.