To execute your Leo program and produce a program proof, run:
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
.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