dop-wallet-v6 1.3.39 → 1.3.41

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

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

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

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

package/package.json

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

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

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