@veil-cash/sdk 0.6.2 → 0.6.4

package/dist/index.d.cts

@@ -1,3 +1,4 @@
+import { Buffer } from 'buffer';
 import MerkleTree from 'fixed-merkle-tree-legacy';
 
 /**
@@ -73,6 +74,80 @@ declare class Utxo {
     static decrypt(data: string, keypair: Keypair): Utxo;
 }
 
+/**
+ * ZK Proof generation for Veil SDK
+ * Uses snarkjs groth16 to generate proofs for transactions
+ */
+/**
+ * Input data for ZK proof generation
+ */
+interface ProofInput {
+    root: bigint;
+    inputNullifier: bigint[];
+    outputCommitment: bigint[];
+    publicAmount: string;
+    extDataHash: bigint;
+    inAmount: bigint[];
+    inPrivateKey: (string | null)[];
+    inBlinding: bigint[];
+    inPathIndices: number[];
+    inPathElements: (bigint | number)[][];
+    outAmount: bigint[];
+    outBlinding: bigint[];
+    outPubkey: bigint[];
+}
+/**
+ * Directory/base URL where proving keys are hosted, or a resolver that returns
+ * the circuit base path without the `.wasm` / `.zkey` extension.
+ */
+type ProvingKeyPath = string | ((circuitName: string) => string);
+interface ProveOptions {
+    /**
+     * Proving key location.
+     *
+     * In Node this defaults to the package/source `keys` directory. In browsers
+     * this defaults to `/keys`, so apps can serve `/keys/transaction2.wasm` and
+     * `/keys/transaction2.zkey` from their own origin.
+     */
+    provingKeyPath?: ProvingKeyPath;
+    /** Force snarkjs single-threaded proving. Defaults to true. */
+    singleThread?: boolean;
+}
+/**
+ * Generate a ZK proof for a transaction
+ *
+ * @param input - Proof input data
+ * @param circuitName - Circuit name (e.g., 'transaction2' or 'transaction16')
+ * @returns Serialized proof as hex string
+ *
+ * @example
+ * ```typescript
+ * const proof = await prove(proofInput, 'transaction2');
+ * // Returns: 0x1234...abcd (256 bytes hex)
+ * ```
+ */
+declare function prove(input: ProofInput, circuitName: string, options?: ProveOptions): Promise<string>;
+/**
+ * Get the supported circuit names and their max input counts
+ */
+declare const CIRCUIT_CONFIG: {
+    readonly transaction2: {
+        readonly maxInputs: 2;
+        readonly maxOutputs: 2;
+    };
+    readonly transaction16: {
+        readonly maxInputs: 16;
+        readonly maxOutputs: 2;
+    };
+};
+/**
+ * Select the appropriate circuit based on input count
+ *
+ * @param inputCount - Number of input UTXOs
+ * @returns Circuit name to use
+ */
+declare function selectCircuit(inputCount: number): string;
+
 /**
  * Type definitions for Veil SDK
  */
@@ -274,6 +349,13 @@ interface BuildWithdrawProofOptions {
     pool?: RelayPool;
     /** Optional RPC URL */
     rpcUrl?: string;
+    /**
+     * Optional proving key directory/base URL or resolver.
+     *
+     * Browsers default to `/keys`, expecting files like
+     * `/keys/transaction2.wasm` and `/keys/transaction2.zkey`.
+     */
+    provingKeyPath?: ProvingKeyPath;
     /** Progress callback */
     onProgress?: (stage: string, detail?: string) => void;
 }
@@ -291,6 +373,13 @@ interface BuildTransferProofOptions {
     pool?: RelayPool;
     /** Optional RPC URL */
     rpcUrl?: string;
+    /**
+     * Optional proving key directory/base URL or resolver.
+     *
+     * Browsers default to `/keys`, expecting files like
+     * `/keys/transaction2.wasm` and `/keys/transaction2.zkey`.
+     */
+    provingKeyPath?: ProvingKeyPath;
     /** Progress callback */
     onProgress?: (stage: string, detail?: string) => void;
 }
