check failure

2024-04-24 15:28:06 +03:00 · 2024-04-24 15:28:06 +03:00 · 047e8f6fb1
parent 91d4713c57
commit 047e8f6fb1
1 changed files with 8 additions and 1 deletions
--- a/benchmarks/ark_prover_bench.nim
+++ b/benchmarks/ark_prover_bench.nim
@ -82,7 +82,14 @@ when isMainModule:
  let proof = circom.prove(proofInputs).tryGet

  let verRes = circom.verify(proof, proofInputs).tryGet
-  echo "verify: ", verRes
+  echo "verify result: ", verRes
+
+  block:
+    proofInputs.slotIndex = 1 # change slot index
+
+    let proof = circom.prove(proofInputs).tryGet
+
+    echo "verify bad result: ", circom.verify(proof, proofInputs).tryGet

  circom.release()  # this comes from the rust FFI