@unionlabs/payments 0.1.0 → 0.2.0

package/dist/dts/internal/evm.d.ts

@@ -0,0 +1,250 @@
+/**
+ * This module handles EVM related functionality.
+ *
+ * @since 0.0.0
+ */
+import { Context, Effect, Layer } from "effect";
+import type { Abi, Address, ContractFunctionArgs, ContractFunctionName, CreatePublicClientErrorType, CreateWalletClientErrorType, ReadContractErrorType, ReadContractParameters, SimulateContractErrorType, Account as ViemAccount, Chain as ViemChain, PublicClient as ViemPublicClient, WalletClient as ViemWalletClient, WaitForTransactionReceiptTimeoutErrorType, WriteContractErrorType, WriteContractParameters } from "viem";
+import * as V from "viem";
+/**
+ * @category models
+ * @since 0.0.0
+ */
+export declare namespace Evm {
+    /**
+     * @category models
+     * @since 0.0.0
+     */
+    interface PublicClient {
+        readonly client: ViemPublicClient;
+    }
+    /**
+     * @category models
+     * @since 0.0.0
+     */
+    interface WalletClient {
+        readonly client: ViemWalletClient;
+        readonly account: ViemAccount;
+        readonly chain: ViemChain;
+    }
+    /**
+     * @category models
+     * @since 0.0.0
+     */
+    interface Channel {
+        readonly ucs03address: Address;
+        readonly channelId: number;
+    }
+}
+declare const WaitForTransactionReceiptError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "WaitForTransactionReceiptError";
+} & Readonly<A>;
+/**
+ * @category errors
+ * @since 0.0.0
+ */
+export declare class WaitForTransactionReceiptError extends WaitForTransactionReceiptError_base<{
+    cause: WaitForTransactionReceiptTimeoutErrorType;
+}> {
+}
+/**
+ * Wait for a transaction receipt
+ * @param hash The transaction hash for which to wait
+ * @returns An Effect that resolves to the transaction receipt
+ *
+ * @category utils
+ * @since 0.0.0
+ */
+export declare const waitForTransactionReceipt: (hash: `0x${string}`) => Effect.Effect<V.TransactionReceipt, WaitForTransactionReceiptError, PublicClient>;
+/**
+ * A type-safe wrapper around viem's readContract that handles error cases
+ * and returns an Effect with proper type inference. Extracts all error info
+ *
+ * @param client - The viem PublicClient to use for the contract call
+ * @param params - The parameters for the contract call
+ * @returns An Effect that resolves to the properly typed return value
+ *
+ * @category utils
+ * @since 0.0.0
+ */
+export declare const readContract: <TAbi extends Abi, TFunctionName extends ContractFunctionName<TAbi, "view" | "pure"> = ContractFunctionName<TAbi, "view" | "pure">, TArgs extends ContractFunctionArgs<TAbi, "view" | "pure", TFunctionName> = ContractFunctionArgs<TAbi, "view" | "pure", TFunctionName>>(params: ReadContractParameters<TAbi, TFunctionName, TArgs>) => Effect.Effect<V.ContractFunctionReturnType<TAbi, "view" | "pure", TFunctionName, TArgs>, ReadContractError, PublicClient>;
+/**
+ * A type-safe wrapper around viem's writeContract that handles error cases
+ * and returns an Effect with proper type inference. Extracts all error info
+ *
+ * @param client - The viem WalletClient to use for the contract transaction
+ * @param params - The parameters for the contract transaction
+ * @returns An Effect that resolves to the transaction hash
+ *
+ * @category utils
+ * @since 0.0.0
+ */
+export declare const writeContract: <const abi extends Abi | readonly unknown[], functionName extends ContractFunctionName<abi, "nonpayable" | "payable">, args extends ContractFunctionArgs<abi, "nonpayable" | "payable", functionName>>(params: WriteContractParameters<abi, functionName, args>) => Effect.Effect<`0x${string}`, WriteContractError, WalletClient>;
+export declare const getBlockNumber: <const abi extends Abi | readonly unknown[], functionName extends ContractFunctionName<abi, "nonpayable" | "payable">, args extends ContractFunctionArgs<abi, "nonpayable" | "payable", functionName>>(params: WriteContractParameters<abi, functionName, args>) => Effect.Effect<`0x${string}`, WriteContractError, WalletClient>;
+declare const ChannelDestination_base: Context.TagClass<ChannelDestination, "@unionlabs/sdk/Evm/ChannelDestination", Evm.Channel>;
+/**
+ * @category context
+ * @since 0.0.0
+ */
+export declare class ChannelDestination extends ChannelDestination_base {
+    static Live: (self: Evm.Channel) => Layer.Layer<ChannelDestination, never, never>;
+}
+declare const ChannelSource_base: Context.TagClass<ChannelSource, "@unionlabs/sdk/Evm/ChannelSource", Evm.Channel>;
+/**
+ * @category context
+ * @since 0.0.0
+ */
+export declare class ChannelSource extends ChannelSource_base {
+    static Live: (self: Evm.Channel) => Layer.Layer<ChannelSource, never, never>;
+}
+declare const PublicClientSource_base: Context.TagClass<PublicClientSource, "@unionlabs/sdk/Evm/PublicClientSource", Evm.PublicClient>;
+/**
+ * @category context
+ * @since 0.0.0
+ */
+export declare class PublicClientSource extends PublicClientSource_base {
+    static Live: (parameters: {
+        key?: string | undefined | undefined;
+        name?: string | undefined | undefined;
+        chain?: ViemChain | undefined;
+        batch?: {
+            multicall?: boolean | V.Prettify<V.MulticallBatchOptions> | undefined;
+        } | undefined | undefined;
+        cacheTime?: number | undefined | undefined;
+        ccipRead?: {
+            request? /**
+             * @category models
+             * @since 0.0.0
+             */: (parameters: V.CcipRequestParameters) => Promise<`0x${string}`>;
+        } | false | undefined | undefined;
+        experimental_blockTag?: V.BlockTag | undefined;
+        pollingInterval?: number | undefined | undefined;
+        transport: V.Transport;
+        rpcSchema?: V.RpcSchema | undefined;
+    }) => Layer.Layer<PublicClientSource, CreatePublicClientError, never>;
+}
+declare const PublicClientDestination_base: Context.TagClass<PublicClientDestination, "@unionlabs/sdk/Evm/PublicClientDestination", Evm.PublicClient>;
+/**
+ * @category context
+ * @since 0.0.0
+ */
+export declare class PublicClientDestination extends PublicClientDestination_base {
+    static Live: (parameters: {
+        key?: string | undefined | undefined;
+        name?: string | undefined | undefined;
+        chain?: ViemChain | undefined;
+        batch?: {
+            multicall?: boolean | V.Prettify<V.MulticallBatchOptions> | undefined;
+        } | undefined | undefined;
+        cacheTime?: number | undefined | undefined;
+        ccipRead?: {
+            request? /**
+             * @category models
+             * @since 0.0.0
+             */: (parameters: V.CcipRequestParameters) => Promise<`0x${string}`>;
+        } | false | undefined | undefined;
+        experimental_blockTag?: V.BlockTag | undefined;
+        pollingInterval?: number | undefined | undefined;
+        transport: V.Transport;
+        rpcSchema?: V.RpcSchema | undefined;
+    }) => Layer.Layer<PublicClientDestination, CreatePublicClientError, never>;
+}
+declare const PublicClient_base: Context.TagClass<PublicClient, "@unionlabs/sdk-evm/Evm/PublicClient", Evm.PublicClient>;
+/**
+ * A neutral public client that can be used for general-purpose operations
+ * that don't specifically target source or destination chains
+ *
+ * @category context
+ * @since 0.0.0
+ */
+export declare class PublicClient extends PublicClient_base {
+    static Live: (parameters: {
+        key?: string | undefined | undefined;
+        name?: string | undefined | undefined;
+        chain?: ViemChain | undefined;
+        batch?: {
+            multicall?: boolean | V.Prettify<V.MulticallBatchOptions> | undefined;
+        } | undefined | undefined;
+        cacheTime?: number | undefined | undefined;
+        ccipRead?: {
+            request? /**
+             * @category models
+             * @since 0.0.0
+             */: (parameters: V.CcipRequestParameters) => Promise<`0x${string}`>;
+        } | false | undefined | undefined;
+        experimental_blockTag?: V.BlockTag | undefined;
+        pollingInterval?: number | undefined | undefined;
+        transport: V.Transport;
+        rpcSchema?: V.RpcSchema | undefined;
+    }) => Layer.Layer<PublicClient, CreatePublicClientError, never>;
+}
+declare const WalletClient_base: Context.TagClass<WalletClient, "@unionlabs/sdk/Evm/WalletClient", Evm.WalletClient>;
+/**
+ * A wallet client that can be used for signing transactions
+ *
+ * @category context
+ * @since 0.0.0
+ */
+export declare class WalletClient extends WalletClient_base {
+    static Live: (options: Parameters<typeof V.createWalletClient>[0] & {
+        account: V.Account;
+        chain: V.Chain;
+    }) => Layer.Layer<WalletClient, CreateWalletClientError, never>;
+}
+declare const ReadContractError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "@unionlabs/sdk/Evm/ReadContractError";
+} & Readonly<A>;
+/**
+ * @category errors
+ * @since 0.0.0
+ */
+export declare class ReadContractError extends ReadContractError_base<{
+    cause: ReadContractErrorType;
+}> {
+}
+declare const WriteContractError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "@unionlabs/sdk/Evm/WriteContractError";
+} & Readonly<A>;
+/**
+ * @category errors
+ * @since 0.0.0
+ */
+export declare class WriteContractError extends WriteContractError_base<{
+    cause: WriteContractErrorType;
+}> {
+}
+declare const SimulateContractError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "@unionlabs/sdk/Evm/SimulateContractError";
+} & Readonly<A>;
+/**
+ * @category errors
+ * @since 0.0.0
+ */
+export declare class SimulateContractError extends SimulateContractError_base<{
+    cause: SimulateContractErrorType;
+}> {
+}
+declare const CreatePublicClientError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "@unionlabs/sdk/Evm/CreatePublicClientError";
+} & Readonly<A>;
+/**
+ * @category errors
+ * @since 0.0.0
+ */
+export declare class CreatePublicClientError extends CreatePublicClientError_base<{
+    cause: CreatePublicClientErrorType;
+}> {
+}
+declare const CreateWalletClientError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "@unionlabs/sdk/Evm/CreateWalletClientError";
+} & Readonly<A>;
+/**
+ * @category errors
+ * @since 0.0.0
+ */
+export declare class CreateWalletClientError extends CreateWalletClientError_base<{
+    cause: CreateWalletClientErrorType;
+}> {
+}
+export {};
+//# sourceMappingURL=evm.d.ts.map

