Structure Backend Holder Backend (ZK generator) Issuer Backend (DB) Contract Issuer Contract (Registry) Verifier Contract (ZK verifier) Example Contract (RP) Frontend Backend Holder Backend Endpoint to generate proofs Issuer Backend small db endpoint to add/remove entries sync every once in a while to the registry (or on change) Contract Type AcIssuer = AcRP = AcHolder = AccountId Type CredentialSchema = string (JSON schema) Issuer Contract Var credentialSchemata: Record<AcIssuer, HashSet<CredentialSchema>>, Var credentialHashes: Record<(AcIssuer, CredentialSchema), HashSet<CredentialHashes>> func addCredentialSchema(credentialSchema: CredentialSchema) (predecessor becomes issuer) func modifyCredentialHashes(schemaId: CredentialSchemaId, add: CredentialHashes[], remove: CredentialHashes[]) Verifier Contract func cred_call(receiver: AcRP, proof: ZKProof, usedSchemata: (AcIssuer, CredentialSchemaId)[]): CrossContractCall Example Contract (RP) Var trustedCredentials: HashSet<(AcIssuer, CredentialSchemaId)> func on_cred_call(holder: AcHolder, journal: ZKPJournal) Type ZKPJournal (Struct) view func get_script(schemataUsed: (AcIssuer, CredentialSchemaId)[]) Frontend Select script to use Select crendential schema to use Supply credentials Evoke local backend BOS integration component Script selection is abstracted away If we have time public/private key verification to verify the credentialholder is the rightful holder.
