Dan Boneh
Identifying AI Generated Content Using Cryptography and Zero Knowledge Proof Systems
January 9, 2025
Source: JMM 2025
zkPi is a tool to generate zk proofs for Lean.
C2PA is the standard for content provenance.
A lot of cameras (Sony) have in-camera forgery-proof technologies. So the issue is now post-processing: newspapers need to process photos before publication.