Comment by progbits

It would be interesting if it could be made to work with arbitrary transform, such as redaction.

Imagine a photo with some blacked out rectangles, and a ZK proof that confirms it comes from an attested "real" photo + adding those rectangles, but no other modification.