Crate verifiable 

Modules

ring

Structs

BatchProofItem

A single item in a batch proof validation request.

Receipt

Convenience wrapper bundling a proof with its associated alias and message.

Enums

Error

Failure modes for the operations on GenerateVerifiable.

Constants

MAX_CONTEXTS

Maximum number of contexts the library supports anywhere.

Traits

DecodeUnchecked

SCALE decoding that may skip backend-specific validation (e.g. arkworks curve-point subgroup checks) for values arriving from a trusted source.

GenerateVerifiable

Trait allowing cryptographic proof of membership of a set with known members under multiple contexts without exposing the underlying member who is proving it and giving an unlinkable deterministic pseudonymic “alias” under each context.

Type Aliases

Alias

Cryptographic identifier for a person within a specific application which deals with people. The underlying crypto should guarantee that all Alias values used by a person to represent themself for each Context are unlinkable from both their underlying PersonalId as well as all other Alias values of theirs.

AliasVec

Collection of aliases returned from the multi-context proof methods.

BatchProofItemFor

BatchProofItem specialized to a given GenerateVerifiable implementation V.

ContextVec

SmallVec sized for one element per context.

Entropy

Entropy supplied for the creation of a secret key.