Module ursa::cl[][src]

Modules

Structs

Blinded Master Secret uses by Issuer in credential creation.

Proof of Issuer Public Key correctness

Issuer’s “Private Key” used for signing Credential’s attributes’ values (primary credential)

Issuer’s “Public Key” is used to verify the Issuer’s signature over the Credential’s attributes’ values (primary credential).

Primary Public Key Metadata required for building of Proof Correctness of Issuer Public Key

Issuer Private Key: contains 2 internal parts. One for signing primary credentials and second for signing non-revocation credentials.

Issuer Public Key contains 2 internal parts. One for signing primary credentials and second for signing non-revocation credentials. These keys are used to proof that credential was issued and doesn’t revoked by this issuer. Issuer keys have global identifier that must be known to all parties.

Revocation Private Key is used for signing Credential.

Revocation Public Key is used to verify that credential was’nt revoked by Issuer.

A list of attributes a Credential is based on.

A Builder of Credential Schema.

CredentialSecretsBlindingFactors used by Prover for post processing of credentials received from Issuer.

Issuer’s signature over Credential attribute values.

Values of attributes from Claim Schema (must be integers).

A Builder of Credential Values.

Secret key encoded in a credential that is used to prove that prover owns the credential; can be used to prove linkage across credentials. Prover blinds master secret, generating BlindedCredentialSecrets and CredentialSecretsBlindingFactors (blinding factors) and sends the BlindedCredentialSecrets to Issuer who then encodes it credential creation. The blinding factors are used by Prover for post processing of issued credentials.

Some condition that must be satisfied.

Proof is complex crypto structure created by prover over multiple credentials that allows to prove that prover:

Revocation Key Private Accumulator primate key.

Revocation Key Public Accumulator public key. Must be published together with Accumulator

Revocation Registry contains accumulator. Must be published by Issuer on a tamper-evident and highly available storage Used by prover to prove that a credential hasn’t revoked by the issuer

Revocation Registry Delta contains Accumulator changes. Must be applied to Revocation Registry

Generator of Tail's.

Simple implementation of RevocationTailsAccessor that stores all tails as BTreeMap.

“Sub Proof Request” - input to create a Proof for a credential; Contains attributes to be revealed and predicates.

Builder of “Sub Proof Request”.

Enums

The m value for attributes, commitments also store a blinding factor

Condition type

Traits

Functions

Creates random nonce

Type Definitions

Random BigNumber that uses Prover for proof generation and Verifier for proof verification.

Tail point of curve used to update accumulator.