@mocanetwork/privado-js-sdk 1.0.0

package/dist/types/circuits/atomic-query-v3.d.ts

@@ -0,0 +1,121 @@
+import { Claim, Id, SchemaHash } from '@mocanetwork/moca-iden3';
+import { BaseConfig } from './common';
+import { BJJSignatureProof, MTProof, Query } from './models';
+import { Hash } from '@iden3/js-merkletree';
+import { ProofType } from '../verifiable';
+export interface ClaimWithSigAndMTPProof {
+    issuerID: Id;
+    claim: Claim;
+    nonRevProof: MTProof;
+    signatureProof?: BJJSignatureProof;
+    incProof?: MTProof;
+}
+/**
+ * AtomicQueryV3Inputs ZK private inputs for credentialAtomicQueryV3.circom
+ *
+ * @beta
+ * @class AtomicQueryV3Inputs
+ * @extends {BaseConfig}
+ */
+export declare class AtomicQueryV3Inputs extends BaseConfig {
+    requestID: bigint;
+    id: Id;
+    profileNonce: bigint;
+    claimSubjectProfileNonce: bigint;
+    claim: ClaimWithSigAndMTPProof;
+    skipClaimRevocationCheck: boolean;
+    query: Query;
+    currentTimeStamp: number;
+    proofType: ProofType;
+    linkNonce: bigint;
+    verifierID?: Id;
+    nullifierSessionID: bigint;
+    validate(): void;
+    fillMTPProofsWithZero(s: Partial<AtomicQueryV3CircuitInputs>): void;
+    fillSigProofWithZero(s: Partial<AtomicQueryV3CircuitInputs>): void;
+    inputsMarshal(): Uint8Array;
+}
+/**
+ * @beta
+ * AtomicQueryV3CircuitInputs type represents credentialAtomicQueryV3.circom private inputs required by prover
+ */
+interface AtomicQueryV3CircuitInputs {
+    requestID: string;
+    userGenesisID: string;
+    profileNonce: string;
+    claimSubjectProfileNonce: string;
+    issuerID: string;
+    issuerClaim: string[];
+    issuerClaimNonRevClaimsTreeRoot: string;
+    issuerClaimNonRevRevTreeRoot: string;
+    issuerClaimNonRevRootsTreeRoot: string;
+    issuerClaimNonRevState: string;
+    issuerClaimNonRevMtp: string[];
+    issuerClaimNonRevMtpAuxHi: string;
+    issuerClaimNonRevMtpAuxHv: string;
+    issuerClaimNonRevMtpNoAux: string;
+    claimSchema: string;
+    issuerClaimSignatureR8x: string;
+    issuerClaimSignatureR8y: string;
+    issuerClaimSignatureS: string;
+    issuerAuthClaim: string[];
+    issuerAuthClaimMtp: string[];
+    issuerAuthClaimNonRevMtp: string[];
+    issuerAuthClaimNonRevMtpAuxHi: string;
+    issuerAuthClaimNonRevMtpAuxHv: string;
+    issuerAuthClaimNonRevMtpNoAux: string;
+    issuerAuthClaimsTreeRoot: string;
+    issuerAuthRevTreeRoot: string;
+    issuerAuthRootsTreeRoot: string;
+    issuerAuthState: string;
+    isRevocationChecked: number;
+    claimPathMtp: string[];
+    claimPathMtpNoAux: string;
+    claimPathMtpAuxHi: string;
+    claimPathMtpAuxHv: string;
+    claimPathKey: string;
+    claimPathValue: string;
+    operator: number;
+    slotIndex: number;
+    timestamp: number;
+    value: string[];
+    valueArraySize: number;
+    issuerClaimMtp: string[];
+    issuerClaimClaimsTreeRoot: string;
+    issuerClaimRevTreeRoot: string;
+    issuerClaimRootsTreeRoot: string;
+    issuerClaimIdenState: string;
+    proofType: string;
+    linkNonce: string;
+    verifierID: string;
+    nullifierSessionID: string;
+}
+/**
+ * @beta
+ * AtomicQueryV3PubSignals public inputs
+ */
+export declare class AtomicQueryV3PubSignals extends BaseConfig {
+    requestID: bigint;
+    userID: Id;
+    issuerID: Id;
+    issuerState: Hash;
+    issuerClaimNonRevState: Hash;
+    claimSchema: SchemaHash;
+    slotIndex: number;
+    operator: number;
+    value: bigint[];
+    valueArraySize: number;
+    timestamp: number;
+    merklized: number;
+    claimPathKey: bigint;
+    isRevocationChecked: number;
+    proofType: number;
+    linkID: bigint;
+    nullifier: bigint;
+    operatorOutput: bigint;
+    verifierID: Id;
+    nullifierSessionID: bigint;
+    pubSignalsUnmarshal(data: Uint8Array): AtomicQueryV3PubSignals;
+}
+export {};
+//# sourceMappingURL=atomic-query-v3.d.ts.map

