fix: fix non-working test

Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
This commit is contained in:
Mark Spanbroek 2025-07-02 12:19:51 +02:00
parent 7f66c7ce48
commit bef7c36ae7

View File

@ -57,7 +57,7 @@ let myWitness =
#-------------------------------------------------------------------------------
proc testProof(zkey: ZKey, witness: Witness): bool =
let proof = generateProof( zkey, witness )
let proof = generateProof( 8, false, zkey, witness )
let vkey = extractVKey( zkey)
let ok = verifyProof( vkey, proof )
return ok