Standalone repo to use Kona & SP1 to verify Optimism blocks.
crates
client-utils: A suite of utilities for the client program.host-utils: A suite of utilities for constructing the host which runs the SP1 Kona program.
sp1-kona
native-host: The host program which runs the Kona program natively usingkona.zkvm-host: The host program which runs the Kona program in SP1.zkvm-client: The program proven in SP1. Thezkvm-hostfirst runszkvm-clienton thekona-hostto fetch the witness data, then uses SP1 to generate the program's proof of execution.
Execute the SP1 Kona program for a single block.
just run-single <l2_block_num> [use-cache]- [use-cache]: Optional flag to re-use the native execution cache (default: false).
Execute the SP1 Kona program for a range of blocks.
just run-multi <start> <end> [use-cache] [prove]- [use-cache]: Optional flag to re-use the native execution cache (default: false).
- [prove]: Optional flag to prove the execution (default: false).
Observations:
- For most blocks, the cycle count per transaction is around 4M cycles per transaction.
- Some example cycle count estimates can be found here.
To see how to get the cycle counts for a given block range, see CYCLE_COUNT.md.
To fetch an existing proof and save it run:
cargo run --bin fetch_and_save_proof --release -- --request-id <proofrequest_id> --start <start_block> --end <end_block>Ex. cargo run --bin fetch_and_save_proof --release -- --request-id proofrequest_01j4ze00ftfjpbd4zkf250qwey --start 123812410 --end 123812412