El artículo 2026/2039 presenta ZK-JPEG, una herramienta criptográfica para la compresión JPEG que demuestra que una imagen fue comprimida correctamente a partir de una entrada secreta y comprometida. El sistema aborda desafíos en la autenticación de imágenes, donde la compresión con pérdida y otras transformaciones invalidan las firmas digitales. Las herramientas tradicionales para verificar el origen de imágenes tienen dificultades con transformaciones deseables como la compresión JPEG, el desenfoque o la redacción.

ZK-JPEG utiliza pruebas de conocimiento cero (ZK) para verificar una gran familia de transformaciones de imágenes manteniendo la integridad criptográfica. El enfoque integra las transformaciones directamente en la compresión JPEG con un costo mínimo, haciéndolo rápido, flexible y compatible con herramientas ZK comerciales. Los investigadores Samuel Dittmer, Steve Lu, Kimberlee Model y Joseph Near utilizaron Pico ZK para convertir código de edición de imágenes en Python en un circuito ZK para el sistema de prueba de conocimiento cero de línea-punto (LPZK), demostrando la implementación práctica de la tecnología.

Entidades clave: Empresas: Stealth Software Technologies, Inc. | Personas: Steve Lu, Kimberlee Model, Joseph Near, Samuel Dittmer.