@hinkal/react-native 0.3.1

package/common/src/functions/snarkjs/constructSolanaZkProof.mjs

@@ -0,0 +1,73 @@
+import { chainIds as e } from "../../constants/chains.constants.mjs";
+import { poseidonFunction as t } from "../../crypto/poseidon.mjs";
+import { randomBigInt as n } from "../web3/etherFunctions.mjs";
+import { formatMintAddress as r } from "../utils/solanaMint.utils.mjs";
+import { takeOffHighestBit as i } from "../utils/bit.operations.mjs";
+import { buildOutCommitments as a, calcAmountChanges as o, calcStealthAddressStructure as s, getUtxoCircuitH0Coords as c, getUtxoCircuitInRandomization as l } from "./common.snarkjs.mjs";
+import { encodeToByte32Array as u } from "../pre-transaction/solana.mjs";
+import { computeSignedMessageHashSolana as d } from "./signedMessageHash.mjs";
+import "../pre-transaction/index.mjs";
+import { generateMainAndCommitmentZkProof as f } from "./generateMainAndCommitmentZkProof.mjs";
+import "../utils/index.mjs";
+import { getDataFromWorkers as p } from "./getMerkleTreeSiblingsAndRootHashes.mjs";
+import { getSolanaCalldataHash as m } from "../pre-transaction/getSolanaCalldataHash.mjs";
+import "../web3/index.mjs";
+import { PublicKey as h } from "@solana/web3.js";
+//#region common/src/functions/snarkjs/constructSolanaZkProof.ts
+var g = async (g, _, v, y, b, x, S, C, w, T, E, D, ee, O = e.solanaLocalnet, k = [], A = [], j = 0n) => {
+	let M = new h(T), N = new h(E), P = v.getShieldedPrivateKey(), { pubSpendingBJJPoint: F } = v.getSpendingKeyPair(), I = s(S, P, v.getSpendingKeyPair().pubSpendingBJJPoint), L = n(31), R = t(L), z = t(j), B = y.map((e) => r(e)), V = B.map((e) => e.mintAccountPart1), H = B.map((e) => e.mintAccountPart2), U = m(D, M, N, ee, C, w, k, A), te = `${D.tokenNumber}x${D.nullifierAmount}x${D.outputAmount}`, W = o(b, x), { inCommitmentSiblings: G, inCommitmentSiblingSides: K, rootHashHinkal: q, inNullifiers: J } = await p(O, _, b.map((e) => e.map((e) => e.getConstructableParams()))), Y = a(x), X = i(I.extraRandomization), Z = I.H0, Q = d({
+		rootHashHinkal: q,
+		mintAccountPart1: V,
+		mintAccountPart2: H,
+		amountChanges: W,
+		outTimeStamp: BigInt(x[0][0].timeStamp),
+		inNullifiers: J,
+		outCommitments: Y,
+		calldataHash: U,
+		message: R,
+		swapperAccountAdditionalSeed: z,
+		outH1Ay: I.H1,
+		H0Ax: X,
+		H0Ay: Z
+	}), { R8: $, S: ne } = v.signEddsa(Q), re = {
+		rootHashHinkal: q,
+		spendingPublicKey: F,
+		eddsaSignature: [
+			$[0],
+			$[1],
+			ne
+		],
+		signedMessageHash: Q,
+		nullifyingPrivateKey: P,
+		mintAccountPart1: V,
+		mintAccountPart2: H,
+		amountChanges: W,
+		inAmounts: b.map((e) => e.map((e) => e.amount.toString())),
+		inRandomizations: b.map((e) => e.map((e) => l(e))),
+		inH0Ax: b.map((e) => e.map((e) => c(e)[0].toString())),
+		inH0Ay: b.map((e) => e.map((e) => c(e)[1].toString())),
+		isNewStyle: b.map((e) => e.map((e) => !!e.isNewStyle)),
+		inTimeStamps: b.map((e) => e.map((e) => e.timeStamp)),
+		inNullifiers: J,
+		inCommitmentSiblings: G,
+		inCommitmentSiblingSides: K,
+		outAmounts: x.map((e) => e.map((e) => e.amount.toString())),
+		outTimeStamp: BigInt(x[0][0].timeStamp),
+		outPublicKeys: x.map((e) => e.map((e) => e.getStealthAddress())),
+		outCommitments: Y,
+		calldataHash: U,
+		messageSeed: L,
+		swapperAccountSalt: j,
+		H0Ax: X,
+		H0Ay: Z
+	}, { zkCallData: ie, publicSignals: ae, commitmentValidationData: oe } = await f(O, v, y, b, `mainSolanaCircuit${te}`, re, g), [se, ce, le] = ie;
+	return {
+		proofAArr: se.map(BigInt).map(u).flat(),
+		proofBArr: ce.flat().map(BigInt).map(u).flat(),
+		proofCArr: le.map(BigInt).map(u).flat(),
+		publicInputsArr: ae.map(BigInt).map(u),
+		commitmentValidationData: oe
+	};
+};
+//#endregion
+export { g as constructSolanaZkProof };

package/common/src/functions/snarkjs/fetchMerkleTreeSiblings.cjs

@@ -0,0 +1 @@
+const e=require(`../../constants/server.constants.cjs`),t=require(`../../API/getServerURL.cjs`),n=require(`../../data-structures/http/HttpClient.cjs`),r=require(`../utils/serialize-utxos.utils.cjs`);var i=async(i,a)=>{let o=a.map(e=>e.map(e=>r.serializeUtxoConstructorParams(e))),s=`${t.SNAPSHOT_SERVER_URL}${e.API_CONFIG.ROUTES.getMerkleTreeSiblings}`;return await n.httpClient.post(s,{inputUtxosSerialized:o,chainId:i})};exports.fetchMerkleTreeSiblings=i;

package/common/src/functions/snarkjs/fetchMerkleTreeSiblings.d.ts

