Basics

The easiest way to understand how to write programs for the SP1 zkVM is to look at some examples.

Example: Fibonacci

This program is from the examples directory in the SP1 repo which contains several example programs of varying complexity.

Loading...

See full example on GitHub

As you can see, writing programs is as simple as writing normal Rust.

Development Workflow

1. Write your Rust program.
2. Compile it to a zkVM-compatible ELF.
3. Execute the program to verify correctness.
4. Generate and verify a proof.

See Inputs & Outputs for details on program I/O handling.