circuits

package module

Go to main page

Versions in this module

v2

v2.2.1

Apr 18, 2024

v2.2.0

Apr 1, 2024

Changes in this version

+ const ErrorEmptyClaim

+ const ErrorEmptyLinkNonce

+ const ErrorEmptyQueries

+ const ErrorTooManyQueries

type LinkedMultiQueryInputs

+ func (l LinkedMultiQueryInputs) Validate() error

v2.1.0

Feb 29, 2024

Changes in this version

+ const EXISTS

+ const ErrorInvalidValuesArrSize

+ const LinkedMultiQueryLength

+ const NONBETWEEN

type AtomicQueryV3OnChainInputs

+ IsBJJAuthEnabled int

type AtomicQueryV3OnChainPubSignals

+ IsBJJAuthEnabled int

type AtomicQueryV3PubSignals

+ ActualValueArraySize int

type CircuitID

+ const LinkedMultiQuery10CircuitID

+ type LinkedMultiQueryInputs struct

+ Claim *core.Claim

+ LinkNonce *big.Int

+ Query []*Query

+ func (l LinkedMultiQueryInputs) InputsMarshal() ([]byte, error)

+ type LinkedMultiQueryPubSignals struct

+ CircuitQueryHash []*big.Int

+ LinkID *big.Int

+ Merklized int

+ OperatorOutput []*big.Int

+ func (l LinkedMultiQueryPubSignals) GetObjMap() map[string]interface{}

+ func (lo *LinkedMultiQueryPubSignals) PubSignalsUnmarshal(data []byte) error

type Query

+ func (q Query) ValidateValueArraySize(maxArrSize int) error

v2.0.1

Jan 4, 2024

Changes in this version

+ const BETWEEN

+ const ErrorEmptyMTPProof

+ const ErrorEmptySignatureProof

+ const ErrorInvalidProofType

+ const GTE

+ const LTE

+ const NULLIFY

+ const SD

+ type AtomicQueryV3Inputs struct

+ Claim ClaimWithSigAndMTPProof

+ ClaimSubjectProfileNonce *big.Int

+ CurrentTimeStamp int64

+ ID *core.ID

+ LinkNonce *big.Int

+ NullifierSessionID *big.Int

+ ProfileNonce *big.Int

+ ProofType ProofType

+ Query Query

+ RequestID *big.Int

+ SkipClaimRevocationCheck bool

+ VerifierID *core.ID

+ func (a AtomicQueryV3Inputs) InputsMarshal() ([]byte, error)

+ func (a AtomicQueryV3Inputs) Validate() error

+ type AtomicQueryV3OnChainInputs struct

+ AuthClaim *core.Claim

+ AuthClaimIncMtp *merkletree.Proof

+ AuthClaimNonRevMtp *merkletree.Proof

+ AuthEnabled int

+ Challenge *big.Int

+ Claim ClaimWithSigAndMTPProof

+ ClaimSubjectProfileNonce *big.Int

+ CurrentTimeStamp int64

+ GISTProof GISTProof

+ ID *core.ID

+ LinkNonce *big.Int

+ NullifierSessionID *big.Int

+ ProfileNonce *big.Int

+ ProofType ProofType

+ Query Query

+ RequestID *big.Int

+ Signature *babyjub.Signature

+ SkipClaimRevocationCheck bool

+ TreeState TreeState

+ VerifierID *core.ID

+ func (a AtomicQueryV3OnChainInputs) InputsMarshal() ([]byte, error)

+ func (a AtomicQueryV3OnChainInputs) Validate() error

+ type AtomicQueryV3OnChainPubSignals struct

+ AuthEnabled int

+ Challenge *big.Int

+ GlobalRoot *merkletree.Hash

+ IsRevocationChecked int

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ IssuerState *merkletree.Hash

+ LinkID *big.Int

+ Merklized int

+ Nullifier *big.Int

+ NullifierSessionID *big.Int

+ OperatorOutput *big.Int

+ ProofType int

+ QueryHash *big.Int

+ RequestID *big.Int

+ Timestamp int64

+ UserID *core.ID

+ VerifierID *core.ID

+ func (ao *AtomicQueryV3OnChainPubSignals) PubSignalsUnmarshal(data []byte) error

+ func (ao AtomicQueryV3OnChainPubSignals) GetObjMap() map[string]interface{}

+ type AtomicQueryV3PubSignals struct

+ ClaimPathKey *big.Int

+ ClaimPathNotExists int

+ ClaimSchema core.SchemaHash