@@ -485,6 +574,13 @@ interface SubaccountMergeOptions {
     rpcUrl?: string;
     /** Optional relay URL */
     relayUrl?: string;
+    /**
+     * Optional proving key directory/base URL or resolver.
+     *
+     * Browsers default to `/keys`, expecting files like
+     * `/keys/transaction2.wasm` and `/keys/transaction2.zkey`.
+     */
+    provingKeyPath?: ProvingKeyPath;
     /** Progress callback */
     onProgress?: (stage: string, detail?: string) => void;
 }
@@ -818,6 +914,31 @@ declare function getQueueBalance(options: {
     rpcUrl?: string;
     onProgress?: ProgressCallback;
 }): Promise<QueueBalanceResult>;
+/**
+ * Get remaining daily free deposits for an address.
+ * Returns 0 if the queue contract has not been upgraded to V3 yet
+ * or if the daily free feature is disabled.
+ *
+ * @param options - Query options
+ * @param options.address - Depositor address to check
+ * @param options.pool - Pool identifier ('eth' or 'usdc', default: 'eth')
+ * @param options.rpcUrl - Optional RPC URL
+ * @returns Number of free deposits remaining today
+ *
+ * @example
+ * ```typescript
+ * const remaining = await getDailyFreeRemaining({
+ *   address: '0x...',
+ *   pool: 'eth',
+ * });
+ * console.log(`Free deposits left today: ${remaining}`);
+ * ```
+ */
+declare function getDailyFreeRemaining(options: {
+    address: `0x${string}`;
+    pool?: RelayPool;
+    rpcUrl?: string;
+}): Promise<number>;
 /**
  * Get private balance from the Pool contract
  * Decrypts all encrypted outputs, calculates nullifiers, and checks spent status
@@ -906,11 +1027,6 @@ declare function buildWithdrawProof(options: BuildWithdrawProofOptions): Promise
  */
 declare function withdraw(options: BuildWithdrawProofOptions): Promise<WithdrawResult>;
 
-/**
- * Transfer functions for Veil SDK
- * Build ZK proofs to transfer funds privately within the pool
- */
-
 /**
  * Check if a recipient is registered and get their deposit key
  *
@@ -997,6 +1113,7 @@ declare function mergeUtxos(options: {
     keypair: Keypair;
     pool?: RelayPool;
     rpcUrl?: string;
+    provingKeyPath?: ProvingKeyPath;
     onProgress?: (stage: string, detail?: string) => void;
 }): Promise<TransferResult>;
 
@@ -1052,6 +1169,8 @@ interface PrepareTransactionParams {
     relayer?: string | bigint | number;
     /** Optional progress callback */
     onProgress?: (stage: string, detail?: string) => void;
+    /** Optional proving key directory/base URL or circuit path resolver */
+    provingKeyPath?: ProvingKeyPath;
 }
 /**
  * Prepare a transaction (withdrawal or transfer)
@@ -1083,7 +1202,7 @@ interface PrepareTransactionParams {
  * });
  * ```
  */
-declare function prepareTransaction({ commitments, inputs, outputs, fee, recipient, relayer, onProgress, }: PrepareTransactionParams): Promise<TransactionResult>;
+declare function prepareTransaction({ commitments, inputs, outputs, fee, recipient, relayer, onProgress, provingKeyPath, }: PrepareTransactionParams): Promise<TransactionResult>;
 
 /**
  * Merkle tree utilities for Veil SDK
@@ -1121,63 +1240,6 @@ declare function getMerklePath(tree: MerkleTree, commitment: bigint | string): {
     pathIndices: number;
 };
 
-/**
- * ZK Proof generation for Veil SDK
- * Uses snarkjs groth16 to generate proofs for transactions
- */
-/**
- * Input data for ZK proof generation
- */
-interface ProofInput {
-    root: bigint;
-    inputNullifier: bigint[];
-    outputCommitment: bigint[];
-    publicAmount: string;
-    extDataHash: bigint;
-    inAmount: bigint[];
-    inPrivateKey: (string | null)[];
-    inBlinding: bigint[];
-    inPathIndices: number[];
-    inPathElements: (bigint | number)[][];
-    outAmount: bigint[];
-    outBlinding: bigint[];
-    outPubkey: bigint[];
-}
-/**
- * Generate a ZK proof for a transaction
- *
- * @param input - Proof input data
- * @param circuitName - Circuit name (e.g., 'transaction2' or 'transaction16')
- * @returns Serialized proof as hex string
- *
- * @example
- * ```typescript
- * const proof = await prove(proofInput, 'transaction2');
- * // Returns: 0x1234...abcd (256 bytes hex)
- * ```
- */
-declare function prove(input: ProofInput, circuitName: string): Promise<string>;
-/**
- * Get the supported circuit names and their max input counts
- */
-declare const CIRCUIT_CONFIG: {
-    readonly transaction2: {
-        readonly maxInputs: 2;
-        readonly maxOutputs: 2;
-    };
-    readonly transaction16: {
-        readonly maxInputs: 16;
-        readonly maxOutputs: 2;
-    };
-};
-/**
- * Select the appropriate circuit based on input count
- *
- * @param inputCount - Number of input UTXOs
- * @returns Circuit name to use
- */
-declare function selectCircuit(inputCount: number): string;
-
 /**
  * Contract addresses for Veil on Base
  */
