@caatinga/zk 3.0.1 → 3.1.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@caatinga/zk",
-  "version": "3.0.1",
+  "version": "3.1.1",
   "description": "Zero-knowledge proof serialization bridge for Stellar/Soroban",
   "type": "module",
   "engines": {
@@ -27,7 +27,7 @@
     "LICENSE"
   ],
   "dependencies": {
-    "@caatinga/core": "^3.0.1"
+    "@caatinga/core": "^3.1.1"
   },
   "devDependencies": {
     "tsup": "^8.3.5",

package/dist/chunk-TOEC4W3C.js

@@ -1,130 +0,0 @@
-// 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-TOEC4W3C.js.map

package/dist/chunk-TOEC4W3C.js.map

@@ -1 +0,0 @@
-{"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(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"],"mappings":";AAGO,SAAS,cAAc,SAA6B;AACzD,MAAI,QAAQ,OAAO,OAAO;AAC1B,QAAM,MAAM,IAAI,WAAW,EAAE;AAC7B,WAAS,IAAI,GAAG,IAAI,IAAI,KAAK;AAC3B,QAAI,CAAC,IAAI,OAAO,QAAQ,KAAK;AAC7B,cAAU;AAAA,EACZ;AACA,SAAO;AACT;AAKO,SAAS,cAAc,SAA6B;AACzD,MAAI,QAAQ,OAAO,OAAO;AAC1B,QAAM,MAAM,IAAI,WAAW,EAAE;AAC7B,WAAS,IAAI,IAAI,KAAK,GAAG,KAAK;AAC5B,QAAI,CAAC,IAAI,OAAO,QAAQ,KAAK;AAC7B,cAAU;AAAA,EACZ;AACA,SAAO;AACT;;;ACEO,SAAS,eAAe,OAAsC;AACnE,MAAI,MAAM,UAAU,YAAY;AAC9B,UAAM,IAAI,MAAM,gCAAgC,MAAM,KAAK,EAAE;AAAA,EAC/D;AAEA,SAAO;AAAA,IACL,GAAG;AAAA,MACD,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,MAC9B,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,IAChC;AAAA,IACA,GAAG;AAAA,MACD,GAAG,CAAC,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,MACpE,GAAG,CAAC,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,IACtE;AAAA,IACA,GAAG;AAAA,MACD,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,MAC9B,GAAG,cAAc,MAAM,KAAK,CAAC,CAAC;AAAA,IAChC;AAAA,EACF;AACF;;;ACvBA,SAAS,oBAAoB,MAAyE;AACpG,SAAO,cAAc,CAAC,KAAK,CAAC,GAAI,KAAK,CAAC,CAAE,CAAC;AAC3C;AAEA,SAAS,cAAc,GAA2C;AAChE,SAAO;AAAA,IACL,GAAG,cAAc,EAAE,CAAC,CAAC;AAAA,IACrB,GAAG,cAAc,EAAE,CAAC,CAAC;AAAA,EACvB;AACF;AAEA,SAAS,cAAc,GAAuD;AAC5E,SAAO;AAAA,IACL,GAAG,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,IAClD,GAAG,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAAA,EACpD;AACF;AAEO,SAAS,YAAY,IAA6B;AACvD,MAAI,GAAG,UAAU,YAAY;AAC3B,UAAM,IAAI,MAAM,gCAAgC,GAAG,KAAK,EAAE;AAAA,EAC5D;AAEA,QAAM,KAAK,GAAG,SAAS,GAAG;AAC1B,MAAI,CAAC,IAAI;AACP,UAAM,IAAI,MAAM,+CAA+C;AAAA,EACjE;AAEA,SAAO;AAAA,IACL,OAAO,cAAc,GAAG,UAAU;AAAA,IAClC,MAAM,oBAAoB,GAAG,SAAS;AAAA,IACtC,OAAO,oBAAoB,GAAG,UAAU;AAAA,IACxC,OAAO,oBAAoB,GAAG,UAAU;AAAA,IACxC,IAAI,GAAG,IAAI,aAAa;AAAA,EAC1B;AACF;;;ACvDO,SAAS,uBAAuB,SAAiC;AACtE,SAAO,QAAQ,IAAI,CAAC,MAAM,cAAc,CAAC,CAAC;AAC5C;;;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":[]}