@unionlabs/payments 0.2.1 → 0.3.1

package/dist/dts/Domain.d.ts

@@ -3,124 +3,153 @@ import type * as A from "effect/Array";
 import * as Data from "effect/Data";
 import * as S from "effect/Schema";
 import type * as Viem from "viem";
-export type RequestKind = "approval" | "deposit" | "transfer";
+export declare const UniversalChainId: S.brand<S.filter<typeof S.String>, "UniversalChainId">;
+export type UniversalChainId = typeof UniversalChainId.Type;
 export type PreparedRequest = Data.TaggedEnum<{
-    viem: {
-        kind: RequestKind;
-        request: Viem.PrepareTransactionRequestReturnType;
+    PreparedEvm: {
+        kind: "Erc20.Approve" | "Erc20.Wrap" | "ZAsset.Transfer" | "LoopbackClient.Update";
+        universalChainId: UniversalChainId;
+        contractAddress: Erc20Address;
+        abi: Viem.Abi;
+        functionName: string;
+        args: ReadonlyArray<unknown>;
     };
 }>;
 export declare const PreparedRequest: {
-    readonly viem: Data.Case.Constructor<{
-        readonly _tag: "viem";
-        readonly kind: RequestKind;
-        readonly request: Viem.PrepareTransactionRequestReturnType;
+    readonly PreparedEvm: Data.Case.Constructor<{
+        readonly _tag: "PreparedEvm";
+        readonly kind: "Erc20.Approve" | "Erc20.Wrap" | "ZAsset.Transfer" | "LoopbackClient.Update";
+        readonly universalChainId: UniversalChainId;
+        readonly contractAddress: Erc20Address;
+        readonly abi: Viem.Abi;
+        readonly functionName: string;
+        readonly args: ReadonlyArray<unknown>;
     }, "_tag">;
-    readonly $is: <Tag extends "viem">(tag: Tag) => (u: unknown) => u is Extract<{
-        readonly _tag: "viem";
-        readonly kind: RequestKind;
-        readonly request: Viem.PrepareTransactionRequestReturnType;
+    readonly $is: <Tag extends "PreparedEvm">(tag: Tag) => (u: unknown) => u is Extract<{
+        readonly _tag: "PreparedEvm";
+        readonly kind: "Erc20.Approve" | "Erc20.Wrap" | "ZAsset.Transfer" | "LoopbackClient.Update";
+        readonly universalChainId: UniversalChainId;
+        readonly contractAddress: Erc20Address;
+        readonly abi: Viem.Abi;
+        readonly functionName: string;
+        readonly args: ReadonlyArray<unknown>;
     }, {
         readonly _tag: Tag;
     }>;
     readonly $match: {
         <const Cases extends {
-            readonly viem: (args: {
-                readonly _tag: "viem";
-                readonly kind: RequestKind;
-                readonly request: Viem.PrepareTransactionRequestReturnType;
+            readonly PreparedEvm: (args: {
+                readonly _tag: "PreparedEvm";
+                readonly kind: "Erc20.Approve" | "Erc20.Wrap" | "ZAsset.Transfer" | "LoopbackClient.Update";
+                readonly universalChainId: UniversalChainId;
+                readonly contractAddress: Erc20Address;
+                readonly abi: Viem.Abi;
+                readonly functionName: string;
+                readonly args: ReadonlyArray<unknown>;
             }) => any;
-        }>(cases: Cases & { [K in Exclude<keyof Cases, "viem">]: never; }): (value: {
-            readonly _tag: "viem";
-            readonly kind: RequestKind;
-            readonly request: Viem.PrepareTransactionRequestReturnType;
-        }) => import("effect/Unify").Unify<ReturnType<Cases["viem"]>>;
+        }>(cases: Cases & { [K in Exclude<keyof Cases, "PreparedEvm">]: never; }): (value: {
+            readonly _tag: "PreparedEvm";
+            readonly kind: "Erc20.Approve" | "Erc20.Wrap" | "ZAsset.Transfer" | "LoopbackClient.Update";
+            readonly universalChainId: UniversalChainId;
+            readonly contractAddress: Erc20Address;
+            readonly abi: Viem.Abi;
+            readonly functionName: string;
+            readonly args: ReadonlyArray<unknown>;
+        }) => import("effect/Unify").Unify<ReturnType<Cases["PreparedEvm"]>>;
         <const Cases extends {
-            readonly viem: (args: {
-                readonly _tag: "viem";
-                readonly kind: RequestKind;
-                readonly request: Viem.PrepareTransactionRequestReturnType;
+            readonly PreparedEvm: (args: {
+                readonly _tag: "PreparedEvm";
+                readonly kind: "Erc20.Approve" | "Erc20.Wrap" | "ZAsset.Transfer" | "LoopbackClient.Update";
+                readonly universalChainId: UniversalChainId;
+                readonly contractAddress: Erc20Address;
+                readonly abi: Viem.Abi;
+                readonly functionName: string;
+                readonly args: ReadonlyArray<unknown>;
             }) => any;
         }>(value: {
-            readonly _tag: "viem";
-            readonly kind: RequestKind;
-            readonly request: Viem.PrepareTransactionRequestReturnType;
-        }, cases: Cases & { [K in Exclude<keyof Cases, "viem">]: never; }): import("effect/Unify").Unify<ReturnType<Cases["viem"]>>;
+            readonly _tag: "PreparedEvm";
+            readonly kind: "Erc20.Approve" | "Erc20.Wrap" | "ZAsset.Transfer" | "LoopbackClient.Update";
+            readonly universalChainId: UniversalChainId;
+            readonly contractAddress: Erc20Address;
+            readonly abi: Viem.Abi;
+            readonly functionName: string;
+            readonly args: ReadonlyArray<unknown>;
+        }, cases: Cases & { [K in Exclude<keyof Cases, "PreparedEvm">]: never; }): import("effect/Unify").Unify<ReturnType<Cases["PreparedEvm"]>>;
     };
 };
 export type PreparedRequests = A.NonEmptyReadonlyArray<PreparedRequest>;
 export type SignedRequest = Data.TaggedEnum<{
-    viem: {
+    SignedEvm: {
         value: Viem.SignTransactionReturnType;
     };
 }>;
 export declare const SignedRequest: {
-    readonly viem: Data.Case.Constructor<{
-        readonly _tag: "viem";
+    readonly SignedEvm: Data.Case.Constructor<{
+        readonly _tag: "SignedEvm";
         readonly value: Viem.SignTransactionReturnType;
     }, "_tag">;
-    readonly $is: <Tag extends "viem">(tag: Tag) => (u: unknown) => u is Extract<{
-        readonly _tag: "viem";
+    readonly $is: <Tag extends "SignedEvm">(tag: Tag) => (u: unknown) => u is Extract<{
+        readonly _tag: "SignedEvm";
         readonly value: Viem.SignTransactionReturnType;
     }, {
         readonly _tag: Tag;
     }>;
     readonly $match: {
         <const Cases extends {
-            readonly viem: (args: {
-                readonly _tag: "viem";
+            readonly SignedEvm: (args: {
+                readonly _tag: "SignedEvm";
                 readonly value: Viem.SignTransactionReturnType;
             }) => any;
-        }>(cases: Cases & { [K in Exclude<keyof Cases, "viem">]: never; }): (value: {
-            readonly _tag: "viem";
+        }>(cases: Cases & { [K in Exclude<keyof Cases, "SignedEvm">]: never; }): (value: {
+            readonly _tag: "SignedEvm";
             readonly value: Viem.SignTransactionReturnType;
-        }) => import("effect/Unify").Unify<ReturnType<Cases["viem"]>>;
+        }) => import("effect/Unify").Unify<ReturnType<Cases["SignedEvm"]>>;
         <const Cases extends {
-            readonly viem: (args: {
-                readonly _tag: "viem";
+            readonly SignedEvm: (args: {
+                readonly _tag: "SignedEvm";
                 readonly value: Viem.SignTransactionReturnType;
             }) => any;
         }>(value: {
-            readonly _tag: "viem";
+            readonly _tag: "SignedEvm";
             readonly value: Viem.SignTransactionReturnType;
-        }, cases: Cases & { [K in Exclude<keyof Cases, "viem">]: never; }): import("effect/Unify").Unify<ReturnType<Cases["viem"]>>;
+        }, cases: Cases & { [K in Exclude<keyof Cases, "SignedEvm">]: never; }): import("effect/Unify").Unify<ReturnType<Cases["SignedEvm"]>>;
     };
 };
 export type SubmissionResult = Data.TaggedEnum<{
-    viemWriteContract: {
+    SubmissionEvm: {
         hash: TxHash;
     };
 }>;
 export declare const SubmissionResult: {
-    readonly viemWriteContract: Data.Case.Constructor<{
-        readonly _tag: "viemWriteContract";
+    readonly SubmissionEvm: Data.Case.Constructor<{
+        readonly _tag: "SubmissionEvm";
         readonly hash: TxHash;
     }, "_tag">;
-    readonly $is: <Tag extends "viemWriteContract">(tag: Tag) => (u: unknown) => u is Extract<{
-        readonly _tag: "viemWriteContract";
+    readonly $is: <Tag extends "SubmissionEvm">(tag: Tag) => (u: unknown) => u is Extract<{
+        readonly _tag: "SubmissionEvm";
         readonly hash: TxHash;
     }, {
         readonly _tag: Tag;
     }>;
     readonly $match: {
         <const Cases extends {
-            readonly viemWriteContract: (args: {
-                readonly _tag: "viemWriteContract";
+            readonly SubmissionEvm: (args: {
+                readonly _tag: "SubmissionEvm";
                 readonly hash: TxHash;
             }) => any;
-        }>(cases: Cases & { [K in Exclude<keyof Cases, "viemWriteContract">]: never; }): (value: {
-            readonly _tag: "viemWriteContract";
+        }>(cases: Cases & { [K in Exclude<keyof Cases, "SubmissionEvm">]: never; }): (value: {
+            readonly _tag: "SubmissionEvm";
             readonly hash: TxHash;
-        }) => import("effect/Unify").Unify<ReturnType<Cases["viemWriteContract"]>>;
+        }) => import("effect/Unify").Unify<ReturnType<Cases["SubmissionEvm"]>>;
         <const Cases extends {
-            readonly viemWriteContract: (args: {
-                readonly _tag: "viemWriteContract";
+            readonly SubmissionEvm: (args: {
+                readonly _tag: "SubmissionEvm";
                 readonly hash: TxHash;
             }) => any;
         }>(value: {
-            readonly _tag: "viemWriteContract";
+            readonly _tag: "SubmissionEvm";
             readonly hash: TxHash;
-        }, cases: Cases & { [K in Exclude<keyof Cases, "viemWriteContract">]: never; }): import("effect/Unify").Unify<ReturnType<Cases["viemWriteContract"]>>;
+        }, cases: Cases & { [K in Exclude<keyof Cases, "SubmissionEvm">]: never; }): import("effect/Unify").Unify<ReturnType<Cases["SubmissionEvm"]>>;
     };
 };
 export declare const CounterpartyInfo: S.Struct<{
@@ -130,12 +159,16 @@ export declare const CounterpartyInfo: S.Struct<{
 export type CounterpartyInfo = typeof CounterpartyInfo.Type;
 export type Erc20Address = `0x${string}` & Brand.Brand<"Erc20Address">;
 export declare const Erc20Address: Brand.Brand.Constructor<Erc20Address>;
-export type IbcHandlerAddress = `0x${string}` & Brand.Brand<"IbcHandlerAddress">;
-export declare const IbcHandlerAddress: Brand.Brand.Constructor<IbcHandlerAddress>;
+export type IbcCoreAddress = `0x${string}` & Brand.Brand<"IbcCoreAddress">;
+export declare const IbcCoreAddress: Brand.Brand.Constructor<IbcCoreAddress>;
 export type LightClientAddress = `0x${string}` & Brand.Brand<"LightClientAddress">;
 export declare const LightClientAddress: Brand.Brand.Constructor<LightClientAddress>;
 export type TxHash = `0x${string}` & Brand.Brand<"TxHash">;
 export declare const TxHash: Brand.Brand.Constructor<TxHash>;
 export type ZAssetAddress = `0x${string}` & Brand.Brand<"ZAssetAddress">;
 export declare const ZAssetAddress: Brand.Brand.Constructor<ZAssetAddress>;
+export type PaymentKey = `0x${string}` & Brand.Brand<"PaymentKey">;
+export declare const PaymentKey: Brand.Brand.Constructor<PaymentKey>;
+export type Nullifier = bigint & Brand.Brand<"Nullifier">;
+export declare const Nullifier: Brand.Brand.Constructor<Nullifier>;
 //# sourceMappingURL=Domain.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Domain.d.ts","sourceRoot":"","sources":["../../src/Domain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,KAAK,CAAC,MAAM,cAAc,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,CAAC,MAAM,eAAe,CAAC;AACnC,OAAO,KAAK,KAAK,IAAI,MAAM,MAAM,CAAC;AAGlC,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC;AAE9D,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC;IAC5C,IAAI,EAAE;QACJ,IAAI,EAAE,WAAW,CAAC;QAClB,OAAO,EAAE,IAAI,CAAC,mCAAmC,CAAC;KACnD,CAAC;CACH,CAAC,CAAC;AACH,eAAO,MAAM,eAAe;;;uBAJlB,WAAW;0BACR,IAAI,CAAC,mCAAmC;;;;uBAD3C,WAAW;;;;;;;;;+BAAX,WAAW;;;;;2BAAX,WAAW;;;;;;+BAAX,WAAW;;;;;2BAAX,WAAW;;;;CAI4C,CAAC;AAElE,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,qBAAqB,CAAC,eAAe,CAAC,CAAC;AAExE,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1C,IAAI,EAAE;QACJ,KAAK,EAAE,IAAI,CAAC,yBAAyB,CAAC;KACvC,CAAC;CACH,CAAC,CAAC;AACH,eAAO,MAAM,aAAa;;;wBAHf,IAAI,CAAC,yBAAyB;;;;wBAA9B,IAAI,CAAC,yBAAyB;;;;;;;;gCAA9B,IAAI,CAAC,yBAAyB;;;;4BAA9B,IAAI,CAAC,yBAAyB;;;;;gCAA9B,IAAI,CAAC,yBAAyB;;;;4BAA9B,IAAI,CAAC,yBAAyB;;;CAGoB,CAAC;AAE9D,MAAM,MAAM,gBAAgB,GAAG,IAAI,CAAC,UAAU,CAAC;IAC7C,iBAAiB,EAAE;QACjB,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH,CAAC,CAAC;AAEH,eAAO,MAAM,gBAAgB;;;uBAJnB,MAAM;;;;uBAAN,MAAM;;;;;;;;+BAAN,MAAM;;;;2BAAN,MAAM;;;;;+BAAN,MAAM;;;;2BAAN,MAAM;;;CAImD,CAAC;AAEpE,eAAO,MAAM,gBAAgB;;;EAG3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;AAE5D,MAAM,MAAM,YAAY,GAAG,KAAK,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;AACvE,eAAO,MAAM,YAAY,uCAAgC,CAAC;AAC1D,MAAM,MAAM,iBAAiB,GAAG,KAAK,MAAM,EAAE,GAC3C,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;AACnC,eAAO,MAAM,iBAAiB,4CAAqC,CAAC;AACpE,MAAM,MAAM,kBAAkB,GAAG,KAAK,MAAM,EAAE,GAC5C,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;AACpC,eAAO,MAAM,kBAAkB,6CAAsC,CAAC;AACtE,MAAM,MAAM,MAAM,GAAG,KAAK,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAC3D,eAAO,MAAM,MAAM,iCAA0B,CAAC;AAC9C,MAAM,MAAM,aAAa,GAAG,KAAK,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;AACzE,eAAO,MAAM,aAAa,wCAAiC,CAAC"}
+{"version":3,"file":"Domain.d.ts","sourceRoot":"","sources":["../../src/Domain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,KAAK,CAAC,MAAM,cAAc,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AAEpC,OAAO,KAAK,CAAC,MAAM,eAAe,CAAC;AACnC,OAAO,KAAK,KAAK,IAAI,MAAM,MAAM,CAAC;AAGlC,eAAO,MAAM,gBAAgB,wDAQ5B,CAAC;AACF,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;AAE5D,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC;IAC5C,WAAW,EAAE;QACX,IAAI,EACA,eAAe,GACf,YAAY,GACZ,iBAAiB,GACjB,uBAAuB,CAAC;QAC5B,gBAAgB,EAAE,gBAAgB,CAAC;QACnC,eAAe,EAAE,YAAY,CAAC;QAC9B,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;QACd,YAAY,EAAE,MAAM,CAAC;QACrB,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;KAC9B,CAAC;CACH,CAAC,CAAC;AACH,eAAO,MAAM,eAAe;;;uBAXpB,eAAe,GACf,YAAY,GACZ,iBAAiB,GACjB,uBAAuB;mCACT,gBAAgB;kCACjB,YAAY;sBACxB,IAAI,CAAC,GAAG;+BACC,MAAM;uBACd,aAAa,CAAC,OAAO,CAAC;;;;uBARxB,eAAe,GACf,YAAY,GACZ,iBAAiB,GACjB,uBAAuB;mCACT,gBAAgB;kCACjB,YAAY;sBACxB,IAAI,CAAC,GAAG;+BACC,MAAM;uBACd,aAAa,CAAC,OAAO,CAAC;;;;;;;;+BARxB,eAAe,GACf,YAAY,GACZ,iBAAiB,GACjB,uBAAuB;2CACT,gBAAgB;0CACjB,YAAY;8BACxB,IAAI,CAAC,GAAG;uCACC,MAAM;+BACd,aAAa,CAAC,OAAO,CAAC;;;;2BARxB,eAAe,GACf,YAAY,GACZ,iBAAiB,GACjB,uBAAuB;uCACT,gBAAgB;sCACjB,YAAY;0BACxB,IAAI,CAAC,GAAG;mCACC,MAAM;2BACd,aAAa,CAAC,OAAO,CAAC;;;;;+BARxB,eAAe,GACf,YAAY,GACZ,iBAAiB,GACjB,uBAAuB;2CACT,gBAAgB;0CACjB,YAAY;8BACxB,IAAI,CAAC,GAAG;uCACC,MAAM;+BACd,aAAa,CAAC,OAAO,CAAC;;;;2BARxB,eAAe,GACf,YAAY,GACZ,iBAAiB,GACjB,uBAAuB;uCACT,gBAAgB;sCACjB,YAAY;0BACxB,IAAI,CAAC,GAAG;mCACC,MAAM;2BACd,aAAa,CAAC,OAAO,CAAC;;;CAGiC,CAAC;AAElE,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,qBAAqB,CAAC,eAAe,CAAC,CAAC;AAExE,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1C,SAAS,EAAE;QACT,KAAK,EAAE,IAAI,CAAC,yBAAyB,CAAC;KACvC,CAAC;CACH,CAAC,CAAC;AACH,eAAO,MAAM,aAAa;;;wBAHf,IAAI,CAAC,yBAAyB;;;;wBAA9B,IAAI,CAAC,yBAAyB;;;;;;;;gCAA9B,IAAI,CAAC,yBAAyB;;;;4BAA9B,IAAI,CAAC,yBAAyB;;;;;gCAA9B,IAAI,CAAC,yBAAyB;;;;4BAA9B,IAAI,CAAC,yBAAyB;;;CAGoB,CAAC;AAE9D,MAAM,MAAM,gBAAgB,GAAG,IAAI,CAAC,UAAU,CAAC;IAC7C,aAAa,EAAE;QACb,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH,CAAC,CAAC;AAEH,eAAO,MAAM,gBAAgB;;;uBAJnB,MAAM;;;;uBAAN,MAAM;;;;;;;;+BAAN,MAAM;;;;2BAAN,MAAM;;;;;+BAAN,MAAM;;;;2BAAN,MAAM;;;CAImD,CAAC;AAEpE,eAAO,MAAM,gBAAgB;;;EAG3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;AAE5D,MAAM,MAAM,YAAY,GAAG,KAAK,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;AACvE,eAAO,MAAM,YAAY,uCAAgC,CAAC;AAC1D,MAAM,MAAM,cAAc,GAAG,KAAK,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAC3E,eAAO,MAAM,cAAc,yCAAkC,CAAC;AAC9D,MAAM,MAAM,kBAAkB,GAAG,KAAK,MAAM,EAAE,GAC5C,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;AACpC,eAAO,MAAM,kBAAkB,6CAAsC,CAAC;AACtE,MAAM,MAAM,MAAM,GAAG,KAAK,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAC3D,eAAO,MAAM,MAAM,iCAA0B,CAAC;AAC9C,MAAM,MAAM,aAAa,GAAG,KAAK,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;AACzE,eAAO,MAAM,aAAa,wCAAiC,CAAC;AAC5D,MAAM,MAAM,UAAU,GAAG,KAAK,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;AACnE,eAAO,MAAM,UAAU,qCAA8B,CAAC;AACtD,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;AAC1D,eAAO,MAAM,SAAS,oCAA6B,CAAC"}

package/dist/dts/Error.d.ts

@@ -57,7 +57,7 @@ export declare class BadArgument extends BadArgument_base {
  * @since 1.0.0
  * @category Model
  */
-export declare const SystemErrorReason: Schema.Literal<["DynamicImport", "ReadContract", "InvalidData", "SimulateCalls"]>;
+export declare const SystemErrorReason: Schema.Literal<["DynamicImport", "ReadContract", "InvalidData", "SimulateCalls", "Crypto"]>;
 /**
  * @since 1.0.0
  * @category Model
@@ -66,7 +66,7 @@ export type SystemErrorReason = typeof SystemErrorReason.Type;
 declare const SystemError_base: Schema.TaggedErrorClass<SystemError, "SystemError", {
     readonly _tag: Schema.tag<"SystemError">;
 } & {
-    reason: Schema.Literal<["DynamicImport", "ReadContract", "InvalidData", "SimulateCalls"]>;
+    reason: Schema.Literal<["DynamicImport", "ReadContract", "InvalidData", "SimulateCalls", "Crypto"]>;
     module: Schema.Literal<["EvmWalletClient", "EvmPublicClient", "PaymentClient", "Prover", "Attestor", "IbcCoreRegistry"]>;
     method: typeof Schema.String;
     description: Schema.optional<typeof Schema.String>;

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

@@ -1 +1 @@
-{"version":3,"file":"Error.d.ts","sourceRoot":"","sources":["../../src/Error.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAG3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAgD,CAAC;AAE7E;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,QACX,CAAC;AAEnC;;;GAGG;AACH,eAAO,MAAM,WAAW,GACtB,KAAK,CAAC,MAAM,SAAS,MAAM,EAC3B,KAAK,CAAC,GAAG,SAAS,MAAM,EAExB,QAAQ,MAAM,EACd,KAAK,GAAG,KACP,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACpC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KACd,KAAK,CAAC,cAAc,GACvB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAO9D,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,MAAM,kHAclB,CAAC;;;;;;;;;AAEF;;;GAGG;AACH,qBAAa,WAAY,SAAQ,gBAO/B;IACA;;OAEG;IACH,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAU;IAE1C;;OAEG;IACH,IAAI,OAAO,IAAI,MAAM,CAEpB;CACF;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,mFAc7B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAC;;;;;;;;;;;;AAE9D;;;GAGG;AACH,qBAAa,WAAY,SAAQ,gBAU/B;IACA;;OAEG;IACH,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAU;IAE1C;;OAEG;IACH,IAAI,OAAO,IAAI,MAAM,CAIpB;CACF;AAED;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;AAEjD;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,WAAW,EAAE,OAAO,WAAW,CAAC,CACpC,CAAC"}
+{"version":3,"file":"Error.d.ts","sourceRoot":"","sources":["../../src/Error.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAG3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAE7C;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAgD,CAAC;AAE7E;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,QACX,CAAC;AAEnC;;;GAGG;AACH,eAAO,MAAM,WAAW,GACtB,KAAK,CAAC,MAAM,SAAS,MAAM,EAC3B,KAAK,CAAC,GAAG,SAAS,MAAM,EAExB,QAAQ,MAAM,EACd,KAAK,GAAG,KACP,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACpC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KACd,KAAK,CAAC,cAAc,GACvB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAO9D,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,MAAM,kHAclB,CAAC;;;;;;;;;AAEF;;;GAGG;AACH,qBAAa,WAAY,SAAQ,gBAO/B;IACA;;OAEG;IACH,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAU;IAE1C;;OAEG;IACH,IAAI,OAAO,IAAI,MAAM,CAEpB;CACF;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,6FAe7B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAC;;;;;;;;;;;;AAE9D;;;GAGG;AACH,qBAAa,WAAY,SAAQ,gBAU/B;IACA;;OAEG;IACH,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,MAAM,CAAU;IAE1C;;OAEG;IACH,IAAI,OAAO,IAAI,MAAM,CAIpB;CACF;AAED;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;AAEjD;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,WAAW,EAAE,OAAO,WAAW,CAAC,CACpC,CAAC"}

package/dist/dts/EvmPublicClient.d.ts

@@ -2,26 +2,26 @@ import * as Context from "effect/Context";
 import * as Effect from "effect/Effect";
 import * as Layer from "effect/Layer";
 import type * as Viem from "viem";
-import type { TxHash } from "./Domain.js";
-import * as Error from "./Error.js";
+import type * as Domain from "./Domain.js";
+import type * as Error from "./Error.js";
 import * as Client from "./PublicClient.js";
 /**
+ * @since 0.0.0
  * @category type ids
- * @since 1.0.0
  */
-export declare const TypeId: TypeId;
+export declare const TypeId: unique symbol;
 /**
+ * @since 0.0.0
  * @category type ids
- * @since 1.0.0
  */
-export type TypeId = "@unionlabs/payments/EvmPublicClient";
+export type TypeId = typeof TypeId;
 /**
  * @category models
  * @since 1.0.0
  */
 export interface EvmPublicClient extends Client.PublicClient {
     readonly [TypeId]: TypeId;
-    readonly waitForTransactionReceipt: (hash: TxHash) => Effect.Effect<Viem.TransactionReceipt, Error.SdkError, never>;
+    readonly waitForTransactionReceipt: (hash: Domain.TxHash) => Effect.Effect<Viem.TransactionReceipt, Error.SdkError, never>;
     readonly simulateCalls: (params: {
         calls: Array<{
             to: `0x${string}`;
@@ -41,18 +41,6 @@ export declare const EvmPublicClient: Context.Tag<EvmPublicClient, EvmPublicClie
  * @since 1.0.0
  */
 export type EvmPublicClientConfig = {};
-/**
- * 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 PublicClient 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: (client: Viem.PublicClient) => Effect.Effect<EvmPublicClient, Error.SdkError, never>;
 /**
  * @category layers
  * @since 1.0.0

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

@@ -1 +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"}
+{"version":3,"file":"EvmPublicClient.d.ts","sourceRoot":"","sources":["../../src/EvmPublicClient.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,KAAK,IAAI,MAAM,MAAM,CAAC;AAClC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAC;AAEzC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAE5C;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAwB,CAAC;AAErD;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC;;;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,CAAC,MAAM,KAChB,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;AAEvC;;;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

@@ -2,32 +2,28 @@ 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 type * as Domain from "./Domain.js";
+import type * as Error from "./Error.js";
 import * as Client from "./WalletClient.js";
 /**
+ * @since 0.0.0
  * @category type ids
- * @since 1.0.0
  */
-export declare const TypeId: TypeId;
+export declare const TypeId: unique symbol;
 /**
+ * @since 0.0.0
  * @category type ids
- * @since 1.0.0
  */
-export type TypeId = "@unionlabs/payments/EvmWalletClient";
+export type TypeId = typeof TypeId;
 /**
  * @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>;
+    readonly prepareBatchTransactionRequest: (requests: ReadonlyArray<Domain.PreparedRequest>) => Effect.Effect<ReadonlyArray<Viem.PrepareTransactionRequestReturnType>, Error.SdkError, never>;
 }
 /**
  * @category tags
@@ -39,18 +35,6 @@ export declare const EvmWalletClient: Context.Tag<EvmWalletClient, EvmWalletClie
  * @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

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

@@ -1 +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"}
+{"version":3,"file":"EvmWalletClient.d.ts","sourceRoot":"","sources":["../../src/EvmWalletClient.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,KAAK,CAAC,MAAM,kBAAkB,CAAC;AAC3C,OAAO,KAAK,KAAK,IAAI,MAAM,MAAM,CAAC;AAClC,OAAO,KAAK,KAAK,IAAI,MAAM,MAAM,CAAC;AAClC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAC;AAEzC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAE5C;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAwB,CAAC;AAErD;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,MAAM,CAAC,YAAY;IAC1D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,8BAA8B,EAAE,CACvC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,eAAe,CAAC,KAC5C,MAAM,CAAC,MAAM,CAChB,aAAa,CAAC,IAAI,CAAC,mCAAmC,CAAC,EACvD,KAAK,CAAC,QAAQ,EACd,KAAK,CACN,CAAC;CACH;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,+CAE3B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAEvC;;;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;AAEJ;;;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,CAOlE,CAAC"}

package/dist/dts/Payment.d.ts

@@ -3,9 +3,9 @@
  * - for redemptions you need wallet on dest chain
  */
 import { Effect } from "effect";
+import * as Layer from "effect/Layer";
 import { type Address } from "viem";
-import * as Attestor from "./Attestor.js";
-import type { Erc20Address } from "./Domain.js";
+import type * as Attestor from "./Attestor.js";
 import * as Domain from "./Domain.js";
 import * as Error from "./Error.js";
 import * as Prover from "./Prover.js";
@@ -17,15 +17,11 @@ 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>;
+    readonly depositAddress: DepositAddress;
     /** Amount to deposit (in underlying token's smallest unit) */
     readonly amount: bigint;
-    readonly destinationChainId: bigint;
-    readonly sourceChainId: bigint;
     readonly srcErc20Address: Domain.Erc20Address;
+    readonly destinationChainId: Domain.UniversalChainId;
 }
 /**
  * @public
@@ -46,8 +42,29 @@ export interface RedeemOptions {
     /** 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>;
+export interface DepositAddress {
+    readonly beneficiaries: [
+        Domain.Erc20Address,
+        Domain.Erc20Address,
+        Domain.Erc20Address,
+        Domain.Erc20Address
+    ];
+    readonly zAssetAddress: Domain.ZAssetAddress;
+    readonly destinationChainId: Domain.UniversalChainId;
+}
+export declare const getDepositAddress: (options: {
+    paymentKey: Domain.PaymentKey;
+    beneficiaries: ReadonlyArray<Domain.Erc20Address>;
+    destinationChainId: Domain.UniversalChainId;
+}) => Effect.Effect<{
+    beneficiaries: [Domain.Erc20Address, Domain.Erc20Address, Domain.Erc20Address, Domain.Erc20Address];
+    zAssetAddress: Domain.ZAssetAddress;
+    destinationChainId: string & import("effect/Brand").Brand<"UniversalChainId">;
+}, Error.SdkError, never>;
+export declare const getNullifier: (options: {
+    paymentKey: Domain.PaymentKey;
+    destinationChainId: Domain.UniversalChainId;
+}) => Effect.Effect<Domain.Nullifier, Error.SdkError, never>;
 /**
  * Deterministically shuffle light clients using the secret as seed.
  * Same secret always produces the same ordering for privacy.
@@ -55,74 +72,58 @@ export declare const getNullifier: (secret: `0x${string}`, destinationChainId: b
  */
 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;
+export interface Proof {
+    proof: Prover.Proof;
+    metadata: {
+        depositAddress: Domain.ZAssetAddress;
+        beneficiary: Domain.Erc20Address;
+        value: bigint;
+        lightClients: LightClientData[];
+        nullifier: Domain.Nullifier;
     };
-}, 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 */
+}
+export declare const generateProof: (options: {
+    paymentKey: Domain.PaymentKey;
+    beneficiary: Domain.Erc20Address;
     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;
+    nullifier: Domain.Nullifier;
+    depositAddress: DepositAddress;
+    srcChainId: Domain.UniversalChainId;
     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>;
+}) => Effect.Effect<Proof, Error.SdkError, PublicClient.SourcePublicClient | PublicClient.DestinationPublicClient | PublicClient.PublicClient | Prover.Prover>;
+export declare const prepareRedemption: (options: {
+    universalChainId: Domain.UniversalChainId;
+    dstErc20Address: Domain.Erc20Address;
+    attestation: Attestor.Attestation;
+    proof: Proof;
+}) => Effect.Effect<Domain.PreparedRequest, Error.SdkError, WalletClient.DestinationWalletClient>;
+export declare const generateKey: Effect.Effect<Domain.PaymentKey, Error.SdkError>;
 export declare const prepareDeposit: (options: DepositOptions) => Effect.Effect<readonly [{
-    readonly _tag: "viem";
-    readonly kind: Domain.RequestKind;
-    readonly request: import("viem").PrepareTransactionRequestReturnType;
+    readonly _tag: "PreparedEvm";
+    readonly kind: "Erc20.Approve" | "Erc20.Wrap" | "ZAsset.Transfer" | "LoopbackClient.Update";
+    readonly universalChainId: Domain.UniversalChainId;
+    readonly contractAddress: Domain.Erc20Address;
+    readonly abi: import("viem").Abi;
+    readonly functionName: string;
+    readonly args: ReadonlyArray<unknown>;
 }, ...{
-    readonly _tag: "viem";
-    readonly kind: Domain.RequestKind;
-    readonly request: import("viem").PrepareTransactionRequestReturnType;
+    readonly _tag: "PreparedEvm";
+    readonly kind: "Erc20.Approve" | "Erc20.Wrap" | "ZAsset.Transfer" | "LoopbackClient.Update";
+    readonly universalChainId: Domain.UniversalChainId;
+    readonly contractAddress: Domain.Erc20Address;
+    readonly abi: import("viem").Abi;
+    readonly functionName: string;
+    readonly args: ReadonlyArray<unknown>;
 }[]], Error.SdkError, WalletClient.SourceWalletClient>;
+/**
+ * @category layers
+ * @since 1.0.0
+ */
+export declare const layerSingleChain: <E1, E2, R1 = never, R2 = never>(options: {
+    walletClient: Layer.Layer<WalletClient.WalletClient, E1, R1>;
+    publicClient: Layer.Layer<PublicClient.PublicClient, E2, R2>;
+}) => Layer.Layer<WalletClient.SourceWalletClient | WalletClient.DestinationWalletClient | WalletClient.WalletClient | PublicClient.SourcePublicClient | PublicClient.DestinationPublicClient | PublicClient.PublicClient, E1 | E2 | Error.SdkError, R1 | R2>;
 //# sourceMappingURL=Payment.d.ts.map

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

@@ -1 +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"}
+{"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,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,EACL,KAAK,OAAO,EAQb,MAAM,MAAM,CAAC;AACd,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAC;AAI/C,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,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC,gBAAgB,CAAC;CACtD;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,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,aAAa,EAAE;QACtB,MAAM,CAAC,YAAY;QACnB,MAAM,CAAC,YAAY;QACnB,MAAM,CAAC,YAAY;QACnB,MAAM,CAAC,YAAY;KACpB,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC;IAC7C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC,gBAAgB,CAAC;CACtD;AAED,eAAO,MAAM,iBAAiB;gBAEd,MAAM,CAAC,UAAU;mBACd,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC;wBAC7B,MAAM,CAAC,gBAAgB;;;;;yBA0B9C,CAAC;AA8BF,eAAO,MAAM,YAAY,EAAE,CAAC,OAAO,EAAE;IACnC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;IAC9B,kBAAkB,EAAE,MAAM,CAAC,gBAAgB,CAAC;CAC7C,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAqB1D,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,MAAM,WAAW,KAAK;IACpB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;IACpB,QAAQ,EAAE;QACR,cAAc,EAAE,MAAM,CAAC,aAAa,CAAC;QACrC,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC;QACjC,KAAK,EAAE,MAAM,CAAC;QACd,YAAY,EAAE,eAAe,EAAE,CAAC;QAChC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC;KAC7B,CAAC;CACH;AAED,eAAO,MAAM,aAAa,EAAE,CAAC,OAAO,EAAE;IACpC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC;IAC5B,cAAc,EAAE,cAAc,CAAC;IAC/B,UAAU,EAAE,MAAM,CAAC,gBAAgB,CAAC;IACpC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;IACrC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;CACtC,KAAK,MAAM,CAAC,MAAM,CACjB,KAAK,EACL,KAAK,CAAC,QAAQ,EACZ,YAAY,CAAC,kBAAkB,GAC/B,YAAY,CAAC,uBAAuB,GACpC,YAAY,CAAC,YAAY,GACzB,MAAM,CAAC,MAAM,CAyKf,CAAC;AAqCH,eAAO,MAAM,iBAAiB,EAAE,CAAC,OAAO,EAAE;IACxC,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC;IACrC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC;IAClC,KAAK,EAAE,KAAK,CAAC;CACd,KAAK,MAAM,CAAC,MAAM,CACjB,MAAM,CAAC,eAAe,EACtB,KAAK,CAAC,QAAQ,EACd,YAAY,CAAC,uBAAuB,CAqBpC,CAAC;AAEH,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CA4BrE,CAAC;AAEL,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;sDAY1B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,SAAS;IACxE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7D,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;CAC9D,KAAG,KAAK,CAAC,KAAK,CACX,YAAY,CAAC,kBAAkB,GAC/B,YAAY,CAAC,uBAAuB,GACpC,YAAY,CAAC,YAAY,GACzB,YAAY,CAAC,kBAAkB,GAC/B,YAAY,CAAC,uBAAuB,GACpC,YAAY,CAAC,YAAY,EAC3B,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,QAAQ,EACxB,EAAE,GAAG,EAAE,CASN,CAAC"}

package/dist/dts/Prover.d.ts

@@ -6,6 +6,12 @@ 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";
+export declare const Options: S.Struct<{
+    proverUrl: S.optionalWith<S.Union<[typeof S.URLFromSelf, typeof S.URL]>, {
+        default: () => URL;
+    }>;
+}>;
+export type Options = typeof Options.Type;
 /**
  * Result from the prover server after proof generation.
  * @public