@@ -1648,6 +1710,18 @@ declare const QUEUE_ABI: readonly [{
     }];
     readonly stateMutability: "view";
     readonly type: "function";
+}, {
+    readonly inputs: readonly [{
+        readonly name: "_depositor";
+        readonly type: "address";
+    }];
+    readonly name: "getDailyFreeRemaining";
+    readonly outputs: readonly [{
+        readonly name: "remaining";
+        readonly type: "uint256";
+    }];
+    readonly stateMutability: "view";
+    readonly type: "function";
 }];
 /**
  * ETH Pool Contract ABI
@@ -2714,6 +2788,7 @@ declare function mergeSubaccount(options: SubaccountMergeOptions): Promise<Subac
  * Crypto utilities for Veil SDK
  * Poseidon hash, hex conversion, and random number generation
  */
+
 /**
  * SNARK scalar field size
  */
@@ -2779,4 +2854,4 @@ declare function getExtDataHash(extData: ExtDataInput): bigint;
  */
 declare function shuffle<T>(array: T[]): T[];
 
-export { ADDRESSES, type BuildTransferProofOptions, type BuildWithdrawProofOptions, CIRCUIT_CONFIG, type DepositTxOptions, ENTRY_ABI, ERC20_ABI, type EncryptedMessage, type ExtData, type ExtDataInput, FIELD_SIZE, FORWARDER_ABI, FORWARDER_CONTRACT_VERSION, FORWARDER_FACTORY_ABI, Keypair, MAX_SUBACCOUNT_SLOTS, MERKLE_TREE_HEIGHT, type MessageSigner, type NetworkAddresses, POOL_ABI, POOL_CONFIG, type PendingDeposit, type PoolConfig, type PrepareTransactionParams, type PrivateBalanceResult, type ProgressCallback, type ProofArgs, type ProofBuildResult, type ProofInput, QUEUE_ABI, type QueueBalanceResult, type RegisterTxOptions, RelayError, type RelayErrorResponse, type RelayExtData, type RelayMetadata, type RelayPool, type RelayProofArgs, type RelayRequest, type RelayResponse, type RelayType, type SubaccountAsset, type SubaccountAssetBalance, type SubaccountBalances, type SubaccountDeployRequest, type SubaccountMergeOptions, type SubaccountMergeResult, type SubaccountPrivateBalanceStatus, type SubaccountPrivateBalances, type SubaccountQueueStatus, type SubaccountRecoveryResult, type SubaccountRelayResult, type SubaccountSlot, type SubaccountStatusResult, type SubaccountSweepRequest, type SubaccountWithdrawTypedData, type SubmitRelayOptions, type Token, type TransactionData, type TransactionResult, type TransferResult, Utxo, type UtxoInfo, type UtxoParams, type UtxoSelectionResult, VEIL_SIGNED_MESSAGE, type WithdrawResult, buildApproveUSDCTx, buildChangeDepositKeyTx, buildDepositETHTx, buildDepositTx, buildDepositUSDCTx, buildMerkleTree, buildRegisterTx, buildSubaccountRecoveryTx, buildSubaccountWithdrawTypedData, buildTransferProof, buildWithdrawProof, checkRecipientRegistration, checkRelayHealth, deploySubaccountForwarder, deriveSubaccountChildDepositKey, deriveSubaccountChildOwner, deriveSubaccountChildPrivateKey, deriveSubaccountSalt, deriveSubaccountSlot, findNextSubaccountWithdrawNonce, getAddresses, getExtDataHash, getForwarderFactoryAddress, getMerklePath, getPoolAddress, getPrivateBalance, getQueueAddress, getQueueBalance, getRelayInfo, getRelayUrl, getSubaccountPrivateBalance, getSubaccountStatus, isSubaccountForwarderDeployed, isSubaccountWithdrawNonceUsed, mergeSubaccount, mergeUtxos, packEncryptedMessage, poseidonHash, poseidonHash2, predictSubaccountForwarder, prepareTransaction, prove, randomBN, selectCircuit, selectUtxosForWithdraw, shuffle, signSubaccountWithdraw, submitRelay, sweepSubaccountForwarder, toBuffer, toFixedHex, transfer, unpackEncryptedMessage, withdraw };
+export { ADDRESSES, type BuildTransferProofOptions, type BuildWithdrawProofOptions, CIRCUIT_CONFIG, type DepositTxOptions, ENTRY_ABI, ERC20_ABI, type EncryptedMessage, type ExtData, type ExtDataInput, FIELD_SIZE, FORWARDER_ABI, FORWARDER_CONTRACT_VERSION, FORWARDER_FACTORY_ABI, Keypair, MAX_SUBACCOUNT_SLOTS, MERKLE_TREE_HEIGHT, type MessageSigner, type NetworkAddresses, POOL_ABI, POOL_CONFIG, type PendingDeposit, type PoolConfig, type PrepareTransactionParams, type PrivateBalanceResult, type ProgressCallback, type ProofArgs, type ProofBuildResult, type ProofInput, type ProveOptions, type ProvingKeyPath, QUEUE_ABI, type QueueBalanceResult, type RegisterTxOptions, RelayError, type RelayErrorResponse, type RelayExtData, type RelayMetadata, type RelayPool, type RelayProofArgs, type RelayRequest, type RelayResponse, type RelayType, type SubaccountAsset, type SubaccountAssetBalance, type SubaccountBalances, type SubaccountDeployRequest, type SubaccountMergeOptions, type SubaccountMergeResult, type SubaccountPrivateBalanceStatus, type SubaccountPrivateBalances, type SubaccountQueueStatus, type SubaccountRecoveryResult, type SubaccountRelayResult, type SubaccountSlot, type SubaccountStatusResult, type SubaccountSweepRequest, type SubaccountWithdrawTypedData, type SubmitRelayOptions, type Token, type TransactionData, type TransactionResult, type TransferResult, Utxo, type UtxoInfo, type UtxoParams, type UtxoSelectionResult, VEIL_SIGNED_MESSAGE, type WithdrawResult, buildApproveUSDCTx, buildChangeDepositKeyTx, buildDepositETHTx, buildDepositTx, buildDepositUSDCTx, buildMerkleTree, buildRegisterTx, buildSubaccountRecoveryTx, buildSubaccountWithdrawTypedData, buildTransferProof, buildWithdrawProof, checkRecipientRegistration, checkRelayHealth, deploySubaccountForwarder, deriveSubaccountChildDepositKey, deriveSubaccountChildOwner, deriveSubaccountChildPrivateKey, deriveSubaccountSalt, deriveSubaccountSlot, findNextSubaccountWithdrawNonce, getAddresses, getDailyFreeRemaining, getExtDataHash, getForwarderFactoryAddress, getMerklePath, getPoolAddress, getPrivateBalance, getQueueAddress, getQueueBalance, getRelayInfo, getRelayUrl, getSubaccountPrivateBalance, getSubaccountStatus, isSubaccountForwarderDeployed, isSubaccountWithdrawNonceUsed, mergeSubaccount, mergeUtxos, packEncryptedMessage, poseidonHash, poseidonHash2, predictSubaccountForwarder, prepareTransaction, prove, randomBN, selectCircuit, selectUtxosForWithdraw, shuffle, signSubaccountWithdraw, submitRelay, sweepSubaccountForwarder, toBuffer, toFixedHex, transfer, unpackEncryptedMessage, withdraw };

