@caatinga/zk 2.4.5 → 3.0.1

package/dist/browser.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/browser.ts","../src/serialization/bigint-helpers.ts","../src/serialization/serialize-proof.ts","../src/serialization/serialize-vk.ts","../src/serialization/serialize-public-signals.ts","../src/serialization/curve-bytes.ts","../src/errors/ZkError.ts","../src/browser/build-verify-proof-binding-args.ts"],"sourcesContent":["export {\n  serializeProof,\n  type SerializedG1,\n  type SerializedG2,\n  type SerializedProof,\n  type SnarkjsProof,\n} 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 { concatG1Bytes, concatG2Bytes } from \"./serialization/curve-bytes.js\";\nexport {\n  buildVerifyProofBindingArgs,\n  type VerifyProofBindingArgs,\n  type VerifyProofBindingBuffers,\n} from \"./browser/build-verify-proof-binding-args.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 type { SerializedG1, SerializedG2 } from \"./serialize-proof.js\";\n\nexport function concatG1Bytes(point: SerializedG1): Uint8Array {\n  const bytes = new Uint8Array(point.x.length + point.y.length);\n  bytes.set(point.x, 0);\n  bytes.set(point.y, point.x.length);\n  return bytes;\n}\n\nexport function concatG2Bytes(point: SerializedG2): Uint8Array {\n  const bytes = new Uint8Array(\n    point.x[0].length + point.x[1].length + point.y[0].length + point.y[1].length\n  );\n  let offset = 0;\n  for (const chunk of [point.x[0], point.x[1], point.y[0], point.y[1]]) {\n    bytes.set(chunk, offset);\n    offset += chunk.length;\n  }\n  return bytes;\n}\n\nexport function concatG1Hex(point: SerializedG1): string {\n  return bytesToHex(concatG1Bytes(point));\n}\n\nexport function concatG2Hex(point: SerializedG2): string {\n  return bytesToHex(concatG2Bytes(point));\n}\n\nfunction bytesToHex(bytes: Uint8Array): string {\n  return Array.from(bytes, (byte) => byte.toString(16).padStart(2, \"0\")).join(\"\");\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","import { concatG1Bytes, concatG2Bytes } from \"../serialization/curve-bytes.js\";\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 VerifyProofBindingBuffers = {\n  vk: {\n    alpha: Uint8Array;\n    beta: Uint8Array;\n    gamma: Uint8Array;\n    delta: Uint8Array;\n    ic: Uint8Array[];\n  };\n  proof: {\n    a: Uint8Array;\n    b: Uint8Array;\n    c: Uint8Array;\n  };\n  pub_signals: bigint[];\n};\n\n/** Matches Stellar contract bindings for groth16_verifier (`Proof`, `VerificationKey`, `u256[]`). */\nexport type VerifyProofBindingArgs = VerifyProofBindingBuffers;\n\nexport function buildVerifyProofBindingArgs(options: {\n  proof: SnarkjsProof;\n  vk: SnarkjsVk;\n  publicSignals: string[];\n}): VerifyProofBindingArgs {\n  if (!options.vk) {\n    throw new ZkError(\"Verification key is required.\", \"ZK_VK_REQUIRED\");\n  }\n\n  const serializedProof = serializeProof(options.proof);\n  const serializedVk = serializeVk(options.vk);\n\n  return {\n    vk: {\n      alpha: concatG1Bytes(serializedVk.alpha),\n      beta: concatG2Bytes(serializedVk.beta),\n      gamma: concatG2Bytes(serializedVk.gamma),\n      delta: concatG2Bytes(serializedVk.delta),\n      ic: serializedVk.ic.map(concatG1Bytes),\n    },\n    proof: {\n      a: concatG1Bytes(serializedProof.a),\n      b: concatG2Bytes(serializedProof.b),\n      c: concatG1Bytes(serializedProof.c),\n    },\n    pub_signals: options.publicSignals.map((signal) => BigInt(signal)),\n  };\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;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;;;ACFO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI,WAAW,MAAM,EAAE,SAAS,MAAM,EAAE,MAAM;AAC5D,QAAM,IAAI,MAAM,GAAG,CAAC;AACpB,QAAM,IAAI,MAAM,GAAG,MAAM,EAAE,MAAM;AACjC,SAAO;AACT;AAEO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI;AAAA,IAChB,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE;AAAA,EACzE;AACA,MAAI,SAAS;AACb,aAAW,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,GAAG;AACpE,UAAM,IAAI,OAAO,MAAM;AACvB,cAAU,MAAM;AAAA,EAClB;AACA,SAAO;AACT;;;ACnBO,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;;;ACeO,SAAS,4BAA4B,SAIjB;AACzB,MAAI,CAAC,QAAQ,IAAI;AACf,UAAM,IAAI,QAAQ,iCAAiC,gBAAgB;AAAA,EACrE;AAEA,QAAM,kBAAkB,eAAe,QAAQ,KAAK;AACpD,QAAM,eAAe,YAAY,QAAQ,EAAE;AAE3C,SAAO;AAAA,IACL,IAAI;AAAA,MACF,OAAO,cAAc,aAAa,KAAK;AAAA,MACvC,MAAM,cAAc,aAAa,IAAI;AAAA,MACrC,OAAO,cAAc,aAAa,KAAK;AAAA,MACvC,OAAO,cAAc,aAAa,KAAK;AAAA,MACvC,IAAI,aAAa,GAAG,IAAI,aAAa;AAAA,IACvC;AAAA,IACA,OAAO;AAAA,MACL,GAAG,cAAc,gBAAgB,CAAC;AAAA,MAClC,GAAG,cAAc,gBAAgB,CAAC;AAAA,MAClC,GAAG,cAAc,gBAAgB,CAAC;AAAA,IACpC;AAAA,IACA,aAAa,QAAQ,cAAc,IAAI,CAAC,WAAW,OAAO,MAAM,CAAC;AAAA,EACnE;AACF;","names":[]}
+{"version":3,"sources":["../src/browser.ts","../src/serialization/bigint-helpers.ts","../src/serialization/serialize-proof.ts","../src/serialization/serialize-vk.ts","../src/serialization/serialize-public-signals.ts","../src/serialization/curve-bytes.ts","../src/errors/ZkError.ts","../src/browser/build-verify-proof-binding-args.ts"],"sourcesContent":["export {\n  serializeProof,\n  type SerializedG1,\n  type SerializedG2,\n  type SerializedProof,\n  type SnarkjsProof,\n} 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 { concatG1Bytes, concatG2Bytes } from \"./serialization/curve-bytes.js\";\nexport {\n  buildVerifyProofBindingArgs,\n  type VerifyProofBindingArgs,\n  type VerifyProofBindingBuffers,\n} from \"./browser/build-verify-proof-binding-args.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(\n  rows: [[string, string], [string, string], ...string[][]]\n): 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 type { SerializedG1, SerializedG2 } from \"./serialize-proof.js\";\n\nexport function concatG1Bytes(point: SerializedG1): Uint8Array {\n  const bytes = new Uint8Array(point.x.length + point.y.length);\n  bytes.set(point.x, 0);\n  bytes.set(point.y, point.x.length);\n  return bytes;\n}\n\nexport function concatG2Bytes(point: SerializedG2): Uint8Array {\n  const bytes = new Uint8Array(\n    point.x[0].length + point.x[1].length + point.y[0].length + point.y[1].length\n  );\n  let offset = 0;\n  for (const chunk of [point.x[0], point.x[1], point.y[0], point.y[1]]) {\n    bytes.set(chunk, offset);\n    offset += chunk.length;\n  }\n  return bytes;\n}\n\nexport function concatG1Hex(point: SerializedG1): string {\n  return bytesToHex(concatG1Bytes(point));\n}\n\nexport function concatG2Hex(point: SerializedG2): string {\n  return bytesToHex(concatG2Bytes(point));\n}\n\nfunction bytesToHex(bytes: Uint8Array): string {\n  return Array.from(bytes, (byte) => byte.toString(16).padStart(2, \"0\")).join(\"\");\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","import { concatG1Bytes, concatG2Bytes } from \"../serialization/curve-bytes.js\";\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 VerifyProofBindingBuffers = {\n  vk: {\n    alpha: Uint8Array;\n    beta: Uint8Array;\n    gamma: Uint8Array;\n    delta: Uint8Array;\n    ic: Uint8Array[];\n  };\n  proof: {\n    a: Uint8Array;\n    b: Uint8Array;\n    c: Uint8Array;\n  };\n  pub_signals: bigint[];\n};\n\n/** Matches Stellar contract bindings for groth16_verifier (`Proof`, `VerificationKey`, `u256[]`). */\nexport type VerifyProofBindingArgs = VerifyProofBindingBuffers;\n\nexport function buildVerifyProofBindingArgs(options: {\n  proof: SnarkjsProof;\n  vk: SnarkjsVk;\n  publicSignals: string[];\n}): VerifyProofBindingArgs {\n  if (!options.vk) {\n    throw new ZkError(\"Verification key is required.\", \"ZK_VK_REQUIRED\");\n  }\n\n  const serializedProof = serializeProof(options.proof);\n  const serializedVk = serializeVk(options.vk);\n\n  return {\n    vk: {\n      alpha: concatG1Bytes(serializedVk.alpha),\n      beta: concatG2Bytes(serializedVk.beta),\n      gamma: concatG2Bytes(serializedVk.gamma),\n      delta: concatG2Bytes(serializedVk.delta),\n      ic: serializedVk.ic.map(concatG1Bytes),\n    },\n    proof: {\n      a: concatG1Bytes(serializedProof.a),\n      b: concatG2Bytes(serializedProof.b),\n      c: concatG1Bytes(serializedProof.c),\n    },\n    pub_signals: options.publicSignals.map((signal) => BigInt(signal)),\n  };\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;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,oBACP,MACc;AACd,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;;;ACzDO,SAAS,uBAAuB,SAAiC;AACtE,SAAO,QAAQ,IAAI,CAAC,MAAM,cAAc,CAAC,CAAC;AAC5C;;;ACFO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI,WAAW,MAAM,EAAE,SAAS,MAAM,EAAE,MAAM;AAC5D,QAAM,IAAI,MAAM,GAAG,CAAC;AACpB,QAAM,IAAI,MAAM,GAAG,MAAM,EAAE,MAAM;AACjC,SAAO;AACT;AAEO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI;AAAA,IAChB,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE;AAAA,EACzE;AACA,MAAI,SAAS;AACb,aAAW,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,GAAG;AACpE,UAAM,IAAI,OAAO,MAAM;AACvB,cAAU,MAAM;AAAA,EAClB;AACA,SAAO;AACT;;;ACnBO,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;;;ACeO,SAAS,4BAA4B,SAIjB;AACzB,MAAI,CAAC,QAAQ,IAAI;AACf,UAAM,IAAI,QAAQ,iCAAiC,gBAAgB;AAAA,EACrE;AAEA,QAAM,kBAAkB,eAAe,QAAQ,KAAK;AACpD,QAAM,eAAe,YAAY,QAAQ,EAAE;AAE3C,SAAO;AAAA,IACL,IAAI;AAAA,MACF,OAAO,cAAc,aAAa,KAAK;AAAA,MACvC,MAAM,cAAc,aAAa,IAAI;AAAA,MACrC,OAAO,cAAc,aAAa,KAAK;AAAA,MACvC,OAAO,cAAc,aAAa,KAAK;AAAA,MACvC,IAAI,aAAa,GAAG,IAAI,aAAa;AAAA,IACvC;AAAA,IACA,OAAO;AAAA,MACL,GAAG,cAAc,gBAAgB,CAAC;AAAA,MAClC,GAAG,cAAc,gBAAgB,CAAC;AAAA,MAClC,GAAG,cAAc,gBAAgB,CAAC;AAAA,IACpC;AAAA,IACA,aAAa,QAAQ,cAAc,IAAI,CAAC,WAAW,OAAO,MAAM,CAAC;AAAA,EACnE;AACF;","names":[]}

package/dist/browser.js

@@ -5,7 +5,7 @@ import {
   serializeProof,
   serializePublicSignals,
   serializeVk
-} from "./chunk-TOEC4W3C.js";
+} from "./chunk-AMN3UF2G.js";
 
 // src/browser/build-verify-proof-binding-args.ts
 function buildVerifyProofBindingArgs(options) {

package/dist/chunk-AMN3UF2G.js

@@ -0,0 +1,130 @@
+// 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/serialization/curve-bytes.ts
+function concatG1Bytes(point) {
+  const bytes = new Uint8Array(point.x.length + point.y.length);
+  bytes.set(point.x, 0);
+  bytes.set(point.y, point.x.length);
+  return bytes;
+}
+function concatG2Bytes(point) {
+  const bytes = new Uint8Array(
+    point.x[0].length + point.x[1].length + point.y[0].length + point.y[1].length
+  );
+  let offset = 0;
+  for (const chunk of [point.x[0], point.x[1], point.y[0], point.y[1]]) {
+    bytes.set(chunk, offset);
+    offset += chunk.length;
+  }
+  return bytes;
+}
+function concatG1Hex(point) {
+  return bytesToHex(concatG1Bytes(point));
+}
+function concatG2Hex(point) {
+  return bytesToHex(concatG2Bytes(point));
+}
+function bytesToHex(bytes) {
+  return Array.from(bytes, (byte) => byte.toString(16).padStart(2, "0")).join("");
+}
+
+// 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;
+};
+
+export {
+  serializeProof,
+  serializeVk,
+  serializePublicSignals,
+  concatG1Bytes,
+  concatG2Bytes,
+  concatG1Hex,
+  concatG2Hex,
+  ZkError
+};
+//# sourceMappingURL=chunk-AMN3UF2G.js.map

