# Functions
CalculateQueryHash calculates query hash.
GetVerifier return specific public signals verifier.
IsValidOperation checks if operation and type are supported.
ParseCredentialSubject parse credential subject and return array of property queries.
ParseQueriesMetadata parse credential subject and return array of query metadata.
ParseQueryMetadata parse property query and return query metadata.
RegisterVerifier is factory for public signals init.
WithAcceptedProofGenerationDelay sets the delay of the proof generation.
WithAcceptedStateTransitionDelay sets the delay of the revoked state.
# Constants
ParamNameNullifierSessionID is a nullifier session id - specific circuit param for V3 to generate nullifier.
ParamNameVerifierDID is a verifier did - specific circuit param for V3, but can be utilized by other circuits.
PathToSubjectType path to description of subject type.
# Variables
ErrGlobalStateIsNotValid invalid global state id.
ErrInvalidValues proof was created for different values.
ErrIssuerClaimStateIsNotValid declares that issuer state is invalid.
ErrIssuerNonRevocationClaimStateIsNotValid declares that issuer non-revocation state is invalid.
ErrNegativeValue only positive integers allowed.
ErrProofGenerationOutdated declares that generated proof is outdated.
ErrRequestOperator proof was created for different query.
ErrSchemaID proof was created for different schema.
ErrUnavailableIssuer issuer from proof not allowed.
ErrValuesSize proof was created for different values.
ErrWronProofType declares that query proof type doesn't match circuit proof type.
# Structs
AtomicQueryMTPV2 is a wrapper for circuits.AtomicQueryMTPV2PubSignals.
AtomicQuerySigV2 is a wrapper for circuits.AtomicQuerySigV2PubSignals.
AtomicQueryV3 is a wrapper for circuits.AtomicQueryV3PubSignals.
AuthV2 is a wrapper for circuits.AuthV2PubSignals.
CircuitOutputs pub signals from circuit.
CircuitVerificationResult struct for verification result.
LinkedMultiQuery is a wrapper for circuits.LinkedMultiQueryPubSignals.
PropertyQuery struct.
Query represents structure for query to atomic circuit.
QueryMetadata struct describe query metadata.
VerifyConfig verifiers options.
# Interfaces
StateResolver is a state resolver interface.
Verifier is interface for verification of public signals of zkp.
# Type aliases
VerifyOpt sets options.