@unlink-xyz/core 0.1.2 → 0.1.3-canary.0877bfe

package/dist/keys/derive.js

@@ -0,0 +1,112 @@
+/**
+ * Key derivation for Unlink wallets using SLIP-10.
+ *
+ * SLIP-10 is a standard for BIP-32-style HD key derivation on non-secp256k1 curves.
+ * We use "babyjubjub seed" as the curve identifier (standard convention: "<curve> seed").
+ *
+ * Derivation paths (BIP-44 style):
+ * - Spending: m/44'/1984'/0'/0'/{index}'
+ * - Viewing:  m/420'/1984'/0'/0'/{index}'
+ *
+ * @see https://github.com/satoshilabs/slips/blob/master/slip-0010.md
+ */
+import { getPublicKey, hashes } from "@noble/ed25519";
+import { hmac } from "@noble/hashes/hmac.js";
+import { sha512 } from "@noble/hashes/sha2.js";
+import { deriveSpendingPublicKey, poseidon } from "../crypto-adapters/index.js";
+import { ValidationError } from "../errors.js";
+import { Hex } from "./hex.js";
+// Configure ed25519 to use sha512
+hashes.sha512 = sha512;
+hashes.sha512Async = async (m) => sha512(m);
+// SLIP-10 curve identifier (convention: "<curve> seed")
+const CURVE_SEED = new TextEncoder().encode("babyjubjub seed");
+// BIP-44 paths: m/purpose'/coin_type'/account'/change'/{index}'
+// 1984 = coin type for Unlink
+const SPENDING_PATH = [44, 1984, 0, 0]; // + index
+const VIEWING_PATH = [420, 1984, 0, 0]; // + index
+/**
+ * SLIP-10 master key derivation from seed.
+ * I = HMAC-SHA512(Key = curve_seed, Data = seed)
+ * Returns left 32 bytes as key, right 32 bytes as chain code.
+ */
+function deriveMasterKey(seed) {
+    const I = hmac(sha512, CURVE_SEED, seed);
+    return {
+        key: I.slice(0, 32),
+        chainCode: I.slice(32, 64),
+    };
+}
+/**
+ * SLIP-10 hardened child key derivation.
+ * For hardened keys (index >= 0x80000000), we use:
+ * I = HMAC-SHA512(Key = chainCode, Data = 0x00 || key || index)
+ */
+function deriveHardenedChild(key, chainCode, index) {
+    // Data = 0x00 || key (32 bytes) || index (4 bytes, big-endian)
+    const data = new Uint8Array(37);
+    data[0] = 0x00;
+    data.set(key, 1);
+    // Hardened index: original index + 0x80000000
+    const view = new DataView(data.buffer, data.byteOffset, data.byteLength);
+    view.setUint32(33, 0x80000000 + index, false); // big-endian
+    const I = hmac(sha512, chainCode, data);
+    return {
+        key: I.slice(0, 32),
+        chainCode: I.slice(32, 64),
+    };
+}
+/**
+ * Derive a key by traversing a BIP-32 path (all hardened).
+ */
+function deriveKeyFromPath(seed, path) {
+    let { key, chainCode } = deriveMasterKey(seed);
+    for (const index of path) {
+        ({ key, chainCode } = deriveHardenedChild(key, chainCode, index));
+    }
+    return key;
+}
+/**
+ * Derive spending key pair (BabyJubJub) for an account.
+ */
+export function deriveSpendingKeyPair(seed, index) {
+    const path = [...SPENDING_PATH, index];
+    const privateKey = deriveKeyFromPath(seed, path);
+    const pubkey = deriveSpendingPublicKey(privateKey);
+    return { privateKey, pubkey };
+}
+/**
+ * Derive viewing key pair (Ed25519) for an account.
+ */
+export async function deriveViewingKeyPair(seed, index) {
+    const path = [...VIEWING_PATH, index];
+    const privateKey = deriveKeyFromPath(seed, path);
+    const pubkey = await getPublicKey(privateKey);
+    return { privateKey, pubkey };
+}
+/**
+ * Compute nullifying key from viewing private key using Poseidon hash.
+ */
+export function computeNullifyingKey(viewingPrivateKey) {
+    if (viewingPrivateKey.length !== 32) {
+        throw new ValidationError("Viewing private key must be 32 bytes");
+    }
+    return poseidon([Hex.toBigInt(Hex.fromBytes(viewingPrivateKey))]);
+}
+/**
+ * Compute master public key from spending public key and nullifying key.
+ * MPK = Poseidon(spendingPubkey[0], spendingPubkey[1], nullifyingKey)
+ */
+export function computeMasterPublicKey(spendingPubkey, nullifyingKey) {
+    return poseidon([...spendingPubkey, nullifyingKey]);
+}
+/**
+ * Derive all account keys from a seed.
+ */
+export async function deriveAccountKeys(seed, index) {
+    const spending = deriveSpendingKeyPair(seed, index);
+    const viewing = await deriveViewingKeyPair(seed, index);
+    const nullifyingKey = computeNullifyingKey(viewing.privateKey);
+    const masterPublicKey = computeMasterPublicKey(spending.pubkey, nullifyingKey);
+    return { spending, viewing, nullifyingKey, masterPublicKey };
+}