+ IsRevocationChecked int

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ IssuerState *merkletree.Hash

+ LinkID *big.Int

+ Merklized int

+ Nullifier *big.Int

+ NullifierSessionID *big.Int

+ Operator int

+ OperatorOutput *big.Int

+ ProofType int

+ RequestID *big.Int

+ SlotIndex int

+ Timestamp int64

+ UserID *core.ID

+ Value []*big.Int

+ VerifierID *core.ID

+ func (ao *AtomicQueryV3PubSignals) PubSignalsUnmarshal(data []byte) error

+ func (ao AtomicQueryV3PubSignals) GetObjMap() map[string]interface{}

type CircuitID

+ const AtomicQueryV3CircuitID

+ const AtomicQueryV3OnChainCircuitID

+ type ClaimWithSigAndMTPProof struct

+ Claim *core.Claim

+ IncProof *MTProof

+ IssuerID *core.ID

+ NonRevProof MTProof

+ SignatureProof *BJJSignatureProof

+ type ProofType string

+ const BJJSignatureProofType

+ const Iden3SparseMerkleTreeProofType

v2.0.0

Aug 10, 2023

Changes in this version

+ const BatchSize

+ const EQ

+ const ErrorEmptyAuthClaimInNewStateProof

+ const ErrorEmptyAuthClaimNonRevProof

+ const ErrorEmptyAuthClaimProof

+ const ErrorEmptyChallenge

+ const ErrorEmptyChallengeSignature

+ const ErrorEmptyClaimNonRevProof

+ const ErrorEmptyClaimProof

+ const ErrorEmptyClaimSignature

+ const ErrorEmptyGISTProof

+ const ErrorEmptyID

+ const ErrorEmptyIssuerAuthClaimNonRevProof

+ const ErrorEmptyIssuerAuthClaimProof

+ const ErrorEmptyIssuerClaim

+ const ErrorEmptyJsonLDQueryPath

+ const ErrorEmptyJsonLDQueryProof

+ const ErrorEmptyJsonLDQueryValue

+ const ErrorEmptyJsonLDQueryValues

+ const ErrorEmptyQueryValue

+ const ErrorEmptyRequestID

+ const ErrorEmptyStateCommitmentClaim

+ const GT

+ const IN

+ const LT

+ const NE

+ const NIN

+ const NOOP

+ var ErrorCircuitIDNotFound = errors.New("circuit id not supported")

+ var QueryOperators = map[string]int

+ func CircomSiblings(proof *merkletree.Proof, levels int) []*merkletree.Hash

+ func HashToStr(siblings []*merkletree.Hash) []string

+ func PoseidonHashValue(values []*big.Int) (*big.Int, error)

+ func PrepareCircuitArrayValues(arr []*big.Int, size int) ([]*big.Int, error)

+ func PrepareSiblings(siblings []*merkletree.Hash, levels int) []*big.Int

+ func PrepareSiblingsStr(siblings []*merkletree.Hash, levels int) []string

+ func RegisterCircuit(id CircuitID, c Data)

+ func UnmarshalCircuitOutput(id CircuitID, b []byte) (map[string]interface{}, error)

+ type AtomicQueryMTPInputs struct

+ AuthClaim ClaimWithMTPProof

+ Challenge *big.Int

+ Claim ClaimWithMTPProof

+ CurrentTimeStamp int64

+ ID *core.ID

+ Signature *babyjub.Signature

+ func (a AtomicQueryMTPInputs) InputsMarshal() ([]byte, error)

+ type AtomicQueryMTPPubSignals struct

+ Challenge *big.Int

+ ClaimSchema core.SchemaHash

+ IssuerClaimIdenState *merkletree.Hash

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ Operator int

+ SlotIndex int

+ Timestamp int64

+ UserID *core.ID

+ UserState *merkletree.Hash

+ Values []*big.Int

+ func (ao *AtomicQueryMTPPubSignals) PubSignalsUnmarshal(data []byte) error

+ func (ao AtomicQueryMTPPubSignals) GetObjMap() map[string]interface{}

+ type AtomicQueryMTPV2Inputs struct

+ Claim ClaimWithMTPProof

+ ClaimSubjectProfileNonce *big.Int

+ CurrentTimeStamp int64

+ ID *core.ID

+ ProfileNonce *big.Int

+ RequestID *big.Int

+ SkipClaimRevocationCheck bool

+ func (a AtomicQueryMTPV2Inputs) InputsMarshal() ([]byte, error)

+ func (a AtomicQueryMTPV2Inputs) Validate() error

