ZK-WAGON: Imperceptible Watermark for Image Generation Models using ZK-SNARKs

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Ramakrishnan, Aadarsh Anantha, Agarwal, Shubham, S, Selvanayagam, Singh, Kunwar
Formato: Preprint
Publicado: 2025
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866912623191130112
author Ramakrishnan, Aadarsh Anantha
Agarwal, Shubham
S, Selvanayagam
Singh, Kunwar
author_facet Ramakrishnan, Aadarsh Anantha
Agarwal, Shubham
S, Selvanayagam
Singh, Kunwar
contents As image generation models grow increasingly powerful and accessible, concerns around authenticity, ownership, and misuse of synthetic media have become critical. The ability to generate lifelike images indistinguishable from real ones introduces risks such as misinformation, deepfakes, and intellectual property violations. Traditional watermarking methods either degrade image quality, are easily removed, or require access to confidential model internals - making them unsuitable for secure and scalable deployment. We are the first to introduce ZK-WAGON, a novel system for watermarking image generation models using the Zero-Knowledge Succinct Non Interactive Argument of Knowledge (ZK-SNARKs). Our approach enables verifiable proof of origin without exposing model weights, generation prompts, or any sensitive internal information. We propose Selective Layer ZK-Circuit Creation (SL-ZKCC), a method to selectively convert key layers of an image generation model into a circuit, reducing proof generation time significantly. Generated ZK-SNARK proofs are imperceptibly embedded into a generated image via Least Significant Bit (LSB) steganography. We demonstrate this system on both GAN and Diffusion models, providing a secure, model-agnostic pipeline for trustworthy AI image generation.
format Preprint
id arxiv_https___arxiv_org_abs_2510_01967
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle ZK-WAGON: Imperceptible Watermark for Image Generation Models using ZK-SNARKs
Ramakrishnan, Aadarsh Anantha
Agarwal, Shubham
S, Selvanayagam
Singh, Kunwar
Cryptography and Security
Artificial Intelligence
Computer Vision and Pattern Recognition
As image generation models grow increasingly powerful and accessible, concerns around authenticity, ownership, and misuse of synthetic media have become critical. The ability to generate lifelike images indistinguishable from real ones introduces risks such as misinformation, deepfakes, and intellectual property violations. Traditional watermarking methods either degrade image quality, are easily removed, or require access to confidential model internals - making them unsuitable for secure and scalable deployment. We are the first to introduce ZK-WAGON, a novel system for watermarking image generation models using the Zero-Knowledge Succinct Non Interactive Argument of Knowledge (ZK-SNARKs). Our approach enables verifiable proof of origin without exposing model weights, generation prompts, or any sensitive internal information. We propose Selective Layer ZK-Circuit Creation (SL-ZKCC), a method to selectively convert key layers of an image generation model into a circuit, reducing proof generation time significantly. Generated ZK-SNARK proofs are imperceptibly embedded into a generated image via Least Significant Bit (LSB) steganography. We demonstrate this system on both GAN and Diffusion models, providing a secure, model-agnostic pipeline for trustworthy AI image generation.
title ZK-WAGON: Imperceptible Watermark for Image Generation Models using ZK-SNARKs
topic Cryptography and Security
Artificial Intelligence
Computer Vision and Pattern Recognition
url https://arxiv.org/abs/2510.01967