@0xpolygonid/js-sdk 1.5.1 → 1.6.0

package/dist/node/esm/circuits/atomic-query-v3-on-chain.js

@@ -0,0 +1,315 @@
+import { Claim, Id } from '@iden3/js-iden3-core';
+import { BaseConfig, bigIntArrayToStringArray, prepareSiblingsStr, existenceToInt, getNodeAuxValue, prepareCircuitArrayValues } from './common';
+import { CircuitError, ValueProof } from './models';
+import { Hash, Proof, ZERO_HASH } from '@iden3/js-merkletree';
+import { byteDecoder, byteEncoder } from '../utils';
+import { ProofType } from '../verifiable';
+const zero = '0';
+/**
+ * AtomicQueryV3OnChainInputs ZK private inputs for credentialAtomicQueryV3OnChain.circom
+ *
+ * @beta
+ * @class AtomicQueryV3OnChainInputs
+ * @extends {BaseConfig}
+ */
+export class AtomicQueryV3OnChainInputs extends BaseConfig {
+    validate() {
+        if (!this.requestID) {
+            throw new Error(CircuitError.EmptyRequestID);
+        }
+        if (!this.claim.nonRevProof.proof) {
+            throw new Error(CircuitError.EmptyClaimNonRevProof);
+        }
+        if (!this.query.values) {
+            throw new Error(CircuitError.EmptyQueryValue);
+        }
+        if (!this.proofType) {
+            throw new Error(CircuitError.InvalidProofType);
+        }
+        if (!this.challenge) {
+            throw new Error(CircuitError.EmptyChallenge);
+        }
+        if (this.authEnabled === 1) {
+            if (!this.authClaimIncMtp) {
+                throw new Error(CircuitError.EmptyAuthClaimProof);
+            }
+            if (!this.authClaimNonRevMtp) {
+                throw new Error(CircuitError.EmptyAuthClaimNonRevProof);
+            }
+            if (!this.signature) {
+                throw new Error(CircuitError.EmptyChallengeSignature);
+            }
+            if (!this.gistProof.proof) {
+                throw new Error(CircuitError.EmptyGISTProof);
+            }
+        }
+        if (this.proofType === ProofType.BJJSignature) {
+            if (!this.claim.signatureProof?.issuerAuthIncProof.proof) {
+                throw new Error(CircuitError.EmptyIssuerAuthClaimProof);
+            }
+            if (!this.claim.signatureProof.issuerAuthNonRevProof.proof) {
+                throw new Error(CircuitError.EmptyIssuerAuthClaimNonRevProof);
+            }
+            if (!this.claim.signatureProof.signature) {
+                throw new Error(CircuitError.EmptyClaimSignature);
+            }
+        }
+        if (this.proofType === ProofType.Iden3SparseMerkleTreeProof) {
+            if (!this.claim?.incProof?.proof) {
+                throw new Error(CircuitError.EmptyClaimProof);
+            }
+        }
+    }
+    fillMTPProofsWithZero(s) {
+        s.issuerClaimMtp = prepareSiblingsStr(new Proof(), this.getMTLevel());
+        s.issuerClaimClaimsTreeRoot = ZERO_HASH.bigInt().toString();
+        s.issuerClaimRevTreeRoot = ZERO_HASH.bigInt().toString();
+        s.issuerClaimRootsTreeRoot = ZERO_HASH.bigInt().toString();
+        s.issuerClaimIdenState = ZERO_HASH.bigInt().toString();
+    }
+    fillSigProofWithZero(s) {
+        s.issuerClaimSignatureR8x = zero;
+        s.issuerClaimSignatureR8y = zero;
+        s.issuerClaimSignatureS = zero;
+        s.issuerAuthClaim = new Claim().marshalJson();
+        s.issuerAuthClaimMtp = prepareSiblingsStr(new Proof(), this.getMTLevel());
+        s.issuerAuthClaimsTreeRoot = zero;
+        s.issuerAuthRevTreeRoot = zero;
+        s.issuerAuthRootsTreeRoot = zero;
+        s.issuerAuthClaimNonRevMtp = prepareSiblingsStr(new Proof(), this.getMTLevel());
+        s.issuerAuthClaimNonRevMtpAuxHi = ZERO_HASH.bigInt().toString();
+        s.issuerAuthClaimNonRevMtpAuxHv = ZERO_HASH.bigInt().toString();
+        s.issuerAuthClaimNonRevMtpNoAux = zero;
+        s.issuerAuthState = zero;
+    }
+    fillAuthWithZero(s) {
+        s.authClaim = new Claim().marshalJson();
+        s.userClaimsTreeRoot = ZERO_HASH.bigInt().toString();
+        s.userRevTreeRoot = ZERO_HASH.bigInt().toString();
+        s.userRootsTreeRoot = ZERO_HASH.bigInt().toString();
+        s.userState = ZERO_HASH.bigInt().toString();
+        s.authClaimIncMtp = prepareSiblingsStr(new Proof(), this.getMTLevel());
+        s.authClaimNonRevMtp = prepareSiblingsStr(new Proof(), this.getMTLevel());
+        s.challengeSignatureR8x = zero;
+        s.challengeSignatureR8y = zero;
+        s.challengeSignatureS = zero;
+        s.gistRoot = ZERO_HASH.bigInt().toString();
+        s.gistMtp = prepareSiblingsStr(new Proof(), this.getMTLevelOnChain());
+        s.authClaimNonRevMtpAuxHi = ZERO_HASH.bigInt().toString();
+        s.authClaimNonRevMtpAuxHv = ZERO_HASH.bigInt().toString();
+        s.authClaimNonRevMtpNoAux = zero;
+        s.gistMtpAuxHi = ZERO_HASH.bigInt().toString();
+        s.gistMtpAuxHv = ZERO_HASH.bigInt().toString();
+        s.gistMtpNoAux = zero;
+    }
+    // InputsMarshal returns Circom private inputs for credentialAtomicQueryV3OnChain.circom
+    inputsMarshal() {
+        this.validate();
+        if (this.query.valueProof) {
+            this.query.validate();
+            this.query.valueProof.validate();
+        }
+        let valueProof = this.query.valueProof;
+        if (!valueProof) {
+            valueProof = new ValueProof();
+            valueProof.path = 0n;
+            valueProof.value = 0n;
+            valueProof.mtp = new Proof();
+        }
+        const treeState = this.claim.nonRevProof.treeState;
+        if (!treeState) {
+            throw new Error(CircuitError.EmptyTreeState);
+        }
+        const s = {
+            requestID: this.requestID.toString(),
+            userGenesisID: this.id.bigInt().toString(),
+            profileNonce: this.profileNonce.toString(),
+            claimSubjectProfileNonce: this.claimSubjectProfileNonce.toString(),
+            issuerID: this.claim.issuerID.bigInt().toString(),
+            issuerClaim: this.claim.claim.marshalJson(),
+            issuerClaimNonRevClaimsTreeRoot: treeState.claimsRoot.bigInt().toString(),
+            issuerClaimNonRevRevTreeRoot: treeState.revocationRoot.bigInt().toString(),
+            issuerClaimNonRevRootsTreeRoot: treeState.rootOfRoots.bigInt().toString(),
+            issuerClaimNonRevState: treeState.state.bigInt().toString(),
+            issuerClaimNonRevMtp: prepareSiblingsStr(this.claim.nonRevProof.proof, this.getMTLevel()),
+            claimSchema: this.claim.claim.getSchemaHash().bigInt().toString(),
+            claimPathMtp: prepareSiblingsStr(valueProof.mtp, this.getMTLevelsClaim()),
+            claimPathValue: valueProof.value.toString(),
+            operator: this.query.operator,
+            timestamp: this.currentTimeStamp,
+            // value in this path in merklized json-ld document
+            slotIndex: this.query.slotIndex,
+            isRevocationChecked: 1
+        };
+        s.challenge = this.challenge?.toString();
+        if (this.authEnabled === 1) {
+            s.authClaim = this.authClaim?.marshalJson();
+            s.userClaimsTreeRoot = this.treeState.claimsRoot?.bigInt().toString();
+            s.userRevTreeRoot = this.treeState.revocationRoot?.bigInt().toString();
+            s.userRootsTreeRoot = this.treeState.rootOfRoots?.bigInt().toString();
+            s.userState = this.treeState.state?.bigInt().toString();
+            s.authClaimIncMtp = prepareSiblingsStr(this.authClaimIncMtp, this.getMTLevel());
+            s.authClaimNonRevMtp = prepareSiblingsStr(this.authClaimNonRevMtp, this.getMTLevel());
+            s.challengeSignatureR8x = this.signature.R8[0].toString();
+            s.challengeSignatureR8y = this.signature.R8[1].toString();
+            s.challengeSignatureS = this.signature.S.toString();
+            s.gistMtp =
+                this.gistProof && prepareSiblingsStr(this.gistProof.proof, this.getMTLevelOnChain());
+            const nodeAuxAuth = getNodeAuxValue(this.authClaimNonRevMtp);
+            s.authClaimNonRevMtpAuxHi = nodeAuxAuth.key.bigInt().toString();
+            s.authClaimNonRevMtpAuxHv = nodeAuxAuth.value.bigInt().toString();
+            s.authClaimNonRevMtpNoAux = nodeAuxAuth.noAux;
+            const globalNodeAux = getNodeAuxValue(this.gistProof.proof);
+            s.gistMtpAuxHi = globalNodeAux.key.bigInt().toString();
+            s.gistMtpAuxHv = globalNodeAux.value.bigInt().toString();
+            s.gistMtpNoAux = globalNodeAux.noAux;
+            s.gistRoot = this.gistProof.root.bigInt().toString();
+        }
+        else {
+            this.fillAuthWithZero(s);
+        }
+        if (this.skipClaimRevocationCheck) {
+            s.isRevocationChecked = 0;
+        }
+        if (this.proofType === ProofType.BJJSignature) {
+            s.proofType = '1';
+            s.issuerClaimSignatureR8x = this.claim.signatureProof?.signature.R8[0].toString();
+            s.issuerClaimSignatureR8y = this.claim.signatureProof?.signature.R8[1].toString();
+            s.issuerClaimSignatureS = this.claim.signatureProof?.signature.S.toString();
+            s.issuerAuthClaim = this.claim.signatureProof?.issuerAuthClaim?.marshalJson();
+            s.issuerAuthClaimMtp = prepareSiblingsStr(this.claim.signatureProof?.issuerAuthIncProof.proof, this.getMTLevel());
+            const issuerAuthTreeState = this.claim.nonRevProof.treeState;
+            if (!issuerAuthTreeState) {
+                throw new Error(CircuitError.EmptyTreeState);
+            }
+            s.issuerAuthClaimsTreeRoot = issuerAuthTreeState.claimsRoot.bigInt().toString();
+            s.issuerAuthRevTreeRoot = issuerAuthTreeState.revocationRoot.bigInt().toString();
+            s.issuerAuthRootsTreeRoot = issuerAuthTreeState.rootOfRoots.bigInt().toString();
+            s.issuerAuthClaimNonRevMtp = prepareSiblingsStr(this.claim.signatureProof?.issuerAuthNonRevProof.proof, this.getMTLevel());
+            const nodeAuxIssuerAuthNonRev = getNodeAuxValue(this.claim.signatureProof?.issuerAuthNonRevProof.proof);
+            s.issuerAuthClaimNonRevMtpAuxHi = nodeAuxIssuerAuthNonRev.key.bigInt().toString();
+            s.issuerAuthClaimNonRevMtpAuxHv = nodeAuxIssuerAuthNonRev.value.bigInt().toString();
+            s.issuerAuthClaimNonRevMtpNoAux = nodeAuxIssuerAuthNonRev.noAux;
+            s.issuerAuthState = this.claim.signatureProof?.issuerAuthIncProof.treeState?.state
+                .bigInt()
+                .toString();
+            this.fillMTPProofsWithZero(s);
+        }
+        else if (this.proofType === ProofType.Iden3SparseMerkleTreeProof) {
+            s.proofType = '2';
+            const incProofTreeState = this.claim.incProof?.treeState;
+            if (!incProofTreeState) {
+                throw new Error(CircuitError.EmptyTreeState);
+            }
+            s.issuerClaimMtp = prepareSiblingsStr(this.claim.incProof?.proof, this.getMTLevel());
+            s.issuerClaimClaimsTreeRoot = incProofTreeState.claimsRoot.bigInt().toString();
+            s.issuerClaimRevTreeRoot = incProofTreeState.revocationRoot.bigInt().toString();
+            s.issuerClaimRootsTreeRoot = incProofTreeState.rootOfRoots.bigInt().toString();
+            s.issuerClaimIdenState = incProofTreeState.state.bigInt().toString();
+            this.fillSigProofWithZero(s);
+        }
+        const nodeAuxNonRev = getNodeAuxValue(this.claim.nonRevProof.proof);
+        s.issuerClaimNonRevMtpAuxHi = nodeAuxNonRev.key.bigInt().toString();
+        s.issuerClaimNonRevMtpAuxHv = nodeAuxNonRev.value.bigInt().toString();
+        s.issuerClaimNonRevMtpNoAux = nodeAuxNonRev.noAux;
+        s.claimPathNotExists = existenceToInt(valueProof.mtp.existence);
+        const nodAuxJSONLD = getNodeAuxValue(valueProof.mtp);
+        s.claimPathMtpNoAux = nodAuxJSONLD.noAux;
+        s.claimPathMtpAuxHi = nodAuxJSONLD.key.bigInt().toString();
+        s.claimPathMtpAuxHv = nodAuxJSONLD.value.bigInt().toString();
+        s.claimPathKey = valueProof.path.toString();
+        const values = prepareCircuitArrayValues(this.query.values, this.getValueArrSize());
+        s.value = bigIntArrayToStringArray(values);
+        s.linkNonce = this.linkNonce.toString();
+        s.verifierID = this.verifierID?.bigInt().toString() ?? '0';
+        s.nullifierSessionID = this.nullifierSessionID.toString();
+        s.authEnabled = this.authEnabled.toString();
+        return byteEncoder.encode(JSON.stringify(s));
+    }
+}
+/**
+ * @beta
+ * AtomicQueryV3OnChainPubSignals public inputs
+ */
+export class AtomicQueryV3OnChainPubSignals extends BaseConfig {
+    // PubSignalsUnmarshal unmarshal credentialAtomicQueryV3.circom public signals
+    pubSignalsUnmarshal(data) {
+        // expected order:
+        // merklized
+        // userID
+        // circuitQueryHash
+        // issuerState
+        // linkID
+        // nullifier
+        // operatorOutput
+        // proofType
+        // requestID
+        // challenge
+        // gistRoot
+        // issuerID
+        // isRevocationChecked
+        // issuerClaimNonRevState
+        // timestamp
+        // verifierID
+        // nullifierSessionID
+        // authEnabled
+        const sVals = JSON.parse(byteDecoder.decode(data));
+        let fieldIdx = 0;
+        // -- merklized
+        this.merklized = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        //  - userID
+        this.userID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
+        fieldIdx++;
+        // - circuitQueryHash
+        this.circuitQueryHash = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - issuerState
+        this.issuerState = Hash.fromString(sVals[fieldIdx]);
+        fieldIdx++;
+        // - linkID
+        this.linkID = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - nullifier
+        this.nullifier = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - operatorOutput
+        this.operatorOutput = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - proofType
+        this.proofType = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - requestID
+        this.requestID = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - challenge
+        this.challenge = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - gistRoot
+        this.gistRoot = Hash.fromString(sVals[fieldIdx]);
+        fieldIdx++;
+        // - issuerID
+        this.issuerID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
+        fieldIdx++;
+        // - isRevocationChecked
+        this.isRevocationChecked = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - issuerClaimNonRevState
+        this.issuerClaimNonRevState = Hash.fromString(sVals[fieldIdx]);
+        fieldIdx++;
+        //  - timestamp
+        this.timestamp = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - verifierID
+        if (sVals[fieldIdx] !== '0') {
+            this.verifierID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
+        }
+        fieldIdx++;
+        // - nullifierSessionID
+        this.nullifierSessionID = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - authEnabled
+        this.authEnabled = parseInt(sVals[fieldIdx]);
+        return this;
+    }
+}

