dop-wallet-v6 1.3.33 → 1.3.34

package/dist/services/dop/core/react-native-prover-setup.d.ts

@@ -1,31 +1,51 @@
 /**
  * React Native Prover Setup
  *
- * IMPORTANT: Direct proof generation in React Native is not currently supported by the DOP SDK.
+ * This module enables fully on-device zero-knowledge proof generation in React Native
+ * using Mopro (Mobile Prover) toolkit.
  *
- * The DOP Engine uses SnarkJS internally which requires WebAssembly and Web Workers that
- * are not available in React Native's JavaScriptCore engine.
+ * SUPPORTED APPROACHES:
+ * 1. Mopro (Recommended) - Full on-device proof generation with native performance
+ * 2. Backend Witness Service - Generate witness on backend, proof on device with Rapidsnark
+ * 3. Encrypted Transfers Only - Shield operations without proof generation
  *
- * Rapidsnark (@iden3/react-native-rapidsnark) is a native module for mobile proof generation,
- * but it requires a different integration approach that is not yet implemented in dop-engine-v3.
+ * MOPRO INTEGRATION:
+ * - Witness generation: Native C++/Rust (2-29x faster than browser)
+ * - Proof generation: Native Arkworks or Rapidsnark (8-15x faster than browser)
+ * - No WebAssembly required (bypasses React Native limitations)
+ * - No backend service needed
  *
- * WORKAROUNDS:
- * 1. Use a relay service that generates proofs server-side
- * 2. Use encrypted transfers only (which don't require proofs)
- * 3. Wait for DOP to release React Native-compatible proof generation
+ * @see https://zkmopro.org/docs/intro
+ * @see MOPRO_INTEGRATION_PLAN.md
  */
+import { type MoproCircuitLoader } from '../crypto/mopro-circuit-loader';
 /**
  * Check if proof generation is available in React Native
- * Returns false with helpful error message
+ * Tries Mopro first (recommended), then falls back to Rapidsnark backend approach
  */
-export declare const checkReactNativeProverSupport: () => Promise<boolean>;
+export declare const checkReactNativeProverSupport: () => Promise<{
+    available: boolean;
+    method: 'mopro' | 'rapidsnark-backend' | 'none';
+    message: string;
+}>;
+/**
+ * Setup Mopro prover for React Native
+ * Configures DOP Engine to use Mopro for fully on-device proof generation
+ *
+ * @param useRapidsnark - Use Rapidsnark backend instead of Arkworks (default: false)
+ * @returns true if setup successful
+ */
+export declare const setupMoproProver: (useRapidsnark?: boolean) => Promise<boolean>;
 /**
  * Setup Groth16 prover for React Native
- * Currently logs a warning that this is not yet supported
+ * Tries Mopro first, falls back to checking Rapidsnark backend availability
  */
 export declare const setupReactNativeProver: () => Promise<boolean>;
 /**
  * Auto-setup prover if in React Native environment
- * Currently just checks and warns about lack of support
  */
 export declare const autoSetupProverForReactNative: () => Promise<void>;
+/**
+ * Get circuit loader instance (for manual circuit preloading)
+ */
+export declare const getCircuitLoader: () => Promise<MoproCircuitLoader | null>;

package/dist/services/dop/core/react-native-prover-setup.js

