Le papier 2026/2039 présente ZK-JPEG, un outil cryptographique pour la compression JPEG qui prouve qu'une image a été correctement compressée à partir d'une entrée secrète et engagée. Le système répond aux défis de l'authentification d'images, où la compression avec perte et d'autres transformations invalident les signatures numériques. Les outils traditionnels de vérification de la provenance des images peinent face aux transformations souhaitables comme la compression JPEG, le flou ou la rédaction.

ZK-JPEG utilise des preuves à connaissance nulle (ZK) pour vérifier une vaste famille de transformations d'images tout en maintenant l'intégrité cryptographique. L'approche intègre les transformations directement dans la compression JPEG avec un coût minimal, la rendant rapide, flexible et compatible avec les outils ZK standards. Les chercheurs Samuel Dittmer, Steve Lu, Kimberlee Model et Joseph Near ont utilisé Pico ZK pour convertir le code d'édition d'images Python en un circuit ZK pour le système de preuve à connaissance nulle ligne-point (LPZK), démontrant une mise en œuvre pratique de la technologie.

Entités clés : Entreprises : Stealth Software Technologies, Inc. | Personnes : Steve Lu, Kimberlee Model, Joseph Near, Samuel Dittmer.