summa-dev · enricobottazzi · Sep 19, 2023 · Sep 18, 2023
diff --git a/zk_prover/.gitignore b/zk_prover/.gitignore
@@ -5,3 +5,4 @@
 /benches/csv
 circuit_parameters_gen/generate_parameters_grain.sage.py
 circuit_parameters_gen/__pycache__
+node_modules
diff --git a/zk_prover/README.md b/zk_prover/README.md
@@ -65,7 +65,9 @@ The Incremental Nova Verifier is an experimental feature that allows a user to v
 We provide an example to test the Nova verifier. The build folder already contains the artifacts generated by the circuit compilation. If you want to recompile the circuit, you can run the following command:
 
 ```
-circom src/circom/incremental_mst_inclusion.circom  --r1cs --wasm  -o examples/build --prime bn128
+$ cd src/circom
+$ npm install
+$ circom incremental_mst_inclusion.circom  --r1cs --wasm  -o ../../examples/build --prime bn128
 ```
 
 To run the Nova Incremental Verifier example run:

diff --git a/zk_prover/src/circom/circomlib/circuits/aliascheck.circom b/zk_prover/src/circom/circomlib/circuits/aliascheck.circom
diff --git a/zk_prover/src/circom/circomlib/circuits/binsum.circom b/zk_prover/src/circom/circomlib/circuits/binsum.circom
diff --git a/zk_prover/src/circom/circomlib/circuits/bitify.circom b/zk_prover/src/circom/circomlib/circuits/bitify.circom