package/dist/keys/hex.d.ts

@@ -0,0 +1,17 @@
+export declare enum FieldSize {
+    SCALAR = 32,
+    SEED = 64
+}
+export type HexInput = string | number | bigint | Uint8Array | ArrayLike<number>;
+export declare class Hex {
+    static strip(value: string): string;
+    static encode(data: HexInput): string;
+    static fromBytes(bytes: Uint8Array): string;
+    static toBytes(hex: string): Uint8Array;
+    static decode(data: HexInput): Uint8Array;
+    static toBigInt(hex: string): bigint;
+    static pad(data: HexInput, bytes: number, side?: "left" | "right"): string;
+    static padToSize(data: HexInput, size: FieldSize): string;
+    static fromBigInt(value: bigint, size: FieldSize, prefix?: boolean): string;
+}
+//# sourceMappingURL=hex.d.ts.map

package/dist/keys/hex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hex.d.ts","sourceRoot":"","sources":["../../keys/hex.ts"],"names":[],"mappings":"AAEA,oBAAY,SAAS;IACnB,MAAM,KAAK;IACX,IAAI,KAAK;CACV;AAED,MAAM,MAAM,QAAQ,GAChB,MAAM,GACN,MAAM,GACN,MAAM,GACN,UAAU,GACV,SAAS,CAAC,MAAM,CAAC,CAAC;AAItB,qBAAa,GAAG;IACd,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAInC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM;IAYrC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM;IAI3C,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU;IAUvC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU;IAQzC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM;IAIpC,MAAM,CAAC,GAAG,CACR,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,MAAM,GAAG,OAAgB,GAC9B,MAAM;IAUT,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,GAAG,MAAM;IAQzD,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,UAAQ,GAAG,MAAM;CAI1E"}

package/dist/keys/hex.js

