ZK-JPEG: pruebas de conocimiento cero que sobreviven a la compresión JPEG
El paper 2026/2039 del ePrint de IACR describe una construcción criptográfica que demuestra que un JPEG se comprimió desde una imagen de partida sin revelarla.
Un equipo de investigadores ha publicado ZK-JPEG, un esquema criptográfico que demuestra que un archivo JPEG se generó comprimiendo correctamente una imagen de partida, sin necesidad de mostrar esa imagen de partida. El trabajo es el paper 2026/2039 del ePrint de IACR y lo firman Steve Lu y Kimberlee Model, de Stealth Software Technologies, y Joseph Near, de la Universidad de Vermont.
El problema que ataca viene del choque entre dos cosas que hacen los sistemas de autenticación de imágenes. Por un lado, la atestación de cámara: el sensor firma la foto con su clave y así se prueba que salió de un dispositivo físico y no de un generador de deepfakes. Por otro, el procesamiento normal: recomprimir a JPEG o difuminar una cara. Cualquiera de esas operaciones rompe la firma, y con ella la prueba de procedencia.
Los trabajos anteriores con pruebas de conocimiento cero resolvían la parte de historial de edición, pero no aguantaban una codificación con pérdida como JPEG. Ahí está el hueco que cubren los autores: ZK-JPEG prueba que el JPEG publicado se corresponde con la entrada comprometida de la que se partió, incluso pasando por la compresión.
PicoZK y LPZK por debajo
La implementación no levanta un sistema criptográfico desde cero. Los autores usan PicoZK para traducir código Python de edición de imágenes a un circuito de conocimiento cero, y ese circuito se prueba con el sistema LPZK (line-point zero knowledge). La ventaja de ese camino, según el paper, es que basta con herramientas ZK que ya existen.
La compresión no es el único caso. Los autores sostienen que el mismo montaje admite una familia amplia de transformaciones de imagen —recortes, desenfoques, redacciones— integrándolas en el propio proceso de compresión a un coste que describen como mínimo. El texto no acompaña esas afirmaciones con cifras de rendimiento ni con comparativas frente a otras construcciones.
Conviene ser claro sobre lo que hay publicado: es el resumen de un paper, sin repositorio ni demo enlazados. Las afirmaciones de rapidez y flexibilidad son de los autores, no de un tercero que haya reproducido el circuito.
Aun así, el enfoque apunta a un sitio concreto: los pipelines donde hoy hay que elegir entre publicar la imagen tal cual llegó de la cámara o perder la capacidad de demostrar que es auténtica. Si la construcción aguanta lo que promete, esa disyuntiva desaparece. Falta ver el circuito completo y cuánto cuesta en la práctica probar una imagen real.
