@0xpolygonid/js-sdk 1.0.0-beta.0

package/dist/cjs/circuits/atomic-query-sig-v2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomic-query-sig-v2.js","sourceRoot":"","sources":["../../../src/circuits/atomic-query-sig-v2.ts"],"names":[],"mappings":";;;AAAA,wDAAyD;AACzD,wDAAsD;AACtD,qCAA8E;AAE9E,qCAOkB;AAElB;;;;;;;;GAQG;AACH,MAAa,sBAAuB,SAAQ,mBAAU;IAgBpD;;;OAGG;IACH,QAAQ;QACN,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE;YACnB,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,cAAc,CAAC,CAAC;SAC9C;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE;YACjC,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,qBAAqB,CAAC,CAAC;SACrD;QAED,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,kBAAkB,CAAC,KAAK,EAAE;YACvD,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,yBAAyB,CAAC,CAAC;SACzD;QAED,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,qBAAqB,CAAC,KAAK,EAAE;YAC1D,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,+BAA+B,CAAC,CAAC;SAC/D;QAED,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE;YACxC,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,mBAAmB,CAAC,CAAC;SACnD;QAED,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE;YACtB,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,eAAe,CAAC,CAAC;SAC/C;IACH,CAAC;IAED;;;;OAIG;IACH,aAAa;QACX,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE;YACzB,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;SAClC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,IAAI,mBAAU,EAAE,CAAC;QAE7D,MAAM,CAAC,GAA2C;YAChD,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC1C,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE;YAC1C,wBAAwB,EAAE,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE;YAClE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YACjD,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE;YAC3C,+BAA+B,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU;iBAC1E,MAAM,EAAE;iBACR,QAAQ,EAAE;YACb,4BAA4B,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,cAAc;iBAC3E,MAAM,EAAE;iBACR,QAAQ,EAAE;YACb,8BAA8B,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,WAAW;iBAC1E,MAAM,EAAE;iBACR,QAAQ,EAAE;YACb,sBAAsB,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YACnF,oBAAoB,EAAE,IAAA,2BAAkB,EAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;YACzF,uBAAuB,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC7E,uBAAuB,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC7E,qBAAqB,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE;YACvE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,eAAe,EAAE,WAAW,EAAE;YACzE,kBAAkB,EAAE,IAAA,2BAAkB,EACpC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,kBAAkB,CAAC,KAAK,EAClD,IAAI,CAAC,UAAU,EAAE,CAClB;YACD,wBAAwB,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,kBAAkB,CAAC,SAAS,EAAE,UAAU;iBACzF,MAAM,EAAE;iBACR,QAAQ,EAAE;YACb,qBAAqB,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,kBAAkB,CAAC,SAAS,EAAE,cAAc;iBAC1F,MAAM,EAAE;iBACR,QAAQ,EAAE;YACb,uBAAuB,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,kBAAkB,CAAC,SAAS,EAAE,WAAW;iBACzF,MAAM,EAAE;iBACR,QAAQ,EAAE;YAEb,wBAAwB,EAAE,IAAA,2BAAkB,EAC1C,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,qBAAqB,CAAC,KAAK,EACrD,IAAI,CAAC,UAAU,EAAE,CAClB;YAED,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAEjE,YAAY,EAAE,IAAA,2BAAkB,EAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,4BAA4B,EAAE,CAAC;YACrF,cAAc,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE;YAC3C,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;YAC7B,SAAS,EAAE,IAAI,CAAC,gBAAgB;YAChC,mDAAmD;YAEnD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS;SAChC,CAAC;QAEF,IAAI,IAAI,CAAC,wBAAwB,EAAE;YACjC,CAAC,CAAC,mBAAmB,GAAG,CAAC,CAAC;SAC3B;aAAM;YACL,CAAC,CAAC,mBAAmB,GAAG,CAAC,CAAC;SAC3B;QACD,MAAM,aAAa,GAAG,IAAA,wBAAe,EAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACpE,CAAC,CAAC,yBAAyB,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QACpE,CAAC,CAAC,yBAAyB,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QACtE,CAAC,CAAC,yBAAyB,GAAG,aAAa,CAAC,KAAK,CAAC;QAElD,MAAM,uBAAuB,GAAG,IAAA,wBAAe,EAC7C,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,qBAAqB,CAAC,KAAK,CACtD,CAAC;QACF,CAAC,CAAC,6BAA6B,GAAG,uBAAuB,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QAClF,CAAC,CAAC,6BAA6B,GAAG,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QACpF,CAAC,CAAC,6BAA6B,GAAG,uBAAuB,CAAC,KAAK,CAAC;QAEhE,CAAC,CAAC,kBAAkB,GAAG,IAAA,uBAAc,EAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChE,MAAM,YAAY,GAAG,IAAA,wBAAe,EAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACrD,CAAC,CAAC,iBAAiB,GAAG,YAAY,CAAC,KAAK,CAAC;QACzC,CAAC,CAAC,iBAAiB,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC3D,CAAC,CAAC,iBAAiB,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QAE7D,CAAC,CAAC,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAE5C,IAAI,IAAI,CAAC,wBAAwB,EAAE;YACjC,CAAC,CAAC,mBAAmB,GAAG,CAAC,CAAC;SAC3B;aAAM;YACL,CAAC,CAAC,mBAAmB,GAAG,CAAC,CAAC;SAC3B;QAED,MAAM,MAAM,GAAG,IAAA,kCAAyB,EAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;QACpF,CAAC,CAAC,KAAK,GAAG,IAAA,iCAAwB,EAAC,MAAM,CAAC,CAAC;QAE3C,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;CACF;AAnJD,wDAmJC;AA4CD;;;;;;;GAOG;AACH,MAAa,0BAA2B,SAAQ,mBAAU;IAA1D;;QASE,UAAK,GAAa,EAAE,CAAC;IA6GvB,CAAC;IApGC,EAAE;IACF;;;;;OAKG;IACH,mBAAmB,CAAC,IAAgB;QAClC,kBAAkB;QAClB,YAAY;QACZ,SAAS;QACT,kBAAkB;QAClB,YAAY;QACZ,WAAW;QACX,yBAAyB;QACzB,YAAY;QACZ,cAAc;QACd,qBAAqB;QACrB,eAAe;QACf,YAAY;QACZ,WAAW;QACX,QAAQ;QAER,gHAAgH;QAChH,+GAA+G;QAC/G,oBAAoB;QACpB,MAAM,WAAW,GAAG,EAAE,CAAC;QAEvB,MAAM,KAAK,GAAa,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAEnE,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,EAAE;YACzD,MAAM,IAAI,KAAK,CACb,4CAA4C,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,QAC9E,KAAK,CAAC,MACR,EAAE,CACH,CAAC;SACH;QAED,IAAI,QAAQ,GAAG,CAAC,CAAC;QAEjB,eAAe;QACf,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3C,QAAQ,EAAE,CAAC;QAEX,YAAY;QACZ,IAAI,CAAC,MAAM,GAAG,kBAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACrD,QAAQ,EAAE,CAAC;QAEX,oBAAoB;QACpB,IAAI,CAAC,eAAe,GAAG,IAAA,iCAAiB,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1D,QAAQ,EAAE,CAAC;QAEX,cAAc;QACd,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzC,QAAQ,EAAE,CAAC;QAEX,aAAa;QACb,IAAI,CAAC,QAAQ,GAAG,kBAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvD,QAAQ,EAAE,CAAC;QAEX,wBAAwB;QACxB,IAAI,CAAC,mBAAmB,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrD,QAAQ,EAAE,CAAC;QAEX,2BAA2B;QAC3B,IAAI,CAAC,sBAAsB,GAAG,IAAA,iCAAiB,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjE,QAAQ,EAAE,CAAC;QAEX,eAAe;QACf,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3C,QAAQ,EAAE,CAAC;QAEX,iBAAiB;QACjB,IAAI,CAAC,WAAW,GAAG,0BAAU,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5E,QAAQ,EAAE,CAAC;QAEX,uBAAuB;QACvB,IAAI,CAAC,kBAAkB,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpD,QAAQ,EAAE,CAAC;QAEX,iBAAiB;QACjB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5C,QAAQ,EAAE,CAAC;QAEX,cAAc;QACd,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3C,QAAQ,EAAE,CAAC;QAEX,aAAa;QACb,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1C,QAAQ,EAAE,CAAC;QAEX,YAAY;QACZ,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,EAAE;YAC3D,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzC,QAAQ,EAAE,CAAC;SACZ;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAtHD,gEAsHC"}