@@ -0,0 +1,66 @@
+import { ValidationError } from "../errors.js";
+export var FieldSize;
+(function (FieldSize) {
+    FieldSize[FieldSize["SCALAR"] = 32] = "SCALAR";
+    FieldSize[FieldSize["SEED"] = 64] = "SEED";
+})(FieldSize || (FieldSize = {}));
+const HEX_REGEX = /^[0-9a-f]*$/i;
+export class Hex {
+    static strip(value) {
+        return value.startsWith("0x") ? value.slice(2) : value;
+    }
+    static encode(data) {
+        if (typeof data === "string")
+            return Hex.strip(data).toLowerCase();
+        if (typeof data === "number" || typeof data === "bigint") {
+            if (data < 0)
+                throw new ValidationError("Cannot hexlify negative values");
+            const hex = data.toString(16);
+            return hex.length % 2 === 0 ? hex : `0${hex}`;
+        }
+        return Hex.fromBytes(data instanceof Uint8Array ? data : Uint8Array.from(data));
+    }
+    static fromBytes(bytes) {
+        return Array.from(bytes, (b) => b.toString(16).padStart(2, "0")).join("");
+    }
+    static toBytes(hex) {
+        const h = Hex.strip(hex).toLowerCase();
+        if (h.length % 2 !== 0)
+            throw new ValidationError("Hex string must have an even length");
+        if (!HEX_REGEX.test(h))
+            throw new ValidationError("Invalid hex string");
+        return Uint8Array.from({ length: h.length / 2 }, (_, i) => parseInt(h.slice(i * 2, i * 2 + 2), 16));
+    }
+    static decode(data) {
+        if (data instanceof Uint8Array)
+            return new Uint8Array(data);
+        if (typeof data === "string")
+            return Hex.toBytes(data);
+        if (typeof data === "number" || typeof data === "bigint")
+            return Hex.toBytes(Hex.encode(data));
+        return Uint8Array.from(data);
+    }
+    static toBigInt(hex) {
+        return BigInt(`0x${Hex.strip(hex)}`);
+    }
+    static pad(data, bytes, side = "left") {
+        const hex = Hex.encode(data);
+        const target = bytes * 2;
+        if (hex.length > target)
+            throw new ValidationError("Cannot pad data that exceeds target length");
+        return side === "left"
+            ? hex.padStart(target, "0")
+            : hex.padEnd(target, "0");
+    }
+    static padToSize(data, size) {
+        const hex = Hex.encode(data);
+        const target = size * 2;
+        return hex.length > target
+            ? hex.slice(0, target)
+            : hex.padStart(target, "0");
+    }
+    static fromBigInt(value, size, prefix = false) {
+        const hex = value.toString(16).padStart(size * 2, "0");
+        return prefix ? `0x${hex}` : hex;
+    }
+}

package/dist/keys/index.d.ts

@@ -0,0 +1,5 @@
+export { Mnemonic } from "./mnemonic.js";
+export { deriveAccountKeys, deriveSpendingKeyPair, deriveViewingKeyPair, computeNullifyingKey, computeMasterPublicKey, type AccountKeys, type SpendingKeyPair, type ViewingKeyPair, type SpendingPublicKey, } from "./derive.js";
+export { encodeAddress, decodeAddress, type AddressData, type Chain, } from "./address.js";
+export { Hex, FieldSize, type HexInput } from "./hex.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/keys/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../keys/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,iBAAiB,GACvB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,aAAa,EACb,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,KAAK,GACX,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,UAAU,CAAC"}

package/dist/keys/index.js

@@ -0,0 +1,4 @@
+export { Mnemonic } from "./mnemonic.js";
+export { deriveAccountKeys, deriveSpendingKeyPair, deriveViewingKeyPair, computeNullifyingKey, computeMasterPublicKey, } from "./derive.js";
+export { encodeAddress, decodeAddress, } from "./address.js";
+export { Hex, FieldSize } from "./hex.js";

package/dist/keys/mnemonic.d.ts

@@ -0,0 +1,8 @@
+export declare class Mnemonic {
+    static generate(strength?: 128 | 192 | 256): string;
+    static validate(mnemonic: string): boolean;
+    static toSeed(mnemonic: string, password?: string): string;
+    static toEntropy(mnemonic: string): string;
+    static fromEntropy(entropyHex: string): string;
+}
+//# sourceMappingURL=mnemonic.d.ts.map

package/dist/keys/mnemonic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mnemonic.d.ts","sourceRoot":"","sources":["../../keys/mnemonic.ts"],"names":[],"mappings":"AAWA,qBAAa,QAAQ;IACnB,MAAM,CAAC,QAAQ,CAAC,QAAQ,GAAE,GAAG,GAAG,GAAG,GAAG,GAAS,GAAG,MAAM;IAIxD,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO;IAI1C,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAE,MAAW,GAAG,MAAM;IAK9D,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;IAK1C,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM;CAI/C"}

package/dist/keys/mnemonic.js