package/dist/types/circuits/atomic-query-v3.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomic-query-v3.d.ts","sourceRoot":"","sources":["../../../src/circuits/atomic-query-v3.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EACL,UAAU,EAKX,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,iBAAiB,EAAgB,OAAO,EAAE,KAAK,EAAc,MAAM,UAAU,CAAC;AACvF,OAAO,EAAE,IAAI,EAAoB,MAAM,sBAAsB,CAAC;AAE9D,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAI1C,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,EAAE,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;IACb,WAAW,EAAE,OAAO,CAAC;IACrB,cAAc,CAAC,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AACD;;;;;;GAMG;AACH,qBAAa,mBAAoB,SAAQ,UAAU;IACjD,SAAS,EAAG,MAAM,CAAC;IACnB,EAAE,EAAG,EAAE,CAAC;IACR,YAAY,EAAG,MAAM,CAAC;IACtB,wBAAwB,EAAG,MAAM,CAAC;IAClC,KAAK,EAAG,uBAAuB,CAAC;IAChC,wBAAwB,EAAG,OAAO,CAAC;IACnC,KAAK,EAAG,KAAK,CAAC;IACd,gBAAgB,EAAG,MAAM,CAAC;IAC1B,SAAS,EAAG,SAAS,CAAC;IACtB,SAAS,EAAG,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,EAAE,CAAC;IAChB,kBAAkB,EAAG,MAAM,CAAC;IAE5B,QAAQ,IAAI,IAAI;IAuChB,qBAAqB,CAAC,CAAC,EAAE,OAAO,CAAC,0BAA0B,CAAC;IAQ5D,oBAAoB,CAAC,CAAC,EAAE,OAAO,CAAC,0BAA0B,CAAC;IAkB3D,aAAa,IAAI,UAAU;CAoI5B;AAED;;;GAGG;AACH,UAAU,0BAA0B;IAClC,SAAS,EAAE,MAAM,CAAC;IAElB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,wBAAwB,EAAE,MAAM,CAAC;IAEjC,QAAQ,EAAE,MAAM,CAAC;IAEjB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,+BAA+B,EAAE,MAAM,CAAC;IACxC,4BAA4B,EAAE,MAAM,CAAC;IACrC,8BAA8B,EAAE,MAAM,CAAC;IACvC,sBAAsB,EAAE,MAAM,CAAC;IAC/B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,yBAAyB,EAAE,MAAM,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB,EAAE,MAAM,CAAC;IAChC,uBAAuB,EAAE,MAAM,CAAC;IAChC,qBAAqB,EAAE,MAAM,CAAC;IAC9B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,wBAAwB,EAAE,MAAM,EAAE,CAAC;IACnC,6BAA6B,EAAE,MAAM,CAAC;IACtC,6BAA6B,EAAE,MAAM,CAAC;IACtC,6BAA6B,EAAE,MAAM,CAAC;IACtC,wBAAwB,EAAE,MAAM,CAAC;IACjC,qBAAqB,EAAE,MAAM,CAAC;IAC9B,uBAAuB,EAAE,MAAM,CAAC;IAChC,eAAe,EAAE,MAAM,CAAC;IAExB,mBAAmB,EAAE,MAAM,CAAC;IAG5B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IAEvB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IAEvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,yBAAyB,EAAE,MAAM,CAAC;IAClC,sBAAsB,EAAE,MAAM,CAAC;IAC/B,wBAAwB,EAAE,MAAM,CAAC;IACjC,oBAAoB,EAAE,MAAM,CAAC;IAE7B,SAAS,EAAE,MAAM,CAAC;IAGlB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AACD;;;GAGG;AACH,qBAAa,uBAAwB,SAAQ,UAAU;IACrD,SAAS,EAAG,MAAM,CAAC;IACnB,MAAM,EAAG,EAAE,CAAC;IACZ,QAAQ,EAAG,EAAE,CAAC;IACd,WAAW,EAAG,IAAI,CAAC;IACnB,sBAAsB,EAAG,IAAI,CAAC;IAC9B,WAAW,EAAG,UAAU,CAAC;IACzB,SAAS,EAAG,MAAM,CAAC;IACnB,QAAQ,EAAG,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,EAAE,CAAM;IACrB,cAAc,EAAG,MAAM,CAAC;IACxB,SAAS,EAAG,MAAM,CAAC;IACnB,SAAS,EAAG,MAAM,CAAC;IACnB,YAAY,EAAG,MAAM,CAAC;IACtB,mBAAmB,EAAG,MAAM,CAAC;IAC7B,SAAS,EAAG,MAAM,CAAC;IACnB,MAAM,EAAG,MAAM,CAAC;IAChB,SAAS,EAAG,MAAM,CAAC;IACnB,cAAc,EAAG,MAAM,CAAC;IACxB,UAAU,EAAG,EAAE,CAAC;IAChB,kBAAkB,EAAG,MAAM,CAAC;IAG5B,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,uBAAuB;CA6H/D"}

