dop-wallet-v6 1.3.40 → 1.3.41

package/dist/services/dop/core/prover.d.ts

@@ -1,3 +1,10 @@
 import { FormattedCircuitInputsDop, SnarkJSGroth16, Proof, Prover } from 'dop-engine-v3';
+/**
+ * Get the prover instance from DOP Engine
+ *
+ * Note: For React Native, use setWCDProver() from crypto/wcd-prover.ts
+ * which automatically intercepts the prover to use WCD-based proof generation.
+ * This is the recommended approach for mobile.
+ */
 export declare const getProver: () => Prover;
 export { FormattedCircuitInputsDop, Proof, SnarkJSGroth16 };

package/dist/services/dop/core/prover.js

@@ -3,61 +3,19 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.getProver = void 0;
 const engine_1 = require("./engine");
 const dop_sharedmodels_v3_1 = require("dop-sharedmodels-v3");
-const custom_prover_1 = require("../crypto/custom-prover");
 /**
- * Determines circuitId from formatted inputs
- * DOP circuits are named like "3x2" (3 nullifiers, 2 commitments)
+ * Get the prover instance from DOP Engine
+ *
+ * Note: For React Native, use setWCDProver() from crypto/wcd-prover.ts
+ * which automatically intercepts the prover to use WCD-based proof generation.
+ * This is the recommended approach for mobile.
  */
-function getCircuitIdFromInputs(formattedInputs) {
-    // Count nullifiers (non-zero entries)
-    const nullifierCount = formattedInputs.nullifiers?.filter((n) => n !== undefined && n !== null && BigInt(n) !== BigInt(0)).length || 0;
-    // Count commitments (non-zero entries)
-    const commitmentCount = formattedInputs.commitmentsOut?.filter((c) => c !== undefined && c !== null && BigInt(c) !== BigInt(0)).length || 0;
-    return `${nullifierCount}x${commitmentCount}`;
-}
-let proverIntercepted = false;
 const getProver = () => {
     const engine = (0, engine_1.getEngine)();
     if (!(0, dop_sharedmodels_v3_1.isDefined)(engine)) {
         throw new Error('DOP Engine not yet init. Please reload your app or try again.');
     }
-    const prover = engine.prover;
-    // Intercept groth16.fullProveDop only once
-    if (!proverIntercepted && prover.groth16) {
-        proverIntercepted = true;
-        const originalFullProveDop = prover.groth16.fullProveDop;
-        // Wrap fullProveDop to check for custom prover
-        prover.groth16.fullProveDop = async (formattedInputs, wasm, zkey, logger, dat, progressCallback) => {
-            // Check if custom prover is available
-            if ((0, custom_prover_1.hasCustomRapidsnarkProver)()) {
-                const customProver = (0, custom_prover_1.getCustomRapidsnarkProver)();
-                if (!customProver) {
-                    throw new Error('Custom prover is null');
-                }
-                try {
-                    // Determine circuit ID from inputs
-                    const circuitId = getCircuitIdFromInputs(formattedInputs);
-                    logger.debug(`[Custom Prover] Using custom prover for circuit ${circuitId}`);
-                    // Call custom prover (e.g., backend server)
-                    const proof = await customProver.generateProof(circuitId, new Uint8Array(zkey), formattedInputs, progressCallback);
-                    logger.debug(`[Custom Prover] Proof generated successfully via custom prover`);
-                    // Return in expected format
-                    return {
-                        proof,
-                        publicSignals: proof.publicSignals ?? []
-                    };
-                }
-                catch (error) {
-                    const errorMessage = error instanceof Error ? error.message : String(error);
-                    logger.debug(`[Custom Prover] Error: ${errorMessage}`);
-                    throw error;
-                }
-            }
-            // No custom prover - use original implementation
-            return originalFullProveDop(formattedInputs, wasm, zkey, logger, dat, progressCallback);
-        };
-    }
-    return prover;
+    return engine.prover;
 };
 exports.getProver = getProver;
 //# sourceMappingURL=prover.js.map

package/dist/services/dop/core/prover.js.map

@@ -1 +1 @@
-{"version":3,"file":"prover.js","sourceRoot":"","sources":["../../../../src/services/dop/core/prover.ts"],"names":[],"mappings":";;;AAMA,qCAAqC;AACrC,6DAAgD;AAChD,2DAGiC;AAIjC;;;GAGG;AACH,SAAS,sBAAsB,CAAC,eAA0C;IACxE,sCAAsC;IACtC,MAAM,cAAc,GAAG,eAAe,CAAC,UAAU,EAAE,MAAM,CACvD,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CACrE,CAAC,MAAM,IAAI,CAAC,CAAC;IAEd,uCAAuC;IACvC,MAAM,eAAe,GAAG,eAAe,CAAC,cAAc,EAAE,MAAM,CAC5D,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CACrE,CAAC,MAAM,IAAI,CAAC,CAAC;IAEd,OAAO,GAAG,cAAc,IAAI,eAAe,EAAE,CAAC;AAChD,CAAC;AAED,IAAI,iBAAiB,GAAG,KAAK,CAAC;AAEvB,MAAM,SAAS,GAAG,GAAW,EAAE;IACpC,MAAM,MAAM,GAAG,IAAA,kBAAS,GAAE,CAAC;IAC3B,IAAI,CAAC,IAAA,+BAAS,EAAC,MAAM,CAAC,EAAE;QACtB,MAAM,IAAI,KAAK,CACb,+DAA+D,CAChE,CAAC;KACH;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAE7B,2CAA2C;IAC3C,IAAI,CAAC,iBAAiB,IAAI,MAAM,CAAC,OAAO,EAAE;QACxC,iBAAiB,GAAG,IAAI,CAAC;QAEzB,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;QAEzD,+CAA+C;QAC/C,MAAM,CAAC,OAAO,CAAC,YAAY,GAAG,KAAK,EACjC,eAA0C,EAC1C,IAAS,EACT,IAAuB,EACvB,MAAwC,EACxC,GAAQ,EACR,gBAAwC,EACxC,EAAE;YACF,sCAAsC;YACtC,IAAI,IAAA,yCAAyB,GAAE,EAAE;gBAC/B,MAAM,YAAY,GAAG,IAAA,yCAAyB,GAAE,CAAC;gBAEjD,IAAI,CAAC,YAAY,EAAE;oBACjB,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;iBAC1C;gBAED,IAAI;oBACF,mCAAmC;oBACnC,MAAM,SAAS,GAAG,sBAAsB,CAAC,eAAe,CAAC,CAAC;oBAE1D,MAAM,CAAC,KAAK,CAAC,mDAAmD,SAAS,EAAE,CAAC,CAAC;oBAE7E,4CAA4C;oBAC5C,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,aAAa,CAC5C,SAAS,EACT,IAAI,UAAU,CAAC,IAAI,CAAC,EACpB,eAAe,EACf,gBAAgB,CACjB,CAAC;oBAEF,MAAM,CAAC,KAAK,CAAC,gEAAgE,CAAC,CAAC;oBAE/E,4BAA4B;oBAC5B,OAAO;wBACL,KAAK;wBACL,aAAa,EAAG,KAAa,CAAC,aAAa,IAAI,EAAE;qBAClD,CAAC;iBACH;gBAAC,OAAO,KAAc,EAAE;oBACvB,MAAM,YAAY,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBAC5E,MAAM,CAAC,KAAK,CAAC,0BAA0B,YAAY,EAAE,CAAC,CAAC;oBACvD,MAAM,KAAK,CAAC;iBACb;aACF;YAED,iDAAiD;YACjD,OAAO,oBAAoB,CACzB,eAAe,EACf,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,GAAG,EACH,gBAAgB,CACjB,CAAC;QACJ,CAAC,CAAC;KACH;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AA1EW,QAAA,SAAS,aA0EpB","sourcesContent":["import {\n  FormattedCircuitInputsDop,\n  SnarkJSGroth16,\n  Proof,\n  Prover,\n} from 'dop-engine-v3';\nimport { getEngine } from './engine';\nimport { isDefined } from 'dop-sharedmodels-v3';\nimport { \n  hasCustomRapidsnarkProver, \n  getCustomRapidsnarkProver \n} from '../crypto/custom-prover';\n\ntype ProverProgressCallback = (progress: number) => void;\n\n/**\n * Determines circuitId from formatted inputs\n * DOP circuits are named like \"3x2\" (3 nullifiers, 2 commitments)\n */\nfunction getCircuitIdFromInputs(formattedInputs: FormattedCircuitInputsDop): string {\n  // Count nullifiers (non-zero entries)\n  const nullifierCount = formattedInputs.nullifiers?.filter(\n    (n: any) => n !== undefined && n !== null && BigInt(n) !== BigInt(0)\n  ).length || 0;\n  \n  // Count commitments (non-zero entries)\n  const commitmentCount = formattedInputs.commitmentsOut?.filter(\n    (c: any) => c !== undefined && c !== null && BigInt(c) !== BigInt(0)\n  ).length || 0;\n  \n  return `${nullifierCount}x${commitmentCount}`;\n}\n\nlet proverIntercepted = false;\n\nexport const getProver = (): Prover => {\n  const engine = getEngine();\n  if (!isDefined(engine)) {\n    throw new Error(\n      'DOP Engine not yet init. Please reload your app or try again.',\n    );\n  }\n  \n  const prover = engine.prover;\n  \n  // Intercept groth16.fullProveDop only once\n  if (!proverIntercepted && prover.groth16) {\n    proverIntercepted = true;\n    \n    const originalFullProveDop = prover.groth16.fullProveDop;\n    \n    // Wrap fullProveDop to check for custom prover\n    prover.groth16.fullProveDop = async (\n      formattedInputs: FormattedCircuitInputsDop,\n      wasm: any,\n      zkey: ArrayLike<number>,\n      logger: { debug: (log: string) => void },\n      dat: any,\n      progressCallback: ProverProgressCallback\n    ) => {\n      // Check if custom prover is available\n      if (hasCustomRapidsnarkProver()) {\n        const customProver = getCustomRapidsnarkProver();\n        \n        if (!customProver) {\n          throw new Error('Custom prover is null');\n        }\n        \n        try {\n          // Determine circuit ID from inputs\n          const circuitId = getCircuitIdFromInputs(formattedInputs);\n          \n          logger.debug(`[Custom Prover] Using custom prover for circuit ${circuitId}`);\n          \n          // Call custom prover (e.g., backend server)\n          const proof = await customProver.generateProof(\n            circuitId,\n            new Uint8Array(zkey),\n            formattedInputs,\n            progressCallback\n          );\n          \n          logger.debug(`[Custom Prover] Proof generated successfully via custom prover`);\n          \n          // Return in expected format\n          return {\n            proof,\n            publicSignals: (proof as any).publicSignals ?? []\n          };\n        } catch (error: unknown) {\n          const errorMessage = error instanceof Error ? error.message : String(error);\n          logger.debug(`[Custom Prover] Error: ${errorMessage}`);\n          throw error;\n        }\n      }\n      \n      // No custom prover - use original implementation\n      return originalFullProveDop(\n        formattedInputs,\n        wasm,\n        zkey,\n        logger,\n        dat,\n        progressCallback\n      );\n    };\n  }\n  \n  return prover;\n};\n\nexport { FormattedCircuitInputsDop, Proof, SnarkJSGroth16 };\n"]}
+{"version":3,"file":"prover.js","sourceRoot":"","sources":["../../../../src/services/dop/core/prover.ts"],"names":[],"mappings":";;;AAMA,qCAAqC;AACrC,6DAAgD;AAEhD;;;;;;GAMG;AACI,MAAM,SAAS,GAAG,GAAW,EAAE;IACpC,MAAM,MAAM,GAAG,IAAA,kBAAS,GAAE,CAAC;IAC3B,IAAI,CAAC,IAAA,+BAAS,EAAC,MAAM,CAAC,EAAE;QACtB,MAAM,IAAI,KAAK,CACb,+DAA+D,CAChE,CAAC;KACH;IAED,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC,CAAC;AATW,QAAA,SAAS,aASpB","sourcesContent":["import {\n  FormattedCircuitInputsDop,\n  SnarkJSGroth16,\n  Proof,\n  Prover,\n} from 'dop-engine-v3';\nimport { getEngine } from './engine';\nimport { isDefined } from 'dop-sharedmodels-v3';\n\n/**\n * Get the prover instance from DOP Engine\n * \n * Note: For React Native, use setWCDProver() from crypto/wcd-prover.ts\n * which automatically intercepts the prover to use WCD-based proof generation.\n * This is the recommended approach for mobile.\n */\nexport const getProver = (): Prover => {\n  const engine = getEngine();\n  if (!isDefined(engine)) {\n    throw new Error(\n      'DOP Engine not yet init. Please reload your app or try again.',\n    );\n  }\n  \n  return engine.prover;\n};\n\nexport { FormattedCircuitInputsDop, Proof, SnarkJSGroth16 };\n"]}