package/dist/chunk-AMN3UF2G.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/serialization/curve-bytes.ts","../src/errors/ZkError.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(\n  rows: [[string, string], [string, string], ...string[][]]\n): 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 type { SerializedG1, SerializedG2 } from \"./serialize-proof.js\";\n\nexport function concatG1Bytes(point: SerializedG1): Uint8Array {\n  const bytes = new Uint8Array(point.x.length + point.y.length);\n  bytes.set(point.x, 0);\n  bytes.set(point.y, point.x.length);\n  return bytes;\n}\n\nexport function concatG2Bytes(point: SerializedG2): Uint8Array {\n  const bytes = new Uint8Array(\n    point.x[0].length + point.x[1].length + point.y[0].length + point.y[1].length\n  );\n  let offset = 0;\n  for (const chunk of [point.x[0], point.x[1], point.y[0], point.y[1]]) {\n    bytes.set(chunk, offset);\n    offset += chunk.length;\n  }\n  return bytes;\n}\n\nexport function concatG1Hex(point: SerializedG1): string {\n  return bytesToHex(concatG1Bytes(point));\n}\n\nexport function concatG2Hex(point: SerializedG2): string {\n  return bytesToHex(concatG2Bytes(point));\n}\n\nfunction bytesToHex(bytes: Uint8Array): string {\n  return Array.from(bytes, (byte) => byte.toString(16).padStart(2, \"0\")).join(\"\");\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"],"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,oBACP,MACc;AACd,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;;;ACzDO,SAAS,uBAAuB,SAAiC;AACtE,SAAO,QAAQ,IAAI,CAAC,MAAM,cAAc,CAAC,CAAC;AAC5C;;;ACFO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI,WAAW,MAAM,EAAE,SAAS,MAAM,EAAE,MAAM;AAC5D,QAAM,IAAI,MAAM,GAAG,CAAC;AACpB,QAAM,IAAI,MAAM,GAAG,MAAM,EAAE,MAAM;AACjC,SAAO;AACT;AAEO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI;AAAA,IAChB,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE;AAAA,EACzE;AACA,MAAI,SAAS;AACb,aAAW,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,GAAG;AACpE,UAAM,IAAI,OAAO,MAAM;AACvB,cAAU,MAAM;AAAA,EAClB;AACA,SAAO;AACT;AAEO,SAAS,YAAY,OAA6B;AACvD,SAAO,WAAW,cAAc,KAAK,CAAC;AACxC;AAEO,SAAS,YAAY,OAA6B;AACvD,SAAO,WAAW,cAAc,KAAK,CAAC;AACxC;AAEA,SAAS,WAAW,OAA2B;AAC7C,SAAO,MAAM,KAAK,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAAE,KAAK,EAAE;AAChF;;;AC/BO,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;","names":[]}

