chore: add circomlib as node module (#157)

summa-dev · Sep 19, 2023 · 6b67a74 · 6b67a74
1 parent 51e4286
commit 6b67a74
Show file tree

Hide file tree

Showing 14 changed files with 38 additions and 25,675 deletions.
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