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

package/dist/esm/proof/proof-service.js

@@ -0,0 +1,339 @@
+import { newHashFromString } from '@iden3/js-merkletree';
+import { ValueProof } from './../circuits/models';
+import { ProofType } from '../verifiable/constants';
+/* eslint-disable no-console */
+import { DID, getUnixTimestamp, Claim, MerklizedRootPosition, BytesHelper } from '@iden3/js-iden3-core';
+import { CircuitClaim, CircuitId, strMTHex, Query, AtomicQueryMTPV2Inputs, AtomicQuerySigV2Inputs, QueryOperators, StateTransitionInputs, AuthV2Inputs } from '../circuits';
+import { toClaimNonRevStatus, toGISTProof } from './common';
+import { NativeProver } from './prover';
+import { Hex, Poseidon, Signature } from '@iden3/js-crypto';
+import { UniversalSchemaLoader } from '../loaders';
+import { Parser } from '../schema-processor';
+import { Path } from '@iden3/js-jsonld-merklization';
+/**
+ * Proof service is an implementation of IProofService
+ * that works with a native groth16 prover
+ *
+ * @export
+ * @beta
+ * @class ProofService
+ * @implements implements IProofService interface
+ */
+export class ProofService {
+    /**
+     * Creates an instance of ProofService.
+     * @param {IIdentityWallet} _identityWallet - identity wallet
+     * @param {ICredentialWallet} _credentialWallet - credential wallet
+     * @param {ICircuitStorage} _circuitStorage - circuit storage to load proving / verification files
+     * @param {IStateStorage} _stateStorage - state storage to get GIST proof / publish state
+     */
+    constructor(_identityWallet, _credentialWallet, _circuitStorage, _stateStorage) {
+        this._identityWallet = _identityWallet;
+        this._credentialWallet = _credentialWallet;
+        this._circuitStorage = _circuitStorage;
+        this._stateStorage = _stateStorage;
+        this._prover = new NativeProver(_circuitStorage);
+    }
+    /** {@inheritdoc IProofService.verifyProof} */
+    async verifyProof(zkp, circuitId) {
+        return this._prover.verify(zkp, circuitId);
+    }
+    /** {@inheritdoc IProofService.generateProof} */
+    async generateProof(proofReq, identifier, credential, opts) {
+        if (!opts) {
+            opts = {
+                authProfileNonce: 0,
+                credentialSubjectProfileNonce: 0,
+                skipRevocation: false
+            };
+        }
+        const preparedCredential = await this.getPreparedCredential(credential);
+        const inputs = await this.generateInputs(preparedCredential, identifier, proofReq, opts);
+        const proof = await this._prover.generate(inputs, proofReq.circuitId);
+        return { proof, credential: preparedCredential.credential };
+    }
+    /** {@inheritdoc IProofService.transitState} */
+    async transitState(did, oldTreeState, isOldStateGenesis, stateStorage, ethSigner) {
+        const authInfo = await this.prepareAuthBJJCredential(did, oldTreeState);
+        const newTreeModel = await this._identityWallet.getDIDTreeModel(did);
+        const newTreeState = {
+            revocationRoot: newTreeModel.revocationTree.root,
+            claimsRoot: newTreeModel.claimsTree.root,
+            state: newTreeModel.state,
+            rootOfRoots: newTreeModel.rootsTree.root
+        };
+        const challenge = Poseidon.hash([oldTreeState.state.bigInt(), newTreeState.state.bigInt()]);
+        const signature = await this._identityWallet.signChallenge(challenge, authInfo.authCredential);
+        const circuitInputs = new StateTransitionInputs();
+        circuitInputs.id = did.id;
+        circuitInputs.signature = signature;
+        circuitInputs.isOldStateGenesis = isOldStateGenesis;
+        const authClaimIncProofNewState = await this._identityWallet.generateCredentialMtp(did, authInfo.authCredential, newTreeState);
+        circuitInputs.newTreeState = authClaimIncProofNewState.treeState;
+        circuitInputs.authClaimNewStateIncProof = authClaimIncProofNewState.proof;
+        circuitInputs.oldTreeState = oldTreeState;
+        circuitInputs.authClaim = {
+            claim: authInfo.authCoreClaim,
+            incProof: authInfo.incProof,
+            nonRevProof: authInfo.nonRevProof
+        };
+        const inputs = circuitInputs.inputsMarshal();
+        const proof = await this._prover.generate(inputs, CircuitId.StateTransition);
+        const txId = await stateStorage.publishState(proof, ethSigner);
+        return txId;
+    }
+    async getPreparedCredential(credential) {
+        const { cred: nonRevokedCred, revStatus } = await this._credentialWallet.findNonRevokedCredential([credential]);
+        const credCoreClaim = await this._identityWallet.getCoreClaimFromCredential(nonRevokedCred);
+        return { credential: nonRevokedCred, revStatus, credentialCoreClaim: credCoreClaim };
+    }
+    async prepareAuthBJJCredential(did, treeStateInfo) {
+        const authCredential = await this._credentialWallet.getAuthBJJCredential(did);
+        const incProof = await this._identityWallet.generateCredentialMtp(did, authCredential, treeStateInfo);
+        const nonRevProof = await this._identityWallet.generateNonRevocationMtp(did, authCredential, treeStateInfo);
+        const authCoreClaim = authCredential.getCoreClaimFromProof(ProofType.Iden3SparseMerkleTreeProof);
+        if (!authCoreClaim) {
+            throw new Error('auth core claim is not defined for auth bjj credential');
+        }
+        return { authCredential, incProof, nonRevProof, authCoreClaim };
+    }
+    async generateInputs(preparedCredential, identifier, proofReq, opts) {
+        let inputs;
+        if (proofReq.circuitId === CircuitId.AtomicQueryMTPV2) {
+            const circuitClaimData = await this.newCircuitClaimData(preparedCredential.credential, preparedCredential.credentialCoreClaim);
+            circuitClaimData.nonRevProof = {
+                treeState: {
+                    state: strMTHex(preparedCredential.revStatus.issuer.state),
+                    claimsRoot: strMTHex(preparedCredential.revStatus.issuer.claimsTreeRoot),
+                    revocationRoot: strMTHex(preparedCredential.revStatus.issuer.revocationTreeRoot),
+                    rootOfRoots: strMTHex(preparedCredential.revStatus.issuer.rootOfRoots)
+                },
+                proof: preparedCredential.revStatus.mtp
+            };
+            const circuitInputs = new AtomicQueryMTPV2Inputs();
+            circuitInputs.id = identifier.id;
+            circuitInputs.requestID = BigInt(proofReq.id);
+            circuitInputs.query = await this.toCircuitsQuery(proofReq.query, preparedCredential.credential, preparedCredential.credentialCoreClaim);
+            circuitInputs.claim = {
+                issuerID: circuitClaimData.issuerId,
+                claim: circuitClaimData.claim,
+                incProof: { proof: circuitClaimData.proof, treeState: circuitClaimData.treeState },
+                nonRevProof: circuitClaimData.nonRevProof
+            };
+            circuitInputs.currentTimeStamp = getUnixTimestamp(new Date());
+            circuitInputs.claimSubjectProfileNonce = BigInt(opts.credentialSubjectProfileNonce);
+            circuitInputs.profileNonce = BigInt(opts.authProfileNonce);
+            circuitInputs.skipClaimRevocationCheck = opts.skipRevocation;
+            inputs = circuitInputs.inputsMarshal();
+        }
+        else if (proofReq.circuitId === CircuitId.AtomicQuerySigV2) {
+            const circuitClaimData = await this.newCircuitClaimData(preparedCredential.credential, preparedCredential.credentialCoreClaim);
+            const issuerAuthClaimNonRevProof = toClaimNonRevStatus(preparedCredential.revStatus);
+            circuitClaimData.signatureProof.issuerAuthNonRevProof = issuerAuthClaimNonRevProof;
+            const circuitInputs = new AtomicQuerySigV2Inputs();
+            circuitInputs.id = identifier.id;
+            circuitInputs.claim = {
+                issuerID: circuitClaimData.issuerId,
+                signatureProof: circuitClaimData.signatureProof,
+                claim: circuitClaimData.claim,
+                nonRevProof: issuerAuthClaimNonRevProof
+            };
+            circuitInputs.requestID = BigInt(proofReq.id);
+            circuitInputs.claimSubjectProfileNonce = BigInt(opts.credentialSubjectProfileNonce);
+            circuitInputs.profileNonce = BigInt(opts.authProfileNonce);
+            circuitInputs.skipClaimRevocationCheck = opts.skipRevocation;
+            circuitInputs.query = await this.toCircuitsQuery(proofReq.query, preparedCredential.credential, preparedCredential.credentialCoreClaim);
+            circuitInputs.currentTimeStamp = getUnixTimestamp(new Date());
+            inputs = circuitInputs.inputsMarshal();
+        }
+        else {
+            throw new Error(`circuit with id ${proofReq.circuitId} is not supported by issuer`);
+        }
+        return inputs;
+    }
+    // NewCircuitClaimData generates circuits claim structure
+    async newCircuitClaimData(credential, coreClaim) {
+        const smtProof = credential.getIden3SparseMerkleTreeProof();
+        const circuitClaim = new CircuitClaim();
+        circuitClaim.claim = coreClaim;
+        circuitClaim.issuerId = DID.parse(credential.issuer).id;
+        if (smtProof) {
+            circuitClaim.proof = smtProof.mtp;
+            circuitClaim.treeState = {
+                state: strMTHex(smtProof.issuerData.state?.value),
+                claimsRoot: strMTHex(smtProof.issuerData.state?.claimsTreeRoot),
+                revocationRoot: strMTHex(smtProof.issuerData.state?.revocationTreeRoot),
+                rootOfRoots: strMTHex(smtProof.issuerData.state?.rootOfRoots)
+            };
+        }
+        const sigProof = credential.getBJJSignature2021Proof();
+        if (sigProof) {
+            const signature = await bJJSignatureFromHexString(sigProof.signature);
+            const rs = await this._credentialWallet.getRevocationStatus(sigProof.issuerData.credentialStatus, DID.parse(sigProof.issuerData.id), sigProof.issuerData);
+            //todo: check if this is correct
+            const issuerAuthNonRevProof = {
+                treeState: {
+                    state: strMTHex(rs.issuer.state),
+                    claimsRoot: strMTHex(rs.issuer.claimsTreeRoot),
+                    revocationRoot: strMTHex(rs.issuer.revocationTreeRoot),
+                    rootOfRoots: strMTHex(rs.issuer.rootOfRoots)
+                },
+                proof: rs.mtp
+            };
+            if (!sigProof.issuerData.mtp) {
+                throw new Error('issuer auth credential must have a mtp proof');
+            }
+            if (!sigProof.issuerData.authCoreClaim) {
+                throw new Error('issuer auth credential must have a core claim proof');
+            }
+            circuitClaim.signatureProof = {
+                signature,
+                issuerAuthIncProof: {
+                    proof: sigProof.issuerData.mtp,
+                    treeState: {
+                        state: strMTHex(sigProof.issuerData.state?.value),
+                        claimsRoot: strMTHex(sigProof.issuerData.state?.claimsTreeRoot),
+                        revocationRoot: strMTHex(sigProof.issuerData.state?.revocationTreeRoot),
+                        rootOfRoots: strMTHex(sigProof.issuerData.state?.rootOfRoots)
+                    }
+                },
+                issuerAuthClaim: new Claim().fromHex(sigProof.issuerData.authCoreClaim),
+                issuerAuthNonRevProof
+            };
+        }
+        return circuitClaim;
+    }
+    async toCircuitsQuery(query, credential, coreClaim) {
+        const mtPosition = coreClaim.getMerklizedPosition();
+        if (mtPosition === MerklizedRootPosition.None) {
+            return this.prepareNonMerklizedQuery(query, credential);
+        }
+        return this.prepareMerklizedQuery(query, credential, mtPosition);
+    }
+    async prepareMerklizedQuery(query, credential, merklizedPosition) {
+        const parsedQuery = await this.parseRequest(query.credentialSubject);
+        const loader = new UniversalSchemaLoader('ipfs.io');
+        const schema = await loader.load(credential['@context'][2]);
+        const path = await Path.getContextPathKey(new TextDecoder().decode(schema), credential.type[1], parsedQuery.fieldName);
+        path.prepend(['https://www.w3.org/2018/credentials#credentialSubject']);
+        const mk = await credential.merklize();
+        const { proof, value: mtValue } = await mk.proof(path);
+        const pathKey = await path.mtEntry();
+        parsedQuery.query.valueProof = new ValueProof();
+        parsedQuery.query.valueProof.mtp = proof;
+        parsedQuery.query.valueProof.path = pathKey;
+        parsedQuery.query.valueProof.mtp = proof;
+        parsedQuery.query.valueProof.value = BigInt(mtValue.value.toString());
+        if (merklizedPosition == MerklizedRootPosition.Index) {
+            parsedQuery.query.slotIndex = 2; // value data slot a
+        }
+        else {
+            parsedQuery.query.slotIndex = 5; // value data slot b
+        }
+        return parsedQuery.query;
+    }
+    async prepareNonMerklizedQuery(query, credential) {
+        const loader = new UniversalSchemaLoader('ipfs.io');
+        const schema = await loader.load(credential.credentialSchema.id);
+        if (query.credentialSubject && Object.keys(query.credentialSubject).length > 1) {
+            throw new Error('multiple requests are not supported');
+        }
+        const parsedQuery = await this.parseRequest(query.credentialSubject);
+        parsedQuery.query.slotIndex = new Parser().getFieldSlotIndex(parsedQuery.fieldName, schema);
+        return parsedQuery.query;
+    }
+    async parseRequest(req) {
+        if (!req) {
+            const query = new Query();
+            query.operator = QueryOperators.$noop;
+            return { query, fieldName: '' };
+        }
+        let fieldName = '';
+        let fieldReq = new Map();
+        if (Object.keys(req).length > 1) {
+            throw new Error(`multiple requests  not supported`);
+        }
+        for (const [key, value] of Object.entries(req)) {
+            fieldName = key;
+            fieldReq = value;
+            if (Object.keys(fieldReq).length > 1) {
+                throw new Error(`multiple predicates for one field not supported`);
+            }
+            break;
+        }
+        let operator = 0;
+        const values = new Array(64).fill(BigInt(0));
+        for (const [key, value] of Object.entries(fieldReq)) {
+            if (!QueryOperators[key]) {
+                throw new Error(`operator is not supported by lib`);
+            }
+            operator = QueryOperators[key];
+            if (Array.isArray(value)) {
+                for (let index = 0; index < value.length; index++) {
+                    values[index] = BigInt(value[index]);
+                }
+            }
+            else {
+                values[0] = BigInt(value);
+            }
+            break;
+        }
+        const query = new Query();
+        query.operator = operator;
+        query.values = values;
+        return { query, fieldName };
+    }
+    /** {@inheritdoc IProofService.generateAuthV2Inputs} */
+    async generateAuthV2Inputs(hash, did, profileNonce, circuitId) {
+        if (circuitId !== CircuitId.AuthV2) {
+            throw new Error('CircuitId is not supported');
+        }
+        // todo: check if bigint is correct
+        const challenge = BytesHelper.bytesToInt(hash.reverse());
+        const authPrepared = await this.prepareAuthBJJCredential(did);
+        const authClaimData = await this.newCircuitClaimData(authPrepared.authCredential, authPrepared.authCoreClaim);
+        const signature = await this._identityWallet.signChallenge(challenge, authPrepared.authCredential);
+        const id = did.id;
+        const stateProof = await this._stateStorage.getGISTProof(id.bigInt());
+        const gistProof = toGISTProof(stateProof);
+        const authInputs = new AuthV2Inputs();
+        authInputs.genesisID = id;
+        authInputs.profileNonce = BigInt(profileNonce);
+        authInputs.authClaim = authClaimData.claim;
+        authInputs.authClaimIncMtp = authClaimData.proof;
+        authInputs.authClaimNonRevMtp = authPrepared.nonRevProof.proof;
+        authInputs.treeState = authClaimData.treeState;
+        authInputs.signature = signature;
+        authInputs.challenge = challenge;
+        authInputs.gistProof = gistProof;
+        return authInputs.inputsMarshal();
+    }
+    async verifyState(circuitId, pubSignals) {
+        if (circuitId !== CircuitId.AuthV2) {
+            throw new Error(`CircuitId is not supported ${circuitId}`);
+        }
+        const gistRoot = newHashFromString(pubSignals[2]).bigInt();
+        const globalStateInfo = await this._stateStorage.getGISTRootInfo(gistRoot);
+        if (globalStateInfo.createdAtTimestamp === 0n) {
+            throw new Error(`gist state doesn't exists in contract`);
+        }
+        if (globalStateInfo.root !== gistRoot) {
+            throw new Error(`gist info contains invalid state`);
+        }
+        if (globalStateInfo.replacedByRoot !== 0n) {
+            if (globalStateInfo.replacedAtTimestamp === 0n) {
+                throw new Error(`state was replaced, but replaced time unknown`);
+            }
+            return false;
+        }
+        return true;
+    }
+}
+// BJJSignatureFromHexString converts hex to  babyjub.Signature
+export const bJJSignatureFromHexString = async (sigHex) => {
+    const signatureBytes = Hex.decodeString(sigHex);
+    const compressedSig = Uint8Array.from(signatureBytes).slice(0, 64);
+    const bjjSig = Signature.newFromCompressed(compressedSig);
+    return bjjSig;
+};
+//# sourceMappingURL=proof-service.js.map

