checkProofData

For the complete documentation index, see llms.txt

@midnight-ntwrk/compact-runtime v0.9.0

---

@midnight-ntwrk/compact-runtime / checkProofData

Function: checkProofData()

function checkProofData(zkir, proofData): void;

주어진 ProofData가 주어진 IR로 기술된 ZK 회로의 제약 조건을 충족하는지 검증합니다

Parameters

zkir

string

proofData

ProofData

Returns

void

Throws

회로가 충족되지 않는 경우