load
open override fun load(zkDocument: ZkDocument, sessionTranscript: SessionTranscript, zkSystemSpec: ZkSystemSpec): KmmResult<IsoMdocZkProof>(source)
Constructs an IsoMdocZkProof handle from an existing ZkDocument for verification.
Return
A KmmResult wrapping the executable IsoMdocZkProof.
Parameters
zkDocument
The received ISO mdoc ZkDocument.
sessionTranscript
The ISO mdoc session transcript.
zkSystemSpec
The specification matching the circuit used to generate the proof.
Throws
if zkSystemSpec is not supported by this backend.
if initialize has not been called.