@izi-noir/sdk 0.1.0 → 0.1.2

package/dist/providers/sunspot.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/infra/provingSystems/Sunspot.ts","../../src/infra/sunspot/types.ts","../../src/infra/sunspot/SunspotCliExecutor.ts","../../src/domain/types/provider.ts","../../src/providers/sunspot.ts"],"sourcesContent":["import { readFile, writeFile, rm, mkdtemp, mkdir } from 'node:fs/promises';\nimport { join, dirname } from 'node:path';\nimport { tmpdir } from 'node:os';\nimport type { IProvingSystem } from '../../domain/interfaces/proving/IProvingSystem.js';\nimport type { CompiledCircuit, InputMap, ProofData } from '../../domain/types.js';\nimport type { SunspotConfig, SunspotCircuitPaths, SunspotCompiledCircuit } from '../sunspot/types.js';\nimport { DEFAULT_SUNSPOT_CONFIG, isSunspotCircuit, SunspotCliError } from '../sunspot/types.js';\nimport { SunspotCliExecutor } from '../sunspot/SunspotCliExecutor.js';\nimport type { CircuitPaths } from '../../domain/types/provider.js';\n\n/**\n * Configuration for Sunspot constructor\n */\nexport interface SunspotInitConfig extends Partial<SunspotConfig> {\n  /** Pre-compiled circuit paths (if provided, compile() is disabled) */\n  precompiledPaths?: CircuitPaths;\n}\n\n/**\n * Sunspot proving system using CLI tools.\n * Node.js only (requires nargo and sunspot binaries).\n * Produces Groth16 proofs (~324 bytes) for Solana on-chain verification.\n *\n * Can be used in two modes:\n * 1. Full compilation: Call compile() with Noir code (requires nargo + sunspot CLI)\n * 2. Pre-compiled: Provide circuitPaths in constructor, then only prove/verify\n *\n * @example Full compilation\n * ```typescript\n * const sunspot = new Sunspot();\n * const circuit = await sunspot.compile(noirCode);\n * const proof = await sunspot.generateProof(circuit, inputs);\n * ```\n *\n * @example Pre-compiled (via IziNoir)\n * ```typescript\n * const izi = await IziNoir.init({\n *   provider: Provider.Sunspot,\n *   circuitPaths: { pkPath: '...', vkPath: '...', circuitPath: '...' }\n * });\n * ```\n */\nexport class Sunspot implements IProvingSystem {\n  private readonly config: SunspotConfig;\n  private readonly executor: SunspotCliExecutor;\n  private readonly precompiledPaths?: CircuitPaths;\n  private precompiledCircuit?: SunspotCompiledCircuit;\n\n  /**\n   * Create a new Sunspot proving system\n   * @param config - Configuration options or pre-compiled circuit paths\n   */\n  constructor(config: SunspotInitConfig | CircuitPaths = {}) {\n    // Check if config is CircuitPaths (has pkPath, vkPath, circuitPath)\n    if ('pkPath' in config && 'vkPath' in config && 'circuitPath' in config) {\n      this.config = { ...DEFAULT_SUNSPOT_CONFIG };\n      this.precompiledPaths = config as CircuitPaths;\n    } else {\n      const initConfig = config as SunspotInitConfig;\n      this.config = { ...DEFAULT_SUNSPOT_CONFIG, ...initConfig };\n      this.precompiledPaths = initConfig.precompiledPaths;\n    }\n\n    this.executor = new SunspotCliExecutor(this.config);\n\n    // If pre-compiled paths provided, create a dummy circuit object\n    if (this.precompiledPaths) {\n      this.precompiledCircuit = this.createPrecompiledCircuit(this.precompiledPaths);\n    }\n  }\n\n  /**\n   * Create a SunspotCompiledCircuit from pre-compiled paths\n   */\n  private createPrecompiledCircuit(paths: CircuitPaths): SunspotCompiledCircuit {\n    const baseDir = dirname(paths.circuitPath);\n    return {\n      bytecode: '', // Not needed for prove/verify with pre-compiled\n      abi: { parameters: [], return_type: null, error_types: {} },\n      debug_symbols: '',\n      file_map: {},\n      __sunspot: true,\n      paths: {\n        workDir: baseDir,\n        noirProjectDir: baseDir,\n        circuitJsonPath: paths.circuitPath,\n        witnessPath: join(baseDir, 'circuit.gz'),\n        ccsPath: join(baseDir, 'circuit.ccs'),\n        pkPath: paths.pkPath,\n        vkPath: paths.vkPath,\n        proofPath: join(baseDir, 'circuit.proof'),\n        publicWitnessPath: join(baseDir, 'circuit.pw'),\n        proverTomlPath: join(baseDir, 'Prover.toml'),\n      },\n    };\n  }\n\n  /**\n   * Create a temporary Noir project for compilation\n   */\n  private async createNoirProject(noirCode: string, packageName: string): Promise<{ rootDir: string }> {\n    const rootDir = await mkdtemp(join(tmpdir(), 'sunspot-circuit-'));\n    const srcDir = join(rootDir, 'src');\n    await mkdir(srcDir, { recursive: true });\n\n    const nargoToml = `[package]\nname = \"${packageName}\"\ntype = \"bin\"\nauthors = [\"\"]\n\n[dependencies]\n`;\n\n    await writeFile(join(rootDir, 'Nargo.toml'), nargoToml);\n    await writeFile(join(srcDir, 'main.nr'), noirCode);\n\n    return { rootDir };\n  }\n\n  async compile(noirCode: string): Promise<CompiledCircuit> {\n    if (this.precompiledPaths) {\n      throw new Error(\n        'Sunspot was initialized with pre-compiled circuit paths. ' +\n        'compile() is not available. Use generateProof() and verifyProof() directly.'\n      );\n    }\n\n    // 1. Create temp Noir project\n    const project = await this.createNoirProject(noirCode, 'circuit');\n    const targetDir = join(project.rootDir, 'target');\n\n    // 2. Run nargo compile → circuit.json\n    await this.executor.nargoCompile(project.rootDir);\n    const circuitJsonPath = join(targetDir, 'circuit.json');\n\n    // 3. Run sunspot compile → circuit.ccs\n    await this.executor.sunspotCompile(circuitJsonPath);\n    const ccsPath = join(dirname(circuitJsonPath), 'circuit.ccs');\n\n    // 4. Run sunspot setup → circuit.pk + circuit.vk\n    await this.executor.sunspotSetup(ccsPath);\n    const pkPath = join(dirname(ccsPath), 'circuit.pk');\n    const vkPath = join(dirname(ccsPath), 'circuit.vk');\n\n    // 5. Read circuit.json to extract ABI\n    const circuitJson = JSON.parse(await readFile(circuitJsonPath, 'utf-8'));\n\n    // 6. Build paths object\n    const paths: SunspotCircuitPaths = {\n      workDir: project.rootDir,\n      noirProjectDir: project.rootDir,\n      circuitJsonPath,\n      witnessPath: join(targetDir, 'circuit.gz'),\n      ccsPath,\n      pkPath,\n      vkPath,\n      proofPath: join(dirname(ccsPath), 'circuit.proof'),\n      publicWitnessPath: join(dirname(ccsPath), 'circuit.pw'),\n      proverTomlPath: join(project.rootDir, 'Prover.toml'),\n    };\n\n    // 7. Return SunspotCompiledCircuit (don't cleanup - prover needs the files)\n    const sunspotCircuit: SunspotCompiledCircuit = {\n      bytecode: circuitJson.bytecode || '',\n      abi: circuitJson.abi || {\n        parameters: [],\n        return_type: null,\n        error_types: {},\n      },\n      debug_symbols: circuitJson.debug_symbols || '',\n      file_map: circuitJson.file_map || {},\n      __sunspot: true,\n      paths,\n    };\n\n    return sunspotCircuit;\n  }\n\n  async generateProof(circuit: CompiledCircuit, inputs: InputMap): Promise<ProofData> {\n    // Use precompiled circuit if available and circuit is empty/default\n    const circuitToUse = this.resolveCircuit(circuit);\n\n    if (!isSunspotCircuit(circuitToUse)) {\n      throw new Error(\n        'Sunspot.generateProof requires a SunspotCompiledCircuit. Use Sunspot.compile() first.'\n      );\n    }\n\n    const paths = circuitToUse.paths;\n\n    try {\n      // 1. Write Prover.toml with inputs\n      const proverToml = this.generateProverToml(inputs);\n      await writeFile(paths.proverTomlPath, proverToml);\n\n      // 2. Run nargo execute to generate witness\n      await this.executor.nargoExecute(paths.noirProjectDir);\n\n      // 3. Run sunspot prove to generate proof\n      await this.executor.sunspotProve(\n        paths.circuitJsonPath,\n        paths.witnessPath,\n        paths.ccsPath,\n        paths.pkPath\n      );\n\n      // 4. Read proof and public witness files\n      const proofBytes = new Uint8Array(await readFile(paths.proofPath));\n      const publicWitnessBytes = new Uint8Array(await readFile(paths.publicWitnessPath));\n\n      // 5. Parse public inputs from public witness\n      const publicInputs = this.parsePublicWitness(publicWitnessBytes);\n\n      return {\n        proof: proofBytes,\n        publicInputs,\n      };\n    } catch (error) {\n      if (!this.config.keepArtifacts) {\n        await rm(paths.workDir, { recursive: true, force: true }).catch(() => {});\n      }\n      throw error;\n    }\n  }\n\n  async verifyProof(\n    circuit: CompiledCircuit,\n    proof: Uint8Array,\n    publicInputs: string[]\n  ): Promise<boolean> {\n    // Use precompiled circuit if available and circuit is empty/default\n    const circuitToUse = this.resolveCircuit(circuit);\n\n    if (!isSunspotCircuit(circuitToUse)) {\n      throw new Error(\n        'Sunspot.verifyProof requires a SunspotCompiledCircuit. Use Sunspot.compile() first.'\n      );\n    }\n\n    const paths = circuitToUse.paths;\n\n    try {\n      // Use existing .proof and .pw files from generateProof\n      const existingProof = await readFile(paths.proofPath).catch(() => null);\n      if (!existingProof || !this.bytesEqual(existingProof, proof)) {\n        await writeFile(paths.proofPath, proof);\n      }\n\n      await this.executor.sunspotVerify(\n        paths.vkPath,\n        paths.proofPath,\n        paths.publicWitnessPath\n      );\n\n      return true;\n    } catch (error) {\n      if (error instanceof SunspotCliError) {\n        if (error.stderr.toLowerCase().includes('verification failed') ||\n            error.stderr.toLowerCase().includes('invalid proof')) {\n          return false;\n        }\n      }\n      throw error;\n    } finally {\n      if (!this.config.keepArtifacts) {\n        await rm(paths.workDir, { recursive: true, force: true }).catch(() => {});\n      }\n    }\n  }\n\n  /**\n   * Resolve which circuit to use - precompiled or provided\n   */\n  private resolveCircuit(circuit: CompiledCircuit): CompiledCircuit {\n    // If circuit is a proper SunspotCompiledCircuit, use it\n    if (isSunspotCircuit(circuit)) {\n      return circuit;\n    }\n\n    // If we have precompiled paths, use those\n    if (this.precompiledCircuit) {\n      return this.precompiledCircuit;\n    }\n\n    // Otherwise, return the provided circuit (will fail validation)\n    return circuit;\n  }\n\n  private generateProverToml(inputs: InputMap): string {\n    const lines: string[] = [];\n    for (const [key, value] of Object.entries(inputs)) {\n      lines.push(`${key} = ${this.formatTomlValue(value)}`);\n    }\n    return lines.join('\\n') + '\\n';\n  }\n\n  private formatTomlValue(value: unknown): string {\n    if (typeof value === 'string') {\n      if (value.startsWith('0x')) return `\"${value}\"`;\n      if (/^\\d+$/.test(value)) return value;\n      return `\"${value}\"`;\n    }\n    if (typeof value === 'number' || typeof value === 'bigint') {\n      return value.toString();\n    }\n    if (Array.isArray(value)) {\n      return `[${value.map(v => this.formatTomlValue(v)).join(', ')}]`;\n    }\n    return String(value);\n  }\n\n  private parsePublicWitness(bytes: Uint8Array): string[] {\n    const publicInputs: string[] = [];\n    const FIELD_SIZE = 32;\n\n    for (let i = 0; i < bytes.length; i += FIELD_SIZE) {\n      const fieldBytes = bytes.slice(i, Math.min(i + FIELD_SIZE, bytes.length));\n      if (fieldBytes.length === FIELD_SIZE) {\n        const hex = '0x' + Array.from(fieldBytes)\n          .map(b => b.toString(16).padStart(2, '0'))\n          .join('');\n        publicInputs.push(hex);\n      }\n    }\n\n    return publicInputs;\n  }\n\n  private bytesEqual(a: Buffer | Uint8Array, b: Uint8Array): boolean {\n    if (a.length !== b.length) return false;\n    for (let i = 0; i < a.length; i++) {\n      if (a[i] !== b[i]) return false;\n    }\n    return true;\n  }\n}\n","import type { CompiledCircuit } from '@noir-lang/types';\n\n/**\n * Configuration for Sunspot CLI execution\n */\nexport interface SunspotConfig {\n  /** Path to nargo binary (default: 'nargo') */\n  nargoBinaryPath: string;\n  /** Path to sunspot binary (default: 'sunspot') */\n  sunspotBinaryPath: string;\n  /** Keep temp artifacts for debugging (default: false) */\n  keepArtifacts: boolean;\n  /** Timeout for CLI commands in ms (default: 120000) */\n  timeoutMs: number;\n}\n\nexport const DEFAULT_SUNSPOT_CONFIG: SunspotConfig = {\n  nargoBinaryPath: process.env.NARGO_PATH || 'nargo',\n  sunspotBinaryPath: process.env.SUNSPOT_PATH || 'sunspot',\n  keepArtifacts: process.env.SUNSPOT_KEEP_ARTIFACTS === 'true',\n  timeoutMs: 120000,\n};\n\n/**\n * Paths to all Sunspot artifacts in the temp directory\n */\nexport interface SunspotCircuitPaths {\n  /** Base temp directory */\n  workDir: string;\n  /** Noir project directory with Nargo.toml */\n  noirProjectDir: string;\n  /** Path to compiled circuit.json (ACIR) */\n  circuitJsonPath: string;\n  /** Path to witness.gz */\n  witnessPath: string;\n  /** Path to circuit.ccs */\n  ccsPath: string;\n  /** Path to proving key */\n  pkPath: string;\n  /** Path to verification key */\n  vkPath: string;\n  /** Path to proof file */\n  proofPath: string;\n  /** Path to public witness file */\n  publicWitnessPath: string;\n  /** Path to Prover.toml */\n  proverTomlPath: string;\n}\n\n/**\n * Extended CompiledCircuit for Sunspot backend\n */\nexport interface SunspotCompiledCircuit extends CompiledCircuit {\n  /** Marker to identify Sunspot circuits */\n  __sunspot: true;\n  /** Paths to all artifacts */\n  paths: SunspotCircuitPaths;\n}\n\n/**\n * Type guard to check if a circuit is a Sunspot circuit\n */\nexport function isSunspotCircuit(circuit: CompiledCircuit): circuit is SunspotCompiledCircuit {\n  return '__sunspot' in circuit && (circuit as SunspotCompiledCircuit).__sunspot === true;\n}\n\n/**\n * Result of CLI command execution\n */\nexport interface CliResult {\n  stdout: string;\n  stderr: string;\n  exitCode: number;\n}\n\n/**\n * Error thrown when CLI command fails\n */\nexport class SunspotCliError extends Error {\n  constructor(\n    message: string,\n    public readonly command: string,\n    public readonly exitCode: number,\n    public readonly stderr: string\n  ) {\n    super(message);\n    this.name = 'SunspotCliError';\n  }\n}\n","import { spawn } from 'node:child_process';\nimport type { SunspotConfig, CliResult } from './types.js';\nimport { SunspotCliError } from './types.js';\n\n/**\n * Executes Sunspot and Nargo CLI commands\n */\nexport class SunspotCliExecutor {\n  constructor(private readonly config: SunspotConfig) {}\n\n  /**\n   * Execute a CLI command and return the result\n   */\n  private async execute(command: string, args: string[], cwd?: string): Promise<CliResult> {\n    return new Promise((resolve, reject) => {\n      const proc = spawn(command, args, {\n        cwd,\n        timeout: this.config.timeoutMs,\n        env: { ...process.env },\n      });\n\n      let stdout = '';\n      let stderr = '';\n\n      proc.stdout.on('data', (data) => {\n        stdout += data.toString();\n      });\n\n      proc.stderr.on('data', (data) => {\n        stderr += data.toString();\n      });\n\n      proc.on('close', (exitCode) => {\n        const result: CliResult = {\n          stdout,\n          stderr,\n          exitCode: exitCode ?? 1,\n        };\n\n        if (exitCode !== 0) {\n          reject(new SunspotCliError(\n            `Command failed: ${command} ${args.join(' ')}\\n${stderr || stdout}`,\n            `${command} ${args.join(' ')}`,\n            exitCode ?? 1,\n            stderr || stdout\n          ));\n        } else {\n          resolve(result);\n        }\n      });\n\n      proc.on('error', (error) => {\n        const message = error.message.includes('ENOENT')\n          ? `Binary not found: ${command}. Ensure it is installed and in PATH.`\n          : `Failed to execute ${command}: ${error.message}`;\n\n        reject(new SunspotCliError(\n          message,\n          `${command} ${args.join(' ')}`,\n          1,\n          error.message\n        ));\n      });\n    });\n  }\n\n  /**\n   * Run nargo compile in the project directory\n   * Output: target/circuit.json\n   */\n  async nargoCompile(projectDir: string): Promise<CliResult> {\n    return this.execute(this.config.nargoBinaryPath, ['compile'], projectDir);\n  }\n\n  /**\n   * Run nargo execute to generate witness\n   * Output: target/circuit.gz\n   */\n  async nargoExecute(projectDir: string): Promise<CliResult> {\n    return this.execute(this.config.nargoBinaryPath, ['execute'], projectDir);\n  }\n\n  /**\n   * Run sunspot compile to generate CCS\n   * Input: circuit.json\n   * Output: circuit.ccs (in same directory as input)\n   */\n  async sunspotCompile(circuitJsonPath: string): Promise<CliResult> {\n    return this.execute(this.config.sunspotBinaryPath, ['compile', circuitJsonPath]);\n  }\n\n  /**\n   * Run sunspot setup to generate proving and verification keys\n   * Input: circuit.ccs\n   * Output: circuit.pk, circuit.vk (in same directory as input)\n   */\n  async sunspotSetup(ccsPath: string): Promise<CliResult> {\n    return this.execute(this.config.sunspotBinaryPath, ['setup', ccsPath]);\n  }\n\n  /**\n   * Run sunspot prove to generate proof\n   * Inputs: circuit.json, witness.gz, circuit.ccs, circuit.pk\n   * Outputs: circuit.proof, circuit.pw (in same directory as ccs)\n   */\n  async sunspotProve(\n    circuitJsonPath: string,\n    witnessPath: string,\n    ccsPath: string,\n    pkPath: string\n  ): Promise<CliResult> {\n    return this.execute(this.config.sunspotBinaryPath, [\n      'prove',\n      circuitJsonPath,\n      witnessPath,\n      ccsPath,\n      pkPath,\n    ]);\n  }\n\n  /**\n   * Run sunspot verify to verify a proof\n   * Inputs: circuit.vk, circuit.proof, circuit.pw\n   * Returns: true if verification succeeds\n   */\n  async sunspotVerify(\n    vkPath: string,\n    proofPath: string,\n    publicWitnessPath: string\n  ): Promise<CliResult> {\n    return this.execute(this.config.sunspotBinaryPath, [\n      'verify',\n      vkPath,\n      proofPath,\n      publicWitnessPath,\n    ]);\n  }\n}\n","import { Chain } from './chain.js';\n\n/**\n * Available proving system providers\n */\nexport enum Provider {\n  /** Barretenberg backend - browser compatible, UltraHonk proofs (~16KB) */\n  Barretenberg = 'barretenberg',\n  /** Arkworks WASM backend - browser compatible, Groth16 proofs (~256 bytes) */\n  Arkworks = 'arkworks',\n  /** Sunspot CLI backend - Node.js only, Groth16 proofs (~256 bytes) */\n  Sunspot = 'sunspot',\n}\n\n/**\n * Configuration for circuit paths (required for Sunspot)\n */\nexport interface CircuitPaths {\n  /** Path to the proving key file */\n  pkPath: string;\n  /** Path to the verification key file */\n  vkPath: string;\n  /** Path to the compiled circuit JSON file */\n  circuitPath: string;\n}\n\n/**\n * Configuration for IziNoir initialization\n */\nexport interface IziNoirConfig {\n  /** The proving system provider to use */\n  provider: Provider;\n  /**\n   * Target blockchain for proof formatting.\n   * If omitted, operates in offchain mode (raw proofs, no chain formatting).\n   */\n  chain?: Chain;\n  /** Circuit paths - required for Sunspot provider */\n  circuitPaths?: CircuitPaths;\n}\n\n// Re-export Chain for convenience\nexport { Chain };\n","/**\n * Sunspot entry point for Node.js.\n *\n * This module provides Sunspot support which is NOT available in the main\n * `@izi-noir/sdk` entry point due to Node.js-only dependencies.\n *\n * Note: Sunspot requires nargo and sunspot CLI tools to be installed.\n *\n * @example Using Sunspot directly\n * ```typescript\n * import { Sunspot } from '@izi-noir/sdk/sunspot';\n *\n * // Full compilation mode\n * const sunspot = new Sunspot();\n * const circuit = await sunspot.compile(noirCode);\n * const proof = await sunspot.generateProof(circuit, inputs);\n * const verified = await sunspot.verifyProof(circuit, proof.proof, proof.publicInputs);\n *\n * // Pre-compiled mode\n * const sunspot = new Sunspot({\n *   pkPath: './circuit/circuit.pk',\n *   vkPath: './circuit/circuit.vk',\n *   circuitPath: './circuit/circuit.json',\n * });\n * ```\n *\n * @example Using initSunspotIziNoir helper\n * ```typescript\n * import { initSunspotIziNoir } from '@izi-noir/sdk/sunspot';\n *\n * const izi = await initSunspotIziNoir({\n *   pkPath: './circuit/circuit.pk',\n *   vkPath: './circuit/circuit.vk',\n *   circuitPath: './circuit/circuit.json',\n * });\n *\n * // Use like regular IziNoir (but only prove/verify, not compile)\n * const proof = await izi.prove(inputs);\n * const verified = await izi.verify(proof.proof, proof.publicInputs);\n * ```\n *\n * @module @izi-noir/sdk/sunspot\n */\n\nimport type { IProvingSystem } from '../domain/interfaces/proving/IProvingSystem.js';\nimport type { CompiledCircuit, InputMap, ProofData } from '../domain/types.js';\nimport type { CircuitPaths } from '../domain/types/provider.js';\nimport { Sunspot } from '../infra/provingSystems/Sunspot.js';\n\nexport { Sunspot } from '../infra/provingSystems/Sunspot.js';\nexport type { SunspotInitConfig } from '../infra/provingSystems/Sunspot.js';\nexport type {\n  SunspotConfig,\n  SunspotCircuitPaths,\n  SunspotCompiledCircuit,\n} from '../infra/sunspot/types.js';\nexport { isSunspotCircuit, SunspotCliError } from '../infra/sunspot/types.js';\n\n// Re-export common types\nexport { Provider, type IziNoirConfig, type CircuitPaths } from '../domain/types/provider.js';\nexport type { CompiledCircuit, InputMap, ProofData } from '../domain/types.js';\nexport type { IProvingSystem } from '../domain/interfaces/proving/IProvingSystem.js';\n\n/**\n * IziNoir-like wrapper for Sunspot.\n * Provides a similar API to IziNoir but backed by the Sunspot proving system.\n */\nexport class IziNoirSunspot {\n  private provingSystem: IProvingSystem;\n  private compiledCircuit: CompiledCircuit | null = null;\n\n  private constructor(provingSystem: IProvingSystem) {\n    this.provingSystem = provingSystem;\n  }\n\n  /**\n   * Initialize IziNoirSunspot with pre-compiled circuit paths.\n   * Note: Sunspot requires pre-compiled circuits for prove/verify operations.\n   *\n   * @param circuitPaths - Paths to the pre-compiled circuit files\n   */\n  static async init(circuitPaths: CircuitPaths): Promise<IziNoirSunspot> {\n    const sunspot = new Sunspot(circuitPaths);\n    return new IziNoirSunspot(sunspot);\n  }\n\n  /**\n   * Initialize IziNoirSunspot for full compilation mode.\n   * Requires nargo and sunspot CLI tools to be installed.\n   */\n  static async initForCompilation(): Promise<IziNoirSunspot> {\n    const sunspot = new Sunspot();\n    return new IziNoirSunspot(sunspot);\n  }\n\n  getProvingSystem(): IProvingSystem {\n    return this.provingSystem;\n  }\n\n  getCompiledCircuit(): CompiledCircuit | null {\n    return this.compiledCircuit;\n  }\n\n  async compile(noirCode: string): Promise<CompiledCircuit> {\n    this.compiledCircuit = await this.provingSystem.compile(noirCode);\n    return this.compiledCircuit;\n  }\n\n  async prove(inputs: InputMap, circuit?: CompiledCircuit): Promise<ProofData> {\n    const circuitToUse = circuit || this.compiledCircuit;\n    if (!circuitToUse) {\n      throw new Error('No circuit available. Call compile() first or provide a circuit.');\n    }\n    return this.provingSystem.generateProof(circuitToUse, inputs);\n  }\n\n  async verify(\n    proof: Uint8Array,\n    publicInputs: string[],\n    circuit?: CompiledCircuit\n  ): Promise<boolean> {\n    const circuitToUse = circuit || this.compiledCircuit;\n    if (!circuitToUse) {\n      throw new Error('No circuit available. Call compile() first or provide a circuit.');\n    }\n    return this.provingSystem.verifyProof(circuitToUse, proof, publicInputs);\n  }\n\n  async createProof(\n    noirCode: string,\n    inputs: InputMap\n  ): Promise<{ proof: ProofData; verified: boolean }> {\n    const circuit = await this.compile(noirCode);\n    const proof = await this.prove(inputs, circuit);\n    const verified = await this.verify(proof.proof, proof.publicInputs, circuit);\n    return { proof, verified };\n  }\n}\n\n/**\n * Helper function to create an IziNoirSunspot instance with pre-compiled circuit paths.\n * @deprecated Use `IziNoirSunspot.init(circuitPaths)` instead.\n */\nexport async function initSunspotIziNoir(circuitPaths: CircuitPaths): Promise<IziNoirSunspot> {\n  return IziNoirSunspot.init(circuitPaths);\n}\n"],"mappings":";AAAA,SAAS,UAAU,WAAW,IAAI,SAAS,aAAa;AACxD,SAAS,MAAM,eAAe;AAC9B,SAAS,cAAc;;;ACchB,IAAM,yBAAwC;AAAA,EACnD,iBAAiB,QAAQ,IAAI,cAAc;AAAA,EAC3C,mBAAmB,QAAQ,IAAI,gBAAgB;AAAA,EAC/C,eAAe,QAAQ,IAAI,2BAA2B;AAAA,EACtD,WAAW;AACb;AAyCO,SAAS,iBAAiB,SAA6D;AAC5F,SAAO,eAAe,WAAY,QAAmC,cAAc;AACrF;AAcO,IAAM,kBAAN,cAA8B,MAAM;AAAA,EACzC,YACE,SACgB,SACA,UACA,QAChB;AACA,UAAM,OAAO;AAJG;AACA;AACA;AAGhB,SAAK,OAAO;AAAA,EACd;AACF;;;ACxFA,SAAS,aAAa;AAOf,IAAM,qBAAN,MAAyB;AAAA,EAC9B,YAA6B,QAAuB;AAAvB;AAAA,EAAwB;AAAA;AAAA;AAAA;AAAA,EAKrD,MAAc,QAAQ,SAAiB,MAAgB,KAAkC;AACvF,WAAO,IAAI,QAAQ,CAAC,SAAS,WAAW;AACtC,YAAM,OAAO,MAAM,SAAS,MAAM;AAAA,QAChC;AAAA,QACA,SAAS,KAAK,OAAO;AAAA,QACrB,KAAK,EAAE,GAAG,QAAQ,IAAI;AAAA,MACxB,CAAC;AAED,UAAI,SAAS;AACb,UAAI,SAAS;AAEb,WAAK,OAAO,GAAG,QAAQ,CAAC,SAAS;AAC/B,kBAAU,KAAK,SAAS;AAAA,MAC1B,CAAC;AAED,WAAK,OAAO,GAAG,QAAQ,CAAC,SAAS;AAC/B,kBAAU,KAAK,SAAS;AAAA,MAC1B,CAAC;AAED,WAAK,GAAG,SAAS,CAAC,aAAa;AAC7B,cAAM,SAAoB;AAAA,UACxB;AAAA,UACA;AAAA,UACA,UAAU,YAAY;AAAA,QACxB;AAEA,YAAI,aAAa,GAAG;AAClB,iBAAO,IAAI;AAAA,YACT,mBAAmB,OAAO,IAAI,KAAK,KAAK,GAAG,CAAC;AAAA,EAAK,UAAU,MAAM;AAAA,YACjE,GAAG,OAAO,IAAI,KAAK,KAAK,GAAG,CAAC;AAAA,YAC5B,YAAY;AAAA,YACZ,UAAU;AAAA,UACZ,CAAC;AAAA,QACH,OAAO;AACL,kBAAQ,MAAM;AAAA,QAChB;AAAA,MACF,CAAC;AAED,WAAK,GAAG,SAAS,CAAC,UAAU;AAC1B,cAAM,UAAU,MAAM,QAAQ,SAAS,QAAQ,IAC3C,qBAAqB,OAAO,0CAC5B,qBAAqB,OAAO,KAAK,MAAM,OAAO;AAElD,eAAO,IAAI;AAAA,UACT;AAAA,UACA,GAAG,OAAO,IAAI,KAAK,KAAK,GAAG,CAAC;AAAA,UAC5B;AAAA,UACA,MAAM;AAAA,QACR,CAAC;AAAA,MACH,CAAC;AAAA,IACH,CAAC;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,MAAM,aAAa,YAAwC;AACzD,WAAO,KAAK,QAAQ,KAAK,OAAO,iBAAiB,CAAC,SAAS,GAAG,UAAU;AAAA,EAC1E;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,MAAM,aAAa,YAAwC;AACzD,WAAO,KAAK,QAAQ,KAAK,OAAO,iBAAiB,CAAC,SAAS,GAAG,UAAU;AAAA,EAC1E;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,MAAM,eAAe,iBAA6C;AAChE,WAAO,KAAK,QAAQ,KAAK,OAAO,mBAAmB,CAAC,WAAW,eAAe,CAAC;AAAA,EACjF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,MAAM,aAAa,SAAqC;AACtD,WAAO,KAAK,QAAQ,KAAK,OAAO,mBAAmB,CAAC,SAAS,OAAO,CAAC;AAAA,EACvE;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,MAAM,aACJ,iBACA,aACA,SACA,QACoB;AACpB,WAAO,KAAK,QAAQ,KAAK,OAAO,mBAAmB;AAAA,MACjD;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF,CAAC;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,MAAM,cACJ,QACA,WACA,mBACoB;AACpB,WAAO,KAAK,QAAQ,KAAK,OAAO,mBAAmB;AAAA,MACjD;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF,CAAC;AAAA,EACH;AACF;;;AF/FO,IAAM,UAAN,MAAwC;AAAA,EAC5B;AAAA,EACA;AAAA,EACA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA,EAMR,YAAY,SAA2C,CAAC,GAAG;AAEzD,QAAI,YAAY,UAAU,YAAY,UAAU,iBAAiB,QAAQ;AACvE,WAAK,SAAS,EAAE,GAAG,uBAAuB;AAC1C,WAAK,mBAAmB;AAAA,IAC1B,OAAO;AACL,YAAM,aAAa;AACnB,WAAK,SAAS,EAAE,GAAG,wBAAwB,GAAG,WAAW;AACzD,WAAK,mBAAmB,WAAW;AAAA,IACrC;AAEA,SAAK,WAAW,IAAI,mBAAmB,KAAK,MAAM;AAGlD,QAAI,KAAK,kBAAkB;AACzB,WAAK,qBAAqB,KAAK,yBAAyB,KAAK,gBAAgB;AAAA,IAC/E;AAAA,EACF;AAAA;AAAA;AAAA;AAAA,EAKQ,yBAAyB,OAA6C;AAC5E,UAAM,UAAU,QAAQ,MAAM,WAAW;AACzC,WAAO;AAAA,MACL,UAAU;AAAA;AAAA,MACV,KAAK,EAAE,YAAY,CAAC,GAAG,aAAa,MAAM,aAAa,CAAC,EAAE;AAAA,MAC1D,eAAe;AAAA,MACf,UAAU,CAAC;AAAA,MACX,WAAW;AAAA,MACX,OAAO;AAAA,QACL,SAAS;AAAA,QACT,gBAAgB;AAAA,QAChB,iBAAiB,MAAM;AAAA,QACvB,aAAa,KAAK,SAAS,YAAY;AAAA,QACvC,SAAS,KAAK,SAAS,aAAa;AAAA,QACpC,QAAQ,MAAM;AAAA,QACd,QAAQ,MAAM;AAAA,QACd,WAAW,KAAK,SAAS,eAAe;AAAA,QACxC,mBAAmB,KAAK,SAAS,YAAY;AAAA,QAC7C,gBAAgB,KAAK,SAAS,aAAa;AAAA,MAC7C;AAAA,IACF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA,EAKA,MAAc,kBAAkB,UAAkB,aAAmD;AACnG,UAAM,UAAU,MAAM,QAAQ,KAAK,OAAO,GAAG,kBAAkB,CAAC;AAChE,UAAM,SAAS,KAAK,SAAS,KAAK;AAClC,UAAM,MAAM,QAAQ,EAAE,WAAW,KAAK,CAAC;AAEvC,UAAM,YAAY;AAAA,UACZ,WAAW;AAAA;AAAA;AAAA;AAAA;AAAA;AAOjB,UAAM,UAAU,KAAK,SAAS,YAAY,GAAG,SAAS;AACtD,UAAM,UAAU,KAAK,QAAQ,SAAS,GAAG,QAAQ;AAEjD,WAAO,EAAE,QAAQ;AAAA,EACnB;AAAA,EAEA,MAAM,QAAQ,UAA4C;AACxD,QAAI,KAAK,kBAAkB;AACzB,YAAM,IAAI;AAAA,QACR;AAAA,MAEF;AAAA,IACF;AAGA,UAAM,UAAU,MAAM,KAAK,kBAAkB,UAAU,SAAS;AAChE,UAAM,YAAY,KAAK,QAAQ,SAAS,QAAQ;AAGhD,UAAM,KAAK,SAAS,aAAa,QAAQ,OAAO;AAChD,UAAM,kBAAkB,KAAK,WAAW,cAAc;AAGtD,UAAM,KAAK,SAAS,eAAe,eAAe;AAClD,UAAM,UAAU,KAAK,QAAQ,eAAe,GAAG,aAAa;AAG5D,UAAM,KAAK,SAAS,aAAa,OAAO;AACxC,UAAM,SAAS,KAAK,QAAQ,OAAO,GAAG,YAAY;AAClD,UAAM,SAAS,KAAK,QAAQ,OAAO,GAAG,YAAY;AAGlD,UAAM,cAAc,KAAK,MAAM,MAAM,SAAS,iBAAiB,OAAO,CAAC;AAGvE,UAAM,QAA6B;AAAA,MACjC,SAAS,QAAQ;AAAA,MACjB,gBAAgB,QAAQ;AAAA,MACxB;AAAA,MACA,aAAa,KAAK,WAAW,YAAY;AAAA,MACzC;AAAA,MACA;AAAA,MACA;AAAA,MACA,WAAW,KAAK,QAAQ,OAAO,GAAG,eAAe;AAAA,MACjD,mBAAmB,KAAK,QAAQ,OAAO,GAAG,YAAY;AAAA,MACtD,gBAAgB,KAAK,QAAQ,SAAS,aAAa;AAAA,IACrD;AAGA,UAAM,iBAAyC;AAAA,MAC7C,UAAU,YAAY,YAAY;AAAA,MAClC,KAAK,YAAY,OAAO;AAAA,QACtB,YAAY,CAAC;AAAA,QACb,aAAa;AAAA,QACb,aAAa,CAAC;AAAA,MAChB;AAAA,MACA,eAAe,YAAY,iBAAiB;AAAA,MAC5C,UAAU,YAAY,YAAY,CAAC;AAAA,MACnC,WAAW;AAAA,MACX;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EAEA,MAAM,cAAc,SAA0B,QAAsC;AAElF,UAAM,eAAe,KAAK,eAAe,OAAO;AAEhD,QAAI,CAAC,iBAAiB,YAAY,GAAG;AACnC,YAAM,IAAI;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAEA,UAAM,QAAQ,aAAa;AAE3B,QAAI;AAEF,YAAM,aAAa,KAAK,mBAAmB,MAAM;AACjD,YAAM,UAAU,MAAM,gBAAgB,UAAU;AAGhD,YAAM,KAAK,SAAS,aAAa,MAAM,cAAc;AAGrD,YAAM,KAAK,SAAS;AAAA,QAClB,MAAM;AAAA,QACN,MAAM;AAAA,QACN,MAAM;AAAA,QACN,MAAM;AAAA,MACR;AAGA,YAAM,aAAa,IAAI,WAAW,MAAM,SAAS,MAAM,SAAS,CAAC;AACjE,YAAM,qBAAqB,IAAI,WAAW,MAAM,SAAS,MAAM,iBAAiB,CAAC;AAGjF,YAAM,eAAe,KAAK,mBAAmB,kBAAkB;AAE/D,aAAO;AAAA,QACL,OAAO;AAAA,QACP;AAAA,MACF;AAAA,IACF,SAAS,OAAO;AACd,UAAI,CAAC,KAAK,OAAO,eAAe;AAC9B,cAAM,GAAG,MAAM,SAAS,EAAE,WAAW,MAAM,OAAO,KAAK,CAAC,EAAE,MAAM,MAAM;AAAA,QAAC,CAAC;AAAA,MAC1E;AACA,YAAM;AAAA,IACR;AAAA,EACF;AAAA,EAEA,MAAM,YACJ,SACA,OACA,cACkB;AAElB,UAAM,eAAe,KAAK,eAAe,OAAO;AAEhD,QAAI,CAAC,iBAAiB,YAAY,GAAG;AACnC,YAAM,IAAI;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAEA,UAAM,QAAQ,aAAa;AAE3B,QAAI;AAEF,YAAM,gBAAgB,MAAM,SAAS,MAAM,SAAS,EAAE,MAAM,MAAM,IAAI;AACtE,UAAI,CAAC,iBAAiB,CAAC,KAAK,WAAW,eAAe,KAAK,GAAG;AAC5D,cAAM,UAAU,MAAM,WAAW,KAAK;AAAA,MACxC;AAEA,YAAM,KAAK,SAAS;AAAA,QAClB,MAAM;AAAA,QACN,MAAM;AAAA,QACN,MAAM;AAAA,MACR;AAEA,aAAO;AAAA,IACT,SAAS,OAAO;AACd,UAAI,iBAAiB,iBAAiB;AACpC,YAAI,MAAM,OAAO,YAAY,EAAE,SAAS,qBAAqB,KACzD,MAAM,OAAO,YAAY,EAAE,SAAS,eAAe,GAAG;AACxD,iBAAO;AAAA,QACT;AAAA,MACF;AACA,YAAM;AAAA,IACR,UAAE;AACA,UAAI,CAAC,KAAK,OAAO,eAAe;AAC9B,cAAM,GAAG,MAAM,SAAS,EAAE,WAAW,MAAM,OAAO,KAAK,CAAC,EAAE,MAAM,MAAM;AAAA,QAAC,CAAC;AAAA,MAC1E;AAAA,IACF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA,EAKQ,eAAe,SAA2C;AAEhE,QAAI,iBAAiB,OAAO,GAAG;AAC7B,aAAO;AAAA,IACT;AAGA,QAAI,KAAK,oBAAoB;AAC3B,aAAO,KAAK;AAAA,IACd;AAGA,WAAO;AAAA,EACT;AAAA,EAEQ,mBAAmB,QAA0B;AACnD,UAAM,QAAkB,CAAC;AACzB,eAAW,CAAC,KAAK,KAAK,KAAK,OAAO,QAAQ,MAAM,GAAG;AACjD,YAAM,KAAK,GAAG,GAAG,MAAM,KAAK,gBAAgB,KAAK,CAAC,EAAE;AAAA,IACtD;AACA,WAAO,MAAM,KAAK,IAAI,IAAI;AAAA,EAC5B;AAAA,EAEQ,gBAAgB,OAAwB;AAC9C,QAAI,OAAO,UAAU,UAAU;AAC7B,UAAI,MAAM,WAAW,IAAI,EAAG,QAAO,IAAI,KAAK;AAC5C,UAAI,QAAQ,KAAK,KAAK,EAAG,QAAO;AAChC,aAAO,IAAI,KAAK;AAAA,IAClB;AACA,QAAI,OAAO,UAAU,YAAY,OAAO,UAAU,UAAU;AAC1D,aAAO,MAAM,SAAS;AAAA,IACxB;AACA,QAAI,MAAM,QAAQ,KAAK,GAAG;AACxB,aAAO,IAAI,MAAM,IAAI,OAAK,KAAK,gBAAgB,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC;AAAA,IAC/D;AACA,WAAO,OAAO,KAAK;AAAA,EACrB;AAAA,EAEQ,mBAAmB,OAA6B;AACtD,UAAM,eAAyB,CAAC;AAChC,UAAM,aAAa;AAEnB,aAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK,YAAY;AACjD,YAAM,aAAa,MAAM,MAAM,GAAG,KAAK,IAAI,IAAI,YAAY,MAAM,MAAM,CAAC;AACxE,UAAI,WAAW,WAAW,YAAY;AACpC,cAAM,MAAM,OAAO,MAAM,KAAK,UAAU,EACrC,IAAI,OAAK,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EACxC,KAAK,EAAE;AACV,qBAAa,KAAK,GAAG;AAAA,MACvB;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EAEQ,WAAW,GAAwB,GAAwB;AACjE,QAAI,EAAE,WAAW,EAAE,OAAQ,QAAO;AAClC,aAAS,IAAI,GAAG,IAAI,EAAE,QAAQ,KAAK;AACjC,UAAI,EAAE,CAAC,MAAM,EAAE,CAAC,EAAG,QAAO;AAAA,IAC5B;AACA,WAAO;AAAA,EACT;AACF;;;AG1UO,IAAK,WAAL,kBAAKA,cAAL;AAEL,EAAAA,UAAA,kBAAe;AAEf,EAAAA,UAAA,cAAW;AAEX,EAAAA,UAAA,aAAU;AANA,SAAAA;AAAA,GAAA;;;AC8DL,IAAM,iBAAN,MAAM,gBAAe;AAAA,EAClB;AAAA,EACA,kBAA0C;AAAA,EAE1C,YAAY,eAA+B;AACjD,SAAK,gBAAgB;AAAA,EACvB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAa,KAAK,cAAqD;AACrE,UAAM,UAAU,IAAI,QAAQ,YAAY;AACxC,WAAO,IAAI,gBAAe,OAAO;AAAA,EACnC;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,aAAa,qBAA8C;AACzD,UAAM,UAAU,IAAI,QAAQ;AAC5B,WAAO,IAAI,gBAAe,OAAO;AAAA,EACnC;AAAA,EAEA,mBAAmC;AACjC,WAAO,KAAK;AAAA,EACd;AAAA,EAEA,qBAA6C;AAC3C,WAAO,KAAK;AAAA,EACd;AAAA,EAEA,MAAM,QAAQ,UAA4C;AACxD,SAAK,kBAAkB,MAAM,KAAK,cAAc,QAAQ,QAAQ;AAChE,WAAO,KAAK;AAAA,EACd;AAAA,EAEA,MAAM,MAAM,QAAkB,SAA+C;AAC3E,UAAM,eAAe,WAAW,KAAK;AACrC,QAAI,CAAC,cAAc;AACjB,YAAM,IAAI,MAAM,kEAAkE;AAAA,IACpF;AACA,WAAO,KAAK,cAAc,cAAc,cAAc,MAAM;AAAA,EAC9D;AAAA,EAEA,MAAM,OACJ,OACA,cACA,SACkB;AAClB,UAAM,eAAe,WAAW,KAAK;AACrC,QAAI,CAAC,cAAc;AACjB,YAAM,IAAI,MAAM,kEAAkE;AAAA,IACpF;AACA,WAAO,KAAK,cAAc,YAAY,cAAc,OAAO,YAAY;AAAA,EACzE;AAAA,EAEA,MAAM,YACJ,UACA,QACkD;AAClD,UAAM,UAAU,MAAM,KAAK,QAAQ,QAAQ;AAC3C,UAAM,QAAQ,MAAM,KAAK,MAAM,QAAQ,OAAO;AAC9C,UAAM,WAAW,MAAM,KAAK,OAAO,MAAM,OAAO,MAAM,cAAc,OAAO;AAC3E,WAAO,EAAE,OAAO,SAAS;AAAA,EAC3B;AACF;AAMA,eAAsB,mBAAmB,cAAqD;AAC5F,SAAO,eAAe,KAAK,YAAY;AACzC;","names":["Provider"]}
+{"version":3,"sources":["../../src/infra/provingSystems/Sunspot.ts","../../src/infra/sunspot/types.ts","../../src/infra/sunspot/SunspotCliExecutor.ts","../../src/domain/types/provider.ts","../../src/providers/sunspot.ts"],"sourcesContent":["import { readFile, writeFile, rm, mkdtemp, mkdir } from 'node:fs/promises';\nimport { join, dirname } from 'node:path';\nimport { tmpdir } from 'node:os';\nimport type { IProvingSystem } from '../../domain/interfaces/proving/IProvingSystem.js';\nimport type { CompiledCircuit, InputMap, ProofData } from '../../domain/types.js';\nimport type { SunspotConfig, SunspotCircuitPaths, SunspotCompiledCircuit } from '../sunspot/types.js';\nimport { DEFAULT_SUNSPOT_CONFIG, isSunspotCircuit, SunspotCliError } from '../sunspot/types.js';\nimport { SunspotCliExecutor } from '../sunspot/SunspotCliExecutor.js';\nimport type { CircuitPaths } from '../../domain/types/provider.js';\n\n/**\n * Configuration for Sunspot constructor\n */\nexport interface SunspotInitConfig extends Partial<SunspotConfig> {\n  /** Pre-compiled circuit paths (if provided, compile() is disabled) */\n  precompiledPaths?: CircuitPaths;\n}\n\n/**\n * Sunspot proving system using CLI tools.\n * Node.js only (requires nargo and sunspot binaries).\n * Produces Groth16 proofs (~324 bytes) for Solana on-chain verification.\n *\n * Can be used in two modes:\n * 1. Full compilation: Call compile() with Noir code (requires nargo + sunspot CLI)\n * 2. Pre-compiled: Provide circuitPaths in constructor, then only prove/verify\n *\n * @example Full compilation\n * ```typescript\n * const sunspot = new Sunspot();\n * const circuit = await sunspot.compile(noirCode);\n * const proof = await sunspot.generateProof(circuit, inputs);\n * ```\n *\n * @example Pre-compiled (via IziNoir)\n * ```typescript\n * const izi = await IziNoir.init({\n *   provider: Provider.Sunspot,\n *   circuitPaths: { pkPath: '...', vkPath: '...', circuitPath: '...' }\n * });\n * ```\n */\nexport class Sunspot implements IProvingSystem {\n  private readonly config: SunspotConfig;\n  private readonly executor: SunspotCliExecutor;\n  private readonly precompiledPaths?: CircuitPaths;\n  private precompiledCircuit?: SunspotCompiledCircuit;\n\n  /**\n   * Create a new Sunspot proving system\n   * @param config - Configuration options or pre-compiled circuit paths\n   */\n  constructor(config: SunspotInitConfig | CircuitPaths = {}) {\n    // Check if config is CircuitPaths (has pkPath, vkPath, circuitPath)\n    if ('pkPath' in config && 'vkPath' in config && 'circuitPath' in config) {\n      this.config = { ...DEFAULT_SUNSPOT_CONFIG };\n      this.precompiledPaths = config as CircuitPaths;\n    } else {\n      const initConfig = config as SunspotInitConfig;\n      this.config = { ...DEFAULT_SUNSPOT_CONFIG, ...initConfig };\n      this.precompiledPaths = initConfig.precompiledPaths;\n    }\n\n    this.executor = new SunspotCliExecutor(this.config);\n\n    // If pre-compiled paths provided, create a dummy circuit object\n    if (this.precompiledPaths) {\n      this.precompiledCircuit = this.createPrecompiledCircuit(this.precompiledPaths);\n    }\n  }\n\n  /**\n   * Create a SunspotCompiledCircuit from pre-compiled paths\n   */\n  private createPrecompiledCircuit(paths: CircuitPaths): SunspotCompiledCircuit {\n    const baseDir = dirname(paths.circuitPath);\n    return {\n      bytecode: '', // Not needed for prove/verify with pre-compiled\n      abi: { parameters: [], return_type: null, error_types: {} },\n      debug_symbols: '',\n      file_map: {},\n      __sunspot: true,\n      paths: {\n        workDir: baseDir,\n        noirProjectDir: baseDir,\n        circuitJsonPath: paths.circuitPath,\n        witnessPath: join(baseDir, 'circuit.gz'),\n        ccsPath: join(baseDir, 'circuit.ccs'),\n        pkPath: paths.pkPath,\n        vkPath: paths.vkPath,\n        proofPath: join(baseDir, 'circuit.proof'),\n        publicWitnessPath: join(baseDir, 'circuit.pw'),\n        proverTomlPath: join(baseDir, 'Prover.toml'),\n      },\n    };\n  }\n\n  /**\n   * Create a temporary Noir project for compilation\n   */\n  private async createNoirProject(noirCode: string, packageName: string): Promise<{ rootDir: string }> {\n    const rootDir = await mkdtemp(join(tmpdir(), 'sunspot-circuit-'));\n    const srcDir = join(rootDir, 'src');\n    await mkdir(srcDir, { recursive: true });\n\n    const nargoToml = `[package]\nname = \"${packageName}\"\ntype = \"bin\"\nauthors = [\"\"]\n\n[dependencies]\n`;\n\n    await writeFile(join(rootDir, 'Nargo.toml'), nargoToml);\n    await writeFile(join(srcDir, 'main.nr'), noirCode);\n\n    return { rootDir };\n  }\n\n  async compile(noirCode: string): Promise<CompiledCircuit> {\n    if (this.precompiledPaths) {\n      throw new Error(\n        'Sunspot was initialized with pre-compiled circuit paths. ' +\n        'compile() is not available. Use generateProof() and verifyProof() directly.'\n      );\n    }\n\n    // 1. Create temp Noir project\n    const project = await this.createNoirProject(noirCode, 'circuit');\n    const targetDir = join(project.rootDir, 'target');\n\n    // 2. Run nargo compile → circuit.json\n    await this.executor.nargoCompile(project.rootDir);\n    const circuitJsonPath = join(targetDir, 'circuit.json');\n\n    // 3. Run sunspot compile → circuit.ccs\n    await this.executor.sunspotCompile(circuitJsonPath);\n    const ccsPath = join(dirname(circuitJsonPath), 'circuit.ccs');\n\n    // 4. Run sunspot setup → circuit.pk + circuit.vk\n    await this.executor.sunspotSetup(ccsPath);\n    const pkPath = join(dirname(ccsPath), 'circuit.pk');\n    const vkPath = join(dirname(ccsPath), 'circuit.vk');\n\n    // 5. Read circuit.json to extract ABI\n    const circuitJson = JSON.parse(await readFile(circuitJsonPath, 'utf-8'));\n\n    // 6. Build paths object\n    const paths: SunspotCircuitPaths = {\n      workDir: project.rootDir,\n      noirProjectDir: project.rootDir,\n      circuitJsonPath,\n      witnessPath: join(targetDir, 'circuit.gz'),\n      ccsPath,\n      pkPath,\n      vkPath,\n      proofPath: join(dirname(ccsPath), 'circuit.proof'),\n      publicWitnessPath: join(dirname(ccsPath), 'circuit.pw'),\n      proverTomlPath: join(project.rootDir, 'Prover.toml'),\n    };\n\n    // 7. Return SunspotCompiledCircuit (don't cleanup - prover needs the files)\n    const sunspotCircuit: SunspotCompiledCircuit = {\n      bytecode: circuitJson.bytecode || '',\n      abi: circuitJson.abi || {\n        parameters: [],\n        return_type: null,\n        error_types: {},\n      },\n      debug_symbols: circuitJson.debug_symbols || '',\n      file_map: circuitJson.file_map || {},\n      __sunspot: true,\n      paths,\n    };\n\n    return sunspotCircuit;\n  }\n\n  async generateProof(circuit: CompiledCircuit, inputs: InputMap): Promise<ProofData> {\n    // Use precompiled circuit if available and circuit is empty/default\n    const circuitToUse = this.resolveCircuit(circuit);\n\n    if (!isSunspotCircuit(circuitToUse)) {\n      throw new Error(\n        'Sunspot.generateProof requires a SunspotCompiledCircuit. Use Sunspot.compile() first.'\n      );\n    }\n\n    const paths = circuitToUse.paths;\n\n    try {\n      // 1. Write Prover.toml with inputs\n      const proverToml = this.generateProverToml(inputs);\n      await writeFile(paths.proverTomlPath, proverToml);\n\n      // 2. Run nargo execute to generate witness\n      await this.executor.nargoExecute(paths.noirProjectDir);\n\n      // 3. Run sunspot prove to generate proof\n      await this.executor.sunspotProve(\n        paths.circuitJsonPath,\n        paths.witnessPath,\n        paths.ccsPath,\n        paths.pkPath\n      );\n\n      // 4. Read proof and public witness files\n      const proofBytes = new Uint8Array(await readFile(paths.proofPath));\n      const publicWitnessBytes = new Uint8Array(await readFile(paths.publicWitnessPath));\n\n      // 5. Parse public inputs from public witness\n      const publicInputs = this.parsePublicWitness(publicWitnessBytes);\n\n      return {\n        proof: proofBytes,\n        publicInputs,\n      };\n    } catch (error) {\n      if (!this.config.keepArtifacts) {\n        await rm(paths.workDir, { recursive: true, force: true }).catch(() => {});\n      }\n      throw error;\n    }\n  }\n\n  async verifyProof(\n    circuit: CompiledCircuit,\n    proof: Uint8Array,\n    publicInputs: string[]\n  ): Promise<boolean> {\n    // Use precompiled circuit if available and circuit is empty/default\n    const circuitToUse = this.resolveCircuit(circuit);\n\n    if (!isSunspotCircuit(circuitToUse)) {\n      throw new Error(\n        'Sunspot.verifyProof requires a SunspotCompiledCircuit. Use Sunspot.compile() first.'\n      );\n    }\n\n    const paths = circuitToUse.paths;\n\n    try {\n      // Use existing .proof and .pw files from generateProof\n      const existingProof = await readFile(paths.proofPath).catch(() => null);\n      if (!existingProof || !this.bytesEqual(existingProof, proof)) {\n        await writeFile(paths.proofPath, proof);\n      }\n\n      await this.executor.sunspotVerify(\n        paths.vkPath,\n        paths.proofPath,\n        paths.publicWitnessPath\n      );\n\n      return true;\n    } catch (error) {\n      if (error instanceof SunspotCliError) {\n        if (error.stderr.toLowerCase().includes('verification failed') ||\n            error.stderr.toLowerCase().includes('invalid proof')) {\n          return false;\n        }\n      }\n      throw error;\n    } finally {\n      if (!this.config.keepArtifacts) {\n        await rm(paths.workDir, { recursive: true, force: true }).catch(() => {});\n      }\n    }\n  }\n\n  /**\n   * Resolve which circuit to use - precompiled or provided\n   */\n  private resolveCircuit(circuit: CompiledCircuit): CompiledCircuit {\n    // If circuit is a proper SunspotCompiledCircuit, use it\n    if (isSunspotCircuit(circuit)) {\n      return circuit;\n    }\n\n    // If we have precompiled paths, use those\n    if (this.precompiledCircuit) {\n      return this.precompiledCircuit;\n    }\n\n    // Otherwise, return the provided circuit (will fail validation)\n    return circuit;\n  }\n\n  private generateProverToml(inputs: InputMap): string {\n    const lines: string[] = [];\n    for (const [key, value] of Object.entries(inputs)) {\n      lines.push(`${key} = ${this.formatTomlValue(value)}`);\n    }\n    return lines.join('\\n') + '\\n';\n  }\n\n  private formatTomlValue(value: unknown): string {\n    if (typeof value === 'string') {\n      if (value.startsWith('0x')) return `\"${value}\"`;\n      if (/^\\d+$/.test(value)) return value;\n      return `\"${value}\"`;\n    }\n    if (typeof value === 'number' || typeof value === 'bigint') {\n      return value.toString();\n    }\n    if (Array.isArray(value)) {\n      return `[${value.map(v => this.formatTomlValue(v)).join(', ')}]`;\n    }\n    return String(value);\n  }\n\n  private parsePublicWitness(bytes: Uint8Array): string[] {\n    const publicInputs: string[] = [];\n    const FIELD_SIZE = 32;\n\n    for (let i = 0; i < bytes.length; i += FIELD_SIZE) {\n      const fieldBytes = bytes.slice(i, Math.min(i + FIELD_SIZE, bytes.length));\n      if (fieldBytes.length === FIELD_SIZE) {\n        const hex = '0x' + Array.from(fieldBytes)\n          .map(b => b.toString(16).padStart(2, '0'))\n          .join('');\n        publicInputs.push(hex);\n      }\n    }\n\n    return publicInputs;\n  }\n\n  private bytesEqual(a: Buffer | Uint8Array, b: Uint8Array): boolean {\n    if (a.length !== b.length) return false;\n    for (let i = 0; i < a.length; i++) {\n      if (a[i] !== b[i]) return false;\n    }\n    return true;\n  }\n}\n","import type { CompiledCircuit } from '@noir-lang/types';\n\n/**\n * Configuration for Sunspot CLI execution\n */\nexport interface SunspotConfig {\n  /** Path to nargo binary (default: 'nargo') */\n  nargoBinaryPath: string;\n  /** Path to sunspot binary (default: 'sunspot') */\n  sunspotBinaryPath: string;\n  /** Keep temp artifacts for debugging (default: false) */\n  keepArtifacts: boolean;\n  /** Timeout for CLI commands in ms (default: 120000) */\n  timeoutMs: number;\n}\n\nexport const DEFAULT_SUNSPOT_CONFIG: SunspotConfig = {\n  nargoBinaryPath: process.env.NARGO_PATH || 'nargo',\n  sunspotBinaryPath: process.env.SUNSPOT_PATH || 'sunspot',\n  keepArtifacts: process.env.SUNSPOT_KEEP_ARTIFACTS === 'true',\n  timeoutMs: 120000,\n};\n\n/**\n * Paths to all Sunspot artifacts in the temp directory\n */\nexport interface SunspotCircuitPaths {\n  /** Base temp directory */\n  workDir: string;\n  /** Noir project directory with Nargo.toml */\n  noirProjectDir: string;\n  /** Path to compiled circuit.json (ACIR) */\n  circuitJsonPath: string;\n  /** Path to witness.gz */\n  witnessPath: string;\n  /** Path to circuit.ccs */\n  ccsPath: string;\n  /** Path to proving key */\n  pkPath: string;\n  /** Path to verification key */\n  vkPath: string;\n  /** Path to proof file */\n  proofPath: string;\n  /** Path to public witness file */\n  publicWitnessPath: string;\n  /** Path to Prover.toml */\n  proverTomlPath: string;\n}\n\n/**\n * Extended CompiledCircuit for Sunspot backend\n */\nexport interface SunspotCompiledCircuit extends CompiledCircuit {\n  /** Marker to identify Sunspot circuits */\n  __sunspot: true;\n  /** Paths to all artifacts */\n  paths: SunspotCircuitPaths;\n}\n\n/**\n * Type guard to check if a circuit is a Sunspot circuit\n */\nexport function isSunspotCircuit(circuit: CompiledCircuit): circuit is SunspotCompiledCircuit {\n  return '__sunspot' in circuit && (circuit as SunspotCompiledCircuit).__sunspot === true;\n}\n\n/**\n * Result of CLI command execution\n */\nexport interface CliResult {\n  stdout: string;\n  stderr: string;\n  exitCode: number;\n}\n\n/**\n * Error thrown when CLI command fails\n */\nexport class SunspotCliError extends Error {\n  constructor(\n    message: string,\n    public readonly command: string,\n    public readonly exitCode: number,\n    public readonly stderr: string\n  ) {\n    super(message);\n    this.name = 'SunspotCliError';\n  }\n}\n","import { spawn } from 'node:child_process';\nimport type { SunspotConfig, CliResult } from './types.js';\nimport { SunspotCliError } from './types.js';\n\n/**\n * Executes Sunspot and Nargo CLI commands\n */\nexport class SunspotCliExecutor {\n  constructor(private readonly config: SunspotConfig) {}\n\n  /**\n   * Execute a CLI command and return the result\n   */\n  private async execute(command: string, args: string[], cwd?: string): Promise<CliResult> {\n    return new Promise((resolve, reject) => {\n      const proc = spawn(command, args, {\n        cwd,\n        timeout: this.config.timeoutMs,\n        env: { ...process.env },\n      });\n\n      let stdout = '';\n      let stderr = '';\n\n      proc.stdout.on('data', (data) => {\n        stdout += data.toString();\n      });\n\n      proc.stderr.on('data', (data) => {\n        stderr += data.toString();\n      });\n\n      proc.on('close', (exitCode) => {\n        const result: CliResult = {\n          stdout,\n          stderr,\n          exitCode: exitCode ?? 1,\n        };\n\n        if (exitCode !== 0) {\n          reject(new SunspotCliError(\n            `Command failed: ${command} ${args.join(' ')}\\n${stderr || stdout}`,\n            `${command} ${args.join(' ')}`,\n            exitCode ?? 1,\n            stderr || stdout\n          ));\n        } else {\n          resolve(result);\n        }\n      });\n\n      proc.on('error', (error) => {\n        const message = error.message.includes('ENOENT')\n          ? `Binary not found: ${command}. Ensure it is installed and in PATH.`\n          : `Failed to execute ${command}: ${error.message}`;\n\n        reject(new SunspotCliError(\n          message,\n          `${command} ${args.join(' ')}`,\n          1,\n          error.message\n        ));\n      });\n    });\n  }\n\n  /**\n   * Run nargo compile in the project directory\n   * Output: target/circuit.json\n   */\n  async nargoCompile(projectDir: string): Promise<CliResult> {\n    return this.execute(this.config.nargoBinaryPath, ['compile'], projectDir);\n  }\n\n  /**\n   * Run nargo execute to generate witness\n   * Output: target/circuit.gz\n   */\n  async nargoExecute(projectDir: string): Promise<CliResult> {\n    return this.execute(this.config.nargoBinaryPath, ['execute'], projectDir);\n  }\n\n  /**\n   * Run sunspot compile to generate CCS\n   * Input: circuit.json\n   * Output: circuit.ccs (in same directory as input)\n   */\n  async sunspotCompile(circuitJsonPath: string): Promise<CliResult> {\n    return this.execute(this.config.sunspotBinaryPath, ['compile', circuitJsonPath]);\n  }\n\n  /**\n   * Run sunspot setup to generate proving and verification keys\n   * Input: circuit.ccs\n   * Output: circuit.pk, circuit.vk (in same directory as input)\n   */\n  async sunspotSetup(ccsPath: string): Promise<CliResult> {\n    return this.execute(this.config.sunspotBinaryPath, ['setup', ccsPath]);\n  }\n\n  /**\n   * Run sunspot prove to generate proof\n   * Inputs: circuit.json, witness.gz, circuit.ccs, circuit.pk\n   * Outputs: circuit.proof, circuit.pw (in same directory as ccs)\n   */\n  async sunspotProve(\n    circuitJsonPath: string,\n    witnessPath: string,\n    ccsPath: string,\n    pkPath: string\n  ): Promise<CliResult> {\n    return this.execute(this.config.sunspotBinaryPath, [\n      'prove',\n      circuitJsonPath,\n      witnessPath,\n      ccsPath,\n      pkPath,\n    ]);\n  }\n\n  /**\n   * Run sunspot verify to verify a proof\n   * Inputs: circuit.vk, circuit.proof, circuit.pw\n   * Returns: true if verification succeeds\n   */\n  async sunspotVerify(\n    vkPath: string,\n    proofPath: string,\n    publicWitnessPath: string\n  ): Promise<CliResult> {\n    return this.execute(this.config.sunspotBinaryPath, [\n      'verify',\n      vkPath,\n      proofPath,\n      publicWitnessPath,\n    ]);\n  }\n}\n","import { Chain } from './chain.js';\nimport { Network } from '../../solana/config.js';\n\n/**\n * Available proving system providers\n */\nexport enum Provider {\n  /** Barretenberg backend - browser compatible, UltraHonk proofs (~16KB) */\n  Barretenberg = 'barretenberg',\n  /** Arkworks WASM backend - browser compatible, Groth16 proofs (~256 bytes) */\n  Arkworks = 'arkworks',\n  /** Sunspot CLI backend - Node.js only, Groth16 proofs (~256 bytes) */\n  Sunspot = 'sunspot',\n}\n\n/**\n * Configuration for circuit paths (required for Sunspot)\n */\nexport interface CircuitPaths {\n  /** Path to the proving key file */\n  pkPath: string;\n  /** Path to the verification key file */\n  vkPath: string;\n  /** Path to the compiled circuit JSON file */\n  circuitPath: string;\n}\n\n/**\n * Configuration for IziNoir initialization\n */\nexport interface IziNoirConfig {\n  /** The proving system provider to use */\n  provider: Provider;\n  /**\n   * Target blockchain for proof formatting.\n   * If omitted, operates in offchain mode (raw proofs, no chain formatting).\n   */\n  chain?: Chain;\n  /**\n   * Solana network for deploy/verify operations.\n   * Only used when chain is Chain.Solana.\n   * Default: Network.Devnet\n   */\n  network?: Network;\n  /** Circuit paths - required for Sunspot provider */\n  circuitPaths?: CircuitPaths;\n}\n\n// Re-export Chain and Network for convenience\nexport { Chain };\nexport { Network };\n","/**\n * Sunspot entry point for Node.js.\n *\n * This module provides Sunspot support which is NOT available in the main\n * `@izi-noir/sdk` entry point due to Node.js-only dependencies.\n *\n * Note: Sunspot requires nargo and sunspot CLI tools to be installed.\n *\n * @example Using Sunspot directly\n * ```typescript\n * import { Sunspot } from '@izi-noir/sdk/sunspot';\n *\n * // Full compilation mode\n * const sunspot = new Sunspot();\n * const circuit = await sunspot.compile(noirCode);\n * const proof = await sunspot.generateProof(circuit, inputs);\n * const verified = await sunspot.verifyProof(circuit, proof.proof, proof.publicInputs);\n *\n * // Pre-compiled mode\n * const sunspot = new Sunspot({\n *   pkPath: './circuit/circuit.pk',\n *   vkPath: './circuit/circuit.vk',\n *   circuitPath: './circuit/circuit.json',\n * });\n * ```\n *\n * @example Using initSunspotIziNoir helper\n * ```typescript\n * import { initSunspotIziNoir } from '@izi-noir/sdk/sunspot';\n *\n * const izi = await initSunspotIziNoir({\n *   pkPath: './circuit/circuit.pk',\n *   vkPath: './circuit/circuit.vk',\n *   circuitPath: './circuit/circuit.json',\n * });\n *\n * // Use like regular IziNoir (but only prove/verify, not compile)\n * const proof = await izi.prove(inputs);\n * const verified = await izi.verify(proof.proof, proof.publicInputs);\n * ```\n *\n * @module @izi-noir/sdk/sunspot\n */\n\nimport type { IProvingSystem } from '../domain/interfaces/proving/IProvingSystem.js';\nimport type { CompiledCircuit, InputMap, ProofData } from '../domain/types.js';\nimport type { CircuitPaths } from '../domain/types/provider.js';\nimport { Sunspot } from '../infra/provingSystems/Sunspot.js';\n\nexport { Sunspot } from '../infra/provingSystems/Sunspot.js';\nexport type { SunspotInitConfig } from '../infra/provingSystems/Sunspot.js';\nexport type {\n  SunspotConfig,\n  SunspotCircuitPaths,\n  SunspotCompiledCircuit,\n} from '../infra/sunspot/types.js';\nexport { isSunspotCircuit, SunspotCliError } from '../infra/sunspot/types.js';\n\n// Re-export common types\nexport { Provider, type IziNoirConfig, type CircuitPaths } from '../domain/types/provider.js';\nexport type { CompiledCircuit, InputMap, ProofData } from '../domain/types.js';\nexport type { IProvingSystem } from '../domain/interfaces/proving/IProvingSystem.js';\n\n/**\n * IziNoir-like wrapper for Sunspot.\n * Provides a similar API to IziNoir but backed by the Sunspot proving system.\n */\nexport class IziNoirSunspot {\n  private provingSystem: IProvingSystem;\n  private compiledCircuit: CompiledCircuit | null = null;\n\n  private constructor(provingSystem: IProvingSystem) {\n    this.provingSystem = provingSystem;\n  }\n\n  /**\n   * Initialize IziNoirSunspot with pre-compiled circuit paths.\n   * Note: Sunspot requires pre-compiled circuits for prove/verify operations.\n   *\n   * @param circuitPaths - Paths to the pre-compiled circuit files\n   */\n  static async init(circuitPaths: CircuitPaths): Promise<IziNoirSunspot> {\n    const sunspot = new Sunspot(circuitPaths);\n    return new IziNoirSunspot(sunspot);\n  }\n\n  /**\n   * Initialize IziNoirSunspot for full compilation mode.\n   * Requires nargo and sunspot CLI tools to be installed.\n   */\n  static async initForCompilation(): Promise<IziNoirSunspot> {\n    const sunspot = new Sunspot();\n    return new IziNoirSunspot(sunspot);\n  }\n\n  getProvingSystem(): IProvingSystem {\n    return this.provingSystem;\n  }\n\n  getCompiledCircuit(): CompiledCircuit | null {\n    return this.compiledCircuit;\n  }\n\n  async compile(noirCode: string): Promise<CompiledCircuit> {\n    this.compiledCircuit = await this.provingSystem.compile(noirCode);\n    return this.compiledCircuit;\n  }\n\n  async prove(inputs: InputMap, circuit?: CompiledCircuit): Promise<ProofData> {\n    const circuitToUse = circuit || this.compiledCircuit;\n    if (!circuitToUse) {\n      throw new Error('No circuit available. Call compile() first or provide a circuit.');\n    }\n    return this.provingSystem.generateProof(circuitToUse, inputs);\n  }\n\n  async verify(\n    proof: Uint8Array,\n    publicInputs: string[],\n    circuit?: CompiledCircuit\n  ): Promise<boolean> {\n    const circuitToUse = circuit || this.compiledCircuit;\n    if (!circuitToUse) {\n      throw new Error('No circuit available. Call compile() first or provide a circuit.');\n    }\n    return this.provingSystem.verifyProof(circuitToUse, proof, publicInputs);\n  }\n\n  async createProof(\n    noirCode: string,\n    inputs: InputMap\n  ): Promise<{ proof: ProofData; verified: boolean }> {\n    const circuit = await this.compile(noirCode);\n    const proof = await this.prove(inputs, circuit);\n    const verified = await this.verify(proof.proof, proof.publicInputs, circuit);\n    return { proof, verified };\n  }\n}\n\n/**\n * Helper function to create an IziNoirSunspot instance with pre-compiled circuit paths.\n * @deprecated Use `IziNoirSunspot.init(circuitPaths)` instead.\n */\nexport async function initSunspotIziNoir(circuitPaths: CircuitPaths): Promise<IziNoirSunspot> {\n  return IziNoirSunspot.init(circuitPaths);\n}\n"],"mappings":";AAAA,SAAS,UAAU,WAAW,IAAI,SAAS,aAAa;AACxD,SAAS,MAAM,eAAe;AAC9B,SAAS,cAAc;;;ACchB,IAAM,yBAAwC;AAAA,EACnD,iBAAiB,QAAQ,IAAI,cAAc;AAAA,EAC3C,mBAAmB,QAAQ,IAAI,gBAAgB;AAAA,EAC/C,eAAe,QAAQ,IAAI,2BAA2B;AAAA,EACtD,WAAW;AACb;AAyCO,SAAS,iBAAiB,SAA6D;AAC5F,SAAO,eAAe,WAAY,QAAmC,cAAc;AACrF;AAcO,IAAM,kBAAN,cAA8B,MAAM;AAAA,EACzC,YACE,SACgB,SACA,UACA,QAChB;AACA,UAAM,OAAO;AAJG;AACA;AACA;AAGhB,SAAK,OAAO;AAAA,EACd;AACF;;;ACxFA,SAAS,aAAa;AAOf,IAAM,qBAAN,MAAyB;AAAA,EAC9B,YAA6B,QAAuB;AAAvB;AAAA,EAAwB;AAAA;AAAA;AAAA;AAAA,EAKrD,MAAc,QAAQ,SAAiB,MAAgB,KAAkC;AACvF,WAAO,IAAI,QAAQ,CAAC,SAAS,WAAW;AACtC,YAAM,OAAO,MAAM,SAAS,MAAM;AAAA,QAChC;AAAA,QACA,SAAS,KAAK,OAAO;AAAA,QACrB,KAAK,EAAE,GAAG,QAAQ,IAAI;AAAA,MACxB,CAAC;AAED,UAAI,SAAS;AACb,UAAI,SAAS;AAEb,WAAK,OAAO,GAAG,QAAQ,CAAC,SAAS;AAC/B,kBAAU,KAAK,SAAS;AAAA,MAC1B,CAAC;AAED,WAAK,OAAO,GAAG,QAAQ,CAAC,SAAS;AAC/B,kBAAU,KAAK,SAAS;AAAA,MAC1B,CAAC;AAED,WAAK,GAAG,SAAS,CAAC,aAAa;AAC7B,cAAM,SAAoB;AAAA,UACxB;AAAA,UACA;AAAA,UACA,UAAU,YAAY;AAAA,QACxB;AAEA,YAAI,aAAa,GAAG;AAClB,iBAAO,IAAI;AAAA,YACT,mBAAmB,OAAO,IAAI,KAAK,KAAK,GAAG,CAAC;AAAA,EAAK,UAAU,MAAM;AAAA,YACjE,GAAG,OAAO,IAAI,KAAK,KAAK,GAAG,CAAC;AAAA,YAC5B,YAAY;AAAA,YACZ,UAAU;AAAA,UACZ,CAAC;AAAA,QACH,OAAO;AACL,kBAAQ,MAAM;AAAA,QAChB;AAAA,MACF,CAAC;AAED,WAAK,GAAG,SAAS,CAAC,UAAU;AAC1B,cAAM,UAAU,MAAM,QAAQ,SAAS,QAAQ,IAC3C,qBAAqB,OAAO,0CAC5B,qBAAqB,OAAO,KAAK,MAAM,OAAO;AAElD,eAAO,IAAI;AAAA,UACT;AAAA,UACA,GAAG,OAAO,IAAI,KAAK,KAAK,GAAG,CAAC;AAAA,UAC5B;AAAA,UACA,MAAM;AAAA,QACR,CAAC;AAAA,MACH,CAAC;AAAA,IACH,CAAC;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,MAAM,aAAa,YAAwC;AACzD,WAAO,KAAK,QAAQ,KAAK,OAAO,iBAAiB,CAAC,SAAS,GAAG,UAAU;AAAA,EAC1E;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,MAAM,aAAa,YAAwC;AACzD,WAAO,KAAK,QAAQ,KAAK,OAAO,iBAAiB,CAAC,SAAS,GAAG,UAAU;AAAA,EAC1E;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,MAAM,eAAe,iBAA6C;AAChE,WAAO,KAAK,QAAQ,KAAK,OAAO,mBAAmB,CAAC,WAAW,eAAe,CAAC;AAAA,EACjF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,MAAM,aAAa,SAAqC;AACtD,WAAO,KAAK,QAAQ,KAAK,OAAO,mBAAmB,CAAC,SAAS,OAAO,CAAC;AAAA,EACvE;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,MAAM,aACJ,iBACA,aACA,SACA,QACoB;AACpB,WAAO,KAAK,QAAQ,KAAK,OAAO,mBAAmB;AAAA,MACjD;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF,CAAC;AAAA,EACH;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,MAAM,cACJ,QACA,WACA,mBACoB;AACpB,WAAO,KAAK,QAAQ,KAAK,OAAO,mBAAmB;AAAA,MACjD;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF,CAAC;AAAA,EACH;AACF;;;AF/FO,IAAM,UAAN,MAAwC;AAAA,EAC5B;AAAA,EACA;AAAA,EACA;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA,EAMR,YAAY,SAA2C,CAAC,GAAG;AAEzD,QAAI,YAAY,UAAU,YAAY,UAAU,iBAAiB,QAAQ;AACvE,WAAK,SAAS,EAAE,GAAG,uBAAuB;AAC1C,WAAK,mBAAmB;AAAA,IAC1B,OAAO;AACL,YAAM,aAAa;AACnB,WAAK,SAAS,EAAE,GAAG,wBAAwB,GAAG,WAAW;AACzD,WAAK,mBAAmB,WAAW;AAAA,IACrC;AAEA,SAAK,WAAW,IAAI,mBAAmB,KAAK,MAAM;AAGlD,QAAI,KAAK,kBAAkB;AACzB,WAAK,qBAAqB,KAAK,yBAAyB,KAAK,gBAAgB;AAAA,IAC/E;AAAA,EACF;AAAA;AAAA;AAAA;AAAA,EAKQ,yBAAyB,OAA6C;AAC5E,UAAM,UAAU,QAAQ,MAAM,WAAW;AACzC,WAAO;AAAA,MACL,UAAU;AAAA;AAAA,MACV,KAAK,EAAE,YAAY,CAAC,GAAG,aAAa,MAAM,aAAa,CAAC,EAAE;AAAA,MAC1D,eAAe;AAAA,MACf,UAAU,CAAC;AAAA,MACX,WAAW;AAAA,MACX,OAAO;AAAA,QACL,SAAS;AAAA,QACT,gBAAgB;AAAA,QAChB,iBAAiB,MAAM;AAAA,QACvB,aAAa,KAAK,SAAS,YAAY;AAAA,QACvC,SAAS,KAAK,SAAS,aAAa;AAAA,QACpC,QAAQ,MAAM;AAAA,QACd,QAAQ,MAAM;AAAA,QACd,WAAW,KAAK,SAAS,eAAe;AAAA,QACxC,mBAAmB,KAAK,SAAS,YAAY;AAAA,QAC7C,gBAAgB,KAAK,SAAS,aAAa;AAAA,MAC7C;AAAA,IACF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA,EAKA,MAAc,kBAAkB,UAAkB,aAAmD;AACnG,UAAM,UAAU,MAAM,QAAQ,KAAK,OAAO,GAAG,kBAAkB,CAAC;AAChE,UAAM,SAAS,KAAK,SAAS,KAAK;AAClC,UAAM,MAAM,QAAQ,EAAE,WAAW,KAAK,CAAC;AAEvC,UAAM,YAAY;AAAA,UACZ,WAAW;AAAA;AAAA;AAAA;AAAA;AAAA;AAOjB,UAAM,UAAU,KAAK,SAAS,YAAY,GAAG,SAAS;AACtD,UAAM,UAAU,KAAK,QAAQ,SAAS,GAAG,QAAQ;AAEjD,WAAO,EAAE,QAAQ;AAAA,EACnB;AAAA,EAEA,MAAM,QAAQ,UAA4C;AACxD,QAAI,KAAK,kBAAkB;AACzB,YAAM,IAAI;AAAA,QACR;AAAA,MAEF;AAAA,IACF;AAGA,UAAM,UAAU,MAAM,KAAK,kBAAkB,UAAU,SAAS;AAChE,UAAM,YAAY,KAAK,QAAQ,SAAS,QAAQ;AAGhD,UAAM,KAAK,SAAS,aAAa,QAAQ,OAAO;AAChD,UAAM,kBAAkB,KAAK,WAAW,cAAc;AAGtD,UAAM,KAAK,SAAS,eAAe,eAAe;AAClD,UAAM,UAAU,KAAK,QAAQ,eAAe,GAAG,aAAa;AAG5D,UAAM,KAAK,SAAS,aAAa,OAAO;AACxC,UAAM,SAAS,KAAK,QAAQ,OAAO,GAAG,YAAY;AAClD,UAAM,SAAS,KAAK,QAAQ,OAAO,GAAG,YAAY;AAGlD,UAAM,cAAc,KAAK,MAAM,MAAM,SAAS,iBAAiB,OAAO,CAAC;AAGvE,UAAM,QAA6B;AAAA,MACjC,SAAS,QAAQ;AAAA,MACjB,gBAAgB,QAAQ;AAAA,MACxB;AAAA,MACA,aAAa,KAAK,WAAW,YAAY;AAAA,MACzC;AAAA,MACA;AAAA,MACA;AAAA,MACA,WAAW,KAAK,QAAQ,OAAO,GAAG,eAAe;AAAA,MACjD,mBAAmB,KAAK,QAAQ,OAAO,GAAG,YAAY;AAAA,MACtD,gBAAgB,KAAK,QAAQ,SAAS,aAAa;AAAA,IACrD;AAGA,UAAM,iBAAyC;AAAA,MAC7C,UAAU,YAAY,YAAY;AAAA,MAClC,KAAK,YAAY,OAAO;AAAA,QACtB,YAAY,CAAC;AAAA,QACb,aAAa;AAAA,QACb,aAAa,CAAC;AAAA,MAChB;AAAA,MACA,eAAe,YAAY,iBAAiB;AAAA,MAC5C,UAAU,YAAY,YAAY,CAAC;AAAA,MACnC,WAAW;AAAA,MACX;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EAEA,MAAM,cAAc,SAA0B,QAAsC;AAElF,UAAM,eAAe,KAAK,eAAe,OAAO;AAEhD,QAAI,CAAC,iBAAiB,YAAY,GAAG;AACnC,YAAM,IAAI;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAEA,UAAM,QAAQ,aAAa;AAE3B,QAAI;AAEF,YAAM,aAAa,KAAK,mBAAmB,MAAM;AACjD,YAAM,UAAU,MAAM,gBAAgB,UAAU;AAGhD,YAAM,KAAK,SAAS,aAAa,MAAM,cAAc;AAGrD,YAAM,KAAK,SAAS;AAAA,QAClB,MAAM;AAAA,QACN,MAAM;AAAA,QACN,MAAM;AAAA,QACN,MAAM;AAAA,MACR;AAGA,YAAM,aAAa,IAAI,WAAW,MAAM,SAAS,MAAM,SAAS,CAAC;AACjE,YAAM,qBAAqB,IAAI,WAAW,MAAM,SAAS,MAAM,iBAAiB,CAAC;AAGjF,YAAM,eAAe,KAAK,mBAAmB,kBAAkB;AAE/D,aAAO;AAAA,QACL,OAAO;AAAA,QACP;AAAA,MACF;AAAA,IACF,SAAS,OAAO;AACd,UAAI,CAAC,KAAK,OAAO,eAAe;AAC9B,cAAM,GAAG,MAAM,SAAS,EAAE,WAAW,MAAM,OAAO,KAAK,CAAC,EAAE,MAAM,MAAM;AAAA,QAAC,CAAC;AAAA,MAC1E;AACA,YAAM;AAAA,IACR;AAAA,EACF;AAAA,EAEA,MAAM,YACJ,SACA,OACA,cACkB;AAElB,UAAM,eAAe,KAAK,eAAe,OAAO;AAEhD,QAAI,CAAC,iBAAiB,YAAY,GAAG;AACnC,YAAM,IAAI;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAEA,UAAM,QAAQ,aAAa;AAE3B,QAAI;AAEF,YAAM,gBAAgB,MAAM,SAAS,MAAM,SAAS,EAAE,MAAM,MAAM,IAAI;AACtE,UAAI,CAAC,iBAAiB,CAAC,KAAK,WAAW,eAAe,KAAK,GAAG;AAC5D,cAAM,UAAU,MAAM,WAAW,KAAK;AAAA,MACxC;AAEA,YAAM,KAAK,SAAS;AAAA,QAClB,MAAM;AAAA,QACN,MAAM;AAAA,QACN,MAAM;AAAA,MACR;AAEA,aAAO;AAAA,IACT,SAAS,OAAO;AACd,UAAI,iBAAiB,iBAAiB;AACpC,YAAI,MAAM,OAAO,YAAY,EAAE,SAAS,qBAAqB,KACzD,MAAM,OAAO,YAAY,EAAE,SAAS,eAAe,GAAG;AACxD,iBAAO;AAAA,QACT;AAAA,MACF;AACA,YAAM;AAAA,IACR,UAAE;AACA,UAAI,CAAC,KAAK,OAAO,eAAe;AAC9B,cAAM,GAAG,MAAM,SAAS,EAAE,WAAW,MAAM,OAAO,KAAK,CAAC,EAAE,MAAM,MAAM;AAAA,QAAC,CAAC;AAAA,MAC1E;AAAA,IACF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA,EAKQ,eAAe,SAA2C;AAEhE,QAAI,iBAAiB,OAAO,GAAG;AAC7B,aAAO;AAAA,IACT;AAGA,QAAI,KAAK,oBAAoB;AAC3B,aAAO,KAAK;AAAA,IACd;AAGA,WAAO;AAAA,EACT;AAAA,EAEQ,mBAAmB,QAA0B;AACnD,UAAM,QAAkB,CAAC;AACzB,eAAW,CAAC,KAAK,KAAK,KAAK,OAAO,QAAQ,MAAM,GAAG;AACjD,YAAM,KAAK,GAAG,GAAG,MAAM,KAAK,gBAAgB,KAAK,CAAC,EAAE;AAAA,IACtD;AACA,WAAO,MAAM,KAAK,IAAI,IAAI;AAAA,EAC5B;AAAA,EAEQ,gBAAgB,OAAwB;AAC9C,QAAI,OAAO,UAAU,UAAU;AAC7B,UAAI,MAAM,WAAW,IAAI,EAAG,QAAO,IAAI,KAAK;AAC5C,UAAI,QAAQ,KAAK,KAAK,EAAG,QAAO;AAChC,aAAO,IAAI,KAAK;AAAA,IAClB;AACA,QAAI,OAAO,UAAU,YAAY,OAAO,UAAU,UAAU;AAC1D,aAAO,MAAM,SAAS;AAAA,IACxB;AACA,QAAI,MAAM,QAAQ,KAAK,GAAG;AACxB,aAAO,IAAI,MAAM,IAAI,OAAK,KAAK,gBAAgB,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC;AAAA,IAC/D;AACA,WAAO,OAAO,KAAK;AAAA,EACrB;AAAA,EAEQ,mBAAmB,OAA6B;AACtD,UAAM,eAAyB,CAAC;AAChC,UAAM,aAAa;AAEnB,aAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK,YAAY;AACjD,YAAM,aAAa,MAAM,MAAM,GAAG,KAAK,IAAI,IAAI,YAAY,MAAM,MAAM,CAAC;AACxE,UAAI,WAAW,WAAW,YAAY;AACpC,cAAM,MAAM,OAAO,MAAM,KAAK,UAAU,EACrC,IAAI,OAAK,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EACxC,KAAK,EAAE;AACV,qBAAa,KAAK,GAAG;AAAA,MACvB;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EAEQ,WAAW,GAAwB,GAAwB;AACjE,QAAI,EAAE,WAAW,EAAE,OAAQ,QAAO;AAClC,aAAS,IAAI,GAAG,IAAI,EAAE,QAAQ,KAAK;AACjC,UAAI,EAAE,CAAC,MAAM,EAAE,CAAC,EAAG,QAAO;AAAA,IAC5B;AACA,WAAO;AAAA,EACT;AACF;;;AGzUO,IAAK,WAAL,kBAAKA,cAAL;AAEL,EAAAA,UAAA,kBAAe;AAEf,EAAAA,UAAA,cAAW;AAEX,EAAAA,UAAA,aAAU;AANA,SAAAA;AAAA,GAAA;;;AC6DL,IAAM,iBAAN,MAAM,gBAAe;AAAA,EAClB;AAAA,EACA,kBAA0C;AAAA,EAE1C,YAAY,eAA+B;AACjD,SAAK,gBAAgB;AAAA,EACvB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,aAAa,KAAK,cAAqD;AACrE,UAAM,UAAU,IAAI,QAAQ,YAAY;AACxC,WAAO,IAAI,gBAAe,OAAO;AAAA,EACnC;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,aAAa,qBAA8C;AACzD,UAAM,UAAU,IAAI,QAAQ;AAC5B,WAAO,IAAI,gBAAe,OAAO;AAAA,EACnC;AAAA,EAEA,mBAAmC;AACjC,WAAO,KAAK;AAAA,EACd;AAAA,EAEA,qBAA6C;AAC3C,WAAO,KAAK;AAAA,EACd;AAAA,EAEA,MAAM,QAAQ,UAA4C;AACxD,SAAK,kBAAkB,MAAM,KAAK,cAAc,QAAQ,QAAQ;AAChE,WAAO,KAAK;AAAA,EACd;AAAA,EAEA,MAAM,MAAM,QAAkB,SAA+C;AAC3E,UAAM,eAAe,WAAW,KAAK;AACrC,QAAI,CAAC,cAAc;AACjB,YAAM,IAAI,MAAM,kEAAkE;AAAA,IACpF;AACA,WAAO,KAAK,cAAc,cAAc,cAAc,MAAM;AAAA,EAC9D;AAAA,EAEA,MAAM,OACJ,OACA,cACA,SACkB;AAClB,UAAM,eAAe,WAAW,KAAK;AACrC,QAAI,CAAC,cAAc;AACjB,YAAM,IAAI,MAAM,kEAAkE;AAAA,IACpF;AACA,WAAO,KAAK,cAAc,YAAY,cAAc,OAAO,YAAY;AAAA,EACzE;AAAA,EAEA,MAAM,YACJ,UACA,QACkD;AAClD,UAAM,UAAU,MAAM,KAAK,QAAQ,QAAQ;AAC3C,UAAM,QAAQ,MAAM,KAAK,MAAM,QAAQ,OAAO;AAC9C,UAAM,WAAW,MAAM,KAAK,OAAO,MAAM,OAAO,MAAM,cAAc,OAAO;AAC3E,WAAO,EAAE,OAAO,SAAS;AAAA,EAC3B;AACF;AAMA,eAAsB,mBAAmB,cAAqD;AAC5F,SAAO,eAAe,KAAK,YAAY;AACzC;","names":["Provider"]}

package/dist/{types-CaaigonG.d.cts → types-CxkI04bP.d.cts}

@@ -1,3 +1,5 @@
+import { CompiledCircuit } from '@noir-lang/types';
+
 type InputValue = number | string | bigint;
 interface ProofTimings {
     parseMs: number;
@@ -27,9 +29,19 @@ interface ProverOptions {
 interface VerifierOptions {
     verbose?: boolean;
 }
+/**
+ * Result of compiling a circuit.
+ * Contains the compiled circuit and verifying key generated during trusted setup.
+ */
+interface CompileResult {
+    /** The compiled circuit (includes cached PK/VK) */
+    circuit: CompiledCircuit;
+    /** Verifying key generated during trusted setup */
+    verifyingKey: VerifyingKeyData;
+}
 /**
  * Verifying key data for on-chain verification.
- * Stored on the IziNoir instance after prove() is called.
+ * Stored on the IziNoir instance after compile() is called.
  */
 interface VerifyingKeyData {
     /** Base64-encoded VK in gnark format */
@@ -90,4 +102,4 @@ interface SolanaProofData {
     estimatedRent: number;
 }
 
-export type { CircuitFunction as C, InputValue as I, ProofData as P, SolanaProofData as S, VerifyingKeyData as V, ProofResult as a, ProofTimings as b, ProverOptions as c, VerifierOptions as d };
+export type { CompileResult as C, InputValue as I, ProofData as P, SolanaProofData as S, VerifyingKeyData as V, CircuitFunction as a, ProofResult as b, ProofTimings as c, ProverOptions as d, VerifierOptions as e };

package/dist/{types-CaaigonG.d.ts → types-CxkI04bP.d.ts}

@@ -1,3 +1,5 @@
+import { CompiledCircuit } from '@noir-lang/types';
+
 type InputValue = number | string | bigint;
 interface ProofTimings {
     parseMs: number;
@@ -27,9 +29,19 @@ interface ProverOptions {
 interface VerifierOptions {
     verbose?: boolean;
 }
+/**
+ * Result of compiling a circuit.
+ * Contains the compiled circuit and verifying key generated during trusted setup.
+ */
+interface CompileResult {
+    /** The compiled circuit (includes cached PK/VK) */
+    circuit: CompiledCircuit;
+    /** Verifying key generated during trusted setup */
+    verifyingKey: VerifyingKeyData;
+}
 /**
  * Verifying key data for on-chain verification.
- * Stored on the IziNoir instance after prove() is called.
+ * Stored on the IziNoir instance after compile() is called.
  */
 interface VerifyingKeyData {
     /** Base64-encoded VK in gnark format */
@@ -90,4 +102,4 @@ interface SolanaProofData {
     estimatedRent: number;
 }
 
-export type { CircuitFunction as C, InputValue as I, ProofData as P, SolanaProofData as S, VerifyingKeyData as V, ProofResult as a, ProofTimings as b, ProverOptions as c, VerifierOptions as d };
+export type { CompileResult as C, InputValue as I, ProofData as P, SolanaProofData as S, VerifyingKeyData as V, CircuitFunction as a, ProofResult as b, ProofTimings as c, ProverOptions as d, VerifierOptions as e };

package/dist/wasm/nodejs/arkworks_groth16_wasm.js

@@ -51,6 +51,36 @@ function prove(proving_key_b64, acir_json, witness_json) {
 }
 exports.prove = prove;
 
+/**
+ * Generate a Groth16 proof from R1CS definition
+ *
+ * # Arguments
+ * * `proving_key_b64` - Base64-encoded proving key from setup
+ * * `r1cs_json` - JSON string of R1CS definition
+ * * `witness_json` - JSON object mapping witness indices to hex values
+ *
+ * # Returns
+ * * `JsProofResult` with proof and public inputs
+ * @param {string} proving_key_b64
+ * @param {string} r1cs_json
+ * @param {string} witness_json
+ * @returns {any}
+ */
+function prove_from_r1cs(proving_key_b64, r1cs_json, witness_json) {
+    const ptr0 = passStringToWasm0(proving_key_b64, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passStringToWasm0(r1cs_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len1 = WASM_VECTOR_LEN;
+    const ptr2 = passStringToWasm0(witness_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len2 = WASM_VECTOR_LEN;
+    const ret = wasm.prove_from_r1cs(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.prove_from_r1cs = prove_from_r1cs;
+
 /**
  * Perform trusted setup for a circuit
  *
@@ -73,6 +103,28 @@ function setup(acir_json) {
 }
 exports.setup = setup;
 
+/**
+ * Perform trusted setup from R1CS definition
+ *
+ * # Arguments
+ * * `r1cs_json` - JSON string of R1CS definition
+ *
+ * # Returns
+ * * `JsSetupResult` with base64-encoded proving and verifying keys
+ * @param {string} r1cs_json
+ * @returns {any}
+ */
+function setup_from_r1cs(r1cs_json) {
+    const ptr0 = passStringToWasm0(r1cs_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.setup_from_r1cs(ptr0, len0);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+exports.setup_from_r1cs = setup_from_r1cs;
+
 /**
  * Verify a Groth16 proof
  *

package/dist/wasm/web/arkworks_groth16_wasm.js

@@ -48,6 +48,35 @@ export function prove(proving_key_b64, acir_json, witness_json) {
     return takeFromExternrefTable0(ret[0]);
 }
 
+/**
+ * Generate a Groth16 proof from R1CS definition
+ *
+ * # Arguments
+ * * `proving_key_b64` - Base64-encoded proving key from setup
+ * * `r1cs_json` - JSON string of R1CS definition
+ * * `witness_json` - JSON object mapping witness indices to hex values
+ *
+ * # Returns
+ * * `JsProofResult` with proof and public inputs
+ * @param {string} proving_key_b64
+ * @param {string} r1cs_json
+ * @param {string} witness_json
+ * @returns {any}
+ */
+export function prove_from_r1cs(proving_key_b64, r1cs_json, witness_json) {
+    const ptr0 = passStringToWasm0(proving_key_b64, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ptr1 = passStringToWasm0(r1cs_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len1 = WASM_VECTOR_LEN;
+    const ptr2 = passStringToWasm0(witness_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len2 = WASM_VECTOR_LEN;
+    const ret = wasm.prove_from_r1cs(ptr0, len0, ptr1, len1, ptr2, len2);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+
 /**
  * Perform trusted setup for a circuit
  *
@@ -69,6 +98,27 @@ export function setup(acir_json) {
     return takeFromExternrefTable0(ret[0]);
 }
 
+/**
+ * Perform trusted setup from R1CS definition
+ *
+ * # Arguments
+ * * `r1cs_json` - JSON string of R1CS definition
+ *
+ * # Returns
+ * * `JsSetupResult` with base64-encoded proving and verifying keys
+ * @param {string} r1cs_json
+ * @returns {any}
+ */
+export function setup_from_r1cs(r1cs_json) {
+    const ptr0 = passStringToWasm0(r1cs_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.setup_from_r1cs(ptr0, len0);
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return takeFromExternrefTable0(ret[0]);
+}
+
 /**
  * Verify a Groth16 proof
  *

package/dist/{wasmInit-iEYiiB8M.d.cts → wasmInit-D615cpte.d.cts}

@@ -1,5 +1,5 @@
-import { C as ChainId, a as CircuitMetadata, b as ChainMetadataFor, c as Chain, I as IziNoirConfig, d as IProvingSystem } from './IProvingSystem-TKNofoo8.cjs';
-import { P as ProofData, S as SolanaProofData, V as VerifyingKeyData } from './types-CaaigonG.cjs';
+import { b as ChainId, c as CircuitMetadata, d as ChainMetadataFor, N as Network, e as Chain, a as IziNoirConfig, I as IProvingSystem } from './IProvingSystem-BpI0rmve.cjs';
+import { P as ProofData, S as SolanaProofData, V as VerifyingKeyData, C as CompileResult } from './types-CxkI04bP.cjs';
 import { CompiledCircuit, InputMap } from '@noir-lang/types';
 
 /**
@@ -46,6 +46,70 @@ interface IChainFormatter<TChain extends ChainId = ChainId> {
  */
 type ChainProofDataFor<T extends ChainId> = T extends 'solana' ? SolanaProofData : ProofData;
 
+/**
+ * Solana types for IZI-NOIR SDK.
+ */
+/**
+ * Minimal wallet adapter interface compatible with @solana/wallet-adapter-react.
+ *
+ * This interface requires only the essential methods for deploying and verifying
+ * proofs on Solana, making it compatible with any wallet adapter implementation.
+ *
+ * @example
+ * ```typescript
+ * // Works with @solana/wallet-adapter-react
+ * const { publicKey, sendTransaction } = useWallet();
+ *
+ * await izi.deploy({ publicKey, sendTransaction });
+ * ```
+ */
+interface WalletAdapter {
+    /**
+     * The wallet's public key.
+     */
+    publicKey: {
+        toBase58(): string;
+        toBytes(): Uint8Array;
+    } | null;
+    /**
+     * Send a transaction to the network.
+     * This signature is compatible with @solana/wallet-adapter-react's sendTransaction.
+     *
+     * @param transaction - The transaction to send (web3.js Transaction type)
+     * @param connection - The Solana connection
+     * @param options - Optional send options
+     * @returns The transaction signature
+     */
+    sendTransaction: SendTransactionFunction;
+}
+/**
+ * Function type for sending transactions.
+ * Compatible with @solana/wallet-adapter-react.
+ */
+type SendTransactionFunction = (transaction: any, connection: any, options?: any) => Promise<string>;
+/**
+ * Result of a deploy operation.
+ */
+interface DeployResult {
+    /** The VK account address (base58) */
+    vkAccount: string;
+    /** Transaction signature */
+    signature: string;
+    /** Explorer URL for the transaction */
+    explorerUrl: string;
+}
+/**
+ * Result of an on-chain verification.
+ */
+interface VerifyOnChainResult {
+    /** Whether the proof was verified successfully */
+    verified: boolean;
+    /** Transaction signature */
+    signature: string;
+    /** Explorer URL for the transaction */
+    explorerUrl: string;
+}
+
 /**
  * Data needed to deploy a verifying key to Solana.
  * Use with SolanaTransactionBuilder or your own transaction logic.
@@ -88,12 +152,23 @@ declare class IziNoir {
     private readonly chain?;
     private _verifyingKey?;
     private _lastProof?;
+    private readonly _network;
+    private _vkAccount?;
     private constructor();
     /**
-     * Get the verifying key from the last proof generation.
-     * Only available after calling prove() with a chain configured.
+     * Get the verifying key.
+     * Available after calling compile() (for Arkworks/Sunspot providers with chain configured).
      */
     get vk(): VerifyingKeyData | undefined;
+    /**
+     * Get the deployed VK account address.
+     * Only available after calling deploy().
+     */
+    get vkAccount(): string | undefined;
+    /**
+     * Get the configured network.
+     */
+    get network(): Network;
     /**
      * Get the configured chain, if any.
      */
@@ -150,16 +225,30 @@ declare class IziNoir {
     getCompiledCircuit(): CompiledCircuit | null;
     /**
      * Compile Noir code into a circuit.
+     * Performs trusted setup (generates PK and VK) during compilation.
+     * After compile(), the verifying key is available via `this.vk`.
      *
      * @param noirCode - The Noir source code to compile
-     * @returns The compiled circuit
+     * @returns CompileResult with circuit and verifying key
+     *
+     * @example
+     * ```typescript
+     * const { circuit, verifyingKey } = await izi.compile(noirCode);
+     * console.log('VK:', izi.vk);  // Available immediately after compile
+     * ```
+     */
+    compile(noirCode: string): Promise<CompileResult>;
+    /**
+     * Extract verifying key from compiled circuit.
+     * Works for Arkworks circuits that have VK cached after setup.
      */
-    compile(noirCode: string): Promise<CompiledCircuit>;
+    private extractVerifyingKey;
     /**
      * Generate a proof for the given inputs.
+     * Uses the cached proving key from compile() for fast proof generation.
      *
-     * If a chain is configured, returns chain-formatted proof data and stores
-     * the verifying key in `this.vk`. Otherwise, returns raw proof data.
+     * If a chain is configured, returns chain-formatted proof data.
+     * Otherwise, returns raw proof data.
      *
      * @param inputs - The inputs (both public and private) for the circuit
      * @param circuit - Optional circuit to use (defaults to last compiled circuit)
@@ -170,15 +259,13 @@ declare class IziNoir {
      * ```typescript
      * // With chain configured - returns SolanaProofData
      * const izi = await IziNoir.init({ provider: Provider.Arkworks, chain: Chain.Solana });
-     * await izi.compile(noirCode);
+     * await izi.compile(noirCode);  // VK available after compile
      * const proof = await izi.prove({ expected: '100', secret: '10' });
-     * // proof is SolanaProofData, izi.vk is available
      *
      * // Offchain mode - returns ProofData
      * const iziOffchain = await IziNoir.init({ provider: Provider.Arkworks });
      * await iziOffchain.compile(noirCode);
      * const rawProof = await iziOffchain.prove({ expected: '100', secret: '10' });
-     * // rawProof is ProofData, iziOffchain.vk is undefined
      * ```
      */
     prove(inputs: InputMap, circuit?: CompiledCircuit): Promise<ProofData | SolanaProofData>;
@@ -246,6 +333,54 @@ declare class IziNoir {
         programId?: string;
         computeUnits?: number;
     }): SolanaDeployData;
+    /**
+     * Deploy the verifying key to Solana.
+     *
+     * This method handles the full deployment flow:
+     * 1. Generates a keypair for the VK account
+     * 2. Builds the init transaction
+     * 3. Sends and confirms the transaction
+     * 4. Stores the VK account address on the instance
+     *
+     * @param wallet - Wallet adapter with publicKey and sendTransaction
+     * @returns Deploy result with VK account address and transaction signature
+     * @throws Error if not in Solana chain mode or prove() hasn't been called
+     *
+     * @example
+     * ```typescript
+     * const izi = await IziNoir.init({
+     *   provider: Provider.Arkworks,
+     *   chain: Chain.Solana,
+     *   network: Network.Devnet
+     * });
+     *
+     * await izi.compile(noirCode);
+     * await izi.prove(inputs);
+     *
+     * // Deploy VK in one line
+     * const { vkAccount, signature } = await izi.deploy(wallet);
+     * console.log(`VK deployed at: ${vkAccount}`);
+     * ```
+     */
+    deploy(wallet: WalletAdapter): Promise<DeployResult>;
+    /**
+     * Verify the proof on-chain.
+     *
+     * @param wallet - Wallet adapter with publicKey and sendTransaction
+     * @param vkAccount - VK account address (optional if deploy() was called on this instance)
+     * @returns Verification result with transaction signature
+     * @throws Error if not in Solana chain mode or no VK account available
+     *
+     * @example
+     * ```typescript
+     * // After deploy()
+     * const { verified, signature } = await izi.verifyOnChain(wallet);
+     *
+     * // Or with explicit VK account
+     * const { verified } = await izi.verifyOnChain(wallet, 'VkAccountAddress...');
+     * ```
+     */
+    verifyOnChain(wallet: WalletAdapter, vkAccount?: string): Promise<VerifyOnChainResult>;
 }
 
 /**
@@ -279,4 +414,4 @@ declare function isWasmInitialized(): boolean;
  */
 declare function markWasmInitialized(): void;
 
-export { type ChainProofDataFor as C, type IChainFormatter as I, type SolanaDeployData as S, IziNoir as a, isWasmInitialized as b, initNoirWasm as i, markWasmInitialized as m };
+export { type ChainProofDataFor as C, type DeployResult as D, type IChainFormatter as I, type SolanaDeployData as S, type VerifyOnChainResult as V, type WalletAdapter as W, IziNoir as a, isWasmInitialized as b, initNoirWasm as i, markWasmInitialized as m };