SNARK

Définition

SNARK signifie Succinct Non-Interactive Argument of Knowledge. C'est une famille de preuves à connaissance nulle (ZKP) ayant trois propriétés remarquables :

• Succinct : la preuve est très courte (quelques centaines d'octets), même si le calcul prouvé est massif
• Non-interactive : un seul message du prouveur au vérificateur, pas d'échange
• Argument of Knowledge : prouve qu'on connaît un témoin sans le révéler

Concrètement, un SNARK permet de démontrer mathématiquement « j'ai effectué ce calcul correctement » sans révéler les entrées ni recommencer le calcul côté vérificateur.

Les principales variantes

| Schéma | Année | Particularité | |--------|-------|---------------| | Groth16 | 2016 | Preuves les plus courtes (~200 octets), mais setup de confiance par circuit | | PLONK | 2019 | Setup universel (réutilisable entre circuits) | | Halo / Halo2 | 2019-2021 | Pas de trusted setup, récursion native | | Marlin, Sonic | 2019-2020 | Setup universel, alternatives à PLONK |

Le rôle dans l'écosystème Bitcoin

Bitcoin lui-même n'embarque pas de vérificateur SNARK natif, mais les SNARK sont au cœur de plusieurs projets adjacents :

• Citrea : rollup ZK qui hérite de la sécurité de Bitcoin en publiant des preuves SNARK
• ZeroSync : projet visant à permettre la synchronisation rapide d'un nœud via une preuve unique de toute l'histoire de la chaîne
• BitVM : utilise des techniques de fraud proof inspirées par les SNARK pour étendre les capacités de script

Une activation future d'un opcode comme OP_CAT faciliterait grandement la vérification de SNARK directement on-chain.

SNARK vs STARK

Les STARK sont une famille alternative, sans setup de confiance et résistante au quantique, mais produisant des preuves plus grandes (dizaines de Ko vs centaines d'octets). Chaque famille a ses cas d'usage : SNARK pour la compacité, STARK pour la transparence.

À retenir

Les SNARK sont la brique cryptographique majeure de la décennie 2020 : elles permettent de scaler des systèmes décentralisés sans sacrifier la vérifiabilité. Pour Bitcoin, elles ouvrent la voie à des layers 2 plus puissants, plus privés, et plus sûrs.