package/dist/types/circuits/auth-v2.d.ts

@@ -0,0 +1,46 @@
+import { Hash, Proof } from '@iden3/js-merkletree';
+import { Claim, Id } from '@mocanetwork/moca-iden3';
+import { GISTProof, TreeState } from './models';
+import { BaseConfig, IStateInfoPubSignals, StatesInfo } from './common';
+import { Signature } from '@iden3/js-crypto';
+/**
+ * Auth v2 circuit representation
+ * Inputs and public signals declaration, marshalling and parsing
+ *
+ * @public
+ * @class AuthV2Inputs
+ * @extends {BaseConfig}
+ */
+export declare class AuthV2Inputs extends BaseConfig {
+    genesisID: Id;
+    profileNonce: bigint;
+    authClaim: Claim;
+    authClaimIncMtp: Proof;
+    authClaimNonRevMtp: Proof;
+    treeState: TreeState;
+    gistProof: GISTProof;
+    signature: Signature;
+    challenge: bigint;
+    validate(): void;
+    inputsMarshal(): Uint8Array;
+}
+/**
+ * public signals
+ *
+ * @public
+ * @class AuthV2PubSignals
+ */
+export declare class AuthV2PubSignals implements IStateInfoPubSignals {
+    userID: Id;
+    challenge: bigint;
+    GISTRoot: Hash;
+    /**
+     * PubSignalsUnmarshal unmarshal auth.circom public inputs to AuthPubSignals
+     *
+     * @param {Uint8Array} data
+     * @returns AuthV2PubSignals
+     */
+    pubSignalsUnmarshal(data: Uint8Array): AuthV2PubSignals;
+    getStatesInfo(): StatesInfo;
+}
+//# sourceMappingURL=auth-v2.d.ts.map