package/dist/index.d.ts

@@ -1,3 +1,4 @@
+import { Buffer } from 'buffer';
 import MerkleTree from 'fixed-merkle-tree-legacy';
 
 /**
@@ -73,6 +74,80 @@ declare class Utxo {
     static decrypt(data: string, keypair: Keypair): Utxo;
 }
 
+/**
+ * ZK Proof generation for Veil SDK
+ * Uses snarkjs groth16 to generate proofs for transactions
+ */
+/**
+ * Input data for ZK proof generation
+ */
+interface ProofInput {
+    root: bigint;
+    inputNullifier: bigint[];
+    outputCommitment: bigint[];
+    publicAmount: string;
+    extDataHash: bigint;
+    inAmount: bigint[];
+    inPrivateKey: (string | null)[];
+    inBlinding: bigint[];
+    inPathIndices: number[];
+    inPathElements: (bigint | number)[][];
+    outAmount: bigint[];
+    outBlinding: bigint[];
+    outPubkey: bigint[];
+}
+/**
+ * Directory/base URL where proving keys are hosted, or a resolver that returns
+ * the circuit base path without the `.wasm` / `.zkey` extension.
+ */
+type ProvingKeyPath = string | ((circuitName: string) => string);
+interface ProveOptions {
+    /**
+     * Proving key location.
+     *
+     * In Node this defaults to the package/source `keys` directory. In browsers
+     * this defaults to `/keys`, so apps can serve `/keys/transaction2.wasm` and
+     * `/keys/transaction2.zkey` from their own origin.
+     */
+    provingKeyPath?: ProvingKeyPath;
+    /** Force snarkjs single-threaded proving. Defaults to true. */
+    singleThread?: boolean;
+}
+/**
+ * Generate a ZK proof for a transaction
+ *
+ * @param input - Proof input data
+ * @param circuitName - Circuit name (e.g., 'transaction2' or 'transaction16')
+ * @returns Serialized proof as hex string
+ *
+ * @example
+ * ```typescript
+ * const proof = await prove(proofInput, 'transaction2');
+ * // Returns: 0x1234...abcd (256 bytes hex)
+ * ```
+ */
+declare function prove(input: ProofInput, circuitName: string, options?: ProveOptions): Promise<string>;
+/**
+ * Get the supported circuit names and their max input counts
+ */
+declare const CIRCUIT_CONFIG: {
+    readonly transaction2: {
+        readonly maxInputs: 2;
+        readonly maxOutputs: 2;
+    };
+    readonly transaction16: {
+        readonly maxInputs: 16;
+        readonly maxOutputs: 2;
+    };
+};
+/**
+ * Select the appropriate circuit based on input count
+ *
+ * @param inputCount - Number of input UTXOs
+ * @returns Circuit name to use
+ */
+declare function selectCircuit(inputCount: number): string;
+
 /**
  * Type definitions for Veil SDK
  */
