From 047e8f6fb130dfef5b9f2dbafac62725fff93b46 Mon Sep 17 00:00:00 2001
From: Jaremy Creechley <creechley@gmail.com>
Date: Wed, 24 Apr 2024 15:28:06 +0300
Subject: [PATCH] check failure

---
 benchmarks/ark_prover_bench.nim | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/benchmarks/ark_prover_bench.nim b/benchmarks/ark_prover_bench.nim
index 47fda7e0..b0230bb6 100644
--- 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