package/dist/cjs/circuits/auth-v2.js

@@ -0,0 +1,99 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AuthV2PubSignals = exports.AuthV2Inputs = void 0;
+const js_merkletree_1 = require("@iden3/js-merkletree");
+const js_iden3_core_1 = require("@iden3/js-iden3-core");
+const models_1 = require("./models");
+const common_1 = require("./common");
+/**
+ * Auth v2 circuit representation
+ * Inputs and public signals declaration, marshalling and parsing
+ *
+ * @export
+ * @beta
+ * @class AuthV2Inputs
+ * @extends {BaseConfig}
+ */
+class AuthV2Inputs extends common_1.BaseConfig {
+    validate() {
+        if (!this.genesisID) {
+            throw new Error(models_1.CircuitError.EmptyId);
+        }
+        if (!this.authClaimIncMtp) {
+            throw new Error(models_1.CircuitError.EmptyAuthClaimProof);
+        }
+        if (!this.authClaimNonRevMtp) {
+            throw new Error(models_1.CircuitError.EmptyAuthClaimNonRevProof);
+        }
+        if (!this.gistProof?.proof) {
+            throw new Error(models_1.CircuitError.EmptyGlobalProof);
+        }
+        if (!this.signature) {
+            throw new Error(models_1.CircuitError.EmptyChallengeSignature);
+        }
+        if (!this.challenge) {
+            throw new Error(models_1.CircuitError.EmptyChallenge);
+        }
+    }
+    // InputsMarshal returns Circom private inputs for auth.circom
+    inputsMarshal() {
+        this.validate();
+        const s = {
+            genesisID: this.genesisID?.bigInt().toString(),
+            profileNonce: this.profileNonce?.toString(),
+            authClaim: this.authClaim?.marshalJson(),
+            authClaimIncMtp: (0, common_1.prepareSiblingsStr)(this.authClaimIncMtp, this.getMTLevel()),
+            authClaimNonRevMtp: (0, common_1.prepareSiblingsStr)(this.authClaimNonRevMtp, this.getMTLevel()),
+            challenge: this.challenge?.toString(),
+            challengeSignatureR8x: this.signature?.R8[0].toString(),
+            challengeSignatureR8y: this.signature?.R8[1].toString(),
+            challengeSignatureS: this.signature?.S.toString(),
+            claimsTreeRoot: this.treeState?.claimsRoot.bigInt().toString(),
+            revTreeRoot: this.treeState?.revocationRoot.bigInt().toString(),
+            rootsTreeRoot: this.treeState?.rootOfRoots.bigInt().toString(),
+            state: this.treeState?.state.bigInt().toString(),
+            gistRoot: this.gistProof.root.bigInt().toString(),
+            gistMtp: (0, common_1.prepareSiblingsStr)(this.gistProof.proof, this.getMTLevelOnChain())
+        };
+        const nodeAuxAuth = (0, common_1.getNodeAuxValue)(this.authClaimNonRevMtp);
+        s.authClaimNonRevMtpAuxHi = nodeAuxAuth.key.bigInt().toString();
+        s.authClaimNonRevMtpAuxHv = nodeAuxAuth.value.bigInt().toString();
+        s.authClaimNonRevMtpNoAux = nodeAuxAuth.noAux;
+        const globalNodeAux = (0, common_1.getNodeAuxValue)(this.gistProof.proof);
+        s.gistMtpAuxHi = globalNodeAux.key.bigInt().toString();
+        s.gistMtpAuxHv = globalNodeAux.value.bigInt().toString();
+        s.gistMtpNoAux = globalNodeAux.noAux;
+        return new TextEncoder().encode(JSON.stringify(s));
+    }
+}
+exports.AuthV2Inputs = AuthV2Inputs;
+// AuthV2PubSignals auth.circom public signals
+/**
+ * public signals
+ *
+ * @export
+ * @beta
+ * @class AuthV2PubSignals
+ */
+class AuthV2PubSignals {
+    //
+    /**
+     * PubSignalsUnmarshal unmarshal auth.circom public inputs to AuthPubSignals
+     *
+     * @param {Uint8Array} data
+     * @returns AuthV2PubSignals
+     */
+    pubSignalsUnmarshal(data) {
+        const len = 3;
+        const sVals = JSON.parse(new TextDecoder().decode(data));
+        if (sVals.length !== len) {
+            throw new Error(`invalid number of Output values expected ${len} got ${sVals.length}`);
+        }
+        this.userID = js_iden3_core_1.Id.fromBigInt(BigInt(sVals[0]));
+        this.challenge = BigInt(sVals[1]);
+        this.GISTRoot = (0, js_merkletree_1.newHashFromString)(sVals[2]);
+        return this;
+    }
+}
+exports.AuthV2PubSignals = AuthV2PubSignals;
+//# sourceMappingURL=auth-v2.js.map

