ZK-JPEG prova que uma foto editada é autêntica sem revelar a imagem original
Pesquisadores da Stealth Software Technologies e da University of Vermont publicaram um esquema de prova de conhecimento zero que sobrevive à compressão JPEG, um problema que travava a autenticação criptográfica de imagens.
Um grupo de pesquisadores da Stealth Software Technologies e da University of Vermont publicou o ZK-JPEG, um esquema de prova de conhecimento zero (zero-knowledge, ZK) para compressão e edição de imagens. O paper está disponível no Cryptology ePrint Archive (eprint.iacr.org/2026/2039), foi aceito com revisão menor para publicação na SCN 2026 (Security and Cryptography for Networks) e assina os autores Samuel Dittmer, Steve Lu, Kimberlee Model e Joseph Near.
O problema: a assinatura digital não sobrevive à compressão
O ponto de partida do trabalho é um problema prático de autenticação de mídia. Câmeras podem assinar digitalmente uma foto no momento da captura, um esquema chamado pelos autores de "camera attestation", que serve para provar que aquele arquivo saiu de um sensor físico e não foi gerado por IA↳Inteligência artificial440 conteúdosUX e IA: Transformando Experiências Digitais com Inteligência ArtificialProduto & UX · jan 2025MCP: O que é e por que você vai ouvir falar disso em breve?AI · jul 2025IA generativa e a urgência de reconstruir nossa relação com a verdadeAI · jun 2025Ver tudo em AI →. O problema é que qualquer transformação legítima e desejável na imagem, como a própria compressão JPEG (que altera bytes para reduzir o tamanho do arquivo), aplicar blur ou redigir uma região para proteger a identidade de alguém, invalida a assinatura original. Trabalhos anteriores já usavam ZK para provar o histórico de edição de uma imagem publicada, mas, segundo os autores, essas abordagens não sobrevivem a uma codificação com perdas como o JPEG.
Em outras palavras: existia uma lacuna entre "provar que a imagem é autêntica" e "permitir que ela seja editada e comprimida como qualquer foto normal". O ZK-JPEG ataca exatamente essa lacuna.
O que o ZK-JPEG prova de fato
O sistema é uma ferramenta criptográfica para compressão JPEG que prova que uma imagem foi corretamente comprimida a partir de uma entrada secreta e comprometida (committed input), sem revelar essa entrada. Isso significa que é possível publicar a versão comprimida de uma foto e anexar uma prova verificável de que ela é, de fato, uma compressão válida de um original que o provador possui, mas não expõe.
Além da compressão em si, o paper afirma que a ferramenta consegue verificar uma família ampla de transformações de imagem (os autores citam blur e redação como exemplos ao longo do abstract) integrando-as ao próprio processo de compressão JPEG, com custo adicional mínimo. Ou seja, o mesmo circuito que prova a compressão também pode provar que uma edição específica, como borrar um rosto, foi aplicada corretamente sobre o conteúdo original comprometido.
Por baixo do capô: PicoZK e o proof system LPZK
A parte de engenharia relevante para quem trabalha com criptografia aplicada é a construção do circuito. Os autores usam uma ferramenta chamada PicoZK para converter código Python↳Python56 conteúdosVSCode + Python + Alexa: Desenvolva e teste skills para alexa localmente com pythonDev (Back & Front) · out 2025Dominando decoradores em Python: um guia completo com exemplosDev (Back & Front) · jan 2025Desenvolvimento de software: diferenças entre Python, JavaScript e JavaGestão Dev & TI · nov 2024Ver tudo em Dev (Back & Front) → de edição de imagem diretamente em um circuito de conhecimento zero, compatível com o sistema de prova line-point zero knowledge (LPZK). Na prática, isso quer dizer que o pipeline de compressão e edição não precisou ser reescrito à mão em uma linguagem de circuitos: o fluxo original em Python vira o circuito que o LPZK consegue verificar.
Os próprios autores descrevem o sistema como "rápido, flexível" e instanciável "a partir de ferramentas de ZK prontas para uso" (off-the-shelf), o que sugere uma escolha deliberada de não reinventar o proof system do zero, mas compor peças de criptografia já existentes em torno do problema específico de imagem. O paper não traz, no abstract, números de benchmark de tempo de prova ou tamanho de circuito, então essa afirmação de desempenho fica a cargo do texto completo do artigo, que vale a leitura para quem for avaliar a viabilidade de produção.
Por que isso importa para quem constrói verificação de mídia
Para quem trabalha com moderação de conteúdo, verificação de proveniência de imagem ou qualquer camada de confiança em cima de mídia gerada ou capturada, o ZK-JPEG resolve um atrito real: até agora, provar autenticidade e permitir edição legítima eram objetivos em tensão. Um sistema de verificação que exige a imagem bruta, sem compressão nem qualquer edição, é inútil na prática, porque toda câmera, toda rede social e todo pipeline de publicação recomprime e redimensiona arquivos.
O recorte também interessa a quem constrói pipelines de IA generativa responsável. Uma das motivações explícitas do paper é a proliferação de ferramentas de deepfake com maior facilidade de uso, e a resposta proposta não é detectar a imagem falsa depois de pronta, mas provar a cadeia de proveniência da imagem verdadeira desde a captura até a publicação, mesmo passando por compressão e edição no meio do caminho. Isso é um modelo diferente do que times de trust & safety costumam implementar hoje (classificadores de detecção de IA), e mais próximo do que iniciativas de proveniência de conteúdo tentam padronizar: assinar na origem e preservar a prova ao longo de toda a cadeia de transformação.
Para arquitetos avaliando esse tipo de solução, o ponto prático é que a prova em ZK acontece sobre o próprio algoritmo de compressão JPEG, o que evita a necessidade de manter dois formatos de arquivo (um "de prova" e outro "de distribuição"). A imagem final continua sendo um JPEG comum, acompanhado de uma prova criptográfica que pode ser verificada por qualquer parte, sem que ela precise confiar no provador nem ter acesso ao arquivo original.
O que ainda fica em aberto
O paper é uma contribuição acadêmica publicada em uma conferência de criptografia (SCN 2026), não um produto ou biblioteca anunciada para uso geral. Não há, no material publicado, indicação de disponibilidade pública do código do PicoZK nem de números concretos de custo computacional para gerar ou verificar as provas em imagens de tamanho real, dados que seriam decisivos para avaliar se a abordagem é viável em escala de câmera de celular ou de plataforma de rede social. Também não fica claro no abstract como o esquema se integraria com fabricantes de câmera reais, que precisariam adotar a assinatura na origem para o restante da cadeia funcionar. Para quem acompanha a área, o próximo passo natural é ler o PDF completo no ePrint Archive e comparar os números de desempenho do LPZK com outras construções de ZK aplicadas a mídia que vêm sendo publicadas nos últimos anos.
Fonte: Hacker News
Este artigo foi escrito por Redação iMasters. Conteúdo produzido por agente de IA da redação iMasters, sob revisão editorial humana. Saiba como produzimos no expediente.
O editor-chefe da redação de agentes. Sem persona pública própria: assina como Redação iMasters. Monta a pauta do dia, distribui o mix entre verticais, revisa tudo que os especialistas escrevem, escreve notícias e compilados de opinião, e sugere taxonomia para revisão humana.
