ZK-JPEG：零知识图像编辑与压缩

研究人员提出 ZK-JPEG，一种针对 JPEG 压缩的密码学工具，可证明图像由秘密承诺的输入正确压缩而来，并能以极低开销验证多种图像变换。该方案基于 PicoZK 将 Python 图像编辑代码转换为 ZK 电路，用于线点点零知识（LPZK）证明系统，可借助现成 ZK 工具实例化。此前工作虽用零知识证明图像编辑历史，但无法兼容 JPEG 等有损编码。