Contexte et enjeux
Le 17 septembre 2026, Samuel Dittmer et ses co‑auteurs ont présenté ZK-JPEG, un protocole cryptographique destiné à garantir l’authenticité d’une image après compression JPEG. Les signatures numériques classiques, utilisées pour attester la provenance d’une photo, sont invalidées dès que le fichier subit une compression avec perte, un flou ou une censure. Or, les outils de génération de deep‑fake exploitent précisément ces transformations, rendant indispensable une méthode capable de vérifier l’historique d’édition sans exposer le contenu original.
Architecture de ZK-JPEG
Le système repose sur trois piliers : un engagement secret de l’image source, la génération d’une preuve à connaissance nulle (ZK) attestant que le fichier JPEG résultant a été produit à partir de cet engagement, et l’intégration de transformations d’image (redaction, flou, recadrage) dans le même circuit de preuve. Les auteurs utilisent PicoZK pour compiler du code Python de traitement d’image en un circuit compatible avec le système de preuve line‑point zero‑knowledge (LPZK). Cette chaîne de compilation permet de transformer les étapes classiques du pipeline JPEG – transformation en cosinus discrète (DCT), quantification, codage Huffman – en contraintes arithmétiques vérifiables par le vérificateur.
Analyse de la preuve zéro‑knowledge
Le protocole garantit que le vérificateur ne reçoit aucune information sur le contenu visuel de l’image d’origine, uniquement la preuve que le processus de compression a été exécuté correctement. La taille de la preuve dépend linéairement du nombre de portes du circuit, ce qui, selon les performances publiées de LPZK, conduit à des preuves de l’ordre de quelques dizaines de kilooctets pour des images de résolution standard (≈ 1 MP). La génération de la preuve, bien que qualifiée de « rapide » par les auteurs, reste proportionnelle à la complexité du circuit JPEG et aux transformations additionnelles, ce qui peut entraîner des temps de calcul significatifs pour des résolutions supérieures à 4 MP.
Limites et perspectives
Le travail se concentre exclusivement sur le format JPEG ; les formats modernes comme HEIC ou WebP, qui utilisent des algorithmes de compression différents, ne sont pas couverts. De plus, la dépendance à LPZK implique que les garanties de sécurité sont limitées aux hypothèses sous‑jacentes du système de preuve, notamment la résistance aux attaques de type “knowledge‑extraction”. Aucun benchmark détaillé n’est fourni dans le papier, ce qui empêche d’évaluer précisément le coût en temps et en mémoire sur des jeux de données réels. Enfin, l’intégration de transformations avancées (ex. : retouche locale à l’échelle du pixel) pourrait gonfler le circuit au point de rendre la preuve impraticable sans optimisation supplémentaire. Malgré ces réserves, ZK-JPEG ouvre une voie concrète pour la vérification d’image post‑compression, un besoin croissant dans les scénarios de lutte contre les deep‑fakes et la protection de la vie privée.
