ZK-JPEG: Zero-Knowledge Image Editing and Compression
2 hours ago
- Deep fake photo tools are becoming more common, prompting a need for image authentication to verify an image originates from a physical camera.
- Camera attestation uses digital signatures to prove provenance, but desirable edits like lossy compression, blurring, or redaction invalidate these signatures.
- Prior zero-knowledge (ZK) approaches could prove edit history but failed with lossy encoding like JPEG.
- ZK-JPEG is a cryptographic tool that proves an image was correctly compressed from a secret input and supports various image transformations with minimal cost.
- The system is fast, flexible, uses off-the-shelf ZK tools, and converts Python image editing code into a ZK circuit via PicoZK for the LPZK proof system.