- Leo Code
- Program input
- STDOUT / STDERR
The leo run command verifies the proof at outputs/hello-world.proof using the verifying key outputs/hello-world.lvk and outputs the verifier result to console.
The leo prove command generates a proof at outputs/hello-world.proof using the inputs at inputs/hello-world.in and proving key at outputs/hello-world.lpk.
The return value of the main function is stored in the program's output file outputs/hello-world.out.
Playground supports only desktop browsers.
Please open this page in desktop browser.