@@ -274,6 +349,13 @@ interface BuildWithdrawProofOptions {
     pool?: RelayPool;
     /** Optional RPC URL */
     rpcUrl?: string;
+    /**
+     * Optional proving key directory/base URL or resolver.
+     *
+     * Browsers default to `/keys`, expecting files like
+     * `/keys/transaction2.wasm` and `/keys/transaction2.zkey`.
+     */
+    provingKeyPath?: ProvingKeyPath;
     /** Progress callback */
     onProgress?: (stage: string, detail?: string) => void;
 }
@@ -291,6 +373,13 @@ interface BuildTransferProofOptions {
     pool?: RelayPool;
     /** Optional RPC URL */
     rpcUrl?: string;
+    /**
+     * Optional proving key directory/base URL or resolver.
+     *
+     * Browsers default to `/keys`, expecting files like
+     * `/keys/transaction2.wasm` and `/keys/transaction2.zkey`.
+     */
+    provingKeyPath?: ProvingKeyPath;
     /** Progress callback */
     onProgress?: (stage: string, detail?: string) => void;
 }
@@ -485,6 +574,13 @@ interface SubaccountMergeOptions {
     rpcUrl?: string;
     /** Optional relay URL */
     relayUrl?: string;
+    /**
+     * Optional proving key directory/base URL or resolver.
+     *
+     * Browsers default to `/keys`, expecting files like
+     * `/keys/transaction2.wasm` and `/keys/transaction2.zkey`.
+     */
+    provingKeyPath?: ProvingKeyPath;
     /** Progress callback */
     onProgress?: (stage: string, detail?: string) => void;
 }
