KeyCorrectnessProof

constructor(c: String, xzCap: String, xrCap: Map<String, String>)(source)