zkDaily - 2026-09-21

零知识证明zkDaily

ZKP Frontier Tracker 🎯

Mon

09.21

2026

ZK-JPEG: Zero-knowledge Image Editing and Compression

Paper

https://eprint.iacr.org/2026/2039

JPEGPicoZK

Dittmer et al. proposed ZK-JPEG, a ZK tool for JPEG compression proving correct compression from secret inputs and verifying image transformations with minimal overhead.

NotesNotes要点

ZK-JPEG supports zero-knowledge proving for lossy JPEG compression.
It integrates and verifies image transformations like blurring and editing within compression.
Python image processing code is converted into ZK circuits using PicoZK.
The system is built on the LPZK proof system for efficient proving.
It aims to verify image provenance and combat deep fakes.
The system is fast, flexible, and instantiable from off-the-shelf ZK tools.

Collected by @icerdesign

零知识证明zkDaily

Q&A Deep Dive 💬

Mon

09.21

2026

Why does JPEG compression invalidate image signatures?

Lossy compression alters image data, causing the original digital signature to no longer match.

How does ZK-JPEG handle image editing operations?

It integrates transformations like blurring or cropping into JPEG compression and proves them together with minimal overhead.

What is the key difference from prior work?

Prior work could not survive lossy JPEG compression; ZK-JPEG natively supports JPEG and integrates transformations.

Prompted by @icerdesign