package/dist/index.cjs

@@ -194,9 +194,13 @@ async function ensureSnarkjs() {
       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
-    });
+    await (0, import_core.runCommand)(
+      "npm",
+      ["install", "--no-save", "--legacy-peer-deps", `snarkjs@${SNARKJS_VERSION}`],
+      {
+        cwd: installDir
+      }
+    );
     return cliPath;
   }
 }
@@ -214,13 +218,7 @@ async function ensurePtau(size) {
   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"
-  ], {
+  await (0, import_core.runCommand)(snarkjs, ["powersoftau", "contribute", pot0, pot1, "-v"], {
     input: `caatinga-dev
 ${entropy}
 `
@@ -435,7 +433,9 @@ function buildStellarVerifyProofArgs(options) {
 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 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")
   );
@@ -459,10 +459,7 @@ async function invokeVerifier(options) {
     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"
-    );
+    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;

package/dist/index.cjs.map

@@ -1 +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/serialization/curve-bytes.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\";\nimport { concatG1Bytes, concatG2Bytes } from \"../serialization/curve-bytes.js\";\n\nexport type BuildCircuitOptions = {\n  circuitName: string;\n  circuitPath: string;\n  artifactsDir: string;\n  embedVk: boolean;\n};\n\nconst BYTES_PER_LINE = 16;\n\nfunction formatRustByteArray(bytes: Uint8Array): string {\n  const chunks: string[] = [];\n  for (let i = 0; i < bytes.length; i += BYTES_PER_LINE) {\n    const slice = Array.from(bytes.slice(i, i + BYTES_PER_LINE));\n    chunks.push(\n      \"        \" + slice.map((b) => `0x${b.toString(16).padStart(2, \"0\")}`).join(\", \") + \",\"\n    );\n  }\n  return chunks.join(\"\\n\");\n}\n\nexport function generateVkRust(_vkPath: string, rawJson: string): string {\n  const raw = JSON.parse(rawJson) as SnarkjsVk;\n  const vk = serializeVk(raw);\n\n  const alphaBytes = concatG1Bytes(vk.alpha);\n  const betaBytes = concatG2Bytes(vk.beta);\n  const gammaBytes = concatG2Bytes(vk.gamma);\n  const deltaBytes = concatG2Bytes(vk.delta);\n  const icEntries = vk.ic.map(concatG1Bytes);\n\n  const icItems = icEntries\n    .map(\n      (ic, i) =>\n        `        G1Affine::from_array(&env, &[\\n${formatRustByteArray(ic)}\\n        ]), // IC[${i}]`\n    )\n    .join(\"\\n\");\n\n  return [\n    \"// @generated by caatinga zk build --embed-vk\",\n    `// DO NOT EDIT — re-run \"caatinga zk build <circuit> --embed-vk\" to regenerate.`,\n    \"\",\n    \"use soroban_sdk::crypto::bls12_381::{G1Affine, G2Affine};\",\n    \"\",\n    \"#[allow(clippy::too_many_lines)]\",\n    \"pub fn embedded_vk(\",\n    \"    env: &soroban_sdk::Env,\",\n    \") -> (G1Affine, G2Affine, G2Affine, G2Affine, soroban_sdk::Vec<G1Affine>) {\",\n    `    let alpha = G1Affine::from_array(&env, &[`,\n    formatRustByteArray(alphaBytes),\n    \"    ]);\",\n    `    let beta = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(betaBytes),\n    \"    ]);\",\n    `    let gamma = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(gammaBytes),\n    \"    ]);\",\n    `    let delta = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(deltaBytes),\n    \"    ]);\",\n    `    let ic = soroban_sdk::vec![&env,`,\n    icItems,\n    \"    ];\",\n    \"    (alpha, beta, gamma, delta, ic)\",\n    \"}\",\n    \"\",\n  ].join(\"\\n\");\n}\n\nasync function writeEmbeddedVk(\n  vkPath: string,\n  verifierSrcDir: string,\n): Promise<void> {\n  const rawJson = await readFile(vkPath, \"utf8\");\n  const rustSource = generateVkRust(vkPath, rawJson);\n  await writeFile(path.join(verifierSrcDir, \"vk.rs\"), rustSource, \"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 type { SerializedG1, SerializedG2 } from \"./serialize-proof.js\";\n\nexport function concatG1Bytes(point: SerializedG1): Uint8Array {\n  const bytes = new Uint8Array(point.x.length + point.y.length);\n  bytes.set(point.x, 0);\n  bytes.set(point.y, point.x.length);\n  return bytes;\n}\n\nexport function concatG2Bytes(point: SerializedG2): Uint8Array {\n  const bytes = new Uint8Array(\n    point.x[0].length + point.x[1].length + point.y[0].length + point.y[1].length\n  );\n  let offset = 0;\n  for (const chunk of [point.x[0], point.x[1], point.y[0], point.y[1]]) {\n    bytes.set(chunk, offset);\n    offset += chunk.length;\n  }\n  return bytes;\n}\n\nexport function concatG1Hex(point: SerializedG1): string {\n  return bytesToHex(concatG1Bytes(point));\n}\n\nexport function concatG2Hex(point: SerializedG2): string {\n  return bytesToHex(concatG2Bytes(point));\n}\n\nfunction bytesToHex(bytes: Uint8Array): string {\n  return Array.from(bytes, (byte) => byte.toString(16).padStart(2, \"0\")).join(\"\");\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 { concatG1Hex, concatG2Hex } from \"../serialization/curve-bytes.js\";\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\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: concatG1Hex(serializedVk.alpha),\n        beta: concatG2Hex(serializedVk.beta),\n        gamma: concatG2Hex(serializedVk.gamma),\n        delta: concatG2Hex(serializedVk.delta),\n        ic: serializedVk.ic.map(concatG1Hex),\n      })\n    );\n  }\n\n  args.push(\n    \"--proof\",\n    JSON.stringify({\n      a: concatG1Hex(serializedProof.a),\n      b: concatG2Hex(serializedProof.b),\n      c: concatG1Hex(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;;;ACDO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI,WAAW,MAAM,EAAE,SAAS,MAAM,EAAE,MAAM;AAC5D,QAAM,IAAI,MAAM,GAAG,CAAC;AACpB,QAAM,IAAI,MAAM,GAAG,MAAM,EAAE,MAAM;AACjC,SAAO;AACT;AAEO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI;AAAA,IAChB,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE;AAAA,EACzE;AACA,MAAI,SAAS;AACb,aAAW,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,GAAG;AACpE,UAAM,IAAI,OAAO,MAAM;AACvB,cAAU,MAAM;AAAA,EAClB;AACA,SAAO;AACT;AAEO,SAAS,YAAY,OAA6B;AACvD,SAAO,WAAW,cAAc,KAAK,CAAC;AACxC;AAEO,SAAS,YAAY,OAA6B;AACvD,SAAO,WAAW,cAAc,KAAK,CAAC;AACxC;AAEA,SAAS,WAAW,OAA2B;AAC7C,SAAO,MAAM,KAAK,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAAE,KAAK,EAAE;AAChF;;;AJfA,IAAM,iBAAiB;AAEvB,SAAS,oBAAoB,OAA2B;AACtD,QAAM,SAAmB,CAAC;AAC1B,WAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK,gBAAgB;AACrD,UAAM,QAAQ,MAAM,KAAK,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC;AAC3D,WAAO;AAAA,MACL,aAAa,MAAM,IAAI,CAAC,MAAM,KAAK,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAAE,EAAE,KAAK,IAAI,IAAI;AAAA,IACrF;AAAA,EACF;AACA,SAAO,OAAO,KAAK,IAAI;AACzB;AAEO,SAAS,eAAe,SAAiB,SAAyB;AACvE,QAAM,MAAM,KAAK,MAAM,OAAO;AAC9B,QAAM,KAAK,YAAY,GAAG;AAE1B,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,YAAY,cAAc,GAAG,IAAI;AACvC,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,YAAY,GAAG,GAAG,IAAI,aAAa;AAEzC,QAAM,UAAU,UACb;AAAA,IACC,CAAC,IAAI,MACH;AAAA,EAA0C,oBAAoB,EAAE,CAAC;AAAA,oBAAuB,CAAC;AAAA,EAC7F,EACC,KAAK,IAAI;AAEZ,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA,oBAAoB,SAAS;AAAA,IAC7B;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AACb;AAEA,eAAe,gBACb,QACA,gBACe;AACf,QAAM,UAAU,UAAM,2BAAS,QAAQ,MAAM;AAC7C,QAAM,aAAa,eAAe,QAAQ,OAAO;AACjD,YAAM,4BAAU,kBAAAE,QAAK,KAAK,gBAAgB,OAAO,GAAG,YAAY,MAAM;AACxE;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;;;AK/HA,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;AAkBV,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,YAAY,aAAa,KAAK;AAAA,QACrC,MAAM,YAAY,aAAa,IAAI;AAAA,QACnC,OAAO,YAAY,aAAa,KAAK;AAAA,QACrC,OAAO,YAAY,aAAa,KAAK;AAAA,QACrC,IAAI,aAAa,GAAG,IAAI,WAAW;AAAA,MACrC,CAAC;AAAA,IACH;AAAA,EACF;AAEA,OAAK;AAAA,IACH;AAAA,IACA,KAAK,UAAU;AAAA,MACb,GAAG,YAAY,gBAAgB,CAAC;AAAA,MAChC,GAAG,YAAY,gBAAgB,CAAC;AAAA,MAChC,GAAG,YAAY,gBAAgB,CAAC;AAAA,IAClC,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"]}
+{"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/serialization/curve-bytes.ts","../src/prove/prove-circuit.ts","../src/invoke/invoke-verifier.ts"],"sourcesContent":["export {\n  serializeProof,\n  type SerializedProof,\n  type SnarkjsProof,\n} 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 {\n  invokeVerifier,\n  buildStellarVerifyProofArgs,\n  type InvokeVerifierOptions,\n  type InvokeVerifierResult,\n} 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(\n  rows: [[string, string], [string, string], ...string[][]]\n): 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\";\nimport { concatG1Bytes, concatG2Bytes } from \"../serialization/curve-bytes.js\";\n\nexport type BuildCircuitOptions = {\n  circuitName: string;\n  circuitPath: string;\n  artifactsDir: string;\n  embedVk: boolean;\n};\n\nconst BYTES_PER_LINE = 16;\n\nfunction formatRustByteArray(bytes: Uint8Array): string {\n  const chunks: string[] = [];\n  for (let i = 0; i < bytes.length; i += BYTES_PER_LINE) {\n    const slice = Array.from(bytes.slice(i, i + BYTES_PER_LINE));\n    chunks.push(\n      \"        \" + slice.map((b) => `0x${b.toString(16).padStart(2, \"0\")}`).join(\", \") + \",\"\n    );\n  }\n  return chunks.join(\"\\n\");\n}\n\nexport function generateVkRust(_vkPath: string, rawJson: string): string {\n  const raw = JSON.parse(rawJson) as SnarkjsVk;\n  const vk = serializeVk(raw);\n\n  const alphaBytes = concatG1Bytes(vk.alpha);\n  const betaBytes = concatG2Bytes(vk.beta);\n  const gammaBytes = concatG2Bytes(vk.gamma);\n  const deltaBytes = concatG2Bytes(vk.delta);\n  const icEntries = vk.ic.map(concatG1Bytes);\n\n  const icItems = icEntries\n    .map(\n      (ic, i) =>\n        `        G1Affine::from_array(&env, &[\\n${formatRustByteArray(ic)}\\n        ]), // IC[${i}]`\n    )\n    .join(\"\\n\");\n\n  return [\n    \"// @generated by caatinga zk build --embed-vk\",\n    `// DO NOT EDIT — re-run \"caatinga zk build <circuit> --embed-vk\" to regenerate.`,\n    \"\",\n    \"use soroban_sdk::crypto::bls12_381::{G1Affine, G2Affine};\",\n    \"\",\n    \"#[allow(clippy::too_many_lines)]\",\n    \"pub fn embedded_vk(\",\n    \"    env: &soroban_sdk::Env,\",\n    \") -> (G1Affine, G2Affine, G2Affine, G2Affine, soroban_sdk::Vec<G1Affine>) {\",\n    `    let alpha = G1Affine::from_array(&env, &[`,\n    formatRustByteArray(alphaBytes),\n    \"    ]);\",\n    `    let beta = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(betaBytes),\n    \"    ]);\",\n    `    let gamma = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(gammaBytes),\n    \"    ]);\",\n    `    let delta = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(deltaBytes),\n    \"    ]);\",\n    `    let ic = soroban_sdk::vec![&env,`,\n    icItems,\n    \"    ];\",\n    \"    (alpha, beta, gamma, delta, ic)\",\n    \"}\",\n    \"\",\n  ].join(\"\\n\");\n}\n\nasync function writeEmbeddedVk(vkPath: string, verifierSrcDir: string): Promise<void> {\n  const rawJson = await readFile(vkPath, \"utf8\");\n  const rustSource = generateVkRust(vkPath, rawJson);\n  await writeFile(path.join(verifierSrcDir, \"vk.rs\"), rustSource, \"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(\n      \"npm\",\n      [\"install\", \"--no-save\", \"--legacy-peer-deps\", `snarkjs@${SNARKJS_VERSION}`],\n      {\n        cwd: installDir,\n      }\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, [\"powersoftau\", \"contribute\", pot0, pot1, \"-v\"], {\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 type { SerializedG1, SerializedG2 } from \"./serialize-proof.js\";\n\nexport function concatG1Bytes(point: SerializedG1): Uint8Array {\n  const bytes = new Uint8Array(point.x.length + point.y.length);\n  bytes.set(point.x, 0);\n  bytes.set(point.y, point.x.length);\n  return bytes;\n}\n\nexport function concatG2Bytes(point: SerializedG2): Uint8Array {\n  const bytes = new Uint8Array(\n    point.x[0].length + point.x[1].length + point.y[0].length + point.y[1].length\n  );\n  let offset = 0;\n  for (const chunk of [point.x[0], point.x[1], point.y[0], point.y[1]]) {\n    bytes.set(chunk, offset);\n    offset += chunk.length;\n  }\n  return bytes;\n}\n\nexport function concatG1Hex(point: SerializedG1): string {\n  return bytesToHex(concatG1Bytes(point));\n}\n\nexport function concatG2Hex(point: SerializedG2): string {\n  return bytesToHex(concatG2Bytes(point));\n}\n\nfunction bytesToHex(bytes: Uint8Array): string {\n  return Array.from(bytes, (byte) => byte.toString(16).padStart(2, \"0\")).join(\"\");\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 { concatG1Hex, concatG2Hex } from \"../serialization/curve-bytes.js\";\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\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: concatG1Hex(serializedVk.alpha),\n        beta: concatG2Hex(serializedVk.beta),\n        gamma: concatG2Hex(serializedVk.gamma),\n        delta: concatG2Hex(serializedVk.delta),\n        ic: serializedVk.ic.map(concatG1Hex),\n      })\n    );\n  }\n\n  args.push(\n    \"--proof\",\n    JSON.stringify({\n      a: concatG1Hex(serializedProof.a),\n      b: concatG2Hex(serializedProof.b),\n      c: concatG1Hex(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(\n  options: InvokeVerifierOptions\n): Promise<InvokeVerifierResult> {\n  const cwd = options.cwd ?? process.cwd();\n  const config = options.config ?? (await loadConfig({ cwd }));\n  const proof = JSON.parse(\n    await readFile(path.resolve(cwd, options.proofPath), \"utf8\")\n  ) 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(`Verifier returned ${result.result.trim()}.`, \"ZK_VERIFY_FAILED\");\n  }\n\n  const artifacts = await readArtifacts(cwd);\n  const contractId =\n    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,oBACP,MACc;AACd,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;;;ACzDO,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;AAAA,MACJ;AAAA,MACA,CAAC,WAAW,aAAa,sBAAsB,WAAW,eAAe,EAAE;AAAA,MAC3E;AAAA,QACE,KAAK;AAAA,MACP;AAAA,IACF;AACA,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,CAAC,eAAe,cAAc,MAAM,MAAM,IAAI,GAAG;AAAA,IACzE,OAAO;AAAA,EAAiB,OAAO;AAAA;AAAA,EACjC,CAAC;AACD,YAAM,wBAAW,SAAS,CAAC,eAAe,WAAW,UAAU,MAAM,WAAW,IAAI,CAAC;AAErF,SAAO;AACT;;;AE/FO,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;;;ACDO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI,WAAW,MAAM,EAAE,SAAS,MAAM,EAAE,MAAM;AAC5D,QAAM,IAAI,MAAM,GAAG,CAAC;AACpB,QAAM,IAAI,MAAM,GAAG,MAAM,EAAE,MAAM;AACjC,SAAO;AACT;AAEO,SAAS,cAAc,OAAiC;AAC7D,QAAM,QAAQ,IAAI;AAAA,IAChB,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC,EAAE;AAAA,EACzE;AACA,MAAI,SAAS;AACb,aAAW,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,GAAG;AACpE,UAAM,IAAI,OAAO,MAAM;AACvB,cAAU,MAAM;AAAA,EAClB;AACA,SAAO;AACT;AAEO,SAAS,YAAY,OAA6B;AACvD,SAAO,WAAW,cAAc,KAAK,CAAC;AACxC;AAEO,SAAS,YAAY,OAA6B;AACvD,SAAO,WAAW,cAAc,KAAK,CAAC;AACxC;AAEA,SAAS,WAAW,OAA2B;AAC7C,SAAO,MAAM,KAAK,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAAE,KAAK,EAAE;AAChF;;;AJfA,IAAM,iBAAiB;AAEvB,SAAS,oBAAoB,OAA2B;AACtD,QAAM,SAAmB,CAAC;AAC1B,WAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK,gBAAgB;AACrD,UAAM,QAAQ,MAAM,KAAK,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC;AAC3D,WAAO;AAAA,MACL,aAAa,MAAM,IAAI,CAAC,MAAM,KAAK,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAAE,EAAE,KAAK,IAAI,IAAI;AAAA,IACrF;AAAA,EACF;AACA,SAAO,OAAO,KAAK,IAAI;AACzB;AAEO,SAAS,eAAe,SAAiB,SAAyB;AACvE,QAAM,MAAM,KAAK,MAAM,OAAO;AAC9B,QAAM,KAAK,YAAY,GAAG;AAE1B,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,YAAY,cAAc,GAAG,IAAI;AACvC,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,YAAY,GAAG,GAAG,IAAI,aAAa;AAEzC,QAAM,UAAU,UACb;AAAA,IACC,CAAC,IAAI,MACH;AAAA,EAA0C,oBAAoB,EAAE,CAAC;AAAA,oBAAuB,CAAC;AAAA,EAC7F,EACC,KAAK,IAAI;AAEZ,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA,oBAAoB,SAAS;AAAA,IAC7B;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AACb;AAEA,eAAe,gBAAgB,QAAgB,gBAAuC;AACpF,QAAM,UAAU,UAAM,2BAAS,QAAQ,MAAM;AAC7C,QAAM,aAAa,eAAe,QAAQ,OAAO;AACjD,YAAM,4BAAU,kBAAAE,QAAK,KAAK,gBAAgB,OAAO,GAAG,YAAY,MAAM;AACxE;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;;;AK5HA,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;AAkBV,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,YAAY,aAAa,KAAK;AAAA,QACrC,MAAM,YAAY,aAAa,IAAI;AAAA,QACnC,OAAO,YAAY,aAAa,KAAK;AAAA,QACrC,OAAO,YAAY,aAAa,KAAK;AAAA,QACrC,IAAI,aAAa,GAAG,IAAI,WAAW;AAAA,MACrC,CAAC;AAAA,IACH;AAAA,EACF;AAEA,OAAK;AAAA,IACH;AAAA,IACA,KAAK,UAAU;AAAA,MACb,GAAG,YAAY,gBAAgB,CAAC;AAAA,MAChC,GAAG,YAAY,gBAAgB,CAAC;AAAA,MAChC,GAAG,YAAY,gBAAgB,CAAC;AAAA,IAClC,CAAC;AAAA,EACH;AACA,OAAK,KAAK,iBAAiB,KAAK,UAAU,QAAQ,aAAa,CAAC;AAEhE,SAAO;AACT;AAUA,eAAsB,eACpB,SAC+B;AAC/B,QAAM,MAAM,QAAQ,OAAO,QAAQ,IAAI;AACvC,QAAM,SAAS,QAAQ,UAAW,UAAM,yBAAW,EAAE,IAAI,CAAC;AAC1D,QAAM,QAAQ,KAAK;AAAA,IACjB,UAAM,2BAAS,kBAAAC,QAAK,QAAQ,KAAK,QAAQ,SAAS,GAAG,MAAM;AAAA,EAC7D;AACA,QAAM,gBAAgB,KAAK;AAAA,IACzB,UAAM,2BAAS,kBAAAA,QAAK,QAAQ,KAAK,QAAQ,iBAAiB,GAAG,MAAM;AAAA,EACrE;AAEA,QAAM,KAAK,QAAQ,UACf,SACC,KAAK,MAAM,UAAM,2BAAS,kBAAAA,QAAK,QAAQ,KAAK,QAAQ,MAAM,GAAG,MAAM,CAAC;AAEzE,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,QAAQ,qBAAqB,OAAO,OAAO,KAAK,CAAC,KAAK,kBAAkB;AAAA,EACpF;AAEA,QAAM,YAAY,UAAM,4BAAc,GAAG;AACzC,QAAM,aACJ,UAAU,SAAS,QAAQ,OAAO,GAAG,UAAU,QAAQ,gBAAgB,GAAG;AAE5E,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.js

@@ -7,7 +7,7 @@ import {
   serializeProof,
   serializePublicSignals,
   serializeVk
-} from "./chunk-TOEC4W3C.js";
+} from "./chunk-AMN3UF2G.js";
 
 // src/build/build-circuit.ts
 import { runCommand as runCommand2 } from "@caatinga/core";
@@ -68,9 +68,13 @@ async function ensureSnarkjs() {
       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
-    });
+    await runCommand(
+      "npm",
+      ["install", "--no-save", "--legacy-peer-deps", `snarkjs@${SNARKJS_VERSION}`],
+      {
+        cwd: installDir
+      }
+    );
     return cliPath;
   }
 }