package/dist/node/esm/circuits/atomic-query-v3.js

@@ -0,0 +1,270 @@
+import { Claim, Id, SchemaHash } from '@iden3/js-iden3-core';
+import { BaseConfig, bigIntArrayToStringArray, prepareSiblingsStr, existenceToInt, getNodeAuxValue, prepareCircuitArrayValues } from './common';
+import { CircuitError, ValueProof } from './models';
+import { Hash, Proof, ZERO_HASH } from '@iden3/js-merkletree';
+import { byteDecoder, byteEncoder } from '../utils';
+import { ProofType } from '../verifiable';
+const zero = '0';
+/**
+ * AtomicQueryV3Inputs ZK private inputs for credentialAtomicQueryV3.circom
+ *
+ * @beta
+ * @class AtomicQueryV3Inputs
+ * @extends {BaseConfig}
+ */
+export class AtomicQueryV3Inputs extends BaseConfig {
+    validate() {
+        if (!this.requestID) {
+            throw new Error(CircuitError.EmptyRequestID);
+        }
+        if (!this.claim.nonRevProof.proof) {
+            throw new Error(CircuitError.EmptyClaimNonRevProof);
+        }
+        if (!this.query.values) {
+            throw new Error(CircuitError.EmptyQueryValue);
+        }
+        if (!this.proofType) {
+            throw new Error(CircuitError.InvalidProofType);
+        }
+        if (this.proofType === ProofType.BJJSignature) {
+            if (!this.claim.signatureProof?.issuerAuthIncProof.proof) {
+                throw new Error(CircuitError.EmptyIssuerAuthClaimProof);
+            }
+            if (!this.claim.signatureProof.issuerAuthNonRevProof.proof) {
+                throw new Error(CircuitError.EmptyIssuerAuthClaimNonRevProof);
+            }
+            if (!this.claim.signatureProof.signature) {
+                throw new Error(CircuitError.EmptyClaimSignature);
+            }
+        }
+        if (this.proofType === ProofType.Iden3SparseMerkleTreeProof) {
+            if (!this.claim?.incProof?.proof) {
+                throw new Error(CircuitError.EmptyClaimProof);
+            }
+        }
+    }
+    fillMTPProofsWithZero(s) {
+        s.issuerClaimMtp = prepareSiblingsStr(new Proof(), this.getMTLevel());
+        s.issuerClaimClaimsTreeRoot = ZERO_HASH.bigInt().toString();
+        s.issuerClaimRevTreeRoot = ZERO_HASH.bigInt().toString();
+        s.issuerClaimRootsTreeRoot = ZERO_HASH.bigInt().toString();
+        s.issuerClaimIdenState = ZERO_HASH.bigInt().toString();
+    }
+    fillSigProofWithZero(s) {
+        s.issuerClaimSignatureR8x = zero;
+        s.issuerClaimSignatureR8y = zero;
+        s.issuerClaimSignatureS = zero;
+        s.issuerAuthClaim = new Claim().marshalJson();
+        s.issuerAuthClaimMtp = prepareSiblingsStr(new Proof(), this.getMTLevel());
+        s.issuerAuthClaimsTreeRoot = zero;
+        s.issuerAuthRevTreeRoot = zero;
+        s.issuerAuthRootsTreeRoot = zero;
+        s.issuerAuthClaimNonRevMtp = prepareSiblingsStr(new Proof(), this.getMTLevel());
+        s.issuerAuthClaimNonRevMtpAuxHi = ZERO_HASH.bigInt().toString();
+        s.issuerAuthClaimNonRevMtpAuxHv = ZERO_HASH.bigInt().toString();
+        s.issuerAuthClaimNonRevMtpNoAux = zero;
+        s.issuerAuthState = zero;
+    }
+    // InputsMarshal returns Circom private inputs for credentialAtomicQueryV3.circom
+    inputsMarshal() {
+        this.validate();
+        if (this.query.valueProof) {
+            this.query.validate();
+            this.query.valueProof.validate();
+        }
+        let valueProof = this.query.valueProof;
+        if (!valueProof) {
+            valueProof = new ValueProof();
+            valueProof.path = 0n;
+            valueProof.value = 0n;
+            valueProof.mtp = new Proof();
+        }
+        let treeState = this.claim.nonRevProof.treeState;
+        if (this.proofType === ProofType.BJJSignature && this.skipClaimRevocationCheck) {
+            treeState = this.claim.signatureProof?.issuerAuthNonRevProof.treeState;
+        }
+        if (!treeState) {
+            throw new Error(CircuitError.EmptyTreeState);
+        }
+        const s = {
+            requestID: this.requestID.toString(),
+            userGenesisID: this.id.bigInt().toString(),
+            profileNonce: this.profileNonce.toString(),
+            claimSubjectProfileNonce: this.claimSubjectProfileNonce.toString(),
+            issuerID: this.claim.issuerID.bigInt().toString(),
+            issuerClaim: this.claim.claim.marshalJson(),
+            issuerClaimNonRevClaimsTreeRoot: treeState.claimsRoot.bigInt().toString(),
+            issuerClaimNonRevRevTreeRoot: treeState.revocationRoot.bigInt().toString(),
+            issuerClaimNonRevRootsTreeRoot: treeState.rootOfRoots.bigInt().toString(),
+            issuerClaimNonRevState: treeState.state.bigInt().toString(),
+            issuerClaimNonRevMtp: prepareSiblingsStr(this.claim.nonRevProof.proof, this.getMTLevel()),
+            claimSchema: this.claim.claim.getSchemaHash().bigInt().toString(),
+            claimPathMtp: prepareSiblingsStr(valueProof.mtp, this.getMTLevelsClaim()),
+            claimPathValue: valueProof.value.toString(),
+            operator: this.query.operator,
+            timestamp: this.currentTimeStamp,
+            // value in this path in merklized json-ld document
+            slotIndex: this.query.slotIndex,
+            isRevocationChecked: 1
+        };
+        if (this.skipClaimRevocationCheck) {
+            s.isRevocationChecked = 0;
+        }
+        if (this.proofType === ProofType.BJJSignature) {
+            s.proofType = '1';
+            s.issuerClaimSignatureR8x = this.claim.signatureProof?.signature.R8[0].toString();
+            s.issuerClaimSignatureR8y = this.claim.signatureProof?.signature.R8[1].toString();
+            s.issuerClaimSignatureS = this.claim.signatureProof?.signature.S.toString();
+            s.issuerAuthClaim = this.claim.signatureProof?.issuerAuthClaim?.marshalJson();
+            s.issuerAuthClaimMtp = prepareSiblingsStr(this.claim.signatureProof?.issuerAuthIncProof.proof, this.getMTLevel());
+            s.issuerAuthClaimsTreeRoot = treeState.claimsRoot.bigInt().toString();
+            s.issuerAuthRevTreeRoot = treeState.revocationRoot.bigInt().toString();
+            s.issuerAuthRootsTreeRoot = treeState.rootOfRoots.bigInt().toString();
+            s.issuerAuthClaimNonRevMtp = prepareSiblingsStr(this.claim.signatureProof?.issuerAuthNonRevProof.proof, this.getMTLevel());
+            const nodeAuxIssuerAuthNonRev = getNodeAuxValue(this.claim.signatureProof?.issuerAuthNonRevProof.proof);
+            s.issuerAuthClaimNonRevMtpAuxHi = nodeAuxIssuerAuthNonRev.key.bigInt().toString();
+            s.issuerAuthClaimNonRevMtpAuxHv = nodeAuxIssuerAuthNonRev.value.bigInt().toString();
+            s.issuerAuthClaimNonRevMtpNoAux = nodeAuxIssuerAuthNonRev.noAux;
+            s.issuerAuthState = this.claim.signatureProof?.issuerAuthIncProof.treeState?.state
+                .bigInt()
+                .toString();
+            this.fillMTPProofsWithZero(s);
+        }
+        else if (this.proofType === ProofType.Iden3SparseMerkleTreeProof) {
+            s.proofType = '2';
+            const incProofTreeState = this.claim.incProof?.treeState;
+            if (!incProofTreeState) {
+                throw new Error(CircuitError.EmptyTreeState);
+            }
+            s.issuerClaimMtp = prepareSiblingsStr(this.claim.incProof?.proof, this.getMTLevel());
+            s.issuerClaimClaimsTreeRoot = incProofTreeState.claimsRoot.bigInt().toString();
+            s.issuerClaimRevTreeRoot = incProofTreeState.revocationRoot.bigInt().toString();
+            s.issuerClaimRootsTreeRoot = incProofTreeState.rootOfRoots.bigInt().toString();
+            s.issuerClaimIdenState = incProofTreeState.state.bigInt().toString();
+            this.fillSigProofWithZero(s);
+        }
+        const nodeAuxNonRev = getNodeAuxValue(this.claim.nonRevProof.proof);
+        s.issuerClaimNonRevMtpAuxHi = nodeAuxNonRev.key.bigInt().toString();
+        s.issuerClaimNonRevMtpAuxHv = nodeAuxNonRev.value.bigInt().toString();
+        s.issuerClaimNonRevMtpNoAux = nodeAuxNonRev.noAux;
+        s.claimPathNotExists = existenceToInt(valueProof.mtp.existence);
+        const nodAuxJSONLD = getNodeAuxValue(valueProof.mtp);
+        s.claimPathMtpNoAux = nodAuxJSONLD.noAux;
+        s.claimPathMtpAuxHi = nodAuxJSONLD.key.bigInt().toString();
+        s.claimPathMtpAuxHv = nodAuxJSONLD.value.bigInt().toString();
+        s.claimPathKey = valueProof.path.toString();
+        const values = prepareCircuitArrayValues(this.query.values, this.getValueArrSize());
+        s.value = bigIntArrayToStringArray(values);
+        s.linkNonce = this.linkNonce.toString();
+        s.verifierID = this.verifierID?.bigInt().toString() ?? '0';
+        s.nullifierSessionID = this.nullifierSessionID.toString();
+        return byteEncoder.encode(JSON.stringify(s));
+    }
+}
+/**
+ * @beta
+ * AtomicQueryV3PubSignals public inputs
+ */
+export class AtomicQueryV3PubSignals extends BaseConfig {
+    constructor() {
+        super(...arguments);
+        this.value = [];
+    }
+    // PubSignalsUnmarshal unmarshal credentialAtomicQueryV3.circom public signals
+    pubSignalsUnmarshal(data) {
+        // expected order:
+        // merklized
+        // userID
+        // issuerState
+        // linkID
+        // nullifier
+        // operatorOutput
+        // proofType
+        // requestID
+        // issuerID
+        // isRevocationChecked
+        // issuerClaimNonRevState
+        // timestamp
+        // claimSchema
+        // claimPathNotExists
+        // claimPathKey
+        // slotIndex
+        // operator
+        // value
+        // verifierID
+        // nullifierSessionID
+        // 19 is a number of fields in AtomicQueryV3PubSignals before values, values is last element in the proof and
+        // it is length could be different base on the circuit configuration. The length could be modified by set value
+        // in ValueArraySize
+        const fieldLength = 19;
+        const sVals = JSON.parse(byteDecoder.decode(data));
+        if (sVals.length !== fieldLength + this.getValueArrSize()) {
+            throw new Error(`invalid number of Output values expected ${fieldLength + this.getValueArrSize()} got ${sVals.length}`);
+        }
+        let fieldIdx = 0;
+        // -- merklized
+        this.merklized = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        //  - userID
+        this.userID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
+        fieldIdx++;
+        // - issuerState
+        this.issuerState = Hash.fromString(sVals[fieldIdx]);
+        fieldIdx++;
+        // - linkID
+        this.linkID = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - nullifier
+        this.nullifier = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - operatorOutput
+        this.operatorOutput = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - proofType
+        this.proofType = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - requestID
+        this.requestID = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - issuerID
+        this.issuerID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
+        fieldIdx++;
+        // - isRevocationChecked
+        this.isRevocationChecked = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - issuerClaimNonRevState
+        this.issuerClaimNonRevState = Hash.fromString(sVals[fieldIdx]);
+        fieldIdx++;
+        //  - timestamp
+        this.timestamp = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        //  - claimSchema
+        this.claimSchema = SchemaHash.newSchemaHashFromInt(BigInt(sVals[fieldIdx]));
+        fieldIdx++;
+        // - ClaimPathNotExists
+        this.claimPathNotExists = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - ClaimPathKey
+        this.claimPathKey = BigInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - slotIndex
+        this.slotIndex = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        // - operator
+        this.operator = parseInt(sVals[fieldIdx]);
+        fieldIdx++;
+        //  - values
+        for (let index = 0; index < this.getValueArrSize(); index++) {
+            this.value.push(BigInt(sVals[fieldIdx]));
+            fieldIdx++;
+        }
+        // - verifierID
+        if (sVals[fieldIdx] !== '0') {
+            this.verifierID = Id.fromBigInt(BigInt(sVals[fieldIdx]));
+        }
+        fieldIdx++;
+        // - nullifierSessionID
+        this.nullifierSessionID = BigInt(sVals[fieldIdx]);
+        return this;
+    }
+}

