VerITAS: Verifying Image Transformations at Scale

on YouTube ↗31m

" summary

VerITAS proves that a published edited image derives from a signed original for realistically large photos (≈30 megapixels, 90 MB), using zk-SNARKs (Plonky2 + FRI) and two signer models: a weak signer (camera) using a lattice hash and a powerful signer signing a polynomial commitment. Proof generation takes ~13 minutes at $0.54 on AWS for the weak signer and ~3 minutes at $0.13 for the powerful signer; proof size ≈100 KB and verification is under one second. It replaces PhotoProof’s 128×128 demos with practical editing proofs at scale.

AI-written summary · about

" chapters (6)

1. 0:00Introduction
2. 1:03Motivation for image provenance
3. 7:50Challenges in post-processing
4. 13:11Improving edits with PLONKy2
5. 16:43Proving photo signatures
6. 27:41Summary and future directions

" related talks

• 19mAuthenticity Guaranteed: Verifying Video Integrity on Consumer Devices with Post-Quantum SignaturesRonny Döring · Post-Quantum Cryptography Conference 2025
• 39mWhen Is a Proof Actually Not?Vanessa Teague · WOOT '20
• 01h 09mProofs - Practice 1Justin Thaler · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 31mSecure Distributed StorageAnca Nitulescu · Zcon4 2023
• 01h 07mProofs - Practice 2Justin Thaler · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 52mFaster, Smaller, Weaker, DarkerBenedikt Bunz · Proofs, Consensus, and Decentralizing Society Reunion 2020
• 28mEvolution of Optimistic Rollup proofsProtolambda · Protocol Berg 2023
• 57mThe Cryptographic Lens: Visions of our Past and FutureShafi Goldwasser · Symposium on Visions of the Theory of Computing 2013