@@ -818,6 +914,31 @@ declare function getQueueBalance(options: {
     rpcUrl?: string;
     onProgress?: ProgressCallback;
 }): Promise<QueueBalanceResult>;
+/**
+ * Get remaining daily free deposits for an address.
+ * Returns 0 if the queue contract has not been upgraded to V3 yet
+ * or if the daily free feature is disabled.
+ *
+ * @param options - Query options
+ * @param options.address - Depositor address to check
+ * @param options.pool - Pool identifier ('eth' or 'usdc', default: 'eth')
+ * @param options.rpcUrl - Optional RPC URL
+ * @returns Number of free deposits remaining today
+ *
+ * @example
+ * ```typescript
+ * const remaining = await getDailyFreeRemaining({
+ *   address: '0x...',
+ *   pool: 'eth',
+ * });
+ * console.log(`Free deposits left today: ${remaining}`);
+ * ```
+ */
+declare function getDailyFreeRemaining(options: {
+    address: `0x${string}`;
+    pool?: RelayPool;
+    rpcUrl?: string;
+}): Promise<number>;
 /**
  * Get private balance from the Pool contract
  * Decrypts all encrypted outputs, calculates nullifiers, and checks spent status
@@ -906,11 +1027,6 @@ declare function buildWithdrawProof(options: BuildWithdrawProofOptions): Promise
  */
 declare function withdraw(options: BuildWithdrawProofOptions): Promise<WithdrawResult>;
 
-/**
- * Transfer functions for Veil SDK
- * Build ZK proofs to transfer funds privately within the pool
- */
-
 /**
  * Check if a recipient is registered and get their deposit key
  *
@@ -997,6 +1113,7 @@ declare function mergeUtxos(options: {
     keypair: Keypair;
     pool?: RelayPool;
     rpcUrl?: string;
+    provingKeyPath?: ProvingKeyPath;
     onProgress?: (stage: string, detail?: string) => void;
 }): Promise<TransferResult>;
 
@@ -1052,6 +1169,8 @@ interface PrepareTransactionParams {
     relayer?: string | bigint | number;
     /** Optional progress callback */
     onProgress?: (stage: string, detail?: string) => void;
+    /** Optional proving key directory/base URL or circuit path resolver */
+    provingKeyPath?: ProvingKeyPath;
 }
 /**
  * Prepare a transaction (withdrawal or transfer)
@@ -1083,7 +1202,7 @@ interface PrepareTransactionParams {
  * });
  * ```
  */
-declare function prepareTransaction({ commitments, inputs, outputs, fee, recipient, relayer, onProgress, }: PrepareTransactionParams): Promise<TransactionResult>;
+declare function prepareTransaction({ commitments, inputs, outputs, fee, recipient, relayer, onProgress, provingKeyPath, }: PrepareTransactionParams): Promise<TransactionResult>;
 
 /**
  * Merkle tree utilities for Veil SDK
@@ -1121,63 +1240,6 @@ declare function getMerklePath(tree: MerkleTree, commitment: bigint | string): {
     pathIndices: number;
 };
 
-/**
- * ZK Proof generation for Veil SDK
- * Uses snarkjs groth16 to generate proofs for transactions
- */
-/**
- * Input data for ZK proof generation
- */
-interface ProofInput {
-    root: bigint;
-    inputNullifier: bigint[];
-    outputCommitment: bigint[];
-    publicAmount: string;
-    extDataHash: bigint;
-    inAmount: bigint[];
-    inPrivateKey: (string | null)[];
-    inBlinding: bigint[];
-    inPathIndices: number[];
-    inPathElements: (bigint | number)[][];
-    outAmount: bigint[];
-    outBlinding: bigint[];
-    outPubkey: bigint[];
-}
-/**
- * Generate a ZK proof for a transaction
- *
- * @param input - Proof input data
- * @param circuitName - Circuit name (e.g., 'transaction2' or 'transaction16')
- * @returns Serialized proof as hex string
- *
- * @example
- * ```typescript
- * const proof = await prove(proofInput, 'transaction2');
- * // Returns: 0x1234...abcd (256 bytes hex)
- * ```
- */
-declare function prove(input: ProofInput, circuitName: string): Promise<string>;
-/**
- * Get the supported circuit names and their max input counts
- */
-declare const CIRCUIT_CONFIG: {
-    readonly transaction2: {
-        readonly maxInputs: 2;
-        readonly maxOutputs: 2;
-    };
-    readonly transaction16: {
-        readonly maxInputs: 16;
-        readonly maxOutputs: 2;
-    };
-};
-/**
- * Select the appropriate circuit based on input count
- *
- * @param inputCount - Number of input UTXOs
- * @returns Circuit name to use
- */
-declare function selectCircuit(inputCount: number): string;
-
 /**
  * Contract addresses for Veil on Base
  */
