@hinkal/common 0.2.40 → 0.3.1

package/common/src/functions/private-wallet/emporium.helpers.mjs

@@ -0,0 +1,139 @@
+import { chainIds as e, getOnchainChainId as t, networkRegistry as n } from "../../constants/chains.constants.mjs";
+import { zeroAddress as r } from "../../constants/protocol.constants.mjs";
+import { caseInsensitiveEqual as i } from "../utils/caseInsensitive.utils.mjs";
+import { ContractType as a } from "../../types/ethereum-network.types.mjs";
+import { Logger as o } from "../../error-handling/logger.mjs";
+import { createJsonRpcProvider as s } from "../utils/create-provider.mjs";
+import { AccountActions as c } from "../../data-structures/AccountActions/AccountActions.mjs";
+import { getContractAddress as l } from "../utils/getContractAddress.mjs";
+import "../utils/index.mjs";
+import { ethers as u } from "ethers";
+//#region libs/shared/common/src/functions/private-wallet/emporium.helpers.ts
+var d = (e) => {
+	if (typeof e.target == "string") return e.target;
+	if (e.address) return e.address;
+	throw Error("Contract address not found");
+}, f = ({ contract: e, func: t, args: n, callDataString: r, invokeWallet: i, value: a }) => {
+	let o = new Uint8Array(), s = r ? u.getBytesCopy(r) : new Uint8Array();
+	if (typeof e == "object") {
+		if (o = u.getBytesCopy(d(e)), r?.length && r?.length > 0) throw Error("If function and args are providedm no calldata is needed");
+		t && n && !r && (s = u.getBytesCopy(e.interface.encodeFunctionData(t, n)));
+	} else o = u.getBytesCopy(e);
+	let c = u.getBytesCopy(new Uint8Array([+!!i])), l = u.zeroPadValue(u.toBeHex(a ?? 0n), 16), f = u.concat([
+		o,
+		c,
+		l,
+		s
+	]);
+	return u.hexlify(f);
+}, p = async (e, n, i, a, o, s) => {
+	let l = t(e), d = i ? await c.signTypedDataFromPrivateKey(l, i, {
+		name: "Emporium",
+		version: "1.0.0",
+		chainId: l,
+		verifyingContract: n
+	}, { EmporiumSignature: [{
+		name: "message",
+		type: "uint256"
+	}, {
+		name: "ops",
+		type: "bytes[]"
+	}] }, {
+		message: o,
+		ops: a
+	}) : void 0, { v: f, r: p, s: m } = d ? u.Signature.from(d) : {
+		v: 0,
+		r: u.ZeroHash,
+		s: u.ZeroHash
+	};
+	return u.AbiCoder.defaultAbiCoder().encode(["tuple(uint8 v,bytes32 r, bytes32 s, uint256 message, address signerAddress, bytes[] ops)"], [{
+		v: f,
+		r: p,
+		s: m,
+		message: o ?? 0n,
+		signerAddress: s ?? r,
+		ops: a
+	}]);
+}, m = (e, t, n, r) => f(e ? {
+	contract: e,
+	func: "transfer",
+	args: [t, n],
+	invokeWallet: r
+} : {
+	contract: t,
+	value: n,
+	invokeWallet: r
+}), h = (e, t, n, o, s) => {
+	let c = e.getContractWithFetcher(t, a.HinkalContract);
+	return n.map((n, u) => m(i(n, r) ? void 0 : e.getContractWithFetcher(t, a.ERC20Contract, n), s ?? l(c), o[u], !0));
+}, g = (e, t, n, r) => f({
+	contract: e,
+	func: "approve",
+	args: [t, n],
+	invokeWallet: r
+}), _ = (e, t, n, o, s, c, l, u) => {
+	let d = [];
+	for (let s = 0; s < n.length; s += 1) {
+		let c = n[s], u = i(c, r) ? void 0 : e.getContractWithFetcher(t, a.ERC20Contract, c);
+		d.push(m(u, l, o[s], !1));
+	}
+	if (u) for (let n = 0; n < s.length; n += 1) {
+		let o = s[n];
+		if (!i(o, r)) {
+			let r = e.getContractWithFetcher(t, a.ERC20Contract, o);
+			d.push(g(r, u, c[n], !0));
+		}
+	}
+	return d;
+}, v = (e, t, n, a, o, s, c, l) => {
+	let u = [], d = [o], p = [s];
+	l.nativeFee > 0n && !i(o, r) && (d.push(r), p.push(l.nativeFee));
+	let m = _(e, t, d, p, [o], [c], n, a);
+	u.push(...m);
+	let h = l.nativeFee;
+	return i(o, r) && (h += c), u.push(f({
+		contract: a,
+		callDataString: l.calldata,
+		value: h > 0n ? h : void 0,
+		invokeWallet: !0
+	})), u;
+}, y = "0xef0100", b = async (e, t) => {
+	try {
+		let n = s(e), r = await n.getCode(t);
+		if (r === "0x" || !r) return {
+			delegated: !1,
+			implementation: void 0,
+			nonce: void 0
+		};
+		if (r.toLowerCase().startsWith(y) && r.length === 48) {
+			let e = `0x${r.slice(8)}`, i = await n.getTransactionCount(t);
+			return {
+				delegated: !0,
+				implementation: u.getAddress(e),
+				nonce: i
+			};
+		} else throw Error("checkEOAWithDelegation: It is a contract");
+	} catch (e) {
+		throw o.error("checkEOAWithDelegation error", { error: e }), e;
+	}
+}, x = (e) => {
+	let { hinkalWalletAddress: t } = n[e].contractData;
+	if (!t || i(t, r)) throw Error("Hinkal Wallet Address is not set");
+	return t;
+}, S = async (n, r) => {
+	if (n === e.localhost || !r) return;
+	let a = t(n), { delegated: o, implementation: s } = await b(n, c.getSignerAddressFromPrivateKey(n, r)), l = x(n);
+	if (!o || !i(s, l)) {
+		let e = await c.authorizeDelegation(a, r, l);
+		return {
+			v: e.signature.v.toString(),
+			r: e.signature.r,
+			s: e.signature.s,
+			nonce: e.nonce.toString(),
+			address: l,
+			chainId: String(a)
+		};
+	}
+};
+//#endregion
+export { b as checkEOAWithDelegation, g as createApproveEmporiumOp, v as createLifiBridgeOps, h as createTransaferEmporiumOpsBatch, m as createTransferToEmporiumOp, f as emporiumOp, p as encodeEmporiumMetadata, _ as generateFundAndApproveOps, S as getAuthorizationDataIfNeeded };