@@ -2,105 +2,205 @@
 /**
  * React Native Prover Setup
  *
- * IMPORTANT: Direct proof generation in React Native is not currently supported by the DOP SDK.
+ * This module enables fully on-device zero-knowledge proof generation in React Native
+ * using Mopro (Mobile Prover) toolkit.
  *
- * The DOP Engine uses SnarkJS internally which requires WebAssembly and Web Workers that
- * are not available in React Native's JavaScriptCore engine.
+ * SUPPORTED APPROACHES:
+ * 1. Mopro (Recommended) - Full on-device proof generation with native performance
+ * 2. Backend Witness Service - Generate witness on backend, proof on device with Rapidsnark
+ * 3. Encrypted Transfers Only - Shield operations without proof generation
  *
- * Rapidsnark (@iden3/react-native-rapidsnark) is a native module for mobile proof generation,
- * but it requires a different integration approach that is not yet implemented in dop-engine-v3.
+ * MOPRO INTEGRATION:
+ * - Witness generation: Native C++/Rust (2-29x faster than browser)
+ * - Proof generation: Native Arkworks or Rapidsnark (8-15x faster than browser)
+ * - No WebAssembly required (bypasses React Native limitations)
+ * - No backend service needed
  *
- * WORKAROUNDS:
- * 1. Use a relay service that generates proofs server-side
- * 2. Use encrypted transfers only (which don't require proofs)
- * 3. Wait for DOP to release React Native-compatible proof generation
+ * @see https://zkmopro.org/docs/intro
+ * @see MOPRO_INTEGRATION_PLAN.md
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.autoSetupProverForReactNative = exports.setupReactNativeProver = exports.checkReactNativeProverSupport = void 0;
+exports.getCircuitLoader = exports.autoSetupProverForReactNative = exports.setupReactNativeProver = exports.setupMoproProver = exports.checkReactNativeProverSupport = void 0;
+const prover_1 = require("./prover");
 const runtime_1 = require("../util/runtime");
 const react_native_rapidsnark_prover_1 = require("../crypto/react-native-rapidsnark-prover");
+const mopro_prover_adapter_1 = require("../crypto/mopro-prover-adapter");
+const mopro_circuit_loader_1 = require("../crypto/mopro-circuit-loader");
 /**
  * Check if proof generation is available in React Native
- * Returns false with helpful error message
+ * Tries Mopro first (recommended), then falls back to Rapidsnark backend approach
  */
 const checkReactNativeProverSupport = async () => {
     if (!runtime_1.isReactNative) {
-        return true; // Not in React Native, no issue
+        return {
+            available: true,
+            method: 'none',
+            message: 'Not in React Native environment'
+        };
     }
     try {
-        // Check if Rapidsnark is available
-        const initialized = await (0, react_native_rapidsnark_prover_1.initializeRapidsnark)();
-        if (!initialized || !(0, react_native_rapidsnark_prover_1.isRapidsnarkAvailable)()) {
-            console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
-            console.error('⚠️  REACT NATIVE PROOF GENERATION NOT SUPPORTED');
-            console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
-            console.error('');
-            console.error('The DOP SDK cannot generate zero-knowledge proofs directly');
-            console.error('in React Native because SnarkJS requires WebAssembly and');
-            console.error('Web Workers that are not available in JavaScriptCore.');
-            console.error('');
-            console.error('WORKAROUNDS:');
-            console.error('');
-            console.error('1. Use Relay Service (Recommended):');
-            console.error('   Set up a proof generation relay service that runs');
-            console.error('   Node.js and handles proof generation server-side.');
-            console.error('');
-            console.error('2. Use Encrypted Transfers Only:');
-            console.error('   Encrypt tokens to the DOP contract (shield operations)');
-            console.error('   without generating proofs for private transfers.');
-            console.error('');
-            console.error('3. Wait for Native Support:');
-            console.error('   DOP is working on React Native-compatible proof');
-            console.error('   generation using @iden3/react-native-rapidsnark.');
-            console.error('');
-            console.error('Operations that require proofs:');
-            console.error('  - Private transfers (sendERC20Token)');
-            console.error('  - Private NFT transfers');
-            console.error('  - Unshield operations (decryptERC20Token)');
-            console.error('');
-            console.error('Operations that work without proofs:');
-            console.error('  - Shield operations (encryptERC20Token)');
-            console.error('  - Balance queries');
-            console.error('  - Wallet creation');
-            console.error('  - Transaction history');
-            console.error('');
-            console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
-            return false;
+        // Try to initialize Mopro (fully on-device)
+        const moproInit = await (0, mopro_prover_adapter_1.initializeMopro)();
+        const rnfsInit = await (0, mopro_circuit_loader_1.initializeRNFS)();
+        if (moproInit && rnfsInit && (0, mopro_prover_adapter_1.isMoproAvailable)() && (0, mopro_circuit_loader_1.isRNFSAvailable)()) {
+            console.log('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+            console.log('✅  MOPRO PROOF GENERATION AVAILABLE');
+            console.log('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+            console.log('');
+            console.log('🚀 Fully on-device proof generation enabled via Mopro');
+            console.log('   - No backend witness service needed');
+            console.log('   - Native performance (8-25x faster than browser)');
+            console.log('   - All DOP operations work fully on-device');
+            console.log('');
+            console.log('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+            return {
+                available: true,
+                method: 'mopro',
+                message: 'Mopro initialized successfully'
+            };
         }
-        // Rapidsnark is available but not yet integrated
-        console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
-        console.warn('⚠️  RAPIDSNARK DETECTED BUT NOT YET INTEGRATED');
-        console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
-        console.warn('');
-        console.warn('Rapidsnark (@iden3/react-native-rapidsnark) is installed');
-        console.warn('but the DOP SDK does not yet support it automatically.');
-        console.warn('');
-        console.warn('This feature is under development. For now, use one of');
-        console.warn('the workarounds mentioned in the documentation.');
-        console.warn('');
-        console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
-        return false;
+        // Mopro not available, try Rapidsnark backend approach
+        const rapidsnarkInit = await (0, react_native_rapidsnark_prover_1.initializeRapidsnark)();
+        if (rapidsnarkInit && (0, react_native_rapidsnark_prover_1.isRapidsnarkAvailable)()) {
+            console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+            console.warn('⚠️  RAPIDSNARK AVAILABLE (BACKEND WITNESS REQUIRED)');
+            console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+            console.warn('');
+            console.warn('Rapidsnark is available for proof generation, but witness');
+            console.warn('calculation must be done on a backend service.');
+            console.warn('');
+            console.warn('For fully on-device proof generation, install Mopro:');
+            console.warn('  npm install mopro-ffi react-native-fs');
+            console.warn('  See: https://zkmopro.org/docs/setup/react-native-setup');
+            console.warn('');
+            console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+            return {
+                available: true,
+                method: 'rapidsnark-backend',
+                message: 'Rapidsnark available, backend witness required'
+            };
+        }
+        // Neither Mopro nor Rapidsnark available
+        console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+        console.error('⚠️  REACT NATIVE PROOF GENERATION NOT AVAILABLE');
+        console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+        console.error('');
+        console.error('The DOP SDK cannot generate zero-knowledge proofs in');
+        console.error('React Native because SnarkJS requires WebAssembly.');
+        console.error('');
+        console.error('RECOMMENDED SOLUTION:');
+        console.error('');
+        console.error('Install Mopro for fully on-device proof generation:');
+        console.error('  npm install mopro-ffi react-native-fs');
+        console.error('  Setup guide: https://zkmopro.org/docs/setup/react-native-setup');
+        console.error('');
+        console.error('Benefits:');
+        console.error('  ✅ No backend service needed');
+        console.error('  ✅ 8-25x faster than browser');
+        console.error('  ✅ Native iOS/Android performance');
+        console.error('  ✅ Privacy-preserving (no data leaves device)');
+        console.error('');
+        console.error('ALTERNATIVE SOLUTIONS:');
+        console.error('');
+        console.error('1. Backend Witness Service:');
+        console.error('   Install @iden3/react-native-rapidsnark for proof generation');
+        console.error('   Set up backend service for witness calculation');
+        console.error('');
+        console.error('2. Encrypted Transfers Only:');
+        console.error('   Shield operations work without proof generation');
+        console.error('');
+        console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+        return {
+            available: false,
+            method: 'none',
+            message: 'No proof generation method available'
+        };
     }
     catch (error) {
         console.error('Error checking React Native prover support:', error);
-        return false;
+        return {
+            available: false,
+            method: 'none',
+            message: `Error: ${error instanceof Error ? error.message : String(error)}`
+        };
     }
 };
 exports.checkReactNativeProverSupport = checkReactNativeProverSupport;
+/**
+ * Setup Mopro prover for React Native
+ * Configures DOP Engine to use Mopro for fully on-device proof generation
+ *
+ * @param useRapidsnark - Use Rapidsnark backend instead of Arkworks (default: false)
+ * @returns true if setup successful
+ */
+const setupMoproProver = async (useRapidsnark = false) => {
+    if (!runtime_1.isReactNative) {
+        return true;
+    }
+    try {
+        // Initialize Mopro and RNFS
+        const moproInit = await (0, mopro_prover_adapter_1.initializeMopro)();
+        const rnfsInit = await (0, mopro_circuit_loader_1.initializeRNFS)();
+        if (!moproInit || !rnfsInit) {
+            console.error('❌ Failed to initialize Mopro or RNFS');
+            return false;
+        }
+        console.log('🔧 Setting up Mopro prover for DOP Engine...');
+        // Create Mopro adapter
+        const proofLib = useRapidsnark ? mopro_prover_adapter_1.ProofLib.Rapidsnark : mopro_prover_adapter_1.ProofLib.Arkworks;
+        const moproAdapter = new mopro_prover_adapter_1.MoproProverAdapter(proofLib);
+        // Create circuit loader
+        const circuitLoader = await (0, mopro_circuit_loader_1.createCircuitLoader)();
+        // Get DOP Engine prover instance
+        const prover = (0, prover_1.getProver)();
+        // Circuit ID mapping for DOP Engine
+        const CIRCUIT_IDS = {
+            dop: 0,
+            decrypt: 1,
+            nullify: 2
+        };
+        // Configure DOP Engine to use Mopro as native prover
+        const moproNativeProver = async (circuitId, _datBuffer, zkeyBuffer, jsonInputs, progressCallback) => {
+            // Convert circuit ID to name
+            const circuitName = Object.keys(CIRCUIT_IDS).find(key => CIRCUIT_IDS[key] === circuitId) ?? `circuit-${circuitId}`;
+            // Load circuit file to device filesystem
+            const zkeyPath = await circuitLoader.loadCircuit(circuitName, new Uint8Array(zkeyBuffer));
+            // Generate proof with Mopro
+            return moproAdapter.generateProof(circuitName, zkeyPath, jsonInputs, progressCallback);
+        };
+        // Set the native prover in DOP Engine
+        prover.setNativeProverGroth16(moproNativeProver, CIRCUIT_IDS);
+        console.log('✅ Mopro prover setup complete');
+        console.log(`   Using proof backend: ${proofLib}`);
+        return true;
+    }
+    catch (error) {
+        console.error('❌ Mopro prover setup failed:', error);
+        return false;
+    }
+};
+exports.setupMoproProver = setupMoproProver;
 /**
  * Setup Groth16 prover for React Native
- * Currently logs a warning that this is not yet supported
+ * Tries Mopro first, falls back to checking Rapidsnark backend availability
  */
 const setupReactNativeProver = async () => {
     if (!runtime_1.isReactNative) {
         return true; // Not in React Native, nothing to do
     }
-    return (0, exports.checkReactNativeProverSupport)();
+    const support = await (0, exports.checkReactNativeProverSupport)();
+    if (support.method === 'mopro') {
+        // Try to setup Mopro
+        const moproSetup = await (0, exports.setupMoproProver)();
+        if (moproSetup) {
+            return true;
+        }
+    }
+    return support.available;
 };
 exports.setupReactNativeProver = setupReactNativeProver;
 /**
  * Auto-setup prover if in React Native environment
- * Currently just checks and warns about lack of support
  */
 const autoSetupProverForReactNative = async () => {
     if (runtime_1.isReactNative) {
@@ -108,4 +208,20 @@ const autoSetupProverForReactNative = async () => {
     }
 };
 exports.autoSetupProverForReactNative = autoSetupProverForReactNative;
+/**
+ * Get circuit loader instance (for manual circuit preloading)
+ */
+const getCircuitLoader = async () => {
+    if (!runtime_1.isReactNative || !(0, mopro_circuit_loader_1.isRNFSAvailable)()) {
+        return null;
+    }
+    try {
+        return await (0, mopro_circuit_loader_1.createCircuitLoader)();
+    }
+    catch (error) {
+        console.error('Failed to create circuit loader:', error);
+        return null;
+    }
+};
+exports.getCircuitLoader = getCircuitLoader;
 //# sourceMappingURL=react-native-prover-setup.js.map

package/dist/services/dop/core/react-native-prover-setup.js.map

@@ -1 +1 @@
-{"version":3,"file":"react-native-prover-setup.js","sourceRoot":"","sources":["../../../../src/services/dop/core/react-native-prover-setup.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG;;;AAGH,6CAAgD;AAChD,6FAAuG;AAEvG;;;GAGG;AACI,MAAM,6BAA6B,GAAG,KAAK,IAAsB,EAAE;IACxE,IAAI,CAAC,uBAAa,EAAE;QAClB,OAAO,IAAI,CAAC,CAAC,gCAAgC;KAC9C;IAED,IAAI;QACF,mCAAmC;QACnC,MAAM,WAAW,GAAG,MAAM,IAAA,qDAAoB,GAAE,CAAC;QAEjD,IAAI,CAAC,WAAW,IAAI,CAAC,IAAA,sDAAqB,GAAE,EAAE;YAC5C,OAAO,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;YACnE,OAAO,CAAC,KAAK,CAAC,iDAAiD,CAAC,CAAC;YACjE,OAAO,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;YACnE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClB,OAAO,CAAC,KAAK,CAAC,4DAA4D,CAAC,CAAC;YAC5E,OAAO,CAAC,KAAK,CAAC,0DAA0D,CAAC,CAAC;YAC1E,OAAO,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;YACvE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClB,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAC9B,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClB,OAAO,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;YACrD,OAAO,CAAC,KAAK,CAAC,sDAAsD,CAAC,CAAC;YACtE,OAAO,CAAC,KAAK,CAAC,sDAAsD,CAAC,CAAC;YACtE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClB,OAAO,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;YAClD,OAAO,CAAC,KAAK,CAAC,2DAA2D,CAAC,CAAC;YAC3E,OAAO,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;YACrE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClB,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;YAC7C,OAAO,CAAC,KAAK,CAAC,oDAAoD,CAAC,CAAC;YACpE,OAAO,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;YACrE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClB,OAAO,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;YACjD,OAAO,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;YACxD,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC3C,OAAO,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;YAC7D,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClB,OAAO,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;YACtD,OAAO,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;YAC3D,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACrC,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACrC,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;YACzC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClB,OAAO,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;YAEnE,OAAO,KAAK,CAAC;SACd;QAED,iDAAiD;QACjD,OAAO,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;QAClE,OAAO,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;QAC/D,OAAO,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;QAClE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QACzE,OAAO,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QACvE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QACvE,OAAO,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;QAChE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;QAElE,OAAO,KAAK,CAAC;KAEd;IAAC,OAAO,KAAK,EAAE;QACd,OAAO,CAAC,KAAK,CAAC,6CAA6C,EAAE,KAAK,CAAC,CAAC;QACpE,OAAO,KAAK,CAAC;KACd;AACH,CAAC,CAAC;AAnEW,QAAA,6BAA6B,iCAmExC;AAEF;;;GAGG;AACI,MAAM,sBAAsB,GAAG,KAAK,IAAsB,EAAE;IACjE,IAAI,CAAC,uBAAa,EAAE;QAClB,OAAO,IAAI,CAAC,CAAC,qCAAqC;KACnD;IAED,OAAO,IAAA,qCAA6B,GAAE,CAAC;AACzC,CAAC,CAAC;AANW,QAAA,sBAAsB,0BAMjC;AAEF;;;GAGG;AACI,MAAM,6BAA6B,GAAG,KAAK,IAAmB,EAAE;IACrE,IAAI,uBAAa,EAAE;QACjB,MAAM,IAAA,8BAAsB,GAAE,CAAC;KAChC;AACH,CAAC,CAAC;AAJW,QAAA,6BAA6B,iCAIxC","sourcesContent":["/**\n * React Native Prover Setup\n * \n * IMPORTANT: Direct proof generation in React Native is not currently supported by the DOP SDK.\n * \n * The DOP Engine uses SnarkJS internally which requires WebAssembly and Web Workers that\n * are not available in React Native's JavaScriptCore engine.\n * \n * Rapidsnark (@iden3/react-native-rapidsnark) is a native module for mobile proof generation,\n * but it requires a different integration approach that is not yet implemented in dop-engine-v3.\n * \n * WORKAROUNDS:\n * 1. Use a relay service that generates proofs server-side\n * 2. Use encrypted transfers only (which don't require proofs)\n * 3. Wait for DOP to release React Native-compatible proof generation\n */\n\nimport { getProver } from './prover';\nimport { isReactNative } from '../util/runtime';\nimport { initializeRapidsnark, isRapidsnarkAvailable } from '../crypto/react-native-rapidsnark-prover';\n\n/**\n * Check if proof generation is available in React Native\n * Returns false with helpful error message\n */\nexport const checkReactNativeProverSupport = async (): Promise<boolean> => {\n  if (!isReactNative) {\n    return true; // Not in React Native, no issue\n  }\n\n  try {\n    // Check if Rapidsnark is available\n    const initialized = await initializeRapidsnark();\n    \n    if (!initialized || !isRapidsnarkAvailable()) {\n      console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n      console.error('⚠️  REACT NATIVE PROOF GENERATION NOT SUPPORTED');\n      console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n      console.error('');\n      console.error('The DOP SDK cannot generate zero-knowledge proofs directly');\n      console.error('in React Native because SnarkJS requires WebAssembly and');\n      console.error('Web Workers that are not available in JavaScriptCore.');\n      console.error('');\n      console.error('WORKAROUNDS:');\n      console.error('');\n      console.error('1. Use Relay Service (Recommended):');\n      console.error('   Set up a proof generation relay service that runs');\n      console.error('   Node.js and handles proof generation server-side.');\n      console.error('');\n      console.error('2. Use Encrypted Transfers Only:');\n      console.error('   Encrypt tokens to the DOP contract (shield operations)');\n      console.error('   without generating proofs for private transfers.');\n      console.error('');\n      console.error('3. Wait for Native Support:');\n      console.error('   DOP is working on React Native-compatible proof');\n      console.error('   generation using @iden3/react-native-rapidsnark.');\n      console.error('');\n      console.error('Operations that require proofs:');\n      console.error('  - Private transfers (sendERC20Token)');\n      console.error('  - Private NFT transfers');\n      console.error('  - Unshield operations (decryptERC20Token)');\n      console.error('');\n      console.error('Operations that work without proofs:');\n      console.error('  - Shield operations (encryptERC20Token)');\n      console.error('  - Balance queries');\n      console.error('  - Wallet creation');\n      console.error('  - Transaction history');\n      console.error('');\n      console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n      \n      return false;\n    }\n    \n    // Rapidsnark is available but not yet integrated\n    console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n    console.warn('⚠️  RAPIDSNARK DETECTED BUT NOT YET INTEGRATED');\n    console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n    console.warn('');\n    console.warn('Rapidsnark (@iden3/react-native-rapidsnark) is installed');\n    console.warn('but the DOP SDK does not yet support it automatically.');\n    console.warn('');\n    console.warn('This feature is under development. For now, use one of');\n    console.warn('the workarounds mentioned in the documentation.');\n    console.warn('');\n    console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n    \n    return false;\n    \n  } catch (error) {\n    console.error('Error checking React Native prover support:', error);\n    return false;\n  }\n};\n\n/**\n * Setup Groth16 prover for React Native\n * Currently logs a warning that this is not yet supported\n */\nexport const setupReactNativeProver = async (): Promise<boolean> => {\n  if (!isReactNative) {\n    return true; // Not in React Native, nothing to do\n  }\n\n  return checkReactNativeProverSupport();\n};\n\n/**\n * Auto-setup prover if in React Native environment\n * Currently just checks and warns about lack of support\n */\nexport const autoSetupProverForReactNative = async (): Promise<void> => {\n  if (isReactNative) {\n    await setupReactNativeProver();\n  }\n};\n"]}
+{"version":3,"file":"react-native-prover-setup.js","sourceRoot":"","sources":["../../../../src/services/dop/core/react-native-prover-setup.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;GAmBG;;;AAEH,qCAAiF;AACjF,6CAAgD;AAChD,6FAAuG;AACvG,yEAKwC;AACxC,yEAKwC;AAExC;;;GAGG;AACI,MAAM,6BAA6B,GAAG,KAAK,IAI/C,EAAE;IACH,IAAI,CAAC,uBAAa,EAAE;QAClB,OAAO;YACL,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,iCAAiC;SAC3C,CAAC;KACH;IAED,IAAI;QACF,4CAA4C;QAC5C,MAAM,SAAS,GAAG,MAAM,IAAA,sCAAe,GAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,MAAM,IAAA,qCAAc,GAAE,CAAC;QAExC,IAAI,SAAS,IAAI,QAAQ,IAAI,IAAA,uCAAgB,GAAE,IAAI,IAAA,sCAAe,GAAE,EAAE;YACpE,OAAO,CAAC,GAAG,CAAC,mDAAmD,CAAC,CAAC;YACjE,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,mDAAmD,CAAC,CAAC;YACjE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;YACrE,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;YACtD,OAAO,CAAC,GAAG,CAAC,qDAAqD,CAAC,CAAC;YACnE,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;YAC5D,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,mDAAmD,CAAC,CAAC;YAEjE,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,gCAAgC;aAC1C,CAAC;SACH;QAED,uDAAuD;QACvD,MAAM,cAAc,GAAG,MAAM,IAAA,qDAAoB,GAAE,CAAC;QAEpD,IAAI,cAAc,IAAI,IAAA,sDAAqB,GAAE,EAAE;YAC7C,OAAO,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;YAClE,OAAO,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;YACpE,OAAO,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;YAClE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;YAC1E,OAAO,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;YAC/D,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;YACrE,OAAO,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;YACxD,OAAO,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;YACzE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;YAElE,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,MAAM,EAAE,oBAAoB;gBAC5B,OAAO,EAAE,gDAAgD;aAC1D,CAAC;SACH;QAED,yCAAyC;QACzC,OAAO,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACnE,OAAO,CAAC,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACjE,OAAO,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACnE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,sDAAsD,CAAC,CAAC;QACtE,OAAO,CAAC,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACpE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACvC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACrE,OAAO,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;QACzD,OAAO,CAAC,KAAK,CAAC,kEAAkE,CAAC,CAAC;QAClF,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3B,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAC/C,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAC/C,OAAO,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACpD,OAAO,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;QAChE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACxC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAC7C,OAAO,CAAC,KAAK,CAAC,gEAAgE,CAAC,CAAC;QAChF,OAAO,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACnE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC9C,OAAO,CAAC,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACpE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;QAEnE,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,sCAAsC;SAChD,CAAC;KAEH;IAAC,OAAO,KAAK,EAAE;QACd,OAAO,CAAC,KAAK,CAAC,6CAA6C,EAAE,KAAK,CAAC,CAAC;QACpE,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,UAAU,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SAC5E,CAAC;KACH;AACH,CAAC,CAAC;AA1GW,QAAA,6BAA6B,iCA0GxC;AAEF;;;;;;GAMG;AACI,MAAM,gBAAgB,GAAG,KAAK,EAAE,aAAa,GAAG,KAAK,EAAoB,EAAE;IAChF,IAAI,CAAC,uBAAa,EAAE;QAClB,OAAO,IAAI,CAAC;KACb;IAED,IAAI;QACF,4BAA4B;QAC5B,MAAM,SAAS,GAAG,MAAM,IAAA,sCAAe,GAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,MAAM,IAAA,qCAAc,GAAE,CAAC;QAExC,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,EAAE;YAC3B,OAAO,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;YACtD,OAAO,KAAK,CAAC;SACd;QAED,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;QAE5D,uBAAuB;QACvB,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,+BAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,+BAAQ,CAAC,QAAQ,CAAC;QACzE,MAAM,YAAY,GAAG,IAAI,yCAAkB,CAAC,QAAQ,CAAC,CAAC;QAEtD,wBAAwB;QACxB,MAAM,aAAa,GAAG,MAAM,IAAA,0CAAmB,GAAE,CAAC;QAElD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAA,kBAAS,GAAE,CAAC;QAE3B,oCAAoC;QACpC,MAAM,WAAW,GAAG;YAClB,GAAG,EAAE,CAAC;YACN,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;SACX,CAAC;QAEF,qDAAqD;QACrD,MAAM,iBAAiB,GAAG,KAAK,EAC7B,SAAiB,EACjB,UAAkB,EAClB,UAAkB,EAClB,UAAqC,EACrC,gBAA6C,EAC7B,EAAE;YAClB,6BAA6B;YAC7B,MAAM,WAAW,GAAW,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CACvD,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAA+B,CAAC,KAAK,SAAS,CAClE,IAAI,WAAW,SAAS,EAAE,CAAC;YAE5B,yCAAyC;YACzC,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,WAAW,CAC9C,WAAW,EACX,IAAI,UAAU,CAAC,UAAU,CAAC,CAC3B,CAAC;YAEF,4BAA4B;YAC5B,OAAO,YAAY,CAAC,aAAa,CAC/B,WAAW,EACX,QAAQ,EACR,UAAU,EACV,gBAAgB,CACjB,CAAC;QACJ,CAAC,CAAC;QAEF,sCAAsC;QACtC,MAAM,CAAC,sBAAsB,CAAC,iBAAwB,EAAE,WAAW,CAAC,CAAC;QAErE,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,2BAA2B,QAAQ,EAAE,CAAC,CAAC;QAEnD,OAAO,IAAI,CAAC;KAEb;IAAC,OAAO,KAAK,EAAE;QACd,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;QACrD,OAAO,KAAK,CAAC;KACd;AACH,CAAC,CAAC;AA1EW,QAAA,gBAAgB,oBA0E3B;AAEF;;;GAGG;AACI,MAAM,sBAAsB,GAAG,KAAK,IAAsB,EAAE;IACjE,IAAI,CAAC,uBAAa,EAAE;QAClB,OAAO,IAAI,CAAC,CAAC,qCAAqC;KACnD;IAED,MAAM,OAAO,GAAG,MAAM,IAAA,qCAA6B,GAAE,CAAC;IAEtD,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,EAAE;QAC9B,qBAAqB;QACrB,MAAM,UAAU,GAAG,MAAM,IAAA,wBAAgB,GAAE,CAAC;QAC5C,IAAI,UAAU,EAAE;YACd,OAAO,IAAI,CAAC;SACb;KACF;IAED,OAAO,OAAO,CAAC,SAAS,CAAC;AAC3B,CAAC,CAAC;AAhBW,QAAA,sBAAsB,0BAgBjC;AAEF;;GAEG;AACI,MAAM,6BAA6B,GAAG,KAAK,IAAmB,EAAE;IACrE,IAAI,uBAAa,EAAE;QACjB,MAAM,IAAA,8BAAsB,GAAE,CAAC;KAChC;AACH,CAAC,CAAC;AAJW,QAAA,6BAA6B,iCAIxC;AAEF;;GAEG;AACI,MAAM,gBAAgB,GAAG,KAAK,IAAwC,EAAE;IAC7E,IAAI,CAAC,uBAAa,IAAI,CAAC,IAAA,sCAAe,GAAE,EAAE;QACxC,OAAO,IAAI,CAAC;KACb;IAED,IAAI;QACF,OAAO,MAAM,IAAA,0CAAmB,GAAE,CAAC;KACpC;IAAC,OAAO,KAAK,EAAE;QACd,OAAO,CAAC,KAAK,CAAC,kCAAkC,EAAE,KAAK,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC;KACb;AACH,CAAC,CAAC;AAXW,QAAA,gBAAgB,oBAW3B","sourcesContent":["/**\n * React Native Prover Setup\n * \n * This module enables fully on-device zero-knowledge proof generation in React Native\n * using Mopro (Mobile Prover) toolkit.\n * \n * SUPPORTED APPROACHES:\n * 1. Mopro (Recommended) - Full on-device proof generation with native performance\n * 2. Backend Witness Service - Generate witness on backend, proof on device with Rapidsnark\n * 3. Encrypted Transfers Only - Shield operations without proof generation\n * \n * MOPRO INTEGRATION:\n * - Witness generation: Native C++/Rust (2-29x faster than browser)\n * - Proof generation: Native Arkworks or Rapidsnark (8-15x faster than browser)\n * - No WebAssembly required (bypasses React Native limitations)\n * - No backend service needed\n * \n * @see https://zkmopro.org/docs/intro\n * @see MOPRO_INTEGRATION_PLAN.md\n */\n\nimport { getProver, type FormattedCircuitInputsDop, type Proof } from './prover';\nimport { isReactNative } from '../util/runtime';\nimport { initializeRapidsnark, isRapidsnarkAvailable } from '../crypto/react-native-rapidsnark-prover';\nimport { \n  initializeMopro, \n  isMoproAvailable, \n  MoproProverAdapter,\n  ProofLib\n} from '../crypto/mopro-prover-adapter';\nimport { \n  initializeRNFS,\n  isRNFSAvailable,\n  createCircuitLoader,\n  type MoproCircuitLoader\n} from '../crypto/mopro-circuit-loader';\n\n/**\n * Check if proof generation is available in React Native\n * Tries Mopro first (recommended), then falls back to Rapidsnark backend approach\n */\nexport const checkReactNativeProverSupport = async (): Promise<{\n  available: boolean;\n  method: 'mopro' | 'rapidsnark-backend' | 'none';\n  message: string;\n}> => {\n  if (!isReactNative) {\n    return {\n      available: true,\n      method: 'none',\n      message: 'Not in React Native environment'\n    };\n  }\n\n  try {\n    // Try to initialize Mopro (fully on-device)\n    const moproInit = await initializeMopro();\n    const rnfsInit = await initializeRNFS();\n    \n    if (moproInit && rnfsInit && isMoproAvailable() && isRNFSAvailable()) {\n      console.log('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n      console.log('✅  MOPRO PROOF GENERATION AVAILABLE');\n      console.log('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n      console.log('');\n      console.log('🚀 Fully on-device proof generation enabled via Mopro');\n      console.log('   - No backend witness service needed');\n      console.log('   - Native performance (8-25x faster than browser)');\n      console.log('   - All DOP operations work fully on-device');\n      console.log('');\n      console.log('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n      \n      return {\n        available: true,\n        method: 'mopro',\n        message: 'Mopro initialized successfully'\n      };\n    }\n\n    // Mopro not available, try Rapidsnark backend approach\n    const rapidsnarkInit = await initializeRapidsnark();\n    \n    if (rapidsnarkInit && isRapidsnarkAvailable()) {\n      console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n      console.warn('⚠️  RAPIDSNARK AVAILABLE (BACKEND WITNESS REQUIRED)');\n      console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n      console.warn('');\n      console.warn('Rapidsnark is available for proof generation, but witness');\n      console.warn('calculation must be done on a backend service.');\n      console.warn('');\n      console.warn('For fully on-device proof generation, install Mopro:');\n      console.warn('  npm install mopro-ffi react-native-fs');\n      console.warn('  See: https://zkmopro.org/docs/setup/react-native-setup');\n      console.warn('');\n      console.warn('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n      \n      return {\n        available: true,\n        method: 'rapidsnark-backend',\n        message: 'Rapidsnark available, backend witness required'\n      };\n    }\n\n    // Neither Mopro nor Rapidsnark available\n    console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n    console.error('⚠️  REACT NATIVE PROOF GENERATION NOT AVAILABLE');\n    console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n    console.error('');\n    console.error('The DOP SDK cannot generate zero-knowledge proofs in');\n    console.error('React Native because SnarkJS requires WebAssembly.');\n    console.error('');\n    console.error('RECOMMENDED SOLUTION:');\n    console.error('');\n    console.error('Install Mopro for fully on-device proof generation:');\n    console.error('  npm install mopro-ffi react-native-fs');\n    console.error('  Setup guide: https://zkmopro.org/docs/setup/react-native-setup');\n    console.error('');\n    console.error('Benefits:');\n    console.error('  ✅ No backend service needed');\n    console.error('  ✅ 8-25x faster than browser');\n    console.error('  ✅ Native iOS/Android performance');\n    console.error('  ✅ Privacy-preserving (no data leaves device)');\n    console.error('');\n    console.error('ALTERNATIVE SOLUTIONS:');\n    console.error('');\n    console.error('1. Backend Witness Service:');\n    console.error('   Install @iden3/react-native-rapidsnark for proof generation');\n    console.error('   Set up backend service for witness calculation');\n    console.error('');\n    console.error('2. Encrypted Transfers Only:');\n    console.error('   Shield operations work without proof generation');\n    console.error('');\n    console.error('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');\n    \n    return {\n      available: false,\n      method: 'none',\n      message: 'No proof generation method available'\n    };\n    \n  } catch (error) {\n    console.error('Error checking React Native prover support:', error);\n    return {\n      available: false,\n      method: 'none',\n      message: `Error: ${error instanceof Error ? error.message : String(error)}`\n    };\n  }\n};\n\n/**\n * Setup Mopro prover for React Native\n * Configures DOP Engine to use Mopro for fully on-device proof generation\n * \n * @param useRapidsnark - Use Rapidsnark backend instead of Arkworks (default: false)\n * @returns true if setup successful\n */\nexport const setupMoproProver = async (useRapidsnark = false): Promise<boolean> => {\n  if (!isReactNative) {\n    return true;\n  }\n\n  try {\n    // Initialize Mopro and RNFS\n    const moproInit = await initializeMopro();\n    const rnfsInit = await initializeRNFS();\n\n    if (!moproInit || !rnfsInit) {\n      console.error('❌ Failed to initialize Mopro or RNFS');\n      return false;\n    }\n\n    console.log('🔧 Setting up Mopro prover for DOP Engine...');\n\n    // Create Mopro adapter\n    const proofLib = useRapidsnark ? ProofLib.Rapidsnark : ProofLib.Arkworks;\n    const moproAdapter = new MoproProverAdapter(proofLib);\n\n    // Create circuit loader\n    const circuitLoader = await createCircuitLoader();\n\n    // Get DOP Engine prover instance\n    const prover = getProver();\n\n    // Circuit ID mapping for DOP Engine\n    const CIRCUIT_IDS = {\n      dop: 0,\n      decrypt: 1,\n      nullify: 2\n    };\n\n    // Configure DOP Engine to use Mopro as native prover\n    const moproNativeProver = async (\n      circuitId: number,\n      _datBuffer: Buffer,\n      zkeyBuffer: Buffer,\n      jsonInputs: FormattedCircuitInputsDop,\n      progressCallback?: (progress: number) => void\n    ): Promise<Proof> => {\n      // Convert circuit ID to name\n      const circuitName: string = Object.keys(CIRCUIT_IDS).find(\n        key => CIRCUIT_IDS[key as keyof typeof CIRCUIT_IDS] === circuitId\n      ) ?? `circuit-${circuitId}`;\n\n      // Load circuit file to device filesystem\n      const zkeyPath = await circuitLoader.loadCircuit(\n        circuitName,\n        new Uint8Array(zkeyBuffer)\n      );\n\n      // Generate proof with Mopro\n      return moproAdapter.generateProof(\n        circuitName,\n        zkeyPath,\n        jsonInputs,\n        progressCallback\n      );\n    };\n\n    // Set the native prover in DOP Engine\n    prover.setNativeProverGroth16(moproNativeProver as any, CIRCUIT_IDS);\n    \n    console.log('✅ Mopro prover setup complete');\n    console.log(`   Using proof backend: ${proofLib}`);\n    \n    return true;\n\n  } catch (error) {\n    console.error('❌ Mopro prover setup failed:', error);\n    return false;\n  }\n};\n\n/**\n * Setup Groth16 prover for React Native\n * Tries Mopro first, falls back to checking Rapidsnark backend availability\n */\nexport const setupReactNativeProver = async (): Promise<boolean> => {\n  if (!isReactNative) {\n    return true; // Not in React Native, nothing to do\n  }\n\n  const support = await checkReactNativeProverSupport();\n  \n  if (support.method === 'mopro') {\n    // Try to setup Mopro\n    const moproSetup = await setupMoproProver();\n    if (moproSetup) {\n      return true;\n    }\n  }\n\n  return support.available;\n};\n\n/**\n * Auto-setup prover if in React Native environment\n */\nexport const autoSetupProverForReactNative = async (): Promise<void> => {\n  if (isReactNative) {\n    await setupReactNativeProver();\n  }\n};\n\n/**\n * Get circuit loader instance (for manual circuit preloading)\n */\nexport const getCircuitLoader = async (): Promise<MoproCircuitLoader | null> => {\n  if (!isReactNative || !isRNFSAvailable()) {\n    return null;\n  }\n\n  try {\n    return await createCircuitLoader();\n  } catch (error) {\n    console.error('Failed to create circuit loader:', error);\n    return null;\n  }\n};\n"]}

package/dist/services/dop/crypto/mopro-circuit-loader.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Mopro Circuit Loader for React Native
+ *
+ * This module handles loading and caching DOP circuit files (zkey) on
+ * the React Native device filesystem. Circuit files are downloaded from
+ * IPFS by the artifact downloader and then saved to the app's document
+ * directory for use by Mopro's native proof generation.
+ *
+ * Features:
+ * - Caches circuit file paths to avoid repeated file operations
+ * - Handles circuit file compression (brotli)
+ * - Preloads circuits at app startup for faster proof generation
+ * - Manages cleanup of old circuit files
+ */
+/**
+ * Circuit file information
+ */
+interface CircuitInfo {
+    circuitId: string;
+    zkeyPath: string;
+    fileSize: number;
+    loadedAt: number;
+}
+/**
+ * Initialize React Native filesystem module
+ */
+export declare const initializeRNFS: () => Promise<boolean>;
+/**
+ * Check if RNFS is available
+ */
+export declare const isRNFSAvailable: () => boolean;
+/**
+ * Mopro Circuit Loader Class
+ *
+ * Manages circuit files on the React Native filesystem
+ */
+export declare class MoproCircuitLoader {
+    private circuitCache;
+    private circuitsDir;
+    private initialized;
+    constructor();
+    /**
+     * Initialize the circuit loader
+     * Creates the circuits directory if it doesn't exist
+     */
+    initialize(): Promise<void>;
+    /**
+     * Load a circuit file from buffer and save to filesystem
+     *
+     * @param circuitId - Circuit identifier (e.g., '1x2', '2x2')
+     * @param zkeyBuffer - The zkey file buffer
+     * @returns Path to the saved zkey file
+     */
+    loadCircuit(circuitId: string, zkeyBuffer: Uint8Array): Promise<string>;
+    /**
+     * Preload multiple circuits at app startup
+     * This prevents delays during first proof generation
+     *
+     * @param circuits - Map of circuitId to zkeyBuffer
+     */
+    preloadCircuits(circuits: Map<string, Uint8Array>): Promise<void>;
+    /**
+     * Get cached circuit info
+     */
+    getCircuitInfo(circuitId: string): CircuitInfo | undefined;
+    /**
+     * Clear all cached circuits from memory
+     * (Files remain on disk)
+     */
+    clearCache(): void;
+    /**
+     * Delete circuit files from filesystem
+     *
+     * @param circuitIds - Array of circuit IDs to delete, or empty to delete all
+     */
+    deleteCircuits(circuitIds?: string[]): Promise<void>;
+    /**
+     * Get total size of cached circuits
+     */
+    getTotalCacheSize(): number;
+    /**
+     * Get cache statistics
+     */
+    getCacheStats(): {
+        circuitCount: number;
+        totalSize: string;
+        circuits: CircuitInfo[];
+    };
+    /**
+     * Convert Uint8Array to base64 string
+     */
+    private static bufferToBase64;
+    /**
+     * Format file size for human readability
+     */
+    private static formatFileSize;
+}
+/**
+ * Create a circuit loader instance
+ * Automatically initializes RNFS if not already done
+ */
+export declare const createCircuitLoader: () => Promise<MoproCircuitLoader>;
+export {};

package/dist/services/dop/crypto/mopro-circuit-loader.js

@@ -0,0 +1,308 @@
+"use strict";
+/**
+ * Mopro Circuit Loader for React Native
+ *
+ * This module handles loading and caching DOP circuit files (zkey) on
+ * the React Native device filesystem. Circuit files are downloaded from
+ * IPFS by the artifact downloader and then saved to the app's document
+ * directory for use by Mopro's native proof generation.
+ *
+ * Features:
+ * - Caches circuit file paths to avoid repeated file operations
+ * - Handles circuit file compression (brotli)
+ * - Preloads circuits at app startup for faster proof generation
+ * - Manages cleanup of old circuit files
+ */
+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 __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createCircuitLoader = exports.MoproCircuitLoader = exports.isRNFSAvailable = exports.initializeRNFS = void 0;
+const runtime_1 = require("../util/runtime");
+let rnfsModule = null;
+/**
+ * Initialize React Native filesystem module
+ */
+const initializeRNFS = async () => {
+    var _a;
+    if (!runtime_1.isReactNative) {
+        return false;
+    }
+    try {
+        const moduleName = 'react-native-fs';
+        const rnfsImport = await (_a = moduleName, Promise.resolve().then(() => __importStar(require(_a))));
+        rnfsModule = (rnfsImport.default ?? rnfsImport);
+        console.log('📁 React Native FS initialized');
+        return true;
+    }
+    catch (error) {
+        console.warn('⚠️ react-native-fs not available:', error);
+        console.log('💡 Install react-native-fs: npm install react-native-fs');
+        return false;
+    }
+};
+exports.initializeRNFS = initializeRNFS;
+/**
+ * Check if RNFS is available
+ */
+const isRNFSAvailable = () => {
+    return runtime_1.isReactNative && rnfsModule !== null;
+};
+exports.isRNFSAvailable = isRNFSAvailable;
+/**
+ * Mopro Circuit Loader Class
+ *
+ * Manages circuit files on the React Native filesystem
+ */
+class MoproCircuitLoader {
+    circuitCache = new Map();
+    circuitsDir;
+    initialized = false;
+    constructor() {
+        if (!(0, exports.isRNFSAvailable)() || !rnfsModule) {
+            throw new Error('react-native-fs not available. Install it with: npm install react-native-fs');
+        }
+        this.circuitsDir = `${rnfsModule.DocumentDirectoryPath}/dop-circuits`;
+    }
+    /**
+     * Initialize the circuit loader
+     * Creates the circuits directory if it doesn't exist
+     */
+    async initialize() {
+        if (this.initialized || !rnfsModule) {
+            return;
+        }
+        try {
+            console.log('📂 Initializing Mopro circuit loader...');
+            console.log(`   Circuits directory: ${this.circuitsDir}`);
+            // Create circuits directory
+            await rnfsModule.mkdir(this.circuitsDir, {
+                NSURLIsExcludedFromBackupKey: true // Don't backup to iCloud
+            });
+            this.initialized = true;
+            console.log('✅ Circuit loader initialized');
+        }
+        catch (error) {
+            // Directory might already exist, that's okay
+            if (error instanceof Error && error.message.includes('already exists')) {
+                this.initialized = true;
+                console.log('✅ Circuit loader initialized (directory exists)');
+            }
+            else {
+                console.error('❌ Failed to initialize circuit loader:', error);
+                throw error;
+            }
+        }
+    }
+    /**
+     * Load a circuit file from buffer and save to filesystem
+     *
+     * @param circuitId - Circuit identifier (e.g., '1x2', '2x2')
+     * @param zkeyBuffer - The zkey file buffer
+     * @returns Path to the saved zkey file
+     */
+    async loadCircuit(circuitId, zkeyBuffer) {
+        if (!rnfsModule) {
+            throw new Error('react-native-fs not initialized');
+        }
+        await this.initialize();
+        // Check if circuit is already cached
+        const cached = this.circuitCache.get(circuitId);
+        if (cached) {
+            // Verify file still exists
+            const exists = await rnfsModule.exists(cached.zkeyPath);
+            if (exists) {
+                console.log(`📦 Using cached circuit: ${circuitId}`);
+                return cached.zkeyPath;
+            }
+            // File was deleted, remove from cache
+            this.circuitCache.delete(circuitId);
+        }
+        try {
+            console.log(`💾 Loading circuit to filesystem: ${circuitId}`);
+            const startTime = Date.now();
+            // Generate file path
+            const zkeyPath = `${this.circuitsDir}/${circuitId}.zkey`;
+            // Convert buffer to base64 for react-native-fs
+            const base64Data = MoproCircuitLoader.bufferToBase64(zkeyBuffer);
+            // Write to file
+            await rnfsModule.writeFile(zkeyPath, base64Data, 'base64');
+            // Verify file was written
+            const stat = await rnfsModule.stat(zkeyPath);
+            const fileSize = stat.size;
+            // Cache the circuit info
+            const circuitInfo = {
+                circuitId,
+                zkeyPath,
+                fileSize,
+                loadedAt: Date.now()
+            };
+            this.circuitCache.set(circuitId, circuitInfo);
+            const elapsedTime = Date.now() - startTime;
+            console.log(`✅ Circuit loaded successfully in ${elapsedTime}ms`);
+            // eslint-disable-next-line no-console
+            console.log(`   File size: ${MoproCircuitLoader.formatFileSize(fileSize)}`);
+            // eslint-disable-next-line no-console
+            console.log(`   Path: ${zkeyPath}`);
+            return zkeyPath;
+        }
+        catch (error) {
+            console.error(`❌ Failed to load circuit ${circuitId}:`, error);
+            throw new Error(`Circuit loading failed: ${error instanceof Error ? error.message : String(error)}`);
+        }
+    }
+    /**
+     * Preload multiple circuits at app startup
+     * This prevents delays during first proof generation
+     *
+     * @param circuits - Map of circuitId to zkeyBuffer
+     */
+    async preloadCircuits(circuits) {
+        console.log(`🚀 Preloading ${circuits.size} circuits...`);
+        const startTime = Date.now();
+        const loadPromises = Array.from(circuits.entries()).map(([circuitId, zkeyBuffer]) => this.loadCircuit(circuitId, zkeyBuffer));
+        try {
+            await Promise.all(loadPromises);
+            const elapsedTime = Date.now() - startTime;
+            console.log(`✅ Preloaded ${circuits.size} circuits in ${elapsedTime}ms`);
+        }
+        catch (error) {
+            console.error('❌ Failed to preload circuits:', error);
+            throw error;
+        }
+    }
+    /**
+     * Get cached circuit info
+     */
+    getCircuitInfo(circuitId) {
+        return this.circuitCache.get(circuitId);
+    }
+    /**
+     * Clear all cached circuits from memory
+     * (Files remain on disk)
+     */
+    clearCache() {
+        console.log(`🗑️ Clearing circuit cache (${this.circuitCache.size} entries)`);
+        this.circuitCache.clear();
+    }
+    /**
+     * Delete circuit files from filesystem
+     *
+     * @param circuitIds - Array of circuit IDs to delete, or empty to delete all
+     */
+    async deleteCircuits(circuitIds) {
+        if (!rnfsModule) {
+            throw new Error('react-native-fs not initialized');
+        }
+        const toDelete = circuitIds || Array.from(this.circuitCache.keys());
+        // eslint-disable-next-line no-console
+        console.log(`🗑️ Deleting ${toDelete.length} circuit files...`);
+        const rnfs = rnfsModule; // Capture for use in async callbacks
+        const deletePromises = toDelete.map(async (circuitId) => {
+            try {
+                const cached = this.circuitCache.get(circuitId);
+                if (cached) {
+                    const exists = await rnfs.exists(cached.zkeyPath);
+                    if (exists) {
+                        await rnfs.unlink(cached.zkeyPath);
+                        // eslint-disable-next-line no-console
+                        console.log(`   Deleted: ${circuitId}`);
+                    }
+                    this.circuitCache.delete(circuitId);
+                }
+            }
+            catch (error) {
+                // eslint-disable-next-line no-console
+                console.warn(`   Failed to delete ${circuitId}:`, error);
+            }
+        });
+        await Promise.all(deletePromises);
+        // eslint-disable-next-line no-console
+        console.log('✅ Circuit deletion complete');
+    }
+    /**
+     * Get total size of cached circuits
+     */
+    getTotalCacheSize() {
+        let totalSize = 0;
+        for (const info of this.circuitCache.values()) {
+            totalSize += info.fileSize;
+        }
+        return totalSize;
+    }
+    /**
+     * Get cache statistics
+     */
+    getCacheStats() {
+        const circuits = Array.from(this.circuitCache.values());
+        return {
+            circuitCount: circuits.length,
+            totalSize: MoproCircuitLoader.formatFileSize(this.getTotalCacheSize()),
+            circuits
+        };
+    }
+    /**
+     * Convert Uint8Array to base64 string
+     */
+    static bufferToBase64(buffer) {
+        if (typeof Buffer !== 'undefined') {
+            return Buffer.from(buffer).toString('base64');
+        }
+        // Fallback for environments without Buffer
+        let binary = '';
+        for (let i = 0; i < buffer.length; i += 1) {
+            binary += String.fromCharCode(buffer[i]);
+        }
+        return btoa(binary);
+    }
+    /**
+     * Format file size for human readability
+     */
+    static formatFileSize(bytes) {
+        if (bytes < 1024) {
+            return `${bytes} B`;
+        }
+        if (bytes < 1024 * 1024) {
+            return `${(bytes / 1024).toFixed(2)} KB`;
+        }
+        return `${(bytes / (1024 * 1024)).toFixed(2)} MB`;
+    }
+}
+exports.MoproCircuitLoader = MoproCircuitLoader;
+/**
+ * Create a circuit loader instance
+ * Automatically initializes RNFS if not already done
+ */
+const createCircuitLoader = async () => {
+    if (!(0, exports.isRNFSAvailable)()) {
+        const initialized = await (0, exports.initializeRNFS)();
+        if (!initialized) {
+            throw new Error('Failed to initialize react-native-fs. Make sure it is installed and linked properly.');
+        }
+    }
+    const loader = new MoproCircuitLoader();
+    await loader.initialize();
+    return loader;
+};
+exports.createCircuitLoader = createCircuitLoader;
+//# sourceMappingURL=mopro-circuit-loader.js.map

package/dist/services/dop/crypto/mopro-circuit-loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mopro-circuit-loader.js","sourceRoot":"","sources":["../../../../src/services/dop/crypto/mopro-circuit-loader.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,6CAAgD;AA0BhD,IAAI,UAAU,GAAyB,IAAI,CAAC;AAE5C;;GAEG;AACI,MAAM,cAAc,GAAG,KAAK,IAAsB,EAAE;;IACzD,IAAI,CAAC,uBAAa,EAAE;QAClB,OAAO,KAAK,CAAC;KACd;IAED,IAAI;QACF,MAAM,UAAU,GAAG,iBAAiB,CAAC;QACrC,MAAM,UAAU,GAAG,YAAa,UAAU,0DAAC,CAAC;QAC5C,UAAU,GAAG,CAAC,UAAU,CAAC,OAAO,IAAI,UAAU,CAAkB,CAAC;QAEjE,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;QAC9C,OAAO,IAAI,CAAC;KACb;IAAC,OAAO,KAAK,EAAE;QACd,OAAO,CAAC,IAAI,CAAC,mCAAmC,EAAE,KAAK,CAAC,CAAC;QACzD,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC;QACvE,OAAO,KAAK,CAAC;KACd;AACH,CAAC,CAAC;AAjBW,QAAA,cAAc,kBAiBzB;AAEF;;GAEG;AACI,MAAM,eAAe,GAAG,GAAY,EAAE;IAC3C,OAAO,uBAAa,IAAI,UAAU,KAAK,IAAI,CAAC;AAC9C,CAAC,CAAC;AAFW,QAAA,eAAe,mBAE1B;AAEF;;;;GAIG;AACH,MAAa,kBAAkB;IACrB,YAAY,GAA6B,IAAI,GAAG,EAAE,CAAC;IACnD,WAAW,CAAS;IACpB,WAAW,GAAG,KAAK,CAAC;IAE5B;QACE,IAAI,CAAC,IAAA,uBAAe,GAAE,IAAI,CAAC,UAAU,EAAE;YACrC,MAAM,IAAI,KAAK,CACb,6EAA6E,CAC9E,CAAC;SACH;QAED,IAAI,CAAC,WAAW,GAAG,GAAG,UAAU,CAAC,qBAAqB,eAAe,CAAC;IACxE,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,UAAU;QACd,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU,EAAE;YACnC,OAAO;SACR;QAED,IAAI;YACF,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;YACvD,OAAO,CAAC,GAAG,CAAC,0BAA0B,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAE1D,4BAA4B;YAC5B,MAAM,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE;gBACvC,4BAA4B,EAAE,IAAI,CAAC,yBAAyB;aAC7D,CAAC,CAAC;YAEH,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;SAC7C;QAAC,OAAO,KAAK,EAAE;YACd,6CAA6C;YAC7C,IAAI,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE;gBACtE,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;gBACxB,OAAO,CAAC,GAAG,CAAC,iDAAiD,CAAC,CAAC;aAChE;iBAAM;gBACL,OAAO,CAAC,KAAK,CAAC,wCAAwC,EAAE,KAAK,CAAC,CAAC;gBAC/D,MAAM,KAAK,CAAC;aACb;SACF;IACH,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,WAAW,CACf,SAAiB,EACjB,UAAsB;QAEtB,IAAI,CAAC,UAAU,EAAE;YACf,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;SACpD;QAED,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QAExB,qCAAqC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,MAAM,EAAE;YACV,2BAA2B;YAC3B,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACxD,IAAI,MAAM,EAAE;gBACV,OAAO,CAAC,GAAG,CAAC,4BAA4B,SAAS,EAAE,CAAC,CAAC;gBACrD,OAAO,MAAM,CAAC,QAAQ,CAAC;aACxB;YACD,sCAAsC;YACtC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;SACrC;QAED,IAAI;YACF,OAAO,CAAC,GAAG,CAAC,qCAAqC,SAAS,EAAE,CAAC,CAAC;YAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAE7B,qBAAqB;YACrB,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,WAAW,IAAI,SAAS,OAAO,CAAC;YAEzD,+CAA+C;YAC/C,MAAM,UAAU,GAAG,kBAAkB,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;YAEjE,gBAAgB;YAChB,MAAM,UAAU,CAAC,SAAS,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YAE3D,0BAA0B;YAC1B,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;YAE3B,yBAAyB;YACzB,MAAM,WAAW,GAAgB;gBAC/B,SAAS;gBACT,QAAQ;gBACR,QAAQ;gBACR,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE;aACrB,CAAC;YACF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YAE9C,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,oCAAoC,WAAW,IAAI,CAAC,CAAC;YACjE,sCAAsC;YACtC,OAAO,CAAC,GAAG,CAAC,iBAAiB,kBAAkB,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC5E,sCAAsC;YACtC,OAAO,CAAC,GAAG,CAAC,YAAY,QAAQ,EAAE,CAAC,CAAC;YAEpC,OAAO,QAAQ,CAAC;SAEjB;QAAC,OAAO,KAAK,EAAE;YACd,OAAO,CAAC,KAAK,CAAC,4BAA4B,SAAS,GAAG,EAAE,KAAK,CAAC,CAAC;YAC/D,MAAM,IAAI,KAAK,CACb,2BAA2B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACpF,CAAC;SACH;IACH,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,eAAe,CACnB,QAAiC;QAEjC,OAAO,CAAC,GAAG,CAAC,iBAAiB,QAAQ,CAAC,IAAI,cAAc,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CACrD,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC,CACrE,CAAC;QAEF,IAAI;YACF,MAAM,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAChC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,eAAe,QAAQ,CAAC,IAAI,gBAAgB,WAAW,IAAI,CAAC,CAAC;SAC1E;QAAC,OAAO,KAAK,EAAE;YACd,OAAO,CAAC,KAAK,CAAC,+BAA+B,EAAE,KAAK,CAAC,CAAC;YACtD,MAAM,KAAK,CAAC;SACb;IACH,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,SAAiB;QAC9B,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED;;;OAGG;IACH,UAAU;QACR,OAAO,CAAC,GAAG,CAAC,+BAA+B,IAAI,CAAC,YAAY,CAAC,IAAI,WAAW,CAAC,CAAC;QAC9E,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,cAAc,CAAC,UAAqB;QACxC,IAAI,CAAC,UAAU,EAAE;YACf,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;SACpD;QAED,MAAM,QAAQ,GAAG,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC;QACpE,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,gBAAgB,QAAQ,CAAC,MAAM,mBAAmB,CAAC,CAAC;QAEhE,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,qCAAqC;QAC9D,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE;YACtD,IAAI;gBACF,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAChD,IAAI,MAAM,EAAE;oBACV,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;oBAClD,IAAI,MAAM,EAAE;wBACV,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;wBACnC,sCAAsC;wBACtC,OAAO,CAAC,GAAG,CAAC,eAAe,SAAS,EAAE,CAAC,CAAC;qBACzC;oBACD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;iBACrC;aACF;YAAC,OAAO,KAAK,EAAE;gBACd,sCAAsC;gBACtC,OAAO,CAAC,IAAI,CAAC,uBAAuB,SAAS,GAAG,EAAE,KAAK,CAAC,CAAC;aAC1D;QACH,CAAC,CAAC,CAAC;QAEH,MAAM,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAElC,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAC7C,CAAC;IAED;;OAEG;IACH,iBAAiB;QACf,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE;YAC7C,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC;SAC5B;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,aAAa;QAKX,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;QACxD,OAAO;YACL,YAAY,EAAE,QAAQ,CAAC,MAAM;YAC7B,SAAS,EAAE,kBAAkB,CAAC,cAAc,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACtE,QAAQ;SACT,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,MAAM,CAAC,cAAc,CAAC,MAAkB;QAC9C,IAAI,OAAO,MAAM,KAAK,WAAW,EAAE;YACjC,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;SAC/C;QAED,2CAA2C;QAC3C,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE;YACzC,MAAM,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;SAC1C;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAED;;OAEG;IACK,MAAM,CAAC,cAAc,CAAC,KAAa;QACzC,IAAI,KAAK,GAAG,IAAI,EAAE;YAChB,OAAO,GAAG,KAAK,IAAI,CAAC;SACrB;QACD,IAAI,KAAK,GAAG,IAAI,GAAG,IAAI,EAAE;YACvB,OAAO,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;SAC1C;QACD,OAAO,GAAG,CAAC,KAAK,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;IACpD,CAAC;CACF;AAhQD,gDAgQC;AAED;;;GAGG;AACI,MAAM,mBAAmB,GAAG,KAAK,IAAiC,EAAE;IACzE,IAAI,CAAC,IAAA,uBAAe,GAAE,EAAE;QACtB,MAAM,WAAW,GAAG,MAAM,IAAA,sBAAc,GAAE,CAAC;QAC3C,IAAI,CAAC,WAAW,EAAE;YAChB,MAAM,IAAI,KAAK,CACb,sFAAsF,CACvF,CAAC;SACH;KACF;IAED,MAAM,MAAM,GAAG,IAAI,kBAAkB,EAAE,CAAC;IACxC,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;IAC1B,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAbW,QAAA,mBAAmB,uBAa9B","sourcesContent":["/**\n * Mopro Circuit Loader for React Native\n * \n * This module handles loading and caching DOP circuit files (zkey) on\n * the React Native device filesystem. Circuit files are downloaded from\n * IPFS by the artifact downloader and then saved to the app's document\n * directory for use by Mopro's native proof generation.\n * \n * Features:\n * - Caches circuit file paths to avoid repeated file operations\n * - Handles circuit file compression (brotli)\n * - Preloads circuits at app startup for faster proof generation\n * - Manages cleanup of old circuit files\n */\n\nimport { isReactNative } from '../util/runtime';\n\n/**\n * Circuit file information\n */\ninterface CircuitInfo {\n  circuitId: string;\n  zkeyPath: string;\n  fileSize: number;\n  loadedAt: number;\n}\n\n/**\n * React Native filesystem interface (react-native-fs)\n * Declared as interface to avoid compilation errors when not installed\n */\ninterface ReactNativeFS {\n  DocumentDirectoryPath: string;\n  mkdir: (path: string, options?: { NSURLIsExcludedFromBackupKey?: boolean }) => Promise<void>;\n  writeFile: (path: string, contents: string, encoding?: string) => Promise<void>;\n  readFile: (path: string, encoding?: string) => Promise<string>;\n  exists: (path: string) => Promise<boolean>;\n  unlink: (path: string) => Promise<void>;\n  stat: (path: string) => Promise<{ size: number }>;\n}\n\nlet rnfsModule: ReactNativeFS | null = null;\n\n/**\n * Initialize React Native filesystem module\n */\nexport const initializeRNFS = async (): Promise<boolean> => {\n  if (!isReactNative) {\n    return false;\n  }\n\n  try {\n    const moduleName = 'react-native-fs';\n    const rnfsImport = await import(moduleName);\n    rnfsModule = (rnfsImport.default ?? rnfsImport) as ReactNativeFS;\n    \n    console.log('📁 React Native FS initialized');\n    return true;\n  } catch (error) {\n    console.warn('⚠️ react-native-fs not available:', error);\n    console.log('💡 Install react-native-fs: npm install react-native-fs');\n    return false;\n  }\n};\n\n/**\n * Check if RNFS is available\n */\nexport const isRNFSAvailable = (): boolean => {\n  return isReactNative && rnfsModule !== null;\n};\n\n/**\n * Mopro Circuit Loader Class\n * \n * Manages circuit files on the React Native filesystem\n */\nexport class MoproCircuitLoader {\n  private circuitCache: Map<string, CircuitInfo> = new Map();\n  private circuitsDir: string;\n  private initialized = false;\n\n  constructor() {\n    if (!isRNFSAvailable() || !rnfsModule) {\n      throw new Error(\n        'react-native-fs not available. Install it with: npm install react-native-fs'\n      );\n    }\n    \n    this.circuitsDir = `${rnfsModule.DocumentDirectoryPath}/dop-circuits`;\n  }\n\n  /**\n   * Initialize the circuit loader\n   * Creates the circuits directory if it doesn't exist\n   */\n  async initialize(): Promise<void> {\n    if (this.initialized || !rnfsModule) {\n      return;\n    }\n\n    try {\n      console.log('📂 Initializing Mopro circuit loader...');\n      console.log(`   Circuits directory: ${this.circuitsDir}`);\n\n      // Create circuits directory\n      await rnfsModule.mkdir(this.circuitsDir, {\n        NSURLIsExcludedFromBackupKey: true // Don't backup to iCloud\n      });\n\n      this.initialized = true;\n      console.log('✅ Circuit loader initialized');\n    } catch (error) {\n      // Directory might already exist, that's okay\n      if (error instanceof Error && error.message.includes('already exists')) {\n        this.initialized = true;\n        console.log('✅ Circuit loader initialized (directory exists)');\n      } else {\n        console.error('❌ Failed to initialize circuit loader:', error);\n        throw error;\n      }\n    }\n  }\n\n  /**\n   * Load a circuit file from buffer and save to filesystem\n   * \n   * @param circuitId - Circuit identifier (e.g., '1x2', '2x2')\n   * @param zkeyBuffer - The zkey file buffer\n   * @returns Path to the saved zkey file\n   */\n  async loadCircuit(\n    circuitId: string,\n    zkeyBuffer: Uint8Array\n  ): Promise<string> {\n    if (!rnfsModule) {\n      throw new Error('react-native-fs not initialized');\n    }\n\n    await this.initialize();\n\n    // Check if circuit is already cached\n    const cached = this.circuitCache.get(circuitId);\n    if (cached) {\n      // Verify file still exists\n      const exists = await rnfsModule.exists(cached.zkeyPath);\n      if (exists) {\n        console.log(`📦 Using cached circuit: ${circuitId}`);\n        return cached.zkeyPath;\n      }\n      // File was deleted, remove from cache\n      this.circuitCache.delete(circuitId);\n    }\n\n    try {\n      console.log(`💾 Loading circuit to filesystem: ${circuitId}`);\n      const startTime = Date.now();\n\n      // Generate file path\n      const zkeyPath = `${this.circuitsDir}/${circuitId}.zkey`;\n\n      // Convert buffer to base64 for react-native-fs\n      const base64Data = MoproCircuitLoader.bufferToBase64(zkeyBuffer);\n\n      // Write to file\n      await rnfsModule.writeFile(zkeyPath, base64Data, 'base64');\n\n      // Verify file was written\n      const stat = await rnfsModule.stat(zkeyPath);\n      const fileSize = stat.size;\n\n      // Cache the circuit info\n      const circuitInfo: CircuitInfo = {\n        circuitId,\n        zkeyPath,\n        fileSize,\n        loadedAt: Date.now()\n      };\n      this.circuitCache.set(circuitId, circuitInfo);\n\n      const elapsedTime = Date.now() - startTime;\n      console.log(`✅ Circuit loaded successfully in ${elapsedTime}ms`);\n      // eslint-disable-next-line no-console\n      console.log(`   File size: ${MoproCircuitLoader.formatFileSize(fileSize)}`);\n      // eslint-disable-next-line no-console\n      console.log(`   Path: ${zkeyPath}`);\n\n      return zkeyPath;\n\n    } catch (error) {\n      console.error(`❌ Failed to load circuit ${circuitId}:`, error);\n      throw new Error(\n        `Circuit loading failed: ${error instanceof Error ? error.message : String(error)}`\n      );\n    }\n  }\n\n  /**\n   * Preload multiple circuits at app startup\n   * This prevents delays during first proof generation\n   * \n   * @param circuits - Map of circuitId to zkeyBuffer\n   */\n  async preloadCircuits(\n    circuits: Map<string, Uint8Array>\n  ): Promise<void> {\n    console.log(`🚀 Preloading ${circuits.size} circuits...`);\n    const startTime = Date.now();\n\n    const loadPromises = Array.from(circuits.entries()).map(\n      ([circuitId, zkeyBuffer]) => this.loadCircuit(circuitId, zkeyBuffer)\n    );\n\n    try {\n      await Promise.all(loadPromises);\n      const elapsedTime = Date.now() - startTime;\n      console.log(`✅ Preloaded ${circuits.size} circuits in ${elapsedTime}ms`);\n    } catch (error) {\n      console.error('❌ Failed to preload circuits:', error);\n      throw error;\n    }\n  }\n\n  /**\n   * Get cached circuit info\n   */\n  getCircuitInfo(circuitId: string): CircuitInfo | undefined {\n    return this.circuitCache.get(circuitId);\n  }\n\n  /**\n   * Clear all cached circuits from memory\n   * (Files remain on disk)\n   */\n  clearCache(): void {\n    console.log(`🗑️ Clearing circuit cache (${this.circuitCache.size} entries)`);\n    this.circuitCache.clear();\n  }\n\n  /**\n   * Delete circuit files from filesystem\n   * \n   * @param circuitIds - Array of circuit IDs to delete, or empty to delete all\n   */\n  async deleteCircuits(circuitIds?: string[]): Promise<void> {\n    if (!rnfsModule) {\n      throw new Error('react-native-fs not initialized');\n    }\n\n    const toDelete = circuitIds || Array.from(this.circuitCache.keys());\n    // eslint-disable-next-line no-console\n    console.log(`🗑️ Deleting ${toDelete.length} circuit files...`);\n\n    const rnfs = rnfsModule; // Capture for use in async callbacks\n    const deletePromises = toDelete.map(async (circuitId) => {\n      try {\n        const cached = this.circuitCache.get(circuitId);\n        if (cached) {\n          const exists = await rnfs.exists(cached.zkeyPath);\n          if (exists) {\n            await rnfs.unlink(cached.zkeyPath);\n            // eslint-disable-next-line no-console\n            console.log(`   Deleted: ${circuitId}`);\n          }\n          this.circuitCache.delete(circuitId);\n        }\n      } catch (error) {\n        // eslint-disable-next-line no-console\n        console.warn(`   Failed to delete ${circuitId}:`, error);\n      }\n    });\n    \n    await Promise.all(deletePromises);\n\n    // eslint-disable-next-line no-console\n    console.log('✅ Circuit deletion complete');\n  }\n\n  /**\n   * Get total size of cached circuits\n   */\n  getTotalCacheSize(): number {\n    let totalSize = 0;\n    for (const info of this.circuitCache.values()) {\n      totalSize += info.fileSize;\n    }\n    return totalSize;\n  }\n\n  /**\n   * Get cache statistics\n   */\n  getCacheStats(): {\n    circuitCount: number;\n    totalSize: string;\n    circuits: CircuitInfo[];\n  } {\n    const circuits = Array.from(this.circuitCache.values());\n    return {\n      circuitCount: circuits.length,\n      totalSize: MoproCircuitLoader.formatFileSize(this.getTotalCacheSize()),\n      circuits\n    };\n  }\n\n  /**\n   * Convert Uint8Array to base64 string\n   */\n  private static bufferToBase64(buffer: Uint8Array): string {\n    if (typeof Buffer !== 'undefined') {\n      return Buffer.from(buffer).toString('base64');\n    }\n\n    // Fallback for environments without Buffer\n    let binary = '';\n    for (let i = 0; i < buffer.length; i += 1) {\n      binary += String.fromCharCode(buffer[i]);\n    }\n    return btoa(binary);\n  }\n\n  /**\n   * Format file size for human readability\n   */\n  private static formatFileSize(bytes: number): string {\n    if (bytes < 1024) {\n      return `${bytes} B`;\n    }\n    if (bytes < 1024 * 1024) {\n      return `${(bytes / 1024).toFixed(2)} KB`;\n    }\n    return `${(bytes / (1024 * 1024)).toFixed(2)} MB`;\n  }\n}\n\n/**\n * Create a circuit loader instance\n * Automatically initializes RNFS if not already done\n */\nexport const createCircuitLoader = async (): Promise<MoproCircuitLoader> => {\n  if (!isRNFSAvailable()) {\n    const initialized = await initializeRNFS();\n    if (!initialized) {\n      throw new Error(\n        'Failed to initialize react-native-fs. Make sure it is installed and linked properly.'\n      );\n    }\n  }\n\n  const loader = new MoproCircuitLoader();\n  await loader.initialize();\n  return loader;\n};\n"]}

package/dist/services/dop/crypto/mopro-prover-adapter.d.ts

@@ -0,0 +1,117 @@
+/**
+ * Mopro Prover Adapter for React Native
+ *
+ * This adapter enables fully on-device zero-knowledge proof generation
+ * using the Mopro (Mobile Prover) toolkit, eliminating the need for
+ * backend witness generation services.
+ *
+ * Mopro provides native witness calculation and proof generation through
+ * Rust FFI bindings, bypassing React Native's WebAssembly limitations.
+ *
+ * Performance Benefits:
+ * - Witness generation: 2-29x faster than browser SnarkJS
+ * - Proof generation: 8-15x faster than browser SnarkJS
+ * - Native iOS/Android performance
+ * - No network calls required
+ *
+ * @see https://zkmopro.org/docs/intro
+ */
+import type { FormattedCircuitInputsDop, Proof } from 'dop-engine-v3';
+/**
+ * Mopro CircomProofResult structure
+ * This is the proof format returned by mopro's generateCircomProof
+ */
+interface MoproCircomProofResult {
+    proof: {
+        a: string[];
+        b: string[][];
+        c: string[];
+    };
+    pub_signals: string[];
+}
+/**
+ * Mopro ProofLib enum for selecting proof backend
+ */
+declare enum ProofLib {
+    Arkworks = "Arkworks",
+    Rapidsnark = "Rapidsnark"
+}
+/**
+ * Initialize Mopro module
+ * Dynamically imports mopro-ffi to avoid compilation errors when not installed
+ */
+export declare const initializeMopro: () => Promise<boolean>;
+/**
+ * Check if Mopro is available and initialized
+ */
+export declare const isMoproAvailable: () => boolean;
+/**
+ * Mopro Prover Adapter Class
+ *
+ * Provides a unified interface for generating proofs with Mopro
+ * that is compatible with DOP Engine's proof format.
+ */
+export declare class MoproProverAdapter {
+    private proofLib;
+    constructor(proofLib?: ProofLib);
+    /**
+     * Generate a zero-knowledge proof using Mopro
+     *
+     * @param circuitId - Circuit identifier for logging/debugging
+     * @param zkeyPath - Path to the zkey file on device filesystem
+     * @param jsonInputs - Circuit inputs in JSON format
+     * @param progressCallback - Optional progress callback (0-100)
+     * @returns DOP Engine compatible proof object
+     */
+    generateProof(circuitId: string, zkeyPath: string, jsonInputs: FormattedCircuitInputsDop, progressCallback?: (progress: number) => void): Promise<Proof>;
+    /**
+     * Verify a proof using Mopro (optional, for debugging)
+     *
+     * @param zkeyPath - Path to the zkey file
+     * @param proof - The proof to verify
+     * @returns true if proof is valid
+     */
+    verifyProof(zkeyPath: string, proof: MoproCircomProofResult): Promise<boolean>;
+    /**
+     * Convert Mopro proof format to DOP Engine format
+     *
+     * Mopro format:
+     * {
+     *   proof: { a: [string, string], b: [[string, string], [string, string]], c: [string, string] },
+     *   pub_signals: string[]
+     * }
+     *
+     * DOP Engine format:
+     * {
+     *   pi_a: [string, string],
+     *   pi_b: [[string, string], [string, string]],
+     *   pi_c: [string, string]
+     * }
+     *
+     * Note: Public signals are handled separately by DOP Engine
+     */
+    private static convertMoproProofToDopFormat;
+    /**
+     * Get public signals from Mopro proof result
+     * DOP Engine may need these separately
+     */
+    static getPublicSignals(moproResult: MoproCircomProofResult): string[];
+    /**
+     * Set the proof backend (Arkworks or Rapidsnark)
+     *
+     * Arkworks: Pure Rust implementation, consistent performance
+     * Rapidsnark: C++ optimized, potentially faster on some devices
+     */
+    setProofLib(proofLib: ProofLib): void;
+}
+/**
+ * Export ProofLib enum for external use
+ */
+export { ProofLib };
+/**
+ * Create a configured Mopro prover adapter
+ *
+ * @param useRapidsnark - Use Rapidsnark backend instead of Arkworks
+ * @returns Configured MoproProverAdapter instance
+ */
+export declare const createMoproProver: (useRapidsnark?: boolean) => MoproProverAdapter;

package/dist/services/dop/crypto/mopro-prover-adapter.js

@@ -0,0 +1,243 @@
+"use strict";
+/**
+ * Mopro Prover Adapter for React Native
+ *
+ * This adapter enables fully on-device zero-knowledge proof generation
+ * using the Mopro (Mobile Prover) toolkit, eliminating the need for
+ * backend witness generation services.
+ *
+ * Mopro provides native witness calculation and proof generation through
+ * Rust FFI bindings, bypassing React Native's WebAssembly limitations.
+ *
+ * Performance Benefits:
+ * - Witness generation: 2-29x faster than browser SnarkJS
+ * - Proof generation: 8-15x faster than browser SnarkJS
+ * - Native iOS/Android performance
+ * - No network calls required
+ *
+ * @see https://zkmopro.org/docs/intro
+ */
+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 __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createMoproProver = exports.ProofLib = exports.MoproProverAdapter = exports.isMoproAvailable = exports.initializeMopro = void 0;
+const runtime_1 = require("../util/runtime");
+/**
+ * Mopro ProofLib enum for selecting proof backend
+ */
+var ProofLib;
+(function (ProofLib) {
+    ProofLib["Arkworks"] = "Arkworks";
+    ProofLib["Rapidsnark"] = "Rapidsnark";
+})(ProofLib || (ProofLib = {}));
+exports.ProofLib = ProofLib;
+let moproModule = null;
+/**
+ * Initialize Mopro module
+ * Dynamically imports mopro-ffi to avoid compilation errors when not installed
+ */
+const initializeMopro = async () => {
+    var _a;
+    if (!runtime_1.isReactNative) {
+        console.log('🖥️ Not in React Native environment, skipping mopro initialization');
+        return false;
+    }
+    try {
+        console.log('📱 Initializing Mopro for React Native...');
+        // Dynamic import to avoid errors when mopro-ffi is not installed
+        let moproImport;
+        try {
+            const moduleName = 'mopro-ffi';
+            moproImport = await (_a = moduleName, Promise.resolve().then(() => __importStar(require(_a))));
+        }
+        catch (importError) {
+            console.log('📝 mopro-ffi not available:', String(importError));
+            console.log('💡 Install mopro-ffi for on-device proof generation:');
+            console.log('   npm install mopro-ffi');
+            console.log('   Follow setup guide: https://zkmopro.org/docs/setup/react-native-setup');
+            return false;
+        }
+        const { generateCircomProof, verifyCircomProof } = moproImport;
+        moproModule = {
+            generateCircomProof,
+            verifyCircomProof
+        };
+        console.log('✅ Mopro initialized successfully');
+        console.log('🚀 Fully on-device proof generation enabled');
+        return true;
+    }
+    catch (error) {
+        console.warn('⚠️ Mopro initialization failed:', error);
+        return false;
+    }
+};
+exports.initializeMopro = initializeMopro;
+/**
+ * Check if Mopro is available and initialized
+ */
+const isMoproAvailable = () => {
+    return runtime_1.isReactNative && moproModule !== null;
+};
+exports.isMoproAvailable = isMoproAvailable;
+/**
+ * Mopro Prover Adapter Class
+ *
+ * Provides a unified interface for generating proofs with Mopro
+ * that is compatible with DOP Engine's proof format.
+ */
+class MoproProverAdapter {
+    proofLib;
+    constructor(proofLib = ProofLib.Arkworks) {
+        this.proofLib = proofLib;
+        if (!(0, exports.isMoproAvailable)()) {
+            throw new Error('Mopro is not initialized. Call initializeMopro() first.');
+        }
+    }
+    /**
+     * Generate a zero-knowledge proof using Mopro
+     *
+     * @param circuitId - Circuit identifier for logging/debugging
+     * @param zkeyPath - Path to the zkey file on device filesystem
+     * @param jsonInputs - Circuit inputs in JSON format
+     * @param progressCallback - Optional progress callback (0-100)
+     * @returns DOP Engine compatible proof object
+     */
+    async generateProof(circuitId, zkeyPath, jsonInputs, progressCallback) {
+        if (!moproModule) {
+            throw new Error('Mopro module not initialized');
+        }
+        try {
+            console.log(`🔐 Generating proof with Mopro for circuit: ${circuitId}`);
+            const startTime = Date.now();
+            if (progressCallback) {
+                progressCallback(10);
+            }
+            // Convert circuit inputs to JSON string
+            const circuitInputsJson = JSON.stringify(jsonInputs);
+            // Remove 'file://' prefix if present
+            const cleanZkeyPath = zkeyPath.replace('file://', '');
+            if (progressCallback) {
+                progressCallback(20);
+            }
+            // Generate proof using Mopro
+            console.log(`   Using proof backend: ${this.proofLib}`);
+            const moproResult = moproModule.generateCircomProof(cleanZkeyPath, circuitInputsJson, this.proofLib);
+            if (progressCallback) {
+                progressCallback(90);
+            }
+            // Convert Mopro proof format to DOP Engine format
+            const dopProof = MoproProverAdapter.convertMoproProofToDopFormat(moproResult);
+            const elapsedTime = Date.now() - startTime;
+            console.log(`✅ Proof generated successfully in ${elapsedTime}ms`);
+            if (progressCallback) {
+                progressCallback(100);
+            }
+            return dopProof;
+        }
+        catch (error) {
+            console.error(`❌ Mopro proof generation failed for ${circuitId}:`, error);
+            throw new Error(`Mopro proof generation failed: ${error instanceof Error ? error.message : String(error)}`);
+        }
+    }
+    /**
+     * Verify a proof using Mopro (optional, for debugging)
+     *
+     * @param zkeyPath - Path to the zkey file
+     * @param proof - The proof to verify
+     * @returns true if proof is valid
+     */
+    async verifyProof(zkeyPath, proof) {
+        if (!moproModule) {
+            throw new Error('Mopro module not initialized');
+        }
+        try {
+            const cleanZkeyPath = zkeyPath.replace('file://', '');
+            const isValid = moproModule.verifyCircomProof(cleanZkeyPath, proof, this.proofLib);
+            console.log(`🔍 Proof verification result: ${isValid ? '✅ Valid' : '❌ Invalid'}`);
+            return isValid;
+        }
+        catch (error) {
+            console.error('❌ Proof verification failed:', error);
+            return false;
+        }
+    }
+    /**
+     * Convert Mopro proof format to DOP Engine format
+     *
+     * Mopro format:
+     * {
+     *   proof: { a: [string, string], b: [[string, string], [string, string]], c: [string, string] },
+     *   pub_signals: string[]
+     * }
+     *
+     * DOP Engine format:
+     * {
+     *   pi_a: [string, string],
+     *   pi_b: [[string, string], [string, string]],
+     *   pi_c: [string, string]
+     * }
+     *
+     * Note: Public signals are handled separately by DOP Engine
+     */
+    static convertMoproProofToDopFormat(moproResult) {
+        return {
+            pi_a: [moproResult.proof.a[0], moproResult.proof.a[1]],
+            pi_b: [
+                [moproResult.proof.b[0][0], moproResult.proof.b[0][1]],
+                [moproResult.proof.b[1][0], moproResult.proof.b[1][1]]
+            ],
+            pi_c: [moproResult.proof.c[0], moproResult.proof.c[1]]
+        };
+    }
+    /**
+     * Get public signals from Mopro proof result
+     * DOP Engine may need these separately
+     */
+    static getPublicSignals(moproResult) {
+        return moproResult.pub_signals;
+    }
+    /**
+     * Set the proof backend (Arkworks or Rapidsnark)
+     *
+     * Arkworks: Pure Rust implementation, consistent performance
+     * Rapidsnark: C++ optimized, potentially faster on some devices
+     */
+    setProofLib(proofLib) {
+        this.proofLib = proofLib;
+        console.log(`📝 Mopro proof backend set to: ${proofLib}`);
+    }
+}
+exports.MoproProverAdapter = MoproProverAdapter;
+/**
+ * Create a configured Mopro prover adapter
+ *
+ * @param useRapidsnark - Use Rapidsnark backend instead of Arkworks
+ * @returns Configured MoproProverAdapter instance
+ */
+const createMoproProver = (useRapidsnark = false) => {
+    const proofLib = useRapidsnark ? ProofLib.Rapidsnark : ProofLib.Arkworks;
+    return new MoproProverAdapter(proofLib);
+};
+exports.createMoproProver = createMoproProver;
+//# sourceMappingURL=mopro-prover-adapter.js.map

package/dist/services/dop/crypto/mopro-prover-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mopro-prover-adapter.js","sourceRoot":"","sources":["../../../../src/services/dop/crypto/mopro-prover-adapter.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,6CAAgD;AAgBhD;;GAEG;AACH,IAAK,QAGJ;AAHD,WAAK,QAAQ;IACX,iCAAqB,CAAA;IACrB,qCAAyB,CAAA;AAC3B,CAAC,EAHI,QAAQ,KAAR,QAAQ,QAGZ;AAsPQ,4BAAQ;AAnOjB,IAAI,WAAW,GAAoB,IAAI,CAAC;AAExC;;;GAGG;AACI,MAAM,eAAe,GAAG,KAAK,IAAsB,EAAE;;IAC1D,IAAI,CAAC,uBAAa,EAAE;QAClB,OAAO,CAAC,GAAG,CAAC,oEAAoE,CAAC,CAAC;QAClF,OAAO,KAAK,CAAC;KACd;IAED,IAAI;QACF,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;QAEzD,iEAAiE;QACjE,IAAI,WAAoB,CAAC;QACzB,IAAI;YACF,MAAM,UAAU,GAAG,WAAW,CAAC;YAC/B,WAAW,GAAG,YAAa,UAAU,0DAAC,CAAC;SACxC;QAAC,OAAO,WAAW,EAAE;YACpB,OAAO,CAAC,GAAG,CAAC,6BAA6B,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,CAAC,sDAAsD,CAAC,CAAC;YACpE,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,0EAA0E,CAAC,CAAC;YACxF,OAAO,KAAK,CAAC;SACd;QAED,MAAM,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,GAAG,WAGlD,CAAC;QAEF,WAAW,GAAG;YACZ,mBAAmB;YACnB,iBAAiB;SAClB,CAAC;QAEF,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC;KAEb;IAAC,OAAO,KAAK,EAAE;QACd,OAAO,CAAC,IAAI,CAAC,iCAAiC,EAAE,KAAK,CAAC,CAAC;QACvD,OAAO,KAAK,CAAC;KACd;AACH,CAAC,CAAC;AAxCW,QAAA,eAAe,mBAwC1B;AAEF;;GAEG;AACI,MAAM,gBAAgB,GAAG,GAAY,EAAE;IAC5C,OAAO,uBAAa,IAAI,WAAW,KAAK,IAAI,CAAC;AAC/C,CAAC,CAAC;AAFW,QAAA,gBAAgB,oBAE3B;AAEF;;;;;GAKG;AACH,MAAa,kBAAkB;IACrB,QAAQ,CAAW;IAE3B,YAAY,WAAqB,QAAQ,CAAC,QAAQ;QAChD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAEzB,IAAI,CAAC,IAAA,wBAAgB,GAAE,EAAE;YACvB,MAAM,IAAI,KAAK,CACb,yDAAyD,CAC1D,CAAC;SACH;IACH,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,aAAa,CACjB,SAAiB,EACjB,QAAgB,EAChB,UAAqC,EACrC,gBAA6C;QAE7C,IAAI,CAAC,WAAW,EAAE;YAChB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;SACjD;QAED,IAAI;YACF,OAAO,CAAC,GAAG,CAAC,+CAA+C,SAAS,EAAE,CAAC,CAAC;YACxE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAE7B,IAAI,gBAAgB,EAAE;gBACpB,gBAAgB,CAAC,EAAE,CAAC,CAAC;aACtB;YAED,wCAAwC;YACxC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAErD,qCAAqC;YACrC,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAEtD,IAAI,gBAAgB,EAAE;gBACpB,gBAAgB,CAAC,EAAE,CAAC,CAAC;aACtB;YAED,6BAA6B;YAC7B,OAAO,CAAC,GAAG,CAAC,2BAA2B,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YACxD,MAAM,WAAW,GAA2B,WAAW,CAAC,mBAAmB,CACzE,aAAa,EACb,iBAAiB,EACjB,IAAI,CAAC,QAAQ,CACd,CAAC;YAEF,IAAI,gBAAgB,EAAE;gBACpB,gBAAgB,CAAC,EAAE,CAAC,CAAC;aACtB;YAED,kDAAkD;YAClD,MAAM,QAAQ,GAAU,kBAAkB,CAAC,4BAA4B,CAAC,WAAW,CAAC,CAAC;YAErF,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,qCAAqC,WAAW,IAAI,CAAC,CAAC;YAElE,IAAI,gBAAgB,EAAE;gBACpB,gBAAgB,CAAC,GAAG,CAAC,CAAC;aACvB;YAED,OAAO,QAAQ,CAAC;SAEjB;QAAC,OAAO,KAAK,EAAE;YACd,OAAO,CAAC,KAAK,CAAC,uCAAuC,SAAS,GAAG,EAAE,KAAK,CAAC,CAAC;YAC1E,MAAM,IAAI,KAAK,CACb,kCAAkC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC3F,CAAC;SACH;IACH,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,WAAW,CACf,QAAgB,EAChB,KAA6B;QAE7B,IAAI,CAAC,WAAW,EAAE;YAChB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;SACjD;QAED,IAAI;YACF,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACtD,MAAM,OAAO,GAAG,WAAW,CAAC,iBAAiB,CAC3C,aAAa,EACb,KAAK,EACL,IAAI,CAAC,QAAQ,CACd,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,iCAAiC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YAClF,OAAO,OAAO,CAAC;SAEhB;QAAC,OAAO,KAAK,EAAE;YACd,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;YACrD,OAAO,KAAK,CAAC;SACd;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACK,MAAM,CAAC,4BAA4B,CAAC,WAAmC;QAC7E,OAAO;YACL,IAAI,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,IAAI,EAAE;gBACJ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtD,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACvD;YACD,IAAI,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACvD,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,gBAAgB,CAAC,WAAmC;QACzD,OAAO,WAAW,CAAC,WAAW,CAAC;IACjC,CAAC;IAED;;;;;OAKG;IACH,WAAW,CAAC,QAAkB;QAC5B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,kCAAkC,QAAQ,EAAE,CAAC,CAAC;IAC5D,CAAC;CACF;AAjKD,gDAiKC;AAOD;;;;;GAKG;AACI,MAAM,iBAAiB,GAAG,CAAC,aAAa,GAAG,KAAK,EAAsB,EAAE;IAC7E,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;IACzE,OAAO,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAC;AAC1C,CAAC,CAAC;AAHW,QAAA,iBAAiB,qBAG5B","sourcesContent":["/**\n * Mopro Prover Adapter for React Native\n * \n * This adapter enables fully on-device zero-knowledge proof generation\n * using the Mopro (Mobile Prover) toolkit, eliminating the need for\n * backend witness generation services.\n * \n * Mopro provides native witness calculation and proof generation through\n * Rust FFI bindings, bypassing React Native's WebAssembly limitations.\n * \n * Performance Benefits:\n * - Witness generation: 2-29x faster than browser SnarkJS\n * - Proof generation: 8-15x faster than browser SnarkJS\n * - Native iOS/Android performance\n * - No network calls required\n * \n * @see https://zkmopro.org/docs/intro\n */\n\nimport { isReactNative } from '../util/runtime';\nimport type { FormattedCircuitInputsDop, Proof } from 'dop-engine-v3';\n\n/**\n * Mopro CircomProofResult structure\n * This is the proof format returned by mopro's generateCircomProof\n */\ninterface MoproCircomProofResult {\n  proof: {\n    a: string[];\n    b: string[][];\n    c: string[];\n  };\n  pub_signals: string[];\n}\n\n/**\n * Mopro ProofLib enum for selecting proof backend\n */\nenum ProofLib {\n  Arkworks = 'Arkworks',\n  Rapidsnark = 'Rapidsnark'\n}\n\n/**\n * Mopro FFI interface (dynamically imported)\n */\ninterface MoproFFI {\n  generateCircomProof: (\n    zkeyPath: string,\n    circuitInputsJson: string,\n    proofLib: ProofLib\n  ) => MoproCircomProofResult;\n  \n  verifyCircomProof: (\n    zkeyPath: string,\n    proof: MoproCircomProofResult,\n    proofLib: ProofLib\n  ) => boolean;\n}\n\nlet moproModule: MoproFFI | null = null;\n\n/**\n * Initialize Mopro module\n * Dynamically imports mopro-ffi to avoid compilation errors when not installed\n */\nexport const initializeMopro = async (): Promise<boolean> => {\n  if (!isReactNative) {\n    console.log('🖥️ Not in React Native environment, skipping mopro initialization');\n    return false;\n  }\n\n  try {\n    console.log('📱 Initializing Mopro for React Native...');\n    \n    // Dynamic import to avoid errors when mopro-ffi is not installed\n    let moproImport: unknown;\n    try {\n      const moduleName = 'mopro-ffi';\n      moproImport = await import(moduleName);\n    } catch (importError) {\n      console.log('📝 mopro-ffi not available:', String(importError));\n      console.log('💡 Install mopro-ffi for on-device proof generation:');\n      console.log('   npm install mopro-ffi');\n      console.log('   Follow setup guide: https://zkmopro.org/docs/setup/react-native-setup');\n      return false;\n    }\n    \n    const { generateCircomProof, verifyCircomProof } = moproImport as {\n      generateCircomProof: MoproFFI['generateCircomProof'];\n      verifyCircomProof: MoproFFI['verifyCircomProof'];\n    };\n    \n    moproModule = {\n      generateCircomProof,\n      verifyCircomProof\n    };\n    \n    console.log('✅ Mopro initialized successfully');\n    console.log('🚀 Fully on-device proof generation enabled');\n    return true;\n    \n  } catch (error) {\n    console.warn('⚠️ Mopro initialization failed:', error);\n    return false;\n  }\n};\n\n/**\n * Check if Mopro is available and initialized\n */\nexport const isMoproAvailable = (): boolean => {\n  return isReactNative && moproModule !== null;\n};\n\n/**\n * Mopro Prover Adapter Class\n * \n * Provides a unified interface for generating proofs with Mopro\n * that is compatible with DOP Engine's proof format.\n */\nexport class MoproProverAdapter {\n  private proofLib: ProofLib;\n\n  constructor(proofLib: ProofLib = ProofLib.Arkworks) {\n    this.proofLib = proofLib;\n    \n    if (!isMoproAvailable()) {\n      throw new Error(\n        'Mopro is not initialized. Call initializeMopro() first.'\n      );\n    }\n  }\n\n  /**\n   * Generate a zero-knowledge proof using Mopro\n   * \n   * @param circuitId - Circuit identifier for logging/debugging\n   * @param zkeyPath - Path to the zkey file on device filesystem\n   * @param jsonInputs - Circuit inputs in JSON format\n   * @param progressCallback - Optional progress callback (0-100)\n   * @returns DOP Engine compatible proof object\n   */\n  async generateProof(\n    circuitId: string,\n    zkeyPath: string,\n    jsonInputs: FormattedCircuitInputsDop,\n    progressCallback?: (progress: number) => void\n  ): Promise<Proof> {\n    if (!moproModule) {\n      throw new Error('Mopro module not initialized');\n    }\n\n    try {\n      console.log(`🔐 Generating proof with Mopro for circuit: ${circuitId}`);\n      const startTime = Date.now();\n\n      if (progressCallback) {\n        progressCallback(10);\n      }\n\n      // Convert circuit inputs to JSON string\n      const circuitInputsJson = JSON.stringify(jsonInputs);\n      \n      // Remove 'file://' prefix if present\n      const cleanZkeyPath = zkeyPath.replace('file://', '');\n\n      if (progressCallback) {\n        progressCallback(20);\n      }\n\n      // Generate proof using Mopro\n      console.log(`   Using proof backend: ${this.proofLib}`);\n      const moproResult: MoproCircomProofResult = moproModule.generateCircomProof(\n        cleanZkeyPath,\n        circuitInputsJson,\n        this.proofLib\n      );\n\n      if (progressCallback) {\n        progressCallback(90);\n      }\n\n      // Convert Mopro proof format to DOP Engine format\n      const dopProof: Proof = MoproProverAdapter.convertMoproProofToDopFormat(moproResult);\n\n      const elapsedTime = Date.now() - startTime;\n      console.log(`✅ Proof generated successfully in ${elapsedTime}ms`);\n\n      if (progressCallback) {\n        progressCallback(100);\n      }\n\n      return dopProof;\n\n    } catch (error) {\n      console.error(`❌ Mopro proof generation failed for ${circuitId}:`, error);\n      throw new Error(\n        `Mopro proof generation failed: ${error instanceof Error ? error.message : String(error)}`\n      );\n    }\n  }\n\n  /**\n   * Verify a proof using Mopro (optional, for debugging)\n   * \n   * @param zkeyPath - Path to the zkey file\n   * @param proof - The proof to verify\n   * @returns true if proof is valid\n   */\n  async verifyProof(\n    zkeyPath: string,\n    proof: MoproCircomProofResult\n  ): Promise<boolean> {\n    if (!moproModule) {\n      throw new Error('Mopro module not initialized');\n    }\n\n    try {\n      const cleanZkeyPath = zkeyPath.replace('file://', '');\n      const isValid = moproModule.verifyCircomProof(\n        cleanZkeyPath,\n        proof,\n        this.proofLib\n      );\n      \n      console.log(`🔍 Proof verification result: ${isValid ? '✅ Valid' : '❌ Invalid'}`);\n      return isValid;\n\n    } catch (error) {\n      console.error('❌ Proof verification failed:', error);\n      return false;\n    }\n  }\n\n  /**\n   * Convert Mopro proof format to DOP Engine format\n   * \n   * Mopro format:\n   * {\n   *   proof: { a: [string, string], b: [[string, string], [string, string]], c: [string, string] },\n   *   pub_signals: string[]\n   * }\n   * \n   * DOP Engine format:\n   * {\n   *   pi_a: [string, string],\n   *   pi_b: [[string, string], [string, string]],\n   *   pi_c: [string, string]\n   * }\n   * \n   * Note: Public signals are handled separately by DOP Engine\n   */\n  private static convertMoproProofToDopFormat(moproResult: MoproCircomProofResult): Proof {\n    return {\n      pi_a: [moproResult.proof.a[0], moproResult.proof.a[1]],\n      pi_b: [\n        [moproResult.proof.b[0][0], moproResult.proof.b[0][1]],\n        [moproResult.proof.b[1][0], moproResult.proof.b[1][1]]\n      ],\n      pi_c: [moproResult.proof.c[0], moproResult.proof.c[1]]\n    };\n  }\n\n  /**\n   * Get public signals from Mopro proof result\n   * DOP Engine may need these separately\n   */\n  static getPublicSignals(moproResult: MoproCircomProofResult): string[] {\n    return moproResult.pub_signals;\n  }\n\n  /**\n   * Set the proof backend (Arkworks or Rapidsnark)\n   * \n   * Arkworks: Pure Rust implementation, consistent performance\n   * Rapidsnark: C++ optimized, potentially faster on some devices\n   */\n  setProofLib(proofLib: ProofLib): void {\n    this.proofLib = proofLib;\n    console.log(`📝 Mopro proof backend set to: ${proofLib}`);\n  }\n}\n\n/**\n * Export ProofLib enum for external use\n */\nexport { ProofLib };\n\n/**\n * Create a configured Mopro prover adapter\n * \n * @param useRapidsnark - Use Rapidsnark backend instead of Arkworks\n * @returns Configured MoproProverAdapter instance\n */\nexport const createMoproProver = (useRapidsnark = false): MoproProverAdapter => {\n  const proofLib = useRapidsnark ? ProofLib.Rapidsnark : ProofLib.Arkworks;\n  return new MoproProverAdapter(proofLib);\n};\n"]}

package/package.json

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

package/react-native.js

@@ -14,4 +14,11 @@ const sdk = require('./dist/index.js');
 // Export React Native-specific prover utilities
 sdk.reactNativeRapidsnark = require('./dist/services/dop/crypto/react-native-rapidsnark-prover.js');
 
+// Export Mopro integration
+sdk.mopro = {
+  ...require('./dist/services/dop/crypto/mopro-prover-adapter.js'),
+  ...require('./dist/services/dop/crypto/mopro-circuit-loader.js'),
+  ...require('./dist/services/dop/core/react-native-prover-setup.js')
+};
+
 module.exports = sdk;