package/dist/cjs/circuits/auth-v2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"auth-v2.js","sourceRoot":"","sources":["../../../src/circuits/auth-v2.ts"],"names":[],"mappings":";;;AAAA,wDAAsE;AACtE,wDAAiD;AACjD,qCAA8D;AAC9D,qCAA2E;AAG3E;;;;;;;;GAQG;AACH,MAAa,YAAa,SAAQ,mBAAU;IAW1C,QAAQ;QACN,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE;YACnB,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,OAAO,CAAC,CAAC;SACvC;QAED,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE;YACzB,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,mBAAmB,CAAC,CAAC;SACnD;QAED,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE;YAC5B,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,yBAAyB,CAAC,CAAC;SACzD;QAED,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE;YAC1B,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,gBAAgB,CAAC,CAAC;SAChD;QAED,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE;YACnB,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,uBAAuB,CAAC,CAAC;SACvD;QAED,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE;YACnB,MAAM,IAAI,KAAK,CAAC,qBAAY,CAAC,cAAc,CAAC,CAAC;SAC9C;IACH,CAAC;IAED,8DAA8D;IAC9D,aAAa;QACX,IAAI,CAAC,QAAQ,EAAE,CAAC;QAEhB,MAAM,CAAC,GAAiC;YACtC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC9C,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,EAAE;YAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE;YACxC,eAAe,EAAE,IAAA,2BAAkB,EAAC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;YAC5E,kBAAkB,EAAE,IAAA,2BAAkB,EAAC,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;YAClF,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE;YACrC,qBAAqB,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;YACvD,qBAAqB,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;YACvD,mBAAmB,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,QAAQ,EAAE;YACjD,cAAc,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC9D,WAAW,EAAE,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC/D,aAAa,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC9D,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAChD,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YACjD,OAAO,EAAE,IAAA,2BAAkB,EAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC;SAC5E,CAAC;QAEF,MAAM,WAAW,GAAG,IAAA,wBAAe,EAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC7D,CAAC,CAAC,uBAAuB,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QAChE,CAAC,CAAC,uBAAuB,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QAClE,CAAC,CAAC,uBAAuB,GAAG,WAAW,CAAC,KAAK,CAAC;QAE9C,MAAM,aAAa,GAAG,IAAA,wBAAe,EAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5D,CAAC,CAAC,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QACvD,CAAC,CAAC,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;QACzD,CAAC,CAAC,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC;QAErC,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;CACF;AAvED,oCAuEC;AA0BD,8CAA8C;AAC9C;;;;;;GAMG;AACH,MAAa,gBAAgB;IAI3B,EAAE;IAEF;;;;;OAKG;IACH,mBAAmB,CAAC,IAAgB;QAClC,MAAM,GAAG,GAAG,CAAC,CAAC;QACd,MAAM,KAAK,GAAa,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAEnE,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG,EAAE;YACxB,MAAM,IAAI,KAAK,CAAC,4CAA4C,GAAG,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;SACxF;QAED,IAAI,CAAC,MAAM,GAAG,kBAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9C,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAElC,IAAI,CAAC,QAAQ,GAAG,IAAA,iCAAiB,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AA3BD,4CA2BC"}

package/dist/cjs/circuits/common.js

