Merge branch 'master' into feat/4824-multiple-acir-calls

manastech · Jun 28, 2024 · d47f33c · d47f33c
2 parents d45f8e7 + 6936a52
commit d47f33c
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