From e204db5cd9ac6570e47426c98b065cbf9bec6838 Mon Sep 17 00:00:00 2001 From: Moudy Date: Thu, 26 Sep 2024 03:18:19 +0200 Subject: [PATCH] Update README.md --- sp1/README.md | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/sp1/README.md b/sp1/README.md index 1e7d7ad..3d6c26f 100644 --- a/sp1/README.md +++ b/sp1/README.md @@ -1,12 +1,8 @@ # Test run instructions -Firstly there is requirements +Those are the requirements for [SP1](https://docs.succinct.xyz/getting-started/install.html), in `sp1` folder. -- [SP1](https://docs.succinct.xyz/getting-started/install.html) - -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](./tests/simple_arithmetic_test/) as an example. +To prove execution one needs to build one of the tests, let`s use [simple_arithmetic_test](./tests/simple_arithmetic_test/) as an example. To generate a proof, run the following commands: @@ -14,4 +10,4 @@ To generate a proof, run the following commands: cd simple_arithmetic_test cd script cargo run --release -- --prove -``` \ No newline at end of file +```