@mtteo
multiple papers about verifying edits on an image with zk-snarks recently:
- VerITAS: Verifying Image Transformations at Scale: using lattice based hash+poseidon alongside Plonky2
- VIMz: Verifiable Image Manipulation using Folding-based zkSNARKs: using Nova
I think we're still not there for something practical, but it's super cool to see ZK used outside of blockchains