package/dist/types/circuits/auth-v2.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"auth-v2.d.ts","sourceRoot":"","sources":["../../../src/circuits/auth-v2.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAgB,SAAS,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAC9D,OAAO,EACL,UAAU,EAEV,oBAAoB,EAEpB,UAAU,EACX,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAG7C;;;;;;;GAOG;AACH,qBAAa,YAAa,SAAQ,UAAU;IAC1C,SAAS,EAAG,EAAE,CAAC;IACf,YAAY,EAAG,MAAM,CAAC;IACtB,SAAS,EAAG,KAAK,CAAC;IAClB,eAAe,EAAG,KAAK,CAAC;IACxB,kBAAkB,EAAG,KAAK,CAAC;IAC3B,SAAS,EAAG,SAAS,CAAC;IACtB,SAAS,EAAG,SAAS,CAAC;IACtB,SAAS,EAAG,SAAS,CAAC;IACtB,SAAS,EAAG,MAAM,CAAC;IAEnB,QAAQ,IAAI,IAAI;IA2BhB,aAAa,IAAI,UAAU;CAiC5B;AA2BD;;;;;GAKG;AACH,qBAAa,gBAAiB,YAAW,oBAAoB;IAC3D,MAAM,EAAG,EAAE,CAAC;IACZ,SAAS,EAAG,MAAM,CAAC;IACnB,QAAQ,EAAG,IAAI,CAAC;IAEhB;;;;;OAKG;IACH,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,gBAAgB;IAgBvD,aAAa,IAAI,UAAU;CAM5B"}

package/dist/types/circuits/common.d.ts

@@ -0,0 +1,153 @@
+import { Hash, Proof } from '@iden3/js-merkletree';
+import { TreeState } from './models';
+import { Id } from '@mocanetwork/moca-iden3';
+export declare const defaultMTLevels = 40;
+export declare const defaultValueArraySize = 64;
+export declare const defaultMTLevelsOnChain = 64;
+export declare const defaultMTLevelsClaim = 32;
+export declare const ErrorEmptyAuthClaimProof = "empty auth claim mtp proof";
+export declare const ErrorEmptyAuthClaimNonRevProof = "empty auth claim non-revocation mtp proof";
+export declare const ErrorEmptyChallengeSignature = "empty challenge signature";
+export declare const ErrorEmptyClaimSignature = "empty claim signature";
+export declare const ErrorEmptyClaimProof = "empty claim mtp proof";
+export declare const ErrorEmptyClaimNonRevProof = "empty claim non-revocation mtp proof";
+export declare const ErrorUserStateInRelayClaimProof = "empty user state in relay claim non-revocation mtp proof";
+export declare const ErrorEmptyIssuerAuthClaimProof = "empty issuer auth claim mtp proof";
+export declare const ErrorEmptyIssuerAuthClaimNonRevProof = "empty issuer auth claim non-revocation mtp proof";
+/**
+ * base config for circuit inputs
+ *
+ * @public
+ * @class BaseConfig
+ */
+export declare class BaseConfig {
+    mtLevel: number;
+    maxValueArraySize: number;
+    mtLevelOnChain: number;
+    mtLevelClaim: number;
+    /**
+     *  getMTLevel max circuit MT levels
+     *
+     * @returns number
+     */
+    getMTLevel(): number;
+    /**
+     *  GetMTLevelsClaim max jsonld Claim levels
+     *
+     * @returns number
+     */
+    getMTLevelsClaim(): number;
+    /**
+     * GetValueArrSize return size of circuits value array size
+     *
+     * @returns number
+     */
+    getValueArrSize(): number;
+    /**
+     * getMTLevelOnChain return level on chain for given circuit
+     *
+     * @returns number
+     */
+    getMTLevelOnChain(): number;
+}
+/**
+ * @deprecated The method should not be used and will be removed in the next major version,
+ * please use Hash.fromHex instead
+ * @param {(string | undefined)} s - string hex
+ * @returns Hash
+ */
+export declare const strMTHex: (s: string | undefined) => Hash;
+/**
+ * converts hexes of tree roots to Hashes
+ *
+ * @param {(string | undefined)} state - state of tree hex
+ * @param {(string | undefined)} claimsTreeRoot - claims tree root hex
+ * @param {(string | undefined)} revocationTreeRoot - revocation tree root hex
+ * @param {(string | undefined)} rootOfRoots - root of roots tree root hex
+ * @returns TreeState
+ */
+export declare const buildTreeState: (state: string | undefined, claimsTreeRoot: string | undefined, revocationTreeRoot: string | undefined, rootOfRoots: string | undefined) => TreeState;
+/**
+ * siblings as string array
+ *
+ * @param {Proof} proof - proof with siblings
+ * @param {number} levels - levels number
+ * @returns string[]
+ */
+export declare const prepareSiblingsStr: (proof: Proof, levels: number) => string[];
+/**
+ * PrepareCircuitArrayValues padding values to size.
+ * Validate array size and throw an exception if array is bigger than size
+ * if array is bigger, circuit cannot compile because number of inputs does not match
+ *
+ *
+ * @param {bigint[]} arr - given values
+ * @param {number} size - size to pad
+ * @returns bigint[]
+ */
+export declare const prepareCircuitArrayValues: (arr: bigint[], size: number) => bigint[];
+/**
+ * converts each big integer in array to string
+ *
+ * @param {bigint[]} arr -  array of big numbers
+ * @returns string[]
+ */
+export declare const bigIntArrayToStringArray: (arr: bigint[]) => string[];
+/**
+ * auxiliary node
+ *
+ * @public
+ * @interface   NodeAuxValue
+ */
+export interface NodeAuxValue {
+    key: Hash;
+    value: Hash;
+    noAux: string;
+}
+export declare const getNodeAuxValue: (p: Proof | undefined) => NodeAuxValue;
+/**
+ * converts boolean existence param to integer
+ * if true - 1, else - 0
+ *
+ * @param {boolean} b - existence
+ * @returns number
+ */
+export declare const existenceToInt: (b: boolean) => number;
+/**
+ * return object properties
+ *
+ * @param {object} obj
+ * @returns object
+ */
+export declare function getProperties(obj: object): object;
+/**
+ * states info from pub signals
+ *
+ * @public
+ * @type   StatesInfo
+ */
+export type StatesInfo = {
+    states: {
+        id: Id;
+        state: Hash;
+    }[];
+    gists: {
+        id: Id;
+        root: Hash;
+    }[];
+};
+/**
+ * state pub signals
+ *
+ * @public
+ * @interface   IStatePubSignals
+ */
+export interface IStateInfoPubSignals {
+    /**
+     * return object with state params
+     *
+     * @returns {OnChainStateInfo}
+     */
+    getStatesInfo(): StatesInfo;
+}
+//# sourceMappingURL=common.d.ts.map

