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