+ type AtomicQueryMTPV2OnChainInputs struct

+ AuthClaim *core.Claim

+ AuthClaimIncMtp *merkletree.Proof

+ AuthClaimNonRevMtp *merkletree.Proof

+ Challenge *big.Int

+ Claim ClaimWithMTPProof

+ ClaimSubjectProfileNonce *big.Int

+ CurrentTimeStamp int64

+ GISTProof GISTProof

+ ID *core.ID

+ ProfileNonce *big.Int

+ RequestID *big.Int

+ Signature *babyjub.Signature

+ SkipClaimRevocationCheck bool

+ TreeState TreeState

+ func (a AtomicQueryMTPV2OnChainInputs) InputsMarshal() ([]byte, error)

+ func (a AtomicQueryMTPV2OnChainInputs) Validate() error

+ type AtomicQueryMTPV2OnChainPubSignals struct

+ Challenge *big.Int

+ GlobalRoot *merkletree.Hash

+ IsRevocationChecked int

+ IssuerClaimIdenState *merkletree.Hash

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ Merklized int

+ QueryHash *big.Int

+ RequestID *big.Int

+ Timestamp int64

+ UserID *core.ID

+ func (ao *AtomicQueryMTPV2OnChainPubSignals) PubSignalsUnmarshal(data []byte) error

+ func (ao AtomicQueryMTPV2OnChainPubSignals) GetObjMap() map[string]interface{}

+ type AtomicQueryMTPV2PubSignals struct

+ ClaimPathKey *big.Int

+ ClaimPathNotExists int

+ ClaimSchema core.SchemaHash

+ IsRevocationChecked int

+ IssuerClaimIdenState *merkletree.Hash

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ Merklized int

+ Operator int

+ RequestID *big.Int

+ SlotIndex int

+ Timestamp int64

+ UserID *core.ID

+ Value []*big.Int

+ func (ao *AtomicQueryMTPV2PubSignals) PubSignalsUnmarshal(data []byte) error

+ func (ao AtomicQueryMTPV2PubSignals) GetObjMap() map[string]interface{}

+ type AtomicQuerySigInputs struct

+ AuthClaim ClaimWithMTPProof

+ Challenge *big.Int

+ Claim ClaimWithSigProof

+ CurrentTimeStamp int64

+ ID *core.ID

+ Signature *babyjub.Signature

+ func (a AtomicQuerySigInputs) InputsMarshal() ([]byte, error)

+ type AtomicQuerySigPubSignals struct

+ Challenge *big.Int

+ ClaimSchema core.SchemaHash

+ IssuerAuthState *merkletree.Hash

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ Operator int

+ SlotIndex int

+ Timestamp int64

+ UserID *core.ID

+ UserState *merkletree.Hash

+ Values []*big.Int

+ func (ao *AtomicQuerySigPubSignals) PubSignalsUnmarshal(data []byte) error

+ func (ao AtomicQuerySigPubSignals) GetObjMap() map[string]interface{}

+ type AtomicQuerySigV2Inputs struct

+ Claim ClaimWithSigProof

+ ClaimSubjectProfileNonce *big.Int

+ CurrentTimeStamp int64

+ ID *core.ID

+ ProfileNonce *big.Int

+ Query Query

+ RequestID *big.Int

+ SkipClaimRevocationCheck bool

+ func (a AtomicQuerySigV2Inputs) InputsMarshal() ([]byte, error)

+ func (a AtomicQuerySigV2Inputs) Validate() error

+ type AtomicQuerySigV2OnChainInputs struct

+ AuthClaim *core.Claim

+ AuthClaimIncMtp *merkletree.Proof

+ AuthClaimNonRevMtp *merkletree.Proof

+ Challenge *big.Int

+ Claim ClaimWithSigProof

+ ClaimSubjectProfileNonce *big.Int

+ CurrentTimeStamp int64

+ GISTProof GISTProof

+ ID *core.ID

+ ProfileNonce *big.Int

+ Query Query

+ RequestID *big.Int

+ Signature *babyjub.Signature

+ SkipClaimRevocationCheck bool

+ TreeState TreeState

+ func (a AtomicQuerySigV2OnChainInputs) InputsMarshal() ([]byte, error)

+ func (a AtomicQuerySigV2OnChainInputs) Validate() error

+ type AtomicQuerySigV2OnChainPubSignals struct

+ Challenge *big.Int

+ GlobalRoot *merkletree.Hash

+ IsRevocationChecked int

+ IssuerAuthState *merkletree.Hash

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ Merklized int