@@ -88,13 +92,7 @@ async function ensurePtau(size) {
   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"
-  ], {
+  await runCommand(snarkjs, ["powersoftau", "contribute", pot0, pot1, "-v"], {
     input: `caatinga-dev
 ${entropy}
 `
@@ -281,7 +279,9 @@ function buildStellarVerifyProofArgs(options) {
 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 proof = JSON.parse(
+    await readFile2(path4.resolve(cwd, options.proofPath), "utf8")
+  );
   const publicSignals = JSON.parse(
     await readFile2(path4.resolve(cwd, options.publicSignalsPath), "utf8")
   );
@@ -305,10 +305,7 @@ async function invokeVerifier(options) {
     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"
-    );
+    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;

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/build/build-circuit.ts","../src/install/lazy-install-zk-tools.ts","../src/build/detect-ptau-size.ts","../src/prove/prove-circuit.ts","../src/invoke/invoke-verifier.ts"],"sourcesContent":["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\";\nimport { concatG1Bytes, concatG2Bytes } from \"../serialization/curve-bytes.js\";\n\nexport type BuildCircuitOptions = {\n  circuitName: string;\n  circuitPath: string;\n  artifactsDir: string;\n  embedVk: boolean;\n};\n\nconst BYTES_PER_LINE = 16;\n\nfunction formatRustByteArray(bytes: Uint8Array): string {\n  const chunks: string[] = [];\n  for (let i = 0; i < bytes.length; i += BYTES_PER_LINE) {\n    const slice = Array.from(bytes.slice(i, i + BYTES_PER_LINE));\n    chunks.push(\n      \"        \" + slice.map((b) => `0x${b.toString(16).padStart(2, \"0\")}`).join(\", \") + \",\"\n    );\n  }\n  return chunks.join(\"\\n\");\n}\n\nexport function generateVkRust(_vkPath: string, rawJson: string): string {\n  const raw = JSON.parse(rawJson) as SnarkjsVk;\n  const vk = serializeVk(raw);\n\n  const alphaBytes = concatG1Bytes(vk.alpha);\n  const betaBytes = concatG2Bytes(vk.beta);\n  const gammaBytes = concatG2Bytes(vk.gamma);\n  const deltaBytes = concatG2Bytes(vk.delta);\n  const icEntries = vk.ic.map(concatG1Bytes);\n\n  const icItems = icEntries\n    .map(\n      (ic, i) =>\n        `        G1Affine::from_array(&env, &[\\n${formatRustByteArray(ic)}\\n        ]), // IC[${i}]`\n    )\n    .join(\"\\n\");\n\n  return [\n    \"// @generated by caatinga zk build --embed-vk\",\n    `// DO NOT EDIT — re-run \"caatinga zk build <circuit> --embed-vk\" to regenerate.`,\n    \"\",\n    \"use soroban_sdk::crypto::bls12_381::{G1Affine, G2Affine};\",\n    \"\",\n    \"#[allow(clippy::too_many_lines)]\",\n    \"pub fn embedded_vk(\",\n    \"    env: &soroban_sdk::Env,\",\n    \") -> (G1Affine, G2Affine, G2Affine, G2Affine, soroban_sdk::Vec<G1Affine>) {\",\n    `    let alpha = G1Affine::from_array(&env, &[`,\n    formatRustByteArray(alphaBytes),\n    \"    ]);\",\n    `    let beta = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(betaBytes),\n    \"    ]);\",\n    `    let gamma = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(gammaBytes),\n    \"    ]);\",\n    `    let delta = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(deltaBytes),\n    \"    ]);\",\n    `    let ic = soroban_sdk::vec![&env,`,\n    icItems,\n    \"    ];\",\n    \"    (alpha, beta, gamma, delta, ic)\",\n    \"}\",\n    \"\",\n  ].join(\"\\n\");\n}\n\nasync function writeEmbeddedVk(\n  vkPath: string,\n  verifierSrcDir: string,\n): Promise<void> {\n  const rawJson = await readFile(vkPath, \"utf8\");\n  const rustSource = generateVkRust(vkPath, rawJson);\n  await writeFile(path.join(verifierSrcDir, \"vk.rs\"), rustSource, \"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 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 { concatG1Hex, concatG2Hex } from \"../serialization/curve-bytes.js\";\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\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: concatG1Hex(serializedVk.alpha),\n        beta: concatG2Hex(serializedVk.beta),\n        gamma: concatG2Hex(serializedVk.gamma),\n        delta: concatG2Hex(serializedVk.delta),\n        ic: serializedVk.ic.map(concatG1Hex),\n      })\n    );\n  }\n\n  args.push(\n    \"--proof\",\n    JSON.stringify({\n      a: concatG1Hex(serializedProof.a),\n      b: concatG2Hex(serializedProof.b),\n      c: concatG1Hex(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,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;AAGxC,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;;;ACjGO,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;;;AFaA,IAAM,iBAAiB;AAEvB,SAAS,oBAAoB,OAA2B;AACtD,QAAM,SAAmB,CAAC;AAC1B,WAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK,gBAAgB;AACrD,UAAM,QAAQ,MAAM,KAAK,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC;AAC3D,WAAO;AAAA,MACL,aAAa,MAAM,IAAI,CAAC,MAAM,KAAK,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAAE,EAAE,KAAK,IAAI,IAAI;AAAA,IACrF;AAAA,EACF;AACA,SAAO,OAAO,KAAK,IAAI;AACzB;AAEO,SAAS,eAAe,SAAiB,SAAyB;AACvE,QAAM,MAAM,KAAK,MAAM,OAAO;AAC9B,QAAM,KAAK,YAAY,GAAG;AAE1B,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,YAAY,cAAc,GAAG,IAAI;AACvC,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,YAAY,GAAG,GAAG,IAAI,aAAa;AAEzC,QAAM,UAAU,UACb;AAAA,IACC,CAAC,IAAI,MACH;AAAA,EAA0C,oBAAoB,EAAE,CAAC;AAAA,oBAAuB,CAAC;AAAA,EAC7F,EACC,KAAK,IAAI;AAEZ,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA,oBAAoB,SAAS;AAAA,IAC7B;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AACb;AAEA,eAAe,gBACb,QACA,gBACe;AACf,QAAM,UAAU,MAAM,SAAS,QAAQ,MAAM;AAC7C,QAAM,aAAa,eAAe,QAAQ,OAAO;AACjD,QAAMC,WAAUC,MAAK,KAAK,gBAAgB,OAAO,GAAG,YAAY,MAAM;AACxE;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;;;AG/HA,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;AAkBV,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,YAAY,aAAa,KAAK;AAAA,QACrC,MAAM,YAAY,aAAa,IAAI;AAAA,QACnC,OAAO,YAAY,aAAa,KAAK;AAAA,QACrC,OAAO,YAAY,aAAa,KAAK;AAAA,QACrC,IAAI,aAAa,GAAG,IAAI,WAAW;AAAA,MACrC,CAAC;AAAA,IACH;AAAA,EACF;AAEA,OAAK;AAAA,IACH;AAAA,IACA,KAAK,UAAU;AAAA,MACb,GAAG,YAAY,gBAAgB,CAAC;AAAA,MAChC,GAAG,YAAY,gBAAgB,CAAC;AAAA,MAChC,GAAG,YAAY,gBAAgB,CAAC;AAAA,IAClC,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"]}
+{"version":3,"sources":["../src/build/build-circuit.ts","../src/install/lazy-install-zk-tools.ts","../src/build/detect-ptau-size.ts","../src/prove/prove-circuit.ts","../src/invoke/invoke-verifier.ts"],"sourcesContent":["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\";\nimport { concatG1Bytes, concatG2Bytes } from \"../serialization/curve-bytes.js\";\n\nexport type BuildCircuitOptions = {\n  circuitName: string;\n  circuitPath: string;\n  artifactsDir: string;\n  embedVk: boolean;\n};\n\nconst BYTES_PER_LINE = 16;\n\nfunction formatRustByteArray(bytes: Uint8Array): string {\n  const chunks: string[] = [];\n  for (let i = 0; i < bytes.length; i += BYTES_PER_LINE) {\n    const slice = Array.from(bytes.slice(i, i + BYTES_PER_LINE));\n    chunks.push(\n      \"        \" + slice.map((b) => `0x${b.toString(16).padStart(2, \"0\")}`).join(\", \") + \",\"\n    );\n  }\n  return chunks.join(\"\\n\");\n}\n\nexport function generateVkRust(_vkPath: string, rawJson: string): string {\n  const raw = JSON.parse(rawJson) as SnarkjsVk;\n  const vk = serializeVk(raw);\n\n  const alphaBytes = concatG1Bytes(vk.alpha);\n  const betaBytes = concatG2Bytes(vk.beta);\n  const gammaBytes = concatG2Bytes(vk.gamma);\n  const deltaBytes = concatG2Bytes(vk.delta);\n  const icEntries = vk.ic.map(concatG1Bytes);\n\n  const icItems = icEntries\n    .map(\n      (ic, i) =>\n        `        G1Affine::from_array(&env, &[\\n${formatRustByteArray(ic)}\\n        ]), // IC[${i}]`\n    )\n    .join(\"\\n\");\n\n  return [\n    \"// @generated by caatinga zk build --embed-vk\",\n    `// DO NOT EDIT — re-run \"caatinga zk build <circuit> --embed-vk\" to regenerate.`,\n    \"\",\n    \"use soroban_sdk::crypto::bls12_381::{G1Affine, G2Affine};\",\n    \"\",\n    \"#[allow(clippy::too_many_lines)]\",\n    \"pub fn embedded_vk(\",\n    \"    env: &soroban_sdk::Env,\",\n    \") -> (G1Affine, G2Affine, G2Affine, G2Affine, soroban_sdk::Vec<G1Affine>) {\",\n    `    let alpha = G1Affine::from_array(&env, &[`,\n    formatRustByteArray(alphaBytes),\n    \"    ]);\",\n    `    let beta = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(betaBytes),\n    \"    ]);\",\n    `    let gamma = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(gammaBytes),\n    \"    ]);\",\n    `    let delta = G2Affine::from_array(&env, &[`,\n    formatRustByteArray(deltaBytes),\n    \"    ]);\",\n    `    let ic = soroban_sdk::vec![&env,`,\n    icItems,\n    \"    ];\",\n    \"    (alpha, beta, gamma, delta, ic)\",\n    \"}\",\n    \"\",\n  ].join(\"\\n\");\n}\n\nasync function writeEmbeddedVk(vkPath: string, verifierSrcDir: string): Promise<void> {\n  const rawJson = await readFile(vkPath, \"utf8\");\n  const rustSource = generateVkRust(vkPath, rawJson);\n  await writeFile(path.join(verifierSrcDir, \"vk.rs\"), rustSource, \"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(\n      \"npm\",\n      [\"install\", \"--no-save\", \"--legacy-peer-deps\", `snarkjs@${SNARKJS_VERSION}`],\n      {\n        cwd: installDir,\n      }\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, [\"powersoftau\", \"contribute\", pot0, pot1, \"-v\"], {\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 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 { concatG1Hex, concatG2Hex } from \"../serialization/curve-bytes.js\";\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\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: concatG1Hex(serializedVk.alpha),\n        beta: concatG2Hex(serializedVk.beta),\n        gamma: concatG2Hex(serializedVk.gamma),\n        delta: concatG2Hex(serializedVk.delta),\n        ic: serializedVk.ic.map(concatG1Hex),\n      })\n    );\n  }\n\n  args.push(\n    \"--proof\",\n    JSON.stringify({\n      a: concatG1Hex(serializedProof.a),\n      b: concatG2Hex(serializedProof.b),\n      c: concatG1Hex(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(\n  options: InvokeVerifierOptions\n): Promise<InvokeVerifierResult> {\n  const cwd = options.cwd ?? process.cwd();\n  const config = options.config ?? (await loadConfig({ cwd }));\n  const proof = JSON.parse(\n    await readFile(path.resolve(cwd, options.proofPath), \"utf8\")\n  ) 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(`Verifier returned ${result.result.trim()}.`, \"ZK_VERIFY_FAILED\");\n  }\n\n  const artifacts = await readArtifacts(cwd);\n  const contractId =\n    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,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;AAGxC,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;AAAA,MACJ;AAAA,MACA,CAAC,WAAW,aAAa,sBAAsB,WAAW,eAAe,EAAE;AAAA,MAC3E;AAAA,QACE,KAAK;AAAA,MACP;AAAA,IACF;AACA,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,CAAC,eAAe,cAAc,MAAM,MAAM,IAAI,GAAG;AAAA,IACzE,OAAO;AAAA,EAAiB,OAAO;AAAA;AAAA,EACjC,CAAC;AACD,QAAM,WAAW,SAAS,CAAC,eAAe,WAAW,UAAU,MAAM,WAAW,IAAI,CAAC;AAErF,SAAO;AACT;;;AC/FO,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;;;AFaA,IAAM,iBAAiB;AAEvB,SAAS,oBAAoB,OAA2B;AACtD,QAAM,SAAmB,CAAC;AAC1B,WAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK,gBAAgB;AACrD,UAAM,QAAQ,MAAM,KAAK,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC;AAC3D,WAAO;AAAA,MACL,aAAa,MAAM,IAAI,CAAC,MAAM,KAAK,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAAE,EAAE,KAAK,IAAI,IAAI;AAAA,IACrF;AAAA,EACF;AACA,SAAO,OAAO,KAAK,IAAI;AACzB;AAEO,SAAS,eAAe,SAAiB,SAAyB;AACvE,QAAM,MAAM,KAAK,MAAM,OAAO;AAC9B,QAAM,KAAK,YAAY,GAAG;AAE1B,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,YAAY,cAAc,GAAG,IAAI;AACvC,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,aAAa,cAAc,GAAG,KAAK;AACzC,QAAM,YAAY,GAAG,GAAG,IAAI,aAAa;AAEzC,QAAM,UAAU,UACb;AAAA,IACC,CAAC,IAAI,MACH;AAAA,EAA0C,oBAAoB,EAAE,CAAC;AAAA,oBAAuB,CAAC;AAAA,EAC7F,EACC,KAAK,IAAI;AAEZ,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA,oBAAoB,SAAS;AAAA,IAC7B;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA,oBAAoB,UAAU;AAAA,IAC9B;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF,EAAE,KAAK,IAAI;AACb;AAEA,eAAe,gBAAgB,QAAgB,gBAAuC;AACpF,QAAM,UAAU,MAAM,SAAS,QAAQ,MAAM;AAC7C,QAAM,aAAa,eAAe,QAAQ,OAAO;AACjD,QAAMC,WAAUC,MAAK,KAAK,gBAAgB,OAAO,GAAG,YAAY,MAAM;AACxE;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;;;AG5HA,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;AAkBV,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,YAAY,aAAa,KAAK;AAAA,QACrC,MAAM,YAAY,aAAa,IAAI;AAAA,QACnC,OAAO,YAAY,aAAa,KAAK;AAAA,QACrC,OAAO,YAAY,aAAa,KAAK;AAAA,QACrC,IAAI,aAAa,GAAG,IAAI,WAAW;AAAA,MACrC,CAAC;AAAA,IACH;AAAA,EACF;AAEA,OAAK;AAAA,IACH;AAAA,IACA,KAAK,UAAU;AAAA,MACb,GAAG,YAAY,gBAAgB,CAAC;AAAA,MAChC,GAAG,YAAY,gBAAgB,CAAC;AAAA,MAChC,GAAG,YAAY,gBAAgB,CAAC;AAAA,IAClC,CAAC;AAAA,EACH;AACA,OAAK,KAAK,iBAAiB,KAAK,UAAU,QAAQ,aAAa,CAAC;AAEhE,SAAO;AACT;AAUA,eAAsB,eACpB,SAC+B;AAC/B,QAAM,MAAM,QAAQ,OAAO,QAAQ,IAAI;AACvC,QAAM,SAAS,QAAQ,UAAW,MAAM,WAAW,EAAE,IAAI,CAAC;AAC1D,QAAM,QAAQ,KAAK;AAAA,IACjB,MAAMC,UAASC,MAAK,QAAQ,KAAK,QAAQ,SAAS,GAAG,MAAM;AAAA,EAC7D;AACA,QAAM,gBAAgB,KAAK;AAAA,IACzB,MAAMD,UAASC,MAAK,QAAQ,KAAK,QAAQ,iBAAiB,GAAG,MAAM;AAAA,EACrE;AAEA,QAAM,KAAK,QAAQ,UACf,SACC,KAAK,MAAM,MAAMD,UAASC,MAAK,QAAQ,KAAK,QAAQ,MAAM,GAAG,MAAM,CAAC;AAEzE,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,QAAQ,qBAAqB,OAAO,OAAO,KAAK,CAAC,KAAK,kBAAkB;AAAA,EACpF;AAEA,QAAM,YAAY,MAAM,cAAc,GAAG;AACzC,QAAM,aACJ,UAAU,SAAS,QAAQ,OAAO,GAAG,UAAU,QAAQ,gBAAgB,GAAG;AAE5E,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

@@ -1,10 +1,10 @@
 {
   "name": "@caatinga/zk",
-  "version": "2.4.5",
+  "version": "3.0.1",
   "description": "Zero-knowledge proof serialization bridge for Stellar/Soroban",
   "type": "module",
   "engines": {
-    "node": ">=20"
+    "node": ">=22"
   },
   "main": "./dist/index.cjs",
   "module": "./dist/index.js",
@@ -27,7 +27,7 @@
     "LICENSE"
   ],
   "dependencies": {
-    "@caatinga/core": "^2.4.5"
+    "@caatinga/core": "^3.0.1"
   },
   "devDependencies": {
     "tsup": "^8.3.5",