@@ -0,0 +1,193 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getProperties = exports.existenceToInt = exports.getNodeAuxValue = exports.bigIntArrayToStringArray = exports.prepareCircuitArrayValues = exports.prepareSiblingsStr = exports.buildTreeState = exports.strMTHex = exports.BaseConfig = exports.ErrorEmptyIssuerAuthClaimNonRevProof = exports.ErrorEmptyIssuerAuthClaimProof = exports.ErrorUserStateInRelayClaimProof = exports.ErrorEmptyClaimNonRevProof = exports.ErrorEmptyClaimProof = exports.ErrorEmptyClaimSignature = exports.ErrorEmptyChallengeSignature = exports.ErrorEmptyAuthClaimNonRevProof = exports.ErrorEmptyAuthClaimProof = exports.defaultMTLevelsClaimsMerklization = exports.defaultMTLevelsOnChain = exports.defaultValueArraySize = exports.defaultMTLevels = void 0;
+const js_crypto_1 = require("@iden3/js-crypto");
+const js_merkletree_1 = require("@iden3/js-merkletree");
+exports.defaultMTLevels = 40; // max MT levels, default value for identity circuits
+exports.defaultValueArraySize = 64; // max value array size, default value for identity circuits
+exports.defaultMTLevelsOnChain = 64; // max MT levels on chain, default value for identity circuits
+exports.defaultMTLevelsClaimsMerklization = 32; // max MT levels of JSON-LD merklization on claim
+exports.ErrorEmptyAuthClaimProof = 'empty auth claim mtp proof';
+exports.ErrorEmptyAuthClaimNonRevProof = 'empty auth claim non-revocation mtp proof';
+exports.ErrorEmptyChallengeSignature = 'empty challenge signature';
+exports.ErrorEmptyClaimSignature = 'empty claim signature';
+exports.ErrorEmptyClaimProof = 'empty claim mtp proof';
+exports.ErrorEmptyClaimNonRevProof = 'empty claim non-revocation mtp proof';
+exports.ErrorUserStateInRelayClaimProof = 'empty user state in relay claim non-revocation mtp proof';
+exports.ErrorEmptyIssuerAuthClaimProof = 'empty issuer auth claim mtp proof';
+exports.ErrorEmptyIssuerAuthClaimNonRevProof = 'empty issuer auth claim non-revocation mtp proof';
+/**
+ * base config for circuit inputs
+ *
+ * @export
+ * @beta
+ * @class BaseConfig
+ */
+class BaseConfig {
+    /**
+     *  getMTLevel max circuit MT levels
+     *
+     * @returns number
+     */
+    getMTLevel() {
+        return this.mtLevel ? this.mtLevel : exports.defaultMTLevels;
+    }
+    /**
+     *  getMTLevel max circuit MT levels
+     *
+     * @returns number
+     */
+    getMTLevelsClaimMerklization() {
+        return this.mtLevelClaimsMerklization
+            ? this.mtLevelClaimsMerklization
+            : exports.defaultMTLevelsClaimsMerklization;
+    }
+    /**
+     * GetValueArrSize return size of circuits value array size
+     *
+     * @returns number
+     */
+    getValueArrSize() {
+        return this.valueArraySize ? this.valueArraySize : exports.defaultValueArraySize;
+    }
+    /**
+     * getMTLevelOnChain return level on chain for given circuit
+     *
+     * @returns number
+     */
+    getMTLevelOnChain() {
+        return this.mtLevelOnChain ? this.mtLevelOnChain : exports.defaultMTLevelsOnChain;
+    }
+}
+exports.BaseConfig = BaseConfig;
+/**
+ * converts hex to Hash
+ *
+ * @param {(string | undefined)} s - string hex
+ * @returns Hash
+ */
+const strMTHex = (s) => {
+    if (!s) {
+        return js_merkletree_1.ZERO_HASH;
+    }
+    const h = new js_merkletree_1.Hash();
+    h.value = (0, js_merkletree_1.swapEndianness)(js_crypto_1.Hex.decodeString(s));
+    return h;
+};
+exports.strMTHex = strMTHex;
+/**
+ * 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
+ */
+const buildTreeState = (state, claimsTreeRoot, revocationTreeRoot, rootOfRoots) => ({
+    state: (0, exports.strMTHex)(state),
+    claimsRoot: (0, exports.strMTHex)(claimsTreeRoot),
+    revocationRoot: (0, exports.strMTHex)(revocationTreeRoot),
+    rootOfRoots: (0, exports.strMTHex)(rootOfRoots)
+});
+exports.buildTreeState = buildTreeState;
+/**
+ * siblings as string array
+ *
+ * @param {Proof} proof - proof with siblings
+ * @param {number} levels - levels number
+ * @returns string[]
+ */
+const prepareSiblingsStr = (proof, levels) => {
+    const siblings = Object.assign(new js_merkletree_1.Proof(), proof).allSiblings();
+    // Add the rest of empty levels to the siblings
+    for (let i = siblings.length; i < levels; i++) {
+        siblings.push(js_merkletree_1.ZERO_HASH);
+    }
+    return siblings.map((s) => s.bigInt().toString());
+};
+exports.prepareSiblingsStr = prepareSiblingsStr;
+/**
+ * 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[]
+ */
+const prepareCircuitArrayValues = (arr, size) => {
+    if (arr.length > size) {
+        throw new Error(`array size ${arr.length} is bigger max expected size ${size}`);
+    }
+    // Add the empty values
+    for (let i = arr.length; i < size; i++) {
+        arr.push(BigInt(0));
+    }
+    return arr;
+};
+exports.prepareCircuitArrayValues = prepareCircuitArrayValues;
+/**
+ * converts each big integer in array to string
+ *
+ * @param {bigint[]} arr -  array of big numbers
+ * @returns string[]
+ */
+const bigIntArrayToStringArray = (arr) => {
+    return arr.map((a) => a.toString());
+};
+exports.bigIntArrayToStringArray = bigIntArrayToStringArray;
+const getNodeAuxValue = (p) => {
+    // proof of inclusion
+    if (p?.existence) {
+        return {
+            key: js_merkletree_1.ZERO_HASH,
+            value: js_merkletree_1.ZERO_HASH,
+            noAux: '0'
+        };
+    }
+    // proof of non-inclusion (NodeAux exists)
+    if (p?.nodeAux?.value && p?.nodeAux?.key) {
+        return {
+            key: p.nodeAux.key,
+            value: p.nodeAux.value,
+            noAux: '0'
+        };
+    }
+    // proof of non-inclusion (NodeAux does not exist)
+    return {
+        key: js_merkletree_1.ZERO_HASH,
+        value: js_merkletree_1.ZERO_HASH,
+        noAux: '1'
+    };
+};
+exports.getNodeAuxValue = getNodeAuxValue;
+/**
+ * converts boolean existence param to integer
+ * if true - 1, else - 0
+ *
+ * @param {boolean} b - existence
+ * @returns number
+ */
+const existenceToInt = (b) => (b ? 0 : 1);
+exports.existenceToInt = existenceToInt;
+/**
+ * return object properties
+ *
+ * @export
+ * @param {object} obj
+ * @returns object
+ */
+function getProperties(obj) {
+    const result = {};
+    for (const property in obj) {
+        // eslint-disable-next-line no-prototype-builtins
+        if (obj.hasOwnProperty(property) && !property.startsWith('_')) {
+            result[property] = obj[property];
+        }
+    }
+    return result;
+}
+exports.getProperties = getProperties;
+//# sourceMappingURL=common.js.map

