Merge branch '0.1.0' into 0.1.1

Ethan-000 · Jun 13, 2023 · e925673 · e925673
2 parents 1e30214 + 406a1a1
commit e925673
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -8,6 +8,7 @@ pkg/
 /noir
 
 # Nargo output
+*.sol
 *.proof
 *.acir
 *.acir.sha256

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/README.md b/README.md
@@ -66,6 +66,12 @@ to verify proof run
 nargo verify add
 ```
 
+to Generates a Solidity verifier smart contract for the program run
+
+```text
+nargo codegen-verifier
+```
+
 ## Features
 
 - [ ] [halo2-zcash](https://github.com/zcash/halo2)