@midnight-ntwrk/compact-runtime v0.7.0 • Readme | API

---

@midnight-ntwrk/compact-runtime v0.7.0 / checkProofData

Function: checkProofData()

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