ZK-JPEG proves an image was correctly compressed and edited from a committed original

IACR ePrint·low signalXBlueskyLinkedInCopy link

Submitted Sept 15 by Samuel Dittmer, Steve Lu, Kimberlee Model and Joseph Near, ZK-JPEG addresses the gap that kills camera attestation in practice: lossy compression and legitimate edits such as blurring or redaction invalidate a digital signature. The system folds editing operations directly into JPEG compression and proves the result came from a secret committed input, built with PicoZK to convert Python image code into zero-knowledge circuits for the LPZK proof system. The eprint landing page does not publish proof sizes, proving times or tested resolutions, so the practicality question stays open until someone reads the PDF.