论文2026/2039提出了ZK-JPEG，一种用于JPEG压缩的加密工具，能够证明图像是从秘密的、已提交的输入正确压缩的。该系统解决了图像认证中的挑战，其中损失性压缩和其他变换会使数字签名失效。验证图像来源的传统工具在处理期望的变换（如JPEG压缩、模糊或涂改）时遇到困难。ZK-JPEG使用零知识（ZK）证明来验证一大类图像变换，同时保持密码学完整性。该方法将变换直接集成到JPEG压缩中，成本极低，使其快速、灵活，并与现成的ZK工具兼容。研究人员Samuel Dittmer、Steve Lu、Kimberlee Model和Joseph Near使用Pico ZK将Python图像编辑代码转换为ZK电路，用于线点零知识（LPZK）证明系统，展示了该技术的实际实现。关键实体：公司：Stealth Software Technologies, Inc. | 人物：Steve Lu、Kimberlee Model、Joseph Near、Samuel Dittmer