package/common/src/functions/private-wallet/emporium.swap.helpers.cjs

@@ -0,0 +1 @@
+require(`../../../../_virtual/_rolldown/runtime.cjs`);const e=require(`../../constants/protocol.constants.cjs`),t=require(`../utils/caseInsensitive.utils.cjs`),n=require(`../../types/ethereum-network.types.cjs`),r=require(`../../types/external-action.types.cjs`),i=require(`../../error-handling/logger.cjs`),a=require(`../utils/string.utils.cjs`),o=require(`../utils/erc20tokenFunctions.cjs`),s=require(`../../constants/addresses.constants.cjs`),c=require(`../utils/getContractAddress.cjs`),l=require(`./emporium.helpers.cjs`),u=require(`../pre-transaction/getExternalSwapAddress.cjs`);let d=require(`ethers`);var f=(e,t,n,r,i,a,o=!1)=>{let s={tokenIn:t,tokenOut:r,fee:BigInt(a),recipient:i,amountIn:n,amountOutMinimum:0,sqrtPriceLimitX96:0};return l.emporiumOp({contract:new d.ethers.Contract(e,[`function exactInputSingle(tuple(address tokenIn,address tokenOut,uint24 fee,address recipient,uint256 amountIn,uint256 amountOutMinimum,uint160 sqrtPriceLimitX96)) external payable returns (uint256 amountOut)`]),func:`exactInputSingle`,args:[s],invokeWallet:o})},p=(e,t,n,r,i,o,s=!1)=>l.emporiumOp({contract:n,callDataString:a.replaceAllInstances(r,u.getExternalSwapAddress(e,t).slice(2),i.slice(2)),value:o,invokeWallet:s}),m=async(e,n)=>{let r=(await o.getErc20TokensForChainAPI(n)).find(e=>e.symbol===`USDT`);return r?t.caseInsensitiveEqual(e,r.erc20TokenAddress):!1},h=async(e,t,n,r,a,o)=>{if(await m(c.getContractAddress(n),e))try{await n.allowance(r,a)>0n&&t.push(l.createApproveEmporiumOp(n,a,0n,o))}catch(e){i.Logger.error(`Error in nullifyUsdtApprovalIfNeeded`,e)}},g=async(t,r,i,a,o,c,u,f)=>{if(i!==e.zeroAddress){let f=s.SWAP_FEE_TAKER_ADDRESSES[r],p=t.getContractWithFetcher(r,n.ContractType.ERC20Contract,i),m=await p.balanceOf(a);await h(r,c,p,a,f,u),c.push(l.createApproveEmporiumOp(p,f,2n**256n-1n,u));let g=new d.ethers.Contract(f,[`function takeSwapFee(address token, uint256 beforeBalance, uint256 variableRate, address relay) external payable`]),_=o;c.push(l.emporiumOp({contract:g,func:`takeSwapFee`,args:[i,m,e.HINKAL_SWAP_VARIABLE_RATE,_],invokeWallet:u}))}else{let t=o;c.push(l.emporiumOp({contract:t,value:f*e.HINKAL_SWAP_VARIABLE_RATE/10000n,invokeWallet:u}))}},_=async(t,i,a,o,c,u,m,_,v,y,b,x,S=!1)=>{let C=m<0n?-1n*m:m,w=[],T=s.NATIVE_TOKEN_WRAPPER_ADDRESSES[i],E=!1,D;if(a===r.ExternalActionId.OneInch||a===r.ExternalActionId.Lifi){if(u!==e.zeroAddress){let e=t.getContractWithFetcher(i,n.ContractType.ERC20Contract,u);w.push(l.createApproveEmporiumOp(e,o,C,S))}let s=0n;return u===e.zeroAddress&&(s+=C),_&&v===e.zeroAddress&&_<0n&&(s+=-1n*_),D=p(i,a,o,c,b,s>0n?s:void 0,S),w.push(D),(a===r.ExternalActionId.OneInch||y&&a===r.ExternalActionId.Lifi)&&v&&_!==void 0&&await g(t,i,v,b,x,w,S,_),w}if(!v||!_)throw Error(`There should be output token for UniSwap and Odos`);if(u===e.zeroAddress){let e=t.getContractWithFetcher(i,n.ContractType.ERC20Contract,T);w.push(l.emporiumOp({contract:e,func:`deposit`,value:C,invokeWallet:S})),u=T}let O=0n;if(v===e.zeroAddress&&(v=T,E=!0,O=await t.getContractWithFetcher(i,n.ContractType.ERC20Contract,T).balanceOf(b)),u!==e.zeroAddress){let e=t.getContractWithFetcher(i,n.ContractType.ERC20Contract,u);await h(i,w,e,b,o,S),w.push(l.createApproveEmporiumOp(e,o,C,S))}if(D=a===r.ExternalActionId.Uniswap?f(o,u,C,v,b,c,S):p(i,a,o,c,b,void 0,S),w.push(D),await g(t,i,v,b,x,w,S,_),E){let e=s.WRAPPER_TOKEN_EXCHANGE_ADDRESSES[i],r=t.getContractWithFetcher(i,n.ContractType.ERC20Contract,T);w.push(l.createApproveEmporiumOp(r,e,2n**256n-1n,S));let a=new d.ethers.Contract(e,[`function withdrawBalanceDifference(uint256 beforeBalance) external`]);w.push(l.emporiumOp({contract:a,func:`withdrawBalanceDifference`,args:[O],invokeWallet:S}))}return w};exports.createSwapToEmporiumOpForUniswap=f,exports.createSwapToEmporiumOps=_;

