@unionlabs/payments 0.1.0 → 0.2.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"EvmPublicClient.d.ts","sourceRoot":"","sources":["../../src/EvmPublicClient.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,KAAK,IAAI,MAAM,MAAM,CAAC;AAIlC,OAAO,KAAK,EAGV,MAAM,EACP,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAG5C;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,MAA8C,CAAC;AAEpE;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,qCAAqC,CAAC;AAE3D;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,MAAM,CAAC,YAAY;IAC1D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAE1B,QAAQ,CAAC,yBAAyB,EAAE,CAClC,IAAI,EAAE,MAAM,KACT,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAEnE,QAAQ,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE;QAC/B,KAAK,EAAE,KAAK,CAAC;YACX,EAAE,EAAE,KAAK,MAAM,EAAE,CAAC;YAClB,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;YACpB,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;SAC5B,CAAC,CAAC;QACH,OAAO,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;KACzB,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;CACjD;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,+CAE3B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAgBvC;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,GACnB,QAAQ,IAAI,CAAC,YAAY,KACxB,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAubnD,CAAC;AAEL;;;GAGG;AACH,eAAO,MAAM,aAAa,GACxB,QAAQ,IAAI,CAAC,YAAY,KACxB,KAAK,CAAC,KAAK,CAAC,eAAe,GAAG,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAOjE,CAAC"}

package/dist/dts/EvmWalletClient.d.ts

@@ -0,0 +1,67 @@
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import type * as P from "effect/Predicate";
+import type * as Scope from "effect/Scope";
+import type * as Mipd from "mipd";
+import type * as Viem from "viem";
+import * as Error from "./Error.js";
+import * as Client from "./WalletClient.js";
+/**
+ * @category type ids
+ * @since 1.0.0
+ */
+export declare const TypeId: TypeId;
+/**
+ * @category type ids
+ * @since 1.0.0
+ */
+export type TypeId = "@unionlabs/payments/EvmWalletClient";
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export interface EvmWalletClient extends Client.WalletClient {
+    readonly [TypeId]: TypeId;
+    readonly prepareBatchTransactionRequest: (calls: Array<{
+        to: `0x${string}`;
+        data: `0x${string}`;
+        value?: bigint;
+    }>) => Effect.Effect<Array<any>, Error.SdkError, never>;
+}
+/**
+ * @category tags
+ * @since 1.0.0
+ */
+export declare const EvmWalletClient: Context.Tag<EvmWalletClient, EvmWalletClient>;
+/**
+ * @category constructors
+ * @since 1.0.0
+ */
+export type EvmWalletClientConfig = {};
+/**
+ * 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 makeViem: <transport extends Viem.Transport = Viem.Transport, chain extends Viem.Chain | undefined = Viem.Chain | undefined, account extends Viem.Account | undefined = Viem.Account | undefined, rpcSchema extends Viem.RpcSchema | undefined = undefined>(wallet: Viem.WalletClient<transport, chain, account, rpcSchema>) => Effect.Effect<EvmWalletClient, Error.SdkError, Scope.Scope>;
+/**
+ * @category layers
+ * @since 1.0.0
+ */
+export declare const layerFromViem: (config: Viem.WalletClient) => Layer.Layer<EvmWalletClient | Client.WalletClient, Error.SdkError>;
+/**
+ * @category layers
+ * @since 1.0.0
+ */
+export declare const layerFromBrowser: (options: {
+    providerPredicate: P.Predicate<Mipd.EIP6963ProviderDetail>;
+    accountPredicate: P.Predicate<`0x${string}`>;
+}) => Layer.Layer<EvmWalletClient | Client.WalletClient, Error.SdkError>;
+//# sourceMappingURL=EvmWalletClient.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"EvmWalletClient.d.ts","sourceRoot":"","sources":["../../src/EvmWalletClient.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,KAAK,CAAC,MAAM,kBAAkB,CAAC;AAE3C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,KAAK,IAAI,MAAM,MAAM,CAAC;AAClC,OAAO,KAAK,KAAK,IAAI,MAAM,MAAM,CAAC;AAKlC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAE5C;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,MAA8C,CAAC;AAEpE;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,qCAAqC,CAAC;AAE3D;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,MAAM,CAAC,YAAY;IAC1D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,8BAA8B,EAAE,CACvC,KAAK,EAAE,KAAK,CAAC;QACX,EAAE,EAAE,KAAK,MAAM,EAAE,CAAC;QAClB,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;QACpB,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,CAAC,KACC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;CACvD;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,+CAE3B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAEvC;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,GACnB,SAAS,SAAS,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,EACjD,KAAK,SAAS,IAAI,CAAC,KAAK,GAAG,SAAS,GAAG,IAAI,CAAC,KAAK,GAAG,SAAS,EAC7D,OAAO,SAAS,IAAI,CAAC,OAAO,GAAG,SAAS,GAAG,IAAI,CAAC,OAAO,GAAG,SAAS,EACnE,SAAS,SAAS,IAAI,CAAC,SAAS,GAAG,SAAS,GAAG,SAAS,EAExD,QAAQ,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,KAC9D,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAqyBzD,CAAC;AAEL;;;GAGG;AACH,eAAO,MAAM,aAAa,GACxB,QAAQ,IAAI,CAAC,YAAY,KACxB,KAAK,CAAC,KAAK,CAAC,eAAe,GAAG,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAOjE,CAAC;AA6HJ;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,SAAS;IACxC,iBAAiB,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC3D,gBAAgB,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;CAC9C,KAAG,KAAK,CAAC,KAAK,CAAC,eAAe,GAAG,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAC3B,CAAC"}