package/dist/types/circuits/common.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../../src/circuits/common.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAa,KAAK,EAAkB,MAAM,sBAAsB,CAAC;AAC9E,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,EAAE,EAAE,MAAM,yBAAyB,CAAC;AAE7C,eAAO,MAAM,eAAe,KAAK,CAAC;AAClC,eAAO,MAAM,qBAAqB,KAAK,CAAC;AACxC,eAAO,MAAM,sBAAsB,KAAK,CAAC;AACzC,eAAO,MAAM,oBAAoB,KAAK,CAAC;AAEvC,eAAO,MAAM,wBAAwB,+BAA+B,CAAC;AACrE,eAAO,MAAM,8BAA8B,8CAA8C,CAAC;AAC1F,eAAO,MAAM,4BAA4B,8BAA8B,CAAC;AACxE,eAAO,MAAM,wBAAwB,0BAA0B,CAAC;AAChE,eAAO,MAAM,oBAAoB,0BAA0B,CAAC;AAC5D,eAAO,MAAM,0BAA0B,yCAAyC,CAAC;AACjF,eAAO,MAAM,+BAA+B,6DACgB,CAAC;AAC7D,eAAO,MAAM,8BAA8B,sCAAsC,CAAC;AAClF,eAAO,MAAM,oCAAoC,qDACG,CAAC;AAErD;;;;;GAKG;AACH,qBAAa,UAAU;IACrB,OAAO,EAAG,MAAM,CAAC;IACjB,iBAAiB,EAAG,MAAM,CAAC;IAC3B,cAAc,EAAG,MAAM,CAAC;IACxB,YAAY,EAAG,MAAM,CAAC;IAEtB;;;;OAIG;IACH,UAAU,IAAI,MAAM;IAGpB;;;;OAIG;IACH,gBAAgB,IAAI,MAAM;IAI1B;;;;OAIG;IACH,eAAe,IAAI,MAAM;IAIzB;;;;OAIG;IACH,iBAAiB,IAAI,MAAM;CAG5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,GAAG,MAAM,GAAG,SAAS,KAAG,IAOhD,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,GACzB,OAAO,MAAM,GAAG,SAAS,EACzB,gBAAgB,MAAM,GAAG,SAAS,EAClC,oBAAoB,MAAM,GAAG,SAAS,EACtC,aAAa,MAAM,GAAG,SAAS,KAC9B,SAKD,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,EAAE,QAAQ,MAAM,KAAG,MAAM,EAQvE,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,yBAAyB,GAAI,KAAK,MAAM,EAAE,EAAE,MAAM,MAAM,KAAG,MAAM,EAc7E,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,GAAI,KAAK,MAAM,EAAE,KAAG,MAAM,EAE9D,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,IAAI,CAAC;IACV,KAAK,EAAE,IAAI,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf;AAED,eAMA,MAAM,eAAe,GAAI,GAAG,KAAK,GAAG,SAAS,KAAG,YAwB/C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GAAI,GAAG,OAAO,KAAG,MAAqB,CAAC;AAElE;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAUjD;AAED;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,MAAM,EAAE;QACN,EAAE,EAAE,EAAE,CAAC;QACP,KAAK,EAAE,IAAI,CAAC;KACb,EAAE,CAAC;IACJ,KAAK,EAAE;QACL,EAAE,EAAE,EAAE,CAAC;QACP,IAAI,EAAE,IAAI,CAAC;KACZ,EAAE,CAAC;CACL,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC;;;;OAIG;IACH,aAAa,IAAI,UAAU,CAAC;CAC7B"}