@@ -0,0 +1,11 @@
+import { IUtxoConstructor } from '../../data-structures/utxo/Utxo';
+interface MerkleTreeSiblingsResponse {
+    inCommitmentSiblings: string[][][];
+    inCommitmentSiblingSides: string[][][];
+    accessTokenSiblings: string[];
+    accessTokenSiblingSides: string[];
+    rootHashHinkal: string;
+    rootHashAccessToken: string;
+}
+export declare const fetchMerkleTreeSiblings: (chainId: number, inputUtxosSerialized: IUtxoConstructor[][]) => Promise<MerkleTreeSiblingsResponse>;
+export {};

package/common/src/functions/snarkjs/fetchMerkleTreeSiblings.mjs

@@ -0,0 +1,14 @@
+import { API_CONFIG as e } from "../../constants/server.constants.mjs";
+import { SNAPSHOT_SERVER_URL as t } from "../../API/getServerURL.mjs";
+import { httpClient as n } from "../../data-structures/http/HttpClient.mjs";
+import { serializeUtxoConstructorParams as r } from "../utils/serialize-utxos.utils.mjs";
+//#region common/src/functions/snarkjs/fetchMerkleTreeSiblings.ts
+var i = async (i, a) => {
+	let o = a.map((e) => e.map((e) => r(e))), s = `${t}${e.ROUTES.getMerkleTreeSiblings}`;
+	return await n.post(s, {
+		inputUtxosSerialized: o,
+		chainId: i
+	});
+};
+//#endregion
+export { i as fetchMerkleTreeSiblings };

package/common/src/functions/snarkjs/fetchOnChainRootHashes.cjs

@@ -0,0 +1 @@
+require("../../../../_virtual/_rolldown/runtime.cjs");const e=require(`../../constants/chains.constants.cjs`),t=require(`../../types/ethereum-network.types.cjs`),n=require(`../pre-transaction/solana.cjs`),r=require(`../utils/create-provider.cjs`),i=require(`../web3/getContractMetadata.cjs`),a=require(`../web3/fetchSolanaMerkleTreeRootHash.cjs`);let o=require(`@solana/web3.js`),s=require(`@coral-xyz/anchor`);var c=()=>{let e=o.Keypair.generate();return{publicKey:e.publicKey,payer:e,signTransaction:async e=>e,signAllTransactions:async e=>e}},l=async e=>({hinkalRootHash:await i.getContractWithFetcherByChainId(e,t.ContractType.HinkalContract).getRootHash()}),u=async t=>{let{contractData:i,fetchRpcUrl:l}=e.networkRegistry[t],{hinkalIdl:u,hinkalAddress:d,originalDeployer:f}=i;if(!u||!d||!f||!l)throw Error(`Missing Solana configuration for chain ${t}`);return{hinkalRootHash:await a.fetchSolanaMerkleTreeRootHash(new s.Program(u,new s.AnchorProvider(r.createCustomSolanaConnection(l),c(),{preflightCommitment:`confirmed`,commitment:`confirmed`})),n.getMerkleAccountPublicKey(new o.PublicKey(d),new o.PublicKey(f)))}},d=async t=>e.isSolanaLike(t)?u(t):l(t);exports.fetchOnChainRootHashes=d;

package/common/src/functions/snarkjs/fetchOnChainRootHashes.d.ts

@@ -0,0 +1,3 @@
+export declare const fetchOnChainRootHashes: (chainId: number) => Promise<{
+    hinkalRootHash: bigint;
+}>;

package/common/src/functions/snarkjs/fetchOnChainRootHashes.mjs

@@ -0,0 +1,27 @@
+import { isSolanaLike as e, networkRegistry as t } from "../../constants/chains.constants.mjs";
+import { ContractType as n } from "../../types/ethereum-network.types.mjs";
+import { getMerkleAccountPublicKey as r } from "../pre-transaction/solana.mjs";
+import { createCustomSolanaConnection as i } from "../utils/create-provider.mjs";
+import { getContractWithFetcherByChainId as a } from "../web3/getContractMetadata.mjs";
+import { fetchSolanaMerkleTreeRootHash as o } from "../web3/fetchSolanaMerkleTreeRootHash.mjs";
+import { Keypair as s, PublicKey as c } from "@solana/web3.js";
+import { AnchorProvider as l, Program as u } from "@coral-xyz/anchor";
+//#region common/src/functions/snarkjs/fetchOnChainRootHashes.ts
+var d = () => {
+	let e = s.generate();
+	return {
+		publicKey: e.publicKey,
+		payer: e,
+		signTransaction: async (e) => e,
+		signAllTransactions: async (e) => e
+	};
+}, f = async (e) => ({ hinkalRootHash: await a(e, n.HinkalContract).getRootHash() }), p = async (e) => {
+	let { contractData: n, fetchRpcUrl: a } = t[e], { hinkalIdl: s, hinkalAddress: f, originalDeployer: p } = n;
+	if (!s || !f || !p || !a) throw Error(`Missing Solana configuration for chain ${e}`);
+	return { hinkalRootHash: await o(new u(s, new l(i(a), d(), {
+		preflightCommitment: "confirmed",
+		commitment: "confirmed"
+	})), r(new c(f), new c(p))) };
+}, m = async (t) => e(t) ? p(t) : f(t);
+//#endregion
+export { m as fetchOnChainRootHashes };

package/common/src/functions/snarkjs/generateCircomData.cjs