package/dist/esm/proof/proof-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-service.js","sourceRoot":"","sources":["../../../src/proof/proof-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAsB,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEpD,+BAA+B;AAC/B,OAAO,EACL,GAAG,EACH,gBAAgB,EAChB,KAAK,EACL,qBAAqB,EACrB,WAAW,EACZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,KAAK,EACL,sBAAsB,EACtB,sBAAsB,EACtB,cAAc,EACd,qBAAqB,EACrB,YAAY,EACb,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAGxC,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAO5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAM7C,OAAO,EAAE,IAAI,EAAE,MAAM,+BAA+B,CAAC;AAiGrD;;;;;;;;GAQG;AACH,MAAM,OAAO,YAAY;IAEvB;;;;;;OAMG;IACH,YACmB,eAAgC,EAChC,iBAAoC,EACpC,eAAgC,EAChC,aAA4B;QAH5B,oBAAe,GAAf,eAAe,CAAiB;QAChC,sBAAiB,GAAjB,iBAAiB,CAAmB;QACpC,oBAAe,GAAf,eAAe,CAAiB;QAChC,kBAAa,GAAb,aAAa,CAAe;QAE7C,IAAI,CAAC,OAAO,GAAG,IAAI,YAAY,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC;IAED,8CAA8C;IAC9C,KAAK,CAAC,WAAW,CAAC,GAAY,EAAE,SAAoB;QAClD,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC7C,CAAC;IAED,gDAAgD;IAChD,KAAK,CAAC,aAAa,CACjB,QAAmC,EACnC,UAAe,EACf,UAAyB,EACzB,IAA6B;QAE7B,IAAI,CAAC,IAAI,EAAE;YACT,IAAI,GAAG;gBACL,gBAAgB,EAAE,CAAC;gBACnB,6BAA6B,EAAE,CAAC;gBAChC,cAAc,EAAE,KAAK;aACtB,CAAC;SACH;QACD,MAAM,kBAAkB,GAAuB,MAAM,IAAI,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC;QAE5F,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,kBAAkB,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAEzF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAsB,CAAC,CAAC;QACnF,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,kBAAkB,CAAC,UAAU,EAAE,CAAC;IAC9D,CAAC;IAED,+CAA+C;IAC/C,KAAK,CAAC,YAAY,CAChB,GAAQ,EACR,YAAuB,EACvB,iBAA0B,EAC1B,YAA2B,EAC3B,SAAiB;QAEjB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAExE,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAErE,MAAM,YAAY,GAAc;YAC9B,cAAc,EAAE,YAAY,CAAC,cAAc,CAAC,IAAI;YAChD,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,IAAI;YACxC,KAAK,EAAE,YAAY,CAAC,KAAK;YACzB,WAAW,EAAE,YAAY,CAAC,SAAS,CAAC,IAAI;SACzC,CAAC;QACF,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAE5F,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;QAE/F,MAAM,aAAa,GAAG,IAAI,qBAAqB,EAAE,CAAC;QAClD,aAAa,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;QAE1B,aAAa,CAAC,SAAS,GAAG,SAAS,CAAC;QACpC,aAAa,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;QAEpD,MAAM,yBAAyB,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,qBAAqB,CAChF,GAAG,EACH,QAAQ,CAAC,cAAc,EACvB,YAAY,CACb,CAAC;QAEF,aAAa,CAAC,YAAY,GAAG,yBAAyB,CAAC,SAAS,CAAC;QACjE,aAAa,CAAC,yBAAyB,GAAG,yBAAyB,CAAC,KAAK,CAAC;QAE1E,aAAa,CAAC,YAAY,GAAG,YAAY,CAAC;QAC1C,aAAa,CAAC,SAAS,GAAG;YACxB,KAAK,EAAE,QAAQ,CAAC,aAAa;YAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;SAClC,CAAC;QAEF,MAAM,MAAM,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC;QAE7C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC;QAE7E,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,KAAK,CAAC,qBAAqB,CAAC,UAAyB;QAC3D,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,GACvC,MAAM,IAAI,CAAC,iBAAiB,CAAC,wBAAwB,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAEtE,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,0BAA0B,CAAC,cAAc,CAAC,CAAC;QAE5F,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,mBAAmB,EAAE,aAAa,EAAE,CAAC;IACvF,CAAC;IAEO,KAAK,CAAC,wBAAwB,CACpC,GAAQ,EACR,aAAyB;QAEzB,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;QAE9E,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,qBAAqB,CAC/D,GAAG,EACH,cAAc,EACd,aAAa,CACd,CAAC;QAEF,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,wBAAwB,CACrE,GAAG,EACH,cAAc,EACd,aAAa,CACd,CAAC;QAEF,MAAM,aAAa,GAAG,cAAc,CAAC,qBAAqB,CACxD,SAAS,CAAC,0BAA0B,CACrC,CAAC;QACF,IAAI,CAAC,aAAa,EAAE;YAClB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;SAC3E;QAED,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;IAClE,CAAC;IAEO,KAAK,CAAC,cAAc,CAC1B,kBAAsC,EACtC,UAAe,EACf,QAAmC,EACnC,IAA4B;QAE5B,IAAI,MAAkB,CAAC;QACvB,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,gBAAgB,EAAE;YACrD,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,mBAAmB,CACrD,kBAAkB,CAAC,UAAU,EAC7B,kBAAkB,CAAC,mBAAmB,CACvC,CAAC;YAEF,gBAAgB,CAAC,WAAW,GAAG;gBAC7B,SAAS,EAAE;oBACT,KAAK,EAAE,QAAQ,CAAC,kBAAkB,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;oBAC1D,UAAU,EAAE,QAAQ,CAAC,kBAAkB,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC;oBACxE,cAAc,EAAE,QAAQ,CAAC,kBAAkB,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC;oBAChF,WAAW,EAAE,QAAQ,CAAC,kBAAkB,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC;iBACvE;gBACD,KAAK,EAAE,kBAAkB,CAAC,SAAS,CAAC,GAAG;aACxC,CAAC;YAEF,MAAM,aAAa,GAAG,IAAI,sBAAsB,EAAE,CAAC;YACnD,aAAa,CAAC,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC;YACjC,aAAa,CAAC,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC9C,aAAa,CAAC,KAAK,GAAG,MAAM,IAAI,CAAC,eAAe,CAC9C,QAAQ,CAAC,KAAK,EACd,kBAAkB,CAAC,UAAU,EAC7B,kBAAkB,CAAC,mBAAmB,CACvC,CAAC;YACF,aAAa,CAAC,KAAK,GAAG;gBACpB,QAAQ,EAAE,gBAAgB,CAAC,QAAQ;gBACnC,KAAK,EAAE,gBAAgB,CAAC,KAAK;gBAC7B,QAAQ,EAAE,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,CAAC,SAAS,EAAE;gBAClF,WAAW,EAAE,gBAAgB,CAAC,WAAW;aAC1C,CAAC;YACF,aAAa,CAAC,gBAAgB,GAAG,gBAAgB,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAC9D,aAAa,CAAC,wBAAwB,GAAG,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YACpF,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC3D,aAAa,CAAC,wBAAwB,GAAG,IAAI,CAAC,cAAc,CAAC;YAE7D,MAAM,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC;SACxC;aAAM,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,gBAAgB,EAAE;YAC5D,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,mBAAmB,CACrD,kBAAkB,CAAC,UAAU,EAC7B,kBAAkB,CAAC,mBAAmB,CACvC,CAAC;YAEF,MAAM,0BAA0B,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;YAErF,gBAAgB,CAAC,cAAc,CAAC,qBAAqB,GAAG,0BAA0B,CAAC;YAEnF,MAAM,aAAa,GAAG,IAAI,sBAAsB,EAAE,CAAC;YACnD,aAAa,CAAC,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC;YACjC,aAAa,CAAC,KAAK,GAAG;gBACpB,QAAQ,EAAE,gBAAgB,CAAC,QAAQ;gBACnC,cAAc,EAAE,gBAAgB,CAAC,cAAc;gBAC/C,KAAK,EAAE,gBAAgB,CAAC,KAAK;gBAC7B,WAAW,EAAE,0BAA0B;aACxC,CAAC;YACF,aAAa,CAAC,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC9C,aAAa,CAAC,wBAAwB,GAAG,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YACpF,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC3D,aAAa,CAAC,wBAAwB,GAAG,IAAI,CAAC,cAAc,CAAC;YAC7D,aAAa,CAAC,KAAK,GAAG,MAAM,IAAI,CAAC,eAAe,CAC9C,QAAQ,CAAC,KAAK,EACd,kBAAkB,CAAC,UAAU,EAC7B,kBAAkB,CAAC,mBAAmB,CACvC,CAAC;YACF,aAAa,CAAC,gBAAgB,GAAG,gBAAgB,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAC9D,MAAM,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC;SACxC;aAAM;YACL,MAAM,IAAI,KAAK,CAAC,mBAAmB,QAAQ,CAAC,SAAS,6BAA6B,CAAC,CAAC;SACrF;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,yDAAyD;IACjD,KAAK,CAAC,mBAAmB,CAC/B,UAAyB,EACzB,SAAgB;QAEhB,MAAM,QAAQ,GACZ,UAAU,CAAC,6BAA6B,EAAE,CAAC;QAE7C,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC;QACxC,YAAY,CAAC,KAAK,GAAG,SAAS,CAAC;QAC/B,YAAY,CAAC,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAExD,IAAI,QAAQ,EAAE;YACZ,YAAY,CAAC,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC;YAClC,YAAY,CAAC,SAAS,GAAG;gBACvB,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;gBACjD,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,CAAC;gBAC/D,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,kBAAkB,CAAC;gBACvE,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC;aAC9D,CAAC;SACH;QAED,MAAM,QAAQ,GAAG,UAAU,CAAC,wBAAwB,EAAE,CAAC;QAEvD,IAAI,QAAQ,EAAE;YACZ,MAAM,SAAS,GAAG,MAAM,yBAAyB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAEtE,MAAM,EAAE,GAAqB,MAAM,IAAI,CAAC,iBAAiB,CAAC,mBAAmB,CAC3E,QAAQ,CAAC,UAAU,CAAC,gBAAuC,EAC3D,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,EACjC,QAAQ,CAAC,UAAU,CACpB,CAAC;YACF,gCAAgC;YAChC,MAAM,qBAAqB,GAAY;gBACrC,SAAS,EAAE;oBACT,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;oBAChC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC;oBAC9C,cAAc,EAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC;oBACtD,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC;iBAC7C;gBACD,KAAK,EAAE,EAAE,CAAC,GAAG;aACd,CAAC;YACF,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE;gBAC5B,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;aACjE;YACD,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,EAAE;gBACtC,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;aACxE;YAED,YAAY,CAAC,cAAc,GAAG;gBAC5B,SAAS;gBACT,kBAAkB,EAAE;oBAClB,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG;oBAC9B,SAAS,EAAE;wBACT,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;wBACjD,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,CAAC;wBAC/D,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,kBAAkB,CAAC;wBACvE,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC;qBAC9D;iBACF;gBACD,eAAe,EAAE,IAAI,KAAK,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC;gBACvE,qBAAqB;aACtB,CAAC;SACH;QAED,OAAO,YAAY,CAAC;IACtB,CAAC;IACO,KAAK,CAAC,eAAe,CAC3B,KAAiB,EACjB,UAAyB,EACzB,SAAgB;QAEhB,MAAM,UAAU,GAAG,SAAS,CAAC,oBAAoB,EAAE,CAAC;QAEpD,IAAI,UAAU,KAAK,qBAAqB,CAAC,IAAI,EAAE;YAC7C,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;SACzD;QAED,OAAO,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACnE,CAAC;IACO,KAAK,CAAC,qBAAqB,CACjC,KAAiB,EACjB,UAAyB,EACzB,iBAAwC;QAExC,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAErE,MAAM,MAAM,GAAG,IAAI,qBAAqB,CAAC,SAAS,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5D,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,iBAAiB,CACvC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAChC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAClB,WAAW,CAAC,SAAS,CACtB,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,CAAC,uDAAuD,CAAC,CAAC,CAAC;QAExE,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEvD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACrC,WAAW,CAAC,KAAK,CAAC,UAAU,GAAG,IAAI,UAAU,EAAE,CAAC;QAChD,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,GAAG,KAAK,CAAC;QACzC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,GAAG,OAAO,CAAC;QAC5C,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,GAAG,KAAK,CAAC;QACzC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QAEtE,IAAI,iBAAiB,IAAI,qBAAqB,CAAC,KAAK,EAAE;YACpD,WAAW,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,oBAAoB;SACtD;aAAM;YACL,WAAW,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,oBAAoB;SACtD;QACD,OAAO,WAAW,CAAC,KAAK,CAAC;IAC3B,CAAC;IAEO,KAAK,CAAC,wBAAwB,CACpC,KAAiB,EACjB,UAAyB;QAEzB,MAAM,MAAM,GAAG,IAAI,qBAAqB,CAAC,SAAS,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;QAEjE,IAAI,KAAK,CAAC,iBAAiB,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE;YAC9E,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;SACxD;QAED,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAErE,WAAW,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,MAAM,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAE5F,OAAO,WAAW,CAAC,KAAK,CAAC;IAC3B,CAAC;IAEO,KAAK,CAAC,YAAY,CAAC,GAAgC;QACzD,IAAI,CAAC,GAAG,EAAE;YACR,MAAM,KAAK,GAAG,IAAI,KAAK,EAAE,CAAC;YAC1B,KAAK,CAAC,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC;YACtC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;SACjC;QAED,IAAI,SAAS,GAAG,EAAE,CAAC;QACnB,IAAI,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC1C,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE;YAC/B,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;SACrD;QAED,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YAC9C,SAAS,GAAG,GAAG,CAAC;YAEhB,QAAQ,GAAG,KAA6B,CAAC;YAEzC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE;gBACpC,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;aACpE;YACD,MAAM;SACP;QAED,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,MAAM,MAAM,GAAa,IAAI,KAAK,CAAS,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;YACnD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE;gBACxB,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;aACrD;YACD,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YAE/B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACxB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;oBACjD,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;iBACtC;aACF;iBAAM;gBACL,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAe,CAAC,CAAC;aACrC;YACD,MAAM;SACP;QAED,MAAM,KAAK,GAAG,IAAI,KAAK,EAAE,CAAC;QAC1B,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAC1B,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;QAEtB,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC9B,CAAC;IAED,uDAAuD;IACvD,KAAK,CAAC,oBAAoB,CACxB,IAAgB,EAChB,GAAQ,EACR,YAAoB,EACpB,SAAoB;QAEpB,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE;YAClC,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;SAC/C;QACD,mCAAmC;QACnC,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACzD,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;QAE9D,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAClD,YAAY,CAAC,cAAc,EAC3B,YAAY,CAAC,aAAa,CAC3B,CAAC;QAEF,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,aAAa,CACxD,SAAS,EACT,YAAY,CAAC,cAAc,CAC5B,CAAC;QACF,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;QAEtE,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;QAE1C,MAAM,UAAU,GAAG,IAAI,YAAY,EAAE,CAAC;QAEtC,UAAU,CAAC,SAAS,GAAG,EAAE,CAAC;QAC1B,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;QAC/C,UAAU,CAAC,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC;QAC3C,UAAU,CAAC,eAAe,GAAG,aAAa,CAAC,KAAK,CAAC;QACjD,UAAU,CAAC,kBAAkB,GAAG,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC;QAC/D,UAAU,CAAC,SAAS,GAAG,aAAa,CAAC,SAAS,CAAC;QAC/C,UAAU,CAAC,SAAS,GAAG,SAAS,CAAC;QACjC,UAAU,CAAC,SAAS,GAAG,SAAS,CAAC;QACjC,UAAU,CAAC,SAAS,GAAG,SAAS,CAAC;QACjC,OAAO,UAAU,CAAC,aAAa,EAAE,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,SAAiB,EAAE,UAAyB;QAC5D,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE;YAClC,MAAM,IAAI,KAAK,CAAC,8BAA8B,SAAS,EAAE,CAAC,CAAC;SAC5D;QACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAC3D,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QAE3E,IAAI,eAAe,CAAC,kBAAkB,KAAK,EAAE,EAAE;YAC7C,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;SAC1D;QAED,IAAI,eAAe,CAAC,IAAI,KAAK,QAAQ,EAAE;YACrC,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;SACrD;QAED,IAAI,eAAe,CAAC,cAAc,KAAK,EAAE,EAAE;YACzC,IAAI,eAAe,CAAC,mBAAmB,KAAK,EAAE,EAAE;gBAC9C,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;aAClE;YACD,OAAO,KAAK,CAAC;SACd;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AACD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,yBAAyB,GAAG,KAAK,EAAE,MAAc,EAAsB,EAAE;IACpF,MAAM,cAAc,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,SAAS,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC1D,OAAO,MAAmB,CAAC;AAC7B,CAAC,CAAC"}

