Skip to main content

Execute a Program

leo prove#

To execute your Leo program and produce a program proof, run:

leo prove
console output:
Setup Detected saved setup
Setup Loading proving key...
Setup Complete
Setup Loading verification key...
Setup Complete
Done Finished in 10 milliseconds
Proving Starting...
Proving Saving proof... ("${NAME}/outputs/${NAME}.proof")
Done Finished in 10 milliseconds

Leo first checks the build directory for an existing .lpk file. If it doesn't exist, Leo will proceed to run leo setup and then continue.

Next, the input .in and .state input files in the inputs directory are parsed. All values are allocated in the program before continuing.

Once again, Leo uses cryptographic randomness from your machine to produce the proof. The proof is stored in the outputs directory as .proof:

outputs/{$NAME}.proof