@@ -0,0 +1 @@
+const e=require(`../../constants/protocol.constants.cjs`),t=require(`../../types/hinkal.types.cjs`),n=require(`../../types/circom-data.types.cjs`),r=require(`../utils/external-action.utils.cjs`),i=require(`./getOriginalSender.cjs`);var a=(a,o,s,c,l,u,d,f,p,m,h,g,_,v,y,b,x,S,C,w=e.defaultSignatureData,T)=>({rootHashHinkal:s,erc20TokenAddresses:l,tokenIds:l.map(()=>`0`),amountChanges:c,inputNullifiers:o,outCommitments:a,encryptedOutputs:d,timeStamp:u.length>0?u[0][0].timeStamp:String(x??``),stealthAddressStructure:v,rootHashAccessToken:0n,relay:g,externalAddress:m===void 0?e.zeroAddress:m,externalActionMetadata:h,externalActionId:typeof p==`bigint`?0n:r.getExternalActionIdHash(p),hookData:b||n.defaultHookData,publicSignalCount:f,calldataHash:_,onChainCreation:y,slippageValues:S,hinkalLogicArgs:t.defaultHinkalLogicArgs(l.length),feeStructure:{...C},signatureData:w,originalSender:T??i.getOriginalSender(m??e.zeroAddress,g)});exports.generateCircomData=a;

package/common/src/functions/snarkjs/generateCircomData.d.ts

@@ -0,0 +1,5 @@
+import { FeeStructure } from '../../types/hinkal.types';
+import { Utxo } from '../../data-structures/utxo/Utxo';
+import { CircomDataType, HookDataType, StealthAddressStructure } from '../../types/circom-data.types';
+import { ExternalActionId } from '../../types/external-action.types';
+export declare const generateCircomData: (outCommitments: string[][], inputNullifiers: string[][], rootHashHinkal: bigint | undefined, amountChanges: bigint[], erc20TokenAddresses: string[], outputUtxos: Utxo[][], encryptedOutputs: string[][], publicSignalCount: number, externalActionId: ExternalActionId | bigint, externalAddress: string | undefined, externalActionMetadata: string, relay: string, calldataHash: bigint, stealthAddressStructure: StealthAddressStructure, onChainCreation: boolean[], hookData: HookDataType | undefined, timeStampFallback: number | undefined, slippageValues: bigint[], feeStructure: FeeStructure, signatureData?: import('../..').SignatureData, originalSender?: string) => CircomDataType;

package/common/src/functions/snarkjs/generateCircomData.mjs

@@ -0,0 +1,33 @@
+import { defaultSignatureData as e, zeroAddress as t } from "../../constants/protocol.constants.mjs";
+import { defaultHinkalLogicArgs as n } from "../../types/hinkal.types.mjs";
+import { defaultHookData as r } from "../../types/circom-data.types.mjs";
+import { getExternalActionIdHash as i } from "../utils/external-action.utils.mjs";
+import { getOriginalSender as a } from "./getOriginalSender.mjs";
+//#region common/src/functions/snarkjs/generateCircomData.ts
+var o = (o, s, c, l, u, d, f, p, m, h, g, _, v, y, b, x, S, C, w, T = e, E) => ({
+	rootHashHinkal: c,
+	erc20TokenAddresses: u,
+	tokenIds: u.map(() => "0"),
+	amountChanges: l,
+	inputNullifiers: s,
+	outCommitments: o,
+	encryptedOutputs: f,
+	timeStamp: d.length > 0 ? d[0][0].timeStamp : String(S ?? ""),
+	stealthAddressStructure: y,
+	rootHashAccessToken: 0n,
+	relay: _,
+	externalAddress: h === void 0 ? t : h,
+	externalActionMetadata: g,
+	externalActionId: typeof m == "bigint" ? 0n : i(m),
+	hookData: x || r,
+	publicSignalCount: p,
+	calldataHash: v,
+	onChainCreation: b,
+	slippageValues: C,
+	hinkalLogicArgs: n(u.length),
+	feeStructure: { ...w },
+	signatureData: T,
+	originalSender: E ?? a(h ?? t, _)
+});
+//#endregion
+export { o as generateCircomData };

package/common/src/functions/snarkjs/generateMainAndCommitmentZkProof.cjs

@@ -0,0 +1 @@
+const e=require(`../pre-transaction/buildCommitmentValidationData.cjs`);require(`../pre-transaction/index.cjs`);const t=require(`./generateZkProof.cjs`);var n=async(n,r,i,a,o,s,c)=>{let l=await e.buildCommitmentValidationData(n,r,i,a),u=[o],d=[s];l&&(u.push(l.verifierName),d.push(l.commitmentInput));let f=await t.generateZkProof(n,u,d,c),{zkCallData:p,publicSignals:m}=f[0];return{zkCallData:p,publicSignals:m,commitmentValidationData:e.buildCommitmentValidationDataFromProof(l,f[1])}};exports.generateMainAndCommitmentZkProof=n;

package/common/src/functions/snarkjs/generateMainAndCommitmentZkProof.d.ts

@@ -0,0 +1,11 @@
+import { UserKeys } from '../../data-structures/crypto-keys/keys';
+import { Utxo } from '../../data-structures/utxo/Utxo';
+import { CommitmentValidationDataType } from '../../types/circom-data.types';
+import { NewZkCallDataType } from '../../types/snark.types';
+interface GenerateMainAndCommitmentZkProofResponse {
+    zkCallData: NewZkCallDataType;
+    publicSignals: string[];
+    commitmentValidationData: CommitmentValidationDataType | undefined;
+}
+export declare const generateMainAndCommitmentZkProof: (chainId: number, userKeys: UserKeys, tokenAddresses: string[], inputUtxos: Utxo[][], mainVerifierName: string, mainCircuitInput: unknown, generateProofRemotely: boolean) => Promise<GenerateMainAndCommitmentZkProofResponse>;
+export {};

package/common/src/functions/snarkjs/generateMainAndCommitmentZkProof.mjs

