dop-wallet-v6 1.3.34 → 1.3.36

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

@@ -1,227 +0,0 @@
-"use strict";
-/**
- * React Native Prover Setup
- *
- * This module enables fully on-device zero-knowledge proof generation in React Native
- * using Mopro (Mobile Prover) toolkit.
- *
- * 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
- *
- * 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
- *
- * @see https://zkmopro.org/docs/intro
- * @see MOPRO_INTEGRATION_PLAN.md
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-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
- * Tries Mopro first (recommended), then falls back to Rapidsnark backend approach
- */
-const checkReactNativeProverSupport = async () => {
-    if (!runtime_1.isReactNative) {
-        return {
-            available: true,
-            method: 'none',
-            message: 'Not in React Native environment'
-        };
-    }
-    try {
-        // 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'
-            };
-        }
-        // 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 {
-            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
- * 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
-    }
-    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
- */
-const autoSetupProverForReactNative = async () => {
-    if (runtime_1.isReactNative) {
-        await (0, exports.setupReactNativeProver)();
-    }
-};
-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 +0,0 @@
-{"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

@@ -1,103 +0,0 @@
-/**
- * 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

@@ -1,308 +0,0 @@
-"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