Cover generated by FreePik
Making sure that images shared online are authentic and trustworthy is a big challenge. But let's be real: most images need some tweaking before they go public. Zero-knowledge proofs (ZKPs) can help by verifying edited images without needing to reveal the original. The problem? ZKPs are often costly, especially when it comes to prover complexity and proof size. That's where VIMz comes in. VIMz is a framework designed to prove the authenticity of high-resolution images efficiently using folding-based zkSNARKs (powered by the Nova proving system). With VIMz, we can verify that both the original and edited images are legit, along with the correctness of the transformations, all without revealing any intermediate versions—only the final image is exposed. Plus, VIMz keeps the identities of the original creator and subsequent editors private while proving the final image's authenticity, making it ideal for privacy-preserving, trustless marketplaces compatible with C2PA standards. It's efficient enough to handle 8K images on a mid-range laptop with minimal memory and proof size, offering fast verification and parallel processing capabilities. We formally prove the security of VIMz on our recent paper.
To address the prover complexity in "proofs of media provenance," we utilized the efficiency of folding schemes, specifically the Nova protocol. More precisely, we leverage Circom to define our folding steps in Nova via the Nova-Scotia frontend. To ensure everything works securely, we developed a new commitment scheme for images, processing them row by row. This approach allows us to map any image transformation to a "folding-friendly" version that can be proven in Nova while also proving the commitment of the witness, i.e., the original image. For more details on the exact protocol and the formal security analysis of VIMz, refer to our recent paper. With VIMz, we can verify both the original and edited images, as well as the correctness of the transformations, without revealing intermediate versions—only the final image is shown. Additionally, VIMz protects the identities of both the original creator and subsequent editors while proving the authenticity of the final image.
Our tests show that VIMz is fast and efficient on both the prover and verifier sides. For example, you can prove transformations on 8K (33MP) images using just a mid-range laptop, hitting a peak memory usage of 10 GB. Verification takes less than 1 second, and proof sizes come in at under 11 KB no matter the resolution. Plus, the low complexity of VIMz means you can prove multiple transformations in parallel, boosting performance by up to 3.5x on the same machine.
Paper: [2024] Dziembowski, Ebrahimi, Hassanizadeh, VIMz: Verifiable Image Manipulation using Folding-based zkSNARKs
Following table provides performance measurements of VIMz executed separately on two different devices (Core-i5 Laptop and a Ryzen 9 Server), while proving transformations on an HD resolution image. More detailed analysis are available in the paper:
| Transformation | Mid-range Laptop (Key. Gen.) |
Mid-range Laptop (Proving) |
Server (Key. Gen.) |
Server (Proving) |
Peak Memory |
|---|---|---|---|---|---|
| Crop | 3.8 s | 187.1 s | 3.5 s | 133.0 s | 0.7~GB |
| Resize | 11.5 s | 187.0 s | 6.6 s | 135.7 s | 2.5 GB |
| Contrast | 11.7 s | 479.4 s | 6.5 s | 371.7 s | 2.4 GB |
| Grayscale | 8.2 s | 279.6 s | 3.7 s | 240.6 s | 1.3 GB |
| Brightness | 11.3 s | 474.0 s | 6.5 s | 372.5 s | 2.4 GB |
| Sharpness | 11.8 s | 614.1 s | 6.8 s | 455.8 s | 2.8 GB |
| Blur | 11.5 s | 555.3 s | 6.6 s | 406.0 s | 2.5 GB |
curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.3/install.sh | bash
source ~/.bashrc
nvm install v16.20.0
Note
in rare cases (miss-configured Linux distros), if you got an error stating that version "v16.20.0" was not found; following command might help:
export NVM_NODEJS_ORG_MIRROR=http://nodejs.org/dist
npm install -g snarkjs
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- --default-toolchain none -y
sudo apt install gcc
sudo apt install build-essential nlohmann-json3-dev libgmp3-dev nasm
git clone https://github.com/iden3/circom.git
cd circom
cargo build --release
cargo install --path circom
Once you have installed dependencies, you can proceed with setting up and running VIMz. To obtain the latest version of VIMz, clone its GitHub repository using the following command:
git clone https://github.com/zero-savvy/vimz.git
Head to the nova directory:
cd vimz/nova
build and install vimz using cargo:
cargo build
cargo install --path .
verify installation of vimz:
vimz --help
go to the circuits directory:
cd vimz/circuits
build node modules:
npm install
build ZK circuits using the provided script in this directory:
./build-circuits.sh
vimz --function <FUNCTION>
--resolution <RESOLUTION> --input <FILE>
--circuit <R1CS FILE> --output <FILE>
--witnessgenerator <BINARY/WASM FILE>
We've built the tools necessary for benchmarking using the samples provided in the samples directory. To do this,
simply Go to the main directory of vimz repo and run any number of transformations as you prefer using the provided script:
./benchmark.sh [list-of-transformations]
Example 1: benchmarking a single transformation:
./benchmark.sh contrast
or
./benchmark.sh blur
or
./benchmark.sh grayscale
Example 2: benchmarking parallel execution of multiple transformations:
./benchmark.sh contrast blur
or
./benchmark.sh resize blur sharpness
Note
Since the proof generation process can be time consuming, it is recommended to initially benchmark with only one transformation at a time~(replicating the results presented in Table IV of the paper). Once these results are verified, you can proceed to run multiple transformations in parallel to replicate the results shown in Table V.
Sample output: The script generates a file (or multiple files, one per given transformation) with a .output suffix in the same directory. These files contain the standard output of running the vimz command directly, as shown in Figure below. The output includes various performance metrics. The total proof generation time can be calculated as the sum of two numbers: RecursiveSNARK creation and CompressedSNARK::prove: from the output.
VIMz STD output
- We thank @iden3 for building the awesome Circom language and providing the CircomLib.
- This work currently heavily relies on Nova-Scotia's compiler for transforming Circom circuits to the ones compatible with Nova.
- The very early version of the project (solely based on Circom without NOVA) was inspired by image transformation proofs from @TrishaDatta's Circom circuits repository,
which were related to the medium post By Trisha Datta and Dan Boneh.
This work is licensed under Attribution-NonCommercial 4.0 International
