checkProofData

Function: checkProofData()

function checkProofData(zkir, proofData): void;

Verifies a given ProofData satisfies the constrains of a ZK circuit descripted by given IR

string

void

If the circuit is not satisfied