Those are the requirements for SP1, in sp1 folder.
To prove execution one needs 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