search

succinctlabs / sp1-project-template

Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
MIT License
67 stars 24 forks source link

feat: update to v1.1.0 and add seperate execute #22

Closed mattstam closed 2 months ago

mattstam commented 2 months ago

update to sp1 v1.1.0, improve readme, and add functionality for the cargo run --release -- --execute and cargo run --release -- --prove commands in script.

cargo run --release -- --execute
n: 20
Program executed successfully.
Number of cycles: 9212
cargo run --release -- --prove  
n: 20
Successfully generated proof!
Successfully verified proof!