package/common/src/functions/private-wallet/emporium.swap.helpers.mjs

@@ -0,0 +1,107 @@
+import { HINKAL_SWAP_VARIABLE_RATE as e, zeroAddress as t } from "../../constants/protocol.constants.mjs";
+import { caseInsensitiveEqual as n } from "../utils/caseInsensitive.utils.mjs";
+import { ContractType as r } from "../../types/ethereum-network.types.mjs";
+import { ExternalActionId as i } from "../../types/external-action.types.mjs";
+import { Logger as a } from "../../error-handling/logger.mjs";
+import { replaceAllInstances as o } from "../utils/string.utils.mjs";
+import { getErc20TokensForChainAPI as s } from "../utils/erc20tokenFunctions.mjs";
+import { NATIVE_TOKEN_WRAPPER_ADDRESSES as c, SWAP_FEE_TAKER_ADDRESSES as l, WRAPPER_TOKEN_EXCHANGE_ADDRESSES as u } from "../../constants/addresses.constants.mjs";
+import { getContractAddress as d } from "../utils/getContractAddress.mjs";
+import { createApproveEmporiumOp as f, emporiumOp as p } from "./emporium.helpers.mjs";
+import { getExternalSwapAddress as m } from "../pre-transaction/getExternalSwapAddress.mjs";
+import { ethers as h } from "ethers";
+//#region libs/shared/common/src/functions/private-wallet/emporium.swap.helpers.ts
+var g = (e, t, n, r, i, a, o = !1) => {
+	let s = {
+		tokenIn: t,
+		tokenOut: r,
+		fee: BigInt(a),
+		recipient: i,
+		amountIn: n,
+		amountOutMinimum: 0,
+		sqrtPriceLimitX96: 0
+	};
+	return p({
+		contract: new h.Contract(e, ["function exactInputSingle(tuple(address tokenIn,address tokenOut,uint24 fee,address recipient,uint256 amountIn,uint256 amountOutMinimum,uint160 sqrtPriceLimitX96)) external payable returns (uint256 amountOut)"]),
+		func: "exactInputSingle",
+		args: [s],
+		invokeWallet: o
+	});
+}, _ = (e, t, n, r, i, a, s = !1) => p({
+	contract: n,
+	callDataString: o(r, m(e, t).slice(2), i.slice(2)),
+	value: a,
+	invokeWallet: s
+}), v = async (e, t) => {
+	let r = (await s(t)).find((e) => e.symbol === "USDT");
+	return r ? n(e, r.erc20TokenAddress) : !1;
+}, y = async (e, t, n, r, i, o) => {
+	if (await v(d(n), e)) try {
+		await n.allowance(r, i) > 0n && t.push(f(n, i, 0n, o));
+	} catch (e) {
+		a.error("Error in nullifyUsdtApprovalIfNeeded", e);
+	}
+}, b = async (n, i, a, o, s, c, u, d) => {
+	if (a !== t) {
+		let t = l[i], d = n.getContractWithFetcher(i, r.ERC20Contract, a), m = await d.balanceOf(o);
+		await y(i, c, d, o, t, u), c.push(f(d, t, 2n ** 256n - 1n, u));
+		let g = new h.Contract(t, ["function takeSwapFee(address token, uint256 beforeBalance, uint256 variableRate, address relay) external payable"]), _ = s;
+		c.push(p({
+			contract: g,
+			func: "takeSwapFee",
+			args: [
+				a,
+				m,
+				e,
+				_
+			],
+			invokeWallet: u
+		}));
+	} else {
+		let t = s;
+		c.push(p({
+			contract: t,
+			value: d * e / 10000n,
+			invokeWallet: u
+		}));
+	}
+}, x = async (e, n, a, o, s, l, d, m, v, x, S, C, w = !1) => {
+	let T = d < 0n ? -1n * d : d, E = [], D = c[n], O = !1, k;
+	if (a === i.OneInch || a === i.Lifi) {
+		if (l !== t) {
+			let t = e.getContractWithFetcher(n, r.ERC20Contract, l);
+			E.push(f(t, o, T, w));
+		}
+		let c = 0n;
+		return l === t && (c += T), m && v === t && m < 0n && (c += -1n * m), k = _(n, a, o, s, S, c > 0n ? c : void 0, w), E.push(k), (a === i.OneInch || x && a === i.Lifi) && v && m !== void 0 && await b(e, n, v, S, C, E, w, m), E;
+	}
+	if (!v || !m) throw Error("There should be output token for UniSwap and Odos");
+	if (l === t) {
+		let t = e.getContractWithFetcher(n, r.ERC20Contract, D);
+		E.push(p({
+			contract: t,
+			func: "deposit",
+			value: T,
+			invokeWallet: w
+		})), l = D;
+	}
+	let A = 0n;
+	if (v === t && (v = D, O = !0, A = await e.getContractWithFetcher(n, r.ERC20Contract, D).balanceOf(S)), l !== t) {
+		let t = e.getContractWithFetcher(n, r.ERC20Contract, l);
+		await y(n, E, t, S, o, w), E.push(f(t, o, T, w));
+	}
+	if (k = a === i.Uniswap ? g(o, l, T, v, S, s, w) : _(n, a, o, s, S, void 0, w), E.push(k), await b(e, n, v, S, C, E, w, m), O) {
+		let t = u[n], i = e.getContractWithFetcher(n, r.ERC20Contract, D);
+		E.push(f(i, t, 2n ** 256n - 1n, w));
+		let a = new h.Contract(t, ["function withdrawBalanceDifference(uint256 beforeBalance) external"]);
+		E.push(p({
+			contract: a,
+			func: "withdrawBalanceDifference",
+			args: [A],
+			invokeWallet: w
+		}));
+	}
+	return E;
+};
+//#endregion
+export { g as createSwapToEmporiumOpForUniswap, x as createSwapToEmporiumOps };