package/dist/dts/internal/evm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evm.d.ts","sourceRoot":"","sources":["../../../src/internal/evm.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,OAAO,EAAQ,MAAM,EAAQ,KAAK,EAAQ,MAAM,QAAQ,CAAC;AAClE,OAAO,KAAK,EACV,GAAG,EACH,OAAO,EACP,oBAAoB,EACpB,oBAAoB,EACpB,2BAA2B,EAC3B,2BAA2B,EAE3B,qBAAqB,EACrB,sBAAsB,EACtB,yBAAyB,EACzB,OAAO,IAAI,WAAW,EACtB,KAAK,IAAI,SAAS,EAClB,YAAY,IAAI,gBAAgB,EAChC,YAAY,IAAI,gBAAgB,EAChC,yCAAyC,EACzC,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,MAAM,CAAC;AACd,OAAO,KAAK,CAAC,MAAM,MAAM,CAAC;AAiD1B;;;GAGG;AACH,yBAAiB,GAAG,CAAC;IACnB;;;OAGG;IACH,UAAiB,YAAY;QAC3B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;KACnC;IAED;;;OAGG;IACH,UAAiB,YAAY;QAC3B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;QAClC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;QAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;KAC3B;IAED;;;OAGG;IACH,UAAiB,OAAO;QACtB,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;QAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B;CACF;;;;AAED;;;GAGG;AACH,qBAAa,8BAA+B,SAAQ,oCAElD;IACA,KAAK,EAAE,yCAAyC,CAAC;CAClD,CAAC;CAAG;AAEL;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,4GAcrC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,GAErB,IAAI,SAAS,GAAG,EAChB,aAAa,oGAIb,KAAK,0TAoBR,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,aAAa,SAEhB,GAAG,SAAS,GAAG,GAAG,SAAS,OAAO,EAAE,EAC1C,YAAY,8DACZ,IAAI,uMAoBP,CAAC;AAEF,eAAO,MAAM,cAAc,SAEjB,GAAG,SAAS,GAAG,GAAG,SAAS,OAAO,EAAE,EAC1C,YAAY,8DACZ,IAAI,uMAoBP,CAAC;;AAEF;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAEJ;IAClC,MAAM,CAAC,IAAI,uEAAoD;CAChE;;AAED;;;GAGG;AACH,qBAAa,aAAc,SAAQ,kBAEJ;IAC7B,MAAM,CAAC,IAAI,kEAA+C;CAC3D;;AAED;;;GAGG;AAEH,qBAAa,kBAAmB,SAAQ,uBAEC;IACvC,MAAM,CAAC,IAAI;;;;;qBA5NE,CAAC;;;;mBAiDd,CAJA,CAAA;;;eAGG;;;;;;0EA4KmC;CACvC;;AAED;;;GAGG;AACH,qBAAa,uBAAwB,SAAQ,4BAEC;IAC5C,MAAM,CAAC,IAAI;;;;;qBAtOE,CAAC;;;;mBAiDd,CAJA,CAAA;;;eAGG;;;;;;+EAsLmC;CACvC;;AAED;;;;;;GAMG;AACH,qBAAa,YAAa,SAAQ,iBAEC;IACjC,MAAM,CAAC,IAAI;;;;;qBAnPE,CAAC;;;;mBAiDd,CAJA,CAAA;;;eAGG;;;;;;oEAmMmC;CACvC;;AAED;;;;;GAKG;AACH,qBAAa,YAAa,SAAQ,iBAEC;IACjC,MAAM,CAAC,IAAI,YAhQA,UAAU,CAAC,OAAO,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,GAAG;QACpD,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;QACnB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC;KAChB,+DA6PmC;CACvC;;;;AAED;;;GAGG;AACH,qBAAa,iBAAkB,SAAQ,uBAErC;IACA,KAAK,EAAE,qBAAqB,CAAC;CAC9B,CAAC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,wBAEtC;IACA,KAAK,EAAE,sBAAsB,CAAC;CAC/B,CAAC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,qBAAsB,SAAQ,2BAEzC;IACA,KAAK,EAAE,yBAAyB,CAAC;CAClC,CAAC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,uBAAwB,SAAQ,6BAE3C;IACA,KAAK,EAAE,2BAA2B,CAAC;CACpC,CAAC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,uBAAwB,SAAQ,6BAE3C;IACA,KAAK,EAAE,2BAA2B,CAAC;CACpC,CAAC;CAAG"}

