dop-wallet-v6 1.3.39 → 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 +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,18 +1,46 @@
 "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 });
-__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 (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; } });
+Object.defineProperty(exports, "getReactNativeProver", { enumerable: true, get: function () { return react_native_prover_1.getReactNativeProver; } });
+Object.defineProperty(exports, "CircuitArtifactManager", { enumerable: true, get: function () { return react_native_prover_1.CircuitArtifactManager; } });
+// Utility functions
+Object.defineProperty(exports, "uint8ArrayToBase64", { enumerable: true, get: function () { return react_native_prover_1.uint8ArrayToBase64; } });
+Object.defineProperty(exports, "base64ToUint8Array", { enumerable: true, get: function () { return react_native_prover_1.base64ToUint8Array; } });
+Object.defineProperty(exports, "calculateWitnessFromWASM", { enumerable: true, get: function () { return react_native_prover_1.calculateWitnessFromWASM; } });
+// File system helpers
+Object.defineProperty(exports, "createRNFSInterface", { enumerable: true, get: function () { return react_native_prover_1.createRNFSInterface; } });
+Object.defineProperty(exports, "createExpoFSInterface", { enumerable: true, get: function () { return react_native_prover_1.createExpoFSInterface; } });
+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","sourcesContent":["export * from './custom-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/rapidsnark-groth16.d.ts

