circuits

package module

Go to main page

Versions in this module

v2

v2.4.0

Sep 16, 2024

v2.3.0

Jun 19, 2024

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