update readme

l-adic · Jun 2, 2024 · 8e82a54 · 8e82a54
1 parent 0dc84cf
commit 8e82a54
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -17,3 +17,4 @@ trusted-setup/
 !trusted-setup/pot14_final.ptau
 src/Contracts
 contracts
+circuit.dot
diff --git a/README.md b/README.md
@@ -31,7 +31,7 @@ A ZK program written in a Haskell DSL that expresses a factorization of a public
 You can produce a circom compatible `r1cs` file for this program by running 
 
 ```
-> cabal run factors-cli -- compile --output-dir trusted-setup 
+> cabal run factors -- compile --r1cs trusted-setup/circuit.r1cs --constraints trusted-setup/circuit.bin
 ```
 
 You should see the artifacts