From 46adf34c6f8fe06c029b713ad4dc866ebdce9906 Mon Sep 17 00:00:00 2001
From: Oleksandr Pravdyvyi <awxrvtb@gmail.com>
Date: Wed, 25 Sep 2024 13:00:10 +0300
Subject: [PATCH] Valida instructions added

---
 README.md        |  1 +
 valida/README.md | 39 +++++++++++++++++++++++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 valida/README.md

diff --git a/README.md b/README.md
index 51069b1..4db76c8 100644
--- a/README.md
+++ b/README.md
@@ -7,3 +7,4 @@ To run test, corresponding to zkVM of choise read
 
 - [zkWASM](./zkwasm/README.md)
 - [zkMIPS](./zkmips/README.md)
+- [Valida](./valida/README.md)
diff --git a/valida/README.md b/valida/README.md
new file mode 100644
index 0000000..bbb2235
--- /dev/null
+++ b/valida/README.md
@@ -0,0 +1,39 @@
+# Test run instructions
+
+To run corresponding tests in `Valida` some preparations have to be done.
+
+We assume, that one is in `valida` folder.
+
+Firstly, move into [scripts_and_tools](./scripts_and_tools/) directory.
+
+Next, run
+
+```sh
+./valida_setup.sh
+```
+
+This will fetch all necessary components to build Rist code in `Valida`.
+
+Next, to prove execution we need to build one of the tests, let`s use [simple_arithmetic_test](./tests/simple_arithmetic_test/) as an example.
+
+Run
+
+```sh
+./build-rust.sh simple_arithmetic_test
+```
+
+If run is succsessfull then you will see `simple_arithmetic_test`, `simple_arithmetic_test.ll`, `simple_arithmetic_test.o` files in the scripts directory.
+
+Next, we need prove execution, to do so run
+
+```sh
+./valida_prove.sh simple_arithmetic_test
+```
+
+If proof succsessfull, you will see `simple_arithmetic_test.proof` file in scripts derectory.
+
+If needed, proof can be verified as follows
+
+```sh
+./valida_verify.sh simple_arithmetic_test
+```
\ No newline at end of file