package/dist/dts/Payment.d.ts

@@ -0,0 +1,128 @@
+/**
+ * - for deposits you only need to sign on the source chain
+ * - for redemptions you need wallet on dest chain
+ */
+import { Effect } from "effect";
+import { type Address } from "viem";
+import * as Attestor from "./Attestor.js";
+import type { Erc20Address } from "./Domain.js";
+import * as Domain from "./Domain.js";
+import * as Error from "./Error.js";
+import * as Prover from "./Prover.js";
+import * as PublicClient from "./PublicClient.js";
+import type * as PS from "./Schema.js";
+import type { LightClientData } from "./types.js";
+import * as WalletClient from "./WalletClient.js";
+/**
+ * @public
+ */
+export interface DepositOptions {
+    /** The 32-byte secret payment key as a hex string */
+    readonly paymentKey: PS.Hex;
+    /** Array of 0-4 beneficiary addresses*/
+    readonly beneficiaries: ReadonlyArray<Address>;
+    /** Amount to deposit (in underlying token's smallest unit) */
+    readonly amount: bigint;
+    readonly destinationChainId: bigint;
+    readonly sourceChainId: bigint;
+    readonly srcErc20Address: Domain.Erc20Address;
+}
+/**
+ * @public
+ */
+export interface RedeemOptions {
+    /** The 32-byte secret payment key as a hex string */
+    paymentKey: PS.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;
+    /** Auto unwrap */
+    unwrap?: boolean | undefined;
+}
+export declare const getDepositAddress: (secret: `0x${string}`, beneficiaries: readonly `0x${string}`[], destinationChainId: bigint) => Effect.Effect<Domain.ZAssetAddress, Error.SystemError, never>;
+export declare const getNullifier: (secret: `0x${string}`, destinationChainId: bigint) => Effect.Effect<bigint, Error.SystemError, never>;
+/**
+ * Deterministically shuffle light clients using the secret as seed.
+ * Same secret always produces the same ordering for privacy.
+ * @public
+ */
+export declare function deterministicShuffleClients(clients: LightClientData[], secret: PS.Hex): LightClientData[];
+export declare const computeStorageSlot: (address: `0x${string}`, mappingSlot: bigint) => Effect.Effect<`0x${string}`, never, never>;
+export declare const generateProof: (options: {
+    secret: PS.Hex;
+    beneficiaries: Address[];
+    beneficiary: Address;
+    amount: bigint;
+    clientIds: number[];
+    selectedClientId: number;
+    srcChainId: bigint;
+    dstChainId: bigint;
+    srcErc20Address: Erc20Address;
+    dstErc20Address: Erc20Address;
+}) => Effect.Effect<{
+    readonly proof: {
+        readonly proof: readonly [string, string, string, string, string, string, string, string];
+        readonly commitments: readonly [string, string];
+        readonly commitmentPok: readonly [string, string];
+        readonly publicInputs: readonly string[];
+    };
+    readonly metadata: {
+        readonly depositAddress: Domain.ZAssetAddress;
+        readonly beneficiary: `0x${string}`;
+        readonly value: bigint;
+        readonly lightClients: LightClientData[];
+        readonly nullifier: bigint;
+    };
+}, Error.SdkError | {
+    proof: {
+        success: boolean;
+        error: string;
+    };
+}, PublicClient.PublicClient | PublicClient.SourcePublicClient | PublicClient.DestinationPublicClient | Prover.Prover>;
+export declare const prepareRedemption: (options: {
+    /** The 32-byte secret payment key as a hex string */
+    paymentKey: PS.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;
+    srcChainId: bigint;
+    dstChainId: bigint;
+    srcErc20Address: Domain.Erc20Address;
+    dstErc20Address: Domain.Erc20Address;
+    /** Auto unwrap */
+    unwrap?: boolean | undefined;
+}) => Effect.Effect<{
+    readonly _tag: "viem";
+    readonly kind: Domain.RequestKind;
+    readonly request: import("viem").PrepareTransactionRequestReturnType;
+}, Error.SdkError | {
+    proof: {
+        success: boolean;
+        error: string;
+    };
+}, Attestor.Attestor | PublicClient.PublicClient | PublicClient.SourcePublicClient | PublicClient.DestinationPublicClient | WalletClient.DestinationWalletClient | Prover.Prover>;
+export declare const generateKey: Effect.Effect<`0x${string}`, never, never>;
+export declare const prepareDeposit: (options: DepositOptions) => Effect.Effect<readonly [{
+    readonly _tag: "viem";
+    readonly kind: Domain.RequestKind;
+    readonly request: import("viem").PrepareTransactionRequestReturnType;
+}, ...{
+    readonly _tag: "viem";
+    readonly kind: Domain.RequestKind;
+    readonly request: import("viem").PrepareTransactionRequestReturnType;
+}[]], Error.SdkError, WalletClient.SourceWalletClient>;
+//# sourceMappingURL=Payment.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Payment.d.ts","sourceRoot":"","sources":["../../src/Payment.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,MAAM,EAAQ,MAAM,QAAQ,CAAC;AAEtC,OAAO,EACL,KAAK,OAAO,EAQb,MAAM,MAAM,CAAC;AACd,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAG1C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAElD,OAAO,KAAK,KAAK,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAMlD;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,qDAAqD;IACrD,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,GAAG,CAAC;IAC5B,wCAAwC;IACxC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC/C,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;CAC/C;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,qDAAqD;IACrD,UAAU,EAAE,EAAE,CAAC,GAAG,CAAC;IACnB,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,kBAAkB;IAClB,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B;AAED,eAAO,MAAM,iBAAiB,+JAgB7B,CAAC;AAuBF,eAAO,MAAM,YAAY,wGAYxB,CAAC;AACF;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,eAAe,EAAE,EAC1B,MAAM,EAAE,EAAE,CAAC,GAAG,GACb,eAAe,EAAE,CA8BnB;AAED,eAAO,MAAM,kBAAkB,6FAW7B,CAAC;AAoCH,eAAO,MAAM,aAAa;YAChB,EAAE,CAAC,GAAG;mBACC,OAAO,EAAE;iBACX,OAAO;YACZ,MAAM;eACH,MAAM,EAAE;sBACD,MAAM;gBACZ,MAAM;gBACN,MAAM;qBACD,YAAY;qBACZ,YAAY;;;;;;;;;;;;;;;;;;;;sHA4J7B,CAAC;AAqCH,eAAO,MAAM,iBAAiB;IAC5B,qDAAqD;gBACzC,EAAE,CAAC,GAAG;IAClB,yCAAyC;mBAC1B,OAAO,EAAE;IACxB,2CAA2C;iBAC9B,OAAO;IACpB,uBAAuB;YACf,MAAM;IACd,mEAAmE;eACxD,MAAM,EAAE;IACnB,wDAAwD;sBACtC,MAAM;gBACZ,MAAM;gBACN,MAAM;qBACD,MAAM,CAAC,YAAY;qBACnB,MAAM,CAAC,YAAY;IACpC,kBAAkB;aACT,OAAO,GAAG,SAAS;;;;;;;;;;iLAqD5B,CAAC;AAEH,eAAO,MAAM,WAAW,4CAiBtB,CAAC;AAEH,eAAO,MAAM,cAAc;;;;;;;;sDAmB1B,CAAC"}

