論文2026/2039は、ZK-JPEGを提示しています。これは、秘密のコミットされた入力から画像が正しく圧縮されたことを証明するJPEG圧縮のための暗号ツールです。このシステムは、ロッシー圧縮やその他の変換がデジタル署名を無効にする画像認証の課題に対処します。画像の出自を検証するための従来のツールは、JPEG圧縮、ぼかし、または削除のような望ましい変換に苦労します。ZK-JPEGはゼロ知識（ZK）証明を使用して、暗号学的完全性を維持しながら広範な画像変換を検証します。このアプローチは変換を最小コストでJPEG圧縮に直接統合し、高速で柔軟かつ市販のZKツールと互換性を持たせます。研究者Samuel Dittmer、Steve Lu、Kimberlee Model、およびJoseph Nearは、Pico ZKを使用してPython画像編集コードを線分点ゼロ知識（LPZK）証明システムのZK回路に変換し、この技術の実用的な実装を実証しました。主要エンティティ: 企業: Stealth Software Technologies, Inc. | 人物: Steve Lu、Kimberlee Model、Joseph Near、Samuel Dittmer