package/dist/types/circuits/comparer.d.ts

@@ -0,0 +1,122 @@
+/**
+ * Represents the XSD namespace and its corresponding data types.
+ */
+export declare enum XSDNS {
+    Boolean = "http://www.w3.org/2001/XMLSchema#boolean",
+    Integer = "http://www.w3.org/2001/XMLSchema#integer",
+    NonNegativeInteger = "http://www.w3.org/2001/XMLSchema#nonNegativeInteger",
+    NonPositiveInteger = "http://www.w3.org/2001/XMLSchema#nonPositiveInteger",
+    NegativeInteger = "http://www.w3.org/2001/XMLSchema#negativeInteger",
+    PositiveInteger = "http://www.w3.org/2001/XMLSchema#positiveInteger",
+    DateTime = "http://www.w3.org/2001/XMLSchema#dateTime",
+    Double = "http://www.w3.org/2001/XMLSchema#double",
+    String = "http://www.w3.org/2001/XMLSchema#string"
+}
+/**
+ * List of available operators.
+ *
+ * @enum {number}
+ */
+export declare enum Operators {
+    NOOP = 0,// No operation, skip query verification in circuit
+    EQ = 1,
+    LT = 2,
+    GT = 3,
+    IN = 4,
+    NIN = 5,
+    NE = 6,
+    LTE = 7,
+    GTE = 8,
+    BETWEEN = 9,
+    NONBETWEEN = 10,
+    EXISTS = 11,
+    SD = 16,
+    NULLIFY = 17
+}
+/** QueryOperators represents operators for atomic circuits */
+export declare const QueryOperators: {
+    $noop: Operators;
+    $eq: Operators;
+    $lt: Operators;
+    $gt: Operators;
+    $in: Operators;
+    $nin: Operators;
+    $ne: Operators;
+    $lte: Operators;
+    $gte: Operators;
+    $between: Operators;
+    $nonbetween: Operators;
+    $exists: Operators;
+    $sd: Operators;
+    $nullify: Operators;
+};
+export declare const getOperatorNameByValue: (operator: number) => string;
+export declare const availableTypesOperators: Map<string, Operators[]>;
+/**
+ * Checks if the given operation is valid for the specified datatype.
+ * @param datatype - The datatype to check the operation for.
+ * @param op - The operation to check.
+ * @returns True if the operation is valid, false otherwise.
+ */
+export declare const isValidOperation: (datatype: string, op: number) => boolean;
+export interface IComparer {
+    compare(int: number): boolean;
+}
+/**
+ * Scalar is used to compare two scalar value.
+ *
+ * @public
+ * @class Scalar
+ * @implements implements IComparer interface
+ */
+export declare class Scalar implements IComparer {
+    private x;
+    private y;
+    /**
+     * Creates an instance of Scalar.
+     * @param {bigint} x - val x
+     * @param {bigint} y - val y
+     */
+    constructor(x: bigint, y: bigint);
+    /**
+     * compares two  scalar values
+     *
+     * @param {Operators} operator - EQ / LT / GT
+     * @returns boolean
+     */
+    compare(operator: Operators): boolean;
+}
+/**
+ * Vector uses for find/not find x scalar type in y vector type.
+ *
+ * @public
+ * @class Vector
+ * @implements implements IComparer interface
+ */
+export declare class Vector implements IComparer {
+    private x;
+    private y;
+    /**
+     * Creates an instance of Vector.
+     * @param {bigint} x - val x
+     * @param {bigint[]} y - array values y
+     */
+    constructor(x: bigint, y: bigint[]);
+    /**
+     *
+     *
+     * @param {Operators} operator - IN / NIN
+     * @returns boolean
+     */
+    compare(operator: Operators): boolean;
+}
+/**
+ * FactoryComparer depends on input data will return right comparer.
+ *
+ * @param {bigint} x - val x
+ * @param {bigint[]} y - array of values y
+ * @param {Operators} operator - EQ / LT / GT / IN / NIN
+ * @returns IComparer
+ */
+export declare const factoryComparer: (x: bigint, y: bigint[], operator: Operators) => IComparer;
+//# sourceMappingURL=comparer.d.ts.map

