ZK-JPEG is a cryptographic tool that uses zero-knowledge proofs to verify image provenance and transformations while surviving JPEG compression. It enables camera attestation and proves that images have been correctly compressed from committed inputs, addressing limitations of prior zero-knowledge approaches that fail under lossy encoding.