checkProofData

@midnight-ntwrk/compact-runtime v0.9.0

---

@midnight-ntwrk/compact-runtime / checkProofData

Function: checkProofData()

function checkProofData(zkir, proofData): void;

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

Parameters

zkir

string

proofData

ProofData

Returns

void

Throws

If the circuit is not satisfied