Prove

Create a zkml proof
IRL, this step must be done in a much more secure context (ie offline) !
There is an alternate frontend based on nextjs

Sample photo

You can use one of the photos from the MNIST dataset:

Prove offline
Use this jupyter notebook to generate the proof
in a secure environnement (offline, on a trusted computerm in a trusted OS).
Or pick this proof for testing purpose:
Next version
The next version will generate a PDF file
where the proof will be attached.
The goal is to make the prooving process much more human readable.
The PDF will contain:
  • the explaination of the ZK proving process
  • the proof file (as an attachment)
  • the explaination of how to verify the proof
  • links to related documentations
  • the hash of the input file (usefull ?)
ML Setup
Machine Learning Model
Verify
Verify a generated zkml proof