generateProof

abstract fun generateProof(zkSystemSpec: ZkSystemSpec, document: MdocDocument, sessionTranscript: DataItem, timestamp: Instant = Clock.System.now()): ZkDocument

Generates a zero-knowledge proof for a given document using the specified zkSystemSpec and session context.

Return

a ZkDocument containing the resulting proof and metadata

Parameters

zkSystemSpec

the system spec indicating which ZK circuit or rules to use

document

the MdocDocument to generate a proof for.

sessionTranscript

the Session Transcript used for the document.