@@ -1648,6 +1710,18 @@ declare const QUEUE_ABI: readonly [{
     }];
     readonly stateMutability: "view";
     readonly type: "function";
+}, {
+    readonly inputs: readonly [{
+        readonly name: "_depositor";
+        readonly type: "address";
+    }];
+    readonly name: "getDailyFreeRemaining";
+    readonly outputs: readonly [{
+        readonly name: "remaining";
+        readonly type: "uint256";
+    }];
+    readonly stateMutability: "view";
+    readonly type: "function";
 }];
 /**
  * ETH Pool Contract ABI
@@ -2714,6 +2788,7 @@ declare function mergeSubaccount(options: SubaccountMergeOptions): Promise<Subac
  * Crypto utilities for Veil SDK
  * Poseidon hash, hex conversion, and random number generation
  */
+
 /**
  * SNARK scalar field size
  */
@@ -2779,4 +2854,4 @@ declare function getExtDataHash(extData: ExtDataInput): bigint;
  */
 declare function shuffle<T>(array: T[]): T[];
 
-export { ADDRESSES, type BuildTransferProofOptions, type BuildWithdrawProofOptions, CIRCUIT_CONFIG, type DepositTxOptions, ENTRY_ABI, ERC20_ABI, type EncryptedMessage, type ExtData, type ExtDataInput, FIELD_SIZE, FORWARDER_ABI, FORWARDER_CONTRACT_VERSION, FORWARDER_FACTORY_ABI, Keypair, MAX_SUBACCOUNT_SLOTS, MERKLE_TREE_HEIGHT, type MessageSigner, type NetworkAddresses, POOL_ABI, POOL_CONFIG, type PendingDeposit, type PoolConfig, type PrepareTransactionParams, type PrivateBalanceResult, type ProgressCallback, type ProofArgs, type ProofBuildResult, type ProofInput, QUEUE_ABI, type QueueBalanceResult, type RegisterTxOptions, RelayError, type RelayErrorResponse, type RelayExtData, type RelayMetadata, type RelayPool, type RelayProofArgs, type RelayRequest, type RelayResponse, type RelayType, type SubaccountAsset, type SubaccountAssetBalance, type SubaccountBalances, type SubaccountDeployRequest, type SubaccountMergeOptions, type SubaccountMergeResult, type SubaccountPrivateBalanceStatus, type SubaccountPrivateBalances, type SubaccountQueueStatus, type SubaccountRecoveryResult, type SubaccountRelayResult, type SubaccountSlot, type SubaccountStatusResult, type SubaccountSweepRequest, type SubaccountWithdrawTypedData, type SubmitRelayOptions, type Token, type TransactionData, type TransactionResult, type TransferResult, Utxo, type UtxoInfo, type UtxoParams, type UtxoSelectionResult, VEIL_SIGNED_MESSAGE, type WithdrawResult, buildApproveUSDCTx, buildChangeDepositKeyTx, buildDepositETHTx, buildDepositTx, buildDepositUSDCTx, buildMerkleTree, buildRegisterTx, buildSubaccountRecoveryTx, buildSubaccountWithdrawTypedData, buildTransferProof, buildWithdrawProof, checkRecipientRegistration, checkRelayHealth, deploySubaccountForwarder, deriveSubaccountChildDepositKey, deriveSubaccountChildOwner, deriveSubaccountChildPrivateKey, deriveSubaccountSalt, deriveSubaccountSlot, findNextSubaccountWithdrawNonce, getAddresses, getExtDataHash, getForwarderFactoryAddress, getMerklePath, getPoolAddress, getPrivateBalance, getQueueAddress, getQueueBalance, getRelayInfo, getRelayUrl, getSubaccountPrivateBalance, getSubaccountStatus, isSubaccountForwarderDeployed, isSubaccountWithdrawNonceUsed, mergeSubaccount, mergeUtxos, packEncryptedMessage, poseidonHash, poseidonHash2, predictSubaccountForwarder, prepareTransaction, prove, randomBN, selectCircuit, selectUtxosForWithdraw, shuffle, signSubaccountWithdraw, submitRelay, sweepSubaccountForwarder, toBuffer, toFixedHex, transfer, unpackEncryptedMessage, withdraw };
+export { ADDRESSES, type BuildTransferProofOptions, type BuildWithdrawProofOptions, CIRCUIT_CONFIG, type DepositTxOptions, ENTRY_ABI, ERC20_ABI, type EncryptedMessage, type ExtData, type ExtDataInput, FIELD_SIZE, FORWARDER_ABI, FORWARDER_CONTRACT_VERSION, FORWARDER_FACTORY_ABI, Keypair, MAX_SUBACCOUNT_SLOTS, MERKLE_TREE_HEIGHT, type MessageSigner, type NetworkAddresses, POOL_ABI, POOL_CONFIG, type PendingDeposit, type PoolConfig, type PrepareTransactionParams, type PrivateBalanceResult, type ProgressCallback, type ProofArgs, type ProofBuildResult, type ProofInput, type ProveOptions, type ProvingKeyPath, QUEUE_ABI, type QueueBalanceResult, type RegisterTxOptions, RelayError, type RelayErrorResponse, type RelayExtData, type RelayMetadata, type RelayPool, type RelayProofArgs, type RelayRequest, type RelayResponse, type RelayType, type SubaccountAsset, type SubaccountAssetBalance, type SubaccountBalances, type SubaccountDeployRequest, type SubaccountMergeOptions, type SubaccountMergeResult, type SubaccountPrivateBalanceStatus, type SubaccountPrivateBalances, type SubaccountQueueStatus, type SubaccountRecoveryResult, type SubaccountRelayResult, type SubaccountSlot, type SubaccountStatusResult, type SubaccountSweepRequest, type SubaccountWithdrawTypedData, type SubmitRelayOptions, type Token, type TransactionData, type TransactionResult, type TransferResult, Utxo, type UtxoInfo, type UtxoParams, type UtxoSelectionResult, VEIL_SIGNED_MESSAGE, type WithdrawResult, buildApproveUSDCTx, buildChangeDepositKeyTx, buildDepositETHTx, buildDepositTx, buildDepositUSDCTx, buildMerkleTree, buildRegisterTx, buildSubaccountRecoveryTx, buildSubaccountWithdrawTypedData, buildTransferProof, buildWithdrawProof, checkRecipientRegistration, checkRelayHealth, deploySubaccountForwarder, deriveSubaccountChildDepositKey, deriveSubaccountChildOwner, deriveSubaccountChildPrivateKey, deriveSubaccountSalt, deriveSubaccountSlot, findNextSubaccountWithdrawNonce, getAddresses, getDailyFreeRemaining, getExtDataHash, getForwarderFactoryAddress, getMerklePath, getPoolAddress, getPrivateBalance, getQueueAddress, getQueueBalance, getRelayInfo, getRelayUrl, getSubaccountPrivateBalance, getSubaccountStatus, isSubaccountForwarderDeployed, isSubaccountWithdrawNonceUsed, mergeSubaccount, mergeUtxos, packEncryptedMessage, poseidonHash, poseidonHash2, predictSubaccountForwarder, prepareTransaction, prove, randomBN, selectCircuit, selectUtxosForWithdraw, shuffle, signSubaccountWithdraw, submitRelay, sweepSubaccountForwarder, toBuffer, toFixedHex, transfer, unpackEncryptedMessage, withdraw };