chore: fix examples

noir-lang · Jun 28, 2024 · 4efba11 · 4efba11
1 parent f0b65c2
commit 4efba11
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 2 deletions.
diff --git a/examples/.gitignore b/examples/.gitignore
@@ -0,0 +1,2 @@
+target
+proofs
diff --git a/examples/codegen_verifier/.gitignore b/examples/codegen_verifier/.gitignore
@@ -1,4 +1,3 @@
 out
 cache
-target
 src/contract.sol
diff --git a/examples/prove_and_verify/proofs/proof b/examples/prove_and_verify/proofs/proof
diff --git 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
+$BACKEND verify -k ./target/vk -p ./proofs/proof