package/dist/dts/PaymentError.d.ts

@@ -0,0 +1,21 @@
+/**
+ * @since 1.0.0
+ */
+export declare const PaymentErrorTypeId: unique symbol;
+/**
+ * @since 1.0.0
+ */
+export type PaymentErrorTypeId = typeof PaymentErrorTypeId;
+declare const PaymentError_base: new <A extends Record<string, any>>(args: import("effect/Types").Simplify<A>) => import("effect/Cause").YieldableError & Record<typeof PaymentErrorTypeId, typeof PaymentErrorTypeId> & {
+    readonly _tag: "PaymentError";
+} & Readonly<A>;
+/**
+ * @since 1.0.0
+ */
+export declare class PaymentError extends PaymentError_base<{
+    cause: unknown;
+    message?: string;
+}> {
+}
+export {};
+//# sourceMappingURL=PaymentError.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PaymentError.d.ts","sourceRoot":"","sources":["../../src/PaymentError.ts"],"names":[],"mappings":"AAKA;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,OAAO,MAEvC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;;;;AAE3D;;GAEG;AACH,qBAAa,YAAa,SAAQ,kBAGhC;IACA,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;CAAG"}

package/dist/dts/Prover.d.ts

@@ -0,0 +1,87 @@
+import { Effect } from "effect";
+import type * as P from "effect/Predicate";
+import * as S from "effect/Schema";
+import type { Address, Hex } from "viem";
+import type * as Domain from "./Domain.js";
+import * as Error from "./Error.js";
+import * as GenProver from "./gen/prover_pb.js";
+import type { LightClientData, MptProofData } from "./types.js";
+/**
+ * Result from the prover server after proof generation.
+ * @public
+ */
+export interface ProofResult {
+    /** Whether proof generation succeeded */
+    success: boolean;
+    /** Serialized proof data (only present on success) */
+    proofJson?: Uint8Array;
+    /** Error message (only present on failure) */
+    error?: string;
+    /** Timestamp when the proof was created */
+    createdAt?: Date;
+}
+/**
+ * @public
+ */
+export interface WitnessData {
+    secret: Hex;
+    dstChainId: bigint;
+    beneficiaries: [Address, Address, Address, Address];
+    beneficiary: Address;
+    redeemAmount: bigint;
+    alreadyRedeemed: bigint;
+    lightClients: LightClientData[];
+    selectedClientIndex: number;
+    mptProof: MptProofData;
+    srcZAssetAddress: Domain.ZAssetAddress;
+    mappingSlot: Hex;
+}
+type PollResult = GenProver.PollResponse["result"];
+type PendingResult = Extract<PollResult, {
+    case: "pending";
+}>;
+type DoneResult = Extract<PollResult, {
+    case: "done";
+}>;
+type FailedResult = Extract<PollResult, {
+    case: "failed";
+}>;
+export declare const isPending: P.Refinement<PollResult, PendingResult>;
+export declare const isDone: P.Refinement<PollResult, DoneResult>;
+export declare const isFailed: P.Refinement<PollResult, FailedResult>;
+export declare const Proof: S.Struct<{
+    proof: S.Tuple<[typeof S.String, typeof S.String, typeof S.String, typeof S.String, typeof S.String, typeof S.String, typeof S.String, typeof S.String]>;
+    commitments: S.Tuple2<typeof S.String, typeof S.String>;
+    commitmentPok: S.Tuple2<typeof S.String, typeof S.String>;
+    publicInputs: S.Array$<typeof S.String>;
+}>;
+export type Proof = typeof Proof.Type;
+export declare const ProofFromBytes: S.transform<S.transform<typeof S.Uint8ArrayFromSelf, typeof S.String>, S.transform<S.SchemaClass<unknown, string, never>, S.Struct<{
+    proof: S.Tuple<[typeof S.String, typeof S.String, typeof S.String, typeof S.String, typeof S.String, typeof S.String, typeof S.String, typeof S.String]>;
+    commitments: S.Tuple2<typeof S.String, typeof S.String>;
+    commitmentPok: S.Tuple2<typeof S.String, typeof S.String>;
+    publicInputs: S.Array$<typeof S.String>;
+}>>>;
+declare const Prover_base: Effect.Service.Class<Prover, "Prover", {
+    readonly scoped: (options: {
+        readonly proverUrl?: string | URL | undefined;
+    }) => Effect.Effect<{
+        readonly generateProof: (witness: WitnessData) => Effect.Effect<{
+            readonly proof: readonly [string, string, string, string, string, string, string, string];
+            readonly commitments: readonly [string, string];
+            readonly commitmentPok: readonly [string, string];
+            readonly publicInputs: readonly string[];
+        }, Error.SystemError, never>;
+        readonly exportVerifier: Effect.Effect<string, Error.SystemError, never>;
+    }, Error.SystemError, never>;
+}>;
+/**
+ * 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 Prover extends Prover_base {
+}
+export {};
+//# sourceMappingURL=Prover.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Prover.d.ts","sourceRoot":"","sources":["../../src/Prover.ts"],"names":[],"mappings":"AAGA,OAAO,EAAQ,MAAM,EAAyB,MAAM,QAAQ,CAAC;AAC7D,OAAO,KAAK,KAAK,CAAC,MAAM,kBAAkB,CAAC;AAC3C,OAAO,KAAK,CAAC,MAAM,eAAe,CAAC;AACnC,OAAO,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AAEzC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,SAAS,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAShE;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,yCAAyC;IACzC,OAAO,EAAE,OAAO,CAAC;IACjB,sDAAsD;IACtD,SAAS,CAAC,EAAE,UAAU,CAAC;IACvB,8CAA8C;IAC9C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,SAAS,CAAC,EAAE,IAAI,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,GAAG,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACpD,WAAW,EAAE,OAAO,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,eAAe,EAAE,CAAC;IAChC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,YAAY,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC,aAAa,CAAC;IACvC,WAAW,EAAE,GAAG,CAAC;CAClB;AAED,KAAK,UAAU,GAAG,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;AACnD,KAAK,aAAa,GAAG,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,CAAC;AAC9D,KAAK,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AACxD,KAAK,YAAY,GAAG,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,CAAC;AAE5D,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,aAAa,CAEP,CAAC;AAExD,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAEP,CAAC;AAElD,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,YAAY,CAEP,CAAC;AAKtD,eAAO,MAAM,KAAK;;;;;EAehB,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC;AAEtC,eAAO,MAAM,cAAc;;;;;IAM1B,CAAC;;;;;;;;;;;;;;AAEF;;;;;GAKG;AACH,qBAAa,MAAO,SAAQ,WAuI1B;CAAG"}

package/dist/dts/PublicClient.d.ts

@@ -0,0 +1,146 @@
+import { Layer } from "effect";
+import * as Context from "effect/Context";
+import type * as Effect from "effect/Effect";
+import type { GetProofReturnType } from "viem";
+import type * as Domain from "./Domain.js";
+import type { SdkError } from "./Error.js";
+import type { ConsensusState, CounterpartyInfo } from "./types.js";
+/**
+ * @category type ids
+ * @since 1.0.0
+ */
+export declare const TypeId: unique symbol;
+/**
+ * @category type ids
+ * @since 1.0.0
+ */
+export type TypeId = typeof TypeId;
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export interface PublicClient {
+    readonly [TypeId]: TypeId;
+    /**
+     * Copy of the client for safeql etc.
+     */
+    readonly safe: this;
+    readonly getLatestHeight: (lightClientAddress: Domain.LightClientAddress, clientId: number) => Effect.Effect<bigint, SdkError, never>;
+    readonly getLatestBlockNumber: () => Effect.Effect<bigint, SdkError>;
+    readonly readBalance: (options: PublicClient.ReadBalanceOptions) => Effect.Effect<PublicClient.BalanceInfo, SdkError>;
+    readonly readBalanceAtHeight: (options: PublicClient.ReadBalanceAtHeightOptions) => Effect.Effect<PublicClient.BalanceAtHeightInfo, SdkError>;
+    readonly getLightClientAddress: (ibcStoreAddress: Domain.IbcHandlerAddress, clientId: number) => Effect.Effect<Domain.LightClientAddress, SdkError, never>;
+    readonly getStateRootIndex: (zAssetAddress: Domain.ZAssetAddress, clientId: number) => Effect.Effect<bigint, SdkError, never>;
+    readonly getConsensusState: (lightClientAddress: Domain.LightClientAddress, clientId: number, height: bigint, satteRootIndex: bigint) => Effect.Effect<ConsensusState, SdkError, never>;
+    readonly getIbcHandlerAddress: (zAssetAddress: Domain.ZAssetAddress) => Effect.Effect<Domain.IbcHandlerAddress, SdkError, never>;
+    readonly getCounterparty: (zAssetAddress: Domain.ZAssetAddress, clientId: number) => Effect.Effect<CounterpartyInfo, SdkError, never>;
+    readonly getProof: (options: {
+        address: `0x${string}`;
+        storageKeys: `0x${string}`[];
+        blockNumber: bigint;
+    }) => Effect.Effect<GetProofReturnType, SdkError, never>;
+    readonly waitForBlock: (targetHeight: bigint) => Effect.Effect<bigint, SdkError, never>;
+}
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export declare const PublicClient: Context.Tag<PublicClient, PublicClient>;
+declare const SourcePublicClient_base: Context.TagClass<SourcePublicClient, "SourcePublicClient", PublicClient>;
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export declare class SourcePublicClient extends SourcePublicClient_base {
+    static layer: <E, R>(layer: Layer.Layer<PublicClient, E, R>) => Layer.Layer<SourcePublicClient, E, R>;
+}
+declare const DestinationPublicClient_base: Context.TagClass<DestinationPublicClient, "DestinationPublicClient", PublicClient>;
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export declare class DestinationPublicClient extends DestinationPublicClient_base {
+    static layer: <E, R>(layer: Layer.Layer<PublicClient, E, R>) => Layer.Layer<DestinationPublicClient, E, R>;
+}
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export declare namespace PublicClient {
+    /**
+     * Consensus state from a light client
+     * @category models
+     * @since 1.0.0
+     */
+    interface ConsensusState {
+        readonly stateRoot: `0x${string}`;
+    }
+    /**
+     * Options for readBalance
+     * @category models
+     * @since 1.0.0
+     */
+    interface ReadBalanceOptions {
+        readonly srcErc20Address: Domain.Erc20Address;
+        readonly srcChainId: bigint;
+        readonly dstErc20Address: Domain.Erc20Address;
+        readonly dstChainId: bigint;
+        readonly depositAddress: `0x${string}`;
+        readonly nullifier: bigint;
+        readonly clientId: number;
+    }
+    /**
+     * Options for readBalanceAtHeight
+     * @category models
+     * @since 1.0.0
+     */
+    interface ReadBalanceAtHeightOptions {
+        readonly srcErc20Address: Domain.Erc20Address;
+        readonly dstErc20Address: Domain.Erc20Address;
+        readonly srcChainId: bigint;
+        readonly dstChainId: bigint;
+        readonly depositAddress: `0x${string}`;
+        readonly nullifier: bigint;
+        readonly height: bigint;
+    }
+    /**
+     * Balance information at a specific height
+     * @category models
+     * @since 1.0.0
+     */
+    interface BalanceAtHeightInfo {
+        readonly confirmed: bigint;
+        readonly redeemed: bigint;
+        readonly available: bigint;
+        readonly pending: bigint;
+        readonly latestHeight: bigint;
+    }
+    /**
+     * Full balance information including light client height
+     * @category models
+     * @since 1.0.0
+     */
+    interface BalanceInfo extends BalanceAtHeightInfo {
+        readonly lightClientHeight: bigint;
+    }
+    /**
+     * @category models
+     * @since 1.0.0
+     */
+    interface MakeOptions {
+        readonly getLatestHeight: PublicClient["getLatestHeight"];
+        readonly getLatestBlockNumber: PublicClient["getLatestBlockNumber"];
+        readonly readBalance: PublicClient["readBalance"];
+        readonly readBalanceAtHeight: PublicClient["readBalanceAtHeight"];
+        readonly getProof: PublicClient["getProof"];
+        readonly waitForBlock: PublicClient["waitForBlock"];
+        readonly getLightClientAddress: PublicClient["getLightClientAddress"];
+        readonly getStateRootIndex: PublicClient["getStateRootIndex"];
+        readonly getConsensusState: PublicClient["getConsensusState"];
+        readonly getIbcHandlerAddress: PublicClient["getIbcHandlerAddress"];
+        readonly getCounterparty: PublicClient["getCounterparty"];
+    }
+}
+export declare const make: (options: PublicClient.MakeOptions) => Effect.Effect<PublicClient, never>;
+export {};
+//# sourceMappingURL=PublicClient.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PublicClient.d.ts","sourceRoot":"","sources":["../../src/PublicClient.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,MAAM,CAAC;AAC/C,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnE;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAwB,CAAC;AAErD;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAE1B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAEpB,QAAQ,CAAC,eAAe,EAAE,CACxB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,EAC7C,QAAQ,EAAE,MAAM,KACb,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC5C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAErE,QAAQ,CAAC,WAAW,EAAE,CACpB,OAAO,EAAE,YAAY,CAAC,kBAAkB,KACrC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACvD,QAAQ,CAAC,mBAAmB,EAAE,CAC5B,OAAO,EAAE,YAAY,CAAC,0BAA0B,KAC7C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,QAAQ,CAAC,CAAC;IAC/D,QAAQ,CAAC,qBAAqB,EAAE,CAC9B,eAAe,EAAE,MAAM,CAAC,iBAAiB,EACzC,QAAQ,EAAE,MAAM,KACb,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC/D,QAAQ,CAAC,iBAAiB,EAAE,CAC1B,aAAa,EAAE,MAAM,CAAC,aAAa,EACnC,QAAQ,EAAE,MAAM,KACb,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC5C,QAAQ,CAAC,iBAAiB,EAAE,CAC1B,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,EAC7C,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,MAAM,KACnB,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACpD,QAAQ,CAAC,oBAAoB,EAAE,CAC7B,aAAa,EAAE,MAAM,CAAC,aAAa,KAChC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC9D,QAAQ,CAAC,eAAe,EAAE,CACxB,aAAa,EAAE,MAAM,CAAC,aAAa,EACnC,QAAQ,EAAE,MAAM,KACb,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtD,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE;QAC3B,OAAO,EAAE,KAAK,MAAM,EAAE,CAAC;QACvB,WAAW,EAAE,KAAK,MAAM,EAAE,EAAE,CAAC;QAC7B,WAAW,EAAE,MAAM,CAAC;KACrB,KAAK,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAEzD,QAAQ,CAAC,YAAY,EAAE,CACrB,YAAY,EAAE,MAAM,KACjB,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;CAC7C;AAED;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAC7C,CAAC;;AAErB;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAGrC;IACD,MAAM,CAAC,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,2CACO;CACpE;;AAED;;;GAGG;AACH,qBAAa,uBAAwB,SAAQ,4BAEH;IACxC,MAAM,CAAC,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,gDACY;CACzE;AAED;;;GAGG;AACH,yBAAiB,YAAY,CAAC;IAC5B;;;;OAIG;IACH,UAAiB,cAAc;QAC7B,QAAQ,CAAC,SAAS,EAAE,KAAK,MAAM,EAAE,CAAC;KACnC;IAED;;;;OAIG;IACH,UAAiB,kBAAkB;QACjC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;QAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;QAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,cAAc,EAAE,KAAK,MAAM,EAAE,CAAC;QACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;KAC3B;IAED;;;;OAIG;IACH,UAAiB,0BAA0B;QACzC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;QAC9C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;QAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,cAAc,EAAE,KAAK,MAAM,EAAE,CAAC;QACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB;IAED;;;;OAIG;IACH,UAAiB,mBAAmB;QAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;KAC/B;IAED;;;;OAIG;IACH,UAAiB,WAAY,SAAQ,mBAAmB;QACtD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;KACpC;IAED;;;OAGG;IACH,UAAiB,WAAW;QAC1B,QAAQ,CAAC,eAAe,EAAE,YAAY,CAAC,iBAAiB,CAAC,CAAC;QAC1D,QAAQ,CAAC,oBAAoB,EAAE,YAAY,CAAC,sBAAsB,CAAC,CAAC;QACpE,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC,aAAa,CAAC,CAAC;QAClD,QAAQ,CAAC,mBAAmB,EAAE,YAAY,CAAC,qBAAqB,CAAC,CAAC;QAClE,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC;QAC5C,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC;QACpD,QAAQ,CAAC,qBAAqB,EAAE,YAAY,CAAC,uBAAuB,CAAC,CAAC;QACtE,QAAQ,CAAC,iBAAiB,EAAE,YAAY,CAAC,mBAAmB,CAAC,CAAC;QAC9D,QAAQ,CAAC,iBAAiB,EAAE,YAAY,CAAC,mBAAmB,CAAC,CAAC;QAC9D,QAAQ,CAAC,oBAAoB,EAAE,YAAY,CAAC,sBAAsB,CAAC,CAAC;QACpE,QAAQ,CAAC,eAAe,EAAE,YAAY,CAAC,iBAAiB,CAAC,CAAC;KAC3D;CACF;AAED,eAAO,MAAM,IAAI,EAAE,CACjB,OAAO,EAAE,YAAY,CAAC,WAAW,KAC9B,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,CAAiB,CAAC"}

