Module indy_crypto::cl [] [src]

Modules

issuer
prover
verifier

Structs

AggregatedProof
BlindedMasterSecret

Blinded Master Secret uses by Issuer in credential creation.

BlindedMasterSecretCorrectnessProof
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.

CredentialSignature

Issuer's signature over Credential attribute values.

CredentialValues

Values of attributes from Credential 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 BlindedMasterSecret and MasterSecretBlindingData (blinding factors) and sends the BlindedMasterSecret to Issuer who then encodes it credential creation. The blinding factors are used by Prover for post processing of issued credentials.

MasterSecretBlindingData

Master Secret Blinding Data used by Prover for post processing of credentials received from Issuer. TODO: Should be renamed MasterSecretBlindingFactors

NonRevocInitProof
NonRevocProof
NonRevocProofCList
NonRevocProofTauList
NonRevocProofXList
NonRevocationCredentialSignature
Predicate

Some condition that must be satisfied.

PrimaryBlindedMasterSecretData
PrimaryCredentialSignature
PrimaryEqualInitProof
PrimaryEqualProof
PrimaryInitProof
PrimaryPredicateGEInitProof
PrimaryPredicateGEProof
PrimaryProof
Proof

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

RevocationBlindedMasterSecretData
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 HashMap.

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

PredicateType

Condition type (Currently GE only).

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.