diff --git a/zkwasm/README.md b/zkwasm/README.md index 7d86478..9d0d881 100644 --- a/zkwasm/README.md +++ b/zkwasm/README.md @@ -9,7 +9,7 @@ Firstly, move into [scripts_and_tools](./scripts_and_tools/) directory. Next, run ```sh - ./zkwasm_setup.sh +./zkwasm_setup.sh ``` This will create `zkWasm` folder with sorce code and attempt to build it. @@ -19,7 +19,7 @@ Next, to prove execution we need to build one of the tests, let`s use [simple_ar Run ```sh - ./zkwasm_build.sh ../tests/simple_arithmetic_test +./zkwasm_build.sh ../tests/simple_arithmetic_test ``` If run is succsessfull then you will see `output.wasm` file in the test directory. @@ -27,7 +27,7 @@ If run is succsessfull then you will see `output.wasm` file in the test director Next, we need to setup proving circuit, to do so, run ```sh - ./zkwasm_setup_circuit.sh ../../tests/simple_arithmetic_test/output.wasm 18 +./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. @@ -37,12 +37,12 @@ Note, that second parameter (18) is a size of a circuit. Bigger executables will Now, that circuit is built, we can prove execution as follows ```sh - ./zkwasm_prove.sh ../../tests/simple_arithmetic_test/output.wasm +./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_verify.sh ../../tests/simple_arithmetic_test/output.wasm ```