dop-wallet-v6 1.3.32 → 1.3.34

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;