generateProof

open override fun generateProof(zkSystemSpec: ZkSystemSpec, document: MdocDocument, sessionTranscript: DataItem, timestamp: Instant): ZkDocument