@@ -0,0 +1,16 @@
+import { buildCommitmentValidationData as e, buildCommitmentValidationDataFromProof as t } from "../pre-transaction/buildCommitmentValidationData.mjs";
+import "../pre-transaction/index.mjs";
+import { generateZkProof as n } from "./generateZkProof.mjs";
+//#region common/src/functions/snarkjs/generateMainAndCommitmentZkProof.ts
+var r = async (r, i, a, o, s, c, l) => {
+	let u = await e(r, i, a, o), d = [s], f = [c];
+	u && (d.push(u.verifierName), f.push(u.commitmentInput));
+	let p = await n(r, d, f, l), { zkCallData: m, publicSignals: h } = p[0];
+	return {
+		zkCallData: m,
+		publicSignals: h,
+		commitmentValidationData: t(u, p[1])
+	};
+};
+//#endregion
+export { r as generateMainAndCommitmentZkProof };

package/common/src/functions/snarkjs/generateZkProof.cjs

@@ -0,0 +1 @@
+const e=require(`../utils/customEnclaveFunctionsRegister.cjs`),t=require(`../../error-handling/logger.cjs`),n=require(`./getZKFiles.cjs`),r=require(`./generateZkProofEnclave.cjs`),i=require(`./generateZkProofSelf.cjs`);var a=async(a,o,s,c)=>{if(c)try{let t=e.getCustomProofGenerator();return t?(await t(s,o.map(e=>n.getWASMFile(e,a)),o.map(e=>n.getZKeyFile(e,a)))).map(({zkCallData:e,publicSignals:t})=>({zkCallData:e,publicSignals:t})):await r.generateZkProofEnclave(a,o,s)}catch(e){t.Logger.error(`enclave proof error`,e)}return Promise.all(o.map((e,t)=>i.generateZkProofSelf(a,e,s[t])))};exports.generateZkProof=a;

package/common/src/functions/snarkjs/generateZkProof.d.ts

@@ -0,0 +1,5 @@
+import { NewZkCallDataType } from '../../types/snark.types';
+export declare const generateZkProof: (chainId: number, verifierNames: string[], inputs: any[], remotely?: boolean) => Promise<{
+    zkCallData: NewZkCallDataType;
+    publicSignals: string[];
+}[]>;

package/common/src/functions/snarkjs/generateZkProof.mjs

@@ -0,0 +1,20 @@
+import { getCustomProofGenerator as e } from "../utils/customEnclaveFunctionsRegister.mjs";
+import { Logger as t } from "../../error-handling/logger.mjs";
+import { getWASMFile as n, getZKeyFile as r } from "./getZKFiles.mjs";
+import { generateZkProofEnclave as i } from "./generateZkProofEnclave.mjs";
+import { generateZkProofSelf as a } from "./generateZkProofSelf.mjs";
+//#region common/src/functions/snarkjs/generateZkProof.ts
+var o = async (o, s, c, l) => {
+	if (l) try {
+		let t = e();
+		return t ? (await t(c, s.map((e) => n(e, o)), s.map((e) => r(e, o)))).map(({ zkCallData: e, publicSignals: t }) => ({
+			zkCallData: e,
+			publicSignals: t
+		})) : await i(o, s, c);
+	} catch (e) {
+		t.error("enclave proof error", e);
+	}
+	return Promise.all(s.map((e, t) => a(o, e, c[t])));
+};
+//#endregion
+export { o as generateZkProof };

package/common/src/functions/snarkjs/generateZkProofEnclave.cjs

@@ -0,0 +1 @@
+const e=require(`./constant.cjs`),t=require(`../../data-structures/http/HttpClient.cjs`);require(`../../data-structures/http/index.cjs`);const n=require(`../utils/encryptInputForEnclave.cjs`),r=require(`./getZKFiles.cjs`);var i=e=>{if(e.startsWith(`http`)){let t=e.split(`/`).at(-1);if(!t)throw Error(`invalid verifierName`);return t}return e},a=async(a,o,s)=>{let c=o.map(e=>i(r.getWASMFile(e,a))),l=o.map(e=>i(r.getZKeyFile(e,a))),{keyCiphertext:u,inputCiphertext:d}=await n.makeEnclaveHandshakeAndEncryptInput(s),f={circuit_wasms:c,circuit_zkeys:l,inputs:d,key:u};return(await t.httpClient.post(`${e.ENCLAVE_URL}/generate-proofs`,f)).map(({zk_calldata:e,public_signals:t})=>({zkCallData:e,publicSignals:t}))};exports.generateZkProofEnclave=a;

package/common/src/functions/snarkjs/generateZkProofEnclave.d.ts

@@ -0,0 +1,5 @@
+import { NewZkCallDataType } from '../../types/snark.types';
+export declare const generateZkProofEnclave: (chainId: number, verifierNames: string[], inputs: any[]) => Promise<{
+    zkCallData: NewZkCallDataType;
+    publicSignals: string[];
+}[]>;

package/common/src/functions/snarkjs/generateZkProofEnclave.mjs

@@ -0,0 +1,27 @@
+import { ENCLAVE_URL as e } from "./constant.mjs";
+import { httpClient as t } from "../../data-structures/http/HttpClient.mjs";
+import "../../data-structures/http/index.mjs";
+import { makeEnclaveHandshakeAndEncryptInput as n } from "../utils/encryptInputForEnclave.mjs";
+import { getWASMFile as r, getZKeyFile as i } from "./getZKFiles.mjs";
+//#region common/src/functions/snarkjs/generateZkProofEnclave.ts
+var a = (e) => {
+	if (e.startsWith("http")) {
+		let t = e.split("/").at(-1);
+		if (!t) throw Error("invalid verifierName");
+		return t;
+	}
+	return e;
+}, o = async (o, s, c) => {
+	let l = s.map((e) => a(r(e, o))), u = s.map((e) => a(i(e, o))), { keyCiphertext: d, inputCiphertext: f } = await n(c), p = {
+		circuit_wasms: l,
+		circuit_zkeys: u,
+		inputs: f,
+		key: d
+	};
+	return (await t.post(`${e}/generate-proofs`, p)).map(({ zk_calldata: e, public_signals: t }) => ({
+		zkCallData: e,
+		publicSignals: t
+	}));
+};
+//#endregion
+export { o as generateZkProofEnclave };

