ff.aifightfake.ai
Menu
How it worksExampleEditorHardwareBlogAboutContactGitHub
Example

Verify

Check an edit proof

The newsroom keeps the edited photo next to a proof file. Drop that file here to re-run the full check: Nova::verify (primary + CycleFold + Poseidon links), the camera signature over h1, and Spartan against the published verifying key.

What this check covers

  1. Nova::verify: primary R1CS, CycleFold R1CS, and the Poseidon links — the same check the prover ran, now on this machine. CycleFold is native Grumpkin arithmetic, not a SNARK gadget.
  2. Camera σ: Schnorr over h1 from the transcript.
  3. Spartan: wrap of the primary folded instance, against the published key, bound to that running instance.

Build a proof in the editor, then bring the downloaded .ffproof.json here.

Drop a proof