verifyProof
abstract fun verifyProof(zkDocument: ZkDocument, zkSystemSpec: ZkSystemSpec, encodedSessionTranscript: ByteString)
Verifies a zero-knowledge proof in the given zkDocument using the provided session context.
Parameters
zkDocument
the document containing the proof and associated metadata
zkSystemSpec
the system spec used to generate the proof
encodedSessionTranscript
the same session transcript used during proof generation
Throws
if the proof is invalid or cannot be verified