lssa-zkvm-testing/sp1

Test run instructions

Firstly there is requirements

• SP1

Next, we assume, that one is in sp1 folder.

To prove execution we need to build one of the tests, let`s use simple_arithmetic_test as an example.

To generate a proof, run the following commands:

cd simple_arithmetic_test
cd script
cargo run --release -- --prove