@izi-noir/sdk 0.1.0 → 0.1.1

package/dist/providers/solana.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/providers/solana.ts"],"sourcesContent":["/**\n * Solana on-chain verification provider for IZI-NOIR.\n *\n * This module provides functionality to verify Groth16 proofs on-chain using\n * the IZI-NOIR Solana program. It's compatible with proofs generated by the\n * Arkworks provider.\n *\n * @example Basic usage\n * ```typescript\n * import { SolanaVerifier } from '@izi-noir/sdk/solana';\n * import { Connection, Keypair } from '@solana/web3.js';\n *\n * const connection = new Connection('https://api.devnet.solana.com');\n * const wallet = Keypair.generate(); // In practice, use a real wallet\n *\n * const verifier = new SolanaVerifier({\n *   connection,\n *   wallet,\n *   programId: 'EYhRED7EuMyyVjx57aDXUD9h6ArnEKng64qtz8999KrS',\n * });\n *\n * // Initialize a VK account from base64-encoded VK\n * const vkAccount = await verifier.initVkFromBase64(vkGnarkBase64, nrPubinputs);\n *\n * // Verify a proof on-chain\n * const txSig = await verifier.verifyProof(\n *   vkAccount,\n *   proofGnarkBase64,\n *   publicInputsHex\n * );\n * ```\n *\n * @module @izi-noir/sdk/solana\n */\n\n// Constants matching the Solana program\nexport const G1_SIZE = 64;\nexport const G2_SIZE = 128;\nexport const FIELD_SIZE = 32;\nexport const PROOF_SIZE = 256;\nexport const MAX_PUBLIC_INPUTS = 16;\n\n// Program ID - deployed on devnet\nexport const IZI_NOIR_PROGRAM_ID = 'EYhRED7EuMyyVjx57aDXUD9h6ArnEKng64qtz8999KrS';\n\n/**\n * Configuration for the SolanaVerifier.\n */\nexport interface SolanaVerifierConfig {\n  /**\n   * Solana RPC connection.\n   * Must be compatible with @solana/web3.js Connection.\n   */\n  connection: unknown;\n\n  /**\n   * Wallet for signing transactions.\n   * Can be a Keypair or any wallet adapter compatible signer.\n   */\n  wallet: unknown;\n\n  /**\n   * Program ID of the deployed IZI-NOIR verifier program.\n   * Defaults to the placeholder ID.\n   */\n  programId?: string;\n}\n\n/**\n * Result from initializing a VK account.\n */\nexport interface InitVkResult {\n  /** The public key of the created VK account */\n  vkAccount: string;\n  /** The transaction signature */\n  txSignature: string;\n}\n\n/**\n * Result from verifying a proof on-chain.\n */\nexport interface VerifyResult {\n  /** Whether the proof was verified successfully */\n  success: boolean;\n  /** The transaction signature */\n  txSignature: string;\n  /** Error message if verification failed */\n  error?: string;\n}\n\n/**\n * Parses a base64-encoded verifying key into its components.\n *\n * The VK format from arkworks gnark_compat is:\n * | alpha_g1 (64) | beta_g2 (128) | gamma_g2 (128) | delta_g2 (128) | k[0..n+1] (64 each) |\n *\n * @param vkBase64 - Base64-encoded verifying key\n * @param nrPubinputs - Number of public inputs\n * @returns Parsed VK components\n */\nexport function parseVerifyingKey(vkBase64: string, nrPubinputs: number): {\n  alphaG1: Uint8Array;\n  betaG2: Uint8Array;\n  gammaG2: Uint8Array;\n  deltaG2: Uint8Array;\n  k: Uint8Array[];\n} {\n  const vkBytes = base64ToBytes(vkBase64);\n  const expectedLen = G1_SIZE + G2_SIZE * 3 + G1_SIZE * (nrPubinputs + 1);\n\n  if (vkBytes.length !== expectedLen) {\n    throw new Error(\n      `Invalid VK size: expected ${expectedLen} bytes for ${nrPubinputs} public inputs, got ${vkBytes.length}`\n    );\n  }\n\n  let offset = 0;\n\n  const alphaG1 = vkBytes.slice(offset, offset + G1_SIZE);\n  offset += G1_SIZE;\n\n  const betaG2 = vkBytes.slice(offset, offset + G2_SIZE);\n  offset += G2_SIZE;\n\n  const gammaG2 = vkBytes.slice(offset, offset + G2_SIZE);\n  offset += G2_SIZE;\n\n  const deltaG2 = vkBytes.slice(offset, offset + G2_SIZE);\n  offset += G2_SIZE;\n\n  const k: Uint8Array[] = [];\n  for (let i = 0; i <= nrPubinputs; i++) {\n    k.push(vkBytes.slice(offset, offset + G1_SIZE));\n    offset += G1_SIZE;\n  }\n\n  return { alphaG1, betaG2, gammaG2, deltaG2, k };\n}\n\n/**\n * Parses a base64-encoded proof into its components.\n *\n * The proof format is: A (G1, 64) || B (G2, 128) || C (G1, 64) = 256 bytes\n *\n * @param proofBase64 - Base64-encoded proof\n * @returns Parsed proof components\n */\nexport function parseProof(proofBase64: string): {\n  a: Uint8Array;\n  b: Uint8Array;\n  c: Uint8Array;\n} {\n  const proofBytes = base64ToBytes(proofBase64);\n\n  if (proofBytes.length !== PROOF_SIZE) {\n    throw new Error(`Invalid proof size: expected ${PROOF_SIZE} bytes, got ${proofBytes.length}`);\n  }\n\n  return {\n    a: proofBytes.slice(0, G1_SIZE),\n    b: proofBytes.slice(G1_SIZE, G1_SIZE + G2_SIZE),\n    c: proofBytes.slice(G1_SIZE + G2_SIZE, PROOF_SIZE),\n  };\n}\n\n/**\n * Parses public inputs from hex or decimal string format to 32-byte arrays.\n *\n * @param inputs - Array of public inputs as hex (0x...) or decimal strings\n * @returns Array of 32-byte big-endian field elements\n */\nexport function parsePublicInputs(inputs: string[]): Uint8Array[] {\n  return inputs.map((input) => {\n    // Handle hex strings\n    if (input.startsWith('0x')) {\n      const hex = input.slice(2).padStart(64, '0');\n      return hexToBytes(hex);\n    }\n\n    // Handle decimal strings - convert to big-endian bytes\n    const num = BigInt(input);\n    const hex = num.toString(16).padStart(64, '0');\n    return hexToBytes(hex);\n  });\n}\n\n/**\n * Calculates the size of a VK account for a given number of public inputs.\n *\n * This matches the Rust `vk_account_size` function.\n *\n * @param nrPubinputs - Number of public inputs\n * @returns Account size in bytes\n */\nexport function calculateVkAccountSize(nrPubinputs: number): number {\n  // discriminator (8) + authority (32) + nr_pubinputs (1) + alpha_g1 (64) +\n  // beta_g2 (128) + gamma_g2 (128) + delta_g2 (128) + vec_len (4) + k elements\n  const fixedSize = 8 + 32 + 1 + G1_SIZE + G2_SIZE * 3 + 4;\n  return fixedSize + (nrPubinputs + 1) * G1_SIZE;\n}\n\n/**\n * Calculates the minimum rent for a VK account.\n *\n * @param nrPubinputs - Number of public inputs\n * @param rentExemptionPerByte - Rent per byte (default Solana rate)\n * @returns Rent in lamports\n */\nexport function calculateVkAccountRent(\n  nrPubinputs: number,\n  rentExemptionPerByte: number = 6960 // approximate lamports per byte\n): number {\n  const size = calculateVkAccountSize(nrPubinputs);\n  return size * rentExemptionPerByte;\n}\n\n// ========== Helper Functions ==========\n\n/**\n * Converts a base64 string to a Uint8Array.\n */\nfunction base64ToBytes(base64: string): Uint8Array {\n  // Browser-compatible base64 decoding\n  if (typeof atob === 'function') {\n    const binary = atob(base64);\n    const bytes = new Uint8Array(binary.length);\n    for (let i = 0; i < binary.length; i++) {\n      bytes[i] = binary.charCodeAt(i);\n    }\n    return bytes;\n  }\n  // Node.js fallback\n  return new Uint8Array(Buffer.from(base64, 'base64'));\n}\n\n/**\n * Converts a Uint8Array to a base64 string.\n */\nexport function bytesToBase64(bytes: Uint8Array): string {\n  // Browser-compatible base64 encoding\n  if (typeof btoa === 'function') {\n    let binary = '';\n    for (let i = 0; i < bytes.length; i++) {\n      binary += String.fromCharCode(bytes[i]);\n    }\n    return btoa(binary);\n  }\n  // Node.js fallback\n  return Buffer.from(bytes).toString('base64');\n}\n\n/**\n * Converts a hex string to Uint8Array.\n */\nfunction hexToBytes(hex: string): Uint8Array {\n  const cleanHex = hex.startsWith('0x') ? hex.slice(2) : hex;\n  const bytes = new Uint8Array(cleanHex.length / 2);\n  for (let i = 0; i < bytes.length; i++) {\n    bytes[i] = parseInt(cleanHex.substring(i * 2, i * 2 + 2), 16);\n  }\n  return bytes;\n}\n\n/**\n * Converts a Uint8Array to hex string.\n */\nexport function bytesToHex(bytes: Uint8Array): string {\n  return Array.from(bytes)\n    .map((b) => b.toString(16).padStart(2, '0'))\n    .join('');\n}\n\n// ========== Instruction Data Builders ==========\n\n/**\n * Builds the instruction data for `init_vk_from_bytes`.\n *\n * Note: This is a simplified version. In practice, you'd use Anchor's IDL\n * and instruction builders from the generated types.\n *\n * @param nrPubinputs - Number of public inputs\n * @param vkBytes - Raw VK bytes\n * @returns Instruction data\n */\nexport function buildInitVkFromBytesData(nrPubinputs: number, vkBytes: Uint8Array): Uint8Array {\n  // Anchor instruction discriminator for \"init_vk_from_bytes\"\n  // This is sha256(\"global:init_vk_from_bytes\")[0..8]\n  const discriminator = new Uint8Array([\n    0xa6, 0x3a, 0x52, 0xf7, 0x13, 0x81, 0x8a, 0x3b\n  ]);\n\n  // Build instruction data: discriminator + nr_pubinputs (u8) + vk_bytes (Vec<u8>)\n  const vkLen = new Uint8Array(4);\n  new DataView(vkLen.buffer).setUint32(0, vkBytes.length, true); // little-endian\n\n  const data = new Uint8Array(discriminator.length + 1 + 4 + vkBytes.length);\n  let offset = 0;\n\n  data.set(discriminator, offset);\n  offset += discriminator.length;\n\n  data[offset] = nrPubinputs;\n  offset += 1;\n\n  data.set(vkLen, offset);\n  offset += 4;\n\n  data.set(vkBytes, offset);\n\n  return data;\n}\n\n/**\n * Builds the instruction data for `verify_proof`.\n *\n * @param proofBytes - 256-byte proof\n * @param publicInputs - Array of 32-byte field elements\n * @returns Instruction data\n */\nexport function buildVerifyProofData(\n  proofBytes: Uint8Array,\n  publicInputs: Uint8Array[]\n): Uint8Array {\n  // Anchor instruction discriminator for \"verify_proof\"\n  // This is sha256(\"global:verify_proof\")[0..8]\n  const discriminator = new Uint8Array([\n    0x1e, 0x08, 0xf2, 0x36, 0x44, 0x9a, 0x4b, 0x5c\n  ]);\n\n  // Validate proof size\n  if (proofBytes.length !== PROOF_SIZE) {\n    throw new Error(`Invalid proof size: expected ${PROOF_SIZE}, got ${proofBytes.length}`);\n  }\n\n  // Calculate total size\n  const proofVecLen = 4 + proofBytes.length;\n  const inputsVecLen = 4 + publicInputs.length * FIELD_SIZE;\n  const totalSize = discriminator.length + proofVecLen + inputsVecLen;\n\n  const data = new Uint8Array(totalSize);\n  let offset = 0;\n\n  // Discriminator\n  data.set(discriminator, offset);\n  offset += discriminator.length;\n\n  // proof_bytes as Vec<u8>\n  new DataView(data.buffer).setUint32(offset, proofBytes.length, true);\n  offset += 4;\n  data.set(proofBytes, offset);\n  offset += proofBytes.length;\n\n  // public_inputs as Vec<[u8; 32]>\n  new DataView(data.buffer).setUint32(offset, publicInputs.length, true);\n  offset += 4;\n  for (const input of publicInputs) {\n    if (input.length !== FIELD_SIZE) {\n      throw new Error(`Invalid public input size: expected ${FIELD_SIZE}, got ${input.length}`);\n    }\n    data.set(input, offset);\n    offset += FIELD_SIZE;\n  }\n\n  return data;\n}\n\n/**\n * Type definition for the Anchor IDL accounts structure.\n * This helps with type safety when building transactions.\n */\nexport interface IziNoirAccounts {\n  initVk: {\n    vkAccount: string;\n    authority: string;\n    payer: string;\n    systemProgram: string;\n  };\n  verifyProof: {\n    vkAccount: string;\n  };\n  closeVk: {\n    vkAccount: string;\n    authority: string;\n  };\n}\n\n/**\n * Placeholder class for SolanaVerifier.\n *\n * This class provides the interface for on-chain verification but requires\n * @solana/web3.js and @coral-xyz/anchor to be installed as peer dependencies.\n *\n * For full functionality, install the required dependencies:\n * ```bash\n * npm install @solana/web3.js @coral-xyz/anchor\n * ```\n *\n * Then use the generated Anchor client from the solana-contracts package.\n */\nexport class SolanaVerifier {\n  private config: SolanaVerifierConfig;\n\n  constructor(config: SolanaVerifierConfig) {\n    this.config = config;\n  }\n\n  /**\n   * Initializes a VK account from base64-encoded verifying key.\n   *\n   * Note: This is a placeholder. Use the generated Anchor client for\n   * actual transaction building and submission.\n   */\n  async initVkFromBase64(vkBase64: string, nrPubinputs: number): Promise<InitVkResult> {\n    // Parse and validate VK\n    const vkBytes = base64ToBytes(vkBase64);\n    const expectedLen = G1_SIZE + G2_SIZE * 3 + G1_SIZE * (nrPubinputs + 1);\n\n    if (vkBytes.length !== expectedLen) {\n      throw new Error(\n        `Invalid VK size: expected ${expectedLen} bytes for ${nrPubinputs} public inputs, got ${vkBytes.length}`\n      );\n    }\n\n    // This is a placeholder - actual implementation would use Anchor client\n    throw new Error(\n      'SolanaVerifier.initVkFromBase64 requires @solana/web3.js and @coral-xyz/anchor. ' +\n        'Use the generated Anchor client from solana-contracts package.'\n    );\n  }\n\n  /**\n   * Verifies a proof on-chain.\n   *\n   * Note: This is a placeholder. Use the generated Anchor client for\n   * actual transaction building and submission.\n   */\n  async verifyProof(\n    vkAccount: string,\n    proofBase64: string,\n    publicInputs: string[]\n  ): Promise<VerifyResult> {\n    // Parse and validate proof\n    const proofBytes = base64ToBytes(proofBase64);\n    if (proofBytes.length !== PROOF_SIZE) {\n      throw new Error(`Invalid proof size: expected ${PROOF_SIZE}, got ${proofBytes.length}`);\n    }\n\n    // This is a placeholder - actual implementation would use Anchor client\n    throw new Error(\n      'SolanaVerifier.verifyProof requires @solana/web3.js and @coral-xyz/anchor. ' +\n        'Use the generated Anchor client from solana-contracts package.'\n    );\n  }\n\n  /**\n   * Closes a VK account and reclaims rent.\n   *\n   * Note: This is a placeholder. Use the generated Anchor client for\n   * actual transaction building and submission.\n   */\n  async closeVk(vkAccount: string): Promise<string> {\n    throw new Error(\n      'SolanaVerifier.closeVk requires @solana/web3.js and @coral-xyz/anchor. ' +\n        'Use the generated Anchor client from solana-contracts package.'\n    );\n  }\n}\n\n// Re-export common types\nexport type { CompiledCircuit, InputMap, ProofData } from '../domain/types.js';\n"],"mappings":";AAoCO,IAAM,UAAU;AAChB,IAAM,UAAU;AAChB,IAAM,aAAa;AACnB,IAAM,aAAa;AACnB,IAAM,oBAAoB;AAG1B,IAAM,sBAAsB;AAyD5B,SAAS,kBAAkB,UAAkB,aAMlD;AACA,QAAM,UAAU,cAAc,QAAQ;AACtC,QAAM,cAAc,UAAU,UAAU,IAAI,WAAW,cAAc;AAErE,MAAI,QAAQ,WAAW,aAAa;AAClC,UAAM,IAAI;AAAA,MACR,6BAA6B,WAAW,cAAc,WAAW,uBAAuB,QAAQ,MAAM;AAAA,IACxG;AAAA,EACF;AAEA,MAAI,SAAS;AAEb,QAAM,UAAU,QAAQ,MAAM,QAAQ,SAAS,OAAO;AACtD,YAAU;AAEV,QAAM,SAAS,QAAQ,MAAM,QAAQ,SAAS,OAAO;AACrD,YAAU;AAEV,QAAM,UAAU,QAAQ,MAAM,QAAQ,SAAS,OAAO;AACtD,YAAU;AAEV,QAAM,UAAU,QAAQ,MAAM,QAAQ,SAAS,OAAO;AACtD,YAAU;AAEV,QAAM,IAAkB,CAAC;AACzB,WAAS,IAAI,GAAG,KAAK,aAAa,KAAK;AACrC,MAAE,KAAK,QAAQ,MAAM,QAAQ,SAAS,OAAO,CAAC;AAC9C,cAAU;AAAA,EACZ;AAEA,SAAO,EAAE,SAAS,QAAQ,SAAS,SAAS,EAAE;AAChD;AAUO,SAAS,WAAW,aAIzB;AACA,QAAM,aAAa,cAAc,WAAW;AAE5C,MAAI,WAAW,WAAW,YAAY;AACpC,UAAM,IAAI,MAAM,gCAAgC,UAAU,eAAe,WAAW,MAAM,EAAE;AAAA,EAC9F;AAEA,SAAO;AAAA,IACL,GAAG,WAAW,MAAM,GAAG,OAAO;AAAA,IAC9B,GAAG,WAAW,MAAM,SAAS,UAAU,OAAO;AAAA,IAC9C,GAAG,WAAW,MAAM,UAAU,SAAS,UAAU;AAAA,EACnD;AACF;AAQO,SAAS,kBAAkB,QAAgC;AAChE,SAAO,OAAO,IAAI,CAAC,UAAU;AAE3B,QAAI,MAAM,WAAW,IAAI,GAAG;AAC1B,YAAMA,OAAM,MAAM,MAAM,CAAC,EAAE,SAAS,IAAI,GAAG;AAC3C,aAAO,WAAWA,IAAG;AAAA,IACvB;AAGA,UAAM,MAAM,OAAO,KAAK;AACxB,UAAM,MAAM,IAAI,SAAS,EAAE,EAAE,SAAS,IAAI,GAAG;AAC7C,WAAO,WAAW,GAAG;AAAA,EACvB,CAAC;AACH;AAUO,SAAS,uBAAuB,aAA6B;AAGlE,QAAM,YAAY,IAAI,KAAK,IAAI,UAAU,UAAU,IAAI;AACvD,SAAO,aAAa,cAAc,KAAK;AACzC;AASO,SAAS,uBACd,aACA,uBAA+B,MACvB;AACR,QAAM,OAAO,uBAAuB,WAAW;AAC/C,SAAO,OAAO;AAChB;AAOA,SAAS,cAAc,QAA4B;AAEjD,MAAI,OAAO,SAAS,YAAY;AAC9B,UAAM,SAAS,KAAK,MAAM;AAC1B,UAAM,QAAQ,IAAI,WAAW,OAAO,MAAM;AAC1C,aAAS,IAAI,GAAG,IAAI,OAAO,QAAQ,KAAK;AACtC,YAAM,CAAC,IAAI,OAAO,WAAW,CAAC;AAAA,IAChC;AACA,WAAO;AAAA,EACT;AAEA,SAAO,IAAI,WAAW,OAAO,KAAK,QAAQ,QAAQ,CAAC;AACrD;AAKO,SAAS,cAAc,OAA2B;AAEvD,MAAI,OAAO,SAAS,YAAY;AAC9B,QAAI,SAAS;AACb,aAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK;AACrC,gBAAU,OAAO,aAAa,MAAM,CAAC,CAAC;AAAA,IACxC;AACA,WAAO,KAAK,MAAM;AAAA,EACpB;AAEA,SAAO,OAAO,KAAK,KAAK,EAAE,SAAS,QAAQ;AAC7C;AAKA,SAAS,WAAW,KAAyB;AAC3C,QAAM,WAAW,IAAI,WAAW,IAAI,IAAI,IAAI,MAAM,CAAC,IAAI;AACvD,QAAM,QAAQ,IAAI,WAAW,SAAS,SAAS,CAAC;AAChD,WAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK;AACrC,UAAM,CAAC,IAAI,SAAS,SAAS,UAAU,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE;AAAA,EAC9D;AACA,SAAO;AACT;AAKO,SAAS,WAAW,OAA2B;AACpD,SAAO,MAAM,KAAK,KAAK,EACpB,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAC1C,KAAK,EAAE;AACZ;AAcO,SAAS,yBAAyB,aAAqB,SAAiC;AAG7F,QAAM,gBAAgB,IAAI,WAAW;AAAA,IACnC;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,EAC5C,CAAC;AAGD,QAAM,QAAQ,IAAI,WAAW,CAAC;AAC9B,MAAI,SAAS,MAAM,MAAM,EAAE,UAAU,GAAG,QAAQ,QAAQ,IAAI;AAE5D,QAAM,OAAO,IAAI,WAAW,cAAc,SAAS,IAAI,IAAI,QAAQ,MAAM;AACzE,MAAI,SAAS;AAEb,OAAK,IAAI,eAAe,MAAM;AAC9B,YAAU,cAAc;AAExB,OAAK,MAAM,IAAI;AACf,YAAU;AAEV,OAAK,IAAI,OAAO,MAAM;AACtB,YAAU;AAEV,OAAK,IAAI,SAAS,MAAM;AAExB,SAAO;AACT;AASO,SAAS,qBACd,YACA,cACY;AAGZ,QAAM,gBAAgB,IAAI,WAAW;AAAA,IACnC;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,IAAM;AAAA,EAC5C,CAAC;AAGD,MAAI,WAAW,WAAW,YAAY;AACpC,UAAM,IAAI,MAAM,gCAAgC,UAAU,SAAS,WAAW,MAAM,EAAE;AAAA,EACxF;AAGA,QAAM,cAAc,IAAI,WAAW;AACnC,QAAM,eAAe,IAAI,aAAa,SAAS;AAC/C,QAAM,YAAY,cAAc,SAAS,cAAc;AAEvD,QAAM,OAAO,IAAI,WAAW,SAAS;AACrC,MAAI,SAAS;AAGb,OAAK,IAAI,eAAe,MAAM;AAC9B,YAAU,cAAc;AAGxB,MAAI,SAAS,KAAK,MAAM,EAAE,UAAU,QAAQ,WAAW,QAAQ,IAAI;AACnE,YAAU;AACV,OAAK,IAAI,YAAY,MAAM;AAC3B,YAAU,WAAW;AAGrB,MAAI,SAAS,KAAK,MAAM,EAAE,UAAU,QAAQ,aAAa,QAAQ,IAAI;AACrE,YAAU;AACV,aAAW,SAAS,cAAc;AAChC,QAAI,MAAM,WAAW,YAAY;AAC/B,YAAM,IAAI,MAAM,uCAAuC,UAAU,SAAS,MAAM,MAAM,EAAE;AAAA,IAC1F;AACA,SAAK,IAAI,OAAO,MAAM;AACtB,cAAU;AAAA,EACZ;AAEA,SAAO;AACT;AAmCO,IAAM,iBAAN,MAAqB;AAAA,EAClB;AAAA,EAER,YAAY,QAA8B;AACxC,SAAK,SAAS;AAAA,EAChB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,MAAM,iBAAiB,UAAkB,aAA4C;AAEnF,UAAM,UAAU,cAAc,QAAQ;AACtC,UAAM,cAAc,UAAU,UAAU,IAAI,WAAW,cAAc;AAErE,QAAI,QAAQ,WAAW,aAAa;AAClC,YAAM,IAAI;AAAA,QACR,6BAA6B,WAAW,cAAc,WAAW,uBAAuB,QAAQ,MAAM;AAAA,MACxG;AAAA,IACF;AAGA,UAAM,IAAI;AAAA,MACR;AAAA,IAEF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,MAAM,YACJ,WACA,aACA,cACuB;AAEvB,UAAM,aAAa,cAAc,WAAW;AAC5C,QAAI,WAAW,WAAW,YAAY;AACpC,YAAM,IAAI,MAAM,gCAAgC,UAAU,SAAS,WAAW,MAAM,EAAE;AAAA,IACxF;AAGA,UAAM,IAAI;AAAA,MACR;AAAA,IAEF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,MAAM,QAAQ,WAAoC;AAChD,UAAM,IAAI;AAAA,MACR;AAAA,IAEF;AAAA,EACF;AACF;","names":["hex"]}
+{"version":3,"sources":["../../src/providers/solana.ts"],"sourcesContent":["/**\n * Solana on-chain verification provider for IZI-NOIR.\n *\n * This module provides functionality to verify Groth16 proofs on-chain using\n * the IZI-NOIR Solana program. It's compatible with proofs generated by the\n * Arkworks provider.\n *\n * @example Basic usage\n * ```typescript\n * import { SolanaVerifier } from '@izi-noir/sdk/solana';\n * import { Connection, Keypair } from '@solana/web3.js';\n *\n * const connection = new Connection('https://api.devnet.solana.com');\n * const wallet = Keypair.generate(); // In practice, use a real wallet\n *\n * const verifier = new SolanaVerifier({\n *   connection,\n *   wallet,\n *   programId: 'EYhRED7EuMyyVjx57aDXUD9h6ArnEKng64qtz8999KrS',\n * });\n *\n * // Initialize a VK account from base64-encoded VK\n * const vkAccount = await verifier.initVkFromBase64(vkGnarkBase64, nrPubinputs);\n *\n * // Verify a proof on-chain\n * const txSig = await verifier.verifyProof(\n *   vkAccount,\n *   proofGnarkBase64,\n *   publicInputsHex\n * );\n * ```\n *\n * @module @izi-noir/sdk/solana\n */\n\n// Constants matching the Solana program\nexport const G1_SIZE = 64;\nexport const G2_SIZE = 128;\nexport const FIELD_SIZE = 32;\nexport const PROOF_SIZE = 256;\nexport const MAX_PUBLIC_INPUTS = 16;\n\n// Program ID - deployed on devnet\nexport const IZI_NOIR_PROGRAM_ID = 'EYhRED7EuMyyVjx57aDXUD9h6ArnEKng64qtz8999KrS';\n\n/**\n * Configuration for the SolanaVerifier.\n */\nexport interface SolanaVerifierConfig {\n  /**\n   * Solana RPC connection.\n   * Must be compatible with @solana/web3.js Connection.\n   */\n  connection: unknown;\n\n  /**\n   * Wallet for signing transactions.\n   * Can be a Keypair or any wallet adapter compatible signer.\n   */\n  wallet: unknown;\n\n  /**\n   * Program ID of the deployed IZI-NOIR verifier program.\n   * Defaults to the placeholder ID.\n   */\n  programId?: string;\n}\n\n/**\n * Result from initializing a VK account.\n */\nexport interface InitVkResult {\n  /** The public key of the created VK account */\n  vkAccount: string;\n  /** The transaction signature */\n  txSignature: string;\n}\n\n/**\n * Result from verifying a proof on-chain.\n */\nexport interface VerifyResult {\n  /** Whether the proof was verified successfully */\n  success: boolean;\n  /** The transaction signature */\n  txSignature: string;\n  /** Error message if verification failed */\n  error?: string;\n}\n\n/**\n * Parses a base64-encoded verifying key into its components.\n *\n * The VK format from arkworks gnark_compat is:\n * | alpha_g1 (64) | beta_g2 (128) | gamma_g2 (128) | delta_g2 (128) | k[0..n+1] (64 each) |\n *\n * @param vkBase64 - Base64-encoded verifying key\n * @param nrPubinputs - Number of public inputs\n * @returns Parsed VK components\n */\nexport function parseVerifyingKey(vkBase64: string, nrPubinputs: number): {\n  alphaG1: Uint8Array;\n  betaG2: Uint8Array;\n  gammaG2: Uint8Array;\n  deltaG2: Uint8Array;\n  k: Uint8Array[];\n} {\n  const vkBytes = base64ToBytes(vkBase64);\n  const expectedLen = G1_SIZE + G2_SIZE * 3 + G1_SIZE * (nrPubinputs + 1);\n\n  if (vkBytes.length !== expectedLen) {\n    throw new Error(\n      `Invalid VK size: expected ${expectedLen} bytes for ${nrPubinputs} public inputs, got ${vkBytes.length}`\n    );\n  }\n\n  let offset = 0;\n\n  const alphaG1 = vkBytes.slice(offset, offset + G1_SIZE);\n  offset += G1_SIZE;\n\n  const betaG2 = vkBytes.slice(offset, offset + G2_SIZE);\n  offset += G2_SIZE;\n\n  const gammaG2 = vkBytes.slice(offset, offset + G2_SIZE);\n  offset += G2_SIZE;\n\n  const deltaG2 = vkBytes.slice(offset, offset + G2_SIZE);\n  offset += G2_SIZE;\n\n  const k: Uint8Array[] = [];\n  for (let i = 0; i <= nrPubinputs; i++) {\n    k.push(vkBytes.slice(offset, offset + G1_SIZE));\n    offset += G1_SIZE;\n  }\n\n  return { alphaG1, betaG2, gammaG2, deltaG2, k };\n}\n\n/**\n * Parses a base64-encoded proof into its components.\n *\n * The proof format is: A (G1, 64) || B (G2, 128) || C (G1, 64) = 256 bytes\n *\n * @param proofBase64 - Base64-encoded proof\n * @returns Parsed proof components\n */\nexport function parseProof(proofBase64: string): {\n  a: Uint8Array;\n  b: Uint8Array;\n  c: Uint8Array;\n} {\n  const proofBytes = base64ToBytes(proofBase64);\n\n  if (proofBytes.length !== PROOF_SIZE) {\n    throw new Error(`Invalid proof size: expected ${PROOF_SIZE} bytes, got ${proofBytes.length}`);\n  }\n\n  return {\n    a: proofBytes.slice(0, G1_SIZE),\n    b: proofBytes.slice(G1_SIZE, G1_SIZE + G2_SIZE),\n    c: proofBytes.slice(G1_SIZE + G2_SIZE, PROOF_SIZE),\n  };\n}\n\n/**\n * Parses public inputs from hex or decimal string format to 32-byte arrays.\n *\n * @param inputs - Array of public inputs as hex (0x...) or decimal strings\n * @returns Array of 32-byte big-endian field elements\n */\nexport function parsePublicInputs(inputs: string[]): Uint8Array[] {\n  return inputs.map((input) => {\n    // Handle hex strings\n    if (input.startsWith('0x')) {\n      const hex = input.slice(2).padStart(64, '0');\n      return hexToBytes(hex);\n    }\n\n    // Handle decimal strings - convert to big-endian bytes\n    const num = BigInt(input);\n    const hex = num.toString(16).padStart(64, '0');\n    return hexToBytes(hex);\n  });\n}\n\n/**\n * Calculates the size of a VK account for a given number of public inputs.\n *\n * This matches the Rust `vk_account_size` function.\n *\n * @param nrPubinputs - Number of public inputs\n * @returns Account size in bytes\n */\nexport function calculateVkAccountSize(nrPubinputs: number): number {\n  // discriminator (8) + authority (32) + nr_pubinputs (1) + alpha_g1 (64) +\n  // beta_g2 (128) + gamma_g2 (128) + delta_g2 (128) + vec_len (4) + k elements\n  const fixedSize = 8 + 32 + 1 + G1_SIZE + G2_SIZE * 3 + 4;\n  return fixedSize + (nrPubinputs + 1) * G1_SIZE;\n}\n\n/**\n * Calculates the minimum rent for a VK account.\n *\n * @param nrPubinputs - Number of public inputs\n * @param rentExemptionPerByte - Rent per byte (default Solana rate)\n * @returns Rent in lamports\n */\nexport function calculateVkAccountRent(\n  nrPubinputs: number,\n  rentExemptionPerByte: number = 6960 // approximate lamports per byte\n): number {\n  const size = calculateVkAccountSize(nrPubinputs);\n  return size * rentExemptionPerByte;\n}\n\n// ========== Helper Functions ==========\n\n/**\n * Converts a base64 string to a Uint8Array.\n */\nfunction base64ToBytes(base64: string): Uint8Array {\n  // Browser-compatible base64 decoding\n  if (typeof atob === 'function') {\n    const binary = atob(base64);\n    const bytes = new Uint8Array(binary.length);\n    for (let i = 0; i < binary.length; i++) {\n      bytes[i] = binary.charCodeAt(i);\n    }\n    return bytes;\n  }\n  // Node.js fallback\n  return new Uint8Array(Buffer.from(base64, 'base64'));\n}\n\n/**\n * Converts a Uint8Array to a base64 string.\n */\nexport function bytesToBase64(bytes: Uint8Array): string {\n  // Browser-compatible base64 encoding\n  if (typeof btoa === 'function') {\n    let binary = '';\n    for (let i = 0; i < bytes.length; i++) {\n      binary += String.fromCharCode(bytes[i]);\n    }\n    return btoa(binary);\n  }\n  // Node.js fallback\n  return Buffer.from(bytes).toString('base64');\n}\n\n/**\n * Converts a hex string to Uint8Array.\n */\nfunction hexToBytes(hex: string): Uint8Array {\n  const cleanHex = hex.startsWith('0x') ? hex.slice(2) : hex;\n  const bytes = new Uint8Array(cleanHex.length / 2);\n  for (let i = 0; i < bytes.length; i++) {\n    bytes[i] = parseInt(cleanHex.substring(i * 2, i * 2 + 2), 16);\n  }\n  return bytes;\n}\n\n/**\n * Converts a Uint8Array to hex string.\n */\nexport function bytesToHex(bytes: Uint8Array): string {\n  return Array.from(bytes)\n    .map((b) => b.toString(16).padStart(2, '0'))\n    .join('');\n}\n\n// ========== Instruction Data Builders ==========\n\n/**\n * Builds the instruction data for `init_vk_from_bytes`.\n *\n * Note: This is a simplified version. In practice, you'd use Anchor's IDL\n * and instruction builders from the generated types.\n *\n * @param nrPubinputs - Number of public inputs\n * @param vkBytes - Raw VK bytes\n * @returns Instruction data\n */\nexport function buildInitVkFromBytesData(nrPubinputs: number, vkBytes: Uint8Array): Uint8Array {\n  // Anchor instruction discriminator for \"init_vk_from_bytes\"\n  // From IDL: [103, 78, 249, 70, 245, 176, 87, 56]\n  const discriminator = new Uint8Array([103, 78, 249, 70, 245, 176, 87, 56]);\n\n  // Build instruction data: discriminator + nr_pubinputs (u8) + vk_bytes (Vec<u8>)\n  const vkLen = new Uint8Array(4);\n  new DataView(vkLen.buffer).setUint32(0, vkBytes.length, true); // little-endian\n\n  const data = new Uint8Array(discriminator.length + 1 + 4 + vkBytes.length);\n  let offset = 0;\n\n  data.set(discriminator, offset);\n  offset += discriminator.length;\n\n  data[offset] = nrPubinputs;\n  offset += 1;\n\n  data.set(vkLen, offset);\n  offset += 4;\n\n  data.set(vkBytes, offset);\n\n  return data;\n}\n\n/**\n * Builds the instruction data for `verify_proof`.\n *\n * @param proofBytes - 256-byte proof\n * @param publicInputs - Array of 32-byte field elements\n * @returns Instruction data\n */\nexport function buildVerifyProofData(\n  proofBytes: Uint8Array,\n  publicInputs: Uint8Array[]\n): Uint8Array {\n  // Anchor instruction discriminator for \"verify_proof\"\n  // From IDL: [217, 211, 191, 110, 144, 13, 186, 98]\n  const discriminator = new Uint8Array([217, 211, 191, 110, 144, 13, 186, 98]);\n\n  // Validate proof size\n  if (proofBytes.length !== PROOF_SIZE) {\n    throw new Error(`Invalid proof size: expected ${PROOF_SIZE}, got ${proofBytes.length}`);\n  }\n\n  // Calculate total size\n  const proofVecLen = 4 + proofBytes.length;\n  const inputsVecLen = 4 + publicInputs.length * FIELD_SIZE;\n  const totalSize = discriminator.length + proofVecLen + inputsVecLen;\n\n  const data = new Uint8Array(totalSize);\n  let offset = 0;\n\n  // Discriminator\n  data.set(discriminator, offset);\n  offset += discriminator.length;\n\n  // proof_bytes as Vec<u8>\n  new DataView(data.buffer).setUint32(offset, proofBytes.length, true);\n  offset += 4;\n  data.set(proofBytes, offset);\n  offset += proofBytes.length;\n\n  // public_inputs as Vec<[u8; 32]>\n  new DataView(data.buffer).setUint32(offset, publicInputs.length, true);\n  offset += 4;\n  for (const input of publicInputs) {\n    if (input.length !== FIELD_SIZE) {\n      throw new Error(`Invalid public input size: expected ${FIELD_SIZE}, got ${input.length}`);\n    }\n    data.set(input, offset);\n    offset += FIELD_SIZE;\n  }\n\n  return data;\n}\n\n/**\n * Type definition for the Anchor IDL accounts structure.\n * This helps with type safety when building transactions.\n */\nexport interface IziNoirAccounts {\n  initVk: {\n    vkAccount: string;\n    authority: string;\n    payer: string;\n    systemProgram: string;\n  };\n  verifyProof: {\n    vkAccount: string;\n  };\n  closeVk: {\n    vkAccount: string;\n    authority: string;\n  };\n}\n\n/**\n * Placeholder class for SolanaVerifier.\n *\n * This class provides the interface for on-chain verification but requires\n * @solana/web3.js and @coral-xyz/anchor to be installed as peer dependencies.\n *\n * For full functionality, install the required dependencies:\n * ```bash\n * npm install @solana/web3.js @coral-xyz/anchor\n * ```\n *\n * Then use the generated Anchor client from the solana-contracts package.\n */\nexport class SolanaVerifier {\n  private config: SolanaVerifierConfig;\n\n  constructor(config: SolanaVerifierConfig) {\n    this.config = config;\n  }\n\n  /**\n   * Initializes a VK account from base64-encoded verifying key.\n   *\n   * Note: This is a placeholder. Use the generated Anchor client for\n   * actual transaction building and submission.\n   */\n  async initVkFromBase64(vkBase64: string, nrPubinputs: number): Promise<InitVkResult> {\n    // Parse and validate VK\n    const vkBytes = base64ToBytes(vkBase64);\n    const expectedLen = G1_SIZE + G2_SIZE * 3 + G1_SIZE * (nrPubinputs + 1);\n\n    if (vkBytes.length !== expectedLen) {\n      throw new Error(\n        `Invalid VK size: expected ${expectedLen} bytes for ${nrPubinputs} public inputs, got ${vkBytes.length}`\n      );\n    }\n\n    // This is a placeholder - actual implementation would use Anchor client\n    throw new Error(\n      'SolanaVerifier.initVkFromBase64 requires @solana/web3.js and @coral-xyz/anchor. ' +\n        'Use the generated Anchor client from solana-contracts package.'\n    );\n  }\n\n  /**\n   * Verifies a proof on-chain.\n   *\n   * Note: This is a placeholder. Use the generated Anchor client for\n   * actual transaction building and submission.\n   */\n  async verifyProof(\n    vkAccount: string,\n    proofBase64: string,\n    publicInputs: string[]\n  ): Promise<VerifyResult> {\n    // Parse and validate proof\n    const proofBytes = base64ToBytes(proofBase64);\n    if (proofBytes.length !== PROOF_SIZE) {\n      throw new Error(`Invalid proof size: expected ${PROOF_SIZE}, got ${proofBytes.length}`);\n    }\n\n    // This is a placeholder - actual implementation would use Anchor client\n    throw new Error(\n      'SolanaVerifier.verifyProof requires @solana/web3.js and @coral-xyz/anchor. ' +\n        'Use the generated Anchor client from solana-contracts package.'\n    );\n  }\n\n  /**\n   * Closes a VK account and reclaims rent.\n   *\n   * Note: This is a placeholder. Use the generated Anchor client for\n   * actual transaction building and submission.\n   */\n  async closeVk(vkAccount: string): Promise<string> {\n    throw new Error(\n      'SolanaVerifier.closeVk requires @solana/web3.js and @coral-xyz/anchor. ' +\n        'Use the generated Anchor client from solana-contracts package.'\n    );\n  }\n}\n\n// Re-export common types\nexport type { CompiledCircuit, InputMap, ProofData } from '../domain/types.js';\n"],"mappings":";AAoCO,IAAM,UAAU;AAChB,IAAM,UAAU;AAChB,IAAM,aAAa;AACnB,IAAM,aAAa;AACnB,IAAM,oBAAoB;AAG1B,IAAM,sBAAsB;AAyD5B,SAAS,kBAAkB,UAAkB,aAMlD;AACA,QAAM,UAAU,cAAc,QAAQ;AACtC,QAAM,cAAc,UAAU,UAAU,IAAI,WAAW,cAAc;AAErE,MAAI,QAAQ,WAAW,aAAa;AAClC,UAAM,IAAI;AAAA,MACR,6BAA6B,WAAW,cAAc,WAAW,uBAAuB,QAAQ,MAAM;AAAA,IACxG;AAAA,EACF;AAEA,MAAI,SAAS;AAEb,QAAM,UAAU,QAAQ,MAAM,QAAQ,SAAS,OAAO;AACtD,YAAU;AAEV,QAAM,SAAS,QAAQ,MAAM,QAAQ,SAAS,OAAO;AACrD,YAAU;AAEV,QAAM,UAAU,QAAQ,MAAM,QAAQ,SAAS,OAAO;AACtD,YAAU;AAEV,QAAM,UAAU,QAAQ,MAAM,QAAQ,SAAS,OAAO;AACtD,YAAU;AAEV,QAAM,IAAkB,CAAC;AACzB,WAAS,IAAI,GAAG,KAAK,aAAa,KAAK;AACrC,MAAE,KAAK,QAAQ,MAAM,QAAQ,SAAS,OAAO,CAAC;AAC9C,cAAU;AAAA,EACZ;AAEA,SAAO,EAAE,SAAS,QAAQ,SAAS,SAAS,EAAE;AAChD;AAUO,SAAS,WAAW,aAIzB;AACA,QAAM,aAAa,cAAc,WAAW;AAE5C,MAAI,WAAW,WAAW,YAAY;AACpC,UAAM,IAAI,MAAM,gCAAgC,UAAU,eAAe,WAAW,MAAM,EAAE;AAAA,EAC9F;AAEA,SAAO;AAAA,IACL,GAAG,WAAW,MAAM,GAAG,OAAO;AAAA,IAC9B,GAAG,WAAW,MAAM,SAAS,UAAU,OAAO;AAAA,IAC9C,GAAG,WAAW,MAAM,UAAU,SAAS,UAAU;AAAA,EACnD;AACF;AAQO,SAAS,kBAAkB,QAAgC;AAChE,SAAO,OAAO,IAAI,CAAC,UAAU;AAE3B,QAAI,MAAM,WAAW,IAAI,GAAG;AAC1B,YAAMA,OAAM,MAAM,MAAM,CAAC,EAAE,SAAS,IAAI,GAAG;AAC3C,aAAO,WAAWA,IAAG;AAAA,IACvB;AAGA,UAAM,MAAM,OAAO,KAAK;AACxB,UAAM,MAAM,IAAI,SAAS,EAAE,EAAE,SAAS,IAAI,GAAG;AAC7C,WAAO,WAAW,GAAG;AAAA,EACvB,CAAC;AACH;AAUO,SAAS,uBAAuB,aAA6B;AAGlE,QAAM,YAAY,IAAI,KAAK,IAAI,UAAU,UAAU,IAAI;AACvD,SAAO,aAAa,cAAc,KAAK;AACzC;AASO,SAAS,uBACd,aACA,uBAA+B,MACvB;AACR,QAAM,OAAO,uBAAuB,WAAW;AAC/C,SAAO,OAAO;AAChB;AAOA,SAAS,cAAc,QAA4B;AAEjD,MAAI,OAAO,SAAS,YAAY;AAC9B,UAAM,SAAS,KAAK,MAAM;AAC1B,UAAM,QAAQ,IAAI,WAAW,OAAO,MAAM;AAC1C,aAAS,IAAI,GAAG,IAAI,OAAO,QAAQ,KAAK;AACtC,YAAM,CAAC,IAAI,OAAO,WAAW,CAAC;AAAA,IAChC;AACA,WAAO;AAAA,EACT;AAEA,SAAO,IAAI,WAAW,OAAO,KAAK,QAAQ,QAAQ,CAAC;AACrD;AAKO,SAAS,cAAc,OAA2B;AAEvD,MAAI,OAAO,SAAS,YAAY;AAC9B,QAAI,SAAS;AACb,aAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK;AACrC,gBAAU,OAAO,aAAa,MAAM,CAAC,CAAC;AAAA,IACxC;AACA,WAAO,KAAK,MAAM;AAAA,EACpB;AAEA,SAAO,OAAO,KAAK,KAAK,EAAE,SAAS,QAAQ;AAC7C;AAKA,SAAS,WAAW,KAAyB;AAC3C,QAAM,WAAW,IAAI,WAAW,IAAI,IAAI,IAAI,MAAM,CAAC,IAAI;AACvD,QAAM,QAAQ,IAAI,WAAW,SAAS,SAAS,CAAC;AAChD,WAAS,IAAI,GAAG,IAAI,MAAM,QAAQ,KAAK;AACrC,UAAM,CAAC,IAAI,SAAS,SAAS,UAAU,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE;AAAA,EAC9D;AACA,SAAO;AACT;AAKO,SAAS,WAAW,OAA2B;AACpD,SAAO,MAAM,KAAK,KAAK,EACpB,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,SAAS,GAAG,GAAG,CAAC,EAC1C,KAAK,EAAE;AACZ;AAcO,SAAS,yBAAyB,aAAqB,SAAiC;AAG7F,QAAM,gBAAgB,IAAI,WAAW,CAAC,KAAK,IAAI,KAAK,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;AAGzE,QAAM,QAAQ,IAAI,WAAW,CAAC;AAC9B,MAAI,SAAS,MAAM,MAAM,EAAE,UAAU,GAAG,QAAQ,QAAQ,IAAI;AAE5D,QAAM,OAAO,IAAI,WAAW,cAAc,SAAS,IAAI,IAAI,QAAQ,MAAM;AACzE,MAAI,SAAS;AAEb,OAAK,IAAI,eAAe,MAAM;AAC9B,YAAU,cAAc;AAExB,OAAK,MAAM,IAAI;AACf,YAAU;AAEV,OAAK,IAAI,OAAO,MAAM;AACtB,YAAU;AAEV,OAAK,IAAI,SAAS,MAAM;AAExB,SAAO;AACT;AASO,SAAS,qBACd,YACA,cACY;AAGZ,QAAM,gBAAgB,IAAI,WAAW,CAAC,KAAK,KAAK,KAAK,KAAK,KAAK,IAAI,KAAK,EAAE,CAAC;AAG3E,MAAI,WAAW,WAAW,YAAY;AACpC,UAAM,IAAI,MAAM,gCAAgC,UAAU,SAAS,WAAW,MAAM,EAAE;AAAA,EACxF;AAGA,QAAM,cAAc,IAAI,WAAW;AACnC,QAAM,eAAe,IAAI,aAAa,SAAS;AAC/C,QAAM,YAAY,cAAc,SAAS,cAAc;AAEvD,QAAM,OAAO,IAAI,WAAW,SAAS;AACrC,MAAI,SAAS;AAGb,OAAK,IAAI,eAAe,MAAM;AAC9B,YAAU,cAAc;AAGxB,MAAI,SAAS,KAAK,MAAM,EAAE,UAAU,QAAQ,WAAW,QAAQ,IAAI;AACnE,YAAU;AACV,OAAK,IAAI,YAAY,MAAM;AAC3B,YAAU,WAAW;AAGrB,MAAI,SAAS,KAAK,MAAM,EAAE,UAAU,QAAQ,aAAa,QAAQ,IAAI;AACrE,YAAU;AACV,aAAW,SAAS,cAAc;AAChC,QAAI,MAAM,WAAW,YAAY;AAC/B,YAAM,IAAI,MAAM,uCAAuC,UAAU,SAAS,MAAM,MAAM,EAAE;AAAA,IAC1F;AACA,SAAK,IAAI,OAAO,MAAM;AACtB,cAAU;AAAA,EACZ;AAEA,SAAO;AACT;AAmCO,IAAM,iBAAN,MAAqB;AAAA,EAClB;AAAA,EAER,YAAY,QAA8B;AACxC,SAAK,SAAS;AAAA,EAChB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,MAAM,iBAAiB,UAAkB,aAA4C;AAEnF,UAAM,UAAU,cAAc,QAAQ;AACtC,UAAM,cAAc,UAAU,UAAU,IAAI,WAAW,cAAc;AAErE,QAAI,QAAQ,WAAW,aAAa;AAClC,YAAM,IAAI;AAAA,QACR,6BAA6B,WAAW,cAAc,WAAW,uBAAuB,QAAQ,MAAM;AAAA,MACxG;AAAA,IACF;AAGA,UAAM,IAAI;AAAA,MACR;AAAA,IAEF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,MAAM,YACJ,WACA,aACA,cACuB;AAEvB,UAAM,aAAa,cAAc,WAAW;AAC5C,QAAI,WAAW,WAAW,YAAY;AACpC,YAAM,IAAI,MAAM,gCAAgC,UAAU,SAAS,WAAW,MAAM,EAAE;AAAA,IACxF;AAGA,UAAM,IAAI;AAAA,MACR;AAAA,IAEF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,MAAM,QAAQ,WAAoC;AAChD,UAAM,IAAI;AAAA,MACR;AAAA,IAEF;AAAA,EACF;AACF;","names":["hex"]}

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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@izi-noir/sdk",
-  "version": "0.1.0",
+  "version": "0.1.1",
   "description": "Write ZK circuits in JavaScript/TypeScript, generate Noir code and proofs automatically",
   "type": "module",
   "main": "./dist/index.cjs",
@@ -29,7 +29,11 @@
       "import": "./dist/providers/solana.js"
     }
   },
-  "files": ["dist", "README.md", "LICENSE"],
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
   "scripts": {
     "build": "tsup",
     "dev": "tsup --watch",