From 6b3e3d20b6147022f715a8632220d8053b9753e4 Mon Sep 17 00:00:00 2001 From: Jaremy Creechley Date: Tue, 28 May 2024 23:40:10 +0100 Subject: [PATCH] adding verification --- benchmarks/circomcompat_cli.nim | 2 ++ 1 file changed, 2 insertions(+) diff --git a/benchmarks/circomcompat_cli.nim b/benchmarks/circomcompat_cli.nim index 12093db7..1a71dd7c 100644 --- a/benchmarks/circomcompat_cli.nim +++ b/benchmarks/circomcompat_cli.nim @@ -136,6 +136,8 @@ proc verify*( doAssert ctx.get_pub_inputs(inputs.addr) == ERR_OK + echo "inputs val: ", inputs.repr + try: let res = verifyCircuit(proof.unsafeAddr, inputs, self.vkp)