package/common/src/functions/private-wallet/opProducer.cjs

@@ -0,0 +1 @@
+require(`../../externalABIs/index.cjs`),require(`./emporium.helpers.cjs`),require(`ethers`);

package/common/src/functions/private-wallet/opProducer.mjs

@@ -0,0 +1,3 @@
+import "../../externalABIs/index.mjs";
+import "./emporium.helpers.mjs";
+import "ethers";

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

@@ -0,0 +1 @@
+require(`../../../../_virtual/_rolldown/runtime.cjs`);const e=require(`../../constants/protocol.constants.cjs`),t=require(`../../data-structures/crypto-keys/keys.cjs`),n=require(`../../types/circom-data.types.cjs`),r=require(`../../data-structures/crypto-keys/encryptDecryptUtxo.cjs`),i=require(`../utils/external-action.utils.cjs`),a=require(`./getOriginalSender.cjs`),o=require(`../utils/bit.operations.cjs`);let s=require(`ethers`);var c=e=>{if(e.H0?.[0]!==void 0&&e.H0[1]!==void 0)return[e.H0[0],e.H0[1]];if(e.randomization!==void 0)return t.UserKeys.getH0FromRandomization(e.randomization);throw Error(`UTXO missing H0 coordinates for proof input`)},l=e=>{if(e.isNewStyle)return`0`;if(e.randomization!==void 0)return e.randomization.toString();throw Error(`UTXO missing randomization for old-style proof input`)},u=Array.from({length:25},()=>`0`),d=e=>e.length>0&&e.every(e=>e.every(e=>BigInt(e.amount)===0n)),f=e=>({inCommitmentSiblings:e.map(e=>e.map(()=>[...u])),inCommitmentSiblingSides:e.map(e=>e.map(()=>[...u])),inNullifiers:e.map(e=>e.map(()=>`0`))}),p=e=>e.map(e=>e.map(e=>e.amount===0n?`0`:e.getCommitment())),m=(t,n,r=!1)=>{let i=[];for(let a=0;a<t.length;a+=1){let o=0n,s=0n;for(let e=0;e<t[a].length;e+=1)o+=t[a][e].amount;for(let e=0;e<n[a].length;e+=1)s+=n[a][e].amount;s-o<0?r?i.push(s-o):i.push(e.CIRCOM_P+(s-o)):i.push(s-o)}return i},h=e=>e.map(e=>e>=0n?0n:e),g=e=>{if(e.length===0)return[];let t=[[``]];for(let n=0;n<e.length;n+=1)n>0&&t.push([``]),e[n].forEach((e,i)=>{t[n][i]=`0x${Buffer.from(r.encryptUtxo(e)).toString(`hex`)}`});return t},_=e=>{let t={...e};return t.amountChanges=e.amountChanges.map(e=>e.toString()),t.calldataHash=e.calldataHash.toString(),t.rootHashAccessToken=e.rootHashAccessToken?.toString(),t.stealthAddressStructure.extraRandomization=e.stealthAddressStructure.extraRandomization.toString(),t.stealthAddressStructure.stealthAddress=e.stealthAddressStructure.stealthAddress.toString(),t.stealthAddressStructure.H0=e.stealthAddressStructure.H0.toString(),t.stealthAddressStructure.H1=e.stealthAddressStructure.H1.toString(),t.rootHashHinkal=e.rootHashHinkal?.toString(),t.externalActionId=e.externalActionId?.toString(),t.slippageValues=e.slippageValues.map(e=>e.toString()),t.hinkalLogicArgs.inHinkalAddress=e.hinkalLogicArgs.inHinkalAddress.toString(),t.hinkalLogicArgs.executeApprovalChanges=e.hinkalLogicArgs.executeApprovalChanges.map(e=>e.toString()),t.hinkalLogicArgs.useApprovalUtxoData=e.hinkalLogicArgs.useApprovalUtxoData.map(e=>({approvalChanges:e.approvalChanges.map(e=>e.toString()),externalApprovalAddresses:e.externalApprovalAddresses,conversionInHinkalAddress:e.conversionInHinkalAddress.map(e=>e.toString())})),t.feeStructure.flatFee=e.feeStructure.flatFee.toString(),t.feeStructure.variableRate=e.feeStructure.variableRate.toString(),t},v=(t,r,o,c,l,u,d,f,p,m,h,g)=>{let _=Object.values(d||n.defaultHookData),v=g??a.getOriginalSender(o??e.zeroAddress,r),y=s.ethers.AbiCoder.defaultAbiCoder().encode([`uint16`,`address`,`address`,`uint256`,`bytes`],[t,r,o,typeof c==`bigint`?c:i.getExternalActionIdHash(c),l]),b=s.ethers.AbiCoder.defaultAbiCoder().encode([`tuple(address, address, bytes, bytes)`,`bytes[][]`,`tuple(address, uint256, uint256)`,`int256[]`,`bool[]`,`tuple(uint8 v, bytes32 r, bytes32 s, uint256 accessKey, uint256 nonce, address ethereumAddress)`,`address`],[_,u,[m.feeToken,m.flatFee,m.variableRate],f,p,h,v]),x=BigInt(s.ethers.keccak256(y)),S=BigInt(s.ethers.keccak256(b)),C=s.ethers.AbiCoder.defaultAbiCoder().encode([`uint256`,`uint256`],[x,S]);return BigInt(s.ethers.keccak256(C))%e.CIRCOM_P},y=(e,t,n,r,i)=>e.startsWith(`mainEVMCircuitMin0`)?3:2+t.length+n.length+1+r.flat().length+i.flat().length+1+1+1+1+1+1,b=(e,n,r)=>{let i=t.UserKeys.getH1FromH0(e,n),a=BigInt(t.UserKeys.getStealthAddressNewStyle(e,n,r));return{extraRandomization:o.addHighestBitToNumber(e[0]),H0:e[1],H1:i[1],stealthAddress:a}},x=(e,n,r)=>{let{H0:i}=t.UserKeys.getRandomizedStealthPair(e,n);return b(i,n,r)},S=(e,t)=>t.length===0?`mainEVMCircuitMin0`:`mainEVMCircuit${e.length}x${e[0].length}x${t[0].length}`;exports.buildOutCommitments=p,exports.buildZeroInputMerkleDataFromSerialized=f,exports.calcAmountChanges=m,exports.calcEncryptedOutputs=g,exports.calcPublicSignalCount=y,exports.calcStealthAddressStructure=x,exports.calcStealthAddressStructureFromH0=b,exports.createCallDataHash=v,exports.getSlippageValues=h,exports.getUtxoCircuitH0Coords=c,exports.getUtxoCircuitInRandomization=l,exports.getZkProofVerifierName=S,exports.hasOnlyZeroAmounts=d,exports.serializeCircomData=_;

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