package/dist/dts/internal/evmWalletClient.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=evmWalletClient.d.ts.map

package/dist/dts/internal/evmWalletClient.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evmWalletClient.d.ts","sourceRoot":"","sources":["../../../src/internal/evmWalletClient.ts"],"names":[],"mappings":""}

package/dist/dts/internal/publicClient.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=publicClient.d.ts.map

package/dist/dts/internal/publicClient.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"publicClient.d.ts","sourceRoot":"","sources":["../../../src/internal/publicClient.ts"],"names":[],"mappings":""}

package/dist/dts/internal/walletClient.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=walletClient.d.ts.map

package/dist/dts/internal/walletClient.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"walletClient.d.ts","sourceRoot":"","sources":["../../../src/internal/walletClient.ts"],"names":[],"mappings":""}

package/dist/dts/legacy/client.d.ts

@@ -0,0 +1,313 @@
+import type { Address, Hex, PublicClient, WalletClient } from "viem";
+import type { BalanceInfo, DepositResult, FullRedeemResult, GenerateProofResult, RedemptionHistoryEntry, TokenInfo, UnionPrivatePaymentsConfig, UpdateLightClientResult } from "../types.js";
+/**
+ * @public
+ */
+export interface ClientOptions {
+    proverUrl?: URL | undefined;
+    rpcUrl: URL;
+    chainId: bigint;
+    assetAddress: Address;
+    attestationUrl?: string | undefined;
+    attestorApiKey?: string | undefined;
+}
+/**
+ * @public
+ */
+export interface UpdateLightClientOptions {
+    /** The light client ID to update */
+    clientId: number;
+    /** Block height to update to (bigint or 'latest') */
+    height: bigint | "latest";
+    /** viem WalletClient with account and chain configured */
+    walletClient: WalletClient;
+}
+/**
+ * @public
+ */
+export interface DepositOptions {
+    /** The 32-byte secret payment key as a hex string */
+    paymentKey: Hex;
+    /** Array of 0-4 beneficiary addresses*/
+    beneficiaries: Address[];
+    /** Amount to deposit (in underlying token's smallest unit) */
+    amount: bigint;
+    /** viem WalletClient with account and chain configured */
+    walletClient: WalletClient;
+}
+/**
+ * @public
+ */
+export interface GetBalanceOptions {
+    /** The deposit address (unspendable address) */
+    depositAddress: Address;
+    /** The nullifier for this paymentKey */
+    nullifier: bigint;
+    /** The light client ID to use for querying the source chain state */
+    clientId: number;
+}
+/**
+ * @public
+ */
+export interface RedeemOptions {
+    /** The 32-byte secret payment key as a hex string */
+    paymentKey: Hex;
+    /** Array of 0-4 beneficiary addresses */
+    beneficiaries: Address[];
+    /** The beneficiary address to redeem to */
+    beneficiary: Address;
+    /** Amount to redeem */
+    amount: bigint;
+    /** Light client IDs to include in the proof (for anonymity set) */
+    clientIds: number[];
+    /** The specific light client ID to use for the proof */
+    selectedClientId: number;
+    /** viem WalletClient with account and chain configured */
+    walletClient: WalletClient;
+    /** Auto unwrap */
+    unwrap?: boolean | undefined;
+}
+/**
+ * Construct a {@link UnionPrivatePayments} client.
+ *
+ * @throws Error if asset is unrecognized.
+ * @public
+ */
+export declare const make: (options: ClientOptions) => UnionPrivatePayments;
+/**
+ * Union Private Payments client
+ *
+ * This class provides a high-level interface for performing private transfers
+ * using the Union protocol. It handles:
+ *
+ * - Generating unspendable addresses for deposits
+ *
+ * - Querying balances (confirmed, pending, redeemed, available)
+ *
+ * - Building witness data for proof generation
+ *
+ * - Communicating with the prover server
+ *
+ * @example
+ * ```typescript
+ * import { UnionPrivatePayments } from '@unionlabs/payments';
+ *
+ * const client = new UnionPrivatePayments({
+ *   proverUrl: 'http://localhost:8080',
+ *   sourceRpcUrl: 'https://eth-mainnet.alchemyapi.io/v2/...',
+ *   destinationRpcUrl: 'https://arbitrum-mainnet.alchemyapi.io/v2/...',
+ *   srcZAssetAddress: '0x...', // ZAsset on source chain
+ *   dstZAssetAddress: '0x...', // ZAsset on destination chain
+ *   sourceChainId: 1n,
+ *   destinationChainId: 42161n,
+ * });
+ *
+ * // Generate deposit address
+ * const address = client.getDepositAddress(secret, beneficiaries);
+ *
+ * // Check balance
+ * const balance = await client.getBalance({ depositAddress, nullifier, clientId });
+ *
+ * // Generate proof for redemption
+ * const proof = await client.generateProof(secret, beneficiaries, beneficiary, amount, clientIds);
+ * ```
+ * @public
+ */
+export declare class UnionPrivatePayments {
+    private config;
+    private srcClient;
+    private dstClient;
+    private proverClient;
+    constructor(config: UnionPrivatePaymentsConfig);
+    /**
+     * Get the deposit address for a given secret and beneficiaries
+     *
+     * The returned address is an "unspendable" address derived from the secret.
+     * Tokens sent to this address can only be redeemed via ZK proof.
+     *
+     * @param secret - The 32-byte secret as a hex string
+     * @param beneficiaries - Array of 1-4 beneficiary addresses (remaining slots zero-padded)
+     * @returns The unspendable deposit address
+     */
+    getDepositAddress(secret: Hex, beneficiaries: Address[]): Address;
+    /**
+     * Get the nullifier for a given paymentKey
+     *
+     * The nullifier is used to prevent double-spending. Each (paymentKey, chainId) pair
+     * produces a unique nullifier that is recorded on-chain when funds are redeemed.
+     *
+     * @param paymentKey - The 32-byte paymentKey as a hex string
+     * @returns The nullifier as a bigint
+     */
+    getNullifier(paymentKey: Hex): bigint;
+    /**
+     * Get balance information
+     *
+     * Returns:
+     * - confirmed: balance visible to light client (provable)
+     * - redeemed: amount already redeemed via nullifier
+     * - available: amount that can be redeemed now (confirmed - redeemed)
+     * - pending: deposits not yet visible to light client
+     *
+     * @param options - Options for getting balance
+     * @returns Balance information
+     */
+    getBalance(options: GetBalanceOptions): Promise<BalanceInfo>;
+    /**
+     * Get balance information at a specific block height
+     *
+     * @param depositAddress - The deposit address (unspendable address)
+     * @param nullifier - The nullifier for this secret
+     * @param height - The block height to query confirmed balance at
+     * @returns Balance information at the given height
+     */
+    getBalanceAtHeight(depositAddress: Address, nullifier: bigint, height: bigint): Promise<Omit<BalanceInfo, "lightClientHeight">>;
+    /**
+     * Generate a proof for redeeming funds
+     *
+     * This method:
+     * 1. Fetches light client data from the destination chain
+     * 2. Deterministically shuffles clients for privacy
+     * 3. Fetches MPT proof from the source chain
+     * 4. Builds the witness data
+     * 5. Sends the witness to the prover server
+     * 6. Polls until the proof is ready
+     *
+     * @param secret - The 32-byte secret as a hex string
+     * @param beneficiaries - Array of 0-4 beneficiary addresses (empty array = unbounded mode)
+     * @param beneficiary - The beneficiary address to redeem to
+     * @param amount - Amount to redeem
+     * @param clientIds - Light client IDs to include in the proof (for anonymity set)
+     * @param selectedClientId - The specific light client ID to use for the proof
+     * @returns GenerateProofResult containing proof result and client-side metadata
+     */
+    generateProof(secret: Hex, beneficiaries: Address[], beneficiary: Address, amount: bigint, clientIds: number[], selectedClientId: number): Promise<GenerateProofResult>;
+    /**
+     * Export the verifier contract from the prover server
+     *
+     * The verifier contract is used to verify proofs on-chain.
+     * It is circuit-specific and does not change between proofs.
+     *
+     * @returns The Solidity verifier contract source code
+     */
+    exportVerifier(): Promise<string>;
+    /**
+     * Get source ZAsset token information
+     *
+     * @returns Token symbol and decimals
+     */
+    getSrcZAssetInfo(): Promise<TokenInfo>;
+    /**
+     * Get destination ZAsset token information
+     *
+     * @returns Token symbol and decimals
+     */
+    getDstZAssetInfo(): Promise<TokenInfo>;
+    /**
+     * Deposit underlying tokens to ZAsset and transfer to deposit address
+     *
+     * Executes 3 transactions: approve → deposit → transfer.
+     * The wallet client must be connected to the source chain.
+     *
+     * @param secret - The 32-byte secret as a hex string
+     * @param beneficiaries - Array of 0-4 beneficiary addresses
+     * @param amount - Amount to deposit (in underlying token's smallest unit)
+     * @param walletClient - viem WalletClient with account and chain configured
+     * @returns Transaction hash, deposit address, underlying token, and chain ID
+     */
+    deposit(options: DepositOptions): Promise<DepositResult>;
+    /**
+     * Deposit underlying tokens to ZAsset and transfer to deposit address
+     *
+     * Executes 3 transactions: approve → deposit → transfer.
+     * The wallet client must be connected to the source chain.
+     *
+     * @param secret - The 32-byte secret as a hex string
+     * @param beneficiaries - Array of 0-4 beneficiary addresses
+     * @param amount - Amount to deposit (in underlying token's smallest unit)
+     * @param walletClient - viem WalletClient with account and chain configured
+     * @returns Transaction hash, deposit address, underlying token, and chain ID
+     */
+    unsafeDeposit(options: DepositOptions): Promise<DepositResult>;
+    /**
+     * Update loopback light client to a specific block height
+     *
+     * Fetches the IBC handler address internally from the destination ZAsset.
+     * The wallet client must be connected to the destination chain.
+     *
+     * @returns Transaction hash, block number, state root, and chain ID
+     */
+    updateLightClient(options: UpdateLightClientOptions): Promise<UpdateLightClientResult>;
+    /**
+     * Update loopback light client to a specific block height
+     *
+     * Fetches the IBC handler address internally from the destination ZAsset.
+     * The wallet client must be connected to the destination chain.
+     *
+     * @returns Transaction hash, block number, state root, and chain ID
+     */
+    unsafeUpdateLightClient(options: UpdateLightClientOptions): Promise<UpdateLightClientResult>;
+    /**
+     * Get redemption history for a secret
+     *
+     * Queries the Redeemed events filtered by the nullifier derived from the secret.
+     * This is a read-only operation that doesn't require a wallet.
+     *
+     * @param secret - The 32-byte secret as a hex string
+     * @param fromBlock - Start block number (default: earliest)
+     * @param toBlock - End block number (default: latest)
+     * @returns Array of redemption transactions
+     */
+    getRedemptionHistory(secret: Hex, fromBlock?: bigint, toBlock?: bigint): Promise<RedemptionHistoryEntry[]>;
+    /**
+     * Get redemption history for a secret
+     *
+     * Queries the Redeemed events filtered by the nullifier derived from the secret.
+     * This is a read-only operation that doesn't require a wallet.
+     *
+     * @param secret - The 32-byte secret as a hex string
+     * @param fromBlock - Start block number (default: earliest)
+     * @param toBlock - End block number (default: latest)
+     * @returns Array of redemption transactions
+     */
+    unsafeGetRedemptionHistory(secret: Hex, fromBlock?: bigint, toBlock?: bigint): Promise<RedemptionHistoryEntry[]>;
+    /**
+     * Full redeem flow: generate proof + get attestation + submit transaction
+     *
+     * This method orchestrates the entire redemption process:
+     * 1. Generates a ZK proof via the prover server
+     * 2. Gets attestation from the attestation service
+     * 3. Submits the redeem transaction
+     *
+     * The wallet client must be connected to the destination chain.
+     *
+     * @returns Transaction hash, proof, and metadata
+     */
+    redeem(options: RedeemOptions): Promise<FullRedeemResult>;
+    /**
+     * Full redeem flow: generate proof + get attestation + submit transaction
+     *
+     * This method orchestrates the entire redemption process:
+     * 1. Generates a ZK proof via the prover server
+     * 2. Gets attestation from the attestation service
+     * 3. Submits the redeem transaction
+     *
+     * The wallet client must be connected to the destination chain.
+     *
+     * @returns Transaction hash, proof, and metadata
+     */
+    unsafeRedeem(options: RedeemOptions): Promise<FullRedeemResult>;
+    /**
+     * Pad beneficiaries array to exactly 4 addresses
+     * Empty array = unbounded mode (all zeros, any beneficiary allowed)
+     */
+    private padBeneficiaries;
+}
+/**
+ * Wait for predicate on block height
+ * @public
+ */
+export declare const waitForBlockCondition: <T extends PublicClient>(publicClient: T, predicate: (blockNumber: bigint) => boolean, options?: {
+    timeoutMs?: number | undefined;
+}) => Promise<bigint>;
+//# sourceMappingURL=client.d.ts.map

