2024-09-25 13:18:43 +03:00
|
|
|
# Test run instructions
|
|
|
|
|
|
2024-09-26 03:18:19 +02:00
|
|
|
Those are the requirements for [SP1](https://docs.succinct.xyz/getting-started/install.html), in `sp1` folder.
|
2024-09-25 13:18:43 +03:00
|
|
|
|
2024-09-26 03:18:19 +02:00
|
|
|
To prove execution one needs to build one of the tests, let`s use [simple_arithmetic_test](./tests/simple_arithmetic_test/) as an example.
|
2024-09-25 13:18:43 +03:00
|
|
|
|
2024-09-25 13:29:59 +03:00
|
|
|
To generate a proof, run the following commands:
|
2024-09-25 13:18:43 +03:00
|
|
|
|
|
|
|
|
```sh
|
2024-09-25 13:29:59 +03:00
|
|
|
cd simple_arithmetic_test
|
|
|
|
|
cd script
|
|
|
|
|
cargo run --release -- --prove
|
2024-09-26 03:18:19 +02:00
|
|
|
```
|