@@ -0,0 +1,32 @@
+import { IUtxoConstructor, Utxo } from '../../data-structures/utxo/Utxo';
+import { MerkleTree } from '../../data-structures/merkle-tree';
+import { CircomDataJsonType, CircomDataType, HookDataType, StealthAddressStructure } from '../../types/circom-data.types';
+import { ExternalActionId } from '../../types/external-action.types';
+import { FeeStructure } from '../../types/hinkal.types';
+import { SignatureData } from '../../types/crypto.types';
+export declare const getUtxoCircuitH0Coords: (utxo: Utxo) => [bigint, bigint];
+export declare const getUtxoCircuitInRandomization: (utxo: Utxo) => string;
+export declare const buildInNullifiers: (inputUtxos: Utxo[][], onChainCreation: boolean[]) => string[][];
+export declare const hasOnlyZeroAmounts: <T extends {
+    amount: bigint;
+}>(inputUtxosByToken: T[][]) => boolean;
+export declare const buildZeroInputMerkleDataFromSerialized: (inputUtxosSerialized: IUtxoConstructor[][]) => {
+    inCommitmentSiblings: string[][][];
+    inCommitmentSiblingSides: string[][][];
+    inNullifiers: string[][];
+};
+export declare const buildOutCommitments: (outputUtxos: Utxo[][]) => string[][];
+export declare const calcAmountChanges: (inputUtxos: Utxo[][], outputUtxos: Utxo[][], forCircomData?: boolean) => bigint[];
+export declare const getSlippageValues: (amountChanges: bigint[]) => bigint[];
+export declare const calcEncryptedOutputs: (outputUtxos: Utxo[][]) => string[][];
+export declare const calcCommitmentsSiblingAndSides: (inputUtxos: Utxo[][], merkleTree: MerkleTree<bigint>) => {
+    inCommitmentSiblings: string[][][];
+    inCommitmentSiblingSides: string[][][];
+};
+export declare const serializeCircomData: (circomData: CircomDataType) => CircomDataJsonType;
+export declare const deserializeCircomData: (circomData: CircomDataJsonType) => CircomDataType;
+export declare const createCallDataHash: (publicSignalCount: number, relay: string, externalAddress: string | undefined, externalActionId: bigint | ExternalActionId, externalActionMetadata: string, encryptedOutputs: string[][], hookData: HookDataType | undefined, slippageValues: bigint[], onChainCreation: boolean[], feeStructure: FeeStructure, signatureData: SignatureData, _originalSender?: string) => bigint;
+export declare const calcPublicSignalCount: (verifierName: string, erc20TokenAddresses: string[], amountChanges: bigint[], inNullifiers: string[][], outCommitments: string[][]) => number;
+export declare const calcStealthAddressStructureFromH0: (H0: [bigint, bigint], nullifyingPrivateKey: string, spendingPublicKey: bigint[]) => StealthAddressStructure;
+export declare const calcStealthAddressStructure: (extraRandomization: bigint, nullifyingPrivateKey: string, spendingPublicKey: bigint[]) => StealthAddressStructure;
+export declare const getZkProofVerifierName: (inputUtxos: Utxo[][], outputUtxos: Utxo[][]) => string;

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

