ZK-JPEG es una herramienta criptográfica diseñada para la compresión de imágenes JPEG que utiliza pruebas de conocimiento cero (ZK) para garantizar la integridad y el origen de los archivos digitales. Su objetivo principal es combatir la proliferación de deepfakes y la manipulación de imágenes mediante la verificación de que una imagen fue producida por una cámara física y no alterada posteriormente. A diferencia de los sistemas anteriores, que a menudo fallaban ante la compresión con pérdida, ZK-JPEG integra la atestación criptográfica directamente en el proceso de codificación JPEG, permitiendo que la imagen sobreviva a transformaciones deseadas como el desenfoque o la censura sin invalidar su firma digital.
El sistema opera mediante la conversión de código de edición de imágenes en Python a circuitos criptográficos, utilizando la librería PicoZK para implementar el sistema de pruebas de conocimiento cero de línea-punto (LPZK). Esta arquitectura permite que la herramienta sea rápida, flexible y compatible con herramientas de ZK existentes. Al demostrar que la imagen fue comprimida correctamente desde una entrada secreta y comprometida, ZK-JPEG ofrece una solución robusta para la autenticación de imágenes en entornos donde la manipulación digital es común. El trabajo, publicado en SCN 2026, destaca por su capacidad de integrar múltiples familias de transformaciones de imagen con un coste mínimo, facilitando su adopción en aplicaciones que requieren verificación de proveniencia sin sacrificar la calidad visual o la eficiencia de almacenamiento.