To run corresponding tests in RISC0 some preparations have to be done.
We assume, that one is in risc0 folder.
Firstly, move into scripts_and_tools directory.
Next, run
./risc0_setup.shThis will fetch all necessary components for benchmarking.
Next, to prove execution we need to build one of the tests, we will use simple_arithmetic_test as an example.
Run
./risc0_bench_arithmetic.shThis will compile benchmark, generate proof and prins statictics.
Alternatively, for memory test, you can do
./risc0_bench_memory.sh