From 35a38dd9be73813106ef2bc57b23227f102878b2 Mon Sep 17 00:00:00 2001 From: Jaremy Creechley Date: Wed, 24 Apr 2024 15:20:46 +0300 Subject: [PATCH] adding outputs --- benchmarks/ark_prover_bench.nim | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/benchmarks/ark_prover_bench.nim b/benchmarks/ark_prover_bench.nim index a0a256ee..47fda7e0 100644 --- a/benchmarks/ark_prover_bench.nim +++ b/benchmarks/ark_prover_bench.nim @@ -69,12 +69,16 @@ when isMainModule: zkey = env.dir / fmt"{env.name}.zkey" inputs = env.dir / fmt"input.json" + echo "Loading sample proof..." var inputData = inputs.readFile() inputJson = !JsonNode.parse(inputData) proofInputs = Poseidon2Hash.jsonToProofInput(inputJson) circom = CircomCompat.init(r1cs, wasm, zkey) + echo "Sample proof loaded..." + echo "Proving..." + let proof = circom.prove(proofInputs).tryGet let verRes = circom.verify(proof, proofInputs).tryGet