Modules§
Macros§
Structs§
- Accumulator
- Accumulator value, contained in a revocation registry and delta.
- Aggregated
Proof - Blinded
Credential Secrets - Blinded Master Secret uses by Issuer in credential creation.
- Blinded
Credential Secrets Correctness Proof - Credential
KeyCorrectness Proof - Proof of
Issuer Public Keycorrectness - Credential
Primary Private Key - Issuer’s “Private Key” used for signing Credential’s attributes’ values (primary credential)
- Credential
Primary Public Key - Issuer’s “Public Key” is used to verify the Issuer’s signature over the Credential’s attributes’ values (primary credential).
- Credential
Primary Public KeyMetadata Primary Public Key Metadatarequired for building of Proof Correctness ofIssuer Public Key- Credential
Private Key Issuer Private Key: contains 2 internal parts. One for signing primary credentials and second for signing non-revocation credentials.- Credential
Public Key Issuer Public Keycontains 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.- Credential
Revocation Private Key Revocation Private Keyis used for signing Credential.- Credential
Revocation Public Key Revocation Public Keyis used to verify that credential wasn’t revoked by Issuer.- Credential
Schema - A list of attributes a Credential is based on.
- Credential
Schema Builder - A Builder of
Credential Schema. - Credential
Secrets Blinding Factors CredentialSecretsBlindingFactorsused by Prover for post processing of credentials received from Issuer.- Credential
Signature - Issuer’s signature over Credential attribute values.
- Credential
Values - Values of attributes from
Claim Schema(must be integers). - Credential
Values Builder - A Builder of
Credential Values. - Error
- Init
Proof - Issuer
- Trust source that provides credentials to prover.
- Link
Secret - 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 link secret, generating
BlindedCredentialSecretsandCredentialSecretsBlindingFactors(blinding factors) and sends theBlindedCredentialSecretsto Issuer who then encodes it credential creation. The blinding factors are used by Prover for post processing of issued credentials. - NonCredential
Schema - NonCredential
Schema Builder - NonRevoc
Init Proof - NonRevoc
Proof - NonRevoc
ProofC List - NonRevoc
Proof TauList - NonRevoc
ProofX List - NonRevocation
Credential Signature - Predicate
- Some condition that must be satisfied.
- Primary
Blinded Credential Secrets Factors - Primary
Credential Signature - Primary
Equal Init Proof - Primary
Equal Proof - Primary
Init Proof - Primary
Predicate Inequality Init Proof - Primary
Predicate Inequality Proof - Primary
Proof - Proof
- Proof is complex crypto structure created by prover over multiple credentials that allows to prove that prover:
- Proof
Builder - Proof
Verifier - Prover
- Credentials owner that can proof and partially disclose the credentials to verifier.
- Revocation
Blinded Credential Secrets Factors - Revocation
KeyPrivate Revocation Key PrivateAccumulator primate key.- Revocation
KeyPublic Revocation Key PublicAccumulator public key. Must be published together with Accumulator- Revocation
Registry Revocation Registrycontains 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 Revocation Registry Deltacontains Accumulator changes. Must be applied toRevocation Registry- Revocation
Tails Generator - Generator of
Tail's. - Signature
Correctness Proof - Simple
Tails Accessor - Simple implementation of
RevocationTailsAccessorthat stores all tails as BTreeMap. - SubProof
- SubProof
Request - “Sub Proof Request” - input to create a Proof for a credential; Contains attributes to be revealed and predicates.
- SubProof
Request Builder - Builder of “Sub Proof Request”.
- Tail
Tailpoint of curve used to update an accumulator.- Verifiable
Credential - Verifier
- Party that wants to check that prover has some credentials provided by issuer.
- Witness
- Witness
Signature
Enums§
- Credential
Value - The m value for attributes, commitments also store a blinding factor
- Error
Kind - Predicate
Type - Condition type
Traits§
Functions§
- hash_
credential_ attribute - Hash an attribute string using sha256, returning the decimal representation.
- new_
nonce - Creates random nonce
Type Aliases§
- Nonce
- Random BigNumber that uses
Proverfor proof generation andVerifierfor proof verification.