package/common/src/functions/snarkjs/generateZkProofSelf.cjs

@@ -0,0 +1 @@
+const e=require(`../../webworker/worker.registry.cjs`),t=require(`../../webworker/performTaskWithWorker.cjs`),n=require(`./getZKFiles.cjs`),r=require(`../../webworker/snarkjsWorker/snarkjsWorker.types.cjs`);var i=async(i,a,o)=>{let s=n.getWASMFile(a,i),c=n.getZKeyFile(a,i),{publicSignals:l,zkCallData:u}=await t.performTaskWithWorker({type:e.WorkerVariant.SnarkJS,payload:{type:r.SnarkJSWorkerActionType.FULL_PROVE,data:{input:o,chainId:i,wasmFilePath:s,zKeyFilePath:c}}});return{zkCallData:u,publicSignals:l}};exports.generateZkProofSelf=i;

package/common/src/functions/snarkjs/generateZkProofSelf.d.ts

@@ -0,0 +1,5 @@
+import { NewZkCallDataType } from '../../types';
+export declare const generateZkProofSelf: (chainId: number, verifierName: string, input: any) => Promise<{
+    zkCallData: NewZkCallDataType;
+    publicSignals: string[];
+}>;

package/common/src/functions/snarkjs/generateZkProofSelf.mjs

@@ -0,0 +1,25 @@
+import { WorkerVariant as e } from "../../webworker/worker.registry.mjs";
+import { performTaskWithWorker as t } from "../../webworker/performTaskWithWorker.mjs";
+import { getWASMFile as n, getZKeyFile as r } from "./getZKFiles.mjs";
+import { SnarkJSWorkerActionType as i } from "../../webworker/snarkjsWorker/snarkjsWorker.types.mjs";
+//#region common/src/functions/snarkjs/generateZkProofSelf.ts
+var a = async (a, o, s) => {
+	let c = n(o, a), l = r(o, a), { publicSignals: u, zkCallData: d } = await t({
+		type: e.SnarkJS,
+		payload: {
+			type: i.FULL_PROVE,
+			data: {
+				input: s,
+				chainId: a,
+				wasmFilePath: c,
+				zKeyFilePath: l
+			}
+		}
+	});
+	return {
+		zkCallData: d,
+		publicSignals: u
+	};
+};
+//#endregion
+export { a as generateZkProofSelf };

package/common/src/functions/snarkjs/getMerkleTreeSiblingsAndRootHashes.cjs

@@ -0,0 +1 @@
+const e=require(`../../constants/vite.constants.cjs`),t=require(`../../webworker/worker.registry.cjs`),n=require(`../../constants/chains.constants.cjs`),r=require(`../utils/amounts.utils.cjs`),i=require(`./common.snarkjs.cjs`),a=require(`../../webworker/performTaskWithWorker.cjs`),o=require(`../../webworker/zkProofWorker/zkProofWorker.types.cjs`),s=require(`./fetchMerkleTreeSiblings.cjs`),c=require(`./fetchOnChainRootHashes.cjs`);var l=async(n,r)=>{let i=n.getRootHash();if(i===void 0)throw Error(`Root hash not available from hinkal merkle tree`);let s;return s=(e.isNode,await a.performTaskWithWorker({type:t.WorkerVariant.ZKProof,payload:{type:o.ZKProofWorkerActionType.CALC_COMMITMENTS_SIBLING_AND_SIDES,data:{inputUtxosSerialized:r,merkleTreeSerialized:n.toJSON()}}})),{inCommitmentSiblings:s.inCommitmentSiblings,inCommitmentSiblingSides:s.inCommitmentSiblingSides,rootHashHinkal:i}},u=async(e,t)=>{let n=await s.fetchMerkleTreeSiblings(e,t);return{inCommitmentSiblings:n.inCommitmentSiblings,inCommitmentSiblingSides:n.inCommitmentSiblingSides,rootHashHinkal:r.toBigInt(n.rootHashHinkal)}},d=async(e,t)=>{if(!t)return!1;try{let n=t.getRootHash();if(n===void 0)return!1;let{hinkalRootHash:r}=await c.fetchOnChainRootHashes(e);return n===r}catch{return!1}},f=async(e,t,r)=>await d(e,r)||n.isLocalNetwork(e)?l(r,t):u(e,t),p=async(r,s,l)=>{if(i.hasOnlyZeroAmounts(l)){let e=i.buildZeroInputMerkleDataFromSerialized(l);if(n.isLocalNetwork(r)){let t=s.getRootHash();if(t===void 0)throw Error(`Root hash not available from hinkal merkle tree`);return{...e,rootHashHinkal:t}}let{hinkalRootHash:t}=await c.fetchOnChainRootHashes(r);return{...e,rootHashHinkal:t}}if(e.isNode){let{inCommitmentSiblings:e,inCommitmentSiblingSides:n,rootHashHinkal:i}=await f(r,l,s);return{inCommitmentSiblings:e,inCommitmentSiblingSides:n,rootHashHinkal:i,inNullifiers:await a.performTaskWithWorker({type:t.WorkerVariant.ZKProof,payload:{type:o.ZKProofWorkerActionType.BUILD_IN_NULLIFIERS,data:{inputUtxosSerialized:l}}})}}else{let[{inCommitmentSiblings:e,inCommitmentSiblingSides:n,rootHashHinkal:i},c]=await Promise.all([f(r,l,s),a.performTaskWithWorker({type:t.WorkerVariant.ZKProof,payload:{type:o.ZKProofWorkerActionType.BUILD_IN_NULLIFIERS,data:{inputUtxosSerialized:l}}})]);return{inCommitmentSiblings:e,inCommitmentSiblingSides:n,rootHashHinkal:i,inNullifiers:c}}};exports.getDataFromWorkers=p;

package/common/src/functions/snarkjs/getMerkleTreeSiblingsAndRootHashes.d.ts

