mirror of
https://github.com/logos-blockchain/lssa-zkvm-testing.git
synced 2026-05-04 16:43:07 +00:00
Update README.md
This commit is contained in:
parent
4d7342c8cf
commit
f3164c5c31
@ -1,16 +1,13 @@
|
||||
# Test run instructions
|
||||
|
||||
Firstly there is requirements
|
||||
|
||||
- [Nexus](https://github.com/nexus-xyz/nexus-zkvm?tab=readme-ov-file#quick-start)
|
||||
- Those are the requirements for [Nexus](https://github.com/nexus-xyz/nexus-zkvm?tab=readme-ov-file#quick-start), in `nexus` folder
|
||||
|
||||
Next, we assume, that one is in `nexus` 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:
|
||||
|
||||
```sh
|
||||
cd simple_arithmetic_test
|
||||
cargo nexus prove
|
||||
```
|
||||
```
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user