package/dist/esm/proof/prover.js

@@ -0,0 +1,52 @@
+import * as snarkjs from 'snarkjs';
+import { witnessBuilder } from './witness_calculator';
+import { getCurveFromName } from 'ffjavascript';
+/* eslint-disable no-console */
+// NativeProver service responsible for zk generation groth16 algorithm with bn128 curve
+export class NativeProver {
+    constructor(_circuitStorage) {
+        this._circuitStorage = _circuitStorage;
+    }
+    async verify(zkp, circuitName) {
+        try {
+            const verKey = (await this._circuitStorage.loadCircuitData(circuitName))
+                .verificationKey;
+            await snarkjs.groth16.verify(JSON.parse(new TextDecoder().decode(verKey)), zkp.pub_signals, zkp.proof);
+            // we need to terminate curve manually
+            await this.terminateCurve();
+            return true;
+        }
+        catch (e) {
+            console.log(e);
+            return false;
+        }
+    }
+    // Generate calls prover-server for proof generation
+    async generate(inputs, circuitId) {
+        try {
+            const circuitData = await this._circuitStorage.loadCircuitData(circuitId);
+            const wasm = circuitData.wasm;
+            const witnessCalculator = await witnessBuilder(wasm);
+            const parsedData = JSON.parse(new TextDecoder().decode(inputs));
+            const wtnsBytes = await witnessCalculator.calculateWTNSBin(parsedData, 0);
+            const provingKey = circuitData.provingKey;
+            const { proof, publicSignals } = await snarkjs.groth16.prove(provingKey, wtnsBytes);
+            // we need to terminate curve manually
+            await this.terminateCurve();
+            return {
+                proof: proof,
+                pub_signals: publicSignals
+            };
+        }
+        catch (e) {
+            console.log(e);
+            throw e;
+        }
+    }
+    async terminateCurve() {
+        const curve = await getCurveFromName(NativeProver.curveName);
+        curve.terminate();
+    }
+}
+NativeProver.curveName = 'bn128';
+//# sourceMappingURL=prover.js.map

