Minimal Anti Collusion Infrastructure (MACI) / verifyProof

Variable: verifyProof()

const verifyProof: (publicInputs, proof, verifyingKey, cleanup?) => Promise<boolean>

Defined in: contracts/build/ts/proofs.d.ts:29

Verify a zk-SNARK proof using snarkjs

Parameters

publicInputs

PublicSignals

the public inputs to the circuit

proof

Groth16Proof

the proof

verifyingKey

ISnarkJSVerificationKey

the verification key

cleanup?

boolean

whether to cleanup the threads or not

Returns

Promise<boolean>

whether the proof is valid or not