package/dist/types/circuits/comparer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparer.d.ts","sourceRoot":"","sources":["../../../src/circuits/comparer.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,oBAAY,KAAK;IACf,OAAO,6CAA6C;IACpD,OAAO,6CAA6C;IACpD,kBAAkB,wDAAwD;IAC1E,kBAAkB,wDAAwD;IAC1E,eAAe,qDAAqD;IACpE,eAAe,qDAAqD;IACpE,QAAQ,8CAA8C;IACtD,MAAM,4CAA4C;IAClD,MAAM,4CAA4C;CACnD;AAED;;;;GAIG;AACH,oBAAY,SAAS;IACnB,IAAI,IAAI,CAAE,mDAAmD;IAC7D,EAAE,IAAI;IACN,EAAE,IAAI;IACN,EAAE,IAAI;IACN,EAAE,IAAI;IACN,GAAG,IAAI;IACP,EAAE,IAAI;IACN,GAAG,IAAI;IACP,GAAG,IAAI;IACP,OAAO,IAAI;IACX,UAAU,KAAK;IACf,MAAM,KAAK;IACX,EAAE,KAAK;IACP,OAAO,KAAK;CACb;AAED,8DAA8D;AAC9D,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;CAe1B,CAAC;AAEF,eAAO,MAAM,sBAAsB,GAAI,UAAU,MAAM,KAAG,MAGzD,CAAC;AAIF,eAAO,MAAM,uBAAuB,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CA+B3D,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,GAAI,UAAU,MAAM,EAAE,IAAI,MAAM,KAAG,OAa/D,CAAC;AAGF,MAAM,WAAW,SAAS;IACxB,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CAC/B;AAED;;;;;;GAMG;AACH,qBAAa,MAAO,YAAW,SAAS;IAM1B,OAAO,CAAC,CAAC;IAAU,OAAO,CAAC,CAAC;IALxC;;;;OAIG;gBACiB,CAAC,EAAE,MAAM,EAAU,CAAC,EAAE,MAAM;IAChD;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO;CActC;AAED;;;;;;GAMG;AACH,qBAAa,MAAO,YAAW,SAAS;IAM1B,OAAO,CAAC,CAAC;IAAU,OAAO,CAAC,CAAC;IALxC;;;;OAIG;gBACiB,CAAC,EAAE,MAAM,EAAU,CAAC,EAAE,MAAM,EAAE;IAClD;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO;CAoBtC;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GAAI,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,EAAE,UAAU,SAAS,KAAG,SAkB7E,CAAC"}