@@ -0,0 +1,211 @@
+/**
+ * RapidSnark Groth16 Integration for React Native
+ *
+ * This module provides a setRapidSnarkGroth16 function that mirrors the behavior
+ * of setSnarkJSGroth16 from dop-engine-v3, but uses rapidsnark for proof generation.
+ *
+ * Key differences from Node.js snarkjs:
+ * - Node.js: groth16.fullProve(inputs, wasmPath, zkeyPath) -> handles everything internally
+ * - Rapidsnark: groth16Prove(zkeyPath, witnessBase64) -> needs witness pre-calculated
+ *
+ * This module bridges the gap by:
+ * 1. Calculating witness from inputs using WASM
+ * 2. Saving zkey to device storage
+ * 3. Calling rapidsnark with zkeyPath and witnessBase64
+ */
+import { FormattedCircuitInputsDop } from 'dop-engine-v3';
+export interface RapidsnarkProofResult {
+    proof: {
+        a: string[];
+        b: string[][];
+        c: string[];
+    };
+    pub_signals: string[];
+}
+/**
+ * Witness calculator interface
+ * This should be provided by the mobile app using circom WASM
+ */
+export interface WitnessCalculator {
+    /**
+     * Calculate witness binary from circuit inputs
+     * @param wasmBuffer - Circuit WASM file content (Uint8Array or base64 string)
+     * @param inputs - Formatted circuit inputs
+     * @returns Witness binary as Uint8Array
+     */
+    calculateWTNSBin(wasmBuffer: Uint8Array | string, inputs: FormattedCircuitInputsDop): Promise<Uint8Array>;
+}
+/**
+ * File system interface for React Native
+ * Should be implemented using react-native-fs or expo-file-system
+ */
+export interface FileSystemInterface {
+    /**
+     * Write binary data to a file
+     * @param path - Absolute file path
+     * @param data - Binary data to write (Uint8Array or base64 string)
+     */
+    writeFile(path: string, data: Uint8Array | string): Promise<void>;
+    /**
+     * Read binary data from a file
+     * @param path - Absolute file path
+     * @returns Binary data as Uint8Array
+     */
+    readFile(path: string): Promise<Uint8Array>;
+    /**
+     * Check if a file exists
+     * @param path - Absolute file path
+     */
+    exists(path: string): Promise<boolean>;
+    /**
+     * Delete a file
+     * @param path - Absolute file path
+     */
+    unlink(path: string): Promise<void>;
+    /**
+     * Get the cache/temp directory path
+     */
+    getCacheDirectory(): string;
+}
+/**
+ * Rapidsnark groth16 prove function type
+ * Matches react-native-rapidsnark's groth16Prove signature
+ */
+export type Groth16ProveFunction = (zkeyPath: string, witnessBase64: string) => Promise<RapidsnarkProofResult>;
+/**
+ * Configuration for setRapidSnarkGroth16
+ */
+export interface RapidSnarkGroth16Config {
+    /**
+     * Rapidsnark's groth16Prove function
+     * Import from react-native-rapidsnark: import { groth16Prove } from 'react-native-rapidsnark'
+     */
+    groth16Prove: Groth16ProveFunction;
+    /**
+     * Witness calculator implementation
+     * You can use circom_runtime or a custom implementation
+     */
+    witnessCalculator: WitnessCalculator;
+    /**
+     * File system interface for React Native
+     * Use react-native-fs or expo-file-system
+     */
+    fs: FileSystemInterface;
+    /**
+     * Optional: Custom directory for storing zkey files
+     * Defaults to fs.getCacheDirectory() + '/zkeys'
+     */
+    zkeyStorageDir?: string;
+    /**
+     * Optional: Whether to cache zkey files on device
+     * Defaults to true for better performance
+     */
+    cacheZkeys?: boolean;
+}
+/**
+ * Set up RapidSnark as the groth16 implementation for DOP Engine
+ *
+ * This function should be called after initDOP() and before any proof generation.
+ * It configures the DOP Engine to use rapidsnark for ZK proof generation on React Native.
+ *
+ * @example
+ * ```typescript
+ * import { groth16Prove } from 'react-native-rapidsnark';
+ * import RNFS from 'react-native-fs';
+ * import { setRapidSnarkGroth16 } from 'new-dop-wallet-v3';
+ *
+ * // Create file system interface
+ * const fs: FileSystemInterface = {
+ *   writeFile: async (path, data) => {
+ *     if (data instanceof Uint8Array) {
+ *       await RNFS.writeFile(path, uint8ArrayToBase64(data), 'base64');
+ *     } else {
+ *       await RNFS.writeFile(path, data, 'base64');
+ *     }
+ *   },
+ *   readFile: async (path) => {
+ *     const base64 = await RNFS.readFile(path, 'base64');
+ *     return base64ToUint8Array(base64);
+ *   },
+ *   exists: RNFS.exists,
+ *   unlink: RNFS.unlink,
+ *   getCacheDirectory: () => RNFS.CachesDirectoryPath,
+ * };
+ *
+ * // Create witness calculator (using circom WASM)
+ * const witnessCalculator: WitnessCalculator = {
+ *   calculateWTNSBin: async (wasmBuffer, inputs) => {
+ *     // Use circom_runtime or similar
+ *     const { WitnessCalculatorBuilder } = await import('circom_runtime');
+ *     const wasmData = typeof wasmBuffer === 'string'
+ *       ? base64ToUint8Array(wasmBuffer)
+ *       : wasmBuffer;
+ *     const wc = await WitnessCalculatorBuilder(wasmData);
+ *     return await wc.calculateWTNSBin(inputs);
+ *   },
+ * };
+ *
+ * // Initialize RapidSnark for DOP Engine
+ * await setRapidSnarkGroth16({
+ *   groth16Prove,
+ *   witnessCalculator,
+ *   fs,
+ * });
+ * ```
+ */
+export declare function setRapidSnarkGroth16(config: RapidSnarkGroth16Config): Promise<void>;
+/**
+ * Helper: Create a WitnessCalculator using circom_runtime
+ *
+ * This is a factory function that creates a WitnessCalculator
+ * using the WitnessCalculatorBuilder from circom_runtime.
+ *
+ * @example
+ * ```typescript
+ * // In React Native, you'll need to handle WASM loading differently
+ * const witnessCalculator = await createCircomWitnessCalculator();
+ * ```
+ */
+export declare function createCircomWitnessCalculator(): WitnessCalculator;
+/**
+ * Helper: Create a FileSystemInterface using react-native-fs
+ *
+ * @example
+ * ```typescript
+ * import RNFS from 'react-native-fs';
+ * const fs = createReactNativeFSInterface(RNFS);
+ * ```
+ */
+export declare function createReactNativeFSInterface(RNFS: {
+    writeFile: (path: string, content: string, encoding: string) => Promise<void>;
+    readFile: (path: string, encoding: string) => Promise<string>;
+    exists: (path: string) => Promise<boolean>;
+    unlink: (path: string) => Promise<void>;
+    CachesDirectoryPath: string;
+    mkdir: (path: string) => Promise<void>;
+}): FileSystemInterface;
+/**
+ * Helper: Create a FileSystemInterface using expo-file-system
+ *
+ * @example
+ * ```typescript
+ * import * as FileSystem from 'expo-file-system';
+ * const fs = createExpoFSInterface(FileSystem);
+ * ```
+ */
+export declare function createExpoFSInterface(ExpoFS: {
+    writeAsStringAsync: (path: string, content: string, options?: {
+        encoding: string;
+    }) => Promise<void>;
+    readAsStringAsync: (path: string, options?: {
+        encoding: string;
+    }) => Promise<string>;
+    getInfoAsync: (path: string) => Promise<{
+        exists: boolean;
+    }>;
+    deleteAsync: (path: string) => Promise<void>;
+    cacheDirectory: string | null;
+    makeDirectoryAsync: (path: string, options?: {
+        intermediates: boolean;
+    }) => Promise<void>;
+}): FileSystemInterface;