Makalah 2026/2039 memperkenalkan ZK-JPEG, sebuah alat kriptografis untuk kompresi JPEG yang membuktikan bahwa sebuah gambar telah dikompresi dengan benar dari input rahasia yang dikomit. Sistem ini mengatasi tantangan dalam autentikasi gambar, di mana kompresi lossy dan transformasi lainnya membatalkan tanda tangan digital. Alat tradisional untuk memverifikasi asal-usul gambar kesulitan dengan transformasi yang diinginkan seperti kompresi JPEG, blur, atau redaksi.

ZK-JPEG menggunakan bukti zero-knowledge (ZK) untuk memverifikasi keluarga besar transformasi gambar sambil menjaga integritas kriptografis. Pendekatan ini mengintegrasikan transformasi secara langsung ke dalam kompresi JPEG dengan biaya minimal, menjadikannya cepat, fleksibel, dan kompatibel dengan alat ZK siap pakai. Peneliti Samuel Dittmer, Steve Lu, Kimberlee Model, dan Joseph Near menggunakan Pico ZK untuk mengubah kode pengeditan gambar Python menjadi sirkuit ZK untuk sistem bukti line-point zero-knowledge (LPZK), mendemonstrasikan implementasi praktis teknologi tersebut.

Entitas kunci: Perusahaan: Stealth Software Technologies, Inc. | Orang: Steve Lu, Kimberlee Model, Joseph Near, Samuel Dittmer.