package/dist/esm/proof/prover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover.js","sourceRoot":"","sources":["../../../src/proof/prover.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,OAAO,MAAM,SAAS,CAAC;AAGnC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,+BAA+B;AAE/B,wFAAwF;AACxF,MAAM,OAAO,YAAY;IAEvB,YAA6B,eAAgC;QAAhC,oBAAe,GAAf,eAAe,CAAiB;IAAG,CAAC;IAEjE,KAAK,CAAC,MAAM,CAAC,GAAY,EAAE,WAAsB;QAC/C,IAAI;YACF,MAAM,MAAM,GAAe,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;iBACjF,eAAe,CAAC;YAEnB,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAC5C,GAAG,CAAC,WAAW,EACf,GAAG,CAAC,KAAK,CACV,CAAC;YAEF,sCAAsC;YACtC,MAAM,IAAI,CAAC,cAAc,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;SACb;QAAC,OAAO,CAAC,EAAE;YACV,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACf,OAAO,KAAK,CAAC;SACd;IACH,CAAC;IAED,oDAAoD;IACpD,KAAK,CAAC,QAAQ,CAAC,MAAkB,EAAE,SAAoB;QACrD,IAAI;YACF,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;YAC1E,MAAM,IAAI,GAAe,WAAW,CAAC,IAAI,CAAC;YAE1C,MAAM,iBAAiB,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,CAAC;YAErD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAEhE,MAAM,SAAS,GAAe,MAAM,iBAAiB,CAAC,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAEtF,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC;YAE1C,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAEpF,sCAAsC;YACtC,MAAM,IAAI,CAAC,cAAc,EAAE,CAAC;YAE5B,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,aAAa;aAC3B,CAAC;SACH;QAAC,OAAO,CAAC,EAAE;YACV,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,CAAC;SACT;IACH,CAAC;IAEO,KAAK,CAAC,cAAc;QAC1B,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QAC7D,KAAK,CAAC,SAAS,EAAE,CAAC;IACpB,CAAC;;AAvDuB,sBAAS,GAAG,OAAO,CAAC"}