package/dist/cjs/circuits/common.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"common.js","sourceRoot":"","sources":["../../../src/circuits/common.ts"],"names":[],"mappings":";;;AAAA,gDAAuC;AACvC,wDAA8E;AAGjE,QAAA,eAAe,GAAG,EAAE,CAAC,CAAC,qDAAqD;AAC3E,QAAA,qBAAqB,GAAG,EAAE,CAAC,CAAC,4DAA4D;AACxF,QAAA,sBAAsB,GAAG,EAAE,CAAC,CAAC,8DAA8D;AAC3F,QAAA,iCAAiC,GAAG,EAAE,CAAC,CAAC,iDAAiD;AAEzF,QAAA,wBAAwB,GAAG,4BAA4B,CAAC;AACxD,QAAA,8BAA8B,GAAG,2CAA2C,CAAC;AAC7E,QAAA,4BAA4B,GAAG,2BAA2B,CAAC;AAC3D,QAAA,wBAAwB,GAAG,uBAAuB,CAAC;AACnD,QAAA,oBAAoB,GAAG,uBAAuB,CAAC;AAC/C,QAAA,0BAA0B,GAAG,sCAAsC,CAAC;AACpE,QAAA,+BAA+B,GAC1C,0DAA0D,CAAC;AAChD,QAAA,8BAA8B,GAAG,mCAAmC,CAAC;AACrE,QAAA,oCAAoC,GAC/C,kDAAkD,CAAC;AAErD;;;;;;GAMG;AACH,MAAa,UAAU;IAMrB;;;;OAIG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAe,CAAC;IACvD,CAAC;IACD;;;;OAIG;IACH,4BAA4B;QAC1B,OAAO,IAAI,CAAC,yBAAyB;YACnC,CAAC,CAAC,IAAI,CAAC,yBAAyB;YAChC,CAAC,CAAC,yCAAiC,CAAC;IACxC,CAAC;IAED;;;;OAIG;IACH,eAAe;QACb,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,6BAAqB,CAAC;IAC3E,CAAC;IAED;;;;OAIG;IACH,iBAAiB;QACf,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,8BAAsB,CAAC;IAC5E,CAAC;CACF;AA1CD,gCA0CC;AAED;;;;;GAKG;AACI,MAAM,QAAQ,GAAG,CAAC,CAAqB,EAAQ,EAAE;IACtD,IAAI,CAAC,CAAC,EAAE;QACN,OAAO,yBAAS,CAAC;KAClB;IACD,MAAM,CAAC,GAAG,IAAI,oBAAI,EAAE,CAAC;IACrB,CAAC,CAAC,KAAK,GAAG,IAAA,8BAAc,EAAC,eAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAPW,QAAA,QAAQ,YAOnB;AAEF;;;;;;;;GAQG;AACI,MAAM,cAAc,GAAG,CAC5B,KAAyB,EACzB,cAAkC,EAClC,kBAAsC,EACtC,WAA+B,EACpB,EAAE,CAAC,CAAC;IACf,KAAK,EAAE,IAAA,gBAAQ,EAAC,KAAK,CAAC;IACtB,UAAU,EAAE,IAAA,gBAAQ,EAAC,cAAc,CAAC;IACpC,cAAc,EAAE,IAAA,gBAAQ,EAAC,kBAAkB,CAAC;IAC5C,WAAW,EAAE,IAAA,gBAAQ,EAAC,WAAW,CAAC;CACnC,CAAC,CAAC;AAVU,QAAA,cAAc,kBAUxB;AAEH;;;;;;GAMG;AACI,MAAM,kBAAkB,GAAG,CAAC,KAAY,EAAE,MAAc,EAAY,EAAE;IAC3E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,qBAAK,EAAE,EAAE,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IACjE,+CAA+C;IAC/C,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE;QAC7C,QAAQ,CAAC,IAAI,CAAC,yBAAS,CAAC,CAAC;KAC1B;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;AACpD,CAAC,CAAC;AAPW,QAAA,kBAAkB,sBAO7B;AAEF;;;;;;;;;GASG;AACI,MAAM,yBAAyB,GAAG,CAAC,GAAa,EAAE,IAAY,EAAY,EAAE;IACjF,IAAI,GAAG,CAAC,MAAM,GAAG,IAAI,EAAE;QACrB,MAAM,IAAI,KAAK,CAAC,cAAc,GAAG,CAAC,MAAM,gCAAgC,IAAI,EAAE,CAAC,CAAC;KACjF;IAED,uBAAuB;IACvB,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE;QACtC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;KACrB;IAED,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAXW,QAAA,yBAAyB,6BAWpC;AAEF;;;;;GAKG;AACI,MAAM,wBAAwB,GAAG,CAAC,GAAa,EAAY,EAAE;IAClE,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;AACtC,CAAC,CAAC;AAFW,QAAA,wBAAwB,4BAEnC;AAqBF,MAAM,eAAe,GAAG,CAAC,CAAoB,EAAgB,EAAE;IAC7D,qBAAqB;IACrB,IAAI,CAAC,EAAE,SAAS,EAAE;QAChB,OAAO;YACL,GAAG,EAAE,yBAAS;YACd,KAAK,EAAE,yBAAS;YAChB,KAAK,EAAE,GAAG;SACX,CAAC;KACH;IAED,0CAA0C;IAC1C,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE;QACxC,OAAO;YACL,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG;YAClB,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;YACtB,KAAK,EAAE,GAAG;SACX,CAAC;KACH;IACD,kDAAkD;IAClD,OAAO;QACL,GAAG,EAAE,yBAAS;QACd,KAAK,EAAE,yBAAS;QAChB,KAAK,EAAE,GAAG;KACX,CAAC;AACJ,CAAC,CAAC;AAxBI,QAAA,eAAe,mBAwBnB;AAEF;;;;;;GAMG;AACI,MAAM,cAAc,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAArD,QAAA,cAAc,kBAAuC;AAElE;;;;;;GAMG;AACH,SAAgB,aAAa,CAAC,GAAW;IACvC,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,QAAQ,IAAI,GAAG,EAAE;QAC1B,iDAAiD;QACjD,IAAI,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE;YAC7D,MAAM,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;SAClC;KACF;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AATD,sCASC"}