package/dist/dts/Schema.d.ts

@@ -0,0 +1,16 @@
+import * as S from "effect/Schema";
+/**
+ * Describes `0x${string}` from non-empty string.
+ *
+ * Note: To be used ineroperably with `viem`.
+ */
+export declare const Hex: S.TemplateLiteral<`0x${string}`>;
+export type Hex = typeof Hex.Type;
+/**
+ * Describes `0x${string}` address from non-empty string.
+ *
+ * Note: To be used ineroperably with `viem`.
+ */
+export declare const Address: S.TemplateLiteral<`0x${string}`>;
+export type Address = typeof Address.Type;
+//# sourceMappingURL=Schema.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Schema.d.ts","sourceRoot":"","sources":["../../src/Schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,eAAe,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,GAAG,EAQA,CAAC,CAAC,eAAe,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;AACjD,MAAM,MAAM,GAAG,GAAG,OAAO,GAAG,CAAC,IAAI,CAAC;AAElC;;;;GAIG;AACH,eAAO,MAAM,OAAO,EAWJ,CAAC,CAAC,eAAe,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;AACjD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC"}

package/dist/dts/Utils.d.ts

@@ -0,0 +1,11 @@
+import type { RedeemMetadata } from "./rpc.js";
+import type { ProofJSON, RedeemParams } from "./types.js";
+type DeepReadonly<T> = T extends (infer U)[] ? readonly DeepReadonly<U>[] : T extends object ? {
+    readonly [K in keyof T]: DeepReadonly<T[K]>;
+} : T;
+/**
+ * @public
+ */
+export declare function proofJsonToRedeemParams(proofJson: DeepReadonly<ProofJSON>, metadata: Readonly<RedeemMetadata>): RedeemParams;
+export {};
+//# sourceMappingURL=Utils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Utils.d.ts","sourceRoot":"","sources":["../../src/Utils.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1D,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACxC,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE,GAC1B,CAAC,SAAS,MAAM,GACd;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC/C,CAAC,CAAC;AAER;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,YAAY,CAAC,SAAS,CAAC,EAClC,QAAQ,EAAE,QAAQ,CAAC,cAAc,CAAC,GACjC,YAAY,CA0Bd"}