@@ -0,0 +1,15 @@
+import { MerkleTree } from '../../data-structures/merkle-tree';
+import { IUtxoConstructor } from '../../data-structures/utxo/Utxo';
+interface MerkleTreeSiblingsAndRootHashes {
+    inCommitmentSiblings: string[][][];
+    inCommitmentSiblingSides: string[][][];
+    rootHashHinkal: bigint;
+}
+export declare const getMerkleTreeSiblingsAndRootHashes: (chainId: number, inputUtxosSerialized: IUtxoConstructor[][], merkleTree: MerkleTree<bigint>) => Promise<MerkleTreeSiblingsAndRootHashes>;
+export declare const getDataFromWorkers: (chainId: number, merkleTree: MerkleTree<bigint>, inputUtxosSerialized: IUtxoConstructor[][]) => Promise<{
+    rootHashHinkal: bigint;
+    inCommitmentSiblings: string[][][];
+    inCommitmentSiblingSides: string[][][];
+    inNullifiers: string[][];
+}>;
+export {};

package/common/src/functions/snarkjs/getMerkleTreeSiblingsAndRootHashes.mjs

@@ -0,0 +1,94 @@
+import { isNode as e } from "../../constants/vite.constants.mjs";
+import { WorkerVariant as t } from "../../webworker/worker.registry.mjs";
+import { isLocalNetwork as n } from "../../constants/chains.constants.mjs";
+import { toBigInt as r } from "../utils/amounts.utils.mjs";
+import { buildZeroInputMerkleDataFromSerialized as i, hasOnlyZeroAmounts as a } from "./common.snarkjs.mjs";
+import { performTaskWithWorker as o } from "../../webworker/performTaskWithWorker.mjs";
+import { ZKProofWorkerActionType as s } from "../../webworker/zkProofWorker/zkProofWorker.types.mjs";
+import { fetchMerkleTreeSiblings as c } from "./fetchMerkleTreeSiblings.mjs";
+import { fetchOnChainRootHashes as l } from "./fetchOnChainRootHashes.mjs";
+//#region common/src/functions/snarkjs/getMerkleTreeSiblingsAndRootHashes.ts
+var u = async (e, n) => {
+	let r = e.getRootHash();
+	if (r === void 0) throw Error("Root hash not available from hinkal merkle tree");
+	let i;
+	return i = await o({
+		type: t.ZKProof,
+		payload: {
+			type: s.CALC_COMMITMENTS_SIBLING_AND_SIDES,
+			data: {
+				inputUtxosSerialized: n,
+				merkleTreeSerialized: e.toJSON()
+			}
+		}
+	}), {
+		inCommitmentSiblings: i.inCommitmentSiblings,
+		inCommitmentSiblingSides: i.inCommitmentSiblingSides,
+		rootHashHinkal: r
+	};
+}, d = async (e, t) => {
+	let n = await c(e, t);
+	return {
+		inCommitmentSiblings: n.inCommitmentSiblings,
+		inCommitmentSiblingSides: n.inCommitmentSiblingSides,
+		rootHashHinkal: r(n.rootHashHinkal)
+	};
+}, f = async (e, t) => {
+	if (!t) return !1;
+	try {
+		let n = t.getRootHash();
+		if (n === void 0) return !1;
+		let { hinkalRootHash: r } = await l(e);
+		return n === r;
+	} catch {
+		return !1;
+	}
+}, p = async (e, t, r) => await f(e, r) || n(e) ? u(r, t) : d(e, t), m = async (r, c, u) => {
+	if (a(u)) {
+		let e = i(u);
+		if (n(r)) {
+			let t = c.getRootHash();
+			if (t === void 0) throw Error("Root hash not available from hinkal merkle tree");
+			return {
+				...e,
+				rootHashHinkal: t
+			};
+		}
+		let { hinkalRootHash: t } = await l(r);
+		return {
+			...e,
+			rootHashHinkal: t
+		};
+	}
+	if (e) {
+		let { inCommitmentSiblings: e, inCommitmentSiblingSides: n, rootHashHinkal: i } = await p(r, u, c);
+		return {
+			inCommitmentSiblings: e,
+			inCommitmentSiblingSides: n,
+			rootHashHinkal: i,
+			inNullifiers: await o({
+				type: t.ZKProof,
+				payload: {
+					type: s.BUILD_IN_NULLIFIERS,
+					data: { inputUtxosSerialized: u }
+				}
+			})
+		};
+	} else {
+		let [{ inCommitmentSiblings: e, inCommitmentSiblingSides: n, rootHashHinkal: i }, a] = await Promise.all([p(r, u, c), o({
+			type: t.ZKProof,
+			payload: {
+				type: s.BUILD_IN_NULLIFIERS,
+				data: { inputUtxosSerialized: u }
+			}
+		})]);
+		return {
+			inCommitmentSiblings: e,
+			inCommitmentSiblingSides: n,
+			rootHashHinkal: i,
+			inNullifiers: a
+		};
+	}
+};
+//#endregion
+export { m as getDataFromWorkers };

package/common/src/functions/snarkjs/getOriginalSender.cjs

@@ -0,0 +1 @@
+const e=require(`../../constants/protocol.constants.cjs`);var t=(t,n)=>n===e.zeroAddress?t??e.zeroAddress:e.zeroAddress;exports.getOriginalSender=t;

package/common/src/functions/snarkjs/getOriginalSender.d.ts

@@ -0,0 +1 @@
+export declare const getOriginalSender: (externalAddress: string, relay: string) => string;

package/common/src/functions/snarkjs/getOriginalSender.mjs

@@ -0,0 +1,5 @@
+import { zeroAddress as e } from "../../constants/protocol.constants.mjs";
+//#region common/src/functions/snarkjs/getOriginalSender.ts
+var t = (t, n) => n === e ? t ?? e : e;
+//#endregion
+export { t as getOriginalSender };

package/common/src/functions/snarkjs/getZKFiles.cjs

