lssa-zkvm-testing/nexus/README.md

# Test run instructions


Those are the requirements for [Nexus](https://github.com/nexus-xyz/nexus-zkvm?tab=readme-ov-file#quick-start), in `nexus` folder

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:

```sh
cd simple_arithmetic_test
cargo nexus prove
```
Nexus instructions added 2024-09-25 13:57:50 +03:00			`# Test run instructions`


Update README.md 2024-09-26 03:16:58 +02:00			Those are the requirements for [Nexus](https://github.com/nexus-xyz/nexus-zkvm?tab=readme-ov-file#quick-start), in `nexus` folder
Nexus instructions added 2024-09-25 13:57:50 +03:00
Update README.md 2024-09-26 03:15:59 +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.
Nexus instructions added 2024-09-25 13:57:50 +03:00
			`To generate a proof, run the following commands:`

			```sh
			`cd simple_arithmetic_test`
			`cargo nexus prove`
Update README.md 2024-09-26 03:15:59 +02:00			```