+ QueryHash *big.Int

+ RequestID *big.Int

+ Timestamp int64

+ UserID *core.ID

+ func (ao *AtomicQuerySigV2OnChainPubSignals) PubSignalsUnmarshal(data []byte) error

+ func (ao AtomicQuerySigV2OnChainPubSignals) GetObjMap() map[string]interface{}

+ type AtomicQuerySigV2PubSignals struct

+ ClaimPathKey *big.Int

+ ClaimPathNotExists int

+ ClaimSchema core.SchemaHash

+ IsRevocationChecked int

+ IssuerAuthState *merkletree.Hash

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ Merklized int

+ Operator int

+ RequestID *big.Int

+ SlotIndex int

+ Timestamp int64

+ UserID *core.ID

+ Value []*big.Int

+ func (ao *AtomicQuerySigV2PubSignals) PubSignalsUnmarshal(data []byte) error

+ func (ao AtomicQuerySigV2PubSignals) GetObjMap() map[string]interface{}

+ type AuthInputs struct

+ AuthClaim ClaimWithMTPProof

+ Challenge *big.Int

+ ID *core.ID

+ Signature *babyjub.Signature

+ func (a AuthInputs) InputsMarshal() ([]byte, error)

+ type AuthPubSignals struct

+ Challenge *big.Int

+ UserID *core.ID

+ UserState *merkletree.Hash

+ func (a *AuthPubSignals) PubSignalsUnmarshal(data []byte) error

+ func (a AuthPubSignals) GetObjMap() map[string]interface{}

+ type AuthV2Inputs struct

+ AuthClaim *core.Claim

+ AuthClaimIncMtp *merkletree.Proof

+ AuthClaimNonRevMtp *merkletree.Proof

+ Challenge *big.Int

+ GISTProof GISTProof

+ GenesisID *core.ID

+ ProfileNonce *big.Int

+ Signature *babyjub.Signature

+ TreeState TreeState

+ func (a *AuthV2Inputs) UnmarshalJSON(in []byte) error

+ func (a AuthV2Inputs) InputsMarshal() ([]byte, error)

+ func (a AuthV2Inputs) MarshalJSON() ([]byte, error)

+ func (a AuthV2Inputs) Validate() error

+ type AuthV2PubSignals struct

+ Challenge *big.Int

+ GISTRoot *merkletree.Hash

+ UserID *core.ID

+ func (a *AuthV2PubSignals) PubSignalsUnmarshal(data []byte) error

+ func (a AuthV2PubSignals) GetObjMap() map[string]interface{}

+ type BJJSignatureProof struct

+ IssuerAuthClaim *core.Claim

+ IssuerAuthIncProof MTProof

+ IssuerAuthNonRevProof MTProof

+ Signature *babyjub.Signature

+ type BaseConfig struct

+ MTLevel int

+ MTLevelClaim int

+ MTLevelOnChain int

+ ValueArraySize int

+ func (c BaseConfig) GetMTLevel() int

+ func (c BaseConfig) GetMTLevelOnChain() int

+ func (c BaseConfig) GetMTLevelsClaim() int

+ func (c BaseConfig) GetValueArrSize() int

+ type CircuitID string

+ const AtomicQueryMTPCircuitID

+ const AtomicQueryMTPV2CircuitID

+ const AtomicQueryMTPV2OnChainCircuitID

+ const AtomicQuerySigCircuitID

+ const AtomicQuerySigV2CircuitID

+ const AtomicQuerySigV2OnChainCircuitID

+ const AuthCircuitID

+ const AuthV2CircuitID

+ const JsonLDAtomicQueryMTPCircuitID

+ const StateTransitionCircuitID

+ const SybilMTPCircuitID

+ const SybilSigCircuitID

+ type ClaimWithMTPProof struct

+ Claim *core.Claim

+ IncProof MTProof

+ IssuerID *core.ID

+ NonRevProof MTProof

+ type ClaimWithSigProof struct

+ Claim *core.Claim

+ IssuerID *core.ID

+ NonRevProof MTProof

+ SignatureProof BJJSignatureProof

+ type Comparer interface

+ Compare func(int) (bool, error)

+ func FactoryComparer(x *big.Int, y []*big.Int, t int) (Comparer, error)

+ type Data struct

+ Input InputsMarshaller

+ Output PubSignals

+ func GetCircuit(id CircuitID) (*Data, error)

+ type GISTProof struct

+ Proof *merkletree.Proof

+ Root *merkletree.Hash