package/dist/cjs/circuits/comparer.js

@@ -0,0 +1,132 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.factoryComparer = exports.Vector = exports.Scalar = exports.QueryOperators = exports.Operators = void 0;
+/**
+ * List of available operators.
+ *
+ * @export
+ * @enum {number}
+ */
+var Operators;
+(function (Operators) {
+    Operators[Operators["NOOP"] = 0] = "NOOP";
+    Operators[Operators["EQ"] = 1] = "EQ";
+    Operators[Operators["LT"] = 2] = "LT";
+    Operators[Operators["GT"] = 3] = "GT";
+    Operators[Operators["IN"] = 4] = "IN";
+    Operators[Operators["NIN"] = 5] = "NIN";
+    Operators[Operators["NE"] = 6] = "NE";
+})(Operators = exports.Operators || (exports.Operators = {}));
+/** QueryOperators represents operators for atomic circuits */
+exports.QueryOperators = {
+    $noop: Operators.NOOP,
+    $eq: Operators.EQ,
+    $lt: Operators.LT,
+    $gt: Operators.GT,
+    $in: Operators.IN,
+    $nin: Operators.NIN,
+    $ne: Operators.NE
+};
+/**
+ * Scalar is used to compare two scalar value.
+ *
+ * @export
+ * @beta
+ * @class Scalar
+ * @implements implements IComparer interface
+ */
+class Scalar {
+    /**
+     * Creates an instance of Scalar.
+     * @param {bigint} x - val x
+     * @param {bigint} y - val y
+     */
+    constructor(x, y) {
+        this.x = x;
+        this.y = y;
+    }
+    /**
+     * compares two  scalar values
+     *
+     * @param {Operators} operator - EQ / LT / GT
+     * @returns boolean
+     */
+    compare(operator) {
+        switch (operator) {
+            case Operators.EQ:
+                return this.x === this.y;
+            case Operators.LT:
+                return this.x < this.y;
+            case Operators.GT:
+                return this.x > this.y;
+            case Operators.NE:
+                return this.x !== this.y;
+            default:
+                throw new Error('unknown compare type for scalar');
+        }
+    }
+}
+exports.Scalar = Scalar;
+/**
+ * Vector uses for find/not find x scalar type in y vector type.
+ *
+ * @export
+ * @beta
+ * @class Vector
+ * @implements implements IComparer interface
+ */
+class Vector {
+    /**
+     * Creates an instance of Vector.
+     * @param {bigint} x - val x
+     * @param {bigint[]} y - array values y
+     */
+    constructor(x, y) {
+        this.x = x;
+        this.y = y;
+    }
+    /**
+     *
+     *
+     * @param {Operators} operator - IN / NIN
+     * @returns boolean
+     */
+    compare(operator) {
+        switch (operator) {
+            case Operators.IN:
+                return this.y.includes(this.x);
+            case Operators.NIN:
+                return !this.y.includes(this.x);
+            default:
+                throw new Error('unknown compare type for vector');
+        }
+    }
+}
+exports.Vector = Vector;
+/**
+ * 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
+ */
+const factoryComparer = (x, y, operator) => {
+    switch (operator) {
+        case Operators.EQ:
+        case Operators.LT:
+        case Operators.GT:
+        case Operators.NE:
+            if (y.length !== 1) {
+                throw new Error('currently we support only one value for scalar comparison');
+            }
+            return new Scalar(x, y[0]);
+        case Operators.IN:
+        case Operators.NIN:
+            return new Vector(x, y);
+        default:
+            throw new Error('unknown compare type');
+    }
+};
+exports.factoryComparer = factoryComparer;
+//# sourceMappingURL=comparer.js.map