@@ -0,0 +1,23 @@
+import { entropyToMnemonic, generateMnemonic, mnemonicToEntropy, mnemonicToSeedSync, validateMnemonic, } from "@scure/bip39";
+import { wordlist } from "@scure/bip39/wordlists/english.js";
+import { Hex } from "./hex.js";
+export class Mnemonic {
+    static generate(strength = 128) {
+        return generateMnemonic(wordlist, strength);
+    }
+    static validate(mnemonic) {
+        return validateMnemonic(mnemonic, wordlist);
+    }
+    static toSeed(mnemonic, password = "") {
+        const seed = mnemonicToSeedSync(mnemonic, password);
+        return Hex.fromBytes(seed);
+    }
+    static toEntropy(mnemonic) {
+        const entropy = mnemonicToEntropy(mnemonic, wordlist);
+        return Hex.fromBytes(entropy);
+    }
+    static fromEntropy(entropyHex) {
+        const entropy = Hex.toBytes(entropyHex);
+        return entropyToMnemonic(entropy, wordlist);
+    }
+}

package/dist/keys.d.ts

@@ -1,7 +1,10 @@
-export declare const RESERVED_PREFIXES: readonly ["meta:", "notes:", "leaves:", "roots:", "nullifiers:", "ciphertexts:", "jobs:", "proof_cache:", "cfg:", "idx:", "locks:"];
+export declare const RESERVED_PREFIXES: readonly ["meta:", "history:", "notes:", "leaves:", "roots:", "nullifiers:", "ciphertexts:", "jobs:", "proof_cache:", "cfg:", "idx:", "locks:"];
 /** Canonical builders for storage key namespaces used across core */
 export declare const keys: {
     note: (c: number, i: number) => string;
+    historyEntry: (id: string) => string;
+    historyPrefix: (chainId: number, mpk: string) => string;
+    historyMeta: (chainId: number, mpk: string) => string;
     leaf: (c: number, i: number) => string;
     ciphertext: (c: number, i: number) => string;
     /** Track note indices that remain unspent for a given master public key (mpk acts as the account identifier). */

package/dist/keys.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"keys.d.ts","sourceRoot":"","sources":["../keys.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,iBAAiB,qIAYpB,CAAC;AAEX,qEAAqE;AACrE,eAAO,MAAM,IAAI;cACL,MAAM,KAAK,MAAM;cACjB,MAAM,KAAK,MAAM;oBACX,MAAM,KAAK,MAAM;IACjC,iHAAiH;iBACpG,MAAM,OAAO,MAAM,KAAK,MAAM;uBAExB,MAAM,OAAO,MAAM;sBACpB,MAAM,KAAK,MAAM;qBAClB,MAAM,KAAK,MAAM;mBACnB,MAAM,KAAK,MAAM;cACtB,MAAM,SAAS,MAAM;oBACf,MAAM;oBACN,MAAM;gBACV,MAAM;mBACH,MAAM,KAAK,MAAM;mBACjB,MAAM;CACtB,CAAC;AAEF,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,QAQtC"}
+{"version":3,"file":"keys.d.ts","sourceRoot":"","sources":["../keys.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,iBAAiB,iJAapB,CAAC;AAEX,qEAAqE;AACrE,eAAO,MAAM,IAAI;cACL,MAAM,KAAK,MAAM;uBACR,MAAM;6BACA,MAAM,OAAO,MAAM;2BACrB,MAAM,OAAO,MAAM;cAEhC,MAAM,KAAK,MAAM;oBACX,MAAM,KAAK,MAAM;IACjC,iHAAiH;iBACpG,MAAM,OAAO,MAAM,KAAK,MAAM;uBAExB,MAAM,OAAO,MAAM;sBACpB,MAAM,KAAK,MAAM;qBAClB,MAAM,KAAK,MAAM;mBACnB,MAAM,KAAK,MAAM;cACtB,MAAM,SAAS,MAAM;oBACf,MAAM;oBACN,MAAM;gBACV,MAAM;mBACH,MAAM,KAAK,MAAM;mBACjB,MAAM;CACtB,CAAC;AAEF,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,QAQtC"}

package/dist/keys.js

@@ -1,6 +1,7 @@
 import { KeyValidationError } from "./errors.js";
 export const RESERVED_PREFIXES = [
     "meta:",
+    "history:",
     "notes:",
     "leaves:",
     "roots:",
@@ -15,6 +16,9 @@ export const RESERVED_PREFIXES = [
 /** Canonical builders for storage key namespaces used across core */
 export const keys = {
     note: (c, i) => `notes:${c}:${i}`,
+    historyEntry: (id) => `history:${id}`,
+    historyPrefix: (chainId, mpk) => `history:${chainId}:${mpk}:`,
+    historyMeta: (chainId, mpk) => `history:${chainId}:${mpk}:__meta__`,
     leaf: (c, i) => `leaves:${c}:${i}`,
     ciphertext: (c, i) => `ciphertexts:${c}:${i}`,
     /** Track note indices that remain unspent for a given master public key (mpk acts as the account identifier). */

package/dist/prover/config.d.ts

@@ -2,20 +2,6 @@
  * Configuration for the prover system
  * Handles artifact loading from local files or remote artifact server
  */
-/**
- * Environment-based configuration for artifact loading
- */
-export interface ProverConfig {
-    /** Base URL for the artifact server (browser mode) */
-    rpcUrl: string;
-    /** Whether to enable artifact caching */
-    enableCache: boolean;
-}
-/**
- * Default configuration
- * Can be overridden via environment variables
- */
-export declare const DEFAULT_CONFIG: ProverConfig;
 /**
  * Artifact file types
  */
@@ -31,7 +17,7 @@ export declare enum ArtifactType {
  * @param baseUrl Base URL of the artifact server
  * @returns Full URL to the artifact
  */
-export declare function buildArtifactUrl(circuitName: string, artifactType: ArtifactType, baseUrl?: string): string;
+export declare function buildArtifactUrl(circuitName: string, artifactType: ArtifactType, baseUrl: string): string;
 /**
  * Get relative path for local artifact loading
  * Used in Node.js environment when artifacts are bundled

package/dist/prover/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../prover/config.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,yCAAyC;IACzC,WAAW,EAAE,OAAO,CAAC;CACtB;AAED;;;GAGG;AACH,eAAO,MAAM,cAAc,EAAE,YAM5B,CAAC;AAEF;;GAEG;AACH,oBAAY,YAAY;IACtB,IAAI,mBAAmB;IACvB,IAAI,mBAAmB;IACvB,IAAI,wBAAwB;CAC7B;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,YAAY,EAC1B,OAAO,GAAE,MAA8B,GACtC,MAAM,CAIR;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,YAAY,GACzB,MAAM,EAAE,CAQV;AAED;;GAEG;AACH,eAAO,MAAM,OAAO;IAClB;;OAEG;iBACU,OAAO;IAIpB;;OAEG;cACO,OAAO;IAQjB;;OAEG;sBACe,MAAM;CAKzB,CAAC"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../prover/config.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AACH,oBAAY,YAAY;IACtB,IAAI,mBAAmB;IACvB,IAAI,mBAAmB;IACvB,IAAI,wBAAwB;CAC7B;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,YAAY,EAC1B,OAAO,EAAE,MAAM,GACd,MAAM,CAIR;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,YAAY,GACzB,MAAM,EAAE,CAQV;AAED;;GAEG;AACH,eAAO,MAAM,OAAO;IAClB;;OAEG;iBACU,OAAO;IAIpB;;OAEG;cACO,OAAO;IAQjB;;OAEG;sBACe,MAAM;CAKzB,CAAC"}

package/dist/prover/config.js

@@ -2,16 +2,6 @@
  * Configuration for the prover system
  * Handles artifact loading from local files or remote artifact server
  */
-/**
- * Default configuration
- * Can be overridden via environment variables
- */
-export const DEFAULT_CONFIG = {
-    rpcUrl: typeof process !== "undefined" && process.env?.UNLINK_RPC_URL
-        ? process.env.UNLINK_RPC_URL
-        : "http://localhost:3000",
-    enableCache: true,
-};
 /**
  * Artifact file types
  */
@@ -28,7 +18,7 @@ export var ArtifactType;
  * @param baseUrl Base URL of the artifact server
  * @returns Full URL to the artifact
  */
-export function buildArtifactUrl(circuitName, artifactType, baseUrl = DEFAULT_CONFIG.rpcUrl) {
+export function buildArtifactUrl(circuitName, artifactType, baseUrl) {
     // Remove trailing slash from baseUrl
     const cleanBaseUrl = baseUrl.replace(/\/$/, "");
     return `${cleanBaseUrl}/artifacts/${circuitName}/${artifactType}`;

package/dist/prover/prover.d.ts

@@ -30,22 +30,30 @@ export interface JoinsplitProofInput {
     readonly npkOut: bigint[];
     readonly valueOut: bigint[];
 }
-export declare function proveTransaction(input: JoinsplitProofInput): Promise<JoinsplitProof>;
+export declare function proveTransaction(input: JoinsplitProofInput, options?: {
+    rpcUrl?: string;
+}): Promise<JoinsplitProof>;
 /**
  * Get verification key for a specific circuit configuration
  * @param inputs Number of inputs (nullifiers)
  * @param outputs Number of outputs (commitments)
+ * @param options Configuration including rpcUrl
  * @returns Verification key for the circuit
  */
-export declare function getVerificationKey(inputs: number, outputs: number): Promise<VerificationKey>;
+export declare function getVerificationKey(inputs: number, outputs: number, options?: {
+    rpcUrl?: string;
+}): Promise<VerificationKey>;
 /**
  * Verify a proof with public signals
  * Auto-detects the circuit from the public signals structure
  * @param proof Groth16 proof
  * @param publicSignals Public signals array
+ * @param options Optional configuration including rpcUrl
  * @returns True if proof is valid
  */
-export declare function verifyProof(proof: Groth16Proof, publicSignals: PublicSignals): Promise<boolean>;
+export declare function verifyProof(proof: Groth16Proof, publicSignals: PublicSignals, options?: {
+    rpcUrl?: string;
+}): Promise<boolean>;
 /**
  * Verify a proof with explicit circuit specification
  * Preferred method when you know the circuit dimensions
@@ -53,7 +61,10 @@ export declare function verifyProof(proof: Groth16Proof, publicSignals: PublicSi
  * @param publicSignals Public signals array
  * @param inputs Number of inputs (nullifiers)
  * @param outputs Number of outputs (commitments)
+ * @param options Optional configuration including rpcUrl
  * @returns True if proof is valid
  */
-export declare function verifyProofWithCircuit(proof: Groth16Proof, publicSignals: PublicSignals, inputs: number, outputs: number): Promise<boolean>;
+export declare function verifyProofWithCircuit(proof: Groth16Proof, publicSignals: PublicSignals, inputs: number, outputs: number, options?: {
+    rpcUrl?: string;
+}): Promise<boolean>;
 //# sourceMappingURL=prover.d.ts.map

package/dist/prover/prover.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../prover/prover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AA4BtD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;CAC7B;AAiND,wBAAsB,gBAAgB,CACpC,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAAC,cAAc,CAAC,CAmCzB;AAED;;;;;GAKG;AACH,wBAAsB,kBAAkB,CACtC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,eAAe,CAAC,CAU1B;AAED;;;;;;GAMG;AACH,wBAAsB,WAAW,CAC/B,KAAK,EAAE,YAAY,EACnB,aAAa,EAAE,aAAa,GAC3B,OAAO,CAAC,OAAO,CAAC,CAuClB;AAED;;;;;;;;GAQG;AACH,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,YAAY,EACnB,aAAa,EAAE,aAAa,EAC5B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,OAAO,CAAC,CAUlB"}
+{"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../prover/prover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AA2BtD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;CAC7B;AAiOD,wBAAsB,gBAAgB,CACpC,KAAK,EAAE,mBAAmB,EAC1B,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5B,OAAO,CAAC,cAAc,CAAC,CAwCzB;AAED;;;;;;GAMG;AACH,wBAAsB,kBAAkB,CACtC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5B,OAAO,CAAC,eAAe,CAAC,CAU1B;AAED;;;;;;;GAOG;AACH,wBAAsB,WAAW,CAC/B,KAAK,EAAE,YAAY,EACnB,aAAa,EAAE,aAAa,EAC5B,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5B,OAAO,CAAC,OAAO,CAAC,CA0ClB;AAED;;;;;;;;;GASG;AACH,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,YAAY,EACnB,aAAa,EAAE,aAAa,EAC5B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5B,OAAO,CAAC,OAAO,CAAC,CAUlB"}