@@ -0,0 +1,93 @@
+import { CIRCOM_P as e, zeroAddress as t } from "../../constants/protocol.constants.mjs";
+import { UserKeys as n } from "../../data-structures/crypto-keys/keys.mjs";
+import { defaultHookData as r } from "../../types/circom-data.types.mjs";
+import { encryptUtxo as i } from "../../data-structures/crypto-keys/encryptDecryptUtxo.mjs";
+import { getExternalActionIdHash as a } from "../utils/external-action.utils.mjs";
+import { getOriginalSender as o } from "./getOriginalSender.mjs";
+import { addHighestBitToNumber as s } from "../utils/bit.operations.mjs";
+import { ethers as c } from "ethers";
+//#region libs/shared/common/src/functions/snarkjs/common.snarkjs.ts
+var l = (e) => {
+	if (e.H0?.[0] !== void 0 && e.H0[1] !== void 0) return [e.H0[0], e.H0[1]];
+	if (e.randomization !== void 0) return n.getH0FromRandomization(e.randomization);
+	throw Error("UTXO missing H0 coordinates for proof input");
+}, u = (e) => {
+	if (e.isNewStyle) return "0";
+	if (e.randomization !== void 0) return e.randomization.toString();
+	throw Error("UTXO missing randomization for old-style proof input");
+}, d = Array.from({ length: 25 }, () => "0"), f = (e) => e.length > 0 && e.every((e) => e.every((e) => BigInt(e.amount) === 0n)), p = (e) => ({
+	inCommitmentSiblings: e.map((e) => e.map(() => [...d])),
+	inCommitmentSiblingSides: e.map((e) => e.map(() => [...d])),
+	inNullifiers: e.map((e) => e.map(() => "0"))
+}), m = (e) => e.map((e) => e.map((e) => e.amount === 0n ? "0" : e.getCommitment())), h = (t, n, r = !1) => {
+	let i = [];
+	for (let a = 0; a < t.length; a += 1) {
+		let o = 0n, s = 0n;
+		for (let e = 0; e < t[a].length; e += 1) o += t[a][e].amount;
+		for (let e = 0; e < n[a].length; e += 1) s += n[a][e].amount;
+		s - o < 0 ? r ? i.push(s - o) : i.push(e + (s - o)) : i.push(s - o);
+	}
+	return i;
+}, g = (e) => e.map((e) => e >= 0n ? 0n : e), _ = (e) => {
+	if (e.length === 0) return [];
+	let t = [[""]];
+	for (let n = 0; n < e.length; n += 1) n > 0 && t.push([""]), e[n].forEach((e, r) => {
+		t[n][r] = `0x${Buffer.from(i(e)).toString("hex")}`;
+	});
+	return t;
+}, v = (e) => {
+	let t = { ...e };
+	return t.amountChanges = e.amountChanges.map((e) => e.toString()), t.calldataHash = e.calldataHash.toString(), t.rootHashAccessToken = e.rootHashAccessToken?.toString(), t.stealthAddressStructure.extraRandomization = e.stealthAddressStructure.extraRandomization.toString(), t.stealthAddressStructure.stealthAddress = e.stealthAddressStructure.stealthAddress.toString(), t.stealthAddressStructure.H0 = e.stealthAddressStructure.H0.toString(), t.stealthAddressStructure.H1 = e.stealthAddressStructure.H1.toString(), t.rootHashHinkal = e.rootHashHinkal?.toString(), t.externalActionId = e.externalActionId?.toString(), t.slippageValues = e.slippageValues.map((e) => e.toString()), t.hinkalLogicArgs.inHinkalAddress = e.hinkalLogicArgs.inHinkalAddress.toString(), t.hinkalLogicArgs.executeApprovalChanges = e.hinkalLogicArgs.executeApprovalChanges.map((e) => e.toString()), t.hinkalLogicArgs.useApprovalUtxoData = e.hinkalLogicArgs.useApprovalUtxoData.map((e) => ({
+		approvalChanges: e.approvalChanges.map((e) => e.toString()),
+		externalApprovalAddresses: e.externalApprovalAddresses,
+		conversionInHinkalAddress: e.conversionInHinkalAddress.map((e) => e.toString())
+	})), t.feeStructure.flatFee = e.feeStructure.flatFee.toString(), t.feeStructure.variableRate = e.feeStructure.variableRate.toString(), t;
+}, y = (n, i, s, l, u, d, f, p, m, h, g, _) => {
+	let v = Object.values(f || r), y = _ ?? o(s ?? t, i), b = c.AbiCoder.defaultAbiCoder().encode([
+		"uint16",
+		"address",
+		"address",
+		"uint256",
+		"bytes"
+	], [
+		n,
+		i,
+		s,
+		typeof l == "bigint" ? l : a(l),
+		u
+	]), x = c.AbiCoder.defaultAbiCoder().encode([
+		"tuple(address, address, bytes, bytes)",
+		"bytes[][]",
+		"tuple(address, uint256, uint256)",
+		"int256[]",
+		"bool[]",
+		"tuple(uint8 v, bytes32 r, bytes32 s, uint256 accessKey, uint256 nonce, address ethereumAddress)",
+		"address"
+	], [
+		v,
+		d,
+		[
+			h.feeToken,
+			h.flatFee,
+			h.variableRate
+		],
+		p,
+		m,
+		g,
+		y
+	]), S = BigInt(c.keccak256(b)), C = BigInt(c.keccak256(x)), w = c.AbiCoder.defaultAbiCoder().encode(["uint256", "uint256"], [S, C]);
+	return BigInt(c.keccak256(w)) % e;
+}, b = (e, t, n, r, i) => e.startsWith("mainEVMCircuitMin0") ? 3 : 2 + t.length + n.length + 1 + r.flat().length + i.flat().length + 1 + 1 + 1 + 1 + 1 + 1, x = (e, t, r) => {
+	let i = n.getH1FromH0(e, t), a = BigInt(n.getStealthAddressNewStyle(e, t, r));
+	return {
+		extraRandomization: s(e[0]),
+		H0: e[1],
+		H1: i[1],
+		stealthAddress: a
+	};
+}, S = (e, t, r) => {
+	let { H0: i } = n.getRandomizedStealthPair(e, t);
+	return x(i, t, r);
+}, C = (e, t) => t.length === 0 ? "mainEVMCircuitMin0" : `mainEVMCircuit${e.length}x${e[0].length}x${t[0].length}`;
+//#endregion
+export { m as buildOutCommitments, p as buildZeroInputMerkleDataFromSerialized, h as calcAmountChanges, _ as calcEncryptedOutputs, b as calcPublicSignalCount, S as calcStealthAddressStructure, x as calcStealthAddressStructureFromH0, y as createCallDataHash, g as getSlippageValues, l as getUtxoCircuitH0Coords, u as getUtxoCircuitInRandomization, C as getZkProofVerifierName, f as hasOnlyZeroAmounts, v as serializeCircomData };

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

@@ -0,0 +1 @@
+const e=require(`../../constants/chains.constants.cjs`),t=require(`../../constants/protocol.constants.cjs`),n=require(`../../crypto/poseidon.cjs`),r=require(`../web3/etherFunctions.cjs`),i=require(`../../data-structures/crypto-keys/keys.cjs`),a=require(`../utils/time.utils.cjs`),o=require(`../../types/external-action.types.cjs`),s=require(`../../error-handling/logger.cjs`),c=require(`../utils/bit.operations.cjs`),l=require(`./common.snarkjs.cjs`),ee=require(`./signedMessageHash.cjs`),u=require(`./generateCircomData.cjs`),te=require(`../../data-structures/AccountActions/AccountActions.cjs`),d=require(`./generateMainAndCommitmentZkProof.cjs`),f=require(`./getMerkleTreeSiblingsAndRootHashes.cjs`),p=require(`../private-wallet/emporium.helpers.cjs`);var m=async(m,h,g,_,v,y,b,x,S,C=t.zeroAddress,w=e.chainIds.localhost,T=h.map(()=>!1),E=void 0,D,O)=>{let k=l.getZkProofVerifierName(h,g),A=l.calcAmountChanges(h,g),j=h.map(e=>e[0].erc20TokenAddress),M=l.calcEncryptedOutputs(g),N=t.defaultSignatureData,P=_.getShieldedPrivateKey(),{pubSpendingBJJPoint:F}=_.getSpendingKeyPair(),I=l.calcStealthAddressStructure(i.UserKeys.findCorrectRandomization(r.randomBigInt(31),P),P,_.getSpendingKeyPair().pubSpendingBJJPoint),{inCommitmentSiblings:ne,inCommitmentSiblingSides:re,rootHashHinkal:L,inNullifiers:R}=await f.getDataFromWorkers(w,m,h.map(e=>e.map(e=>e.getConstructableParams()))),z=l.buildOutCommitments(g),B=r.randomBigInt(31),V=n.poseidonFunction(B),H=BigInt(g.length>0?g[0][0].timeStamp:a.getCurrentTimeInSeconds()),U={rootHashHinkal:L,spendingPublicKey:F,nullifyingPrivateKey:P,erc20TokenAddresses:j,amountChanges:A,inAmounts:h.map(e=>e.map(e=>e.amount.toString())),inRandomizations:h.map(e=>e.map(e=>l.getUtxoCircuitInRandomization(e))),inH0Ax:h.map(e=>e.map(e=>l.getUtxoCircuitH0Coords(e)[0].toString())),inH0Ay:h.map(e=>e.map(e=>l.getUtxoCircuitH0Coords(e)[1].toString())),isNewStyle:h.map(e=>e.map(e=>!!e.isNewStyle)),inTimeStamps:h.map(e=>e.map(e=>e.timeStamp)),inNullifiers:R,inCommitmentSiblings:ne,inCommitmentSiblingSides:re,outAmounts:g.map(e=>e.map(e=>e.amount.toString())),outTimeStamp:H,outPublicKeys:g.map(e=>e.map(e=>e.getStealthAddress())),outCommitments:z,calldataHash:0n,messageSeed:B,H0Ax:c.takeOffHighestBit(I.extraRandomization),H0Ay:I.H0},W=l.calcPublicSignalCount(k,U.erc20TokenAddresses,U.amountChanges,U.inNullifiers,U.outCommitments),G=l.calcAmountChanges(h,g,!0),K=l.getSlippageValues(G);s.Logger.log({publicSignalCount:W});let q=Array.isArray(b)?b:[b],J=e.getOnchainChainId(w),Y=O?te.AccountActions.getSignerAddressFromPrivateKey(J,O):void 0,X=v===o.ExternalActionId.Emporium?await p.encodeEmporiumMetadata(w,y??t.zeroAddress,O,q,V,Y):await p.encodeEmporiumMetadata(w,t.zeroAddress,void 0,v===0n?[]:q,V,t.zeroAddress);U.calldataHash=l.createCallDataHash(W,C,y,v,X,M,E,K,T,S,N,D);let Z=ee.computeSignedMessageHashEvm({rootHashHinkal:L,erc20TokenAddresses:j,amountChanges:A,outTimeStamp:H,inNullifiers:R,outCommitments:z,calldataHash:U.calldataHash,message:V,outH1Ay:I.H1,H0Ax:U.H0Ax,H0Ay:I.H0}),{R8:Q,S:ie}=_.signEddsa(Z);U.eddsaSignature=[Q[0],Q[1],ie],U.signedMessageHash=Z;let $=k.startsWith(`mainEVMCircuitMin0`),ae={outTimeStamp:H,calldataHash:U.calldataHash,messageSeed:B},{zkCallData:oe,commitmentValidationData:se}=await d.generateMainAndCommitmentZkProof(w,_,j,h,k,$?ae:U,x);return{zkCallData:oe,circomData:u.generateCircomData(z,R,L,G,j,g,M,W,v,y,X,C,U.calldataHash,I,T,E,$?Number(H):void 0,K,S,N,D),dimData:{tokenNumber:h.length,nullifierAmount:h.length>0?h[0].length:0,outputAmount:g.length>0?g[0].length:0},encryptedOutputs:M,commitmentValidationData:se}};exports.constructZkProof=m;

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