package/dist/dts/legacy/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../../../src/legacy/client.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,MAAM,CAAC;AAuBrE,OAAO,KAAK,EACV,WAAW,EACX,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,sBAAsB,EACtB,SAAS,EACT,0BAA0B,EAC1B,uBAAuB,EAExB,MAAM,aAAa,CAAC;AAUrB;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,GAAG,GAAG,SAAS,CAAC;IAC5B,MAAM,EAAE,GAAG,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,OAAO,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,qDAAqD;IACrD,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC;IAC1B,0DAA0D;IAC1D,YAAY,EAAE,YAAY,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,qDAAqD;IACrD,UAAU,EAAE,GAAG,CAAC;IAChB,wCAAwC;IACxC,aAAa,EAAE,OAAO,EAAE,CAAC;IACzB,8DAA8D;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,0DAA0D;IAC1D,YAAY,EAAE,YAAY,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,gDAAgD;IAChD,cAAc,EAAE,OAAO,CAAC;IACxB,wCAAwC;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,qEAAqE;IACrE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,qDAAqD;IACrD,UAAU,EAAE,GAAG,CAAC;IAChB,yCAAyC;IACzC,aAAa,EAAE,OAAO,EAAE,CAAC;IACzB,2CAA2C;IAC3C,WAAW,EAAE,OAAO,CAAC;IACrB,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,wDAAwD;IACxD,gBAAgB,EAAE,MAAM,CAAC;IACzB,0DAA0D;IAC1D,YAAY,EAAE,YAAY,CAAC;IAC3B,kBAAkB;IAClB,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,SAAS,aAAa,KAAG,oBA0B7C,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,qBAAa,oBAAoB;IAC/B,OAAO,CAAC,MAAM,CAA6B;IAC3C,OAAO,CAAC,SAAS,CAAY;IAC7B,OAAO,CAAC,SAAS,CAAY;IAC7B,OAAO,CAAC,YAAY,CAAe;gBAEvB,MAAM,EAAE,0BAA0B;IAO9C;;;;;;;;;OASG;IACH,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,OAAO;IASjE;;;;;;;;OAQG;IACH,YAAY,CAAC,UAAU,EAAE,GAAG,GAAG,MAAM;IAIrC;;;;;;;;;;;OAWG;IACG,UAAU,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,WAAW,CAAC;IA6BlE;;;;;;;OAOG;IACG,kBAAkB,CACtB,cAAc,EAAE,OAAO,EACvB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;IA4BlD;;;;;;;;;;;;;;;;;;OAkBG;IACG,aAAa,CACjB,MAAM,EAAE,GAAG,EACX,aAAa,EAAE,OAAO,EAAE,EACxB,WAAW,EAAE,OAAO,EACpB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EAAE,EACnB,gBAAgB,EAAE,MAAM,GACvB,OAAO,CAAC,mBAAmB,CAAC;IAuI/B;;;;;;;OAOG;IACG,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAIvC;;;;OAIG;IACG,gBAAgB,IAAI,OAAO,CAAC,SAAS,CAAC;IAQ5C;;;;OAIG;IACG,gBAAgB,IAAI,OAAO,CAAC,SAAS,CAAC;IAQ5C;;;;;;;;;;;OAWG;IACG,OAAO,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC;IA2J9D;;;;;;;;;;;OAWG;IACG,aAAa,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC;IAoIpE;;;;;;;OAOG;IACG,iBAAiB,CACrB,OAAO,EAAE,wBAAwB,GAChC,OAAO,CAAC,uBAAuB,CAAC;IAuMnC;;;;;;;OAOG;IACG,uBAAuB,CAC3B,OAAO,EAAE,wBAAwB,GAChC,OAAO,CAAC,uBAAuB,CAAC;IAmKnC;;;;;;;;;;OAUG;IACH,oBAAoB,CAClB,MAAM,EAAE,GAAG,EACX,SAAS,CAAC,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,sBAAsB,EAAE,CAAC;IAiBpC;;;;;;;;;;OAUG;IACG,0BAA0B,CAC9B,MAAM,EAAE,GAAG,EACX,SAAS,CAAC,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,sBAAsB,EAAE,CAAC;IAUpC;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC;IA6JzD;;;;;;;;;;;OAWG;IACG,YAAY,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAkJrE;;;OAGG;IACH,OAAO,CAAC,gBAAgB;CAgBzB;AAED;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAAI,CAAC,SAAS,YAAY,EAC1D,cAAc,CAAC,EACf,WAAW,CAAC,WAAW,EAAE,MAAM,KAAK,OAAO,EAC3C,UAAU;IAAE,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,KAC3C,OAAO,CAAC,MAAM,CA8BhB,CAAC"}