@@ -0,0 +1 @@
+const e=require(`../../constants/chains.constants.cjs`),t=require(`../../constants/protocol.constants.cjs`),n=require(`./constant.cjs`);var r=(r,i)=>i===e.chainIds.localhost||i===e.chainIds.solanaLocalnet||i===e.chainIds.tronLocalnet?n.localVerifiers[`${r}${t.PROVER_VERSION}Wasm`]:n.prodVerifiers[`${r}${t.PROVER_VERSION}Wasm`],i=(r,i)=>i===e.chainIds.localhost||i===e.chainIds.solanaLocalnet||i===e.chainIds.tronLocalnet?n.localVerifiers[`${r}${t.PROVER_VERSION}Zkey`]:n.prodVerifiers[`${r}${t.PROVER_VERSION}Zkey`];exports.getWASMFile=r,exports.getZKeyFile=i;

package/common/src/functions/snarkjs/getZKFiles.d.ts

@@ -0,0 +1,3 @@
+export declare const getWASMFile: (filename: string, chainId: number) => string;
+export declare const getZKeyFile: (filename: string, chainId: number) => string;
+export declare const getVKFile: (filename: string, chainId: number) => string;

package/common/src/functions/snarkjs/getZKFiles.mjs

@@ -0,0 +1,7 @@
+import { chainIds as e } from "../../constants/chains.constants.mjs";
+import { PROVER_VERSION as t } from "../../constants/protocol.constants.mjs";
+import { localVerifiers as n, prodVerifiers as r } from "./constant.mjs";
+//#region common/src/functions/snarkjs/getZKFiles.ts
+var i = (i, a) => a === e.localhost || a === e.solanaLocalnet || a === e.tronLocalnet ? n[`${i}${t}Wasm`] : r[`${i}${t}Wasm`], a = (i, a) => a === e.localhost || a === e.solanaLocalnet || a === e.tronLocalnet ? n[`${i}${t}Zkey`] : r[`${i}${t}Zkey`];
+//#endregion
+export { i as getWASMFile, a as getZKeyFile };

package/common/src/functions/snarkjs/index.cjs

@@ -0,0 +1 @@
+require(`./common.snarkjs.cjs`),require(`./signedMessageHash.cjs`),require(`./generateZkProof.cjs`),require(`./generateMainAndCommitmentZkProof.cjs`),require(`./fetchOnChainRootHashes.cjs`),require(`./constructGeneralZkProof.cjs`),require(`./constructSolanaZkProof.cjs`),require(`./verifyCommitmentValidationData.cjs`);

package/common/src/functions/snarkjs/index.d.ts

@@ -0,0 +1,8 @@
+export * from './constructGeneralZkProof';
+export * from './common.snarkjs';
+export * from './signedMessageHash';
+export * from './generateZkProof';
+export * from './generateMainAndCommitmentZkProof';
+export * from './constructSolanaZkProof';
+export * from './fetchOnChainRootHashes';
+export * from './verifyCommitmentValidationData';

package/common/src/functions/snarkjs/index.mjs

@@ -0,0 +1,8 @@
+import "./common.snarkjs.mjs";
+import "./signedMessageHash.mjs";
+import "./generateZkProof.mjs";
+import "./generateMainAndCommitmentZkProof.mjs";
+import "./fetchOnChainRootHashes.mjs";
+import "./constructGeneralZkProof.mjs";
+import "./constructSolanaZkProof.mjs";
+import "./verifyCommitmentValidationData.mjs";

package/common/src/functions/snarkjs/signedMessageHash.cjs

@@ -0,0 +1 @@
+require("../../../../_virtual/_rolldown/runtime.cjs");const e=require(`../../constants/protocol.constants.cjs`),t=require(`../pre-transaction/solana.cjs`);let n=require(`ethers`),r=require(`@coral-xyz/anchor`);var i=e=>[...new r.BN(e.length).toArray(`be`,8),...e.flatMap(e=>t.encodeToByte32Array(e))],a=t=>BigInt(n.ethers.keccak256(t))%e.CIRCOM_P,o=[`uint256`,`uint256[]`,`uint256[]`,`uint256`,`uint256[]`,`uint256[]`,`uint256`,`uint256`,`uint256`,`uint256`,`uint256`],s=e=>a(n.ethers.AbiCoder.defaultAbiCoder().encode(o,[e.rootHashHinkal,e.erc20TokenAddresses.map(e=>n.ethers.getBigInt(e)),e.amountChanges,e.outTimeStamp,e.inNullifiers.flat().map(e=>BigInt(e)),e.outCommitments.flat().map(e=>BigInt(e)),e.calldataHash,e.message,e.outH1Ay,e.H0Ax,e.H0Ay])),c=r=>{let a=r.inNullifiers.flat().map(e=>BigInt(e)),o=r.outCommitments.flat().map(e=>BigInt(e)),s=[...t.encodeToByte32Array(r.rootHashHinkal),...i(r.mintAccountPart1),...i(r.mintAccountPart2),...i(r.amountChanges),...t.encodeToByte32Array(r.outTimeStamp),...i(a),...i(o),...t.encodeToByte32Array(r.calldataHash),...t.encodeToByte32Array(r.message),...t.encodeToByte32Array(r.swapperAccountAdditionalSeed),...t.encodeToByte32Array(r.outH1Ay),...t.encodeToByte32Array(r.H0Ax),...t.encodeToByte32Array(r.H0Ay)];return BigInt(n.ethers.sha256(new Uint8Array(s)))%e.CIRCOM_P};exports.computeSignedMessageHashEvm=s,exports.computeSignedMessageHashSolana=c;

package/common/src/functions/snarkjs/signedMessageHash.d.ts

