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

论文 2026/2039 Samuel Dittmer，Stealth Software Technologies, Inc. Steve Lu，Stealth Software Technologies, Inc. Kimberlee Model，Stealth Software Technologies, Inc. Joseph Near，佛蒙特大学 摘要 用于生成深度伪造照片的工具正在激增，并且在流行文化中更加易于使用和突出。图像认证工具可以通过验证数字图像实际上是由物理相机生成来击败这些欺骗性的发展。挑战在于这些工具必须对所需的图像转换具有鲁棒性。相机认证使用数字签名来证明图像来自相机。有损压缩会进行微小的更改以减小图像的大小，并且模糊或编辑图像区域可以保护其主题。这些更改会使图像的签名无效。先前的作品使用零知识（ZK）来证明已发布图像的编辑历史，但它们无法在 JPEG 格式等有损编码中幸存。我们提出了 \zkjpeg，一种用于 JPEG 压缩的加密工具，可以证明图像是根据秘密的、提交的输入正确压缩的。此外，我们的工具可以以最低的成本将大量图像转换集成到 JPEG 压缩中来验证它们。我们的系统快速、灵活，并且可以通过现成的 ZK 工具进行实例化。我们使用 PicoZK 将 Python 图像编辑代码转换为 ZK 电路，用于线点零知识（LPZK）证明系统。 BibTeX 复制到剪贴板@misc{cryptoeprint:2026/2039，作者 = {Samuel Dittmer 和 Steve Lu 以及 Kimberlee Model 和 Joseph Near}，标题 = {{ZK}-{JPEG}：零知识图像编辑和压缩}，howpublished = {Cryptology {ePrint} Archive，Paper 2026/2039}，年份 = {2026}，url = {https://eprint.iacr.org/2026/2039} }