diff --git a/.gitignore b/.gitignore
index f34929b..a6777c2 100644
--- 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
index e412828..dbbd666 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -247,9 +247,9 @@ checksum = "604178f6c5c21f02dc555784810edfb88d34ac2c73b2eae109655649ee73ce3d"
 
 [[package]]
 name = "base64ct"
-version = "1.6.0"
+version = "1.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8c3c1a368f70d6cf7302d78f8f7093da241fb8e8807c05cc9e51a125895a6d5b"
+checksum = "8a32fd6af2b5827bce66c29053ba0e7c42b9dcab01835835058558c10851a46b"
 
 [[package]]
 name = "bincode"
diff --git a/README.md b/README.md
index 0e8a2da..fefd4f3 100644
--- 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)