@midnight/ledger v3.0.2 • Readme | API

---

@midnight/ledger v3.0.2 / checkProofData

Function: checkProofData()

Internal

checkProofData(
   zkir, 
   input, 
   output, 
   public_transcript, 
   private_transcript_outputs): void

Internal implementation of proof dry runs.

Parameters

• zkir: string

• input: AlignedValue

• output: AlignedValue

• public_transcript: Op<AlignedValue>[]

• private_transcript_outputs: AlignedValue[]

Returns

void

Throws

If the proof would not hold