package/dist/dts/WalletClient.d.ts

@@ -0,0 +1,123 @@
+import { Layer } from "effect";
+import * as Context from "effect/Context";
+import type * as Effect from "effect/Effect";
+import type { Address } from "viem";
+import type * as Domain from "./Domain.js";
+import type { SdkError } from "./Error.js";
+import type { RedeemParams } from "./types.js";
+/**
+ * @category type ids
+ * @since 1.0.0
+ */
+export declare const TypeId: unique symbol;
+/**
+ * @category type ids
+ * @since 1.0.0
+ */
+export type TypeId = typeof TypeId;
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export interface WalletClient {
+    readonly [TypeId]: TypeId;
+    /**
+     * Approve the ZAsset for the provided ERC20 token to spend the ERC20.
+     *
+     * The ZAsset address is derived from Z_ASSET_REGISTRY.
+     */
+    readonly approveZAssetToSpendErc20: (args: WalletClient.ApproveZAssetToSpendErc20) => Effect.Effect<Domain.PreparedRequest, SdkError, never>;
+    /**
+     * Deposit ("wrap") the ERC20 into it's ZAsset.
+     *
+     * The ZAsset address is derived from Z_ASSET_REGISTRY.
+     */
+    readonly depositUnderlyingZAsset: (args: WalletClient.DepositUnderlyingZAsset) => Effect.Effect<Domain.PreparedRequest, SdkError, never>;
+    /**
+     * Transfer the deposited ZAssset to the provided deposit address.
+     *
+     * The ZAsset address is derived from Z_ASSET_REGISTRY.
+     */
+    readonly transferZAsset: (args: WalletClient.TransferZAsset) => Effect.Effect<Domain.PreparedRequest, SdkError, never>;
+    readonly updateLoopbackClient: (args: WalletClient.UpdateLoopbackClient) => Effect.Effect<Domain.PreparedRequest, SdkError, never>;
+    readonly prepareDeposit: (args: WalletClient.Deposit) => Effect.Effect<Domain.PreparedRequests, SdkError, never>;
+    readonly prepareRedemption: (args: WalletClient.Redeem) => Effect.Effect<Domain.PreparedRequest, SdkError, never>;
+    readonly sign: (request: Domain.PreparedRequest) => Effect.Effect<Domain.SignedRequest, SdkError, never>;
+    readonly submit: (request: Domain.SignedRequest) => Effect.Effect<Domain.SubmissionResult, SdkError, never>;
+    readonly signAndSubmit: (request: Domain.PreparedRequest) => Effect.Effect<Domain.SubmissionResult, SdkError, never>;
+}
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export declare const WalletClient: Context.Tag<WalletClient, WalletClient>;
+declare const SourceWalletClient_base: Context.TagClass<SourceWalletClient, "SourceWalletClient", WalletClient>;
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export declare class SourceWalletClient extends SourceWalletClient_base {
+    static layer: <E, R>(layer: Layer.Layer<WalletClient, E, R>) => Layer.Layer<SourceWalletClient, E, R>;
+}
+declare const DestinationWalletClient_base: Context.TagClass<DestinationWalletClient, "DestinationWalletClient", WalletClient>;
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export declare class DestinationWalletClient extends DestinationWalletClient_base {
+    static layer: <E, R>(layer: Layer.Layer<WalletClient, E, R>) => Layer.Layer<DestinationWalletClient, E, R>;
+}
+/**
+ * @category models
+ * @since 1.0.0
+ */
+export declare namespace WalletClient {
+    /**
+     * @category models
+     * @since 1.0.0
+     */
+    interface MakeOptions {
+        readonly sign: WalletClient["sign"];
+        readonly submit: WalletClient["submit"];
+        readonly signAndSubmit: WalletClient["signAndSubmit"];
+        readonly approveZAssetToSpendErc20: WalletClient["approveZAssetToSpendErc20"];
+        readonly depositUnderlyingZAsset: WalletClient["depositUnderlyingZAsset"];
+        readonly transferZAsset: WalletClient["transferZAsset"];
+        readonly updateLoopbackClient: WalletClient["updateLoopbackClient"];
+        readonly prepareDeposit: WalletClient["prepareDeposit"];
+        readonly prepareRedemption: WalletClient["prepareRedemption"];
+    }
+    interface ApproveZAssetToSpendErc20 {
+        srcErc20Address: Domain.Erc20Address;
+        amount: bigint;
+    }
+    interface UpdateLoopbackClient {
+        clientId: number;
+        height: bigint;
+        ibcHandlerAddress: Domain.IbcHandlerAddress;
+    }
+    interface DepositUnderlyingZAsset {
+        srcErc20Address: Domain.Erc20Address;
+        amount: bigint;
+    }
+    interface TransferZAsset {
+        srcErc20Address: Domain.Erc20Address;
+        depositAddress: `0x${string}`;
+        amount: bigint;
+    }
+    type Deposit = {
+        srcErc20Address: Domain.Erc20Address;
+        sourceChainId: bigint;
+        readonly beneficiaries: ReadonlyArray<Address>;
+        depositAddress: Domain.ZAssetAddress;
+        destinationChainId: bigint;
+        amount: bigint;
+    };
+    type Redeem = {
+        dstErc20Address: Domain.Erc20Address;
+        unwrap?: boolean | undefined;
+    } & RedeemParams;
+}
+export declare const make: (options: WalletClient.MakeOptions) => Effect.Effect<WalletClient, never, never>;
+export {};
+//# sourceMappingURL=WalletClient.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"WalletClient.d.ts","sourceRoot":"","sources":["../../src/WalletClient.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AACpC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAwB,CAAC;AAErD;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,yBAAyB,EAAE,CAClC,IAAI,EAAE,YAAY,CAAC,yBAAyB,KACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE5D;;;;OAIG;IACH,QAAQ,CAAC,uBAAuB,EAAE,CAChC,IAAI,EAAE,YAAY,CAAC,uBAAuB,KACvC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE5D;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,CACvB,IAAI,EAAE,YAAY,CAAC,cAAc,KAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE5D,QAAQ,CAAC,oBAAoB,EAAE,CAC7B,IAAI,EAAE,YAAY,CAAC,oBAAoB,KACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE5D,QAAQ,CAAC,cAAc,EAAE,CACvB,IAAI,EAAE,YAAY,CAAC,OAAO,KACvB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE7D,QAAQ,CAAC,iBAAiB,EAAE,CAC1B,IAAI,EAAE,YAAY,CAAC,MAAM,KACtB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE5D,QAAQ,CAAC,IAAI,EAAE,CACb,OAAO,EAAE,MAAM,CAAC,eAAe,KAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAG1D,QAAQ,CAAC,MAAM,EAAE,CACf,OAAO,EAAE,MAAM,CAAC,aAAa,KAC1B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE7D,QAAQ,CAAC,aAAa,EAAE,CACtB,OAAO,EAAE,MAAM,CAAC,eAAe,KAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;CAC9D;AAED;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAC7C,CAAC;;AAErB;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAGrC;IACD,MAAM,CAAC,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,2CACO;CACpE;;AAED;;;GAGG;AACH,qBAAa,uBAAwB,SAAQ,4BAEH;IACxC,MAAM,CAAC,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,gDACY;CACzE;AAED;;;GAGG;AACH,yBAAiB,YAAY,CAAC;IAC5B;;;OAGG;IACH,UAAiB,WAAW;QAC1B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC;QACxC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC,eAAe,CAAC,CAAC;QACtD,QAAQ,CAAC,yBAAyB,EAAE,YAAY,CAAC,2BAA2B,CAAC,CAAC;QAC9E,QAAQ,CAAC,uBAAuB,EAAE,YAAY,CAAC,yBAAyB,CAAC,CAAC;QAC1E,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC,gBAAgB,CAAC,CAAC;QACxD,QAAQ,CAAC,oBAAoB,EAAE,YAAY,CAAC,sBAAsB,CAAC,CAAC;QACpE,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC,gBAAgB,CAAC,CAAC;QACxD,QAAQ,CAAC,iBAAiB,EAAE,YAAY,CAAC,mBAAmB,CAAC,CAAC;KAC/D;IAED,UAAiB,yBAAyB;QACxC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;QACrC,MAAM,EAAE,MAAM,CAAC;KAChB;IAED,UAAiB,oBAAoB;QACnC,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC;KAC7C;IAED,UAAiB,uBAAuB;QACtC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;QACrC,MAAM,EAAE,MAAM,CAAC;KAChB;IAED,UAAiB,cAAc;QAC7B,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;QACrC,cAAc,EAAE,KAAK,MAAM,EAAE,CAAC;QAC9B,MAAM,EAAE,MAAM,CAAC;KAChB;IAED,KAAY,OAAO,GAAG;QACpB,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;QACrC,aAAa,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QAC/C,cAAc,EAAE,MAAM,CAAC,aAAa,CAAC;QACrC,kBAAkB,EAAE,MAAM,CAAC;QAC3B,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IAEF,KAAY,MAAM,GAAG;QACnB,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;QACrC,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;KAC9B,GAAG,YAAY,CAAC;CAClB;AAED,eAAO,MAAM,IAAI,EAAE,CACjB,OAAO,EAAE,YAAY,CAAC,WAAW,KAC9B,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,KAAK,CAAiB,CAAC"}