package/dist/types/circuits/index.d.ts

@@ -0,0 +1,13 @@
+export * from './common';
+export * from './models';
+export * from './comparer';
+export * from './atomic-query-mtp-v2';
+export * from './atomic-query-mtp-v2-on-chain';
+export * from './atomic-query-sig-v2';
+export * from './atomic-query-v3';
+export * from './atomic-query-v3-on-chain';
+export * from './atomic-query-sig-v2-on-chain';
+export * from './auth-v2';
+export * from './state-transition';
+export * from './linked-multi-query';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/circuits/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/circuits/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,YAAY,CAAC;AAC3B,cAAc,uBAAuB,CAAC;AACtC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,uBAAuB,CAAC;AACtC,cAAc,mBAAmB,CAAC;AAClC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,WAAW,CAAC;AAC1B,cAAc,oBAAoB,CAAC;AACnC,cAAc,sBAAsB,CAAC"}

package/dist/types/circuits/linked-multi-query.d.ts

@@ -0,0 +1,38 @@
+import { Claim } from '@mocanetwork/moca-iden3';
+import { BaseConfig } from './common';
+import { Query } from './models';
+/**
+ * LinkedMultiQuery circuit representation
+ * Inputs and public signals declaration, marshalling and parsing
+ *
+ * @beta
+ * @class LinkedMultiQueryInputs
+ */
+export declare class LinkedMultiQueryInputs extends BaseConfig {
+    static queryCount: number;
+    linkNonce: bigint;
+    claim: Claim;
+    query: Query[];
+    inputsMarshal(): Uint8Array;
+}
+/**
+ * public signals
+ *
+ * @beta
+ * @class LinkedMultiQueryPubSignals
+ */
+export declare class LinkedMultiQueryPubSignals {
+    linkID: bigint;
+    merklized: number;
+    operatorOutput: bigint[];
+    circuitQueryHash: bigint[];
+    /**
+     * PubSignalsUnmarshal unmarshal linkedMultiQuery10.circom public inputs to LinkedMultiQueryPubSignals
+     *
+     * @beta
+     * @param {Uint8Array} data
+     * @returns LinkedMultiQueryPubSignals
+     */
+    pubSignalsUnmarshal(data: Uint8Array): LinkedMultiQueryPubSignals;
+}
+//# sourceMappingURL=linked-multi-query.d.ts.map

package/dist/types/circuits/linked-multi-query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"linked-multi-query.d.ts","sourceRoot":"","sources":["../../../src/circuits/linked-multi-query.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAGhD,OAAO,EACL,UAAU,EAKX,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,KAAK,EAAc,MAAM,UAAU,CAAC;AAE7C;;;;;;GAMG;AACH,qBAAa,sBAAuB,SAAQ,UAAU;IACpD,MAAM,CAAC,UAAU,SAAM;IACvB,SAAS,EAAG,MAAM,CAAC;IACnB,KAAK,EAAG,KAAK,CAAC;IACd,KAAK,EAAG,KAAK,EAAE,CAAC;IAGhB,aAAa,IAAI,UAAU;CA6E5B;AAsBD;;;;;GAKG;AACH,qBAAa,0BAA0B;IACrC,MAAM,EAAG,MAAM,CAAC;IAChB,SAAS,EAAG,MAAM,CAAC;IACnB,cAAc,EAAG,MAAM,EAAE,CAAC;IAC1B,gBAAgB,EAAG,MAAM,EAAE,CAAC;IAE5B;;;;;;OAMG;IACH,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,0BAA0B;CAmClE"}