4 ms·
Zero-knowledge seems completely unnecessary. Surely the original image does not have any material content in it that is not made public by publishing a JPEG-com
by j2kun 8d ago
Zero-knowledge seems completely unnecessary. Surely the original image does not have any material content in it that is not made public by publishing a JPEG-compressed version.
Could this be simpler and more efficient without ZK?
- progbits 8d agoIt 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.
- sisuo30390 8d ago[flagged]
- nullc 8d agoGenerally being succinct goes hand and hand with being zero knowledge. The proof must be MUCH smaller than the whole computation or even the inputs (otherwise, just provide the uncompressed image!). And the proof has to resist forgery. So going for succinctness and at least computational soundness gets you to zero knowledge 'for free'. Plus as the dead sibling comment notes: You may want disclosed modifications like a crop or redaction where the committed information remains private but you want to keep the proof.