O artigo 2026/2039 apresenta o ZK-JPEG, uma ferramenta criptográfica para compressão JPEG que prova que uma imagem foi corretamente comprimida a partir de uma entrada secreta e comprometida. O sistema aborda desafios na autenticação de imagens, onde a compressão com perda e outras transformações invalidam assinaturas digitais. As ferramentas tradicionais para verificar a proveniência de imagens enfrentam dificuldades com transformações desejáveis como compressão JPEG, desfoque ou redação.

O ZK-JPEG utiliza provas de conhecimento zero (ZK) para verificar uma grande família de transformações de imagens mantendo a integridade criptográfica. A abordagem integra transformações diretamente na compressão JPEG com custo mínimo, tornando-a rápida, flexível e compatível com ferramentas ZK prontas para uso. Os pesquisadores Samuel Dittmer, Steve Lu, Kimberlee Model e Joseph Near utilizaram o Pico ZK para converter código de edição de imagens em Python em um circuito ZK para o sistema de prova de conhecimento zero linha-ponto (LPZK), demonstrando implementação prática da tecnologia.

Entidades-chave: Empresas: Stealth Software Technologies, Inc. | Pessoas: Steve Lu, Kimberlee Model, Joseph Near, Samuel Dittmer.