package/dist/services/dop/crypto/index.d.ts

@@ -1,3 +1,3 @@
-export * from './custom-prover';
 export { setRapidSnarkGroth16, type RapidSnarkGroth16Config, type RapidsnarkProofResult, type WitnessCalculator, type FileSystemInterface, type Groth16ProveFunction, createCircomWitnessCalculator, createReactNativeFSInterface, } from './rapidsnark-groth16';
 export { setReactNativeProver, getReactNativeProver, type ReactNativeProverConfig, type RNFileSystem, type RNGroth16ProveFunction, type RNGroth16VerifyFunction, type RNRapidsnarkProofResult, type WitnessResult, type StoredCircuitArtifacts, CircuitArtifactManager, uint8ArrayToBase64, base64ToUint8Array, calculateWitnessFromWASM, createRNFSInterface, createExpoFSInterface, type RNArtifactStore, createRNArtifactStore, getRNArtifactPath, hasRNArtifacts, } from './react-native-prover';
+export { setWCDProver, clearWCDProver, hasWCDProver, getWCDProverConfig, type WCDProverConfig, type WCDFileSystem, type WCDCalculateWitnessFunction, type WCDGroth16ProveFunction, type WCDRapidsnarkProofResult, type WCDArtifacts, WCDArtifactManager, createWCDArtifactManager, storeWCDArtifacts, hasWCDArtifacts, getWCDPath, getZkeyPathForWCD, storeWCDOnly, hasWCDFile, wcdUint8ArrayToBase64, wcdBase64ToUint8Array, } from './wcd-prover';

package/dist/services/dop/crypto/index.js

@@ -1,27 +1,12 @@
 "use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.hasRNArtifacts = exports.getRNArtifactPath = exports.createRNArtifactStore = exports.createExpoFSInterface = exports.createRNFSInterface = exports.calculateWitnessFromWASM = exports.base64ToUint8Array = exports.uint8ArrayToBase64 = exports.CircuitArtifactManager = exports.getReactNativeProver = exports.setReactNativeProver = exports.createReactNativeFSInterface = exports.createCircomWitnessCalculator = exports.setRapidSnarkGroth16 = void 0;
-__exportStar(require("./custom-prover"), exports);
+exports.wcdBase64ToUint8Array = exports.wcdUint8ArrayToBase64 = exports.hasWCDFile = exports.storeWCDOnly = exports.getZkeyPathForWCD = exports.getWCDPath = exports.hasWCDArtifacts = exports.storeWCDArtifacts = exports.createWCDArtifactManager = exports.WCDArtifactManager = exports.getWCDProverConfig = exports.hasWCDProver = exports.clearWCDProver = exports.setWCDProver = exports.hasRNArtifacts = exports.getRNArtifactPath = exports.createRNArtifactStore = exports.createExpoFSInterface = exports.createRNFSInterface = exports.calculateWitnessFromWASM = exports.base64ToUint8Array = exports.uint8ArrayToBase64 = exports.CircuitArtifactManager = exports.getReactNativeProver = exports.setReactNativeProver = exports.createReactNativeFSInterface = exports.createCircomWitnessCalculator = exports.setRapidSnarkGroth16 = void 0;
 // Export from rapidsnark-groth16 (legacy API, requires WitnessCalculator to be provided)
 var rapidsnark_groth16_1 = require("./rapidsnark-groth16");
 Object.defineProperty(exports, "setRapidSnarkGroth16", { enumerable: true, get: function () { return rapidsnark_groth16_1.setRapidSnarkGroth16; } });
 Object.defineProperty(exports, "createCircomWitnessCalculator", { enumerable: true, get: function () { return rapidsnark_groth16_1.createCircomWitnessCalculator; } });
 Object.defineProperty(exports, "createReactNativeFSInterface", { enumerable: true, get: function () { return rapidsnark_groth16_1.createReactNativeFSInterface; } });
-// Export from react-native-prover (recommended API, handles everything internally)
+// Export from react-native-prover (WASM-based API, handles everything internally)
 var react_native_prover_1 = require("./react-native-prover");
 // Main prover setup
 Object.defineProperty(exports, "setReactNativeProver", { enumerable: true, get: function () { return react_native_prover_1.setReactNativeProver; } });