@@ -0,0 +1,31 @@
+type EvmSignedMessageHashParams = {
+    rootHashHinkal: bigint;
+    erc20TokenAddresses: string[];
+    amountChanges: bigint[];
+    outTimeStamp: bigint;
+    inNullifiers: string[][];
+    outCommitments: string[][];
+    calldataHash: bigint;
+    message: bigint;
+    outH1Ay: bigint;
+    H0Ax: bigint;
+    H0Ay: bigint;
+};
+type SolanaSignedMessageHashParams = {
+    rootHashHinkal: bigint;
+    mintAccountPart1: bigint[];
+    mintAccountPart2: bigint[];
+    amountChanges: bigint[];
+    outTimeStamp: bigint;
+    inNullifiers: string[][];
+    outCommitments: string[][];
+    calldataHash: bigint;
+    message: bigint;
+    swapperAccountAdditionalSeed: bigint;
+    outH1Ay: bigint;
+    H0Ax: bigint;
+    H0Ay: bigint;
+};
+export declare const computeSignedMessageHashEvm: (params: EvmSignedMessageHashParams) => bigint;
+export declare const computeSignedMessageHashSolana: (params: SolanaSignedMessageHashParams) => bigint;
+export {};

package/common/src/functions/snarkjs/signedMessageHash.mjs

@@ -0,0 +1,49 @@
+import { CIRCOM_P as e } from "../../constants/protocol.constants.mjs";
+import { encodeToByte32Array as t } from "../pre-transaction/solana.mjs";
+import { ethers as n } from "ethers";
+import { BN as r } from "@coral-xyz/anchor";
+//#region common/src/functions/snarkjs/signedMessageHash.ts
+var i = (e) => [...new r(e.length).toArray("be", 8), ...e.flatMap((e) => t(e))], a = (t) => BigInt(n.keccak256(t)) % e, o = [
+	"uint256",
+	"uint256[]",
+	"uint256[]",
+	"uint256",
+	"uint256[]",
+	"uint256[]",
+	"uint256",
+	"uint256",
+	"uint256",
+	"uint256",
+	"uint256"
+], s = (e) => a(n.AbiCoder.defaultAbiCoder().encode(o, [
+	e.rootHashHinkal,
+	e.erc20TokenAddresses.map((e) => n.getBigInt(e)),
+	e.amountChanges,
+	e.outTimeStamp,
+	e.inNullifiers.flat().map((e) => BigInt(e)),
+	e.outCommitments.flat().map((e) => BigInt(e)),
+	e.calldataHash,
+	e.message,
+	e.outH1Ay,
+	e.H0Ax,
+	e.H0Ay
+])), c = (r) => {
+	let a = r.inNullifiers.flat().map((e) => BigInt(e)), o = r.outCommitments.flat().map((e) => BigInt(e)), s = [
+		...t(r.rootHashHinkal),
+		...i(r.mintAccountPart1),
+		...i(r.mintAccountPart2),
+		...i(r.amountChanges),
+		...t(r.outTimeStamp),
+		...i(a),
+		...i(o),
+		...t(r.calldataHash),
+		...t(r.message),
+		...t(r.swapperAccountAdditionalSeed),
+		...t(r.outH1Ay),
+		...t(r.H0Ax),
+		...t(r.H0Ay)
+	];
+	return BigInt(n.sha256(new Uint8Array(s))) % e;
+};
+//#endregion
+export { s as computeSignedMessageHashEvm, c as computeSignedMessageHashSolana };

package/common/src/functions/snarkjs/verifyCommitmentValidationData.cjs

@@ -0,0 +1 @@
+require("../../../../_virtual/_rolldown/runtime.cjs"),require(`../../data-structures/http/HttpClient.cjs`),require(`./common.snarkjs.cjs`),require(`../utils/bytes32.utils.cjs`),require(`./getZKFiles.cjs`);const e=require(`../../../../shims/snarkjs.cjs`);require(`ethers`),e.default;

package/common/src/functions/snarkjs/verifyCommitmentValidationData.d.ts

@@ -0,0 +1,4 @@
+import { HinkalTransactionRequestBody } from '../../API/callRelayer';
+import { SolanaTransactionBody } from '../../types/solana.types';
+export declare const verifyCommitmentValidationData: (requestBody: HinkalTransactionRequestBody) => Promise<void>;
+export declare const verifyCommitmentValidationDataSolana: (requestBody: SolanaTransactionBody) => Promise<void>;

package/common/src/functions/snarkjs/verifyCommitmentValidationData.mjs

@@ -0,0 +1,9 @@
+import "../../../../_virtual/_rolldown/runtime.mjs";
+import "../../data-structures/http/HttpClient.mjs";
+import "./common.snarkjs.mjs";
+import "../utils/bytes32.utils.mjs";
+import "./getZKFiles.mjs";
+import { require_snarkjs as e } from "../../../../shims/snarkjs.mjs";
+import "ethers";
+e();
+//#endregion

package/common/src/functions/utils/abi.utils.cjs

@@ -0,0 +1 @@
+require("../../../../_virtual/_rolldown/runtime.cjs");let e=require(`ethers`);var t=t=>JSON.parse(new e.ethers.Interface(t).formatJson()),n=e=>Object.fromEntries(Object.entries(e).map(([e,n])=>[e,t(n)]));exports.toJsonAbi=t,exports.withJsonAbis=n;

package/common/src/functions/utils/abi.utils.d.ts

@@ -0,0 +1,3 @@
+import { InterfaceAbi } from 'ethers';
+export declare const toJsonAbi: (abi: InterfaceAbi) => InterfaceAbi;
+export declare const withJsonAbis: (data: Record<string, unknown>) => Record<string, unknown>;

package/common/src/functions/utils/abi.utils.mjs

@@ -0,0 +1,5 @@
+import { ethers as e } from "ethers";
+//#region common/src/functions/utils/abi.utils.ts
+var t = (t) => JSON.parse(new e.Interface(t).formatJson()), n = (e) => Object.fromEntries(Object.entries(e).map(([e, n]) => [e, t(n)]));
+//#endregion
+export { t as toJsonAbi, n as withJsonAbis };