zkWASM instructions added

README.md

@@ -1,2 +1,8 @@
 # nescience-zkvm-testing
 This repo reflects the tests conducted by Nescience Team on selected zkVMs.
+
+# How to run tests
+
+To run test, corresponding to zkVM of choise read
+
+[zkWASM](./zkwasm/README.md)

zkwasm/README.md

@@ -0,0 +1,48 @@
+# Test run instructions
+
+To run corresponding tests in `zkWASM` some preparations have to be done.
+
+We assume, that one is in `zkwasm` folder.
+
+Firstly, move into [scripts_and_tools](./scripts_and_tools/) directory.
+
+Next, run
+
+```sh
+    ./zkwasm_setup.sh
+```
+
+This will create `zkWasm` folder with sorce code and attempt to build it.
+
+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
+    ./zkwasm_build.sh ../tests/simple_arithmetic_test
+```
+
+If run is succsessfull then you will see `output.wasm` file in the test directory.
+
+Next, we need to setup proving circuit, to do so, run
+
+```sh
+    ./zkwasm_setup_circuit.sh ../../tests/simple_arithmetic_test/output.wasm 18
+```
+
+Note, that testing executed from the `zkWasm` directory, thus path have to be relative to it, or global.
+
+Note, that second parameter (18) is a size of a circuit. Bigger executables will need bigger circuit sizes to be proven.
+
+Now, that circuit is built, we can prove execution as follows
+
+```sh
+    ./zkwasm_prove.sh ../../tests/simple_arithmetic_test/output.wasm
+```
+
+If needed, proof can be verified as follows
+
+```sh
+    ./zkwasm_verify.sh ../../tests/simple_arithmetic_test/output.wasm
+```
+

zkwasm/scripts_and_tools/zkwasm_setup_circuit.sh

@@ -1,5 +1,6 @@
 WASM_PATH=$1
+CIRCUIT_SIZE=$2
 
 cd zkWasm
-cargo run --release -- --params params testwasm setup --host standard -k 18 --wasm $WASM_PATH
+cargo run --release -- --params params testwasm setup --host standard -k $CIRCUIT_SIZE --wasm $WASM_PATH
 cd ..