@caatinga/zk 2.3.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) Caatinga contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/index.cjs

@@ -0,0 +1,433 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// src/index.ts
+var index_exports = {};
+__export(index_exports, {
+  ZkError: () => ZkError,
+  buildCircuit: () => buildCircuit,
+  buildStellarVerifyProofArgs: () => buildStellarVerifyProofArgs,
+  invokeVerifier: () => invokeVerifier,
+  proveCircuit: () => proveCircuit,
+  ptauSizeForConstraints: () => ptauSizeForConstraints,
+  serializeProof: () => serializeProof,
+  serializePublicSignals: () => serializePublicSignals,
+  serializeVk: () => serializeVk
+});
+module.exports = __toCommonJS(index_exports);
+
+// src/serialization/bigint-helpers.ts
+function decimalToLe32(decimal) {
+  let value = BigInt(decimal);
+  const out = new Uint8Array(32);
+  for (let i = 0; i < 32; i++) {
+    out[i] = Number(value & 0xffn);
+    value >>= 8n;
+  }
+  return out;
+}
+function decimalToBe48(decimal) {
+  let value = BigInt(decimal);
+  const out = new Uint8Array(48);
+  for (let i = 47; i >= 0; i--) {
+    out[i] = Number(value & 0xffn);
+    value >>= 8n;
+  }
+  return out;
+}
+
+// src/serialization/serialize-proof.ts
+function serializeProof(proof) {
+  if (proof.curve !== "bls12381") {
+    throw new Error(`Expected curve bls12381, got ${proof.curve}`);
+  }
+  return {
+    a: {
+      x: decimalToBe48(proof.pi_a[0]),
+      y: decimalToBe48(proof.pi_a[1])
+    },
+    b: {
+      x: [decimalToBe48(proof.pi_b[0][1]), decimalToBe48(proof.pi_b[0][0])],
+      y: [decimalToBe48(proof.pi_b[1][1]), decimalToBe48(proof.pi_b[1][0])]
+    },
+    c: {
+      x: decimalToBe48(proof.pi_c[0]),
+      y: decimalToBe48(proof.pi_c[1])
+    }
+  };
+}
+
+// src/serialization/serialize-vk.ts
+function g2FromSnarkjsExport(rows) {
+  return g2FromSnarkjs([rows[0], rows[1]]);
+}
+function g1FromSnarkjs(p) {
+  return {
+    x: decimalToBe48(p[0]),
+    y: decimalToBe48(p[1])
+  };
+}
+function g2FromSnarkjs(p) {
+  return {
+    x: [decimalToBe48(p[0][1]), decimalToBe48(p[0][0])],
+    y: [decimalToBe48(p[1][1]), decimalToBe48(p[1][0])]
+  };
+}
+function serializeVk(vk) {
+  if (vk.curve !== "bls12381") {
+    throw new Error(`Expected curve bls12381, got ${vk.curve}`);
+  }
+  const ic = vk.vk_ic ?? vk.IC;
+  if (!ic) {
+    throw new Error("Verification key is missing vk_ic/IC entries.");
+  }
+  return {
+    alpha: g1FromSnarkjs(vk.vk_alpha_1),
+    beta: g2FromSnarkjsExport(vk.vk_beta_2),
+    gamma: g2FromSnarkjsExport(vk.vk_gamma_2),
+    delta: g2FromSnarkjsExport(vk.vk_delta_2),
+    ic: ic.map(g1FromSnarkjs)
+  };
+}
+
+// src/serialization/serialize-public-signals.ts
+function serializePublicSignals(signals) {
+  return signals.map((s) => decimalToLe32(s));
+}
+
+// src/build/build-circuit.ts
+var import_core2 = require("@caatinga/core");
+var import_node_path2 = __toESM(require("path"), 1);
+var import_promises2 = require("fs/promises");
+var import_node_crypto2 = require("crypto");
+
+// src/install/lazy-install-zk-tools.ts
+var import_core = require("@caatinga/core");
+var import_promises = require("fs/promises");
+var import_node_path = __toESM(require("path"), 1);
+var import_node_os = __toESM(require("os"), 1);
+var import_node_crypto = require("crypto");
+
+// src/errors/ZkError.ts
+var ZkError = class extends Error {
+  constructor(message, code, hint) {
+    super(message);
+    this.code = code;
+    this.hint = hint;
+    this.name = "ZkError";
+  }
+  code;
+  hint;
+};
+
+// src/install/lazy-install-zk-tools.ts
+var ZK_CACHE_DIR = import_node_path.default.join(import_node_os.default.homedir(), ".caatinga", "zk-tools");
+var SNARKJS_VERSION = "0.7.5";
+var CIRCOM_VERSION = "2.1.9";
+function circomAssetName() {
+  const platform = process.platform;
+  const arch = process.arch === "x64" ? "amd64" : process.arch;
+  if (platform === "linux") {
+    return `circom-linux-${arch}`;
+  }
+  if (platform === "darwin") {
+    return `circom-macos-${arch}`;
+  }
+  throw new ZkError(
+    `Unsupported platform for automatic circom install: ${platform}`,
+    "ZK_UNSUPPORTED_PLATFORM",
+    "Install circom 2.x manually and ensure it is on PATH."
+  );
+}
+async function ensureCircom() {
+  const cached = import_node_path.default.join(ZK_CACHE_DIR, "circom", CIRCOM_VERSION, "circom");
+  try {
+    await (0, import_promises.access)(cached);
+    return cached;
+  } catch {
+  }
+  const asset = circomAssetName();
+  const url = `https://github.com/iden3/circom/releases/download/v${CIRCOM_VERSION}/${asset}`;
+  const installDir = import_node_path.default.join(ZK_CACHE_DIR, "circom", CIRCOM_VERSION);
+  await (0, import_promises.mkdir)(installDir, { recursive: true });
+  const archivePath = import_node_path.default.join(installDir, asset);
+  await (0, import_core.runCommand)("curl", ["-fsSL", url, "-o", archivePath]);
+  await (0, import_promises.chmod)(archivePath, 493);
+  return archivePath;
+}
+async function ensureSnarkjs() {
+  const installDir = import_node_path.default.join(ZK_CACHE_DIR, `snarkjs-${SNARKJS_VERSION}`);
+  const cliPath = import_node_path.default.join(installDir, "node_modules", ".bin", "snarkjs");
+  try {
+    await (0, import_promises.access)(cliPath);
+    return cliPath;
+  } catch {
+    await (0, import_promises.mkdir)(installDir, { recursive: true });
+    await (0, import_promises.writeFile)(
+      import_node_path.default.join(installDir, "package.json"),
+      JSON.stringify({ name: "caatinga-zk-snarkjs", private: true, version: "0.0.0" }, null, 2),
+      "utf8"
+    );
+    await (0, import_core.runCommand)("npm", ["install", "--no-save", "--legacy-peer-deps", `snarkjs@${SNARKJS_VERSION}`], {
+      cwd: installDir
+    });
+    return cliPath;
+  }
+}
+async function ensurePtau(size) {
+  const ptauDir = import_node_path.default.join(ZK_CACHE_DIR, "ptau", "bls12-381");
+  const finalPath = import_node_path.default.join(ptauDir, `pot${size}_final.ptau`);
+  try {
+    await (0, import_promises.access)(finalPath);
+    return finalPath;
+  } catch {
+    await (0, import_promises.mkdir)(ptauDir, { recursive: true });
+  }
+  const snarkjs = await ensureSnarkjs();
+  const pot0 = import_node_path.default.join(ptauDir, `pot${size}_0000.ptau`);
+  const pot1 = import_node_path.default.join(ptauDir, `pot${size}_0001.ptau`);
+  const entropy = (0, import_node_crypto.createHash)("sha256").update((0, import_node_crypto.randomBytes)(32)).digest("hex");
+  await (0, import_core.runCommand)(snarkjs, ["powersoftau", "new", "bls12-381", String(size), pot0, "-v"]);
+  await (0, import_core.runCommand)(snarkjs, [
+    "powersoftau",
+    "contribute",
+    pot0,
+    pot1,
+    "-v"
+  ], {
+    input: `caatinga-dev
+${entropy}
+`
+  });
+  await (0, import_core.runCommand)(snarkjs, ["powersoftau", "prepare", "phase2", pot1, finalPath, "-v"]);
+  return finalPath;
+}
+
+// src/build/detect-ptau-size.ts
+function ptauSizeForConstraints(constraintCount) {
+  const needed = Math.ceil(Math.log2(Math.max(constraintCount, 1))) + 1;
+  return Math.min(Math.max(needed, 8), 28);
+}
+
+// src/build/build-circuit.ts
+function bytesToHex(bytes) {
+  return Array.from(bytes).map((b) => b.toString(16).padStart(2, "0")).join("");
+}
+async function writeEmbeddedVk(vkPath, verifierSrcDir) {
+  const raw = JSON.parse(await (0, import_promises2.readFile)(vkPath, "utf8"));
+  const vk = serializeVk(raw);
+  const lines = [
+    "// @generated by caatinga zk build --embed-vk",
+    "use soroban_sdk::crypto::bls12_381::{G1Affine, G2Affine};",
+    "",
+    "pub fn embedded_vk() -> (G1Affine, G2Affine, G2Affine, G2Affine, alloc::vec::Vec<G1Affine>) {",
+    '    todo!("Embed VK coordinates from verification_key.json")',
+    `    // alpha.x = ${bytesToHex(vk.alpha.x)}`,
+    "}",
+    ""
+  ];
+  await (0, import_promises2.writeFile)(import_node_path2.default.join(verifierSrcDir, "vk.rs"), lines.join("\n"), "utf8");
+}
+async function buildCircuit(options) {
+  const circom = await ensureCircom();
+  const snarkjs = await ensureSnarkjs();
+  const circuitDir = import_node_path2.default.resolve(options.circuitPath);
+  const outDir = import_node_path2.default.resolve(options.artifactsDir);
+  const circuitFile = import_node_path2.default.join(circuitDir, "main.circom");
+  const r1csPath = import_node_path2.default.join(outDir, "main.r1cs");
+  const zkey0 = import_node_path2.default.join(outDir, "circuit_0000.zkey");
+  const zkeyFinal = import_node_path2.default.join(outDir, "circuit_final.zkey");
+  const vkPath = import_node_path2.default.join(outDir, "verification_key.json");
+  await (0, import_promises2.mkdir)(outDir, { recursive: true });
+  await (0, import_core2.runCommand)(circom, [
+    circuitFile,
+    "--r1cs",
+    "--wasm",
+    "--sym",
+    "-p",
+    "bls12381",
+    "-o",
+    outDir
+  ]);
+  const r1csInfo = await (0, import_core2.runCommand)(snarkjs, ["r1cs", "info", r1csPath]);
+  const constraintMatch = r1csInfo.stdout.match(/# of Constraints:\s+(\d+)/);
+  const constraints = constraintMatch ? Number.parseInt(constraintMatch[1], 10) : 1;
+  const ptauSize = ptauSizeForConstraints(constraints);
+  const ptauPath = await ensurePtau(ptauSize);
+  const entropy = (0, import_node_crypto2.createHash)("sha256").update((0, import_node_crypto2.randomBytes)(32)).digest("hex");
+  await (0, import_core2.runCommand)(snarkjs, ["groth16", "setup", r1csPath, ptauPath, zkey0]);
+  await (0, import_core2.runCommand)(snarkjs, ["zkey", "contribute", zkey0, zkeyFinal, "-v"], {
+    input: `caatinga-dev
+${entropy}
+`
+  });
+  await (0, import_core2.runCommand)(snarkjs, ["zkey", "export", "verificationkey", zkeyFinal, vkPath]);
+  if (options.embedVk) {
+    const verifierSrcDir = import_node_path2.default.resolve("contracts", "verifier", "src");
+    await writeEmbeddedVk(vkPath, verifierSrcDir);
+  }
+}
+
+// src/prove/prove-circuit.ts
+var import_core3 = require("@caatinga/core");
+var import_node_path3 = __toESM(require("path"), 1);
+var import_promises3 = require("fs/promises");
+function resolveCircuitWasmPath(artifactsDir) {
+  return import_node_path3.default.join(artifactsDir, "main_js", "main.wasm");
+}
+async function proveCircuit(options) {
+  const snarkjs = await ensureSnarkjs();
+  const artifactsDir = import_node_path3.default.resolve(options.artifactsDir);
+  const wasmPath = resolveCircuitWasmPath(artifactsDir);
+  const zkeyPath = import_node_path3.default.join(artifactsDir, "circuit_final.zkey");
+  const inputPath = import_node_path3.default.resolve(options.inputPath);
+  const proofPath = import_node_path3.default.join(artifactsDir, "proof.json");
+  const publicPath = import_node_path3.default.join(artifactsDir, "public.json");
+  await (0, import_promises3.mkdir)(artifactsDir, { recursive: true });
+  if (options.debug) {
+    const witnessPath = import_node_path3.default.join(artifactsDir, "witness.wtns");
+    await (0, import_core3.runCommand)(snarkjs, ["wtns", "calculate", wasmPath, inputPath, witnessPath, "-v"]);
+    await (0, import_core3.runCommand)(snarkjs, ["groth16", "prove", zkeyPath, witnessPath, proofPath, publicPath]);
+    return;
+  }
+  await (0, import_core3.runCommand)(snarkjs, [
+    "groth16",
+    "fullprove",
+    inputPath,
+    wasmPath,
+    zkeyPath,
+    proofPath,
+    publicPath
+  ]);
+  await (0, import_promises3.access)(proofPath);
+  await (0, import_promises3.access)(publicPath);
+}
+
+// src/invoke/invoke-verifier.ts
+var import_core4 = require("@caatinga/core");
+var import_promises4 = require("fs/promises");
+var import_node_path4 = __toESM(require("path"), 1);
+function concatG1(point) {
+  return Buffer.concat([point.x, point.y]).toString("hex");
+}
+function concatG2(point) {
+  return Buffer.concat([point.x[0], point.x[1], point.y[0], point.y[1]]).toString("hex");
+}
+function buildStellarVerifyProofArgs(options) {
+  const serializedProof = serializeProof(options.proof);
+  const args = [];
+  if (!options.embedVk) {
+    if (!options.vk) {
+      throw new ZkError("Verification key is required when embedVk is false.", "ZK_VK_REQUIRED");
+    }
+    const serializedVk = serializeVk(options.vk);
+    args.push(
+      "--vk",
+      JSON.stringify({
+        alpha: concatG1(serializedVk.alpha),
+        beta: concatG2(serializedVk.beta),
+        gamma: concatG2(serializedVk.gamma),
+        delta: concatG2(serializedVk.delta),
+        ic: serializedVk.ic.map(concatG1)
+      })
+    );
+  }
+  args.push(
+    "--proof",
+    JSON.stringify({
+      a: concatG1(serializedProof.a),
+      b: concatG2(serializedProof.b),
+      c: concatG1(serializedProof.c)
+    })
+  );
+  args.push("--pub_signals", JSON.stringify(options.publicSignals));
+  return args;
+}
+async function invokeVerifier(options) {
+  const cwd = options.cwd ?? process.cwd();
+  const config = options.config ?? await (0, import_core4.loadConfig)({ cwd });
+  const proof = JSON.parse(await (0, import_promises4.readFile)(import_node_path4.default.resolve(cwd, options.proofPath), "utf8"));
+  const publicSignals = JSON.parse(
+    await (0, import_promises4.readFile)(import_node_path4.default.resolve(cwd, options.publicSignalsPath), "utf8")
+  );
+  const vk = options.embedVk ? void 0 : JSON.parse(await (0, import_promises4.readFile)(import_node_path4.default.resolve(cwd, options.vkPath), "utf8"));
+  const args = buildStellarVerifyProofArgs({
+    proof,
+    vk,
+    publicSignals,
+    embedVk: options.embedVk
+  });
+  const target = `${options.verifierContract}.verify_proof`;
+  const result = await (0, import_core4.invokeContract)({
+    config,
+    target,
+    args,
+    networkName: options.network,
+    source: options.sourceAccount,
+    cwd
+  });
+  if (!result.result) {
+    throw new ZkError("Verifier invocation returned no result.", "ZK_INVOKE_FAILED");
+  }
+  if (result.result.trim().toLowerCase() !== "true") {
+    throw new ZkError(
+      `Verifier returned ${result.result.trim()}.`,
+      "ZK_VERIFY_FAILED"
+    );
+  }
+  const artifacts = await (0, import_core4.readArtifacts)(cwd);
+  const contractId = artifacts.networks[options.network]?.contracts[options.verifierContract]?.contractId;
+  if (!contractId) {
+    throw new ZkError(
+      `No deployed artifact found for "${options.verifierContract}" on "${options.network}".`,
+      "ZK_INVOKE_FAILED",
+      "Run caatinga deploy before invoking the verifier."
+    );
+  }
+  return {
+    network: options.network,
+    verifierContract: options.verifierContract,
+    contractId,
+    publicSignals,
+    verified: true
+  };
+}
+// Annotate the CommonJS export names for ESM import in node:
+0 && (module.exports = {
+  ZkError,
+  buildCircuit,
+  buildStellarVerifyProofArgs,
+  invokeVerifier,
+  proveCircuit,
+  ptauSizeForConstraints,
+  serializeProof,
+  serializePublicSignals,
+  serializeVk
+});
+//# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/index.ts","../src/serialization/bigint-helpers.ts","../src/serialization/serialize-proof.ts","../src/serialization/serialize-vk.ts","../src/serialization/serialize-public-signals.ts","../src/build/build-circuit.ts","../src/install/lazy-install-zk-tools.ts","../src/errors/ZkError.ts","../src/build/detect-ptau-size.ts","../src/prove/prove-circuit.ts","../src/invoke/invoke-verifier.ts"],"sourcesContent":["export { serializeProof, type SerializedProof, type SnarkjsProof } from \"./serialization/serialize-proof.js\";\nexport { serializeVk, type SerializedVk, type SnarkjsVk } from \"./serialization/serialize-vk.js\";\nexport { serializePublicSignals } from \"./serialization/serialize-public-signals.js\";\nexport { buildCircuit, type BuildCircuitOptions } from \"./build/build-circuit.js\";\nexport { proveCircuit, type ProveCircuitOptions } from \"./prove/prove-circuit.js\";\nexport { invokeVerifier, buildStellarVerifyProofArgs, type InvokeVerifierOptions, type InvokeVerifierResult } from \"./invoke/invoke-verifier.js\";\nexport { ptauSizeForConstraints } from \"./build/detect-ptau-size.js\";\nexport { ZkError } from \"./errors/ZkError.js\";\n","/**\n * Convert a decimal string to a little-endian unsigned 32-byte array.\n */\nexport function decimalToLe32(decimal: string): Uint8Array {\n  let value = BigInt(decimal);\n  const out = new Uint8Array(32);\n  for (let i = 0; i < 32; i++) {\n    out[i] = Number(value & 0xffn);\n    value >>= 8n;\n  }\n  return out;\n}\n\n/**\n * Convert a decimal string to a big-endian unsigned 48-byte array.\n */\nexport function decimalToBe48(decimal: string): Uint8Array {\n  let value = BigInt(decimal);\n  const out = new Uint8Array(48);\n  for (let i = 47; i >= 0; i--) {\n    out[i] = Number(value & 0xffn);\n    value >>= 8n;\n  }\n  return out;\n}\n","import { decimalToBe48 } from \"./bigint-helpers.js\";\n\nexport type SerializedG1 = {\n  x: Uint8Array;\n  y: Uint8Array;\n};\n\nexport type SerializedG2 = {\n  x: [Uint8Array, Uint8Array];\n  y: [Uint8Array, Uint8Array];\n};\n\nexport type SerializedProof = {\n  a: SerializedG1;\n  b: SerializedG2;\n  c: SerializedG1;\n};\n\nexport type SnarkjsProof = {\n  pi_a: [string, string, string];\n  pi_b: [[string, string], [string, string]];\n  pi_c: [string, string, string];\n  protocol: string;\n  curve: string;\n};\n\nexport function serializeProof(proof: SnarkjsProof): SerializedProof {\n  if (proof.curve !== \"bls12381\") {\n    throw new Error(`Expected curve bls12381, got ${proof.curve}`);\n  }\n\n  return {\n    a: {\n      x: decimalToBe48(proof.pi_a[0]),\n      y: decimalToBe48(proof.pi_a[1]),\n    },\n    b: {\n      x: [decimalToBe48(proof.pi_b[0][1]), decimalToBe48(proof.pi_b[0][0])],\n      y: [decimalToBe48(proof.pi_b[1][1]), decimalToBe48(proof.pi_b[1][0])],\n    },\n    c: {\n      x: decimalToBe48(proof.pi_c[0]),\n      y: decimalToBe48(proof.pi_c[1]),\n    },\n  };\n}\n","import { decimalToBe48 } from \"./bigint-helpers.js\";\nimport type { SerializedG1, SerializedG2 } from \"./serialize-proof.js\";\n\nexport type SerializedVk = {\n  alpha: SerializedG1;\n  beta: SerializedG2;\n  gamma: SerializedG2;\n  delta: SerializedG2;\n  ic: SerializedG1[];\n};\n\nexport type SnarkjsVk = {\n  protocol: string;\n  curve: string;\n  vk_alpha_1: [string, string, string];\n  vk_beta_2: [[string, string], [string, string], ...string[][]];\n  vk_gamma_2: [[string, string], [string, string], ...string[][]];\n  vk_delta_2: [[string, string], [string, string], ...string[][]];\n  vk_ic?: Array<[string, string, string]>;\n  IC?: Array<[string, string, string]>;\n};\n\nfunction g2FromSnarkjsExport(rows: [[string, string], [string, string], ...string[][]]): SerializedG2 {\n  return g2FromSnarkjs([rows[0]!, rows[1]!]);\n}\n\nfunction g1FromSnarkjs(p: [string, string, string]): SerializedG1 {\n  return {\n    x: decimalToBe48(p[0]),\n    y: decimalToBe48(p[1]),\n  };\n}\n\nfunction g2FromSnarkjs(p: [[string, string], [string, string]]): SerializedG2 {\n  return {\n    x: [decimalToBe48(p[0][1]), decimalToBe48(p[0][0])],\n    y: [decimalToBe48(p[1][1]), decimalToBe48(p[1][0])],\n  };\n}\n\nexport function serializeVk(vk: SnarkjsVk): SerializedVk {\n  if (vk.curve !== \"bls12381\") {\n    throw new Error(`Expected curve bls12381, got ${vk.curve}`);\n  }\n\n  const ic = vk.vk_ic ?? vk.IC;\n  if (!ic) {\n    throw new Error(\"Verification key is missing vk_ic/IC entries.\");\n  }\n\n  return {\n    alpha: g1FromSnarkjs(vk.vk_alpha_1),\n    beta: g2FromSnarkjsExport(vk.vk_beta_2),\n    gamma: g2FromSnarkjsExport(vk.vk_gamma_2),\n    delta: g2FromSnarkjsExport(vk.vk_delta_2),\n    ic: ic.map(g1FromSnarkjs),\n  };\n}\n","import { decimalToLe32 } from \"./bigint-helpers.js\";\n\nexport function serializePublicSignals(signals: string[]): Uint8Array[] {\n  return signals.map((s) => decimalToLe32(s));\n}\n","import { runCommand } from \"@caatinga/core\";\nimport path from \"node:path\";\nimport { mkdir, readFile, writeFile } from \"node:fs/promises\";\nimport { createHash, randomBytes } from \"node:crypto\";\nimport { ensureCircom, ensurePtau, ensureSnarkjs } from \"../install/lazy-install-zk-tools.js\";\nimport { ptauSizeForConstraints } from \"./detect-ptau-size.js\";\nimport { serializeVk, type SnarkjsVk } from \"../serialization/serialize-vk.js\";\n\nexport type BuildCircuitOptions = {\n  circuitName: string;\n  circuitPath: string;\n  artifactsDir: string;\n  embedVk: boolean;\n};\n\nfunction bytesToHex(bytes: Uint8Array): string {\n  return Array.from(bytes).map((b) => b.toString(16).padStart(2, \"0\")).join(\"\");\n}\n\nasync function writeEmbeddedVk(\n  vkPath: string,\n  verifierSrcDir: string\n): Promise<void> {\n  const raw = JSON.parse(await readFile(vkPath, \"utf8\")) as SnarkjsVk;\n  const vk = serializeVk(raw);\n  const lines = [\n    \"// @generated by caatinga zk build --embed-vk\",\n    \"use soroban_sdk::crypto::bls12_381::{G1Affine, G2Affine};\",\n    \"\",\n    \"pub fn embedded_vk() -> (G1Affine, G2Affine, G2Affine, G2Affine, alloc::vec::Vec<G1Affine>) {\",\n    \"    todo!(\\\"Embed VK coordinates from verification_key.json\\\")\",\n    `    // alpha.x = ${bytesToHex(vk.alpha.x)}`,\n    \"}\",\n    \"\",\n  ];\n  await writeFile(path.join(verifierSrcDir, \"vk.rs\"), lines.join(\"\\n\"), \"utf8\");\n}\n\nexport async function buildCircuit(options: BuildCircuitOptions): Promise<void> {\n  const circom = await ensureCircom();\n  const snarkjs = await ensureSnarkjs();\n  const circuitDir = path.resolve(options.circuitPath);\n  const outDir = path.resolve(options.artifactsDir);\n  const circuitFile = path.join(circuitDir, \"main.circom\");\n  const r1csPath = path.join(outDir, \"main.r1cs\");\n  const zkey0 = path.join(outDir, \"circuit_0000.zkey\");\n  const zkeyFinal = path.join(outDir, \"circuit_final.zkey\");\n  const vkPath = path.join(outDir, \"verification_key.json\");\n\n  await mkdir(outDir, { recursive: true });\n\n  await runCommand(circom, [\n    circuitFile,\n    \"--r1cs\",\n    \"--wasm\",\n    \"--sym\",\n    \"-p\",\n    \"bls12381\",\n    \"-o\",\n    outDir,\n  ]);\n\n  const r1csInfo = await runCommand(snarkjs, [\"r1cs\", \"info\", r1csPath]);\n  const constraintMatch = r1csInfo.stdout.match(/# of Constraints:\\s+(\\d+)/);\n  const constraints = constraintMatch ? Number.parseInt(constraintMatch[1]!, 10) : 1;\n  const ptauSize = ptauSizeForConstraints(constraints);\n  const ptauPath = await ensurePtau(ptauSize);\n  const entropy = createHash(\"sha256\").update(randomBytes(32)).digest(\"hex\");\n\n  await runCommand(snarkjs, [\"groth16\", \"setup\", r1csPath, ptauPath, zkey0]);\n  await runCommand(snarkjs, [\"zkey\", \"contribute\", zkey0, zkeyFinal, \"-v\"], {\n    input: `caatinga-dev\\n${entropy}\\n`,\n  });\n  await runCommand(snarkjs, [\"zkey\", \"export\", \"verificationkey\", zkeyFinal, vkPath]);\n\n  if (options.embedVk) {\n    const verifierSrcDir = path.resolve(\"contracts\", \"verifier\", \"src\");\n    await writeEmbeddedVk(vkPath, verifierSrcDir);\n  }\n}\n","import { runCommand } from \"@caatinga/core\";\nimport { access, chmod, mkdir, writeFile } from \"node:fs/promises\";\nimport path from \"node:path\";\nimport os from \"node:os\";\nimport { createHash, randomBytes } from \"node:crypto\";\nimport { ZkError } from \"../errors/ZkError.js\";\n\nconst ZK_CACHE_DIR = path.join(os.homedir(), \".caatinga\", \"zk-tools\");\nconst SNARKJS_VERSION = \"0.7.5\";\nconst CIRCOM_VERSION = \"2.1.9\";\n\nfunction circomAssetName(): string {\n  const platform = process.platform;\n  const arch = process.arch === \"x64\" ? \"amd64\" : process.arch;\n  if (platform === \"linux\") {\n    return `circom-linux-${arch}`;\n  }\n  if (platform === \"darwin\") {\n    return `circom-macos-${arch}`;\n  }\n  throw new ZkError(\n    `Unsupported platform for automatic circom install: ${platform}`,\n    \"ZK_UNSUPPORTED_PLATFORM\",\n    \"Install circom 2.x manually and ensure it is on PATH.\"\n  );\n}\n\nexport async function ensureCircom(): Promise<string> {\n  const cached = path.join(ZK_CACHE_DIR, \"circom\", CIRCOM_VERSION, \"circom\");\n  try {\n    await access(cached);\n    return cached;\n  } catch {\n    // Fall through to download.\n  }\n\n  const asset = circomAssetName();\n  const url = `https://github.com/iden3/circom/releases/download/v${CIRCOM_VERSION}/${asset}`;\n  const installDir = path.join(ZK_CACHE_DIR, \"circom\", CIRCOM_VERSION);\n  await mkdir(installDir, { recursive: true });\n\n  const archivePath = path.join(installDir, asset);\n  await runCommand(\"curl\", [\"-fsSL\", url, \"-o\", archivePath]);\n  await chmod(archivePath, 0o755);\n\n  return archivePath;\n}\n\nexport async function ensureSnarkjs(): Promise<string> {\n  const installDir = path.join(ZK_CACHE_DIR, `snarkjs-${SNARKJS_VERSION}`);\n  const cliPath = path.join(installDir, \"node_modules\", \".bin\", \"snarkjs\");\n\n  try {\n    await access(cliPath);\n    return cliPath;\n  } catch {\n    await mkdir(installDir, { recursive: true });\n    await writeFile(\n      path.join(installDir, \"package.json\"),\n      JSON.stringify({ name: \"caatinga-zk-snarkjs\", private: true, version: \"0.0.0\" }, null, 2),\n      \"utf8\"\n    );\n    await runCommand(\"npm\", [\"install\", \"--no-save\", \"--legacy-peer-deps\", `snarkjs@${SNARKJS_VERSION}`], {\n      cwd: installDir,\n    });\n    return cliPath;\n  }\n}\n\nexport async function ensurePtau(size: number): Promise<string> {\n  const ptauDir = path.join(ZK_CACHE_DIR, \"ptau\", \"bls12-381\");\n  const finalPath = path.join(ptauDir, `pot${size}_final.ptau`);\n  try {\n    await access(finalPath);\n    return finalPath;\n  } catch {\n    await mkdir(ptauDir, { recursive: true });\n  }\n\n  const snarkjs = await ensureSnarkjs();\n  const pot0 = path.join(ptauDir, `pot${size}_0000.ptau`);\n  const pot1 = path.join(ptauDir, `pot${size}_0001.ptau`);\n  const entropy = createHash(\"sha256\").update(randomBytes(32)).digest(\"hex\");\n\n  await runCommand(snarkjs, [\"powersoftau\", \"new\", \"bls12-381\", String(size), pot0, \"-v\"]);\n  await runCommand(snarkjs, [\n    \"powersoftau\",\n    \"contribute\",\n    pot0,\n    pot1,\n    \"-v\",\n  ], {\n    input: `caatinga-dev\\n${entropy}\\n`,\n  });\n  await runCommand(snarkjs, [\"powersoftau\", \"prepare\", \"phase2\", pot1, finalPath, \"-v\"]);\n\n  return finalPath;\n}\n","export class ZkError extends Error {\n  constructor(\n    message: string,\n    public readonly code: string,\n    public readonly hint?: string\n  ) {\n    super(message);\n    this.name = \"ZkError\";\n  }\n}\n","export function ptauSizeForConstraints(constraintCount: number): number {\n  const needed = Math.ceil(Math.log2(Math.max(constraintCount, 1))) + 1;\n  return Math.min(Math.max(needed, 8), 28);\n}\n","import { runCommand } from \"@caatinga/core\";\nimport path from \"node:path\";\nimport { access, mkdir } from \"node:fs/promises\";\nimport { ensureSnarkjs } from \"../install/lazy-install-zk-tools.js\";\n\nexport type ProveCircuitOptions = {\n  circuitName: string;\n  circuitPath: string;\n  artifactsDir: string;\n  inputPath: string;\n  debug: boolean;\n};\n\nexport function resolveCircuitWasmPath(artifactsDir: string): string {\n  return path.join(artifactsDir, \"main_js\", \"main.wasm\");\n}\n\nexport async function proveCircuit(options: ProveCircuitOptions): Promise<void> {\n  const snarkjs = await ensureSnarkjs();\n  const artifactsDir = path.resolve(options.artifactsDir);\n  const wasmPath = resolveCircuitWasmPath(artifactsDir);\n  const zkeyPath = path.join(artifactsDir, \"circuit_final.zkey\");\n  const inputPath = path.resolve(options.inputPath);\n  const proofPath = path.join(artifactsDir, \"proof.json\");\n  const publicPath = path.join(artifactsDir, \"public.json\");\n\n  await mkdir(artifactsDir, { recursive: true });\n\n  if (options.debug) {\n    const witnessPath = path.join(artifactsDir, \"witness.wtns\");\n    await runCommand(snarkjs, [\"wtns\", \"calculate\", wasmPath, inputPath, witnessPath, \"-v\"]);\n    await runCommand(snarkjs, [\"groth16\", \"prove\", zkeyPath, witnessPath, proofPath, publicPath]);\n    return;\n  }\n\n  await runCommand(snarkjs, [\n    \"groth16\",\n    \"fullprove\",\n    inputPath,\n    wasmPath,\n    zkeyPath,\n    proofPath,\n    publicPath,\n  ]);\n\n  await access(proofPath);\n  await access(publicPath);\n}\n","import { invokeContract, loadConfig, readArtifacts, type CaatingaConfig } from \"@caatinga/core\";\nimport { readFile } from \"node:fs/promises\";\nimport path from \"node:path\";\nimport { serializeProof, type SnarkjsProof } from \"../serialization/serialize-proof.js\";\nimport { serializeVk, type SnarkjsVk } from \"../serialization/serialize-vk.js\";\nimport { ZkError } from \"../errors/ZkError.js\";\n\nexport type InvokeVerifierOptions = {\n  verifierContract: string;\n  network: string;\n  sourceAccount: string;\n  proofPath: string;\n  vkPath: string;\n  publicSignalsPath: string;\n  embedVk: boolean;\n  cwd?: string;\n  config?: CaatingaConfig;\n};\n\nfunction concatG1(point: { x: Uint8Array; y: Uint8Array }): string {\n  return Buffer.concat([point.x, point.y]).toString(\"hex\");\n}\n\nfunction concatG2(point: { x: [Uint8Array, Uint8Array]; y: [Uint8Array, Uint8Array] }): string {\n  return Buffer.concat([point.x[0], point.x[1], point.y[0], point.y[1]]).toString(\"hex\");\n}\n\nexport function buildStellarVerifyProofArgs(options: {\n  proof: SnarkjsProof;\n  vk?: SnarkjsVk;\n  publicSignals: string[];\n  embedVk: boolean;\n}): string[] {\n  const serializedProof = serializeProof(options.proof);\n  const args: string[] = [];\n\n  if (!options.embedVk) {\n    if (!options.vk) {\n      throw new ZkError(\"Verification key is required when embedVk is false.\", \"ZK_VK_REQUIRED\");\n    }\n\n    const serializedVk = serializeVk(options.vk);\n    args.push(\n      \"--vk\",\n      JSON.stringify({\n        alpha: concatG1(serializedVk.alpha),\n        beta: concatG2(serializedVk.beta),\n        gamma: concatG2(serializedVk.gamma),\n        delta: concatG2(serializedVk.delta),\n        ic: serializedVk.ic.map(concatG1),\n      })\n    );\n  }\n\n  args.push(\n    \"--proof\",\n    JSON.stringify({\n      a: concatG1(serializedProof.a),\n      b: concatG2(serializedProof.b),\n      c: concatG1(serializedProof.c),\n    })\n  );\n  args.push(\"--pub_signals\", JSON.stringify(options.publicSignals));\n\n  return args;\n}\n\nexport type InvokeVerifierResult = {\n  network: string;\n  verifierContract: string;\n  contractId: string;\n  publicSignals: string[];\n  verified: true;\n};\n\nexport async function invokeVerifier(options: InvokeVerifierOptions): Promise<InvokeVerifierResult> {\n  const cwd = options.cwd ?? process.cwd();\n  const config = options.config ?? await loadConfig({ cwd });\n  const proof = JSON.parse(await readFile(path.resolve(cwd, options.proofPath), \"utf8\")) as SnarkjsProof;\n  const publicSignals = JSON.parse(\n    await readFile(path.resolve(cwd, options.publicSignalsPath), \"utf8\")\n  ) as string[];\n\n  const vk = options.embedVk\n    ? undefined\n    : JSON.parse(await readFile(path.resolve(cwd, options.vkPath), \"utf8\")) as SnarkjsVk;\n\n  const args = buildStellarVerifyProofArgs({\n    proof,\n    vk,\n    publicSignals,\n    embedVk: options.embedVk,\n  });\n\n  const target = `${options.verifierContract}.verify_proof`;\n  const result = await invokeContract({\n    config,\n    target,\n    args,\n    networkName: options.network,\n    source: options.sourceAccount,\n    cwd,\n  });\n\n  if (!result.result) {\n    throw new ZkError(\"Verifier invocation returned no result.\", \"ZK_INVOKE_FAILED\");\n  }\n\n  if (result.result.trim().toLowerCase() !== \"true\") {\n    throw new ZkError(\n      `Verifier returned ${result.result.trim()}.`,\n      \"ZK_VERIFY_FAILED\"\n    );\n  }\n\n  const artifacts = await readArtifacts(cwd);\n  const contractId = artifacts.networks[options.network]?.contracts[options.verifierContract]?.contractId;\n\n  if (!contractId) {\n    throw new ZkError(\n      `No deployed artifact found for \"${options.verifierContract}\" on \"${options.network}\".`,\n      \"ZK_INVOKE_FAILED\",\n      \"Run caatinga deploy before invoking the verifier.\"\n    );\n  }\n\n  return {\n    network: options.network,\n    verifierContract: options.verifierContract,\n    contractId,\n    publicSignals,\n    verified: true,\n  };\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACGO,SAAS,cAAc,SAA6B;AACzD,MAAI,QAAQ,OAAO,OAAO;AAC1B,QAAM,MAAM,IAAI,WAAW,EAAE;AAC7B,WAAS,IAAI,GAAG,IAAI,IAAI,KAAK;AAC3B,QAAI,CAAC,IAAI,OAAO,QAAQ,KAAK;AAC7B,cAAU;AAAA,EACZ;AACA,SAAO;AACT;AAKO,SAAS,cAAc,SAA6B;AACzD,MAAI,QAAQ,OAAO,OAAO;AAC1B,QAAM,MAAM,IAAI,WAAW,EAAE;AAC7B,WAAS,IAAI,IAAI,KAAK,GAAG,KAAK;AAC5B,QAAI,CAAC,IAAI,OAAO,QAAQ,KAAK;AAC7B,cAAU;AAAA,EACZ;AACA,SAAO;AACT;;;ACEO,SAAS,eAAe,OAAsC;AACnE,MAAI,MAAM,UAAU,YAAY;AAC9B,UAAM,IAAI,MAAM,gCAAgC,MAAM,KAAK,EAAE;AAAA,EAC/D;AAEA,SAAO;AAAA,IACL,GAAG;AAAA,MACD,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,MAC9B,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,IAChC;AAAA,IACA,GAAG;AAAA,MACD,GAAG,CAAC,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,MACpE,GAAG,CAAC,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,IACtE;AAAA,IACA,GAAG;AAAA,MACD,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,MAC9B,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,IAChC;AAAA,EACF;AACF;;;ACvBA,SAAS,oBAAoB,MAAyE;AACpG,SAAO,cAAc,CAAC,KAAK,CAAC,GAAI,KAAK,CAAC,CAAE,CAAC;AAC3C;AAEA,SAAS,cAAc,GAA2C;AAChE,SAAO;AAAA,IACL,GAAG,cAAc,EAAE,CAAC,CAAC;AAAA,IACrB,GAAG,cAAc,EAAE,CAAC,CAAC;AAAA,EACvB;AACF;AAEA,SAAS,cAAc,GAAuD;AAC5E,SAAO;AAAA,IACL,GAAG,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,IAClD,GAAG,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,EACpD;AACF;AAEO,SAAS,YAAY,IAA6B;AACvD,MAAI,GAAG,UAAU,YAAY;AAC3B,UAAM,IAAI,MAAM,gCAAgC,GAAG,KAAK,EAAE;AAAA,EAC5D;AAEA,QAAM,KAAK,GAAG,SAAS,GAAG;AAC1B,MAAI,CAAC,IAAI;AACP,UAAM,IAAI,MAAM,+CAA+C;AAAA,EACjE;AAEA,SAAO;AAAA,IACL,OAAO,cAAc,GAAG,UAAU;AAAA,IAClC,MAAM,oBAAoB,GAAG,SAAS;AAAA,IACtC,OAAO,oBAAoB,GAAG,UAAU;AAAA,IACxC,OAAO,oBAAoB,GAAG,UAAU;AAAA,IACxC,IAAI,GAAG,IAAI,aAAa;AAAA,EAC1B;AACF;;;ACvDO,SAAS,uBAAuB,SAAiC;AACtE,SAAO,QAAQ,IAAI,CAAC,MAAM,cAAc,CAAC,CAAC;AAC5C;;;ACJA,IAAAA,eAA2B;AAC3B,IAAAC,oBAAiB;AACjB,IAAAC,mBAA2C;AAC3C,IAAAC,sBAAwC;;;ACHxC,kBAA2B;AAC3B,sBAAgD;AAChD,uBAAiB;AACjB,qBAAe;AACf,yBAAwC;;;ACJjC,IAAM,UAAN,cAAsB,MAAM;AAAA,EACjC,YACE,SACgB,MACA,MAChB;AACA,UAAM,OAAO;AAHG;AACA;AAGhB,SAAK,OAAO;AAAA,EACd;AAAA,EALkB;AAAA,EACA;AAKpB;;;ADFA,IAAM,eAAe,iBAAAC,QAAK,KAAK,eAAAC,QAAG,QAAQ,GAAG,aAAa,UAAU;AACpE,IAAM,kBAAkB;AACxB,IAAM,iBAAiB;AAEvB,SAAS,kBAA0B;AACjC,QAAM,WAAW,QAAQ;AACzB,QAAM,OAAO,QAAQ,SAAS,QAAQ,UAAU,QAAQ;AACxD,MAAI,aAAa,SAAS;AACxB,WAAO,gBAAgB,IAAI;AAAA,EAC7B;AACA,MAAI,aAAa,UAAU;AACzB,WAAO,gBAAgB,IAAI;AAAA,EAC7B;AACA,QAAM,IAAI;AAAA,IACR,sDAAsD,QAAQ;AAAA,IAC9D;AAAA,IACA;AAAA,EACF;AACF;AAEA,eAAsB,eAAgC;AACpD,QAAM,SAAS,iBAAAD,QAAK,KAAK,cAAc,UAAU,gBAAgB,QAAQ;AACzE,MAAI;AACF,cAAM,wBAAO,MAAM;AACnB,WAAO;AAAA,EACT,QAAQ;AAAA,EAER;AAEA,QAAM,QAAQ,gBAAgB;AAC9B,QAAM,MAAM,sDAAsD,cAAc,IAAI,KAAK;AACzF,QAAM,aAAa,iBAAAA,QAAK,KAAK,cAAc,UAAU,cAAc;AACnE,YAAM,uBAAM,YAAY,EAAE,WAAW,KAAK,CAAC;AAE3C,QAAM,cAAc,iBAAAA,QAAK,KAAK,YAAY,KAAK;AAC/C,YAAM,wBAAW,QAAQ,CAAC,SAAS,KAAK,MAAM,WAAW,CAAC;AAC1D,YAAM,uBAAM,aAAa,GAAK;AAE9B,SAAO;AACT;AAEA,eAAsB,gBAAiC;AACrD,QAAM,aAAa,iBAAAA,QAAK,KAAK,cAAc,WAAW,eAAe,EAAE;AACvE,QAAM,UAAU,iBAAAA,QAAK,KAAK,YAAY,gBAAgB,QAAQ,SAAS;AAEvE,MAAI;AACF,cAAM,wBAAO,OAAO;AACpB,WAAO;AAAA,EACT,QAAQ;AACN,cAAM,uBAAM,YAAY,EAAE,WAAW,KAAK,CAAC;AAC3C,cAAM;AAAA,MACJ,iBAAAA,QAAK,KAAK,YAAY,cAAc;AAAA,MACpC,KAAK,UAAU,EAAE,MAAM,uBAAuB,SAAS,MAAM,SAAS,QAAQ,GAAG,MAAM,CAAC;AAAA,MACxF;AAAA,IACF;AACA,cAAM,wBAAW,OAAO,CAAC,WAAW,aAAa,sBAAsB,WAAW,eAAe,EAAE,GAAG;AAAA,MACpG,KAAK;AAAA,IACP,CAAC;AACD,WAAO;AAAA,EACT;AACF;AAEA,eAAsB,WAAW,MAA+B;AAC9D,QAAM,UAAU,iBAAAA,QAAK,KAAK,cAAc,QAAQ,WAAW;AAC3D,QAAM,YAAY,iBAAAA,QAAK,KAAK,SAAS,MAAM,IAAI,aAAa;AAC5D,MAAI;AACF,cAAM,wBAAO,SAAS;AACtB,WAAO;AAAA,EACT,QAAQ;AACN,cAAM,uBAAM,SAAS,EAAE,WAAW,KAAK,CAAC;AAAA,EAC1C;AAEA,QAAM,UAAU,MAAM,cAAc;AACpC,QAAM,OAAO,iBAAAA,QAAK,KAAK,SAAS,MAAM,IAAI,YAAY;AACtD,QAAM,OAAO,iBAAAA,QAAK,KAAK,SAAS,MAAM,IAAI,YAAY;AACtD,QAAM,cAAU,+BAAW,QAAQ,EAAE,WAAO,gCAAY,EAAE,CAAC,EAAE,OAAO,KAAK;AAEzE,YAAM,wBAAW,SAAS,CAAC,eAAe,OAAO,aAAa,OAAO,IAAI,GAAG,MAAM,IAAI,CAAC;AACvF,YAAM,wBAAW,SAAS;AAAA,IACxB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,GAAG;AAAA,IACD,OAAO;AAAA,EAAiB,OAAO;AAAA;AAAA,EACjC,CAAC;AACD,YAAM,wBAAW,SAAS,CAAC,eAAe,WAAW,UAAU,MAAM,WAAW,IAAI,CAAC;AAErF,SAAO;AACT;;;AEjGO,SAAS,uBAAuB,iBAAiC;AACtE,QAAM,SAAS,KAAK,KAAK,KAAK,KAAK,KAAK,IAAI,iBAAiB,CAAC,CAAC,CAAC,IAAI;AACpE,SAAO,KAAK,IAAI,KAAK,IAAI,QAAQ,CAAC,GAAG,EAAE;AACzC;;;AHYA,SAAS,WAAW,OAA2B;AAC7C,SAAO,MAAM,KAAK,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAAE,KAAK,EAAE;AAC9E;AAEA,eAAe,gBACb,QACA,gBACe;AACf,QAAM,MAAM,KAAK,MAAM,UAAM,2BAAS,QAAQ,MAAM,CAAC;AACrD,QAAM,KAAK,YAAY,GAAG;AAC1B,QAAM,QAAQ;AAAA,IACZ;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,oBAAoB,WAAW,GAAG,MAAM,CAAC,CAAC;AAAA,IAC1C;AAAA,IACA;AAAA,EACF;AACA,YAAM,4BAAU,kBAAAE,QAAK,KAAK,gBAAgB,OAAO,GAAG,MAAM,KAAK,IAAI,GAAG,MAAM;AAC9E;AAEA,eAAsB,aAAa,SAA6C;AAC9E,QAAM,SAAS,MAAM,aAAa;AAClC,QAAM,UAAU,MAAM,cAAc;AACpC,QAAM,aAAa,kBAAAA,QAAK,QAAQ,QAAQ,WAAW;AACnD,QAAM,SAAS,kBAAAA,QAAK,QAAQ,QAAQ,YAAY;AAChD,QAAM,cAAc,kBAAAA,QAAK,KAAK,YAAY,aAAa;AACvD,QAAM,WAAW,kBAAAA,QAAK,KAAK,QAAQ,WAAW;AAC9C,QAAM,QAAQ,kBAAAA,QAAK,KAAK,QAAQ,mBAAmB;AACnD,QAAM,YAAY,kBAAAA,QAAK,KAAK,QAAQ,oBAAoB;AACxD,QAAM,SAAS,kBAAAA,QAAK,KAAK,QAAQ,uBAAuB;AAExD,YAAM,wBAAM,QAAQ,EAAE,WAAW,KAAK,CAAC;AAEvC,YAAM,yBAAW,QAAQ;AAAA,IACvB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,CAAC;AAED,QAAM,WAAW,UAAM,yBAAW,SAAS,CAAC,QAAQ,QAAQ,QAAQ,CAAC;AACrE,QAAM,kBAAkB,SAAS,OAAO,MAAM,2BAA2B;AACzE,QAAM,cAAc,kBAAkB,OAAO,SAAS,gBAAgB,CAAC,GAAI,EAAE,IAAI;AACjF,QAAM,WAAW,uBAAuB,WAAW;AACnD,QAAM,WAAW,MAAM,WAAW,QAAQ;AAC1C,QAAM,cAAU,gCAAW,QAAQ,EAAE,WAAO,iCAAY,EAAE,CAAC,EAAE,OAAO,KAAK;AAEzE,YAAM,yBAAW,SAAS,CAAC,WAAW,SAAS,UAAU,UAAU,KAAK,CAAC;AACzE,YAAM,yBAAW,SAAS,CAAC,QAAQ,cAAc,OAAO,WAAW,IAAI,GAAG;AAAA,IACxE,OAAO;AAAA,EAAiB,OAAO;AAAA;AAAA,EACjC,CAAC;AACD,YAAM,yBAAW,SAAS,CAAC,QAAQ,UAAU,mBAAmB,WAAW,MAAM,CAAC;AAElF,MAAI,QAAQ,SAAS;AACnB,UAAM,iBAAiB,kBAAAA,QAAK,QAAQ,aAAa,YAAY,KAAK;AAClE,UAAM,gBAAgB,QAAQ,cAAc;AAAA,EAC9C;AACF;;;AI/EA,IAAAC,eAA2B;AAC3B,IAAAC,oBAAiB;AACjB,IAAAC,mBAA8B;AAWvB,SAAS,uBAAuB,cAA8B;AACnE,SAAO,kBAAAC,QAAK,KAAK,cAAc,WAAW,WAAW;AACvD;AAEA,eAAsB,aAAa,SAA6C;AAC9E,QAAM,UAAU,MAAM,cAAc;AACpC,QAAM,eAAe,kBAAAA,QAAK,QAAQ,QAAQ,YAAY;AACtD,QAAM,WAAW,uBAAuB,YAAY;AACpD,QAAM,WAAW,kBAAAA,QAAK,KAAK,cAAc,oBAAoB;AAC7D,QAAM,YAAY,kBAAAA,QAAK,QAAQ,QAAQ,SAAS;AAChD,QAAM,YAAY,kBAAAA,QAAK,KAAK,cAAc,YAAY;AACtD,QAAM,aAAa,kBAAAA,QAAK,KAAK,cAAc,aAAa;AAExD,YAAM,wBAAM,cAAc,EAAE,WAAW,KAAK,CAAC;AAE7C,MAAI,QAAQ,OAAO;AACjB,UAAM,cAAc,kBAAAA,QAAK,KAAK,cAAc,cAAc;AAC1D,cAAM,yBAAW,SAAS,CAAC,QAAQ,aAAa,UAAU,WAAW,aAAa,IAAI,CAAC;AACvF,cAAM,yBAAW,SAAS,CAAC,WAAW,SAAS,UAAU,aAAa,WAAW,UAAU,CAAC;AAC5F;AAAA,EACF;AAEA,YAAM,yBAAW,SAAS;AAAA,IACxB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,CAAC;AAED,YAAM,yBAAO,SAAS;AACtB,YAAM,yBAAO,UAAU;AACzB;;;AC/CA,IAAAC,eAA+E;AAC/E,IAAAC,mBAAyB;AACzB,IAAAC,oBAAiB;AAiBjB,SAAS,SAAS,OAAiD;AACjE,SAAO,OAAO,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,SAAS,KAAK;AACzD;AAEA,SAAS,SAAS,OAA6E;AAC7F,SAAO,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,KAAK;AACvF;AAEO,SAAS,4BAA4B,SAK/B;AACX,QAAM,kBAAkB,eAAe,QAAQ,KAAK;AACpD,QAAM,OAAiB,CAAC;AAExB,MAAI,CAAC,QAAQ,SAAS;AACpB,QAAI,CAAC,QAAQ,IAAI;AACf,YAAM,IAAI,QAAQ,uDAAuD,gBAAgB;AAAA,IAC3F;AAEA,UAAM,eAAe,YAAY,QAAQ,EAAE;AAC3C,SAAK;AAAA,MACH;AAAA,MACA,KAAK,UAAU;AAAA,QACb,OAAO,SAAS,aAAa,KAAK;AAAA,QAClC,MAAM,SAAS,aAAa,IAAI;AAAA,QAChC,OAAO,SAAS,aAAa,KAAK;AAAA,QAClC,OAAO,SAAS,aAAa,KAAK;AAAA,QAClC,IAAI,aAAa,GAAG,IAAI,QAAQ;AAAA,MAClC,CAAC;AAAA,IACH;AAAA,EACF;AAEA,OAAK;AAAA,IACH;AAAA,IACA,KAAK,UAAU;AAAA,MACb,GAAG,SAAS,gBAAgB,CAAC;AAAA,MAC7B,GAAG,SAAS,gBAAgB,CAAC;AAAA,MAC7B,GAAG,SAAS,gBAAgB,CAAC;AAAA,IAC/B,CAAC;AAAA,EACH;AACA,OAAK,KAAK,iBAAiB,KAAK,UAAU,QAAQ,aAAa,CAAC;AAEhE,SAAO;AACT;AAUA,eAAsB,eAAe,SAA+D;AAClG,QAAM,MAAM,QAAQ,OAAO,QAAQ,IAAI;AACvC,QAAM,SAAS,QAAQ,UAAU,UAAM,yBAAW,EAAE,IAAI,CAAC;AACzD,QAAM,QAAQ,KAAK,MAAM,UAAM,2BAAS,kBAAAC,QAAK,QAAQ,KAAK,QAAQ,SAAS,GAAG,MAAM,CAAC;AACrF,QAAM,gBAAgB,KAAK;AAAA,IACzB,UAAM,2BAAS,kBAAAA,QAAK,QAAQ,KAAK,QAAQ,iBAAiB,GAAG,MAAM;AAAA,EACrE;AAEA,QAAM,KAAK,QAAQ,UACf,SACA,KAAK,MAAM,UAAM,2BAAS,kBAAAA,QAAK,QAAQ,KAAK,QAAQ,MAAM,GAAG,MAAM,CAAC;AAExE,QAAM,OAAO,4BAA4B;AAAA,IACvC;AAAA,IACA;AAAA,IACA;AAAA,IACA,SAAS,QAAQ;AAAA,EACnB,CAAC;AAED,QAAM,SAAS,GAAG,QAAQ,gBAAgB;AAC1C,QAAM,SAAS,UAAM,6BAAe;AAAA,IAClC;AAAA,IACA;AAAA,IACA;AAAA,IACA,aAAa,QAAQ;AAAA,IACrB,QAAQ,QAAQ;AAAA,IAChB;AAAA,EACF,CAAC;AAED,MAAI,CAAC,OAAO,QAAQ;AAClB,UAAM,IAAI,QAAQ,2CAA2C,kBAAkB;AAAA,EACjF;AAEA,MAAI,OAAO,OAAO,KAAK,EAAE,YAAY,MAAM,QAAQ;AACjD,UAAM,IAAI;AAAA,MACR,qBAAqB,OAAO,OAAO,KAAK,CAAC;AAAA,MACzC;AAAA,IACF;AAAA,EACF;AAEA,QAAM,YAAY,UAAM,4BAAc,GAAG;AACzC,QAAM,aAAa,UAAU,SAAS,QAAQ,OAAO,GAAG,UAAU,QAAQ,gBAAgB,GAAG;AAE7F,MAAI,CAAC,YAAY;AACf,UAAM,IAAI;AAAA,MACR,mCAAmC,QAAQ,gBAAgB,SAAS,QAAQ,OAAO;AAAA,MACnF;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IACL,SAAS,QAAQ;AAAA,IACjB,kBAAkB,QAAQ;AAAA,IAC1B;AAAA,IACA;AAAA,IACA,UAAU;AAAA,EACZ;AACF;","names":["import_core","import_node_path","import_promises","import_node_crypto","path","os","path","import_core","import_node_path","import_promises","path","import_core","import_promises","import_node_path","path"]}

package/dist/index.d.cts

@@ -0,0 +1,97 @@
+import { CaatingaConfig } from '@caatinga/core';
+
+type SerializedG1 = {
+    x: Uint8Array;
+    y: Uint8Array;
+};
+type SerializedG2 = {
+    x: [Uint8Array, Uint8Array];
+    y: [Uint8Array, Uint8Array];
+};
+type SerializedProof = {
+    a: SerializedG1;
+    b: SerializedG2;
+    c: SerializedG1;
+};
+type SnarkjsProof = {
+    pi_a: [string, string, string];
+    pi_b: [[string, string], [string, string]];
+    pi_c: [string, string, string];
+    protocol: string;
+    curve: string;
+};
+declare function serializeProof(proof: SnarkjsProof): SerializedProof;
+
+type SerializedVk = {
+    alpha: SerializedG1;
+    beta: SerializedG2;
+    gamma: SerializedG2;
+    delta: SerializedG2;
+    ic: SerializedG1[];
+};
+type SnarkjsVk = {
+    protocol: string;
+    curve: string;
+    vk_alpha_1: [string, string, string];
+    vk_beta_2: [[string, string], [string, string], ...string[][]];
+    vk_gamma_2: [[string, string], [string, string], ...string[][]];
+    vk_delta_2: [[string, string], [string, string], ...string[][]];
+    vk_ic?: Array<[string, string, string]>;
+    IC?: Array<[string, string, string]>;
+};
+declare function serializeVk(vk: SnarkjsVk): SerializedVk;
+
+declare function serializePublicSignals(signals: string[]): Uint8Array[];
+
+type BuildCircuitOptions = {
+    circuitName: string;
+    circuitPath: string;
+    artifactsDir: string;
+    embedVk: boolean;
+};
+declare function buildCircuit(options: BuildCircuitOptions): Promise<void>;
+
+type ProveCircuitOptions = {
+    circuitName: string;
+    circuitPath: string;
+    artifactsDir: string;
+    inputPath: string;
+    debug: boolean;
+};
+declare function proveCircuit(options: ProveCircuitOptions): Promise<void>;
+
+type InvokeVerifierOptions = {
+    verifierContract: string;
+    network: string;
+    sourceAccount: string;
+    proofPath: string;
+    vkPath: string;
+    publicSignalsPath: string;
+    embedVk: boolean;
+    cwd?: string;
+    config?: CaatingaConfig;
+};
+declare function buildStellarVerifyProofArgs(options: {
+    proof: SnarkjsProof;
+    vk?: SnarkjsVk;
+    publicSignals: string[];
+    embedVk: boolean;
+}): string[];
+type InvokeVerifierResult = {
+    network: string;
+    verifierContract: string;
+    contractId: string;
+    publicSignals: string[];
+    verified: true;
+};
+declare function invokeVerifier(options: InvokeVerifierOptions): Promise<InvokeVerifierResult>;
+
+declare function ptauSizeForConstraints(constraintCount: number): number;
+
+declare class ZkError extends Error {
+    readonly code: string;
+    readonly hint?: string | undefined;
+    constructor(message: string, code: string, hint?: string | undefined);
+}
+
+export { type BuildCircuitOptions, type InvokeVerifierOptions, type InvokeVerifierResult, type ProveCircuitOptions, type SerializedProof, type SerializedVk, type SnarkjsProof, type SnarkjsVk, ZkError, buildCircuit, buildStellarVerifyProofArgs, invokeVerifier, proveCircuit, ptauSizeForConstraints, serializeProof, serializePublicSignals, serializeVk };

package/dist/index.d.ts

@@ -0,0 +1,97 @@
+import { CaatingaConfig } from '@caatinga/core';
+
+type SerializedG1 = {
+    x: Uint8Array;
+    y: Uint8Array;
+};
+type SerializedG2 = {
+    x: [Uint8Array, Uint8Array];
+    y: [Uint8Array, Uint8Array];
+};
+type SerializedProof = {
+    a: SerializedG1;
+    b: SerializedG2;
+    c: SerializedG1;
+};
+type SnarkjsProof = {
+    pi_a: [string, string, string];
+    pi_b: [[string, string], [string, string]];
+    pi_c: [string, string, string];
+    protocol: string;
+    curve: string;
+};
+declare function serializeProof(proof: SnarkjsProof): SerializedProof;
+
+type SerializedVk = {
+    alpha: SerializedG1;
+    beta: SerializedG2;
+    gamma: SerializedG2;
+    delta: SerializedG2;
+    ic: SerializedG1[];
+};
+type SnarkjsVk = {
+    protocol: string;
+    curve: string;
+    vk_alpha_1: [string, string, string];
+    vk_beta_2: [[string, string], [string, string], ...string[][]];
+    vk_gamma_2: [[string, string], [string, string], ...string[][]];
+    vk_delta_2: [[string, string], [string, string], ...string[][]];
+    vk_ic?: Array<[string, string, string]>;
+    IC?: Array<[string, string, string]>;
+};
+declare function serializeVk(vk: SnarkjsVk): SerializedVk;
+
+declare function serializePublicSignals(signals: string[]): Uint8Array[];
+
+type BuildCircuitOptions = {
+    circuitName: string;
+    circuitPath: string;
+    artifactsDir: string;
+    embedVk: boolean;
+};
+declare function buildCircuit(options: BuildCircuitOptions): Promise<void>;
+
+type ProveCircuitOptions = {
+    circuitName: string;
+    circuitPath: string;
+    artifactsDir: string;
+    inputPath: string;
+    debug: boolean;
+};
+declare function proveCircuit(options: ProveCircuitOptions): Promise<void>;
+
+type InvokeVerifierOptions = {
+    verifierContract: string;
+    network: string;
+    sourceAccount: string;
+    proofPath: string;
+    vkPath: string;
+    publicSignalsPath: string;
+    embedVk: boolean;
+    cwd?: string;
+    config?: CaatingaConfig;
+};
+declare function buildStellarVerifyProofArgs(options: {
+    proof: SnarkjsProof;
+    vk?: SnarkjsVk;
+    publicSignals: string[];
+    embedVk: boolean;
+}): string[];
+type InvokeVerifierResult = {
+    network: string;
+    verifierContract: string;
+    contractId: string;
+    publicSignals: string[];
+    verified: true;
+};
+declare function invokeVerifier(options: InvokeVerifierOptions): Promise<InvokeVerifierResult>;
+
+declare function ptauSizeForConstraints(constraintCount: number): number;
+
+declare class ZkError extends Error {
+    readonly code: string;
+    readonly hint?: string | undefined;
+    constructor(message: string, code: string, hint?: string | undefined);
+}
+
+export { type BuildCircuitOptions, type InvokeVerifierOptions, type InvokeVerifierResult, type ProveCircuitOptions, type SerializedProof, type SerializedVk, type SnarkjsProof, type SnarkjsVk, ZkError, buildCircuit, buildStellarVerifyProofArgs, invokeVerifier, proveCircuit, ptauSizeForConstraints, serializeProof, serializePublicSignals, serializeVk };

package/dist/index.js

@@ -0,0 +1,388 @@
+// src/serialization/bigint-helpers.ts
+function decimalToLe32(decimal) {
+  let value = BigInt(decimal);
+  const out = new Uint8Array(32);
+  for (let i = 0; i < 32; i++) {
+    out[i] = Number(value & 0xffn);
+    value >>= 8n;
+  }
+  return out;
+}
+function decimalToBe48(decimal) {
+  let value = BigInt(decimal);
+  const out = new Uint8Array(48);
+  for (let i = 47; i >= 0; i--) {
+    out[i] = Number(value & 0xffn);
+    value >>= 8n;
+  }
+  return out;
+}
+
+// src/serialization/serialize-proof.ts
+function serializeProof(proof) {
+  if (proof.curve !== "bls12381") {
+    throw new Error(`Expected curve bls12381, got ${proof.curve}`);
+  }
+  return {
+    a: {
+      x: decimalToBe48(proof.pi_a[0]),
+      y: decimalToBe48(proof.pi_a[1])
+    },
+    b: {
+      x: [decimalToBe48(proof.pi_b[0][1]), decimalToBe48(proof.pi_b[0][0])],
+      y: [decimalToBe48(proof.pi_b[1][1]), decimalToBe48(proof.pi_b[1][0])]
+    },
+    c: {
+      x: decimalToBe48(proof.pi_c[0]),
+      y: decimalToBe48(proof.pi_c[1])
+    }
+  };
+}
+
+// src/serialization/serialize-vk.ts
+function g2FromSnarkjsExport(rows) {
+  return g2FromSnarkjs([rows[0], rows[1]]);
+}
+function g1FromSnarkjs(p) {
+  return {
+    x: decimalToBe48(p[0]),
+    y: decimalToBe48(p[1])
+  };
+}
+function g2FromSnarkjs(p) {
+  return {
+    x: [decimalToBe48(p[0][1]), decimalToBe48(p[0][0])],
+    y: [decimalToBe48(p[1][1]), decimalToBe48(p[1][0])]
+  };
+}
+function serializeVk(vk) {
+  if (vk.curve !== "bls12381") {
+    throw new Error(`Expected curve bls12381, got ${vk.curve}`);
+  }
+  const ic = vk.vk_ic ?? vk.IC;
+  if (!ic) {
+    throw new Error("Verification key is missing vk_ic/IC entries.");
+  }
+  return {
+    alpha: g1FromSnarkjs(vk.vk_alpha_1),
+    beta: g2FromSnarkjsExport(vk.vk_beta_2),
+    gamma: g2FromSnarkjsExport(vk.vk_gamma_2),
+    delta: g2FromSnarkjsExport(vk.vk_delta_2),
+    ic: ic.map(g1FromSnarkjs)
+  };
+}
+
+// src/serialization/serialize-public-signals.ts
+function serializePublicSignals(signals) {
+  return signals.map((s) => decimalToLe32(s));
+}
+
+// src/build/build-circuit.ts
+import { runCommand as runCommand2 } from "@caatinga/core";
+import path2 from "path";
+import { mkdir as mkdir2, readFile, writeFile as writeFile2 } from "fs/promises";
+import { createHash as createHash2, randomBytes as randomBytes2 } from "crypto";
+
+// src/install/lazy-install-zk-tools.ts
+import { runCommand } from "@caatinga/core";
+import { access, chmod, mkdir, writeFile } from "fs/promises";
+import path from "path";
+import os from "os";
+import { createHash, randomBytes } from "crypto";
+
+// src/errors/ZkError.ts
+var ZkError = class extends Error {
+  constructor(message, code, hint) {
+    super(message);
+    this.code = code;
+    this.hint = hint;
+    this.name = "ZkError";
+  }
+  code;
+  hint;
+};
+
+// src/install/lazy-install-zk-tools.ts
+var ZK_CACHE_DIR = path.join(os.homedir(), ".caatinga", "zk-tools");
+var SNARKJS_VERSION = "0.7.5";
+var CIRCOM_VERSION = "2.1.9";
+function circomAssetName() {
+  const platform = process.platform;
+  const arch = process.arch === "x64" ? "amd64" : process.arch;
+  if (platform === "linux") {
+    return `circom-linux-${arch}`;
+  }
+  if (platform === "darwin") {
+    return `circom-macos-${arch}`;
+  }
+  throw new ZkError(
+    `Unsupported platform for automatic circom install: ${platform}`,
+    "ZK_UNSUPPORTED_PLATFORM",
+    "Install circom 2.x manually and ensure it is on PATH."
+  );
+}
+async function ensureCircom() {
+  const cached = path.join(ZK_CACHE_DIR, "circom", CIRCOM_VERSION, "circom");
+  try {
+    await access(cached);
+    return cached;
+  } catch {
+  }
+  const asset = circomAssetName();
+  const url = `https://github.com/iden3/circom/releases/download/v${CIRCOM_VERSION}/${asset}`;
+  const installDir = path.join(ZK_CACHE_DIR, "circom", CIRCOM_VERSION);
+  await mkdir(installDir, { recursive: true });
+  const archivePath = path.join(installDir, asset);
+  await runCommand("curl", ["-fsSL", url, "-o", archivePath]);
+  await chmod(archivePath, 493);
+  return archivePath;
+}
+async function ensureSnarkjs() {
+  const installDir = path.join(ZK_CACHE_DIR, `snarkjs-${SNARKJS_VERSION}`);
+  const cliPath = path.join(installDir, "node_modules", ".bin", "snarkjs");
+  try {
+    await access(cliPath);
+    return cliPath;
+  } catch {
+    await mkdir(installDir, { recursive: true });
+    await writeFile(
+      path.join(installDir, "package.json"),
+      JSON.stringify({ name: "caatinga-zk-snarkjs", private: true, version: "0.0.0" }, null, 2),
+      "utf8"
+    );
+    await runCommand("npm", ["install", "--no-save", "--legacy-peer-deps", `snarkjs@${SNARKJS_VERSION}`], {
+      cwd: installDir
+    });
+    return cliPath;
+  }
+}
+async function ensurePtau(size) {
+  const ptauDir = path.join(ZK_CACHE_DIR, "ptau", "bls12-381");
+  const finalPath = path.join(ptauDir, `pot${size}_final.ptau`);
+  try {
+    await access(finalPath);
+    return finalPath;
+  } catch {
+    await mkdir(ptauDir, { recursive: true });
+  }
+  const snarkjs = await ensureSnarkjs();
+  const pot0 = path.join(ptauDir, `pot${size}_0000.ptau`);
+  const pot1 = path.join(ptauDir, `pot${size}_0001.ptau`);
+  const entropy = createHash("sha256").update(randomBytes(32)).digest("hex");
+  await runCommand(snarkjs, ["powersoftau", "new", "bls12-381", String(size), pot0, "-v"]);
+  await runCommand(snarkjs, [
+    "powersoftau",
+    "contribute",
+    pot0,
+    pot1,
+    "-v"
+  ], {
+    input: `caatinga-dev
+${entropy}
+`
+  });
+  await runCommand(snarkjs, ["powersoftau", "prepare", "phase2", pot1, finalPath, "-v"]);
+  return finalPath;
+}
+
+// src/build/detect-ptau-size.ts
+function ptauSizeForConstraints(constraintCount) {
+  const needed = Math.ceil(Math.log2(Math.max(constraintCount, 1))) + 1;
+  return Math.min(Math.max(needed, 8), 28);
+}
+
+// src/build/build-circuit.ts
+function bytesToHex(bytes) {
+  return Array.from(bytes).map((b) => b.toString(16).padStart(2, "0")).join("");
+}
+async function writeEmbeddedVk(vkPath, verifierSrcDir) {
+  const raw = JSON.parse(await readFile(vkPath, "utf8"));
+  const vk = serializeVk(raw);
+  const lines = [
+    "// @generated by caatinga zk build --embed-vk",
+    "use soroban_sdk::crypto::bls12_381::{G1Affine, G2Affine};",
+    "",
+    "pub fn embedded_vk() -> (G1Affine, G2Affine, G2Affine, G2Affine, alloc::vec::Vec<G1Affine>) {",
+    '    todo!("Embed VK coordinates from verification_key.json")',
+    `    // alpha.x = ${bytesToHex(vk.alpha.x)}`,
+    "}",
+    ""
+  ];
+  await writeFile2(path2.join(verifierSrcDir, "vk.rs"), lines.join("\n"), "utf8");
+}
+async function buildCircuit(options) {
+  const circom = await ensureCircom();
+  const snarkjs = await ensureSnarkjs();
+  const circuitDir = path2.resolve(options.circuitPath);
+  const outDir = path2.resolve(options.artifactsDir);
+  const circuitFile = path2.join(circuitDir, "main.circom");
+  const r1csPath = path2.join(outDir, "main.r1cs");
+  const zkey0 = path2.join(outDir, "circuit_0000.zkey");
+  const zkeyFinal = path2.join(outDir, "circuit_final.zkey");
+  const vkPath = path2.join(outDir, "verification_key.json");
+  await mkdir2(outDir, { recursive: true });
+  await runCommand2(circom, [
+    circuitFile,
+    "--r1cs",
+    "--wasm",
+    "--sym",
+    "-p",
+    "bls12381",
+    "-o",
+    outDir
+  ]);
+  const r1csInfo = await runCommand2(snarkjs, ["r1cs", "info", r1csPath]);
+  const constraintMatch = r1csInfo.stdout.match(/# of Constraints:\s+(\d+)/);
+  const constraints = constraintMatch ? Number.parseInt(constraintMatch[1], 10) : 1;
+  const ptauSize = ptauSizeForConstraints(constraints);
+  const ptauPath = await ensurePtau(ptauSize);
+  const entropy = createHash2("sha256").update(randomBytes2(32)).digest("hex");
+  await runCommand2(snarkjs, ["groth16", "setup", r1csPath, ptauPath, zkey0]);
+  await runCommand2(snarkjs, ["zkey", "contribute", zkey0, zkeyFinal, "-v"], {
+    input: `caatinga-dev
+${entropy}
+`
+  });
+  await runCommand2(snarkjs, ["zkey", "export", "verificationkey", zkeyFinal, vkPath]);
+  if (options.embedVk) {
+    const verifierSrcDir = path2.resolve("contracts", "verifier", "src");
+    await writeEmbeddedVk(vkPath, verifierSrcDir);
+  }
+}
+
+// src/prove/prove-circuit.ts
+import { runCommand as runCommand3 } from "@caatinga/core";
+import path3 from "path";
+import { access as access2, mkdir as mkdir3 } from "fs/promises";
+function resolveCircuitWasmPath(artifactsDir) {
+  return path3.join(artifactsDir, "main_js", "main.wasm");
+}
+async function proveCircuit(options) {
+  const snarkjs = await ensureSnarkjs();
+  const artifactsDir = path3.resolve(options.artifactsDir);
+  const wasmPath = resolveCircuitWasmPath(artifactsDir);
+  const zkeyPath = path3.join(artifactsDir, "circuit_final.zkey");
+  const inputPath = path3.resolve(options.inputPath);
+  const proofPath = path3.join(artifactsDir, "proof.json");
+  const publicPath = path3.join(artifactsDir, "public.json");
+  await mkdir3(artifactsDir, { recursive: true });
+  if (options.debug) {
+    const witnessPath = path3.join(artifactsDir, "witness.wtns");
+    await runCommand3(snarkjs, ["wtns", "calculate", wasmPath, inputPath, witnessPath, "-v"]);
+    await runCommand3(snarkjs, ["groth16", "prove", zkeyPath, witnessPath, proofPath, publicPath]);
+    return;
+  }
+  await runCommand3(snarkjs, [
+    "groth16",
+    "fullprove",
+    inputPath,
+    wasmPath,
+    zkeyPath,
+    proofPath,
+    publicPath
+  ]);
+  await access2(proofPath);
+  await access2(publicPath);
+}
+
+// src/invoke/invoke-verifier.ts
+import { invokeContract, loadConfig, readArtifacts } from "@caatinga/core";
+import { readFile as readFile2 } from "fs/promises";
+import path4 from "path";
+function concatG1(point) {
+  return Buffer.concat([point.x, point.y]).toString("hex");
+}
+function concatG2(point) {
+  return Buffer.concat([point.x[0], point.x[1], point.y[0], point.y[1]]).toString("hex");
+}
+function buildStellarVerifyProofArgs(options) {
+  const serializedProof = serializeProof(options.proof);
+  const args = [];
+  if (!options.embedVk) {
+    if (!options.vk) {
+      throw new ZkError("Verification key is required when embedVk is false.", "ZK_VK_REQUIRED");
+    }
+    const serializedVk = serializeVk(options.vk);
+    args.push(
+      "--vk",
+      JSON.stringify({
+        alpha: concatG1(serializedVk.alpha),
+        beta: concatG2(serializedVk.beta),
+        gamma: concatG2(serializedVk.gamma),
+        delta: concatG2(serializedVk.delta),
+        ic: serializedVk.ic.map(concatG1)
+      })
+    );
+  }
+  args.push(
+    "--proof",
+    JSON.stringify({
+      a: concatG1(serializedProof.a),
+      b: concatG2(serializedProof.b),
+      c: concatG1(serializedProof.c)
+    })
+  );
+  args.push("--pub_signals", JSON.stringify(options.publicSignals));
+  return args;
+}
+async function invokeVerifier(options) {
+  const cwd = options.cwd ?? process.cwd();
+  const config = options.config ?? await loadConfig({ cwd });
+  const proof = JSON.parse(await readFile2(path4.resolve(cwd, options.proofPath), "utf8"));
+  const publicSignals = JSON.parse(
+    await readFile2(path4.resolve(cwd, options.publicSignalsPath), "utf8")
+  );
+  const vk = options.embedVk ? void 0 : JSON.parse(await readFile2(path4.resolve(cwd, options.vkPath), "utf8"));
+  const args = buildStellarVerifyProofArgs({
+    proof,
+    vk,
+    publicSignals,
+    embedVk: options.embedVk
+  });
+  const target = `${options.verifierContract}.verify_proof`;
+  const result = await invokeContract({
+    config,
+    target,
+    args,
+    networkName: options.network,
+    source: options.sourceAccount,
+    cwd
+  });
+  if (!result.result) {
+    throw new ZkError("Verifier invocation returned no result.", "ZK_INVOKE_FAILED");
+  }
+  if (result.result.trim().toLowerCase() !== "true") {
+    throw new ZkError(
+      `Verifier returned ${result.result.trim()}.`,
+      "ZK_VERIFY_FAILED"
+    );
+  }
+  const artifacts = await readArtifacts(cwd);
+  const contractId = artifacts.networks[options.network]?.contracts[options.verifierContract]?.contractId;
+  if (!contractId) {
+    throw new ZkError(
+      `No deployed artifact found for "${options.verifierContract}" on "${options.network}".`,
+      "ZK_INVOKE_FAILED",
+      "Run caatinga deploy before invoking the verifier."
+    );
+  }
+  return {
+    network: options.network,
+    verifierContract: options.verifierContract,
+    contractId,
+    publicSignals,
+    verified: true
+  };
+}
+export {
+  ZkError,
+  buildCircuit,
+  buildStellarVerifyProofArgs,
+  invokeVerifier,
+  proveCircuit,
+  ptauSizeForConstraints,
+  serializeProof,
+  serializePublicSignals,
+  serializeVk
+};
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/serialization/bigint-helpers.ts","../src/serialization/serialize-proof.ts","../src/serialization/serialize-vk.ts","../src/serialization/serialize-public-signals.ts","../src/build/build-circuit.ts","../src/install/lazy-install-zk-tools.ts","../src/errors/ZkError.ts","../src/build/detect-ptau-size.ts","../src/prove/prove-circuit.ts","../src/invoke/invoke-verifier.ts"],"sourcesContent":["/**\n * Convert a decimal string to a little-endian unsigned 32-byte array.\n */\nexport function decimalToLe32(decimal: string): Uint8Array {\n  let value = BigInt(decimal);\n  const out = new Uint8Array(32);\n  for (let i = 0; i < 32; i++) {\n    out[i] = Number(value & 0xffn);\n    value >>= 8n;\n  }\n  return out;\n}\n\n/**\n * Convert a decimal string to a big-endian unsigned 48-byte array.\n */\nexport function decimalToBe48(decimal: string): Uint8Array {\n  let value = BigInt(decimal);\n  const out = new Uint8Array(48);\n  for (let i = 47; i >= 0; i--) {\n    out[i] = Number(value & 0xffn);\n    value >>= 8n;\n  }\n  return out;\n}\n","import { decimalToBe48 } from \"./bigint-helpers.js\";\n\nexport type SerializedG1 = {\n  x: Uint8Array;\n  y: Uint8Array;\n};\n\nexport type SerializedG2 = {\n  x: [Uint8Array, Uint8Array];\n  y: [Uint8Array, Uint8Array];\n};\n\nexport type SerializedProof = {\n  a: SerializedG1;\n  b: SerializedG2;\n  c: SerializedG1;\n};\n\nexport type SnarkjsProof = {\n  pi_a: [string, string, string];\n  pi_b: [[string, string], [string, string]];\n  pi_c: [string, string, string];\n  protocol: string;\n  curve: string;\n};\n\nexport function serializeProof(proof: SnarkjsProof): SerializedProof {\n  if (proof.curve !== \"bls12381\") {\n    throw new Error(`Expected curve bls12381, got ${proof.curve}`);\n  }\n\n  return {\n    a: {\n      x: decimalToBe48(proof.pi_a[0]),\n      y: decimalToBe48(proof.pi_a[1]),\n    },\n    b: {\n      x: [decimalToBe48(proof.pi_b[0][1]), decimalToBe48(proof.pi_b[0][0])],\n      y: [decimalToBe48(proof.pi_b[1][1]), decimalToBe48(proof.pi_b[1][0])],\n    },\n    c: {\n      x: decimalToBe48(proof.pi_c[0]),\n      y: decimalToBe48(proof.pi_c[1]),\n    },\n  };\n}\n","import { decimalToBe48 } from \"./bigint-helpers.js\";\nimport type { SerializedG1, SerializedG2 } from \"./serialize-proof.js\";\n\nexport type SerializedVk = {\n  alpha: SerializedG1;\n  beta: SerializedG2;\n  gamma: SerializedG2;\n  delta: SerializedG2;\n  ic: SerializedG1[];\n};\n\nexport type SnarkjsVk = {\n  protocol: string;\n  curve: string;\n  vk_alpha_1: [string, string, string];\n  vk_beta_2: [[string, string], [string, string], ...string[][]];\n  vk_gamma_2: [[string, string], [string, string], ...string[][]];\n  vk_delta_2: [[string, string], [string, string], ...string[][]];\n  vk_ic?: Array<[string, string, string]>;\n  IC?: Array<[string, string, string]>;\n};\n\nfunction g2FromSnarkjsExport(rows: [[string, string], [string, string], ...string[][]]): SerializedG2 {\n  return g2FromSnarkjs([rows[0]!, rows[1]!]);\n}\n\nfunction g1FromSnarkjs(p: [string, string, string]): SerializedG1 {\n  return {\n    x: decimalToBe48(p[0]),\n    y: decimalToBe48(p[1]),\n  };\n}\n\nfunction g2FromSnarkjs(p: [[string, string], [string, string]]): SerializedG2 {\n  return {\n    x: [decimalToBe48(p[0][1]), decimalToBe48(p[0][0])],\n    y: [decimalToBe48(p[1][1]), decimalToBe48(p[1][0])],\n  };\n}\n\nexport function serializeVk(vk: SnarkjsVk): SerializedVk {\n  if (vk.curve !== \"bls12381\") {\n    throw new Error(`Expected curve bls12381, got ${vk.curve}`);\n  }\n\n  const ic = vk.vk_ic ?? vk.IC;\n  if (!ic) {\n    throw new Error(\"Verification key is missing vk_ic/IC entries.\");\n  }\n\n  return {\n    alpha: g1FromSnarkjs(vk.vk_alpha_1),\n    beta: g2FromSnarkjsExport(vk.vk_beta_2),\n    gamma: g2FromSnarkjsExport(vk.vk_gamma_2),\n    delta: g2FromSnarkjsExport(vk.vk_delta_2),\n    ic: ic.map(g1FromSnarkjs),\n  };\n}\n","import { decimalToLe32 } from \"./bigint-helpers.js\";\n\nexport function serializePublicSignals(signals: string[]): Uint8Array[] {\n  return signals.map((s) => decimalToLe32(s));\n}\n","import { runCommand } from \"@caatinga/core\";\nimport path from \"node:path\";\nimport { mkdir, readFile, writeFile } from \"node:fs/promises\";\nimport { createHash, randomBytes } from \"node:crypto\";\nimport { ensureCircom, ensurePtau, ensureSnarkjs } from \"../install/lazy-install-zk-tools.js\";\nimport { ptauSizeForConstraints } from \"./detect-ptau-size.js\";\nimport { serializeVk, type SnarkjsVk } from \"../serialization/serialize-vk.js\";\n\nexport type BuildCircuitOptions = {\n  circuitName: string;\n  circuitPath: string;\n  artifactsDir: string;\n  embedVk: boolean;\n};\n\nfunction bytesToHex(bytes: Uint8Array): string {\n  return Array.from(bytes).map((b) => b.toString(16).padStart(2, \"0\")).join(\"\");\n}\n\nasync function writeEmbeddedVk(\n  vkPath: string,\n  verifierSrcDir: string\n): Promise<void> {\n  const raw = JSON.parse(await readFile(vkPath, \"utf8\")) as SnarkjsVk;\n  const vk = serializeVk(raw);\n  const lines = [\n    \"// @generated by caatinga zk build --embed-vk\",\n    \"use soroban_sdk::crypto::bls12_381::{G1Affine, G2Affine};\",\n    \"\",\n    \"pub fn embedded_vk() -> (G1Affine, G2Affine, G2Affine, G2Affine, alloc::vec::Vec<G1Affine>) {\",\n    \"    todo!(\\\"Embed VK coordinates from verification_key.json\\\")\",\n    `    // alpha.x = ${bytesToHex(vk.alpha.x)}`,\n    \"}\",\n    \"\",\n  ];\n  await writeFile(path.join(verifierSrcDir, \"vk.rs\"), lines.join(\"\\n\"), \"utf8\");\n}\n\nexport async function buildCircuit(options: BuildCircuitOptions): Promise<void> {\n  const circom = await ensureCircom();\n  const snarkjs = await ensureSnarkjs();\n  const circuitDir = path.resolve(options.circuitPath);\n  const outDir = path.resolve(options.artifactsDir);\n  const circuitFile = path.join(circuitDir, \"main.circom\");\n  const r1csPath = path.join(outDir, \"main.r1cs\");\n  const zkey0 = path.join(outDir, \"circuit_0000.zkey\");\n  const zkeyFinal = path.join(outDir, \"circuit_final.zkey\");\n  const vkPath = path.join(outDir, \"verification_key.json\");\n\n  await mkdir(outDir, { recursive: true });\n\n  await runCommand(circom, [\n    circuitFile,\n    \"--r1cs\",\n    \"--wasm\",\n    \"--sym\",\n    \"-p\",\n    \"bls12381\",\n    \"-o\",\n    outDir,\n  ]);\n\n  const r1csInfo = await runCommand(snarkjs, [\"r1cs\", \"info\", r1csPath]);\n  const constraintMatch = r1csInfo.stdout.match(/# of Constraints:\\s+(\\d+)/);\n  const constraints = constraintMatch ? Number.parseInt(constraintMatch[1]!, 10) : 1;\n  const ptauSize = ptauSizeForConstraints(constraints);\n  const ptauPath = await ensurePtau(ptauSize);\n  const entropy = createHash(\"sha256\").update(randomBytes(32)).digest(\"hex\");\n\n  await runCommand(snarkjs, [\"groth16\", \"setup\", r1csPath, ptauPath, zkey0]);\n  await runCommand(snarkjs, [\"zkey\", \"contribute\", zkey0, zkeyFinal, \"-v\"], {\n    input: `caatinga-dev\\n${entropy}\\n`,\n  });\n  await runCommand(snarkjs, [\"zkey\", \"export\", \"verificationkey\", zkeyFinal, vkPath]);\n\n  if (options.embedVk) {\n    const verifierSrcDir = path.resolve(\"contracts\", \"verifier\", \"src\");\n    await writeEmbeddedVk(vkPath, verifierSrcDir);\n  }\n}\n","import { runCommand } from \"@caatinga/core\";\nimport { access, chmod, mkdir, writeFile } from \"node:fs/promises\";\nimport path from \"node:path\";\nimport os from \"node:os\";\nimport { createHash, randomBytes } from \"node:crypto\";\nimport { ZkError } from \"../errors/ZkError.js\";\n\nconst ZK_CACHE_DIR = path.join(os.homedir(), \".caatinga\", \"zk-tools\");\nconst SNARKJS_VERSION = \"0.7.5\";\nconst CIRCOM_VERSION = \"2.1.9\";\n\nfunction circomAssetName(): string {\n  const platform = process.platform;\n  const arch = process.arch === \"x64\" ? \"amd64\" : process.arch;\n  if (platform === \"linux\") {\n    return `circom-linux-${arch}`;\n  }\n  if (platform === \"darwin\") {\n    return `circom-macos-${arch}`;\n  }\n  throw new ZkError(\n    `Unsupported platform for automatic circom install: ${platform}`,\n    \"ZK_UNSUPPORTED_PLATFORM\",\n    \"Install circom 2.x manually and ensure it is on PATH.\"\n  );\n}\n\nexport async function ensureCircom(): Promise<string> {\n  const cached = path.join(ZK_CACHE_DIR, \"circom\", CIRCOM_VERSION, \"circom\");\n  try {\n    await access(cached);\n    return cached;\n  } catch {\n    // Fall through to download.\n  }\n\n  const asset = circomAssetName();\n  const url = `https://github.com/iden3/circom/releases/download/v${CIRCOM_VERSION}/${asset}`;\n  const installDir = path.join(ZK_CACHE_DIR, \"circom\", CIRCOM_VERSION);\n  await mkdir(installDir, { recursive: true });\n\n  const archivePath = path.join(installDir, asset);\n  await runCommand(\"curl\", [\"-fsSL\", url, \"-o\", archivePath]);\n  await chmod(archivePath, 0o755);\n\n  return archivePath;\n}\n\nexport async function ensureSnarkjs(): Promise<string> {\n  const installDir = path.join(ZK_CACHE_DIR, `snarkjs-${SNARKJS_VERSION}`);\n  const cliPath = path.join(installDir, \"node_modules\", \".bin\", \"snarkjs\");\n\n  try {\n    await access(cliPath);\n    return cliPath;\n  } catch {\n    await mkdir(installDir, { recursive: true });\n    await writeFile(\n      path.join(installDir, \"package.json\"),\n      JSON.stringify({ name: \"caatinga-zk-snarkjs\", private: true, version: \"0.0.0\" }, null, 2),\n      \"utf8\"\n    );\n    await runCommand(\"npm\", [\"install\", \"--no-save\", \"--legacy-peer-deps\", `snarkjs@${SNARKJS_VERSION}`], {\n      cwd: installDir,\n    });\n    return cliPath;\n  }\n}\n\nexport async function ensurePtau(size: number): Promise<string> {\n  const ptauDir = path.join(ZK_CACHE_DIR, \"ptau\", \"bls12-381\");\n  const finalPath = path.join(ptauDir, `pot${size}_final.ptau`);\n  try {\n    await access(finalPath);\n    return finalPath;\n  } catch {\n    await mkdir(ptauDir, { recursive: true });\n  }\n\n  const snarkjs = await ensureSnarkjs();\n  const pot0 = path.join(ptauDir, `pot${size}_0000.ptau`);\n  const pot1 = path.join(ptauDir, `pot${size}_0001.ptau`);\n  const entropy = createHash(\"sha256\").update(randomBytes(32)).digest(\"hex\");\n\n  await runCommand(snarkjs, [\"powersoftau\", \"new\", \"bls12-381\", String(size), pot0, \"-v\"]);\n  await runCommand(snarkjs, [\n    \"powersoftau\",\n    \"contribute\",\n    pot0,\n    pot1,\n    \"-v\",\n  ], {\n    input: `caatinga-dev\\n${entropy}\\n`,\n  });\n  await runCommand(snarkjs, [\"powersoftau\", \"prepare\", \"phase2\", pot1, finalPath, \"-v\"]);\n\n  return finalPath;\n}\n","export class ZkError extends Error {\n  constructor(\n    message: string,\n    public readonly code: string,\n    public readonly hint?: string\n  ) {\n    super(message);\n    this.name = \"ZkError\";\n  }\n}\n","export function ptauSizeForConstraints(constraintCount: number): number {\n  const needed = Math.ceil(Math.log2(Math.max(constraintCount, 1))) + 1;\n  return Math.min(Math.max(needed, 8), 28);\n}\n","import { runCommand } from \"@caatinga/core\";\nimport path from \"node:path\";\nimport { access, mkdir } from \"node:fs/promises\";\nimport { ensureSnarkjs } from \"../install/lazy-install-zk-tools.js\";\n\nexport type ProveCircuitOptions = {\n  circuitName: string;\n  circuitPath: string;\n  artifactsDir: string;\n  inputPath: string;\n  debug: boolean;\n};\n\nexport function resolveCircuitWasmPath(artifactsDir: string): string {\n  return path.join(artifactsDir, \"main_js\", \"main.wasm\");\n}\n\nexport async function proveCircuit(options: ProveCircuitOptions): Promise<void> {\n  const snarkjs = await ensureSnarkjs();\n  const artifactsDir = path.resolve(options.artifactsDir);\n  const wasmPath = resolveCircuitWasmPath(artifactsDir);\n  const zkeyPath = path.join(artifactsDir, \"circuit_final.zkey\");\n  const inputPath = path.resolve(options.inputPath);\n  const proofPath = path.join(artifactsDir, \"proof.json\");\n  const publicPath = path.join(artifactsDir, \"public.json\");\n\n  await mkdir(artifactsDir, { recursive: true });\n\n  if (options.debug) {\n    const witnessPath = path.join(artifactsDir, \"witness.wtns\");\n    await runCommand(snarkjs, [\"wtns\", \"calculate\", wasmPath, inputPath, witnessPath, \"-v\"]);\n    await runCommand(snarkjs, [\"groth16\", \"prove\", zkeyPath, witnessPath, proofPath, publicPath]);\n    return;\n  }\n\n  await runCommand(snarkjs, [\n    \"groth16\",\n    \"fullprove\",\n    inputPath,\n    wasmPath,\n    zkeyPath,\n    proofPath,\n    publicPath,\n  ]);\n\n  await access(proofPath);\n  await access(publicPath);\n}\n","import { invokeContract, loadConfig, readArtifacts, type CaatingaConfig } from \"@caatinga/core\";\nimport { readFile } from \"node:fs/promises\";\nimport path from \"node:path\";\nimport { serializeProof, type SnarkjsProof } from \"../serialization/serialize-proof.js\";\nimport { serializeVk, type SnarkjsVk } from \"../serialization/serialize-vk.js\";\nimport { ZkError } from \"../errors/ZkError.js\";\n\nexport type InvokeVerifierOptions = {\n  verifierContract: string;\n  network: string;\n  sourceAccount: string;\n  proofPath: string;\n  vkPath: string;\n  publicSignalsPath: string;\n  embedVk: boolean;\n  cwd?: string;\n  config?: CaatingaConfig;\n};\n\nfunction concatG1(point: { x: Uint8Array; y: Uint8Array }): string {\n  return Buffer.concat([point.x, point.y]).toString(\"hex\");\n}\n\nfunction concatG2(point: { x: [Uint8Array, Uint8Array]; y: [Uint8Array, Uint8Array] }): string {\n  return Buffer.concat([point.x[0], point.x[1], point.y[0], point.y[1]]).toString(\"hex\");\n}\n\nexport function buildStellarVerifyProofArgs(options: {\n  proof: SnarkjsProof;\n  vk?: SnarkjsVk;\n  publicSignals: string[];\n  embedVk: boolean;\n}): string[] {\n  const serializedProof = serializeProof(options.proof);\n  const args: string[] = [];\n\n  if (!options.embedVk) {\n    if (!options.vk) {\n      throw new ZkError(\"Verification key is required when embedVk is false.\", \"ZK_VK_REQUIRED\");\n    }\n\n    const serializedVk = serializeVk(options.vk);\n    args.push(\n      \"--vk\",\n      JSON.stringify({\n        alpha: concatG1(serializedVk.alpha),\n        beta: concatG2(serializedVk.beta),\n        gamma: concatG2(serializedVk.gamma),\n        delta: concatG2(serializedVk.delta),\n        ic: serializedVk.ic.map(concatG1),\n      })\n    );\n  }\n\n  args.push(\n    \"--proof\",\n    JSON.stringify({\n      a: concatG1(serializedProof.a),\n      b: concatG2(serializedProof.b),\n      c: concatG1(serializedProof.c),\n    })\n  );\n  args.push(\"--pub_signals\", JSON.stringify(options.publicSignals));\n\n  return args;\n}\n\nexport type InvokeVerifierResult = {\n  network: string;\n  verifierContract: string;\n  contractId: string;\n  publicSignals: string[];\n  verified: true;\n};\n\nexport async function invokeVerifier(options: InvokeVerifierOptions): Promise<InvokeVerifierResult> {\n  const cwd = options.cwd ?? process.cwd();\n  const config = options.config ?? await loadConfig({ cwd });\n  const proof = JSON.parse(await readFile(path.resolve(cwd, options.proofPath), \"utf8\")) as SnarkjsProof;\n  const publicSignals = JSON.parse(\n    await readFile(path.resolve(cwd, options.publicSignalsPath), \"utf8\")\n  ) as string[];\n\n  const vk = options.embedVk\n    ? undefined\n    : JSON.parse(await readFile(path.resolve(cwd, options.vkPath), \"utf8\")) as SnarkjsVk;\n\n  const args = buildStellarVerifyProofArgs({\n    proof,\n    vk,\n    publicSignals,\n    embedVk: options.embedVk,\n  });\n\n  const target = `${options.verifierContract}.verify_proof`;\n  const result = await invokeContract({\n    config,\n    target,\n    args,\n    networkName: options.network,\n    source: options.sourceAccount,\n    cwd,\n  });\n\n  if (!result.result) {\n    throw new ZkError(\"Verifier invocation returned no result.\", \"ZK_INVOKE_FAILED\");\n  }\n\n  if (result.result.trim().toLowerCase() !== \"true\") {\n    throw new ZkError(\n      `Verifier returned ${result.result.trim()}.`,\n      \"ZK_VERIFY_FAILED\"\n    );\n  }\n\n  const artifacts = await readArtifacts(cwd);\n  const contractId = artifacts.networks[options.network]?.contracts[options.verifierContract]?.contractId;\n\n  if (!contractId) {\n    throw new ZkError(\n      `No deployed artifact found for \"${options.verifierContract}\" on \"${options.network}\".`,\n      \"ZK_INVOKE_FAILED\",\n      \"Run caatinga deploy before invoking the verifier.\"\n    );\n  }\n\n  return {\n    network: options.network,\n    verifierContract: options.verifierContract,\n    contractId,\n    publicSignals,\n    verified: true,\n  };\n}\n"],"mappings":";AAGO,SAAS,cAAc,SAA6B;AACzD,MAAI,QAAQ,OAAO,OAAO;AAC1B,QAAM,MAAM,IAAI,WAAW,EAAE;AAC7B,WAAS,IAAI,GAAG,IAAI,IAAI,KAAK;AAC3B,QAAI,CAAC,IAAI,OAAO,QAAQ,KAAK;AAC7B,cAAU;AAAA,EACZ;AACA,SAAO;AACT;AAKO,SAAS,cAAc,SAA6B;AACzD,MAAI,QAAQ,OAAO,OAAO;AAC1B,QAAM,MAAM,IAAI,WAAW,EAAE;AAC7B,WAAS,IAAI,IAAI,KAAK,GAAG,KAAK;AAC5B,QAAI,CAAC,IAAI,OAAO,QAAQ,KAAK;AAC7B,cAAU;AAAA,EACZ;AACA,SAAO;AACT;;;ACEO,SAAS,eAAe,OAAsC;AACnE,MAAI,MAAM,UAAU,YAAY;AAC9B,UAAM,IAAI,MAAM,gCAAgC,MAAM,KAAK,EAAE;AAAA,EAC/D;AAEA,SAAO;AAAA,IACL,GAAG;AAAA,MACD,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,MAC9B,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,IAChC;AAAA,IACA,GAAG;AAAA,MACD,GAAG,CAAC,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,MACpE,GAAG,CAAC,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,IACtE;AAAA,IACA,GAAG;AAAA,MACD,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,MAC9B,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,IAChC;AAAA,EACF;AACF;;;ACvBA,SAAS,oBAAoB,MAAyE;AACpG,SAAO,cAAc,CAAC,KAAK,CAAC,GAAI,KAAK,CAAC,CAAE,CAAC;AAC3C;AAEA,SAAS,cAAc,GAA2C;AAChE,SAAO;AAAA,IACL,GAAG,cAAc,EAAE,CAAC,CAAC;AAAA,IACrB,GAAG,cAAc,EAAE,CAAC,CAAC;AAAA,EACvB;AACF;AAEA,SAAS,cAAc,GAAuD;AAC5E,SAAO;AAAA,IACL,GAAG,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,IAClD,GAAG,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,EACpD;AACF;AAEO,SAAS,YAAY,IAA6B;AACvD,MAAI,GAAG,UAAU,YAAY;AAC3B,UAAM,IAAI,MAAM,gCAAgC,GAAG,KAAK,EAAE;AAAA,EAC5D;AAEA,QAAM,KAAK,GAAG,SAAS,GAAG;AAC1B,MAAI,CAAC,IAAI;AACP,UAAM,IAAI,MAAM,+CAA+C;AAAA,EACjE;AAEA,SAAO;AAAA,IACL,OAAO,cAAc,GAAG,UAAU;AAAA,IAClC,MAAM,oBAAoB,GAAG,SAAS;AAAA,IACtC,OAAO,oBAAoB,GAAG,UAAU;AAAA,IACxC,OAAO,oBAAoB,GAAG,UAAU;AAAA,IACxC,IAAI,GAAG,IAAI,aAAa;AAAA,EAC1B;AACF;;;ACvDO,SAAS,uBAAuB,SAAiC;AACtE,SAAO,QAAQ,IAAI,CAAC,MAAM,cAAc,CAAC,CAAC;AAC5C;;;ACJA,SAAS,cAAAA,mBAAkB;AAC3B,OAAOC,WAAU;AACjB,SAAS,SAAAC,QAAO,UAAU,aAAAC,kBAAiB;AAC3C,SAAS,cAAAC,aAAY,eAAAC,oBAAmB;;;ACHxC,SAAS,kBAAkB;AAC3B,SAAS,QAAQ,OAAO,OAAO,iBAAiB;AAChD,OAAO,UAAU;AACjB,OAAO,QAAQ;AACf,SAAS,YAAY,mBAAmB;;;ACJjC,IAAM,UAAN,cAAsB,MAAM;AAAA,EACjC,YACE,SACgB,MACA,MAChB;AACA,UAAM,OAAO;AAHG;AACA;AAGhB,SAAK,OAAO;AAAA,EACd;AAAA,EALkB;AAAA,EACA;AAKpB;;;ADFA,IAAM,eAAe,KAAK,KAAK,GAAG,QAAQ,GAAG,aAAa,UAAU;AACpE,IAAM,kBAAkB;AACxB,IAAM,iBAAiB;AAEvB,SAAS,kBAA0B;AACjC,QAAM,WAAW,QAAQ;AACzB,QAAM,OAAO,QAAQ,SAAS,QAAQ,UAAU,QAAQ;AACxD,MAAI,aAAa,SAAS;AACxB,WAAO,gBAAgB,IAAI;AAAA,EAC7B;AACA,MAAI,aAAa,UAAU;AACzB,WAAO,gBAAgB,IAAI;AAAA,EAC7B;AACA,QAAM,IAAI;AAAA,IACR,sDAAsD,QAAQ;AAAA,IAC9D;AAAA,IACA;AAAA,EACF;AACF;AAEA,eAAsB,eAAgC;AACpD,QAAM,SAAS,KAAK,KAAK,cAAc,UAAU,gBAAgB,QAAQ;AACzE,MAAI;AACF,UAAM,OAAO,MAAM;AACnB,WAAO;AAAA,EACT,QAAQ;AAAA,EAER;AAEA,QAAM,QAAQ,gBAAgB;AAC9B,QAAM,MAAM,sDAAsD,cAAc,IAAI,KAAK;AACzF,QAAM,aAAa,KAAK,KAAK,cAAc,UAAU,cAAc;AACnE,QAAM,MAAM,YAAY,EAAE,WAAW,KAAK,CAAC;AAE3C,QAAM,cAAc,KAAK,KAAK,YAAY,KAAK;AAC/C,QAAM,WAAW,QAAQ,CAAC,SAAS,KAAK,MAAM,WAAW,CAAC;AAC1D,QAAM,MAAM,aAAa,GAAK;AAE9B,SAAO;AACT;AAEA,eAAsB,gBAAiC;AACrD,QAAM,aAAa,KAAK,KAAK,cAAc,WAAW,eAAe,EAAE;AACvE,QAAM,UAAU,KAAK,KAAK,YAAY,gBAAgB,QAAQ,SAAS;AAEvE,MAAI;AACF,UAAM,OAAO,OAAO;AACpB,WAAO;AAAA,EACT,QAAQ;AACN,UAAM,MAAM,YAAY,EAAE,WAAW,KAAK,CAAC;AAC3C,UAAM;AAAA,MACJ,KAAK,KAAK,YAAY,cAAc;AAAA,MACpC,KAAK,UAAU,EAAE,MAAM,uBAAuB,SAAS,MAAM,SAAS,QAAQ,GAAG,MAAM,CAAC;AAAA,MACxF;AAAA,IACF;AACA,UAAM,WAAW,OAAO,CAAC,WAAW,aAAa,sBAAsB,WAAW,eAAe,EAAE,GAAG;AAAA,MACpG,KAAK;AAAA,IACP,CAAC;AACD,WAAO;AAAA,EACT;AACF;AAEA,eAAsB,WAAW,MAA+B;AAC9D,QAAM,UAAU,KAAK,KAAK,cAAc,QAAQ,WAAW;AAC3D,QAAM,YAAY,KAAK,KAAK,SAAS,MAAM,IAAI,aAAa;AAC5D,MAAI;AACF,UAAM,OAAO,SAAS;AACtB,WAAO;AAAA,EACT,QAAQ;AACN,UAAM,MAAM,SAAS,EAAE,WAAW,KAAK,CAAC;AAAA,EAC1C;AAEA,QAAM,UAAU,MAAM,cAAc;AACpC,QAAM,OAAO,KAAK,KAAK,SAAS,MAAM,IAAI,YAAY;AACtD,QAAM,OAAO,KAAK,KAAK,SAAS,MAAM,IAAI,YAAY;AACtD,QAAM,UAAU,WAAW,QAAQ,EAAE,OAAO,YAAY,EAAE,CAAC,EAAE,OAAO,KAAK;AAEzE,QAAM,WAAW,SAAS,CAAC,eAAe,OAAO,aAAa,OAAO,IAAI,GAAG,MAAM,IAAI,CAAC;AACvF,QAAM,WAAW,SAAS;AAAA,IACxB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,GAAG;AAAA,IACD,OAAO;AAAA,EAAiB,OAAO;AAAA;AAAA,EACjC,CAAC;AACD,QAAM,WAAW,SAAS,CAAC,eAAe,WAAW,UAAU,MAAM,WAAW,IAAI,CAAC;AAErF,SAAO;AACT;;;AEjGO,SAAS,uBAAuB,iBAAiC;AACtE,QAAM,SAAS,KAAK,KAAK,KAAK,KAAK,KAAK,IAAI,iBAAiB,CAAC,CAAC,CAAC,IAAI;AACpE,SAAO,KAAK,IAAI,KAAK,IAAI,QAAQ,CAAC,GAAG,EAAE;AACzC;;;AHYA,SAAS,WAAW,OAA2B;AAC7C,SAAO,MAAM,KAAK,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAAE,KAAK,EAAE;AAC9E;AAEA,eAAe,gBACb,QACA,gBACe;AACf,QAAM,MAAM,KAAK,MAAM,MAAM,SAAS,QAAQ,MAAM,CAAC;AACrD,QAAM,KAAK,YAAY,GAAG;AAC1B,QAAM,QAAQ;AAAA,IACZ;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,oBAAoB,WAAW,GAAG,MAAM,CAAC,CAAC;AAAA,IAC1C;AAAA,IACA;AAAA,EACF;AACA,QAAMC,WAAUC,MAAK,KAAK,gBAAgB,OAAO,GAAG,MAAM,KAAK,IAAI,GAAG,MAAM;AAC9E;AAEA,eAAsB,aAAa,SAA6C;AAC9E,QAAM,SAAS,MAAM,aAAa;AAClC,QAAM,UAAU,MAAM,cAAc;AACpC,QAAM,aAAaA,MAAK,QAAQ,QAAQ,WAAW;AACnD,QAAM,SAASA,MAAK,QAAQ,QAAQ,YAAY;AAChD,QAAM,cAAcA,MAAK,KAAK,YAAY,aAAa;AACvD,QAAM,WAAWA,MAAK,KAAK,QAAQ,WAAW;AAC9C,QAAM,QAAQA,MAAK,KAAK,QAAQ,mBAAmB;AACnD,QAAM,YAAYA,MAAK,KAAK,QAAQ,oBAAoB;AACxD,QAAM,SAASA,MAAK,KAAK,QAAQ,uBAAuB;AAExD,QAAMC,OAAM,QAAQ,EAAE,WAAW,KAAK,CAAC;AAEvC,QAAMC,YAAW,QAAQ;AAAA,IACvB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,CAAC;AAED,QAAM,WAAW,MAAMA,YAAW,SAAS,CAAC,QAAQ,QAAQ,QAAQ,CAAC;AACrE,QAAM,kBAAkB,SAAS,OAAO,MAAM,2BAA2B;AACzE,QAAM,cAAc,kBAAkB,OAAO,SAAS,gBAAgB,CAAC,GAAI,EAAE,IAAI;AACjF,QAAM,WAAW,uBAAuB,WAAW;AACnD,QAAM,WAAW,MAAM,WAAW,QAAQ;AAC1C,QAAM,UAAUC,YAAW,QAAQ,EAAE,OAAOC,aAAY,EAAE,CAAC,EAAE,OAAO,KAAK;AAEzE,QAAMF,YAAW,SAAS,CAAC,WAAW,SAAS,UAAU,UAAU,KAAK,CAAC;AACzE,QAAMA,YAAW,SAAS,CAAC,QAAQ,cAAc,OAAO,WAAW,IAAI,GAAG;AAAA,IACxE,OAAO;AAAA,EAAiB,OAAO;AAAA;AAAA,EACjC,CAAC;AACD,QAAMA,YAAW,SAAS,CAAC,QAAQ,UAAU,mBAAmB,WAAW,MAAM,CAAC;AAElF,MAAI,QAAQ,SAAS;AACnB,UAAM,iBAAiBF,MAAK,QAAQ,aAAa,YAAY,KAAK;AAClE,UAAM,gBAAgB,QAAQ,cAAc;AAAA,EAC9C;AACF;;;AI/EA,SAAS,cAAAK,mBAAkB;AAC3B,OAAOC,WAAU;AACjB,SAAS,UAAAC,SAAQ,SAAAC,cAAa;AAWvB,SAAS,uBAAuB,cAA8B;AACnE,SAAOC,MAAK,KAAK,cAAc,WAAW,WAAW;AACvD;AAEA,eAAsB,aAAa,SAA6C;AAC9E,QAAM,UAAU,MAAM,cAAc;AACpC,QAAM,eAAeA,MAAK,QAAQ,QAAQ,YAAY;AACtD,QAAM,WAAW,uBAAuB,YAAY;AACpD,QAAM,WAAWA,MAAK,KAAK,cAAc,oBAAoB;AAC7D,QAAM,YAAYA,MAAK,QAAQ,QAAQ,SAAS;AAChD,QAAM,YAAYA,MAAK,KAAK,cAAc,YAAY;AACtD,QAAM,aAAaA,MAAK,KAAK,cAAc,aAAa;AAExD,QAAMC,OAAM,cAAc,EAAE,WAAW,KAAK,CAAC;AAE7C,MAAI,QAAQ,OAAO;AACjB,UAAM,cAAcD,MAAK,KAAK,cAAc,cAAc;AAC1D,UAAME,YAAW,SAAS,CAAC,QAAQ,aAAa,UAAU,WAAW,aAAa,IAAI,CAAC;AACvF,UAAMA,YAAW,SAAS,CAAC,WAAW,SAAS,UAAU,aAAa,WAAW,UAAU,CAAC;AAC5F;AAAA,EACF;AAEA,QAAMA,YAAW,SAAS;AAAA,IACxB;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,CAAC;AAED,QAAMC,QAAO,SAAS;AACtB,QAAMA,QAAO,UAAU;AACzB;;;AC/CA,SAAS,gBAAgB,YAAY,qBAA0C;AAC/E,SAAS,YAAAC,iBAAgB;AACzB,OAAOC,WAAU;AAiBjB,SAAS,SAAS,OAAiD;AACjE,SAAO,OAAO,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,SAAS,KAAK;AACzD;AAEA,SAAS,SAAS,OAA6E;AAC7F,SAAO,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,KAAK;AACvF;AAEO,SAAS,4BAA4B,SAK/B;AACX,QAAM,kBAAkB,eAAe,QAAQ,KAAK;AACpD,QAAM,OAAiB,CAAC;AAExB,MAAI,CAAC,QAAQ,SAAS;AACpB,QAAI,CAAC,QAAQ,IAAI;AACf,YAAM,IAAI,QAAQ,uDAAuD,gBAAgB;AAAA,IAC3F;AAEA,UAAM,eAAe,YAAY,QAAQ,EAAE;AAC3C,SAAK;AAAA,MACH;AAAA,MACA,KAAK,UAAU;AAAA,QACb,OAAO,SAAS,aAAa,KAAK;AAAA,QAClC,MAAM,SAAS,aAAa,IAAI;AAAA,QAChC,OAAO,SAAS,aAAa,KAAK;AAAA,QAClC,OAAO,SAAS,aAAa,KAAK;AAAA,QAClC,IAAI,aAAa,GAAG,IAAI,QAAQ;AAAA,MAClC,CAAC;AAAA,IACH;AAAA,EACF;AAEA,OAAK;AAAA,IACH;AAAA,IACA,KAAK,UAAU;AAAA,MACb,GAAG,SAAS,gBAAgB,CAAC;AAAA,MAC7B,GAAG,SAAS,gBAAgB,CAAC;AAAA,MAC7B,GAAG,SAAS,gBAAgB,CAAC;AAAA,IAC/B,CAAC;AAAA,EACH;AACA,OAAK,KAAK,iBAAiB,KAAK,UAAU,QAAQ,aAAa,CAAC;AAEhE,SAAO;AACT;AAUA,eAAsB,eAAe,SAA+D;AAClG,QAAM,MAAM,QAAQ,OAAO,QAAQ,IAAI;AACvC,QAAM,SAAS,QAAQ,UAAU,MAAM,WAAW,EAAE,IAAI,CAAC;AACzD,QAAM,QAAQ,KAAK,MAAM,MAAMC,UAASC,MAAK,QAAQ,KAAK,QAAQ,SAAS,GAAG,MAAM,CAAC;AACrF,QAAM,gBAAgB,KAAK;AAAA,IACzB,MAAMD,UAASC,MAAK,QAAQ,KAAK,QAAQ,iBAAiB,GAAG,MAAM;AAAA,EACrE;AAEA,QAAM,KAAK,QAAQ,UACf,SACA,KAAK,MAAM,MAAMD,UAASC,MAAK,QAAQ,KAAK,QAAQ,MAAM,GAAG,MAAM,CAAC;AAExE,QAAM,OAAO,4BAA4B;AAAA,IACvC;AAAA,IACA;AAAA,IACA;AAAA,IACA,SAAS,QAAQ;AAAA,EACnB,CAAC;AAED,QAAM,SAAS,GAAG,QAAQ,gBAAgB;AAC1C,QAAM,SAAS,MAAM,eAAe;AAAA,IAClC;AAAA,IACA;AAAA,IACA;AAAA,IACA,aAAa,QAAQ;AAAA,IACrB,QAAQ,QAAQ;AAAA,IAChB;AAAA,EACF,CAAC;AAED,MAAI,CAAC,OAAO,QAAQ;AAClB,UAAM,IAAI,QAAQ,2CAA2C,kBAAkB;AAAA,EACjF;AAEA,MAAI,OAAO,OAAO,KAAK,EAAE,YAAY,MAAM,QAAQ;AACjD,UAAM,IAAI;AAAA,MACR,qBAAqB,OAAO,OAAO,KAAK,CAAC;AAAA,MACzC;AAAA,IACF;AAAA,EACF;AAEA,QAAM,YAAY,MAAM,cAAc,GAAG;AACzC,QAAM,aAAa,UAAU,SAAS,QAAQ,OAAO,GAAG,UAAU,QAAQ,gBAAgB,GAAG;AAE7F,MAAI,CAAC,YAAY;AACf,UAAM,IAAI;AAAA,MACR,mCAAmC,QAAQ,gBAAgB,SAAS,QAAQ,OAAO;AAAA,MACnF;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IACL,SAAS,QAAQ;AAAA,IACjB,kBAAkB,QAAQ;AAAA,IAC1B;AAAA,IACA;AAAA,IACA,UAAU;AAAA,EACZ;AACF;","names":["runCommand","path","mkdir","writeFile","createHash","randomBytes","writeFile","path","mkdir","runCommand","createHash","randomBytes","runCommand","path","access","mkdir","path","mkdir","runCommand","access","readFile","path","readFile","path"]}

package/package.json

@@ -0,0 +1,37 @@
+{
+  "name": "@caatinga/zk",
+  "version": "2.3.0",
+  "description": "Zero-knowledge proof serialization bridge for Stellar/Soroban",
+  "type": "module",
+  "engines": {
+    "node": ">=20"
+  },
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "require": "./dist/index.cjs"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "dependencies": {
+    "@caatinga/core": "^2.3.0"
+  },
+  "devDependencies": {
+    "tsup": "^8.3.5",
+    "typescript": "^5.7.2",
+    "vitest": "^2.1.8"
+  },
+  "scripts": {
+    "build": "tsup",
+    "test": "vitest run --pool=threads",
+    "typecheck": "tsc --noEmit"
+  }
+}