package/dist/dts/legacy/prover.d.ts

@@ -0,0 +1,30 @@
+import type { ProofResult, WitnessData } from "../types.js";
+/**
+ * Prover client for communicating with the prover gRPC-web server
+ *
+ * Uses `@connectrpc/connect-web` to communicate with the gRPC-web server.
+ * @public
+ */
+export declare class ProverClient {
+    private client;
+    private pollIntervalMs;
+    private maxPollAttempts;
+    constructor(proverUrl: string, options?: {
+        pollIntervalMs?: number;
+        maxPollAttempts?: number;
+    });
+    /**
+     * Generate a proof by sending witness data to the prover server
+     *
+     * The server handles witness transformation internally, so we send
+     * the structured WitnessData instead of pre-serialized circuit witness bytes.
+     */
+    generateProof(witness: WitnessData): Promise<ProofResult>;
+    /**
+     * Export the verifier contract from the prover server
+     */
+    exportVerifier(): Promise<string>;
+    private witnessToProto;
+    private sleep;
+}
+//# sourceMappingURL=prover.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prover.d.ts","sourceRoot":"","sources":["../../../src/legacy/prover.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE5D;;;;;GAKG;AACH,qBAAa,YAAY;IACvB,OAAO,CAAC,MAAM,CAA+B;IAC7C,OAAO,CAAC,cAAc,CAAS;IAC/B,OAAO,CAAC,eAAe,CAAS;gBAG9B,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE;QACR,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,eAAe,CAAC,EAAE,MAAM,CAAC;KAC1B;IAWH;;;;;OAKG;IACG,aAAa,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;IAkD/D;;OAEG;IACG,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAKvC,OAAO,CAAC,cAAc;IA2BtB,OAAO,CAAC,KAAK;CAGd"}

package/dist/dts/poseidon2.d.ts

@@ -0,0 +1,18 @@
+import type { Address, Hex } from "viem";
+/**
+ * Compute the nullifier: Poseidon2(0xDEAD || chainId || secret)
+ * @public
+ */
+export declare function computeNullifier(secret: Hex, dstChainId: bigint): bigint;
+/**
+ * Generate a random secret valid for BN254 scalar field
+ * @public
+ */
+export declare function generatePaymentKey(): Hex;
+/**
+ * Compute the unspendable address: bottom 160 bits of
+ * Poseidon2(0xDEAF || dstChainId || secret || beneficiary1..4)
+ * @public
+ */
+export declare function computeUnspendableAddress(secret: Hex, dstChainId: bigint, beneficiaries: [Address, Address, Address, Address]): Address;
+//# sourceMappingURL=poseidon2.d.ts.map

package/dist/dts/poseidon2.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"poseidon2.d.ts","sourceRoot":"","sources":["../../src/poseidon2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AAyLzC;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAKxE;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,IAAI,GAAG,CAiBxC;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,GAAG,EACX,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAClD,OAAO,CAiBT"}