@@ -37,4 +22,25 @@ Object.defineProperty(exports, "createExpoFSInterface", { enumerable: true, get:
 Object.defineProperty(exports, "createRNArtifactStore", { enumerable: true, get: function () { return react_native_prover_1.createRNArtifactStore; } });
 Object.defineProperty(exports, "getRNArtifactPath", { enumerable: true, get: function () { return react_native_prover_1.getRNArtifactPath; } });
 Object.defineProperty(exports, "hasRNArtifacts", { enumerable: true, get: function () { return react_native_prover_1.hasRNArtifacts; } });
+// Export from wcd-prover (RECOMMENDED for React Native - uses .wcd graph files)
+// This is the fastest approach for mobile witness calculation
+var wcd_prover_1 = require("./wcd-prover");
+// Main prover setup
+Object.defineProperty(exports, "setWCDProver", { enumerable: true, get: function () { return wcd_prover_1.setWCDProver; } });
+Object.defineProperty(exports, "clearWCDProver", { enumerable: true, get: function () { return wcd_prover_1.clearWCDProver; } });
+Object.defineProperty(exports, "hasWCDProver", { enumerable: true, get: function () { return wcd_prover_1.hasWCDProver; } });
+Object.defineProperty(exports, "getWCDProverConfig", { enumerable: true, get: function () { return wcd_prover_1.getWCDProverConfig; } });
+// Artifact management
+Object.defineProperty(exports, "WCDArtifactManager", { enumerable: true, get: function () { return wcd_prover_1.WCDArtifactManager; } });
+Object.defineProperty(exports, "createWCDArtifactManager", { enumerable: true, get: function () { return wcd_prover_1.createWCDArtifactManager; } });
+Object.defineProperty(exports, "storeWCDArtifacts", { enumerable: true, get: function () { return wcd_prover_1.storeWCDArtifacts; } });
+Object.defineProperty(exports, "hasWCDArtifacts", { enumerable: true, get: function () { return wcd_prover_1.hasWCDArtifacts; } });
+Object.defineProperty(exports, "getWCDPath", { enumerable: true, get: function () { return wcd_prover_1.getWCDPath; } });
+Object.defineProperty(exports, "getZkeyPathForWCD", { enumerable: true, get: function () { return wcd_prover_1.getZkeyPathForWCD; } });
+// WCD-only management (SDK handles zkey automatically)
+Object.defineProperty(exports, "storeWCDOnly", { enumerable: true, get: function () { return wcd_prover_1.storeWCDOnly; } });
+Object.defineProperty(exports, "hasWCDFile", { enumerable: true, get: function () { return wcd_prover_1.hasWCDFile; } });
+// Utility functions
+Object.defineProperty(exports, "wcdUint8ArrayToBase64", { enumerable: true, get: function () { return wcd_prover_1.wcdUint8ArrayToBase64; } });
+Object.defineProperty(exports, "wcdBase64ToUint8Array", { enumerable: true, get: function () { return wcd_prover_1.wcdBase64ToUint8Array; } });
 //# sourceMappingURL=index.js.map

package/dist/services/dop/crypto/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/services/dop/crypto/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,kDAAgC;AAEhC,yFAAyF;AACzF,2DAS8B;AAR5B,0HAAA,oBAAoB,OAAA;AAMpB,mIAAA,6BAA6B,OAAA;AAC7B,kIAAA,4BAA4B,OAAA;AAG9B,mFAAmF;AACnF,6DAwB+B;AAvB7B,oBAAoB;AACpB,2HAAA,oBAAoB,OAAA;AACpB,2HAAA,oBAAoB,OAAA;AAQpB,6HAAA,sBAAsB,OAAA;AACtB,oBAAoB;AACpB,yHAAA,kBAAkB,OAAA;AAClB,yHAAA,kBAAkB,OAAA;AAClB,+HAAA,wBAAwB,OAAA;AACxB,sBAAsB;AACtB,0HAAA,mBAAmB,OAAA;AACnB,4HAAA,qBAAqB,OAAA;AAGrB,4HAAA,qBAAqB,OAAA;AACrB,wHAAA,iBAAiB,OAAA;AACjB,qHAAA,cAAc,OAAA","sourcesContent":["export * from './custom-prover';\n\n// Export from rapidsnark-groth16 (legacy API, requires WitnessCalculator to be provided)\nexport {\n  setRapidSnarkGroth16,\n  type RapidSnarkGroth16Config,\n  type RapidsnarkProofResult,\n  type WitnessCalculator,\n  type FileSystemInterface,\n  type Groth16ProveFunction,\n  createCircomWitnessCalculator,\n  createReactNativeFSInterface,\n} from './rapidsnark-groth16';\n\n// Export from react-native-prover (recommended API, handles everything internally)\nexport {\n  // Main prover setup\n  setReactNativeProver,\n  getReactNativeProver,\n  type ReactNativeProverConfig,\n  type RNFileSystem,\n  type RNGroth16ProveFunction,\n  type RNGroth16VerifyFunction,\n  type RNRapidsnarkProofResult,\n  type WitnessResult,\n  type StoredCircuitArtifacts,\n  CircuitArtifactManager,\n  // Utility functions\n  uint8ArrayToBase64,\n  base64ToUint8Array,\n  calculateWitnessFromWASM,\n  // File system helpers\n  createRNFSInterface,\n  createExpoFSInterface,\n  // Artifact store for SDK integration\n  type RNArtifactStore,\n  createRNArtifactStore,\n  getRNArtifactPath,\n  hasRNArtifacts,\n} from './react-native-prover';\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/services/dop/crypto/index.ts"],"names":[],"mappings":";;;AAAA,yFAAyF;AACzF,2DAS8B;AAR5B,0HAAA,oBAAoB,OAAA;AAMpB,mIAAA,6BAA6B,OAAA;AAC7B,kIAAA,4BAA4B,OAAA;AAG9B,kFAAkF;AAClF,6DAwB+B;AAvB7B,oBAAoB;AACpB,2HAAA,oBAAoB,OAAA;AACpB,2HAAA,oBAAoB,OAAA;AAQpB,6HAAA,sBAAsB,OAAA;AACtB,oBAAoB;AACpB,yHAAA,kBAAkB,OAAA;AAClB,yHAAA,kBAAkB,OAAA;AAClB,+HAAA,wBAAwB,OAAA;AACxB,sBAAsB;AACtB,0HAAA,mBAAmB,OAAA;AACnB,4HAAA,qBAAqB,OAAA;AAGrB,4HAAA,qBAAqB,OAAA;AACrB,wHAAA,iBAAiB,OAAA;AACjB,qHAAA,cAAc,OAAA;AAGhB,gFAAgF;AAChF,8DAA8D;AAC9D,2CAyBsB;AAxBpB,oBAAoB;AACpB,0GAAA,YAAY,OAAA;AACZ,4GAAA,cAAc,OAAA;AACd,0GAAA,YAAY,OAAA;AACZ,gHAAA,kBAAkB,OAAA;AAOlB,sBAAsB;AACtB,gHAAA,kBAAkB,OAAA;AAClB,sHAAA,wBAAwB,OAAA;AACxB,+GAAA,iBAAiB,OAAA;AACjB,6GAAA,eAAe,OAAA;AACf,wGAAA,UAAU,OAAA;AACV,+GAAA,iBAAiB,OAAA;AACjB,uDAAuD;AACvD,0GAAA,YAAY,OAAA;AACZ,wGAAA,UAAU,OAAA;AACV,oBAAoB;AACpB,mHAAA,qBAAqB,OAAA;AACrB,mHAAA,qBAAqB,OAAA","sourcesContent":["// Export from rapidsnark-groth16 (legacy API, requires WitnessCalculator to be provided)\nexport {\n  setRapidSnarkGroth16,\n  type RapidSnarkGroth16Config,\n  type RapidsnarkProofResult,\n  type WitnessCalculator,\n  type FileSystemInterface,\n  type Groth16ProveFunction,\n  createCircomWitnessCalculator,\n  createReactNativeFSInterface,\n} from './rapidsnark-groth16';\n\n// Export from react-native-prover (WASM-based API, handles everything internally)\nexport {\n  // Main prover setup\n  setReactNativeProver,\n  getReactNativeProver,\n  type ReactNativeProverConfig,\n  type RNFileSystem,\n  type RNGroth16ProveFunction,\n  type RNGroth16VerifyFunction,\n  type RNRapidsnarkProofResult,\n  type WitnessResult,\n  type StoredCircuitArtifacts,\n  CircuitArtifactManager,\n  // Utility functions\n  uint8ArrayToBase64,\n  base64ToUint8Array,\n  calculateWitnessFromWASM,\n  // File system helpers\n  createRNFSInterface,\n  createExpoFSInterface,\n  // Artifact store for SDK integration\n  type RNArtifactStore,\n  createRNArtifactStore,\n  getRNArtifactPath,\n  hasRNArtifacts,\n} from './react-native-prover';\n\n// Export from wcd-prover (RECOMMENDED for React Native - uses .wcd graph files)\n// This is the fastest approach for mobile witness calculation\nexport {\n  // Main prover setup\n  setWCDProver,\n  clearWCDProver,\n  hasWCDProver,\n  getWCDProverConfig,\n  type WCDProverConfig,\n  type WCDFileSystem,\n  type WCDCalculateWitnessFunction,\n  type WCDGroth16ProveFunction,\n  type WCDRapidsnarkProofResult,\n  type WCDArtifacts,\n  // Artifact management\n  WCDArtifactManager,\n  createWCDArtifactManager,\n  storeWCDArtifacts,\n  hasWCDArtifacts,\n  getWCDPath,\n  getZkeyPathForWCD,\n  // WCD-only management (SDK handles zkey automatically)\n  storeWCDOnly,\n  hasWCDFile,\n  // Utility functions\n  wcdUint8ArrayToBase64,\n  wcdBase64ToUint8Array,\n} from './wcd-prover';\n"]}

package/dist/services/dop/crypto/wcd-prover.d.ts

@@ -0,0 +1,242 @@
+/**
+ * React Native WCD Prover - Using circom-witnesscalc .wcd files
+ *
+ * This module provides witness calculation using pre-compiled .wcd graph files
+ * from iden3/circom-witnesscalc. This is the recommended approach for React Native
+ * as it provides fast, native witness calculation without WASM overhead.
+ *
+ * Flow:
+ * 1. Load .wcd graph file for the circuit
+ * 2. Use @iden3/react-native-circom-witnesscalc to calculate witness
+ * 3. Use react-native-rapidsnark to generate proof
+ *
+ * Benefits over WASM approach:
+ * - Faster witness calculation (native code)
+ * - No WASM runtime needed
+ * - Smaller memory footprint
+ * - Better mobile performance
+ */
+/**
+ * Result from rapidsnark groth16Prove
+ */
+export interface WCDRapidsnarkProofResult {
+    proof: {
+        a: string[];
+        b: string[][];
+        c: string[];
+    };
+    pub_signals: string[];
+}
+/**
+ * Rapidsnark's groth16Prove function signature
+ */
+export type WCDGroth16ProveFunction = (zkeyPath: string, witnessBase64: string) => Promise<WCDRapidsnarkProofResult>;
+/**
+ * circom-witnesscalc's calculateWitness function signature
+ * From: import { calculateWitness } from '@iden3/react-native-circom-witnesscalc'
+ */
+export type WCDCalculateWitnessFunction = (inputsJson: string, graphBase64: string) => Promise<string>;
+/**
+ * File system interface for React Native
+ */
+export interface WCDFileSystem {
+    writeFile(path: string, data: string, encoding: 'base64' | 'utf8'): Promise<void>;
+    readFile(path: string, encoding: 'base64' | 'utf8'): Promise<string>;
+    exists(path: string): Promise<boolean>;
+    unlink(path: string): Promise<void>;
+    mkdir(path: string): Promise<void>;
+    documentDirectory: string;
+    cacheDirectory: string;
+}
+/**
+ * Configuration for WCD-based React Native Prover
+ */
+export interface WCDProverConfig {
+    /**
+     * circom-witnesscalc's calculateWitness function
+     * Import: import { calculateWitness } from '@iden3/react-native-circom-witnesscalc'
+     */
+    calculateWitness: WCDCalculateWitnessFunction;
+    /**
+     * Rapidsnark's groth16Prove function
+     * Import: import { groth16Prove } from 'react-native-rapidsnark'
+     */
+    groth16Prove: WCDGroth16ProveFunction;
+    /**
+     * File system interface (react-native-fs or expo-file-system)
+     */
+    fs: WCDFileSystem;
+    /**
+     * Base directory where .wcd files are stored
+     * Default: fs.documentDirectory + '/dop-wcd'
+     */
+    wcdDirectory?: string;
+    /**
+     * Base directory where .zkey files are stored
+     * Default: fs.documentDirectory + '/dop-zkeys'
+     */
+    zkeyDirectory?: string;
+    /**
+     * Enable debug logging
+     */
+    debug?: boolean;
+}
+/**
+ * Stored WCD artifacts info
+ */
+export interface WCDArtifacts {
+    wcdPath: string;
+    zkeyPath: string;
+    vkeyPath?: string;
+    circuitId: string;
+}
+/**
+ * Convert Uint8Array to base64 string
+ */
+export declare function wcdUint8ArrayToBase64(data: Uint8Array): string;
+/**
+ * Convert base64 string to Uint8Array
+ */
+export declare function wcdBase64ToUint8Array(base64: string): Uint8Array;
+/**
+ * Manages WCD artifacts on the device
+ */
+export declare class WCDArtifactManager {
+    private fs;
+    private wcdDir;
+    private zkeyDir;
+    private debug;
+    constructor(config: WCDProverConfig);
+    private log;
+    /**
+     * Get WCD directory path
+     */
+    getWCDDirectory(): string;
+    /**
+     * Get zkey directory path
+     */
+    getZkeyDirectory(): string;
+    /**
+     * Ensure directory exists
+     */
+    ensureDir(dir: string): Promise<void>;
+    /**
+     * Get artifact paths for a circuit
+     */
+    getArtifactPaths(circuitId: string): WCDArtifacts;
+    /**
+     * Check if artifacts exist for a circuit
+     */
+    hasArtifacts(circuitId: string): Promise<boolean>;
+    /**
+     * Store WCD artifact from buffer
+     */
+    storeWCD(circuitId: string, wcdBuffer: Uint8Array): Promise<string>;
+    /**
+     * Store zkey artifact from buffer
+     */
+    storeZkey(circuitId: string, zkeyBuffer: Uint8Array): Promise<string>;
+    /**
+     * Get WCD file as base64
+     */
+    getWCDBase64(circuitId: string): Promise<string>;
+    /**
+     * Get zkey file path
+     */
+    getZkeyPath(circuitId: string): string;
+}
+/**
+ * Check if WCD prover is configured
+ */
+export declare function hasWCDProver(): boolean;
+/**
+ * Get WCD prover configuration
+ */
+export declare function getWCDProverConfig(): WCDProverConfig | null;
+/**
+ * Set up WCD-based prover for React Native
+ *
+ * This configures the SDK to use .wcd graph files with circom-witnesscalc
+ * for witness calculation, and rapidsnark for proof generation.
+ *
+ * @example
+ * ```typescript
+ * import { calculateWitness } from '@iden3/react-native-circom-witnesscalc';
+ * import { groth16Prove } from 'react-native-rapidsnark';
+ * import RNFS from 'react-native-fs';
+ *
+ * setWCDProver({
+ *   calculateWitness,
+ *   groth16Prove,
+ *   fs: {
+ *     writeFile: (path, data, encoding) => RNFS.writeFile(path, data, encoding),
+ *     readFile: (path, encoding) => RNFS.readFile(path, encoding),
+ *     exists: (path) => RNFS.exists(path),
+ *     unlink: (path) => RNFS.unlink(path),
+ *     mkdir: (path) => RNFS.mkdir(path),
+ *     documentDirectory: RNFS.DocumentDirectoryPath,
+ *     cacheDirectory: RNFS.CachesDirectoryPath,
+ *   },
+ *   debug: true,
+ * });
+ * ```
+ */
+export declare function setWCDProver(config: WCDProverConfig): void;
+/**
+ * Clear WCD prover configuration
+ */
+export declare function clearWCDProver(): void;
+/**
+ * Create a WCD artifact store for storing/loading .wcd files
+ */
+export declare function createWCDArtifactManager(config: WCDProverConfig): WCDArtifactManager;
+/**
+ * Store WCD artifacts from local buffers (for testing/development)
+ *
+ * @example
+ * ```typescript
+ * // Load WCD file from assets
+ * const wcdBuffer = await loadWCDFromAssets('3x2.wcd');
+ * const zkeyBuffer = await loadZkeyFromAssets('3x2.zkey');
+ *
+ * await storeWCDArtifacts('3x2', wcdBuffer, zkeyBuffer);
+ * ```
+ */
+export declare function storeWCDArtifacts(circuitId: string, wcdBuffer: Uint8Array, zkeyBuffer: Uint8Array): Promise<WCDArtifacts>;
+/**
+ * Check if WCD artifacts are available for a circuit
+ */
+export declare function hasWCDArtifacts(circuitId: string): Promise<boolean>;
+/**
+ * Get the path where WCD file should be stored
+ */
+export declare function getWCDPath(circuitId: string): string;
+/**
+ * Get the path where zkey file should be stored
+ */
+export declare function getZkeyPathForWCD(circuitId: string): string;
+/**
+ * Store only WCD file (SDK handles zkey download automatically)
+ *
+ * Use this when bundling WCD files with your mobile app.
+ * The SDK will download zkey files on-demand via ArtifactDownloader.
+ *
+ * @example
+ * ```typescript
+ * // Load WCD from bundled assets
+ * const wcdBuffer = await loadWCDFromAssets('3x2.wcd');
+ * await storeWCDOnly('3x2', wcdBuffer);
+ *
+ * // Now SDK can generate proofs for 3x2 circuit
+ * // zkey will be downloaded automatically when needed
+ * ```
+ */
+export declare function storeWCDOnly(circuitId: string, wcdBuffer: Uint8Array): Promise<string>;
+/**
+ * Check if WCD file exists for a circuit (zkey is handled by SDK)
+ */
+export declare function hasWCDFile(circuitId: string): Promise<boolean>;
+/**
+ * Get list of all stored WCD circuit IDs
+ */
+export declare function getStoredWCDCircuits(): Promise<string[]>;

package/dist/services/dop/crypto/wcd-prover.js

@@ -0,0 +1,499 @@
+"use strict";
+/**
+ * React Native WCD Prover - Using circom-witnesscalc .wcd files
+ *
+ * This module provides witness calculation using pre-compiled .wcd graph files
+ * from iden3/circom-witnesscalc. This is the recommended approach for React Native
+ * as it provides fast, native witness calculation without WASM overhead.
+ *
+ * Flow:
+ * 1. Load .wcd graph file for the circuit
+ * 2. Use @iden3/react-native-circom-witnesscalc to calculate witness
+ * 3. Use react-native-rapidsnark to generate proof
+ *
+ * Benefits over WASM approach:
+ * - Faster witness calculation (native code)
+ * - No WASM runtime needed
+ * - Smaller memory footprint
+ * - Better mobile performance
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getStoredWCDCircuits = exports.hasWCDFile = exports.storeWCDOnly = exports.getZkeyPathForWCD = exports.getWCDPath = exports.hasWCDArtifacts = exports.storeWCDArtifacts = exports.createWCDArtifactManager = exports.clearWCDProver = exports.setWCDProver = exports.getWCDProverConfig = exports.hasWCDProver = exports.WCDArtifactManager = exports.wcdBase64ToUint8Array = exports.wcdUint8ArrayToBase64 = void 0;
+const engine_1 = require("../core/engine");
+// ============================================================================
+// Global State
+// ============================================================================
+let wcdProverConfig = null;
+let wcdProverIntercepted = false;
+// ============================================================================
+// Utility Functions
+// ============================================================================
+/**
+ * Convert Uint8Array to base64 string
+ */
+function wcdUint8ArrayToBase64(data) {
+    if (typeof Buffer !== 'undefined') {
+        return Buffer.from(data).toString('base64');
+    }
+    let binary = '';
+    const len = data.byteLength;
+    for (let i = 0; i < len; i += 1) {
+        binary += String.fromCharCode(data[i]);
+    }
+    return btoa(binary);
+}
+exports.wcdUint8ArrayToBase64 = wcdUint8ArrayToBase64;
+/**
+ * Convert base64 string to Uint8Array
+ */
+function wcdBase64ToUint8Array(base64) {
+    if (typeof Buffer !== 'undefined') {
+        return new Uint8Array(Buffer.from(base64, 'base64'));
+    }
+    const binary = atob(base64);
+    const bytes = new Uint8Array(binary.length);
+    for (let i = 0; i < binary.length; i += 1) {
+        bytes[i] = binary.charCodeAt(i);
+    }
+    return bytes;
+}
+exports.wcdBase64ToUint8Array = wcdBase64ToUint8Array;
+/**
+ * Get circuit ID from formatted inputs
+ * DOP circuits are named like "3x2" (3 nullifiers, 2 commitments)
+ */
+function getCircuitIdFromInputs(inputs) {
+    const nullifierCount = inputs.nullifiers?.filter((n) => n !== undefined && n !== null && BigInt(n) !== BigInt(0)).length || 0;
+    const commitmentCount = inputs.commitmentsOut?.filter((c) => c !== undefined && c !== null && BigInt(c) !== BigInt(0)).length || 0;
+    return `${nullifierCount}x${commitmentCount}`;
+}
+/**
+ * Log message if debug is enabled
+ */
+function debugLog(message) {
+    if (wcdProverConfig?.debug === true) {
+        // eslint-disable-next-line no-console
+        console.log(`[WCD Prover] ${message}`);
+    }
+}
+// ============================================================================
+// WCD Artifact Manager
+// ============================================================================
+/**
+ * Manages WCD artifacts on the device
+ */
+class WCDArtifactManager {
+    fs;
+    wcdDir;
+    zkeyDir;
+    debug;
+    constructor(config) {
+        this.fs = config.fs;
+        this.wcdDir = config.wcdDirectory ?? `${config.fs.documentDirectory}/dop-wcd`;
+        this.zkeyDir = config.zkeyDirectory ?? `${config.fs.documentDirectory}/dop-zkeys`;
+        this.debug = config.debug ?? false;
+    }
+    log(message) {
+        if (this.debug) {
+            // eslint-disable-next-line no-console
+            console.log(`[WCDArtifactManager] ${message}`);
+        }
+    }
+    /**
+     * Get WCD directory path
+     */
+    getWCDDirectory() {
+        return this.wcdDir;
+    }
+    /**
+     * Get zkey directory path
+     */
+    getZkeyDirectory() {
+        return this.zkeyDir;
+    }
+    /**
+     * Ensure directory exists
+     */
+    async ensureDir(dir) {
+        try {
+            if (!(await this.fs.exists(dir))) {
+                await this.fs.mkdir(dir);
+                this.log(`Created directory: ${dir}`);
+            }
+        }
+        catch {
+            // Directory might already exist
+        }
+    }
+    /**
+     * Get artifact paths for a circuit
+     */
+    getArtifactPaths(circuitId) {
+        return {
+            wcdPath: `${this.wcdDir}/${circuitId}.wcd`,
+            zkeyPath: `${this.zkeyDir}/${circuitId}.zkey`,
+            vkeyPath: `${this.zkeyDir}/${circuitId}.vkey.json`,
+            circuitId,
+        };
+    }
+    /**
+     * Check if artifacts exist for a circuit
+     */
+    async hasArtifacts(circuitId) {
+        const paths = this.getArtifactPaths(circuitId);
+        const [hasWcd, hasZkey] = await Promise.all([
+            this.fs.exists(paths.wcdPath),
+            this.fs.exists(paths.zkeyPath),
+        ]);
+        return hasWcd && hasZkey;
+    }
+    /**
+     * Store WCD artifact from buffer
+     */
+    async storeWCD(circuitId, wcdBuffer) {
+        await this.ensureDir(this.wcdDir);
+        const path = `${this.wcdDir}/${circuitId}.wcd`;
+        const base64 = wcdUint8ArrayToBase64(wcdBuffer);
+        await this.fs.writeFile(path, base64, 'base64');
+        this.log(`Stored WCD: ${path} (${wcdBuffer.length} bytes)`);
+        return path;
+    }
+    /**
+     * Store zkey artifact from buffer
+     */
+    async storeZkey(circuitId, zkeyBuffer) {
+        await this.ensureDir(this.zkeyDir);
+        const path = `${this.zkeyDir}/${circuitId}.zkey`;
+        const base64 = wcdUint8ArrayToBase64(zkeyBuffer);
+        await this.fs.writeFile(path, base64, 'base64');
+        this.log(`Stored zkey: ${path} (${zkeyBuffer.length} bytes)`);
+        return path;
+    }
+    /**
+     * Get WCD file as base64
+     */
+    async getWCDBase64(circuitId) {
+        const path = `${this.wcdDir}/${circuitId}.wcd`;
+        if (!(await this.fs.exists(path))) {
+            throw new Error(`WCD file not found: ${path}`);
+        }
+        return this.fs.readFile(path, 'base64');
+    }
+    /**
+     * Get zkey file path
+     */
+    getZkeyPath(circuitId) {
+        return `${this.zkeyDir}/${circuitId}.zkey`;
+    }
+}
+exports.WCDArtifactManager = WCDArtifactManager;
+// ============================================================================
+// Core Prover Functions
+// ============================================================================
+/**
+ * Generate proof using WCD-based witness calculation
+ */
+async function generateProofWithWCD(circuitId, formattedInputs, zkeyBuffer, progressCallback) {
+    if (wcdProverConfig === null) {
+        throw new Error('WCD Prover not configured. Call setWCDProver first.');
+    }
+    const { calculateWitness, groth16Prove, fs } = wcdProverConfig;
+    const artifactManager = new WCDArtifactManager(wcdProverConfig);
+    debugLog(`Generating proof for circuit: ${circuitId}`);
+    if (progressCallback !== undefined)
+        progressCallback(0.1);
+    // Step 1: Ensure zkey is stored
+    const zkeyPath = artifactManager.getZkeyPath(circuitId);
+    if (!(await fs.exists(zkeyPath))) {
+        debugLog('Storing zkey file...');
+        // Convert ArrayLike to Uint8Array properly
+        const zkeyArray = zkeyBuffer instanceof Uint8Array
+            ? zkeyBuffer
+            : new Uint8Array(Array.from(zkeyBuffer));
+        await artifactManager.storeZkey(circuitId, zkeyArray);
+    }
+    if (progressCallback !== undefined)
+        progressCallback(0.2);
+    // Step 2: Get WCD graph file
+    debugLog('Loading WCD graph file...');
+    let wcdBase64;
+    try {
+        wcdBase64 = await artifactManager.getWCDBase64(circuitId);
+    }
+    catch {
+        throw new Error(`WCD file not found for circuit ${circuitId}. ` +
+            `Please ensure the .wcd file is stored at the expected location.`);
+    }
+    if (progressCallback !== undefined)
+        progressCallback(0.3);
+    // Step 3: Prepare inputs as JSON string
+    const inputsJson = JSON.stringify(formattedInputs, (_, v) => typeof v === 'bigint' ? v.toString() : v);
+    debugLog(`Calculating witness with inputs: ${inputsJson.substring(0, 200)}...`);
+    // Step 4: Calculate witness using circom-witnesscalc
+    debugLog('Calculating witness...');
+    const witnessBase64 = await calculateWitness(inputsJson, wcdBase64);
+    if (progressCallback !== undefined)
+        progressCallback(0.6);
+    debugLog(`Witness calculated: ${witnessBase64.length} bytes (base64)`);
+    // Step 5: Generate proof using rapidsnark
+    debugLog('Generating proof with rapidsnark...');
+    const result = await groth16Prove(zkeyPath, witnessBase64);
+    if (progressCallback !== undefined)
+        progressCallback(0.9);
+    // Step 6: Convert proof format
+    const proof = {
+        pi_a: result.proof.a,
+        pi_b: result.proof.b,
+        pi_c: result.proof.c,
+    };
+    if (progressCallback !== undefined)
+        progressCallback(1.0);
+    debugLog('Proof generated successfully');
+    return {
+        proof,
+        publicSignals: result.pub_signals,
+    };
+}
+// ============================================================================
+// Public API
+// ============================================================================
+/**
+ * Check if WCD prover is configured
+ */
+function hasWCDProver() {
+    return wcdProverConfig !== null;
+}
+exports.hasWCDProver = hasWCDProver;
+/**
+ * Get WCD prover configuration
+ */
+function getWCDProverConfig() {
+    return wcdProverConfig;
+}
+exports.getWCDProverConfig = getWCDProverConfig;
+/**
+ * Set up WCD-based prover for React Native
+ *
+ * This configures the SDK to use .wcd graph files with circom-witnesscalc
+ * for witness calculation, and rapidsnark for proof generation.
+ *
+ * @example
+ * ```typescript
+ * import { calculateWitness } from '@iden3/react-native-circom-witnesscalc';
+ * import { groth16Prove } from 'react-native-rapidsnark';
+ * import RNFS from 'react-native-fs';
+ *
+ * setWCDProver({
+ *   calculateWitness,
+ *   groth16Prove,
+ *   fs: {
+ *     writeFile: (path, data, encoding) => RNFS.writeFile(path, data, encoding),
+ *     readFile: (path, encoding) => RNFS.readFile(path, encoding),
+ *     exists: (path) => RNFS.exists(path),
+ *     unlink: (path) => RNFS.unlink(path),
+ *     mkdir: (path) => RNFS.mkdir(path),
+ *     documentDirectory: RNFS.DocumentDirectoryPath,
+ *     cacheDirectory: RNFS.CachesDirectoryPath,
+ *   },
+ *   debug: true,
+ * });
+ * ```
+ */
+function setWCDProver(config) {
+    wcdProverConfig = config;
+    // eslint-disable-next-line no-console
+    console.log('[WCD Prover] Configuration set');
+    if (config.debug === true) {
+        // eslint-disable-next-line no-console
+        console.log('[WCD Prover] Debug mode enabled');
+        // eslint-disable-next-line no-console
+        console.log(`[WCD Prover] WCD directory: ${config.wcdDirectory ?? `${config.fs.documentDirectory}/dop-wcd`}`);
+        // eslint-disable-next-line no-console
+        console.log(`[WCD Prover] Zkey directory: ${config.zkeyDirectory ?? `${config.fs.documentDirectory}/dop-zkeys`}`);
+    }
+    // Intercept the DOP Engine prover
+    interceptEngineProverForWCD();
+}
+exports.setWCDProver = setWCDProver;
+/**
+ * Clear WCD prover configuration
+ */
+function clearWCDProver() {
+    wcdProverConfig = null;
+    wcdProverIntercepted = false;
+    // eslint-disable-next-line no-console
+    console.log('[WCD Prover] Configuration cleared');
+}
+exports.clearWCDProver = clearWCDProver;
+/**
+ * Intercept DOP Engine's prover to use WCD-based proof generation
+ */
+function interceptEngineProverForWCD() {
+    if (wcdProverIntercepted) {
+        debugLog('Engine prover already intercepted');
+        return;
+    }
+    let engine;
+    try {
+        engine = (0, engine_1.getEngine)();
+    }
+    catch {
+        // Engine not initialized yet, will intercept later
+        // eslint-disable-next-line no-console
+        console.log('[WCD Prover] DOP Engine not initialized yet. Prover will be intercepted on first use.');
+        return;
+    }
+    if (engine === undefined) {
+        // eslint-disable-next-line no-console
+        console.log('[WCD Prover] DOP Engine not initialized. Will intercept when available.');
+        return;
+    }
+    const prover = engine.prover;
+    if (prover?.groth16?.fullProveDop === undefined) {
+        // eslint-disable-next-line no-console
+        console.warn('[WCD Prover] DOP Engine prover not available.');
+        return;
+    }
+    const originalFullProveDop = prover.groth16.fullProveDop;
+    prover.groth16.fullProveDop = async (formattedInputs, wasm, zkey, logger, dat, progressCallback) => {
+        // If WCD prover is configured, use it
+        if (wcdProverConfig !== null) {
+            const circuitId = getCircuitIdFromInputs(formattedInputs);
+            logger.debug(`[WCD Prover] Using WCD-based prover for circuit ${circuitId}`);
+            try {
+                const result = await generateProofWithWCD(circuitId, formattedInputs, zkey, progressCallback);
+                return {
+                    proof: result.proof,
+                    publicSignals: result.publicSignals,
+                };
+            }
+            catch (error) {
+                logger.debug(`[WCD Prover] Error: ${error instanceof Error ? error.message : String(error)}`);
+                throw error;
+            }
+        }
+        // Fallback to original implementation
+        return originalFullProveDop(formattedInputs, wasm, zkey, logger, dat, progressCallback);
+    };
+    wcdProverIntercepted = true;
+    debugLog('Engine prover intercepted for WCD-based proof generation');
+}
+/**
+ * Create a WCD artifact store for storing/loading .wcd files
+ */
+function createWCDArtifactManager(config) {
+    return new WCDArtifactManager(config);
+}
+exports.createWCDArtifactManager = createWCDArtifactManager;
+/**
+ * Store WCD artifacts from local buffers (for testing/development)
+ *
+ * @example
+ * ```typescript
+ * // Load WCD file from assets
+ * const wcdBuffer = await loadWCDFromAssets('3x2.wcd');
+ * const zkeyBuffer = await loadZkeyFromAssets('3x2.zkey');
+ *
+ * await storeWCDArtifacts('3x2', wcdBuffer, zkeyBuffer);
+ * ```
+ */
+async function storeWCDArtifacts(circuitId, wcdBuffer, zkeyBuffer) {
+    if (wcdProverConfig === null) {
+        throw new Error('WCD Prover not configured. Call setWCDProver first.');
+    }
+    const manager = new WCDArtifactManager(wcdProverConfig);
+    const [wcdPath, zkeyPath] = await Promise.all([
+        manager.storeWCD(circuitId, wcdBuffer),
+        manager.storeZkey(circuitId, zkeyBuffer),
+    ]);
+    return {
+        wcdPath,
+        zkeyPath,
+        circuitId,
+    };
+}
+exports.storeWCDArtifacts = storeWCDArtifacts;
+/**
+ * Check if WCD artifacts are available for a circuit
+ */
+async function hasWCDArtifacts(circuitId) {
+    if (wcdProverConfig === null) {
+        return false;
+    }
+    const manager = new WCDArtifactManager(wcdProverConfig);
+    return manager.hasArtifacts(circuitId);
+}
+exports.hasWCDArtifacts = hasWCDArtifacts;
+/**
+ * Get the path where WCD file should be stored
+ */
+function getWCDPath(circuitId) {
+    if (wcdProverConfig === null) {
+        throw new Error('WCD Prover not configured. Call setWCDProver first.');
+    }
+    const wcdDir = wcdProverConfig.wcdDirectory ??
+        `${wcdProverConfig.fs.documentDirectory}/dop-wcd`;
+    return `${wcdDir}/${circuitId}.wcd`;
+}
+exports.getWCDPath = getWCDPath;
+/**
+ * Get the path where zkey file should be stored
+ */
+function getZkeyPathForWCD(circuitId) {
+    if (wcdProverConfig === null) {
+        throw new Error('WCD Prover not configured. Call setWCDProver first.');
+    }
+    const zkeyDir = wcdProverConfig.zkeyDirectory ??
+        `${wcdProverConfig.fs.documentDirectory}/dop-zkeys`;
+    return `${zkeyDir}/${circuitId}.zkey`;
+}
+exports.getZkeyPathForWCD = getZkeyPathForWCD;
+/**
+ * Store only WCD file (SDK handles zkey download automatically)
+ *
+ * Use this when bundling WCD files with your mobile app.
+ * The SDK will download zkey files on-demand via ArtifactDownloader.
+ *
+ * @example
+ * ```typescript
+ * // Load WCD from bundled assets
+ * const wcdBuffer = await loadWCDFromAssets('3x2.wcd');
+ * await storeWCDOnly('3x2', wcdBuffer);
+ *
+ * // Now SDK can generate proofs for 3x2 circuit
+ * // zkey will be downloaded automatically when needed
+ * ```
+ */
+async function storeWCDOnly(circuitId, wcdBuffer) {
+    if (wcdProverConfig === null) {
+        throw new Error('WCD Prover not configured. Call setWCDProver first.');
+    }
+    const manager = new WCDArtifactManager(wcdProverConfig);
+    return manager.storeWCD(circuitId, wcdBuffer);
+}
+exports.storeWCDOnly = storeWCDOnly;
+/**
+ * Check if WCD file exists for a circuit (zkey is handled by SDK)
+ */
+async function hasWCDFile(circuitId) {
+    if (wcdProverConfig === null) {
+        return false;
+    }
+    const manager = new WCDArtifactManager(wcdProverConfig);
+    const wcdPath = `${manager.getWCDDirectory()}/${circuitId}.wcd`;
+    return wcdProverConfig.fs.exists(wcdPath);
+}
+exports.hasWCDFile = hasWCDFile;
+/**
+ * Get list of all stored WCD circuit IDs
+ */
+async function getStoredWCDCircuits() {
+    if (wcdProverConfig === null) {
+        return [];
+    }
+    // This would require listing directory contents
+    // For now, return empty - mobile devs can track this themselves
+    return [];
+}
+exports.getStoredWCDCircuits = getStoredWCDCircuits;
+//# sourceMappingURL=wcd-prover.js.map

package/dist/services/dop/crypto/wcd-prover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wcd-prover.js","sourceRoot":"","sources":["../../../../src/services/dop/crypto/wcd-prover.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;AAGH,2CAA2C;AAmG3C,+EAA+E;AAC/E,eAAe;AACf,+EAA+E;AAE/E,IAAI,eAAe,GAA2B,IAAI,CAAC;AACnD,IAAI,oBAAoB,GAAG,KAAK,CAAC;AAEjC,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E;;GAEG;AACH,SAAgB,qBAAqB,CAAC,IAAgB;IACpD,IAAI,OAAO,MAAM,KAAK,WAAW,EAAE;QACjC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;KAC7C;IACD,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE;QAC/B,MAAM,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;KACxC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC;AAVD,sDAUC;AAED;;GAEG;AACH,SAAgB,qBAAqB,CAAC,MAAc;IAClD,IAAI,OAAO,MAAM,KAAK,WAAW,EAAE;QACjC,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;KACtD;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE;QACzC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;KACjC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAVD,sDAUC;AAED;;;GAGG;AACH,SAAS,sBAAsB,CAAC,MAAiC;IAC/D,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,EAAE,MAAM,CAC9C,CAAC,CAAkB,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CACjF,CAAC,MAAM,IAAI,CAAC,CAAC;IAEd,MAAM,eAAe,GAAG,MAAM,CAAC,cAAc,EAAE,MAAM,CACnD,CAAC,CAAkB,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CACjF,CAAC,MAAM,IAAI,CAAC,CAAC;IAEd,OAAO,GAAG,cAAc,IAAI,eAAe,EAAE,CAAC;AAChD,CAAC;AAED;;GAEG;AACH,SAAS,QAAQ,CAAC,OAAe;IAC/B,IAAI,eAAe,EAAE,KAAK,KAAK,IAAI,EAAE;QACnC,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,gBAAgB,OAAO,EAAE,CAAC,CAAC;KACxC;AACH,CAAC;AAED,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;GAEG;AACH,MAAa,kBAAkB;IACrB,EAAE,CAAgB;IAClB,MAAM,CAAS;IACf,OAAO,CAAS;IAChB,KAAK,CAAU;IAEvB,YAAY,MAAuB;QACjC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC;QACpB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,YAAY,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,UAAU,CAAC;QAC9E,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,aAAa,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,YAAY,CAAC;QAClF,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC;IACrC,CAAC;IAEO,GAAG,CAAC,OAAe;QACzB,IAAI,IAAI,CAAC,KAAK,EAAE;YACd,sCAAsC;YACtC,OAAO,CAAC,GAAG,CAAC,wBAAwB,OAAO,EAAE,CAAC,CAAC;SAChD;IACH,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,gBAAgB;QACd,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,SAAS,CAAC,GAAW;QACzB,IAAI;YACF,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE;gBAChC,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACzB,IAAI,CAAC,GAAG,CAAC,sBAAsB,GAAG,EAAE,CAAC,CAAC;aACvC;SACF;QAAC,MAAM;YACN,gCAAgC;SACjC;IACH,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,SAAiB;QAChC,OAAO;YACL,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,IAAI,SAAS,MAAM;YAC1C,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,IAAI,SAAS,OAAO;YAC7C,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,IAAI,SAAS,YAAY;YAClD,SAAS;SACV,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAAC,SAAiB;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC1C,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;YAC7B,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;SAC/B,CAAC,CAAC;QACH,OAAO,MAAM,IAAI,OAAO,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,QAAQ,CAAC,SAAiB,EAAE,SAAqB;QACrD,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,SAAS,MAAM,CAAC;QAC/C,MAAM,MAAM,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,GAAG,CAAC,eAAe,IAAI,KAAK,SAAS,CAAC,MAAM,SAAS,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,SAAS,CAAC,SAAiB,EAAE,UAAsB;QACvD,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,SAAS,OAAO,CAAC;QACjD,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;QACjD,MAAM,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,KAAK,UAAU,CAAC,MAAM,SAAS,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAAC,SAAiB;QAClC,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,SAAS,MAAM,CAAC;QAC/C,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE;YACjC,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC;SAChD;QACD,OAAO,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,SAAiB;QAC3B,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,SAAS,OAAO,CAAC;IAC7C,CAAC;CACF;AAjHD,gDAiHC;AAED,+EAA+E;AAC/E,wBAAwB;AACxB,+EAA+E;AAE/E;;GAEG;AACH,KAAK,UAAU,oBAAoB,CACjC,SAAiB,EACjB,eAA0C,EAC1C,UAA6B,EAC7B,gBAA6C;IAE7C,IAAI,eAAe,KAAK,IAAI,EAAE;QAC5B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;KACxE;IAED,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,GAAG,eAAe,CAAC;IAC/D,MAAM,eAAe,GAAG,IAAI,kBAAkB,CAAC,eAAe,CAAC,CAAC;IAEhE,QAAQ,CAAC,iCAAiC,SAAS,EAAE,CAAC,CAAC;IAEvD,IAAI,gBAAgB,KAAK,SAAS;QAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAE1D,gCAAgC;IAChC,MAAM,QAAQ,GAAG,eAAe,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE;QAChC,QAAQ,CAAC,sBAAsB,CAAC,CAAC;QACjC,2CAA2C;QAC3C,MAAM,SAAS,GAAG,UAAU,YAAY,UAAU;YAChD,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAC3C,MAAM,eAAe,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;KACvD;IAED,IAAI,gBAAgB,KAAK,SAAS;QAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAE1D,6BAA6B;IAC7B,QAAQ,CAAC,2BAA2B,CAAC,CAAC;IACtC,IAAI,SAAiB,CAAC;IACtB,IAAI;QACF,SAAS,GAAG,MAAM,eAAe,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;KAC3D;IAAC,MAAM;QACN,MAAM,IAAI,KAAK,CACb,kCAAkC,SAAS,IAAI;YAC/C,iEAAiE,CAClE,CAAC;KACH;IAED,IAAI,gBAAgB,KAAK,SAAS;QAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAE1D,wCAAwC;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC1D,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CACzC,CAAC;IAEF,QAAQ,CAAC,oCAAoC,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAEhF,qDAAqD;IACrD,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IACnC,MAAM,aAAa,GAAG,MAAM,gBAAgB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAEpE,IAAI,gBAAgB,KAAK,SAAS;QAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAE1D,QAAQ,CAAC,uBAAuB,aAAa,CAAC,MAAM,iBAAiB,CAAC,CAAC;IAEvE,0CAA0C;IAC1C,QAAQ,CAAC,qCAAqC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAE3D,IAAI,gBAAgB,KAAK,SAAS;QAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAE1D,+BAA+B;IAC/B,MAAM,KAAK,GAAU;QACnB,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAqB;QACxC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAyC;QAC5D,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAqB;KACzC,CAAC;IAEF,IAAI,gBAAgB,KAAK,SAAS;QAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAE1D,QAAQ,CAAC,8BAA8B,CAAC,CAAC;IAEzC,OAAO;QACL,KAAK;QACL,aAAa,EAAE,MAAM,CAAC,WAAW;KAClC,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,aAAa;AACb,+EAA+E;AAE/E;;GAEG;AACH,SAAgB,YAAY;IAC1B,OAAO,eAAe,KAAK,IAAI,CAAC;AAClC,CAAC;AAFD,oCAEC;AAED;;GAEG;AACH,SAAgB,kBAAkB;IAChC,OAAO,eAAe,CAAC;AACzB,CAAC;AAFD,gDAEC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,SAAgB,YAAY,CAAC,MAAuB;IAClD,eAAe,GAAG,MAAM,CAAC;IAEzB,sCAAsC;IACtC,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;IAC9C,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE;QACzB,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;QAC/C,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,+BAA+B,MAAM,CAAC,YAAY,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,UAAU,EAAE,CAAC,CAAC;QAC9G,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,gCAAgC,MAAM,CAAC,aAAa,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,YAAY,EAAE,CAAC,CAAC;KACnH;IAED,kCAAkC;IAClC,2BAA2B,EAAE,CAAC;AAChC,CAAC;AAhBD,oCAgBC;AAED;;GAEG;AACH,SAAgB,cAAc;IAC5B,eAAe,GAAG,IAAI,CAAC;IACvB,oBAAoB,GAAG,KAAK,CAAC;IAC7B,sCAAsC;IACtC,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;AACpD,CAAC;AALD,wCAKC;AAED;;GAEG;AACH,SAAS,2BAA2B;IAClC,IAAI,oBAAoB,EAAE;QACxB,QAAQ,CAAC,mCAAmC,CAAC,CAAC;QAC9C,OAAO;KACR;IAED,IAAI,MAAM,CAAC;IACX,IAAI;QACF,MAAM,GAAG,IAAA,kBAAS,GAAE,CAAC;KACtB;IAAC,MAAM;QACN,mDAAmD;QACnD,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,uFAAuF,CAAC,CAAC;QACrG,OAAO;KACR;IAED,IAAI,MAAM,KAAK,SAAS,EAAE;QACxB,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,yEAAyE,CAAC,CAAC;QACvF,OAAO;KACR;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,MAAM,EAAE,OAAO,EAAE,YAAY,KAAK,SAAS,EAAE;QAC/C,sCAAsC;QACtC,OAAO,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QAC9D,OAAO;KACR;IAED,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;IAEzD,MAAM,CAAC,OAAO,CAAC,YAAY,GAAG,KAAK,EACjC,eAA0C,EAC1C,IAAa,EACb,IAAuB,EACvB,MAAwC,EACxC,GAAY,EACZ,gBAA4C,EAC5C,EAAE;QACF,sCAAsC;QACtC,IAAI,eAAe,KAAK,IAAI,EAAE;YAC5B,MAAM,SAAS,GAAG,sBAAsB,CAAC,eAAe,CAAC,CAAC;YAC1D,MAAM,CAAC,KAAK,CAAC,mDAAmD,SAAS,EAAE,CAAC,CAAC;YAE7E,IAAI;gBACF,MAAM,MAAM,GAAG,MAAM,oBAAoB,CACvC,SAAS,EACT,eAAe,EACf,IAAI,EACJ,gBAAgB,CACjB,CAAC;gBAEF,OAAO;oBACL,KAAK,EAAE,MAAM,CAAC,KAAK;oBACnB,aAAa,EAAE,MAAM,CAAC,aAAa;iBACpC,CAAC;aACH;YAAC,OAAO,KAAK,EAAE;gBACd,MAAM,CAAC,KAAK,CAAC,uBAAuB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC9F,MAAM,KAAK,CAAC;aACb;SACF;QAED,sCAAsC;QACtC,OAAO,oBAAoB,CACzB,eAAe,EACf,IAAqC,EACrC,IAAI,EACJ,MAAM,EACN,GAAoC,EACpC,gBAAgB,CACjB,CAAC;IACJ,CAAC,CAAC;IAEF,oBAAoB,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,0DAA0D,CAAC,CAAC;AACvE,CAAC;AAED;;GAEG;AACH,SAAgB,wBAAwB,CAAC,MAAuB;IAC9D,OAAO,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAFD,4DAEC;AAED;;;;;;;;;;;GAWG;AACI,KAAK,UAAU,iBAAiB,CACrC,SAAiB,EACjB,SAAqB,EACrB,UAAsB;IAEtB,IAAI,eAAe,KAAK,IAAI,EAAE;QAC5B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;KACxE;IAED,MAAM,OAAO,GAAG,IAAI,kBAAkB,CAAC,eAAe,CAAC,CAAC;IAExD,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC5C,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;QACtC,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC;KACzC,CAAC,CAAC;IAEH,OAAO;QACL,OAAO;QACP,QAAQ;QACR,SAAS;KACV,CAAC;AACJ,CAAC;AArBD,8CAqBC;AAED;;GAEG;AACI,KAAK,UAAU,eAAe,CAAC,SAAiB;IACrD,IAAI,eAAe,KAAK,IAAI,EAAE;QAC5B,OAAO,KAAK,CAAC;KACd;IAED,MAAM,OAAO,GAAG,IAAI,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACxD,OAAO,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;AACzC,CAAC;AAPD,0CAOC;AAED;;GAEG;AACH,SAAgB,UAAU,CAAC,SAAiB;IAC1C,IAAI,eAAe,KAAK,IAAI,EAAE;QAC5B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;KACxE;IAED,MAAM,MAAM,GAAG,eAAe,CAAC,YAAY;QACzC,GAAG,eAAe,CAAC,EAAE,CAAC,iBAAiB,UAAU,CAAC;IACpD,OAAO,GAAG,MAAM,IAAI,SAAS,MAAM,CAAC;AACtC,CAAC;AARD,gCAQC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAAC,SAAiB;IACjD,IAAI,eAAe,KAAK,IAAI,EAAE;QAC5B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;KACxE;IAED,MAAM,OAAO,GAAG,eAAe,CAAC,aAAa;QAC3C,GAAG,eAAe,CAAC,EAAE,CAAC,iBAAiB,YAAY,CAAC;IACtD,OAAO,GAAG,OAAO,IAAI,SAAS,OAAO,CAAC;AACxC,CAAC;AARD,8CAQC;AAED;;;;;;;;;;;;;;;GAeG;AACI,KAAK,UAAU,YAAY,CAChC,SAAiB,EACjB,SAAqB;IAErB,IAAI,eAAe,KAAK,IAAI,EAAE;QAC5B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;KACxE;IAED,MAAM,OAAO,GAAG,IAAI,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACxD,OAAO,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;AAChD,CAAC;AAVD,oCAUC;AAED;;GAEG;AACI,KAAK,UAAU,UAAU,CAAC,SAAiB;IAChD,IAAI,eAAe,KAAK,IAAI,EAAE;QAC5B,OAAO,KAAK,CAAC;KACd;IAED,MAAM,OAAO,GAAG,IAAI,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,GAAG,OAAO,CAAC,eAAe,EAAE,IAAI,SAAS,MAAM,CAAC;IAChE,OAAO,eAAe,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC;AARD,gCAQC;AAED;;GAEG;AACI,KAAK,UAAU,oBAAoB;IACxC,IAAI,eAAe,KAAK,IAAI,EAAE;QAC5B,OAAO,EAAE,CAAC;KACX;IAED,gDAAgD;IAChD,gEAAgE;IAChE,OAAO,EAAE,CAAC;AACZ,CAAC;AARD,oDAQC","sourcesContent":["/**\n * React Native WCD Prover - Using circom-witnesscalc .wcd files\n * \n * This module provides witness calculation using pre-compiled .wcd graph files\n * from iden3/circom-witnesscalc. This is the recommended approach for React Native\n * as it provides fast, native witness calculation without WASM overhead.\n * \n * Flow:\n * 1. Load .wcd graph file for the circuit\n * 2. Use @iden3/react-native-circom-witnesscalc to calculate witness\n * 3. Use react-native-rapidsnark to generate proof\n * \n * Benefits over WASM approach:\n * - Faster witness calculation (native code)\n * - No WASM runtime needed\n * - Smaller memory footprint\n * - Better mobile performance\n */\n\nimport { FormattedCircuitInputsDop, Proof } from 'dop-engine-v3';\nimport { getEngine } from '../core/engine';\n// eslint-disable-next-line @typescript-eslint/no-unused-vars\nimport { isReactNative } from '../util/runtime';\n\n// ============================================================================\n// Types and Interfaces\n// ============================================================================\n\n/**\n * Result from rapidsnark groth16Prove\n */\nexport interface WCDRapidsnarkProofResult {\n  proof: {\n    a: string[];\n    b: string[][];\n    c: string[];\n  };\n  pub_signals: string[];\n}\n\n/**\n * Rapidsnark's groth16Prove function signature\n */\nexport type WCDGroth16ProveFunction = (\n  zkeyPath: string,\n  witnessBase64: string\n) => Promise<WCDRapidsnarkProofResult>;\n\n/**\n * circom-witnesscalc's calculateWitness function signature\n * From: import { calculateWitness } from '@iden3/react-native-circom-witnesscalc'\n */\nexport type WCDCalculateWitnessFunction = (\n  inputsJson: string,\n  graphBase64: string\n) => Promise<string>; // Returns witness as base64\n\n/**\n * File system interface for React Native\n */\nexport interface WCDFileSystem {\n  writeFile(path: string, data: string, encoding: 'base64' | 'utf8'): Promise<void>;\n  readFile(path: string, encoding: 'base64' | 'utf8'): Promise<string>;\n  exists(path: string): Promise<boolean>;\n  unlink(path: string): Promise<void>;\n  mkdir(path: string): Promise<void>;\n  documentDirectory: string;\n  cacheDirectory: string;\n}\n\n/**\n * Configuration for WCD-based React Native Prover\n */\nexport interface WCDProverConfig {\n  /**\n   * circom-witnesscalc's calculateWitness function\n   * Import: import { calculateWitness } from '@iden3/react-native-circom-witnesscalc'\n   */\n  calculateWitness: WCDCalculateWitnessFunction;\n  \n  /**\n   * Rapidsnark's groth16Prove function\n   * Import: import { groth16Prove } from 'react-native-rapidsnark'\n   */\n  groth16Prove: WCDGroth16ProveFunction;\n  \n  /**\n   * File system interface (react-native-fs or expo-file-system)\n   */\n  fs: WCDFileSystem;\n  \n  /**\n   * Base directory where .wcd files are stored\n   * Default: fs.documentDirectory + '/dop-wcd'\n   */\n  wcdDirectory?: string;\n  \n  /**\n   * Base directory where .zkey files are stored\n   * Default: fs.documentDirectory + '/dop-zkeys'\n   */\n  zkeyDirectory?: string;\n  \n  /**\n   * Enable debug logging\n   */\n  debug?: boolean;\n}\n\n/**\n * Stored WCD artifacts info\n */\nexport interface WCDArtifacts {\n  wcdPath: string;\n  zkeyPath: string;\n  vkeyPath?: string;\n  circuitId: string;\n}\n\n// ============================================================================\n// Global State\n// ============================================================================\n\nlet wcdProverConfig: WCDProverConfig | null = null;\nlet wcdProverIntercepted = false;\n\n// ============================================================================\n// Utility Functions\n// ============================================================================\n\n/**\n * Convert Uint8Array to base64 string\n */\nexport function wcdUint8ArrayToBase64(data: Uint8Array): string {\n  if (typeof Buffer !== 'undefined') {\n    return Buffer.from(data).toString('base64');\n  }\n  let binary = '';\n  const len = data.byteLength;\n  for (let i = 0; i < len; i += 1) {\n    binary += String.fromCharCode(data[i]);\n  }\n  return btoa(binary);\n}\n\n/**\n * Convert base64 string to Uint8Array\n */\nexport function wcdBase64ToUint8Array(base64: string): Uint8Array {\n  if (typeof Buffer !== 'undefined') {\n    return new Uint8Array(Buffer.from(base64, 'base64'));\n  }\n  const binary = atob(base64);\n  const bytes = new Uint8Array(binary.length);\n  for (let i = 0; i < binary.length; i += 1) {\n    bytes[i] = binary.charCodeAt(i);\n  }\n  return bytes;\n}\n\n/**\n * Get circuit ID from formatted inputs\n * DOP circuits are named like \"3x2\" (3 nullifiers, 2 commitments)\n */\nfunction getCircuitIdFromInputs(inputs: FormattedCircuitInputsDop): string {\n  const nullifierCount = inputs.nullifiers?.filter(\n    (n: bigint | string) => n !== undefined && n !== null && BigInt(n) !== BigInt(0)\n  ).length || 0;\n  \n  const commitmentCount = inputs.commitmentsOut?.filter(\n    (c: bigint | string) => c !== undefined && c !== null && BigInt(c) !== BigInt(0)\n  ).length || 0;\n  \n  return `${nullifierCount}x${commitmentCount}`;\n}\n\n/**\n * Log message if debug is enabled\n */\nfunction debugLog(message: string): void {\n  if (wcdProverConfig?.debug === true) {\n    // eslint-disable-next-line no-console\n    console.log(`[WCD Prover] ${message}`);\n  }\n}\n\n// ============================================================================\n// WCD Artifact Manager\n// ============================================================================\n\n/**\n * Manages WCD artifacts on the device\n */\nexport class WCDArtifactManager {\n  private fs: WCDFileSystem;\n  private wcdDir: string;\n  private zkeyDir: string;\n  private debug: boolean;\n  \n  constructor(config: WCDProverConfig) {\n    this.fs = config.fs;\n    this.wcdDir = config.wcdDirectory ?? `${config.fs.documentDirectory}/dop-wcd`;\n    this.zkeyDir = config.zkeyDirectory ?? `${config.fs.documentDirectory}/dop-zkeys`;\n    this.debug = config.debug ?? false;\n  }\n  \n  private log(message: string): void {\n    if (this.debug) {\n      // eslint-disable-next-line no-console\n      console.log(`[WCDArtifactManager] ${message}`);\n    }\n  }\n  \n  /**\n   * Get WCD directory path\n   */\n  getWCDDirectory(): string {\n    return this.wcdDir;\n  }\n  \n  /**\n   * Get zkey directory path\n   */\n  getZkeyDirectory(): string {\n    return this.zkeyDir;\n  }\n  \n  /**\n   * Ensure directory exists\n   */\n  async ensureDir(dir: string): Promise<void> {\n    try {\n      if (!(await this.fs.exists(dir))) {\n        await this.fs.mkdir(dir);\n        this.log(`Created directory: ${dir}`);\n      }\n    } catch {\n      // Directory might already exist\n    }\n  }\n  \n  /**\n   * Get artifact paths for a circuit\n   */\n  getArtifactPaths(circuitId: string): WCDArtifacts {\n    return {\n      wcdPath: `${this.wcdDir}/${circuitId}.wcd`,\n      zkeyPath: `${this.zkeyDir}/${circuitId}.zkey`,\n      vkeyPath: `${this.zkeyDir}/${circuitId}.vkey.json`,\n      circuitId,\n    };\n  }\n  \n  /**\n   * Check if artifacts exist for a circuit\n   */\n  async hasArtifacts(circuitId: string): Promise<boolean> {\n    const paths = this.getArtifactPaths(circuitId);\n    const [hasWcd, hasZkey] = await Promise.all([\n      this.fs.exists(paths.wcdPath),\n      this.fs.exists(paths.zkeyPath),\n    ]);\n    return hasWcd && hasZkey;\n  }\n  \n  /**\n   * Store WCD artifact from buffer\n   */\n  async storeWCD(circuitId: string, wcdBuffer: Uint8Array): Promise<string> {\n    await this.ensureDir(this.wcdDir);\n    const path = `${this.wcdDir}/${circuitId}.wcd`;\n    const base64 = wcdUint8ArrayToBase64(wcdBuffer);\n    await this.fs.writeFile(path, base64, 'base64');\n    this.log(`Stored WCD: ${path} (${wcdBuffer.length} bytes)`);\n    return path;\n  }\n  \n  /**\n   * Store zkey artifact from buffer\n   */\n  async storeZkey(circuitId: string, zkeyBuffer: Uint8Array): Promise<string> {\n    await this.ensureDir(this.zkeyDir);\n    const path = `${this.zkeyDir}/${circuitId}.zkey`;\n    const base64 = wcdUint8ArrayToBase64(zkeyBuffer);\n    await this.fs.writeFile(path, base64, 'base64');\n    this.log(`Stored zkey: ${path} (${zkeyBuffer.length} bytes)`);\n    return path;\n  }\n  \n  /**\n   * Get WCD file as base64\n   */\n  async getWCDBase64(circuitId: string): Promise<string> {\n    const path = `${this.wcdDir}/${circuitId}.wcd`;\n    if (!(await this.fs.exists(path))) {\n      throw new Error(`WCD file not found: ${path}`);\n    }\n    return this.fs.readFile(path, 'base64');\n  }\n  \n  /**\n   * Get zkey file path\n   */\n  getZkeyPath(circuitId: string): string {\n    return `${this.zkeyDir}/${circuitId}.zkey`;\n  }\n}\n\n// ============================================================================\n// Core Prover Functions\n// ============================================================================\n\n/**\n * Generate proof using WCD-based witness calculation\n */\nasync function generateProofWithWCD(\n  circuitId: string,\n  formattedInputs: FormattedCircuitInputsDop,\n  zkeyBuffer: ArrayLike<number>,\n  progressCallback?: (progress: number) => void,\n): Promise<{ proof: Proof; publicSignals: string[] }> {\n  if (wcdProverConfig === null) {\n    throw new Error('WCD Prover not configured. Call setWCDProver first.');\n  }\n  \n  const { calculateWitness, groth16Prove, fs } = wcdProverConfig;\n  const artifactManager = new WCDArtifactManager(wcdProverConfig);\n  \n  debugLog(`Generating proof for circuit: ${circuitId}`);\n  \n  if (progressCallback !== undefined) progressCallback(0.1);\n  \n  // Step 1: Ensure zkey is stored\n  const zkeyPath = artifactManager.getZkeyPath(circuitId);\n  if (!(await fs.exists(zkeyPath))) {\n    debugLog('Storing zkey file...');\n    // Convert ArrayLike to Uint8Array properly\n    const zkeyArray = zkeyBuffer instanceof Uint8Array \n      ? zkeyBuffer \n      : new Uint8Array(Array.from(zkeyBuffer));\n    await artifactManager.storeZkey(circuitId, zkeyArray);\n  }\n  \n  if (progressCallback !== undefined) progressCallback(0.2);\n  \n  // Step 2: Get WCD graph file\n  debugLog('Loading WCD graph file...');\n  let wcdBase64: string;\n  try {\n    wcdBase64 = await artifactManager.getWCDBase64(circuitId);\n  } catch {\n    throw new Error(\n      `WCD file not found for circuit ${circuitId}. ` +\n      `Please ensure the .wcd file is stored at the expected location.`\n    );\n  }\n  \n  if (progressCallback !== undefined) progressCallback(0.3);\n  \n  // Step 3: Prepare inputs as JSON string\n  const inputsJson = JSON.stringify(formattedInputs, (_, v) =>\n    typeof v === 'bigint' ? v.toString() : v\n  );\n  \n  debugLog(`Calculating witness with inputs: ${inputsJson.substring(0, 200)}...`);\n  \n  // Step 4: Calculate witness using circom-witnesscalc\n  debugLog('Calculating witness...');\n  const witnessBase64 = await calculateWitness(inputsJson, wcdBase64);\n  \n  if (progressCallback !== undefined) progressCallback(0.6);\n  \n  debugLog(`Witness calculated: ${witnessBase64.length} bytes (base64)`);\n  \n  // Step 5: Generate proof using rapidsnark\n  debugLog('Generating proof with rapidsnark...');\n  const result = await groth16Prove(zkeyPath, witnessBase64);\n  \n  if (progressCallback !== undefined) progressCallback(0.9);\n  \n  // Step 6: Convert proof format\n  const proof: Proof = {\n    pi_a: result.proof.a as [string, string],\n    pi_b: result.proof.b as [[string, string], [string, string]],\n    pi_c: result.proof.c as [string, string],\n  };\n  \n  if (progressCallback !== undefined) progressCallback(1.0);\n  \n  debugLog('Proof generated successfully');\n  \n  return {\n    proof,\n    publicSignals: result.pub_signals,\n  };\n}\n\n// ============================================================================\n// Public API\n// ============================================================================\n\n/**\n * Check if WCD prover is configured\n */\nexport function hasWCDProver(): boolean {\n  return wcdProverConfig !== null;\n}\n\n/**\n * Get WCD prover configuration\n */\nexport function getWCDProverConfig(): WCDProverConfig | null {\n  return wcdProverConfig;\n}\n\n/**\n * Set up WCD-based prover for React Native\n * \n * This configures the SDK to use .wcd graph files with circom-witnesscalc\n * for witness calculation, and rapidsnark for proof generation.\n * \n * @example\n * ```typescript\n * import { calculateWitness } from '@iden3/react-native-circom-witnesscalc';\n * import { groth16Prove } from 'react-native-rapidsnark';\n * import RNFS from 'react-native-fs';\n * \n * setWCDProver({\n *   calculateWitness,\n *   groth16Prove,\n *   fs: {\n *     writeFile: (path, data, encoding) => RNFS.writeFile(path, data, encoding),\n *     readFile: (path, encoding) => RNFS.readFile(path, encoding),\n *     exists: (path) => RNFS.exists(path),\n *     unlink: (path) => RNFS.unlink(path),\n *     mkdir: (path) => RNFS.mkdir(path),\n *     documentDirectory: RNFS.DocumentDirectoryPath,\n *     cacheDirectory: RNFS.CachesDirectoryPath,\n *   },\n *   debug: true,\n * });\n * ```\n */\nexport function setWCDProver(config: WCDProverConfig): void {\n  wcdProverConfig = config;\n  \n  // eslint-disable-next-line no-console\n  console.log('[WCD Prover] Configuration set');\n  if (config.debug === true) {\n    // eslint-disable-next-line no-console\n    console.log('[WCD Prover] Debug mode enabled');\n    // eslint-disable-next-line no-console\n    console.log(`[WCD Prover] WCD directory: ${config.wcdDirectory ?? `${config.fs.documentDirectory}/dop-wcd`}`);\n    // eslint-disable-next-line no-console\n    console.log(`[WCD Prover] Zkey directory: ${config.zkeyDirectory ?? `${config.fs.documentDirectory}/dop-zkeys`}`);\n  }\n  \n  // Intercept the DOP Engine prover\n  interceptEngineProverForWCD();\n}\n\n/**\n * Clear WCD prover configuration\n */\nexport function clearWCDProver(): void {\n  wcdProverConfig = null;\n  wcdProverIntercepted = false;\n  // eslint-disable-next-line no-console\n  console.log('[WCD Prover] Configuration cleared');\n}\n\n/**\n * Intercept DOP Engine's prover to use WCD-based proof generation\n */\nfunction interceptEngineProverForWCD(): void {\n  if (wcdProverIntercepted) {\n    debugLog('Engine prover already intercepted');\n    return;\n  }\n  \n  let engine;\n  try {\n    engine = getEngine();\n  } catch {\n    // Engine not initialized yet, will intercept later\n    // eslint-disable-next-line no-console\n    console.log('[WCD Prover] DOP Engine not initialized yet. Prover will be intercepted on first use.');\n    return;\n  }\n  \n  if (engine === undefined) {\n    // eslint-disable-next-line no-console\n    console.log('[WCD Prover] DOP Engine not initialized. Will intercept when available.');\n    return;\n  }\n  \n  const prover = engine.prover;\n  if (prover?.groth16?.fullProveDop === undefined) {\n    // eslint-disable-next-line no-console\n    console.warn('[WCD Prover] DOP Engine prover not available.');\n    return;\n  }\n  \n  const originalFullProveDop = prover.groth16.fullProveDop;\n  \n  prover.groth16.fullProveDop = async (\n    formattedInputs: FormattedCircuitInputsDop,\n    wasm: unknown,\n    zkey: ArrayLike<number>,\n    logger: { debug: (log: string) => void },\n    dat: unknown,\n    progressCallback: (progress: number) => void\n  ) => {\n    // If WCD prover is configured, use it\n    if (wcdProverConfig !== null) {\n      const circuitId = getCircuitIdFromInputs(formattedInputs);\n      logger.debug(`[WCD Prover] Using WCD-based prover for circuit ${circuitId}`);\n      \n      try {\n        const result = await generateProofWithWCD(\n          circuitId,\n          formattedInputs,\n          zkey,\n          progressCallback\n        );\n        \n        return {\n          proof: result.proof,\n          publicSignals: result.publicSignals,\n        };\n      } catch (error) {\n        logger.debug(`[WCD Prover] Error: ${error instanceof Error ? error.message : String(error)}`);\n        throw error;\n      }\n    }\n    \n    // Fallback to original implementation\n    return originalFullProveDop(\n      formattedInputs,\n      wasm as ArrayLike<number> | undefined,\n      zkey,\n      logger,\n      dat as ArrayLike<number> | undefined,\n      progressCallback\n    );\n  };\n  \n  wcdProverIntercepted = true;\n  debugLog('Engine prover intercepted for WCD-based proof generation');\n}\n\n/**\n * Create a WCD artifact store for storing/loading .wcd files\n */\nexport function createWCDArtifactManager(config: WCDProverConfig): WCDArtifactManager {\n  return new WCDArtifactManager(config);\n}\n\n/**\n * Store WCD artifacts from local buffers (for testing/development)\n * \n * @example\n * ```typescript\n * // Load WCD file from assets\n * const wcdBuffer = await loadWCDFromAssets('3x2.wcd');\n * const zkeyBuffer = await loadZkeyFromAssets('3x2.zkey');\n * \n * await storeWCDArtifacts('3x2', wcdBuffer, zkeyBuffer);\n * ```\n */\nexport async function storeWCDArtifacts(\n  circuitId: string,\n  wcdBuffer: Uint8Array,\n  zkeyBuffer: Uint8Array,\n): Promise<WCDArtifacts> {\n  if (wcdProverConfig === null) {\n    throw new Error('WCD Prover not configured. Call setWCDProver first.');\n  }\n  \n  const manager = new WCDArtifactManager(wcdProverConfig);\n  \n  const [wcdPath, zkeyPath] = await Promise.all([\n    manager.storeWCD(circuitId, wcdBuffer),\n    manager.storeZkey(circuitId, zkeyBuffer),\n  ]);\n  \n  return {\n    wcdPath,\n    zkeyPath,\n    circuitId,\n  };\n}\n\n/**\n * Check if WCD artifacts are available for a circuit\n */\nexport async function hasWCDArtifacts(circuitId: string): Promise<boolean> {\n  if (wcdProverConfig === null) {\n    return false;\n  }\n  \n  const manager = new WCDArtifactManager(wcdProverConfig);\n  return manager.hasArtifacts(circuitId);\n}\n\n/**\n * Get the path where WCD file should be stored\n */\nexport function getWCDPath(circuitId: string): string {\n  if (wcdProverConfig === null) {\n    throw new Error('WCD Prover not configured. Call setWCDProver first.');\n  }\n  \n  const wcdDir = wcdProverConfig.wcdDirectory ?? \n    `${wcdProverConfig.fs.documentDirectory}/dop-wcd`;\n  return `${wcdDir}/${circuitId}.wcd`;\n}\n\n/**\n * Get the path where zkey file should be stored\n */\nexport function getZkeyPathForWCD(circuitId: string): string {\n  if (wcdProverConfig === null) {\n    throw new Error('WCD Prover not configured. Call setWCDProver first.');\n  }\n  \n  const zkeyDir = wcdProverConfig.zkeyDirectory ?? \n    `${wcdProverConfig.fs.documentDirectory}/dop-zkeys`;\n  return `${zkeyDir}/${circuitId}.zkey`;\n}\n\n/**\n * Store only WCD file (SDK handles zkey download automatically)\n * \n * Use this when bundling WCD files with your mobile app.\n * The SDK will download zkey files on-demand via ArtifactDownloader.\n * \n * @example\n * ```typescript\n * // Load WCD from bundled assets\n * const wcdBuffer = await loadWCDFromAssets('3x2.wcd');\n * await storeWCDOnly('3x2', wcdBuffer);\n * \n * // Now SDK can generate proofs for 3x2 circuit\n * // zkey will be downloaded automatically when needed\n * ```\n */\nexport async function storeWCDOnly(\n  circuitId: string,\n  wcdBuffer: Uint8Array,\n): Promise<string> {\n  if (wcdProverConfig === null) {\n    throw new Error('WCD Prover not configured. Call setWCDProver first.');\n  }\n  \n  const manager = new WCDArtifactManager(wcdProverConfig);\n  return manager.storeWCD(circuitId, wcdBuffer);\n}\n\n/**\n * Check if WCD file exists for a circuit (zkey is handled by SDK)\n */\nexport async function hasWCDFile(circuitId: string): Promise<boolean> {\n  if (wcdProverConfig === null) {\n    return false;\n  }\n  \n  const manager = new WCDArtifactManager(wcdProverConfig);\n  const wcdPath = `${manager.getWCDDirectory()}/${circuitId}.wcd`;\n  return wcdProverConfig.fs.exists(wcdPath);\n}\n\n/**\n * Get list of all stored WCD circuit IDs\n */\nexport async function getStoredWCDCircuits(): Promise<string[]> {\n  if (wcdProverConfig === null) {\n    return [];\n  }\n  \n  // This would require listing directory contents\n  // For now, return empty - mobile devs can track this themselves\n  return [];\n}\n"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dop-wallet-v6",
-  "version": "1.3.40",
+  "version": "1.3.41",
   "description": "DOP Wallet SDK, compatible with mobile, browser and nodejs environments.",
   "main": "dist/index.js",
   "license": "MIT",

package/dist/services/dop/crypto/custom-prover.d.ts

@@ -1,78 +0,0 @@
-/**
- * Custom Prover Hook
- *
- * Allows applications (especially React Native) to provide their own proof generation
- * implementation, such as a backend server prover instead of local proving.
- */
-import { FormattedCircuitInputsDop, Proof } from 'dop-engine-v3';
-/**
- * Custom prover interface that applications can implement
- *
- * Example: Backend server prover for React Native that offloads
- * heavy ZK proof computation to a remote server
- */
-export interface UserRapidsnarkProver {
-    /**
-     * Generate a ZK proof for the given circuit and inputs
-     *
-     * @param circuitId - Circuit identifier (e.g., "3x2" for 3 nullifiers, 2 commitments)
-     * @param zkeyBuffer - Circuit zkey file content (may not be needed for backend provers)
-     * @param jsonInputs - Formatted circuit inputs (auto-generated by DOP Engine)
-     * @param progressCallback - Optional callback for progress updates (0-100)
-     * @returns Promise resolving to proof object with pi_a, pi_b, pi_c, and publicSignals
-     */
-    generateProof(circuitId: string, zkeyBuffer: Uint8Array, jsonInputs: FormattedCircuitInputsDop, progressCallback?: (progress: number) => void): Promise<Proof>;
-}
-/**
- * Set a custom proof generator
- *
- * This allows applications to provide their own proof generation implementation.
- * Common use case: React Native apps using a backend server for proof generation
- * instead of local proving.
- *
- * @example
- * ```typescript
- * // Backend prover for React Native
- * const backendProver: UserRapidsnarkProver = {
- *   async generateProof(circuitId, zkeyBuffer, jsonInputs, progressCallback) {
- *     const response = await fetch('https://your-server.com/api/generate-proof', {
- *       method: 'POST',
- *       headers: {
- *         'Authorization': 'Bearer YOUR_TOKEN',
- *         'Content-Type': 'application/json',
- *       },
- *       body: JSON.stringify({
- *         circuitId,
- *         inputs: jsonInputs,
- *       }),
- *     });
- *
- *     const result = await response.json();
- *     return {
- *       pi_a: result.proof.pi_a,
- *       pi_b: result.proof.pi_b,
- *       pi_c: result.proof.pi_c,
- *       publicSignals: result.publicSignals,
- *     };
- *   },
- * };
- *
- * // Set it after DOP Engine initialization
- * setCustomRapidsnarkProver(backendProver);
- * ```
- *
- * @param prover - Custom prover implementation or null to clear
- */
-export declare const setCustomRapidsnarkProver: (prover: UserRapidsnarkProver | null) => void;
-/**
- * Get the currently registered custom prover
- *
- * @returns Custom prover if set, null otherwise
- */
-export declare const getCustomRapidsnarkProver: () => UserRapidsnarkProver | null;
-/**
- * Check if a custom prover is currently registered
- *
- * @returns True if custom prover is set, false otherwise
- */
-export declare const hasCustomRapidsnarkProver: () => boolean;

package/dist/services/dop/crypto/custom-prover.js

@@ -1,78 +0,0 @@
-"use strict";
-/**
- * Custom Prover Hook
- *
- * Allows applications (especially React Native) to provide their own proof generation
- * implementation, such as a backend server prover instead of local proving.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.hasCustomRapidsnarkProver = exports.getCustomRapidsnarkProver = exports.setCustomRapidsnarkProver = void 0;
-/**
- * Global custom prover storage
- * Set this via setCustomRapidsnarkProver()
- */
-let customProver = null;
-/**
- * Set a custom proof generator
- *
- * This allows applications to provide their own proof generation implementation.
- * Common use case: React Native apps using a backend server for proof generation
- * instead of local proving.
- *
- * @example
- * ```typescript
- * // Backend prover for React Native
- * const backendProver: UserRapidsnarkProver = {
- *   async generateProof(circuitId, zkeyBuffer, jsonInputs, progressCallback) {
- *     const response = await fetch('https://your-server.com/api/generate-proof', {
- *       method: 'POST',
- *       headers: {
- *         'Authorization': 'Bearer YOUR_TOKEN',
- *         'Content-Type': 'application/json',
- *       },
- *       body: JSON.stringify({
- *         circuitId,
- *         inputs: jsonInputs,
- *       }),
- *     });
- *
- *     const result = await response.json();
- *     return {
- *       pi_a: result.proof.pi_a,
- *       pi_b: result.proof.pi_b,
- *       pi_c: result.proof.pi_c,
- *       publicSignals: result.publicSignals,
- *     };
- *   },
- * };
- *
- * // Set it after DOP Engine initialization
- * setCustomRapidsnarkProver(backendProver);
- * ```
- *
- * @param prover - Custom prover implementation or null to clear
- */
-const setCustomRapidsnarkProver = (prover) => {
-    customProver = prover;
-    console.log(prover ? '✅ Custom prover registered' : '🔄 Custom prover cleared');
-};
-exports.setCustomRapidsnarkProver = setCustomRapidsnarkProver;
-/**
- * Get the currently registered custom prover
- *
- * @returns Custom prover if set, null otherwise
- */
-const getCustomRapidsnarkProver = () => {
-    return customProver;
-};
-exports.getCustomRapidsnarkProver = getCustomRapidsnarkProver;
-/**
- * Check if a custom prover is currently registered
- *
- * @returns True if custom prover is set, false otherwise
- */
-const hasCustomRapidsnarkProver = () => {
-    return customProver !== null;
-};
-exports.hasCustomRapidsnarkProver = hasCustomRapidsnarkProver;
-//# sourceMappingURL=custom-prover.js.map

package/dist/services/dop/crypto/custom-prover.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"custom-prover.js","sourceRoot":"","sources":["../../../../src/services/dop/crypto/custom-prover.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AA4BH;;;GAGG;AACH,IAAI,YAAY,GAAgC,IAAI,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACI,MAAM,yBAAyB,GAAG,CAAC,MAAmC,EAAQ,EAAE;IACrF,YAAY,GAAG,MAAM,CAAC;IACtB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;AAClF,CAAC,CAAC;AAHW,QAAA,yBAAyB,6BAGpC;AAEF;;;;GAIG;AACI,MAAM,yBAAyB,GAAG,GAAgC,EAAE;IACzE,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAFW,QAAA,yBAAyB,6BAEpC;AAEF;;;;GAIG;AACI,MAAM,yBAAyB,GAAG,GAAY,EAAE;IACrD,OAAO,YAAY,KAAK,IAAI,CAAC;AAC/B,CAAC,CAAC;AAFW,QAAA,yBAAyB,6BAEpC","sourcesContent":["/**\n * Custom Prover Hook\n * \n * Allows applications (especially React Native) to provide their own proof generation\n * implementation, such as a backend server prover instead of local proving.\n */\n\nimport { FormattedCircuitInputsDop, Proof } from 'dop-engine-v3';\n\n/**\n * Custom prover interface that applications can implement\n * \n * Example: Backend server prover for React Native that offloads\n * heavy ZK proof computation to a remote server\n */\nexport interface UserRapidsnarkProver {\n  /**\n   * Generate a ZK proof for the given circuit and inputs\n   * \n   * @param circuitId - Circuit identifier (e.g., \"3x2\" for 3 nullifiers, 2 commitments)\n   * @param zkeyBuffer - Circuit zkey file content (may not be needed for backend provers)\n   * @param jsonInputs - Formatted circuit inputs (auto-generated by DOP Engine)\n   * @param progressCallback - Optional callback for progress updates (0-100)\n   * @returns Promise resolving to proof object with pi_a, pi_b, pi_c, and publicSignals\n   */\n  generateProof(\n    circuitId: string,\n    zkeyBuffer: Uint8Array,\n    jsonInputs: FormattedCircuitInputsDop,\n    progressCallback?: (progress: number) => void\n  ): Promise<Proof>;\n}\n\n/**\n * Global custom prover storage\n * Set this via setCustomRapidsnarkProver()\n */\nlet customProver: UserRapidsnarkProver | null = null;\n\n/**\n * Set a custom proof generator\n * \n * This allows applications to provide their own proof generation implementation.\n * Common use case: React Native apps using a backend server for proof generation\n * instead of local proving.\n * \n * @example\n * ```typescript\n * // Backend prover for React Native\n * const backendProver: UserRapidsnarkProver = {\n *   async generateProof(circuitId, zkeyBuffer, jsonInputs, progressCallback) {\n *     const response = await fetch('https://your-server.com/api/generate-proof', {\n *       method: 'POST',\n *       headers: {\n *         'Authorization': 'Bearer YOUR_TOKEN',\n *         'Content-Type': 'application/json',\n *       },\n *       body: JSON.stringify({\n *         circuitId,\n *         inputs: jsonInputs,\n *       }),\n *     });\n *     \n *     const result = await response.json();\n *     return {\n *       pi_a: result.proof.pi_a,\n *       pi_b: result.proof.pi_b,\n *       pi_c: result.proof.pi_c,\n *       publicSignals: result.publicSignals,\n *     };\n *   },\n * };\n * \n * // Set it after DOP Engine initialization\n * setCustomRapidsnarkProver(backendProver);\n * ```\n * \n * @param prover - Custom prover implementation or null to clear\n */\nexport const setCustomRapidsnarkProver = (prover: UserRapidsnarkProver | null): void => {\n  customProver = prover;\n  console.log(prover ? '✅ Custom prover registered' : '🔄 Custom prover cleared');\n};\n\n/**\n * Get the currently registered custom prover\n * \n * @returns Custom prover if set, null otherwise\n */\nexport const getCustomRapidsnarkProver = (): UserRapidsnarkProver | null => {\n  return customProver;\n};\n\n/**\n * Check if a custom prover is currently registered\n * \n * @returns True if custom prover is set, false otherwise\n */\nexport const hasCustomRapidsnarkProver = (): boolean => {\n  return customProver !== null;\n};\n"]}