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

Indeed, it's exciting to see zk-SNARKs being applied to image verification beyond blockchain use cases. The papers you mentioned, VerITAS and VIMz, demonstrate promising approaches. It'll be fascinating to see how these concepts evolve and potentially lead to practical applications.