package/dist/cjs/circuits/comparer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparer.js","sourceRoot":"","sources":["../../../src/circuits/comparer.ts"],"names":[],"mappings":";;;AAAA;;;;;GAKG;AACH,IAAY,SAQX;AARD,WAAY,SAAS;IACnB,yCAAQ,CAAA;IACR,qCAAM,CAAA;IACN,qCAAM,CAAA;IACN,qCAAM,CAAA;IACN,qCAAM,CAAA;IACN,uCAAO,CAAA;IACP,qCAAM,CAAA;AACR,CAAC,EARW,SAAS,GAAT,iBAAS,KAAT,iBAAS,QAQpB;AAED,8DAA8D;AACjD,QAAA,cAAc,GAAG;IAC5B,KAAK,EAAE,SAAS,CAAC,IAAI;IACrB,GAAG,EAAE,SAAS,CAAC,EAAE;IACjB,GAAG,EAAE,SAAS,CAAC,EAAE;IACjB,GAAG,EAAE,SAAS,CAAC,EAAE;IACjB,GAAG,EAAE,SAAS,CAAC,EAAE;IACjB,IAAI,EAAE,SAAS,CAAC,GAAG;IACnB,GAAG,EAAE,SAAS,CAAC,EAAE;CAClB,CAAC;AAOF;;;;;;;GAOG;AACH,MAAa,MAAM;IACjB;;;;OAIG;IACH,YAAoB,CAAS,EAAU,CAAS;QAA5B,MAAC,GAAD,CAAC,CAAQ;QAAU,MAAC,GAAD,CAAC,CAAQ;IAAG,CAAC;IACpD;;;;;OAKG;IACH,OAAO,CAAC,QAAmB;QACzB,QAAQ,QAAQ,EAAE;YAChB,KAAK,SAAS,CAAC,EAAE;gBACf,OAAO,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;YAC3B,KAAK,SAAS,CAAC,EAAE;gBACf,OAAO,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;YACzB,KAAK,SAAS,CAAC,EAAE;gBACf,OAAO,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;YACzB,KAAK,SAAS,CAAC,EAAE;gBACf,OAAO,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;YAC3B;gBACE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;SACtD;IACH,CAAC;CACF;AA3BD,wBA2BC;AAED;;;;;;;GAOG;AACH,MAAa,MAAM;IACjB;;;;OAIG;IACH,YAAoB,CAAS,EAAU,CAAW;QAA9B,MAAC,GAAD,CAAC,CAAQ;QAAU,MAAC,GAAD,CAAC,CAAU;IAAG,CAAC;IACtD;;;;;OAKG;IACH,OAAO,CAAC,QAAmB;QACzB,QAAQ,QAAQ,EAAE;YAChB,KAAK,SAAS,CAAC,EAAE;gBACf,OAAO,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjC,KAAK,SAAS,CAAC,GAAG;gBAChB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC;gBACE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;SACtD;IACH,CAAC;CACF;AAvBD,wBAuBC;AAED;;;;;;;GAOG;AACI,MAAM,eAAe,GAAG,CAAC,CAAS,EAAE,CAAW,EAAE,QAAmB,EAAa,EAAE;IACxF,QAAQ,QAAQ,EAAE;QAChB,KAAK,SAAS,CAAC,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,EAAE;YACf,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;gBAClB,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;aAC9E;YACD,OAAO,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,KAAK,SAAS,CAAC,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,GAAG;YAChB,OAAO,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B;YACE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;KAC3C;AACH,CAAC,CAAC;AAhBW,QAAA,eAAe,mBAgB1B"}

package/dist/cjs/circuits/index.js

@@ -0,0 +1,24 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./common"), exports);
+__exportStar(require("./models"), exports);
+__exportStar(require("./comparer"), exports);
+__exportStar(require("./atomic-query-mtp-v2"), exports);
+__exportStar(require("./atomic-query-sig-v2"), exports);
+__exportStar(require("./auth-v2"), exports);
+__exportStar(require("./state-transition"), exports);
+//# sourceMappingURL=index.js.map

package/dist/cjs/circuits/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/circuits/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,2CAAyB;AACzB,2CAAyB;AACzB,6CAA2B;AAC3B,wDAAsC;AACtC,wDAAsC;AACtC,4CAA0B;AAC1B,qDAAmC"}

package/dist/cjs/circuits/models.js

