[][src]Module indy_crypto::cl

Modules

issuer
logger
prover
verifier

Structs

AggregatedProof
BlindedCredentialSecrets

Blinded Master Secret uses by Issuer in credential creation.

BlindedCredentialSecretsCorrectnessProof
CredentialKeyCorrectnessProof

Proof of Issuer Public Key correctness

CredentialPrimaryPrivateKey

Issuer's "Private Key" used for signing Credential's attributes' values (primary credential)

CredentialPrimaryPublicKey

Issuer's "Public Key" is used to verify the Issuer's signature over the Credential's attributes' values (primary credential).

CredentialPrimaryPublicKeyMetadata

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

CredentialPrivateKey

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

CredentialPublicKey

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.

CredentialRevocationPrivateKey

Revocation Private Key is used for signing Credential.

CredentialRevocationPublicKey

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

CredentialSchema

A list of attributes a Credential is based on.

CredentialSchemaBuilder

A Builder of Credential Schema.

CredentialSecretsBlindingFactors

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

CredentialSignature

Issuer's signature over Credential attribute values.

CredentialValues

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

CredentialValuesBuilder

A Builder of Credential Values.

InitProof
MasterSecret

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.

NonCredentialSchema
NonCredentialSchemaBuilder
NonRevocInitProof
NonRevocProof
NonRevocProofCList
NonRevocProofTauList
NonRevocProofXList
NonRevocationCredentialSignature
Predicate

Some condition that must be satisfied.

PrimaryBlindedCredentialSecretsFactors
PrimaryCredentialSignature
PrimaryEqualInitProof
PrimaryEqualProof
PrimaryInitProof
PrimaryPredicateInequalityInitProof
PrimaryPredicateInequalityProof
PrimaryProof
Proof

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

RevocationBlindedCredentialSecretsFactors
RevocationKeyPrivate

Revocation Key Private Accumulator primate key.

RevocationKeyPublic

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

RevocationRegistry

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

RevocationRegistryDelta

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

RevocationTailsGenerator

Generator of Tail's.

SignatureCorrectnessProof
SimpleTailsAccessor

Simple implementation of RevocationTailsAccessor that stores all tails as BTreeMap.

SubProof
SubProofRequest

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

SubProofRequestBuilder

Builder of “Sub Proof Request”.

VerifiableCredential
Witness
WitnessSignature

Enums

CredentialValue

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

PredicateType

Condition type

Traits

RevocationTailsAccessor

Functions

new_nonce

Creates random nonce

Type Definitions

Accumulator
Nonce

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

Tail

Tail point of curve used to update accumulator.