+ type InputsMarshaller interface

+ InputsMarshal func() ([]byte, error)

+ type KeyLoader interface

+ Load func() ([]byte, error)

+ type MTProof struct

+ Proof *merkletree.Proof

+ TreeState TreeState

+ type NodeAuxValue struct

+ func GetNodeAuxValue(p *merkletree.Proof) NodeAuxValue

+ type PubSignals interface

+ type PubSignalsMapper interface

+ GetObjMap func() map[string]interface{}

+ type PubSignalsUnmarshaller interface

+ PubSignalsUnmarshal func(data []byte) error

+ type Query struct

+ Operator int

+ SlotIndex int

+ ValueProof *ValueProof

+ Values []*big.Int

+ type Scalar struct

+ func NewScalar(x, y *big.Int) *Scalar

+ func (s *Scalar) Compare(t int) (bool, error)

+ type StateTransitionInputs struct

+ AuthClaim *core.Claim

+ AuthClaimIncMtp *merkletree.Proof

+ AuthClaimNewStateIncMtp *merkletree.Proof

+ AuthClaimNonRevMtp *merkletree.Proof

+ ID *core.ID

+ IsOldStateGenesis bool

+ NewTreeState TreeState

+ OldTreeState TreeState

+ Signature *babyjub.Signature

+ func (c StateTransitionInputs) InputsMarshal() ([]byte, error)

+ type StateTransitionPubSignals struct

+ IsOldStateGenesis bool

+ NewUserState *merkletree.Hash

+ OldUserState *merkletree.Hash

+ UserID *core.ID

+ func (s *StateTransitionPubSignals) PubSignalsUnmarshal(data []byte) error

+ func (s StateTransitionPubSignals) GetObjMap() map[string]interface{}

+ type SybilAtomicMTPInputs struct

+ CRS *big.Int

+ ClaimSubjectProfileNonce *big.Int

+ GISTProof GISTProof

+ ID *core.ID

+ IssuerClaim ClaimWithMTPProof

+ ProfileNonce *big.Int

+ RequestID *big.Int

+ StateCommitmentClaim ClaimWithMTPProof

+ Timestamp int64

+ func (s SybilAtomicMTPInputs) InputsMarshal() ([]byte, error)

+ func (s SybilAtomicMTPInputs) Validate() error

+ type SybilAtomicMTPPubSignals struct

+ CRS *big.Int

+ ClaimSchema core.SchemaHash

+ GISTRoot *merkletree.Hash

+ IssuerClaimIdenState *merkletree.Hash

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ RequestID *big.Int

+ SybilID *big.Int

+ Timestamp int64

+ UserID *core.ID

+ func (s *SybilAtomicMTPPubSignals) PubSignalsUnmarshal(data []byte) error

+ func (s SybilAtomicMTPPubSignals) GetObjMap() map[string]interface{}

+ type SybilAtomicSigInputs struct

+ CRS *big.Int

+ ClaimSubjectProfileNonce *big.Int

+ GISTProof GISTProof

+ ID *core.ID

+ IssuerClaim ClaimWithSigProof

+ ProfileNonce *big.Int

+ RequestID *big.Int

+ StateCommitmentClaim ClaimWithMTPProof

+ Timestamp int64

+ func (s SybilAtomicSigInputs) InputsMarshal() ([]byte, error)

+ func (s SybilAtomicSigInputs) Validate() error

+ type SybilAtomicSigPubSignals struct

+ CRS *big.Int

+ ClaimSchema core.SchemaHash

+ GISTRoot *merkletree.Hash

+ IssuerAuthState *merkletree.Hash

+ IssuerClaimNonRevState *merkletree.Hash

+ IssuerID *core.ID

+ RequestID *big.Int

+ SybilID *big.Int

+ Timestamp int64

+ UserID *core.ID

+ func (s *SybilAtomicSigPubSignals) PubSignalsUnmarshal(data []byte) error

+ func (s SybilAtomicSigPubSignals) GetObjMap() map[string]interface{}

+ type TreeState struct

+ ClaimsRoot *merkletree.Hash

+ RevocationRoot *merkletree.Hash

+ RootOfRoots *merkletree.Hash

+ State *merkletree.Hash

+ type ValueProof struct

+ MTP *merkletree.Proof

+ Path *big.Int

+ Value *big.Int

+ type Vector struct

+ func NewVector(x *big.Int, y []*big.Int) *Vector

+ func (v *Vector) Compare(t int) (bool, error)

Other modules containing this package

github.com/iden3/go-circuits

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL