@sabaaa1/common 0.2.16

package/functions/snarkjs/constant.mjs

@@ -0,0 +1,427 @@
+import { chainIds as s } from "../../constants/chains.constants.mjs";
+import { logError as r } from "../../error-handling/logError.mjs";
+const m = "https://enclave-server.hinkal.pro", a = {
+  ethMainnet: "https://hinkal-zk-verifiers-may-2024.s3.us-west-1.amazonaws.com/",
+  polygon: "https://hinkal-zk-new-verifiers.s3.us-west-1.amazonaws.com/",
+  bnb: "https://hinkal-zk-verifiers-may-2024.s3.us-west-1.amazonaws.com/",
+  arbitrum: "https://hinkal-zk-verifiers-may-2024.s3.us-west-1.amazonaws.com/",
+  optimism: "https://hinkal-zk-new-verifiers.s3.us-west-1.amazonaws.com/",
+  avalanche: "https://hinkal-zk-new-verifiers.s3.us-west-1.amazonaws.com/",
+  base: "https://hinkal-zk-verifiers-may-2024.s3.us-west-1.amazonaws.com/",
+  arcTestnet: "https://hinkal-zk-verifiers-may-2024.s3.us-west-1.amazonaws.com/"
+}, e = "https://s3.us-west-1.amazonaws.com/hinkal-v1.1-verifiers/", M = (p, w) => {
+  switch (w) {
+    case s.ethMainnet:
+      return p === "v1x1" ? e : a.ethMainnet;
+    case s.polygon:
+      return p === "v1x1" ? e : a.polygon;
+    case s.bnbMainnet:
+      return p === "v1x1" ? e : a.bnb;
+    case s.arbMainnet:
+      return p === "v1x1" ? e : a.arbitrum;
+    case s.optimism:
+      return p === "v1x1" ? e : a.optimism;
+    case s.avalanche:
+      return p === "v1x1" ? e : a.avalanche;
+    case s.base:
+      return p === "v1x1" ? e : a.base;
+    case s.arcTestnet:
+      return p === "v1x1" ? e : a.arcTestnet;
+    default:
+      return r("Warning: no S3 bucket specified for selected chainid: ", w), p === "v1x1" ? e : a.ethMainnet;
+  }
+}, y = (p, w) => {
+  const x = M(w, p);
+  return {
+    swapperM1x2x1Zkey: `${x}swapperM1x2x1_final-31337.zkey`,
+    swapperM1x2x1Wasm: `${x}swapperM1x2x1-31337.wasm`,
+    swapperM1x6x1Zkey: `${x}swapperM1x6x1_final-31337.zkey`,
+    swapperM1x6x1Wasm: `${x}swapperM1x6x1-31337.wasm`,
+    swapperM1x2x2v1x1Zkey: `${x}swapperM1x2x2_final-1.1.zkey`,
+    swapperM1x2x2v1x1Wasm: `${x}swapperM1x2x2-1.1.wasm`,
+    swapperM1x6x2v1x1Zkey: `${x}swapperM1x6x2_final-1.1.zkey`,
+    swapperM1x6x2v1x1Wasm: `${x}swapperM1x6x2-1.1.wasm`,
+    swapperM2x2x2v1x1Zkey: `${x}swapperM2x2x2_final-1.1.zkey`,
+    swapperM2x2x2v1x1Wasm: `${x}swapperM2x2x2-1.1.wasm`,
+    swapperM2x6x2v1x1Zkey: `${x}swapperM2x6x2_final-1.1.zkey`,
+    swapperM2x6x2v1x1Wasm: `${x}swapperM2x6x2-1.1.wasm`,
+    swapperM1x2x1v1x1Zkey: `${x}swapperM1x2x1_final-1.1.zkey`,
+    swapperM1x2x1v1x1Wasm: `${x}swapperM1x2x1-1.1.wasm`,
+    swapperM1x6x1v1x1Zkey: `${x}swapperM1x6x1_final-1.1.zkey`,
+    swapperM1x6x1v1x1Wasm: `${x}swapperM1x6x1-1.1.wasm`,
+    swapperME1x2x1Zkey: `${x}swapperME1x2x1_final-31337.zkey`,
+    swapperME1x2x1Wasm: `${x}swapperME1x2x1-31337.wasm`,
+    swapperM2x2x1Zkey: `${x}swapperM2x2x1_final-31337.zkey`,
+    swapperM2x2x1Wasm: `${x}swapperM2x2x1-31337.wasm`,
+    swapperM2x6x1Zkey: `${x}swapperM2x6x1_final-31337.zkey`,
+    swapperM2x6x1Wasm: `${x}swapperM2x6x1-31337.wasm`,
+    swapperM2x2x1v1x1Zkey: `${x}swapperM2x2x1_final-1.1.zkey`,
+    swapperM2x2x1v1x1Wasm: `${x}swapperM2x2x1-1.1.wasm`,
+    swapperM2x6x1v1x1Zkey: `${x}swapperM2x6x1_final-1.1.zkey`,
+    swapperM2x6x1v1x1Wasm: `${x}swapperM2x6x1-1.1.wasm`,
+    swapperMO2x2x1Zkey: `${x}swapperMO2x2x1_final-31337.zkey`,
+    swapperMO2x2x1Wasm: `${x}swapperMO2x2x1-31337.wasm`,
+    swapperMO2x6x1Zkey: `${x}swapperMO2x6x1_final-31337.zkey`,
+    swapperMO2x6x1Wasm: `${x}swapperMO2x6x1-31337.wasm`,
+    swapperToken2x2x1Zkey: `${x}swapperToken2x2x1_final-31337.zkey`,
+    swapperToken2x2x1Wasm: `${x}swapperToken2x2x1-31337.wasm`,
+    swapperToken2x6x1Zkey: `${x}swapperToken2x6x1_final-31337.zkey`,
+    swapperToken2x6x1Wasm: `${x}swapperToken2x6x1-31337.wasm`,
+    swapperM3x2x1Zkey: `${x}swapperM3x2x1_final-31337.zkey`,
+    swapperM3x2x1Wasm: `${x}swapperM3x2x1-31337.wasm`,
+    swapperM3x6x1Zkey: `${x}swapperM3x6x1_final-31337.zkey`,
+    swapperM3x6x1Wasm: `${x}swapperM3x6x1-31337.wasm`,
+    swapperM3x2x1v1x1Zkey: `${x}swapperM3x2x1_final-1.1.zkey`,
+    swapperM3x2x1v1x1Wasm: `${x}swapperM3x2x1-1.1.wasm`,
+    swapperM3x6x1v1x1Zkey: `${x}swapperM3x6x1_final-1.1.zkey`,
+    swapperM3x6x1v1x1Wasm: `${x}swapperM3x6x1-1.1.wasm`,
+    swapperMO3x2x1Zkey: `${x}swapperMO3x2x1_final-31337.zkey`,
+    swapperMO3x2x1Wasm: `${x}swapperMO3x2x1-31337.wasm`,
+    swapperMO3x6x1Zkey: `${x}swapperMO3x6x1_final-31337.zkey`,
+    swapperMO3x6x1Wasm: `${x}swapperMO3x6x1-31337.wasm`,
+    swapperM4x2x1Zkey: `${x}swapperM4x2x1_final-31337.zkey`,
+    swapperM4x2x1Wasm: `${x}swapperM4x2x1-31337.wasm`,
+    swapperM4x6x1Zkey: `${x}swapperM4x6x1_final-31337.zkey`,
+    swapperM4x6x1Wasm: `${x}swapperM4x6x1-31337.wasm`,
+    swapperM4x2x1v1x1Zkey: `${x}swapperM4x2x1_final-1.1.zkey`,
+    swapperM4x2x1v1x1Wasm: `${x}swapperM4x2x1-1.1.wasm`,
+    swapperM4x6x1v1x1Zkey: `${x}swapperM4x6x1_final-1.1.zkey`,
+    swapperM4x6x1v1x1Wasm: `${x}swapperM4x6x1-1.1.wasm`,
+    swapperMO4x2x1Zkey: `${x}swapperMO4x2x1_final-31337.zkey`,
+    swapperMO4x2x1Wasm: `${x}swapperMO4x2x1-31337.wasm`,
+    swapperMO4x6x1Zkey: `${x}swapperMO4x6x1_final-31337.zkey`,
+    swapperMO4x6x1Wasm: `${x}swapperMO4x6x1-31337.wasm`,
+    swapperM5x2x1Zkey: `${x}swapperM5x2x1_final-31337.zkey`,
+    swapperM5x2x1Wasm: `${x}swapperM5x2x1-31337.wasm`,
+    swapperM5x6x1Zkey: `${x}swapperM5x6x1_final-31337.zkey`,
+    swapperM5x6x1Wasm: `${x}swapperM5x6x1-31337.wasm`,
+    swapperM5x2x1v1x1Zkey: `${x}swapperM5x2x1_final-1.1.zkey`,
+    swapperM5x2x1v1x1Wasm: `${x}swapperM5x2x1-1.1.wasm`,
+    swapperM5x6x1v1x1Zkey: `${x}swapperM5x6x1_final-1.1.zkey`,
+    swapperM5x6x1v1x1Wasm: `${x}swapperM5x6x1-1.1.wasm`,
+    swapperMO5x2x1Zkey: `${x}swapperMO5x2x1_final-31337.zkey`,
+    swapperMO5x2x1Wasm: `${x}swapperMO5x2x1-31337.wasm`,
+    swapperMO5x6x1Zkey: `${x}swapperMO5x6x1_final-31337.zkey`,
+    swapperMO5x6x1Wasm: `${x}swapperMO5x6x1-31337.wasm`,
+    swapperMTS2x2x1Zkey: "swapperMTS2x2x1_final-31337.zkey",
+    swapperMTS2x2x1Wasm: "swapperMTS2x2x1-31337.wasm",
+    transactionsProverZkey: `${x}transactionsProver.zkey`,
+    transactionsProverWasm: `${x}transactionsProver.wasm`,
+    stakeProverZkey: `${x}StakeProver_final-31337.zkey`,
+    stakeProverWasm: `${x}StakeProver-31337.wasm`,
+    stakeProverPermissionlessZkey: `${x}StakeProverPermissionless_final-31337.zkey`,
+    stakeProverPermissionlessWasm: `${x}StakeProverPermissionless-31337.wasm`,
+    swapperMW1x2Wasm: `${x}swapperMW1x2-31337.wasm`,
+    swapperMW1x2Zkey: `${x}swapperMW1x2_final-31337.zkey`,
+    swapperMW1x6Wasm: `${x}swapperMW1x6-31337.wasm`,
+    swapperMW1x6Zkey: `${x}swapperMW1x6_final-31337.zkey`,
+    swapperMW2x2Wasm: `${x}swapperMW2x2-31337.wasm`,
+    swapperMW2x2Zkey: `${x}swapperMW2x2_final-31337.zkey`,
+    swapperMW2x6Wasm: `${x}swapperMW2x6-31337.wasm`,
+    swapperMW2x6Zkey: `${x}swapperMW2x6_final-31337.zkey`,
+    swapperMW3x2Wasm: `${x}swapperMW3x2-31337.wasm`,
+    swapperMW3x2Zkey: `${x}swapperMW3x2_final-31337.zkey`,
+    swapperMW3x6Wasm: `${x}swapperMW3x6-31337.wasm`,
+    swapperMW3x6Zkey: `${x}swapperMW3x6_final-31337.zkey`,
+    swapperMW4x2Wasm: `${x}swapperMW4x2-31337.wasm`,
+    swapperMW4x2Zkey: `${x}swapperMW4x2_final-31337.zkey`,
+    swapperMW4x6Wasm: `${x}swapperMW4x6-31337.wasm`,
+    swapperMW4x6Zkey: `${x}swapperMW4x6_final-31337.zkey`,
+    swapperMW5x2Wasm: `${x}swapperMW5x2-31337.wasm`,
+    swapperMW5x2Zkey: `${x}swapperMW5x2_final-31337.zkey`,
+    swapperMW5x6Wasm: `${x}swapperMW5x6-31337.wasm`,
+    swapperMW5x6Zkey: `${x}swapperMW5x6_final-31337.zkey`,
+    swapperMW1x2x1Wasm: `${x}swapperMW1x2x1-31337.wasm`,
+    swapperMW1x2x1Zkey: `${x}swapperMW1x2x1_final-31337.zkey`,
+    swapperMW1x6x1Wasm: `${x}swapperMW1x6x1-31337.wasm`,
+    swapperMW1x6x1Zkey: `${x}swapperMW1x6x1_final-31337.zkey`,
+    swapperMW2x2x1Wasm: `${x}swapperMW2x2x1-31337.wasm`,
+    swapperMW2x2x1Zkey: `${x}swapperMW2x2x1_final-31337.zkey`,
+    swapperMW2x6x1Wasm: `${x}swapperMW2x6x1-31337.wasm`,
+    swapperMW2x6x1Zkey: `${x}swapperMW2x6x1_final-31337.zkey`,
+    swapperMW3x2x1Wasm: `${x}swapperMW3x2x1-31337.wasm`,
+    swapperMW3x2x1Zkey: `${x}swapperMW3x2x1_final-31337.zkey`,
+    swapperMW3x6x1Wasm: `${x}swapperMW3x6x1-31337.wasm`,
+    swapperMW3x6x1Zkey: `${x}swapperMW3x6x1_final-31337.zkey`,
+    swapperMW4x2x1Wasm: `${x}swapperMW4x2x1-31337.wasm`,
+    swapperMW4x2x1Zkey: `${x}swapperMW4x2x1_final-31337.zkey`,
+    swapperMW4x6x1Wasm: `${x}swapperMW4x6x1-31337.wasm`,
+    swapperMW4x6x1Zkey: `${x}swapperMW4x6x1_final-31337.zkey`,
+    swapperMW5x2x1Wasm: `${x}swapperMW5x2x1-31337.wasm`,
+    swapperMW5x2x1Zkey: `${x}swapperMW5x2x1_final-31337.zkey`,
+    swapperMW5x6x1Wasm: `${x}swapperMW5x6x1-31337.wasm`,
+    swapperMW5x6x1Zkey: `${x}swapperMW5x6x1_final-31337.zkey`,
+    swapperMW1x0x1Wasm: `${x}swapperMW1x0x1-31337.wasm`,
+    swapperMW1x0x1Zkey: `${x}swapperMW1x0x1_final-31337.zkey`,
+    swapperMW2x0x1Wasm: `${x}swapperMW2x0x1-31337.wasm`,
+    swapperMW2x0x1Zkey: `${x}swapperMW2x0x1_final-31337.zkey`,
+    swapperMW3x0x1Wasm: `${x}swapperMW3x0x1-31337.wasm`,
+    swapperMW3x0x1Zkey: `${x}swapperMW3x0x1_final-31337.zkey`,
+    swapperMW0x0x0Wasm: `${x}swapperMW0x0x0-31337.wasm`,
+    swapperMW0x0x0Zkey: `${x}swapperMW0x0x0_final-31337.zkey`,
+    swapperMW1x2x1v1x1Wasm: `${x}swapperMW1x2x1-1.1.wasm`,
+    swapperMW1x2x1v1x1Zkey: `${x}swapperMW1x2x1_final-1.1.zkey`,
+    swapperMW1x6x1v1x1Wasm: `${x}swapperMW1x6x1-1.1.wasm`,
+    swapperMW1x6x1v1x1Zkey: `${x}swapperMW1x6x1_final-1.1.zkey`,
+    swapperMW2x2x1v1x1Wasm: `${x}swapperMW2x2x1-1.1.wasm`,
+    swapperMW2x2x1v1x1Zkey: `${x}swapperMW2x2x1_final-1.1.zkey`,
+    swapperMW2x6x1v1x1Wasm: `${x}swapperMW2x6x1-1.1.wasm`,
+    swapperMW2x6x1v1x1Zkey: `${x}swapperMW2x6x1_final-1.1.zkey`,
+    swapperMW3x2x1v1x1Wasm: `${x}swapperMW3x2x1-1.1.wasm`,
+    swapperMW3x2x1v1x1Zkey: `${x}swapperMW3x2x1_final-1.1.zkey`,
+    swapperMW3x6x1v1x1Wasm: `${x}swapperMW3x6x1-1.1.wasm`,
+    swapperMW3x6x1v1x1Zkey: `${x}swapperMW3x6x1_final-1.1.zkey`,
+    swapperMW4x2x1v1x1Wasm: `${x}swapperMW4x2x1-1.1.wasm`,
+    swapperMW4x2x1v1x1Zkey: `${x}swapperMW4x2x1_final-1.1.zkey`,
+    swapperMW4x6x1v1x1Wasm: `${x}swapperMW4x6x1-1.1.wasm`,
+    swapperMW4x6x1v1x1Zkey: `${x}swapperMW4x6x1_final-1.1.zkey`,
+    swapperMW5x2x1v1x1Wasm: `${x}swapperMW5x2x1-1.1.wasm`,
+    swapperMW5x2x1v1x1Zkey: `${x}swapperMW5x2x1_final-1.1.zkey`,
+    swapperMW5x6x1v1x1Wasm: `${x}swapperMW5x6x1-1.1.wasm`,
+    swapperMW5x6x1v1x1Zkey: `${x}swapperMW5x6x1_final-1.1.zkey`,
+    swapperMW1x0x1v1x1Wasm: `${x}swapperMW1x0x1-1.1.wasm`,
+    swapperMW1x0x1v1x1Zkey: `${x}swapperMW1x0x1_final-1.1.zkey`,
+    swapperMW2x0x1v1x1Wasm: `${x}swapperMW2x0x1-1.1.wasm`,
+    swapperMW2x0x1v1x1Zkey: `${x}swapperMW2x0x1_final-1.1.zkey`,
+    swapperMW3x0x1v1x1Wasm: `${x}swapperMW3x0x1-1.1.wasm`,
+    swapperMW3x0x1v1x1Zkey: `${x}swapperMW3x0x1_final-1.1.zkey`,
+    swapperMWMin0v1x1Wasm: `${x}swapperMWMin0-1.1.wasm`,
+    swapperMWMin0v1x1Zkey: `${x}swapperMWMin0_final-1.1.zkey`,
+    swapperMHA1x2x1Wasm: `${x}swapperMHA1x2x1-31337.wasm`,
+    swapperMHA1x6x1Wasm: `${x}swapperMHA1x6x1-31337.wasm`,
+    swapperMHA1x2x1Zkey: `${x}swapperMHA1x2x1_final-31337.zkey`,
+    swapperMHA1x6x1Zkey: `${x}swapperMHA1x6x1_final-31337.zkey`,
+    swapperMHA2x2x1Wasm: `${x}swapperMHA2x2x1-31337.wasm`,
+    swapperMHA2x2x1Zkey: `${x}swapperMHA2x2x1_final-31337.zkey`,
+    swapperMHA2x6x1Wasm: `${x}swapperMHA2x6x1-31337.wasm`,
+    swapperMHA2x6x1Zkey: `${x}swapperMHA2x6x1_final-31337.zkey`,
+    swapperMHA3x2x1Wasm: `${x}swapperMHA3x2x1-31337.wasm`,
+    swapperMHA3x2x1Zkey: `${x}swapperMHA3x2x1_final-31337.zkey`,
+    swapperMHA3x6x1Wasm: `${x}swapperMHA3x6x1-31337.wasm`,
+    swapperMHA3x6x1Zkey: `${x}swapperMHA3x6x1_final-31337.zkey`,
+    swapperMHA4x2x1Wasm: `${x}swapperMHA4x2x1-31337.wasm`,
+    swapperMHA4x2x1Zkey: `${x}swapperMHA4x2x1_final-31337.zkey`,
+    swapperMHA4x6x1Wasm: `${x}swapperMHA4x6x1-31337.wasm`,
+    swapperMHA4x6x1Zkey: `${x}swapperMHA4x6x1_final-31337.zkey`,
+    swapperMHA1x2x1v1x1Wasm: `${x}swapperMHA1x2x1-1.1.wasm`,
+    swapperMHA1x2x1v1x1Zkey: `${x}swapperMHA1x2x1_final-1.1.zkey`,
+    swapperMHA1x6x1v1x1Wasm: `${x}swapperMHA1x6x1-1.1.wasm`,
+    swapperMHA1x6x1v1x1Zkey: `${x}swapperMHA1x6x1_final-1.1.zkey`,
+    swapperMHA2x2x1v1x1Wasm: `${x}swapperMHA2x2x1-1.1.wasm`,
+    swapperMHA2x2x1v1x1Zkey: `${x}swapperMHA2x2x1_final-1.1.zkey`,
+    swapperMHA2x6x1v1x1Wasm: `${x}swapperMHA2x6x1-1.1.wasm`,
+    swapperMHA2x6x1v1x1Zkey: `${x}swapperMHA2x6x1_final-1.1.zkey`,
+    swapperMHA3x2x1v1x1Wasm: `${x}swapperMHA3x2x1-1.1.wasm`,
+    swapperMHA3x2x1v1x1Zkey: `${x}swapperMHA3x2x1_final-1.1.zkey`,
+    swapperMHA3x6x1v1x1Wasm: `${x}swapperMHA3x6x1-1.1.wasm`,
+    swapperMHA3x6x1v1x1Zkey: `${x}swapperMHA3x6x1_final-1.1.zkey`,
+    swapperMHA4x2x1v1x1Wasm: `${x}swapperMHA4x2x1-1.1.wasm`,
+    swapperMHA4x2x1v1x1Zkey: `${x}swapperMHA4x2x1_final-1.1.zkey`,
+    swapperMHA4x6x1v1x1Wasm: `${x}swapperMHA4x6x1-1.1.wasm`,
+    swapperMHA4x6x1v1x1Zkey: `${x}swapperMHA4x6x1_final-1.1.zkey`,
+    swapperMHA5x2x1v1x1Wasm: `${x}swapperMHA5x2x1-1.1.wasm`,
+    swapperMHA5x2x1v1x1Zkey: `${x}swapperMHA5x2x1_final-1.1.zkey`,
+    swapperMHA5x6x1v1x1Wasm: `${x}swapperMHA5x6x1-1.1.wasm`,
+    swapperMHA5x6x1v1x1Zkey: `${x}swapperMHA5x6x1_final-1.1.zkey`
+  };
+}, n = {
+  swapperM1x2x1Zkey: "swapperM1x2x1_final-31337.zkey",
+  swapperM1x2x1Wasm: "swapperM1x2x1-31337.wasm",
+  swapperM1x6x1Zkey: "swapperM1x6x1_final-31337.zkey",
+  swapperM1x6x1Wasm: "swapperM1x6x1-31337.wasm",
+  swapperM1x2x2v1x1Zkey: "swapperM1x2x2_final-1.1.zkey",
+  swapperM1x2x2v1x1Wasm: "swapperM1x2x2-1.1.wasm",
+  swapperM1x6x2v1x1Zkey: "swapperM1x6x2_final-1.1.zkey",
+  swapperM1x6x2v1x1Wasm: "swapperM1x6x2-1.1.wasm",
+  swapperM2x2x2v1x1Zkey: "swapperM2x2x2_final-1.1.zkey",
+  swapperM2x2x2v1x1Wasm: "swapperM2x2x2-1.1.wasm",
+  swapperM2x6x2v1x1Zkey: "swapperM2x6x2_final-1.1.zkey",
+  swapperM2x6x2v1x1Wasm: "swapperM2x6x2-1.1.wasm",
+  swapperM1x2x1v1x1Zkey: "swapperM1x2x1_final-1.1.zkey",
+  swapperM1x2x1v1x1Wasm: "swapperM1x2x1-1.1.wasm",
+  swapperM1x6x1v1x1Zkey: "swapperM1x6x1_final-1.1.zkey",
+  swapperM1x6x1v1x1Wasm: "swapperM1x6x1-1.1.wasm",
+  swapperMO1x2x1Zkey: "swapperMO1x2x1_final-31337.zkey",
+  swapperMO1x2x1Wasm: "swapperMO1x2x1-31337.wasm",
+  swapperMO1x6x1Zkey: "swapperMO1x6x1_final-31337.zkey",
+  swapperMO1x6x1Wasm: "swapperMO1x6x1-31337.wasm",
+  swapperME1x2x1Zkey: "swapperME1x2x1_final-31337.zkey",
+  swapperME1x2x1Wasm: "swapperME1x2x1-31337.wasm",
+  swapperM2x2x1Zkey: "swapperM2x2x1_final-31337.zkey",
+  swapperM2x2x1Wasm: "swapperM2x2x1-31337.wasm",
+  swapperM2x6x1Zkey: "swapperM2x6x1_final-31337.zkey",
+  swapperM2x6x1Wasm: "swapperM2x6x1-31337.wasm",
+  swapperM2x2x1v1x1Zkey: "swapperM2x2x1_final-1.1.zkey",
+  swapperM2x2x1v1x1Wasm: "swapperM2x2x1-1.1.wasm",
+  swapperM2x6x1v1x1Zkey: "swapperM2x6x1_final-1.1.zkey",
+  swapperM2x6x1v1x1Wasm: "swapperM2x6x1-1.1.wasm",
+  swapperMO2x2x1Zkey: "swapperMO2x2x1_final-31337.zkey",
+  swapperMO2x2x1Wasm: "swapperMO2x2x1-31337.wasm",
+  swapperMO2x6x1Zkey: "swapperMO2x6x1_final-31337.zkey",
+  swapperMO2x6x1Wasm: "swapperMO2x6x1-31337.wasm",
+  swapperToken2x2x1Zkey: "swapperToken2x2x1_final-31337.zkey",
+  swapperToken2x2x1Wasm: "swapperToken2x2x1-31337.wasm",
+  swapperToken2x6x1Zkey: "swapperToken2x6x1_final-31337.zkey",
+  swapperToken2x6x1Wasm: "swapperToken2x6x1-31337.wasm",
+  swapperM3x2x1Zkey: "swapperM3x2x1_final-31337.zkey",
+  swapperM3x2x1Wasm: "swapperM3x2x1-31337.wasm",
+  swapperM3x6x1Zkey: "swapperM3x6x1_final-31337.zkey",
+  swapperM3x6x1Wasm: "swapperM3x6x1-31337.wasm",
+  swapperM3x2x1v1x1Zkey: "swapperM3x2x1_final-1.1.zkey",
+  swapperM3x2x1v1x1Wasm: "swapperM3x2x1-1.1.wasm",
+  swapperM3x6x1v1x1Zkey: "swapperM3x6x1_final-1.1.zkey",
+  swapperM3x6x1v1x1Wasm: "swapperM3x6x1-1.1.wasm",
+  swapperMO3x2x1Zkey: "swapperMO3x2x1_final-31337.zkey",
+  swapperMO3x2x1Wasm: "swapperMO3x2x1-31337.wasm",
+  swapperMO3x6x1Zkey: "swapperMO3x6x1_final-31337.zkey",
+  swapperMO3x6x1Wasm: "swapperMO3x6x1-31337.wasm",
+  swapperM4x2x1Zkey: "swapperM4x2x1_final-31337.zkey",
+  swapperM4x2x1Wasm: "swapperM4x2x1-31337.wasm",
+  swapperM4x6x1Zkey: "swapperM4x6x1_final-31337.zkey",
+  swapperM4x6x1Wasm: "swapperM4x6x1-31337.wasm",
+  swapperM4x2x1v1x1Zkey: "swapperM4x2x1_final-1.1.zkey",
+  swapperM4x2x1v1x1Wasm: "swapperM4x2x1-1.1.wasm",
+  swapperM4x6x1v1x1Zkey: "swapperM4x6x1_final-1.1.zkey",
+  swapperM4x6x1v1x1Wasm: "swapperM4x6x1-1.1.wasm",
+  swapperMO4x2x1Zkey: "swapperMO4x2x1_final-31337.zkey",
+  swapperMO4x2x1Wasm: "swapperMO4x2x1-31337.wasm",
+  swapperMO4x6x1Zkey: "swapperMO4x6x1_final-31337.zkey",
+  swapperMO4x6x1Wasm: "swapperMO4x6x1-31337.wasm",
+  swapperM5x2x1Zkey: "swapperM5x2x1_final-31337.zkey",
+  swapperM5x2x1Wasm: "swapperM5x2x1-31337.wasm",
+  swapperM5x6x1Zkey: "swapperM5x6x1_final-31337.zkey",
+  swapperM5x6x1Wasm: "swapperM5x6x1-31337.wasm",
+  swapperM5x2x1v1x1Zkey: "swapperM5x2x1_final-1.1.zkey",
+  swapperM5x2x1v1x1Wasm: "swapperM5x2x1-1.1.wasm",
+  swapperM5x6x1v1x1Zkey: "swapperM5x6x1_final-1.1.zkey",
+  swapperM5x6x1v1x1Wasm: "swapperM5x6x1-1.1.wasm",
+  swapperMO5x2x1Zkey: "swapperMO5x2x1_final-31337.zkey",
+  swapperMO5x2x1Wasm: "swapperMO5x2x1-31337.wasm",
+  swapperMO5x6x1Zkey: "swapperMO5x6x1_final-31337.zkey",
+  swapperMO5x6x1Wasm: "swapperMO5x6x1-31337.wasm",
+  swapperMTS2x2x1Zkey: "swapperMTS2x2x1_final-31337.zkey",
+  swapperMTS2x2x1Wasm: "swapperMTS2x2x1-31337.wasm",
+  transactionsProverZkey: "transactionsProver.zkey",
+  transactionsProverWasm: "transactionsProver.wasm",
+  stakeProverZkey: "StakeProver_final-31337.zkey",
+  stakeProverWasm: "StakeProver-31337.wasm",
+  stakeProverPermissionlessZkey: "StakeProverPermissionless_final-31337.zkey",
+  stakeProverPermissionlessWasm: "StakeProverPermissionless-31337.wasm",
+  swapperMW1x2Wasm: "swapperMW1x2-31337.wasm",
+  swapperMW1x2Zkey: "swapperMW1x2_final-31337.zkey",
+  swapperMW1x6Wasm: "swapperMW1x6-31337.wasm",
+  swapperMW1x6Zkey: "swapperMW1x6_final-31337.zkey",
+  swapperMW2x2Wasm: "swapperMW2x2-31337.wasm",
+  swapperMW2x2Zkey: "swapperMW2x2_final-31337.zkey",
+  swapperMW2x6Wasm: "swapperMW2x6-31337.wasm",
+  swapperMW2x6Zkey: "swapperMW2x6_final-31337.zkey",
+  swapperMW3x2Wasm: "swapperMW3x2-31337.wasm",
+  swapperMW3x2Zkey: "swapperMW3x2_final-31337.zkey",
+  swapperMW3x6Wasm: "swapperMW3x6-31337.wasm",
+  swapperMW3x6Zkey: "swapperMW3x6_final-31337.zkey",
+  swapperMW4x2Wasm: "swapperMW4x2-31337.wasm",
+  swapperMW4x2Zkey: "swapperMW4x2_final-31337.zkey",
+  swapperMW4x6Wasm: "swapperMW4x6-31337.wasm",
+  swapperMW4x6Zkey: "swapperMW4x6_final-31337.zkey",
+  swapperMW5x2Wasm: "swapperMW5x2-31337.wasm",
+  swapperMW5x2Zkey: "swapperMW5x2_final-31337.zkey",
+  swapperMW5x6Wasm: "swapperMW5x6-31337.wasm",
+  swapperMW5x6Zkey: "swapperMW5x6_final-31337.zkey",
+  swapperMW1x2x1Wasm: "swapperMW1x2x1-31337.wasm",
+  swapperMW1x2x1Zkey: "swapperMW1x2x1_final-31337.zkey",
+  swapperMW1x6x1Wasm: "swapperMW1x6x1-31337.wasm",
+  swapperMW1x6x1Zkey: "swapperMW1x6x1_final-31337.zkey",
+  swapperMW2x2x1Wasm: "swapperMW2x2x1-31337.wasm",
+  swapperMW2x2x1Zkey: "swapperMW2x2x1_final-31337.zkey",
+  swapperMW2x6x1Wasm: "swapperMW2x6x1-31337.wasm",
+  swapperMW2x6x1Zkey: "swapperMW2x6x1_final-31337.zkey",
+  swapperMW3x2x1Wasm: "swapperMW3x2x1-31337.wasm",
+  swapperMW3x2x1Zkey: "swapperMW3x2x1_final-31337.zkey",
+  swapperMW3x6x1Wasm: "swapperMW3x6x1-31337.wasm",
+  swapperMW3x6x1Zkey: "swapperMW3x6x1_final-31337.zkey",
+  swapperMW4x2x1Wasm: "swapperMW4x2x1-31337.wasm",
+  swapperMW4x2x1Zkey: "swapperMW4x2x1_final-31337.zkey",
+  swapperMW4x6x1Wasm: "swapperMW4x6x1-31337.wasm",
+  swapperMW4x6x1Zkey: "swapperMW4x6x1_final-31337.zkey",
+  swapperMW5x2x1Wasm: "swapperMW5x2x1-31337.wasm",
+  swapperMW5x2x1Zkey: "swapperMW5x2x1_final-31337.zkey",
+  swapperMW5x6x1Wasm: "swapperMW5x6x1-31337.wasm",
+  swapperMW5x6x1Zkey: "swapperMW5x6x1_final-31337.zkey",
+  swapperMW1x0x1Wasm: "swapperMW1x0x1-31337.wasm",
+  swapperMW1x0x1Zkey: "swapperMW1x0x1_final-31337.zkey",
+  swapperMW2x0x1Wasm: "swapperMW2x0x1-31337.wasm",
+  swapperMW2x0x1Zkey: "swapperMW2x0x1_final-31337.zkey",
+  swapperMW3x0x1Wasm: "swapperMW3x0x1-31337.wasm",
+  swapperMW3x0x1Zkey: "swapperMW3x0x1_final-31337.zkey",
+  swapperMW1x2x1v1x1Wasm: "swapperMW1x2x1-1.1.wasm",
+  swapperMW1x2x1v1x1Zkey: "swapperMW1x2x1_final-1.1.zkey",
+  swapperMW1x6x1v1x1Wasm: "swapperMW1x6x1-1.1.wasm",
+  swapperMW1x6x1v1x1Zkey: "swapperMW1x6x1_final-1.1.zkey",
+  swapperMW2x2x1v1x1Wasm: "swapperMW2x2x1-1.1.wasm",
+  swapperMW2x2x1v1x1Zkey: "swapperMW2x2x1_final-1.1.zkey",
+  swapperMW2x6x1v1x1Wasm: "swapperMW2x6x1-1.1.wasm",
+  swapperMW2x6x1v1x1Zkey: "swapperMW2x6x1_final-1.1.zkey",
+  swapperMW3x2x1v1x1Wasm: "swapperMW3x2x1-1.1.wasm",
+  swapperMW3x2x1v1x1Zkey: "swapperMW3x2x1_final-1.1.zkey",
+  swapperMW3x6x1v1x1Wasm: "swapperMW3x6x1-1.1.wasm",
+  swapperMW3x6x1v1x1Zkey: "swapperMW3x6x1_final-1.1.zkey",
+  swapperMW4x2x1v1x1Wasm: "swapperMW4x2x1-1.1.wasm",
+  swapperMW4x2x1v1x1Zkey: "swapperMW4x2x1_final-1.1.zkey",
+  swapperMW4x6x1v1x1Wasm: "swapperMW4x6x1-1.1.wasm",
+  swapperMW4x6x1v1x1Zkey: "swapperMW4x6x1_final-1.1.zkey",
+  swapperMW5x2x1v1x1Wasm: "swapperMW5x2x1-1.1.wasm",
+  swapperMW5x2x1v1x1Zkey: "swapperMW5x2x1_final-1.1.zkey",
+  swapperMW5x6x1v1x1Wasm: "swapperMW5x6x1-1.1.wasm",
+  swapperMW5x6x1v1x1Zkey: "swapperMW5x6x1_final-1.1.zkey",
+  swapperMW1x0x1v1x1Wasm: "swapperMW1x0x1-1.1.wasm",
+  swapperMW1x0x1v1x1Zkey: "swapperMW1x0x1_final-1.1.zkey",
+  swapperMW2x0x1v1x1Wasm: "swapperMW2x0x1-1.1.wasm",
+  swapperMW2x0x1v1x1Zkey: "swapperMW2x0x1_final-1.1.zkey",
+  swapperMW3x0x1v1x1Wasm: "swapperMW3x0x1-1.1.wasm",
+  swapperMW3x0x1v1x1Zkey: "swapperMW3x0x1_final-1.1.zkey",
+  swapperMW0x0x0v1x1Wasm: "swapperMW0x0x0-1.1.wasm",
+  swapperMW0x0x0v1x1Zkey: "swapperMW0x0x0_final-1.1.zkey",
+  swapperMHA1x2x1Wasm: "swapperMHA1x2x1-31337.wasm",
+  swapperMHA1x2x1Zkey: "swapperMHA1x2x1_final-31337.zkey",
+  swapperMHA1x6x1Wasm: "swapperMHA1x6x1-31337.wasm",
+  swapperMHA1x6x1Zkey: "swapperMHA1x6x1_final-31337.zkey",
+  swapperMHA2x2x1Wasm: "swapperMHA2x2x1-31337.wasm",
+  swapperMHA2x2x1Zkey: "swapperMHA2x2x1_final-31337.zkey",
+  swapperMHA2x6x1Wasm: "swapperMHA2x6x1-31337.wasm",
+  swapperMHA2x6x1Zkey: "swapperMHA2x6x1_final-31337.zkey",
+  swapperMHA3x2x1Wasm: "swapperMHA3x2x1-31337.wasm",
+  swapperMHA3x2x1Zkey: "swapperMHA3x2x1_final-31337.zkey",
+  swapperMHA3x6x1Wasm: "swapperMHA3x6x1-31337.wasm",
+  swapperMHA3x6x1Zkey: "swapperMHA3x6x1_final-31337.zkey",
+  swapperMHA4x2x1Wasm: "swapperMHA4x2x1-31337.wasm",
+  swapperMHA4x2x1Zkey: "swapperMHA4x2x1_final-31337.zkey",
+  swapperMHA4x6x1Wasm: "swapperMHA4x6x1-31337.wasm",
+  swapperMHA4x6x1Zkey: "swapperMHA4x6x1_final-31337.zkey",
+  swapperMHA1x2x1v1x1Wasm: "swapperMHA1x2x1-1.1.wasm",
+  swapperMHA1x2x1v1x1Zkey: "swapperMHA1x2x1_final-1.1.zkey",
+  swapperMHA1x6x1v1x1Wasm: "swapperMHA1x6x1-1.1.wasm",
+  swapperMHA1x6x1v1x1Zkey: "swapperMHA1x6x1_final-1.1.zkey",
+  swapperMHA2x2x1v1x1Wasm: "swapperMHA2x2x1-1.1.wasm",
+  swapperMHA2x2x1v1x1Zkey: "swapperMHA2x2x1_final-1.1.zkey",
+  swapperMHA2x6x1v1x1Wasm: "swapperMHA2x6x1-1.1.wasm",
+  swapperMHA2x6x1v1x1Zkey: "swapperMHA2x6x1_final-1.1.zkey",
+  swapperMHA3x2x1v1x1Wasm: "swapperMHA3x2x1-1.1.wasm",
+  swapperMHA3x2x1v1x1Zkey: "swapperMHA3x2x1_final-1.1.zkey",
+  swapperMHA3x6x1v1x1Wasm: "swapperMHA3x6x1-1.1.wasm",
+  swapperMHA3x6x1v1x1Zkey: "swapperMHA3x6x1_final-1.1.zkey",
+  swapperMHA4x2x1v1x1Wasm: "swapperMHA4x2x1-1.1.wasm",
+  swapperMHA4x2x1v1x1Zkey: "swapperMHA4x2x1_final-1.1.zkey",
+  swapperMHA4x6x1v1x1Wasm: "swapperMHA4x6x1-1.1.wasm",
+  swapperMHA4x6x1v1x1Zkey: "swapperMHA4x6x1_final-1.1.zkey",
+  swapperMHA5x2x1v1x1Wasm: "swapperMHA5x2x1-1.1.wasm",
+  swapperMHA5x2x1v1x1Zkey: "swapperMHA5x2x1_final-1.1.zkey",
+  swapperMHA5x6x1v1x1Wasm: "swapperMHA5x6x1-1.1.wasm",
+  swapperMHA5x6x1v1x1Zkey: "swapperMHA5x6x1_final-1.1.zkey",
+  swapperMWMin0v1x1Wasm: "swapperMWMin0-1.1.wasm",
+  swapperMWMin0v1x1Zkey: "swapperMWMin0_final-1.1.zkey"
+};
+export {
+  m as ENCLAVE_EC2_URL,
+  n as localVerifiers,
+  y as prodVerifiers
+};

package/functions/snarkjs/constructEmporiumProof.cjs

@@ -0,0 +1 @@
+"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const ge=require("../../data-structures/utxo/Utxo.cjs"),ke=require("../../data-structures/crypto-keys/keys.cjs"),d=require("../../constants/protocol.constants.cjs"),he=require("../../constants/chains.constants.cjs"),H=require("../../webworker/zkProofWorker/zkProofWorker.types.cjs"),P=require("../../webworker/performTaskWithWorker.cjs"),W=require("../../webworker/worker.registry.cjs"),o=require("./common.snarkjs.cjs"),X=require("../web3/etherFunctions.cjs"),Y=require("../private-wallet/emporium.helpers.cjs"),Ae=require("../../types/external-action.types.cjs"),fe=require("../../types/circom-data.types.cjs"),ye=require("./generateCircomData.cjs"),Te=require("./generateZkProof.cjs"),L=require("../utils/time.utils.cjs"),qe=require("../../types/hinkal.types.cjs"),Ce=require("../utils/fees.utils.cjs"),V=require("../../data-structures/Hinkal/hinkalCheckTokenRegistry.cjs"),_e=require("../../data-structures/merkle-tree/getPatchedAccessTokenMerkleTree.cjs"),He=require("../../error-handling/logger.cjs"),Pe=require("../../crypto/poseidon.cjs");require("circomlibjs-hinkal-fork");require("libsodium-wrappers");require("process");require("buffer");const We=async(s,I,x,m,A,t,e,c,M,U,D,ee,te,w=d.zeroAddress,l=he.chainIds.localhost,S=t.map(()=>!1),f=t.map(()=>0n),p,n=void 0,ae=!1,u,g=void 0,re,N=d.defaultSignatureData,ne)=>{const y=o.calcAmountChanges(t,e),T=o.calcEncryptedOutputs(e,!1),k=c.getShieldedPrivateKey(),z=ge.Utxo.findCorrectRandomization(X.randomBigInt(31),k),E=await V.hinkalCheckTokenRegistry(re??V.createHinkalHelperFromData(l),m,o.calcAmountChanges(t,e,!0)),q=_e.getPatchedAccessTokenMerkleTree(x,c,ae,E);He.Logger.log({kycRequiredEmporium:E,patchedMerkleTree:q,amountChanges:y,erc20TokenAddresses:m});const oe=q.toJSON(),v=I.getRootHash(),C=q.getRootHash(),K=t.map(a=>a.map(i=>i.getConstructableParams())),R=c.getSignature(),{accessTokenSiblings:b,accessTokenSiblingSides:O}=await P.performTaskWithWorker({type:W.WorkerVariant.ZKProof,payload:{type:H.ZKProofWorkerActionType.CALC_ACCESS_TOKEN_SIBLING_AND_SIDES,data:{userSignature:R,merkleTreeAccessTokenSerialized:oe}}}),{inCommitmentSiblings:ie,inCommitmentSiblingSides:se}=await P.performTaskWithWorker({type:W.WorkerVariant.ZKProof,payload:{type:H.ZKProofWorkerActionType.CALC_COMMITMENTS_SIBLING_AND_SIDES,data:{inputUtxosSerialized:K,userSignature:R,merkleTreeSerialized:I.toJSON()}}}),B=await P.performTaskWithWorker({type:W.WorkerVariant.ZKProof,payload:{type:H.ZKProofWorkerActionType.BUILD_IN_NULLIFIERS,data:{inputUtxosSerialized:K,onChainCreation:S,proverVersion:s}}}),Z=o.buildOutCommitments(s,e,S),_=ne??X.randomBigInt(31),ce=Pe.poseidonFunction(_),r={rootHashHinkal:v,erc20TokenAddresses:m,tokenIds:A,inNullifiers:B,outTimeStamp:e.length>0?BigInt(e[0][0].timeStamp):L.getCurrentTimeInSeconds(),extraRandomization:z,amountChanges:y,outCommitments:Z,rootHashAccessToken:C,calldataHash:0n,shieldedPrivateKey:k,accessTokenSiblings:b,accessTokenSiblingSides:O,outAmounts:e.map(a=>a[0].amount),outPublicKeys:e.map(a=>a[0].getStealthAddress()),inAmounts:t.map(a=>a.map(i=>i.amount.toString())),inTimeStamps:t.map(a=>a.map(i=>i.timeStamp)),inRandomizations:t.map(a=>a.map(i=>i.randomization)),inCommitmentSiblings:ie,inCommitmentSiblingSides:se,messageSeed:_},me=p?ke.UserKeys.getSignerAddressFromPrivateKey(p.privateKey):void 0,F=D,J=Ae.ExternalActionId.Emporium,$=await Y.encodeEmporiumMetadata(l,D,p?.privateKey,ee,ce,me),h=e.length===0?"swapperMWMin0":`swapperMW${M}x${U}x${e[0].length}`,j=o.calcPublicSignalCount(h,r.erc20TokenAddresses,r.amountChanges,r.inNullifiers,r.outCommitments,A.length);if(n||(n=qe.defaultHinkalLogicArgs(y.length,c),n.interactionAddress="0x032f580aFFE7a5f17025fAF83c13B4277A880532",n.inHinkalAddress=c.getInHinkalAddress(n.interactionAddress)),s==="v1x1"){if(r.interactionAddress=n.interactionAddress,c.getInHinkalAddress(r.interactionAddress)!==n.inHinkalAddress)throw new Error("inHinkalAddress mismatch");r.externalApprovalAddresses=n?.useApprovalUtxoData?.map(({externalApprovalAddresses:a})=>a)??Array(M).fill([d.zeroAddress,d.zeroAddress,d.zeroAddress])}g||(g=Ce.generateFeeStructure(f,m));const G=o.calcAmountChanges(t,e,!0);u||(u=o.getSlippageValues(G,n)),r.calldataHash=o.createCallDataHash(s,j,w,F,J,$,T,f,void 0,u,S,n,g,N);const Q={outTimeStamp:L.getCurrentTimeInSeconds(),rootHashAccessToken:C,calldataHash:r.calldataHash,shieldedPrivateKey:k,accessTokenSiblings:b,accessTokenSiblingSides:O,messageSeed:_},{zkCallData:de}=await Te.generateZkProof(s,l,h,h==="swapperMWMin0"?Q:r,te),le=o.calcStealthAddressStructure(z,k),Se=await ye.generateCircomData(s,Z,B,v,C,G,m,t,e,T,f,j,J,F,$,w,r.calldataHash,A,le,S,fe.defaultHookData,h==="swapperMWMin0"?Q.outTimeStamp:r.outTimeStamp,n,u,g,N),pe={tokenNumber:t.length,nullifierAmount:t.length>0?t[0].length:0,outputAmount:e.length>0?e[0].length:0},ue=await Y.getAuthorizationDataIfNeeded(l,p?.privateKey);return{zkCallData:de,circomData:Se,dimData:pe,encryptedOutputs:T,authorizationData:ue}};exports.constructEmporiumProof=We;

package/functions/snarkjs/constructEmporiumProof.d.ts

@@ -0,0 +1,14 @@
+import { MerkleTree } from '../../data-structures/merkle-tree';
+import { Utxo } from '../../data-structures/utxo/Utxo';
+import { UserKeys } from '../../data-structures/crypto-keys/keys';
+import { CircomDataV1x1, DimDataType } from '../../types/circom-data.types';
+import { ethers } from 'ethers';
+import { AuthorizationData, FeeStructure, HinkalLogicArgs, type ProverVersion } from '../../types/hinkal.types';
+import { SubAccount } from '../../types/proxy.types';
+export declare const constructEmporiumProof: <T = CircomDataV1x1>(proverVersion: ProverVersion, merkleTree: MerkleTree<bigint>, merkleTreeAccessToken: MerkleTree<bigint>, erc20TokenAddresses: string[], tokenIds: number[], inputUtxos: Utxo[][], outputUtxos: Utxo[][], userKeys: UserKeys, tokenCount: number, inputCount: number, emporiumAddress: string, operations: string[], generateProofRemotely: boolean, relay?: string, chainId?: number, onChainCreation?: boolean[], flatFees?: bigint[], subAccount?: SubAccount, hinkalLogicArgs?: HinkalLogicArgs | undefined, patchAccessTokenMerkleTree?: boolean, slippageValues?: bigint[], feeStructure?: FeeStructure | undefined, hinkalHelper?: ethers.Contract, signatureData?: import('../../index.ts').SignatureData, messageSeedOverride?: bigint) => Promise<{
+    zkCallData: import('../../index.ts').NewZkCallDataType;
+    circomData: T;
+    dimData: DimDataType;
+    encryptedOutputs: string[][];
+    authorizationData: AuthorizationData | undefined;
+}>;

package/functions/snarkjs/constructEmporiumProof.mjs

@@ -0,0 +1,173 @@
+import { Utxo as fa } from "../../data-structures/utxo/Utxo.mjs";
+import { UserKeys as Sa } from "../../data-structures/crypto-keys/keys.mjs";
+import { zeroAddress as A, defaultSignatureData as ga } from "../../constants/protocol.constants.mjs";
+import { chainIds as Aa } from "../../constants/chains.constants.mjs";
+import { ZKProofWorkerActionType as N } from "../../webworker/zkProofWorker/zkProofWorker.types.mjs";
+import { performTaskWithWorker as k } from "../../webworker/performTaskWithWorker.mjs";
+import { WorkerVariant as w } from "../../webworker/worker.registry.mjs";
+import { calcAmountChanges as D, calcEncryptedOutputs as ha, buildOutCommitments as Ha, calcPublicSignalCount as ya, getSlippageValues as Ta, createCallDataHash as Ca, calcStealthAddressStructure as Ia } from "./common.snarkjs.mjs";
+import { randomBigInt as X } from "../web3/etherFunctions.mjs";
+import { encodeEmporiumMetadata as Ma, getAuthorizationDataIfNeeded as Na } from "../private-wallet/emporium.helpers.mjs";
+import { ExternalActionId as ka } from "../../types/external-action.types.mjs";
+import { defaultHookData as wa } from "../../types/circom-data.types.mjs";
+import { generateCircomData as Da } from "./generateCircomData.mjs";
+import { generateZkProof as Ea } from "./generateZkProof.mjs";
+import { getCurrentTimeInSeconds as Y } from "../utils/time.utils.mjs";
+import { defaultHinkalLogicArgs as Pa } from "../../types/hinkal.types.mjs";
+import { generateFeeStructure as za } from "../utils/fees.utils.mjs";
+import { hinkalCheckTokenRegistry as _a, createHinkalHelperFromData as va } from "../../data-structures/Hinkal/hinkalCheckTokenRegistry.mjs";
+import { getPatchedAccessTokenMerkleTree as Ra } from "../../data-structures/merkle-tree/getPatchedAccessTokenMerkleTree.mjs";
+import { Logger as Wa } from "../../error-handling/logger.mjs";
+import { poseidonFunction as Ka } from "../../crypto/poseidon.mjs";
+import "circomlibjs-hinkal-fork";
+import "libsodium-wrappers";
+import "process";
+import "buffer";
+const nt = async (i, E, L, d, h, t, a, n, P, V, z, x, U, _ = A, c = Aa.localhost, l = t.map(() => !1), H = t.map(() => 0n), s, m = void 0, aa = !1, p, f = void 0, ta, v = ga, ea) => {
+  const y = D(t, a), T = ha(a, !1), S = n.getShieldedPrivateKey(), R = fa.findCorrectRandomization(X(31), S), W = await _a(
+    ta ?? va(c),
+    d,
+    D(t, a, !0)
+  ), C = Ra(
+    L,
+    n,
+    aa,
+    W
+  );
+  Wa.log({ kycRequiredEmporium: W, patchedMerkleTree: C, amountChanges: y, erc20TokenAddresses: d });
+  const ra = C.toJSON(), K = E.getRootHash(), I = C.getRootHash(), O = t.map((e) => e.map((o) => o.getConstructableParams())), b = n.getSignature(), { accessTokenSiblings: u, accessTokenSiblingSides: B } = await k({
+    type: w.ZKProof,
+    payload: {
+      type: N.CALC_ACCESS_TOKEN_SIBLING_AND_SIDES,
+      data: {
+        userSignature: b,
+        merkleTreeAccessTokenSerialized: ra
+      }
+    }
+  }), { inCommitmentSiblings: ma, inCommitmentSiblingSides: oa } = await k({
+    type: w.ZKProof,
+    payload: {
+      type: N.CALC_COMMITMENTS_SIBLING_AND_SIDES,
+      data: { inputUtxosSerialized: O, userSignature: b, merkleTreeSerialized: E.toJSON() }
+    }
+  }), F = await k({
+    type: w.ZKProof,
+    payload: {
+      type: N.BUILD_IN_NULLIFIERS,
+      data: { inputUtxosSerialized: O, onChainCreation: l, proverVersion: i }
+    }
+  }), Z = Ha(i, a, l), M = ea ?? X(31), ia = Ka(M), r = {
+    rootHashHinkal: K,
+    erc20TokenAddresses: d,
+    tokenIds: h,
+    inNullifiers: F,
+    outTimeStamp: a.length > 0 ? BigInt(a[0][0].timeStamp) : Y(),
+    extraRandomization: R,
+    amountChanges: y,
+    outCommitments: Z,
+    rootHashAccessToken: I,
+    calldataHash: 0n,
+    shieldedPrivateKey: S,
+    accessTokenSiblings: u,
+    accessTokenSiblingSides: B,
+    outAmounts: a.map((e) => e[0].amount),
+    outPublicKeys: a.map((e) => e[0].getStealthAddress()),
+    inAmounts: t.map((e) => e.map((o) => o.amount.toString())),
+    inTimeStamps: t.map((e) => e.map((o) => o.timeStamp)),
+    inRandomizations: t.map((e) => e.map((o) => o.randomization)),
+    inCommitmentSiblings: ma,
+    inCommitmentSiblingSides: oa,
+    messageSeed: M
+  }, na = s ? Sa.getSignerAddressFromPrivateKey(s.privateKey) : void 0, J = z, $ = ka.Emporium, q = await Ma(
+    c,
+    z,
+    s?.privateKey,
+    x,
+    ia,
+    na
+  ), g = a.length === 0 ? "swapperMWMin0" : `swapperMW${P}x${V}x${a[0].length}`, G = ya(
+    g,
+    r.erc20TokenAddresses,
+    r.amountChanges,
+    r.inNullifiers,
+    r.outCommitments,
+    h.length
+  );
+  if (m || (m = Pa(y.length, n), m.interactionAddress = "0x032f580aFFE7a5f17025fAF83c13B4277A880532", m.inHinkalAddress = n.getInHinkalAddress(m.interactionAddress)), i === "v1x1") {
+    if (r.interactionAddress = m.interactionAddress, n.getInHinkalAddress(r.interactionAddress) !== m.inHinkalAddress)
+      throw new Error("inHinkalAddress mismatch");
+    r.externalApprovalAddresses = m?.useApprovalUtxoData?.map(({ externalApprovalAddresses: e }) => e) ?? Array(P).fill([A, A, A]);
+  }
+  f || (f = za(H, d));
+  const j = D(t, a, !0);
+  p || (p = Ta(j, m)), r.calldataHash = Ca(
+    i,
+    G,
+    _,
+    J,
+    $,
+    q,
+    T,
+    H,
+    void 0,
+    p,
+    l,
+    m,
+    f,
+    v
+  );
+  const Q = {
+    outTimeStamp: Y(),
+    rootHashAccessToken: I,
+    calldataHash: r.calldataHash,
+    shieldedPrivateKey: S,
+    accessTokenSiblings: u,
+    accessTokenSiblingSides: B,
+    messageSeed: M
+  }, { zkCallData: da } = await Ea(
+    i,
+    c,
+    g,
+    g === "swapperMWMin0" ? Q : r,
+    U
+  ), ca = Ia(R, S), la = await Da(
+    i,
+    Z,
+    F,
+    K,
+    I,
+    j,
+    d,
+    t,
+    a,
+    T,
+    H,
+    G,
+    $,
+    J,
+    q,
+    _,
+    r.calldataHash,
+    h,
+    ca,
+    l,
+    wa,
+    g === "swapperMWMin0" ? Q.outTimeStamp : r.outTimeStamp,
+    // although these variables seem to contain the same value, there can actually be a single second difference if the timing is unlucky
+    m,
+    p,
+    f,
+    v
+  ), sa = {
+    tokenNumber: t.length,
+    nullifierAmount: t.length > 0 ? t[0].length : 0,
+    outputAmount: a.length > 0 ? a[0].length : 0
+  }, pa = await Na(
+    c,
+    s?.privateKey
+  );
+  return { zkCallData: da, circomData: la, dimData: sa, encryptedOutputs: T, authorizationData: pa };
+};
+export {
+  nt as constructEmporiumProof
+};

package/functions/snarkjs/constructGeneralZkProof.cjs

@@ -0,0 +1 @@
+"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const se=require("../../constants/chains.constants.cjs"),c=require("../../constants/protocol.constants.cjs"),ce=require("../../data-structures/utxo/Utxo.cjs"),p=require("../../types/hinkal.stake.types.cjs"),H=require("../../webworker/performTaskWithWorker.cjs"),y=require("../../webworker/worker.registry.cjs"),P=require("../../webworker/zkProofWorker/zkProofWorker.types.cjs"),de=require("../web3/etherFunctions.cjs"),s=require("./common.snarkjs.cjs"),me=require("./generateCircomData.cjs"),le=require("./generateZkProof.cjs"),ke=require("../../data-structures/merkle-tree/getPatchedAccessTokenMerkleTree.cjs"),Se=require("../../types/hinkal.types.cjs"),ue=require("../utils/fees.utils.cjs"),L=require("../../data-structures/Hinkal/hinkalCheckTokenRegistry.cjs"),_=require("../../error-handling/logger.cjs"),Te=async(d,I,Q,o,r,m,q,z,l,W,X,D=c.zeroAddress,b=se.chainIds.localhost,k=o.map(()=>!1),f=o.map(()=>0n),N=void 0,i,Y=!1,n=void 0,S,u=void 0,$,R=c.defaultSignatureData)=>{const M=s.calcAmountChanges(o,r),g=o.map(e=>e[0].erc20TokenAddress),h=s.calcEncryptedOutputs(r,(i&&i.mode!==p.HinkalStakeMode.Deposit)??!1),A=m.getShieldedPrivateKey(),Z=ce.Utxo.findCorrectRandomization(de.randomBigInt(31),A),V=await L.hinkalCheckTokenRegistry($??L.createHinkalHelperFromData(b),g,s.calcAmountChanges(o,r,!0)),w=ke.getPatchedAccessTokenMerkleTree(Q,m,Y,V),O=w.getRootHash(),U=w.toJSON(),B=I.getRootHash(),E=o.map(e=>e.map(a=>a.getConstructableParams())),v=m.getSignature(),{accessTokenSiblings:x,accessTokenSiblingSides:ee}=await H.performTaskWithWorker({type:y.WorkerVariant.ZKProof,payload:{type:P.ZKProofWorkerActionType.CALC_ACCESS_TOKEN_SIBLING_AND_SIDES,data:{userSignature:v,merkleTreeAccessTokenSerialized:U}}}),{inCommitmentSiblings:te,inCommitmentSiblingSides:oe}=await H.performTaskWithWorker({type:y.WorkerVariant.ZKProof,payload:{type:P.ZKProofWorkerActionType.CALC_COMMITMENTS_SIBLING_AND_SIDES,data:{inputUtxosSerialized:E,userSignature:v,merkleTreeSerialized:I.toJSON()}}}),K=await H.performTaskWithWorker({type:y.WorkerVariant.ZKProof,payload:{type:P.ZKProofWorkerActionType.BUILD_IN_NULLIFIERS,data:{inputUtxosSerialized:E,onChainCreation:k,proverVersion:d}}}),J=s.buildOutCommitments(d,r,k),t={rootHashHinkal:B,shieldedPrivateKey:A,erc20TokenAddresses:g,inAmounts:o.map(e=>e.map(a=>a.amount.toString())),inTimeStamps:o.map(e=>e.map(a=>a.timeStamp)),inRandomizations:o.map(e=>e.map(a=>a.randomization)),inNullifiers:K,inCommitmentSiblings:te,inCommitmentSiblingSides:oe,outAmounts:r.map(e=>e.map(a=>a.amount.toString())),outTimeStamp:BigInt(r[0][0].timeStamp),outPublicKeys:r.map(e=>e.map(a=>a.getStealthAddress())),extraRandomization:Z,amountChanges:M,outCommitments:J,rootHashAccessToken:O,accessTokenSiblings:x,accessTokenSiblingSides:ee,calldataHash:0n},T=o.map(e=>e[0].tokenId??0),j=T.reduce((e,a)=>e+a,0)>0?T.length:0;j>0&&(t.tokenIds=T);const C=s.calcPublicSignalCount(q,t.erc20TokenAddresses,t.amountChanges,t.inNullifiers,t.outCommitments,j);if(!n){n=Se.defaultHinkalLogicArgs(M.length,m),n.interactionAddress=l??c.zeroAddress;const e=m.getInHinkalAddress(n.interactionAddress);n.inHinkalAddress=e}if(d==="v1x1"){if(t.interactionAddress=n?.interactionAddress??l??c.zeroAddress,m.getInHinkalAddress(t.interactionAddress)!==n.inHinkalAddress)throw new Error("inHinkalAddress mismatch");t.externalApprovalAddresses=n.useApprovalUtxoData?.map(({externalApprovalAddresses:e})=>e)??[c.zeroAddress,c.zeroAddress,c.zeroAddress]}u||(u=ue.generateFeeStructure(f,o.map(e=>e[0].erc20TokenAddress)));const F=s.calcAmountChanges(o,r,!0);S||(S=s.getSlippageValues(F,n)),_.Logger.log({publicSignalCount:C}),t.calldataHash=s.createCallDataHash(d,C,D,l,z,W,h,f,N,S,k,n,u,R),i&&(i.mode===p.HinkalStakeMode.Deposit&&(t.mode=0),i.mode===p.HinkalStakeMode.Stake&&(t.mode=1),i.mode===p.HinkalStakeMode.Unstake&&(t.mode=2),t.stakedTokenRecipient=i.stakedTokenRecipient,t.stakeBlinding=i.stakeBlinding,t.depositorAddress=i.depositorAddress);const{zkCallData:ae,publicSignals:ne}=await le.generateZkProof(d,b,q,t,X);_.Logger.log({publicSignals:ne});const re=s.calcStealthAddressStructure(Z,A),G=await me.generateCircomData(d,J,K,B,O,F,g,o,r,h,f,C,z,l,W,D,t.calldataHash,T,re,k,N,void 0,n,S,u,R);_.Logger.log({circomData:G});const ie={tokenNumber:o.length,nullifierAmount:o[0].length,outputAmount:r[0].length};return{zkCallData:ae,circomData:G,dimData:ie,encryptedOutputs:h}};exports.constructZkProof=Te;

package/functions/snarkjs/constructGeneralZkProof.d.ts

@@ -0,0 +1,14 @@
+import { MerkleTree } from '../../data-structures/merkle-tree';
+import { UserKeys } from '../../data-structures/crypto-keys/keys';
+import { Utxo } from '../../data-structures/utxo/Utxo';
+import { CircomDataV1x1, DimDataType, HookDataType } from '../../types/circom-data.types';
+import { ExternalActionId } from '../../types/external-action.types';
+import { StakeArgs } from '../../types/hinkal.stake.types';
+import { FeeStructure, HinkalLogicArgs, ProverVersion } from '../../types/hinkal.types';
+import { ethers } from 'ethers';
+export declare const constructZkProof: <T = CircomDataV1x1>(proverVersion: ProverVersion, merkleTree: MerkleTree<bigint>, merkleTreeAccessToken: MerkleTree<bigint>, inputUtxos: Utxo[][], outputUtxos: Utxo[][], userKeys: UserKeys, verifierName: string, externalActionId: ExternalActionId | 0n, externalAddress: string | undefined, externalActionMetadata: string, generateProofRemotely: boolean, relay?: string, chainId?: number, onChainCreation?: boolean[], flatFees?: bigint[], hookData?: HookDataType | undefined, stakeArgs?: StakeArgs, patchAccessTokenMerkleTree?: boolean, hinkalLogicArgs?: HinkalLogicArgs | undefined, slippageValues?: bigint[], feeStructure?: FeeStructure | undefined, hinkalHelper?: ethers.Contract, signatureData?: import('../../index.ts').SignatureData) => Promise<{
+    zkCallData: import('../../index.ts').NewZkCallDataType;
+    circomData: T;
+    dimData: DimDataType;
+    encryptedOutputs: string[][];
+}>;