@@ -0,0 +1,82 @@
+import { chainIds as e, getOnchainChainId as t } from "../../constants/chains.constants.mjs";
+import { defaultSignatureData as ee, zeroAddress as n } from "../../constants/protocol.constants.mjs";
+import { poseidonFunction as te } from "../../crypto/poseidon.mjs";
+import { randomBigInt as r } from "../web3/etherFunctions.mjs";
+import { UserKeys as i } from "../../data-structures/crypto-keys/keys.mjs";
+import { getCurrentTimeInSeconds as a } from "../utils/time.utils.mjs";
+import { ExternalActionId as o } from "../../types/external-action.types.mjs";
+import { Logger as s } from "../../error-handling/logger.mjs";
+import { takeOffHighestBit as ne } from "../utils/bit.operations.mjs";
+import { buildOutCommitments as re, calcAmountChanges as c, calcEncryptedOutputs as ie, calcPublicSignalCount as ae, calcStealthAddressStructure as oe, createCallDataHash as se, getSlippageValues as ce, getUtxoCircuitH0Coords as l, getUtxoCircuitInRandomization as le, getZkProofVerifierName as ue } from "./common.snarkjs.mjs";
+import { computeSignedMessageHashEvm as de } from "./signedMessageHash.mjs";
+import { generateCircomData as fe } from "./generateCircomData.mjs";
+import { AccountActions as u } from "../../data-structures/AccountActions/AccountActions.mjs";
+import { generateMainAndCommitmentZkProof as d } from "./generateMainAndCommitmentZkProof.mjs";
+import { getDataFromWorkers as f } from "./getMerkleTreeSiblingsAndRootHashes.mjs";
+import { encodeEmporiumMetadata as p } from "../private-wallet/emporium.helpers.mjs";
+//#region libs/shared/common/src/functions/snarkjs/constructGeneralZkProof.ts
+var m = async (m, h, g, _, v, y, b, pe, x, S = n, C = e.localhost, w = h.map(() => !1), T = void 0, E, D) => {
+	let O = ue(h, g), k = c(h, g), A = h.map((e) => e[0].erc20TokenAddress), j = ie(g), M = ee, N = _.getShieldedPrivateKey(), { pubSpendingBJJPoint: P } = _.getSpendingKeyPair(), F = oe(i.findCorrectRandomization(r(31), N), N, _.getSpendingKeyPair().pubSpendingBJJPoint), { inCommitmentSiblings: I, inCommitmentSiblingSides: L, rootHashHinkal: R, inNullifiers: z } = await f(C, m, h.map((e) => e.map((e) => e.getConstructableParams()))), B = re(g), V = r(31), H = te(V), U = BigInt(g.length > 0 ? g[0][0].timeStamp : a()), W = {
+		rootHashHinkal: R,
+		spendingPublicKey: P,
+		nullifyingPrivateKey: N,
+		erc20TokenAddresses: A,
+		amountChanges: k,
+		inAmounts: h.map((e) => e.map((e) => e.amount.toString())),
+		inRandomizations: h.map((e) => e.map((e) => le(e))),
+		inH0Ax: h.map((e) => e.map((e) => l(e)[0].toString())),
+		inH0Ay: h.map((e) => e.map((e) => l(e)[1].toString())),
+		isNewStyle: h.map((e) => e.map((e) => !!e.isNewStyle)),
+		inTimeStamps: h.map((e) => e.map((e) => e.timeStamp)),
+		inNullifiers: z,
+		inCommitmentSiblings: I,
+		inCommitmentSiblingSides: L,
+		outAmounts: g.map((e) => e.map((e) => e.amount.toString())),
+		outTimeStamp: U,
+		outPublicKeys: g.map((e) => e.map((e) => e.getStealthAddress())),
+		outCommitments: B,
+		calldataHash: 0n,
+		messageSeed: V,
+		H0Ax: ne(F.extraRandomization),
+		H0Ay: F.H0
+	}, G = ae(O, W.erc20TokenAddresses, W.amountChanges, W.inNullifiers, W.outCommitments), K = c(h, g, !0), q = ce(K);
+	s.log({ publicSignalCount: G });
+	let J = Array.isArray(b) ? b : [b], me = t(C), he = D ? u.getSignerAddressFromPrivateKey(me, D) : void 0, Y = v === o.Emporium ? await p(C, y ?? n, D, J, H, he) : await p(C, n, void 0, v === 0n ? [] : J, H, n);
+	W.calldataHash = se(G, S, y, v, Y, j, T, q, w, x, M, E);
+	let X = de({
+		rootHashHinkal: R,
+		erc20TokenAddresses: A,
+		amountChanges: k,
+		outTimeStamp: U,
+		inNullifiers: z,
+		outCommitments: B,
+		calldataHash: W.calldataHash,
+		message: H,
+		outH1Ay: F.H1,
+		H0Ax: W.H0Ax,
+		H0Ay: F.H0
+	}), { R8: Z, S: ge } = _.signEddsa(X);
+	W.eddsaSignature = [
+		Z[0],
+		Z[1],
+		ge
+	], W.signedMessageHash = X;
+	let Q = O.startsWith("mainEVMCircuitMin0"), $ = {
+		outTimeStamp: U,
+		calldataHash: W.calldataHash,
+		messageSeed: V
+	}, { zkCallData: _e, commitmentValidationData: ve } = await d(C, _, A, h, O, Q ? $ : W, pe);
+	return {
+		zkCallData: _e,
+		circomData: fe(B, z, R, K, A, g, j, G, v, y, Y, S, W.calldataHash, F, w, T, Q ? Number(U) : void 0, q, x, M, E),
+		dimData: {
+			tokenNumber: h.length,
+			nullifierAmount: h.length > 0 ? h[0].length : 0,
+			outputAmount: g.length > 0 ? g[0].length : 0
+		},
+		encryptedOutputs: j,
+		commitmentValidationData: ve
+	};
+};
+//#endregion
+export { m as constructZkProof };

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

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

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 libs/shared/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/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.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 libs/shared/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;