diff --git a/examples/.gitignore b/examples/.gitignore
new file mode 100644
index 00000000000..c4fdcad6719
--- /dev/null
+++ b/examples/.gitignore
@@ -0,0 +1,2 @@
+target
+proofs
\ No newline at end of file
diff --git a/examples/codegen_verifier/.gitignore b/examples/codegen_verifier/.gitignore
index c0d62c447d3..ae13a24752c 100644
--- a/examples/codegen_verifier/.gitignore
+++ b/examples/codegen_verifier/.gitignore
@@ -1,4 +1,3 @@
 out
 cache
-target
 src/contract.sol
\ No newline at end of file
diff --git a/examples/prove_and_verify/proofs/proof b/examples/prove_and_verify/proofs/proof
deleted file mode 100644
index 01d5ad27686..00000000000
Binary files a/examples/prove_and_verify/proofs/proof and /dev/null differ
diff --git a/examples/prove_and_verify/prove_and_verify.sh b/examples/prove_and_verify/prove_and_verify.sh
index 01ee6c70738..df3ec3ff97a 100755
--- a/examples/prove_and_verify/prove_and_verify.sh
+++ b/examples/prove_and_verify/prove_and_verify.sh
@@ -11,4 +11,4 @@ $BACKEND prove -b ./target/hello_world.json -w ./target/witness.gz
 
 # TODO: backend should automatically generate vk if necessary.
 $BACKEND write_vk -b ./target/hello_world.json
-$BACKEND verify -v ./target/vk -p ./proofs/proof
\ No newline at end of file
+$BACKEND verify -k ./target/vk -p ./proofs/proof
\ No newline at end of file