measure proof time

This commit is contained in:
Balazs Komuves 2023-11-14 12:40:13 +01:00
parent 2047e7e476
commit 4a814ee050
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562

View File

@ -1,4 +1,7 @@
import std/[times, os]
import ./groth16
import ./witness
import ./r1cs
@ -18,7 +21,11 @@ proc testProveAndVerify*( zkey_fname, wtns_fname: string): Proof =
echo("generating proof...")
let vkey = extractVKey( zkey)
let start = cpuTime()
let proof = generateProof( zkey, witness )
let elapsed = cpuTime() - start
echo("proving took ",elapsed)
echo("verifying the proof...")
let ok = verifyProof( vkey, proof )
@ -42,7 +49,11 @@ proc testFakeSetupAndVerify*( r1cs_fname, wtns_fname: string, flavour=Snarkjs):
echo("generating proof...")
let vkey = extractVKey( zkey)
let start = cpuTime()
let proof = generateProof( zkey, witness )
let elapsed = cpuTime() - start
echo("proving took ",elapsed)
echo("verifying the proof...")
let ok = verifyProof( vkey, proof )