zk-SNARK.

Argument de connaissance succinct, non interactif et à divulgation nulle : une preuve courte et rapide à vérifier qu'un calcul a été effectué correctement, sans révéler ses entrées. Cette notion relève de la catégorie Cryptographie en cybersécurité.

Argument de connaissance succinct, non interactif et à divulgation nulle : une preuve courte et rapide à vérifier qu'un calcul a été effectué correctement, sans révéler ses entrées.

Un zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) est un système de preuves non interactif qui produit des preuves de quelques centaines d'octets, vérifiables en quelques millisecondes, indépendamment de la taille du calcul. Des constructions telles que Groth16, PLONK ou Halo2 s'appuient sur des couplages sur courbes elliptiques ou des engagements polynomiaux, et nécessitent souvent un setup de confiance généré via une cérémonie multipartite pour éviter un point unique de confiance. Les zk-SNARK alimentent les cryptomonnaies confidentielles (Zcash), les zk-rollups Ethereum (zkSync, Polygon zkEVM, Scroll) et les systèmes d'identité confidentielle. Leurs principaux compromis sont un coût de prouveur élevé et la dépendance à des hypothèses cryptographiques potentiellement vulnérables aux attaques quantiques, sauf dans les variantes fondées sur les réseaux.

Les défenses contre zk-SNARK combinent habituellement des contrôles techniques et des pratiques opérationnelles, comme détaillé dans la définition ci-dessus.

Noms alternatifs courants : SNARK, Argument succinct non interactif de connaissance.