ZK-JPEG: Zero-Knowledge Image Editing and Compression

ZK-JPEG is a cryptographic tool that proves a JPEG image was correctly compressed from a secret, committed input and can incorporate common image transformations such as blurring or redaction. It uses PicoZK to translate Python image-editing code into a line-point zero-knowledge (LPZK) circuit, enabling fast, flexible verification with minimal overhead. The system is built from off-the-shelf ZK components and supports a broad family of edits while preserving image provenance.