Un ZK-SNARK, abréviation de Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, est une technique cryptographique utilisée pour prouver la possession de certaines informations sans révéler ces informations elles-mêmes. Dans le contexte des cryptomonnaies comme Ethereum, les ZK-SNARK sont utilisés à des fins de confidentialité et d’évolutivité.
Vous trouverez ci-dessous une analyse de la signification de chaque partie du terme :
Zero-Knowledge : Cela signifie qu’une partie (le prouveur) peut prouver à une autre partie (le vérificateur) qu’elle connaît un certain élément d’information sans révéler l’information elle-même. En d’autres termes, le prouveur peut convaincre le vérificateur qu’une déclaration est vraie sans divulguer d’autres informations que le fait que la déclaration est vraie.
Succinct : La preuve est courte et facile à vérifier. Même si la preuve peut impliquer des calculs complexes, elle peut être vérifiée rapidement sans qu’il soit nécessaire de refaire ces calculs.
Non-interactive : Dans une preuve non interactive, le prouveur génère la preuve une fois et le vérificateur peut la vérifier sans avoir besoin d’interagir davantage avec le prouveur. Cela est important pour l’efficacité et l’évolutivité des systèmes de la blockchain.
Argument of Knowledge : Cela indique que la preuve démontre non seulement qu’un énoncé est vrai, mais aussi que le prouveur sait pourquoi il est vrai (c’est-à-dire qu’il possède l’information ou le secret nécessaire).
Les ZK-SNARK sont particulièrement utiles dans la technologie blockchain car ils permettent de vérifier les transactions ou les contrats intelligents sans révéler les détails sous-jacents. Leurs petites tailles de preuve et leur vérification en temps constant garantissent une vitesse d’authentification cohérente, quelle que soit la complexité de l’énoncé prouvé. Les ZK-SNARK améliorent la confidentialité sur la blockchain tout en maintenant l’intégrité et la sécurité.