package/dist/node/esm/circuits/common.js

@@ -3,7 +3,7 @@ import { Hash, ZERO_HASH, swapEndianness } from '@iden3/js-merkletree';
 export const defaultMTLevels = 40; // max MT levels, default value for identity circuits
 export const defaultValueArraySize = 64; // max value array size, default value for identity circuits
 export const defaultMTLevelsOnChain = 64; // max MT levels on chain, default value for identity circuits
-export const defaultMTLevelsClaimsMerklization = 32; // max MT levels of JSON-LD merklization on claim
+export const defaultMTLevelsClaim = 32; // max MT levels of JSON-LD merklization on claim
 export const ErrorEmptyAuthClaimProof = 'empty auth claim mtp proof';
 export const ErrorEmptyAuthClaimNonRevProof = 'empty auth claim non-revocation mtp proof';
 export const ErrorEmptyChallengeSignature = 'empty challenge signature';
@@ -29,14 +29,12 @@ export class BaseConfig {
         return this.mtLevel ? this.mtLevel : defaultMTLevels;
     }
     /**
-     *  getMTLevel max circuit MT levels
+     *  GetMTLevelsClaim max jsonld Claim levels
      *
      * @returns number
      */
-    getMTLevelsClaimMerklization() {
-        return this.mtLevelClaimsMerklization
-            ? this.mtLevelClaimsMerklization
-            : defaultMTLevelsClaimsMerklization;
+    getMTLevelsClaim() {
+        return this.mtLevelClaim ? this.mtLevelClaim : defaultMTLevelsClaim;
     }
     /**
      * GetValueArrSize return size of circuits value array size

package/dist/node/esm/circuits/comparer.js

@@ -1,3 +1,18 @@
+/**
+ * Represents the XSD namespace and its corresponding data types.
+ */
+export var XSDNS;
+(function (XSDNS) {
+    XSDNS["Boolean"] = "http://www.w3.org/2001/XMLSchema#boolean";
+    XSDNS["Integer"] = "http://www.w3.org/2001/XMLSchema#integer";
+    XSDNS["NonNegativeInteger"] = "http://www.w3.org/2001/XMLSchema#nonNegativeInteger";
+    XSDNS["NonPositiveInteger"] = "http://www.w3.org/2001/XMLSchema#nonPositiveInteger";
+    XSDNS["NegativeInteger"] = "http://www.w3.org/2001/XMLSchema#negativeInteger";
+    XSDNS["PositiveInteger"] = "http://www.w3.org/2001/XMLSchema#positiveInteger";
+    XSDNS["DateTime"] = "http://www.w3.org/2001/XMLSchema#dateTime";
+    XSDNS["Double"] = "http://www.w3.org/2001/XMLSchema#double";
+    XSDNS["String"] = "http://www.w3.org/2001/XMLSchema#string";
+})(XSDNS || (XSDNS = {}));
 /**
  * List of available operators.
  *
@@ -12,6 +27,11 @@ export var Operators;
     Operators[Operators["IN"] = 4] = "IN";
     Operators[Operators["NIN"] = 5] = "NIN";
     Operators[Operators["NE"] = 6] = "NE";
+    Operators[Operators["LTE"] = 7] = "LTE";
+    Operators[Operators["GTE"] = 8] = "GTE";
+    Operators[Operators["BETWEEN"] = 9] = "BETWEEN";
+    Operators[Operators["SD"] = 16] = "SD";
+    Operators[Operators["NULLIFY"] = 17] = "NULLIFY";
 })(Operators || (Operators = {}));
 /** QueryOperators represents operators for atomic circuits */
 export const QueryOperators = {
@@ -21,7 +41,41 @@ export const QueryOperators = {
     $gt: Operators.GT,
     $in: Operators.IN,
     $nin: Operators.NIN,
-    $ne: Operators.NE
+    $ne: Operators.NE,
+    $lte: Operators.LTE,
+    $gte: Operators.GTE,
+    $between: Operators.BETWEEN,
+    $sd: Operators.SD,
+    $nullify: Operators.NULLIFY
+};
+const allOperations = Object.values(QueryOperators);
+export const availableTypesOperators = new Map([
+    [XSDNS.Boolean, [QueryOperators.$eq, QueryOperators.$ne]],
+    [XSDNS.Integer, allOperations],
+    [XSDNS.NonNegativeInteger, allOperations],
+    [XSDNS.PositiveInteger, allOperations],
+    [XSDNS.Double, [QueryOperators.$eq, QueryOperators.$ne, QueryOperators.$in, QueryOperators.$nin]],
+    [XSDNS.String, [QueryOperators.$eq, QueryOperators.$ne, QueryOperators.$in, QueryOperators.$nin]],
+    [XSDNS.DateTime, allOperations]
+]);
+/**
+ * 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 const isValidOperation = (datatype, op) => {
+    if (op === Operators.NOOP) {
+        return true;
+    }
+    if (!availableTypesOperators.has(datatype)) {
+        return false;
+    }
+    const ops = availableTypesOperators.get(datatype);
+    if (!ops) {
+        return false;
+    }
+    return ops.includes(op);
 };
 /**
  * Scalar is used to compare two scalar value.