Credential Definition Document
Correctness Proof