ZK-JPEG prueba que una imagen fue comprimida sin revelar el original

ZK-JPEG: Zero-Knowledge Image Editing and Compression

Las herramientas para generar deepfakes son cada vez más accesibles, y las firmas digitales que certifican el origen de una foto se invalidan al comprimirla o editarla. ZK-JPEG demuestra criptográficamente que una imagen JPEG se comprimió correctamente a partir de una entrada secreta comprometida, y además verifica transformaciones como desenfoque o censura con un costo mínimo. El sistema es rápido y se construye con herramientas ZK estándar: PicoZK convierte código Python de edición de imágenes en un circuito ZK para el sistema de pruebas LPZK.