@@ -0,0 +1,110 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ValueProof = exports.CircuitError = exports.CircuitClaim = exports.CircuitId = exports.Query = void 0;
+const js_merkletree_1 = require("@iden3/js-merkletree");
+/**
+ * Query represents basic request to claim slot verification
+ *
+ * @export
+ * @beta
+ * @class Query
+ */
+class Query {
+    /**
+     * Validates Query instance
+     *
+     */
+    validate() {
+        if (this.values.some((v) => typeof v !== 'bigint'))
+            throw new Error(CircuitError.EmptyQueryValue);
+    }
+}
+exports.Query = Query;
+/**
+ * CircuitID is alias for circuit identifier
+ *
+ * @export
+ * @enum {number}
+ */
+var CircuitId;
+(function (CircuitId) {
+    // Auth is a type that must be used for authV2.circom
+    CircuitId["AuthV2"] = "authV2";
+    // StateTransition is a type that must be used for stateTransition.circom
+    CircuitId["StateTransition"] = "stateTransition";
+    // AtomicQueryMTPV2 is a type for credentialAtomicQueryMTPV2.circom
+    CircuitId["AtomicQueryMTPV2"] = "credentialAtomicQueryMTPV2";
+    // AtomicQuerySig is a type for credentialAttrQuerySig.circom
+    CircuitId["AtomicQuerySigV2"] = "credentialAtomicQuerySigV2";
+})(CircuitId = exports.CircuitId || (exports.CircuitId = {}));
+/**
+ * Claim structure for circuit inputs
+ *
+ * @export
+ * @beta
+ * @class CircuitClaim
+ */
+class CircuitClaim {
+}
+exports.CircuitClaim = CircuitClaim;
+/**
+ * List of errors of circuit inputs processing
+ *
+ * @export
+ * @enum {number}
+ */
+var CircuitError;
+(function (CircuitError) {
+    CircuitError["EmptyAuthClaimProof"] = "empty auth claim mtp proof";
+    CircuitError["EmptyAuthClaimProofInTheNewState"] = "empty auth claim mtp proof in the new state";
+    CircuitError["EmptyAuthClaimNonRevProof"] = "empty auth claim non-revocation mtp proof";
+    CircuitError["EmptyChallengeSignature"] = "empty challenge signature";
+    CircuitError["EmptyClaimSignature"] = "empty claim signature";
+    CircuitError["EmptyClaimProof"] = "empty claim mtp proof";
+    CircuitError["EmptyClaimNonRevProof"] = "empty claim non-revocation mtp proof";
+    CircuitError["EmptyIssuerAuthClaimProof"] = "empty issuer auth claim mtp proof";
+    CircuitError["EmptyIssuerAuthClaimNonRevProof"] = "empty issuer auth claim non-revocation mtp proof";
+    CircuitError["EmptyJsonLDQueryProof"] = "empty JSON-LD query mtp proof";
+    CircuitError["EmptyJsonLDQueryValue"] = "empty JSON-LD query value";
+    CircuitError["EmptyJsonLDQueryPath"] = "empty JSON-LD query path";
+    CircuitError["EmptyQueryValue"] = "empty query value";
+    CircuitError["EmptyJsonLDQueryValues"] = "empty JSON-LD query values";
+    CircuitError["EmptyId"] = "empty Id";
+    CircuitError["EmptyChallenge"] = "empty challenge";
+    CircuitError["EmptyGlobalProof"] = "empty global identity mtp proof";
+    CircuitError["EmptyRequestID"] = "empty request ID";
+})(CircuitError = exports.CircuitError || (exports.CircuitError = {}));
+/**
+ * ValueProof represents a Merkle Proof for a value stored as MT
+ *
+ * @export
+ * @beta
+ * @class ValueProof
+ */
+class ValueProof {
+    /**
+     * Creates an instance of ValueProof.
+     */
+    constructor() {
+        this.path = BigInt(0);
+        this.value = BigInt(0);
+        this.mtp = new js_merkletree_1.Proof();
+    }
+    /**
+     * validates instance of ValueProof
+     *
+     */
+    validate() {
+        if (!this.path) {
+            throw new Error(CircuitError.EmptyJsonLDQueryPath);
+        }
+        if (!this.value) {
+            throw new Error(CircuitError.EmptyJsonLDQueryValue);
+        }
+        if (!this.mtp) {
+            throw new Error(CircuitError.EmptyJsonLDQueryProof);
+        }
+    }
+}
+exports.ValueProof = ValueProof;
+//# sourceMappingURL=models.js.map

package/dist/cjs/circuits/models.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"models.js","sourceRoot":"","sources":["../../../src/circuits/models.ts"],"names":[],"mappings":";;;AAEA,wDAAmD;AA4BnD;;;;;;GAMG;AACH,MAAa,KAAK;IAMhB;;;OAGG;IACH,QAAQ;QACN,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC;IAClD,CAAC;CACF;AAdD,sBAcC;AAED;;;;;GAKG;AACH,IAAY,SASX;AATD,WAAY,SAAS;IACnB,qDAAqD;IACrD,8BAAiB,CAAA;IACjB,yEAAyE;IACzE,gDAAmC,CAAA;IACnC,mEAAmE;IACnE,4DAA+C,CAAA;IAC/C,6DAA6D;IAC7D,4DAA+C,CAAA;AACjD,CAAC,EATW,SAAS,GAAT,iBAAS,KAAT,iBAAS,QASpB;AAED;;;;;;GAMG;AACH,MAAa,YAAY;CAOxB;AAPD,oCAOC;AAmED;;;;;GAKG;AACH,IAAY,YAmBX;AAnBD,WAAY,YAAY;IACtB,kEAAkD,CAAA;IAClD,gGAAgF,CAAA;IAChF,uFAAuE,CAAA;IACvE,qEAAqD,CAAA;IACrD,6DAA6C,CAAA;IAC7C,yDAAyC,CAAA;IACzC,8EAA8D,CAAA;IAC9D,+EAA+D,CAAA;IAC/D,oGAAoF,CAAA;IACpF,uEAAuD,CAAA;IACvD,mEAAmD,CAAA;IACnD,iEAAiD,CAAA;IACjD,qDAAqC,CAAA;IACrC,qEAAqD,CAAA;IACrD,oCAAoB,CAAA;IACpB,kDAAkC,CAAA;IAClC,oEAAoD,CAAA;IACpD,mDAAmC,CAAA;AACrC,CAAC,EAnBW,YAAY,GAAZ,oBAAY,KAAZ,oBAAY,QAmBvB;AAED;;;;;;GAMG;AACH,MAAa,UAAU;IAKrB;;OAEG;IACH;QACE,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,GAAG,GAAG,IAAI,qBAAK,EAAE,CAAC;IACzB,CAAC;IAED;;;OAGG;IACH,QAAQ;QACN,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YACd,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC;SACpD;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE;YACf,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,qBAAqB,CAAC,CAAC;SACrD;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;YACb,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,qBAAqB,CAAC,CAAC;SACrD;IACH,CAAC;CACF;AA7BD,gCA6BC"}