@helios-lang/effect 0.6.13 → 0.6.15

package/types/Cardano/Uplc/Term.d.ts

@@ -17,6 +17,8 @@ export type SourceSpan = Schema.Schema.Type<typeof SourceSpan>;
 export declare const Apply: Schema.TaggedStruct<"Apply", {
     fn: Schema.suspend<Term, Term, never>;
     arg: Schema.suspend<Term, Term, never>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -33,11 +35,15 @@ export type Apply = {
     _tag: "Apply";
     fn: Term;
     arg: Term;
+    capture?: string | undefined;
+    description?: string | undefined;
     sourceSpan?: SourceSpan | undefined;
 };
 declare const Builtin$: Schema.TaggedStruct<"Builtin", {
     id: typeof Schema.Int;
     name: Schema.optional<typeof Schema.String>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -50,11 +56,20 @@ declare const Builtin$: Schema.TaggedStruct<"Builtin", {
         }>>;
     }>>;
 }>;
-type Builtin$ = Schema.Schema.Type<typeof Builtin$>;
+type Builtin$ = {
+    _tag: "Builtin";
+    id: number;
+    name?: string | undefined;
+    capture?: string | undefined;
+    description?: string | undefined;
+    sourceSpan?: SourceSpan | undefined;
+};
 export { Builtin$ as Builtin };
 export declare const Case: Schema.TaggedStruct<"Case", {
     arg: Schema.suspend<Term, Term, never>;
     cases: Schema.Array$<Schema.suspend<Term, Term, never>>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -71,6 +86,8 @@ export type Case = {
     _tag: "Case";
     arg: Term;
     cases: readonly Term[];
+    capture?: string | undefined;
+    description?: string | undefined;
     sourceSpan?: SourceSpan | undefined;
 };
 export declare const Const: Schema.TaggedStruct<"Const", {
@@ -118,6 +135,8 @@ export declare const Const: Schema.TaggedStruct<"Const", {
         mlResult: Schema.Tuple2<Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>, Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>>;
     }>]>;
     name: Schema.optional<typeof Schema.String>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -130,10 +149,19 @@ export declare const Const: Schema.TaggedStruct<"Const", {
         }>>;
     }>>;
 }>;
-export type Const = Schema.Schema.Type<typeof Const>;
+export type Const = {
+    _tag: "Const";
+    value: Value.Value;
+    name?: string | undefined;
+    capture?: string | undefined;
+    description?: string | undefined;
+    sourceSpan?: SourceSpan | undefined;
+};
 export declare const Constr: Schema.TaggedStruct<"Constr", {
     tag: typeof Schema.Int;
     args: Schema.Array$<Schema.suspend<Term, Term, never>>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -150,10 +178,15 @@ export type Constr = {
     _tag: "Constr";
     tag: number;
     args: readonly Term[];
+    capture?: string | undefined;
+    description?: string | undefined;
     sourceSpan?: SourceSpan | undefined;
 };
 export declare const Delay: Schema.TaggedStruct<"Delay", {
     arg: Schema.suspend<Term, Term, never>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
+    name: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -169,10 +202,14 @@ export declare const Delay: Schema.TaggedStruct<"Delay", {
 export type Delay = {
     _tag: "Delay";
     arg: Term;
+    capture?: string | undefined;
+    description?: string | undefined;
     sourceSpan?: SourceSpan | undefined;
     name?: string | undefined;
 };
 declare const Error$: Schema.TaggedStruct<"Error", {
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -185,10 +222,17 @@ declare const Error$: Schema.TaggedStruct<"Error", {
         }>>;
     }>>;
 }>;
-type Error$ = Schema.Schema.Type<typeof Error$>;
+type Error$ = {
+    _tag: "Error";
+    capture?: string | undefined;
+    description?: string | undefined;
+    sourceSpan?: SourceSpan | undefined;
+};
 export { Error$ as Error };
 export declare const Force: Schema.TaggedStruct<"Force", {
     arg: Schema.suspend<Term, Term, never>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -204,11 +248,15 @@ export declare const Force: Schema.TaggedStruct<"Force", {
 export type Force = {
     _tag: "Force";
     arg: Term;
+    capture?: string | undefined;
+    description?: string | undefined;
     sourceSpan?: SourceSpan | undefined;
 };
 export declare const Lambda: Schema.TaggedStruct<"Lambda", {
     body: Schema.suspend<Term, Term, never>;
     argName: Schema.optional<typeof Schema.String>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -226,12 +274,16 @@ export type Lambda = {
     _tag: "Lambda";
     body: Term;
     argName?: string | undefined;
+    capture?: string | undefined;
+    description?: string | undefined;
     sourceSpan?: SourceSpan | undefined;
     name?: string | undefined;
 };
 export declare const Var: Schema.TaggedStruct<"Var", {
     index: typeof Schema.Int;
     name: Schema.optional<typeof Schema.String>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -244,10 +296,19 @@ export declare const Var: Schema.TaggedStruct<"Var", {
         }>>;
     }>>;
 }>;
-export type Var = Schema.Schema.Type<typeof Var>;
+export type Var = {
+    _tag: "Var";
+    index: number;
+    name?: string | undefined;
+    capture?: string | undefined;
+    description?: string | undefined;
+    sourceSpan?: SourceSpan | undefined;
+};
 export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
     fn: Schema.suspend<Term, Term, never>;
     arg: Schema.suspend<Term, Term, never>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -262,6 +323,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
 }>, Schema.TaggedStruct<"Builtin", {
     id: typeof Schema.Int;
     name: Schema.optional<typeof Schema.String>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -276,6 +339,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
 }>, Schema.TaggedStruct<"Case", {
     arg: Schema.suspend<Term, Term, never>;
     cases: Schema.Array$<Schema.suspend<Term, Term, never>>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -332,6 +397,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
         mlResult: Schema.Tuple2<Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>, Schema.Tuple<[Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>, Schema.Tuple2<typeof Schema.BigIntFromSelf, typeof Schema.BigIntFromSelf>]>>;
     }>]>;
     name: Schema.optional<typeof Schema.String>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -346,6 +413,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
 }>, Schema.TaggedStruct<"Constr", {
     tag: typeof Schema.Int;
     args: Schema.Array$<Schema.suspend<Term, Term, never>>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -359,6 +428,9 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
     }>>;
 }>, Schema.TaggedStruct<"Delay", {
     arg: Schema.suspend<Term, Term, never>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
+    name: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -371,6 +443,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
         }>>;
     }>>;
 }>, Schema.TaggedStruct<"Error", {
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -384,6 +458,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
     }>>;
 }>, Schema.TaggedStruct<"Force", {
     arg: Schema.suspend<Term, Term, never>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -398,6 +474,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
 }>, Schema.TaggedStruct<"Lambda", {
     body: Schema.suspend<Term, Term, never>;
     argName: Schema.optional<typeof Schema.String>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -413,6 +491,8 @@ export declare const Term: Schema.Union<[Schema.TaggedStruct<"Apply", {
 }>, Schema.TaggedStruct<"Var", {
     index: typeof Schema.Int;
     name: Schema.optional<typeof Schema.String>;
+    capture: Schema.optional<typeof Schema.String>;
+    description: Schema.optional<typeof Schema.String>;
     sourceSpan: Schema.optional<Schema.Struct<{
         file: typeof Schema.String;
         start: Schema.Struct<{
@@ -433,8 +513,33 @@ export type Term = Apply | Builtin$ | Case | Const | Constr | Delay | Error$ | F
  */
 export declare function flatSize(term: Term): number;
 export declare function flatTag(term: Term): number;
+/**
+ * Verbose encoding format:
+ *
+ * {
+ *   0: CBORBytes(root flat bytes (i.e. what would be returned if verbose == false)),
+ *   1: {
+ *     0: CBORList<String> (source names list),
+ *     1: CBORList<Int> (flattened source mapping tuples [termIndex, sourceIndex, startLine, startColumn, endLine, endColumn], endLine==-1 and endColumn==-1 means absence of end of sourceSpan, sourceIndex is the index in the source names list),
+ *     2: CBORMap<Int, String> (lambda arg names, key is term index)
+ *     3: CBORMap<Int, String> (term names, key is term index)
+ *     4: CBORMap<Int, String> (term descriptions, key is termIndex)
+ *     5: CBORMap<Int, String> (capture names/ids, key is termIndex)
+ *   }
+ * }
+ */
 export declare const decodeRoot: (bytes: Bytes.BytesLike) => Either.Either<Term, Error>;
-export declare const encodeRoot: (uplcVersion: "1.0.0" | "1.1.0", term: Term) => Uint8Array;
+/**
+ * @param uplcVersion
+ * @param term
+ * @param verbose
+ * Optional, defaults to false.
+ * Note that if verbose==true but metadata is empty, the plain flat encoded program without metadata is still returned
+ *
+ * @returns
+ * The encoded program
+ */
+export declare const encodeRoot: (uplcVersion: "1.0.0" | "1.1.0", term: Term, verbose?: boolean) => Uint8Array;
 /**
  * Reads a single Term using stack-based algorithm for its children
  * @param param0

package/types/Cardano/Uplc/Term.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Term.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Term.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAE5C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,UAAU;;;;;;;;;;EAYrB,CAAA;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAI9D,eAAO,MAAM,KAAK;;;;;;;;;;;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,IAAI,CAAA;IACR,GAAG,EAAE,IAAI,CAAA;IACT,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,QAAA,MAAM,QAAQ;;;;;;;;;;;;;;EAIZ,CAAA;AAEF,KAAK,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEnD,OAAO,EAAE,QAAQ,IAAI,OAAO,EAAE,CAAA;AAE9B,eAAO,MAAM,IAAI;;;;;;;;;;;;;;EAIf,CAAA;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,IAAI,CAAA;IACT,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;IACtB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAA;AAEpD,eAAO,MAAM,MAAM;;;;;;;;;;;;;;EAIjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,SAAS,IAAI,EAAE,CAAA;IACrB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,KAAK;;;;;;;;;;;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,IAAI,CAAA;IACT,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED,QAAA,MAAM,MAAM;;;;;;;;;;;;EAEV,CAAA;AAEF,KAAK,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAE/C,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,eAAO,MAAM,KAAK;;;;;;;;;;;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,IAAI,CAAA;IACT,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;EAKjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED,eAAO,MAAM,GAAG;;;;;;;;;;;;;;EAId,CAAA;AAEF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAA;AAEhD,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAWhB,CAAA;AAED,MAAM,MAAM,IAAI,GACZ,KAAK,GACL,QAAQ,GACR,IAAI,GACJ,KAAK,GACL,MAAM,GACN,KAAK,GACL,MAAM,GACN,KAAK,GACL,MAAM,GACN,GAAG,CAAA;AAEP;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAyB3C;AAaD,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAuB1C;AAED,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,CAAC,SAAS,+BAMhD,CAAA;AAED,eAAO,MAAM,UAAU,GACrB,aAAa,OAAO,GAAG,OAAO,EAC9B,MAAM,IAAI,KACT,UAUF,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAChB,iBAAiB;IAAE,WAAW,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAA;CAAE,MACrE,GAAG,IAAI,CAAC,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CA2K1C,CAAA;AAEH;;;GAGG;AACH,eAAO,MAAM,MAAM,GAChB,GAAG,IAAI,CAAC,MAAM,MACd,MAAM,IAAI,KAAG,IAgGb,CAAA;AAEH;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAyB3C"}
+{"version":3,"file":"Term.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Term.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAG5C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,UAAU;;;;;;;;;;EAYrB,CAAA;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAI9D,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,IAAI,CAAA;IACR,GAAG,EAAE,IAAI,CAAA;IACT,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,QAAA,MAAM,QAAQ;;;;;;;;;;;;;;;;EAMZ,CAAA;AAEF,KAAK,QAAQ,GAAG;IACd,IAAI,EAAE,SAAS,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,OAAO,EAAE,QAAQ,IAAI,OAAO,EAAE,CAAA;AAE9B,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;EAMf,CAAA;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,IAAI,CAAA;IACT,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;IACtB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAGD,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;EAMjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,SAAS,IAAI,EAAE,CAAA;IACrB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;EAMhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,IAAI,CAAA;IACT,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED,QAAA,MAAM,MAAM;;;;;;;;;;;;;;EAIV,CAAA;AAEF,KAAK,MAAM,GAAG;IACZ,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;EAKhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,IAAI,CAAA;IACT,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;EAOjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED,eAAO,MAAM,GAAG;;;;;;;;;;;;;;;;EAMd,CAAA;AAEF,MAAM,MAAM,GAAG,GAAG;IAChB,IAAI,EAAE,KAAK,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAWhB,CAAA;AAED,MAAM,MAAM,IAAI,GACZ,KAAK,GACL,QAAQ,GACR,IAAI,GACJ,KAAK,GACL,MAAM,GACN,KAAK,GACL,MAAM,GACN,KAAK,GACL,MAAM,GACN,GAAG,CAAA;AAEP;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAyB3C;AAaD,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAuB1C;AAUD;;;;;;;;;;;;;;GAcG;AAEH,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CA0B5E,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,UAAU,GACrB,aAAa,OAAO,GAAG,OAAO,EAC9B,MAAM,IAAI,EACV,UAAS,OAAe,KACvB,UAyBF,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAChB,iBAAiB;IAAE,WAAW,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAA;CAAE,MACrE,GAAG,IAAI,CAAC,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CA2K1C,CAAA;AAEH;;;GAGG;AACH,eAAO,MAAM,MAAM,GAChB,GAAG,IAAI,CAAC,MAAM,MACd,MAAM,IAAI,KAAG,IAgGb,CAAA;AAEH;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CA2B3C"}

package/types/Cardano/ZK.d.ts

@@ -0,0 +1,188 @@
+import { Context, Effect, Schema } from "effect";
+export declare const fieldModulus = 52435875175126190479447740508185965837690552500527637822603658699938581184513n;
+export declare const ProverInput: Schema.Struct<{
+    name: typeof Schema.String;
+    type: typeof Schema.String;
+}>;
+export type ProverInput = Schema.Schema.Type<typeof ProverInput>;
+export declare const WitnessInput: Schema.extend<Schema.Struct<{
+    name: typeof Schema.String;
+    type: typeof Schema.String;
+}>, Schema.Struct<{
+    captureId: typeof Schema.String;
+}>>;
+export type WitnessInput = Schema.Schema.Type<typeof WitnessInput>;
+export declare const VerificationKey: Schema.Struct<{
+    alphaG1: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+    betaG2: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+    gammaG2: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+    deltaG2: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+    publicInputsG1: Schema.Array$<Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>>;
+}>;
+export type VerificationKey = Schema.Schema.Type<typeof VerificationKey>;
+export type InputValue = bigint | boolean | Uint8Array | readonly InputValue[];
+export type InputValueList = {
+    readonly items: readonly InputValue[];
+};
+type EncodedInputValue = string | boolean | readonly EncodedInputValue[];
+export declare const InputValue: Schema.Schema<InputValue, EncodedInputValue>;
+/**
+ * Describes the public/private inputs required by a prover.
+ *
+ * This is the part of a prover that callers need in order to construct
+ * witnesses, but it does not include constraints, keys, or evaluator metadata.
+ *
+ * Compiler-v2 emits the circuit so that the proof-engine private input vector is
+ * `privateInputs` first, followed by captured `witnessInputs`. Public inputs
+ * are prepared independently from `publicInputs`.
+ */
+export declare const ProverInputs: Schema.Struct<{
+    privateInputs: Schema.Array$<Schema.Struct<{
+        name: typeof Schema.String;
+        type: typeof Schema.String;
+    }>>;
+    witnessInputs: Schema.Array$<Schema.extend<Schema.Struct<{
+        name: typeof Schema.String;
+        type: typeof Schema.String;
+    }>, Schema.Struct<{
+        captureId: typeof Schema.String;
+    }>>>;
+    publicInputs: Schema.Array$<Schema.Struct<{
+        name: typeof Schema.String;
+        type: typeof Schema.String;
+    }>>;
+}>;
+export type ProverInputs = Schema.Schema.Type<typeof ProverInputs>;
+/**
+ * Minimal compiler artifact consumed by a proof engine.
+ *
+ * This intentionally excludes input metadata and evaluator bytes. Those fields
+ * are only needed by this module to prepare positional inputs before calling the
+ * proof engine.
+ */
+export declare const Prover: Schema.Struct<{
+    name: Schema.optional<typeof Schema.String>;
+    constraints: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+}>;
+export type Prover = Schema.Schema.Type<typeof Prover>;
+/**
+ * Compiler artifact with metadata needed to prepare proof inputs.
+ *
+ * Field roles:
+ * - inputs: public, private, and proof-engine witness input interface emitted by
+ *   the compiler.
+ * - evaluator: verbose latest-version UPLC script bytes used to fill captured
+ *   witness inputs before proving.
+ */
+export declare const ProverWithMetadata: Schema.extend<Schema.Struct<{
+    name: Schema.optional<typeof Schema.String>;
+    constraints: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+}>, Schema.Struct<{
+    evaluator: Schema.optional<Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>>;
+    inputs: Schema.Struct<{
+        privateInputs: Schema.Array$<Schema.Struct<{
+            name: typeof Schema.String;
+            type: typeof Schema.String;
+        }>>;
+        witnessInputs: Schema.Array$<Schema.extend<Schema.Struct<{
+            name: typeof Schema.String;
+            type: typeof Schema.String;
+        }>, Schema.Struct<{
+            captureId: typeof Schema.String;
+        }>>>;
+        publicInputs: Schema.Array$<Schema.Struct<{
+            name: typeof Schema.String;
+            type: typeof Schema.String;
+        }>>;
+    }>;
+}>>;
+export type ProverWithMetadata = Schema.Schema.Type<typeof ProverWithMetadata>;
+/**
+ * Minimal proof-engine artifact with derived key material.
+ *
+ * `provingKey` is used to create proofs for this circuit, while
+ * `verificationKey` is public material used to verify those proofs.
+ */
+export declare const ProverWithDerivedKeys: Schema.extend<Schema.Struct<{
+    name: Schema.optional<typeof Schema.String>;
+    constraints: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+}>, Schema.Struct<{
+    provingKey: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+    verificationKey: Schema.Struct<{
+        alphaG1: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+        betaG2: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+        gammaG2: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+        deltaG2: Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>;
+        publicInputsG1: Schema.Array$<Schema.Schema<Uint8Array<ArrayBufferLike>, string, never>>;
+    }>;
+}>>;
+export type ProverWithDerivedKeys = Schema.Schema.Type<typeof ProverWithDerivedKeys>;
+type DerivedKeys = Pick<ProverWithDerivedKeys, "provingKey" | "verificationKey">;
+declare const MissingWitnessInput_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.ZK.MissingWitnessInput";
+} & Readonly<A>;
+export declare class MissingWitnessInput extends MissingWitnessInput_base<{
+    readonly message: string;
+    readonly kind: "public" | "private" | "witness";
+    readonly name: string;
+}> {
+    constructor(kind: "public" | "private" | "witness", name: string);
+}
+declare const MissingEvaluator_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.ZK.MissingEvaluator";
+} & Readonly<A>;
+export declare class MissingEvaluator extends MissingEvaluator_base<{
+    readonly message: string;
+}> {
+    constructor();
+}
+declare const EvaluatorFailed_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.ZK.EvaluatorFailed";
+} & Readonly<A>;
+export declare class EvaluatorFailed extends EvaluatorFailed_base<{
+    readonly message: string;
+}> {
+    constructor(message: string);
+}
+declare const MissingCapture_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.ZK.MissingCapture";
+} & Readonly<A>;
+export declare class MissingCapture extends MissingCapture_base<{
+    readonly message: string;
+    readonly captureId: string;
+}> {
+    constructor(captureId: string);
+}
+declare const InvalidCapturedValue_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.ZK.InvalidCapturedValue";
+} & Readonly<A>;
+export declare class InvalidCapturedValue extends InvalidCapturedValue_base<{
+    readonly message: string;
+    readonly captureId: string;
+}> {
+    constructor(captureId: string);
+}
+declare const InvalidInputValue_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.ZK.InvalidInputValue";
+} & Readonly<A>;
+export declare class InvalidInputValue extends InvalidInputValue_base<{
+    readonly message: string;
+    readonly kind: "public" | "private" | "witness";
+    readonly name: string;
+}> {
+    constructor(kind: "public" | "private" | "witness", name: string);
+}
+export type ZKError = MissingWitnessInput | MissingEvaluator | EvaluatorFailed | MissingCapture | InvalidCapturedValue | InvalidInputValue;
+export type ProofEngineService = {
+    readonly setup: (prover: Prover) => Effect.Effect<DerivedKeys, ZKError>;
+    readonly prove: (prover: ProverWithDerivedKeys, publicInputs: readonly InputValue[], privateInputs: readonly InputValue[]) => Effect.Effect<Uint8Array, ZKError>;
+    readonly verify: (prover: ProverWithDerivedKeys, publicInputs: readonly InputValue[], proof: Uint8Array) => Effect.Effect<boolean, ZKError>;
+};
+declare const ProofEngine_base: Context.TagClass<ProofEngine, "Cardano.ZK.ProofEngine", ProofEngineService>;
+export declare class ProofEngine extends ProofEngine_base {
+}
+export declare const setup: (prover: ProverWithMetadata) => Effect.Effect<ProverWithMetadata & ProverWithDerivedKeys, ZKError, ProofEngine>;
+export declare const prove: (prover: ProverWithMetadata & ProverWithDerivedKeys, publicInputs: Record<string, InputValue>, privateInputs: Record<string, InputValue>) => Effect.Effect<Uint8Array, ZKError, ProofEngine>;
+export declare const verify: (prover: ProverWithMetadata & ProverWithDerivedKeys, publicInputs: Record<string, InputValue>, proof: Uint8Array) => Effect.Effect<boolean, ZKError, ProofEngine>;
+export {};
+//# sourceMappingURL=ZK.d.ts.map

package/types/Cardano/ZK.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ZK.d.ts","sourceRoot":"","sources":["../../src/Cardano/ZK.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAQ,MAAM,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG9D,eAAO,MAAM,YAAY,iFACuD,CAAA;AAEhF,eAAO,MAAM,WAAW;;;EAGtB,CAAA;AAEF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,WAAW,CAAC,CAAA;AAEhE,eAAO,MAAM,YAAY;;;;;GAKxB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,YAAY,CAAC,CAAA;AAElE,eAAO,MAAM,eAAe;;;;;;EAM1B,CAAA;AAEF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC,CAAA;AAExE,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,UAAU,EAAE,CAAA;AAE9E,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAA;CACtC,CAAA;AAED,KAAK,iBAAiB,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,iBAAiB,EAAE,CAAA;AAExE,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,iBAAiB,CAUjE,CAAA;AAEH;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;EAIvB,CAAA;AAEF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,YAAY,CAAC,CAAA;AAElE;;;;;;GAMG;AACH,eAAO,MAAM,MAAM;;;EAGjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;GAM9B,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE9E;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;GAMjC,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACpD,OAAO,qBAAqB,CAC7B,CAAA;AAED,KAAK,WAAW,GAAG,IAAI,CAAC,qBAAqB,EAAE,YAAY,GAAG,iBAAiB,CAAC,CAAA;;;;AAEhF,qBAAa,mBAAoB,SAAQ,yBAEvC;IACA,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAA;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAC;gBACY,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM;CAOjE;;;;AAED,qBAAa,gBAAiB,SAAQ,sBAEpC;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAM9B;;;;AAED,qBAAa,eAAgB,SAAQ,qBAEnC;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACjB,OAAO,EAAE,MAAM;CAG5B;;;;AAED,qBAAa,cAAe,SAAQ,oBAElC;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;gBAC7C,SAAS,EAAE,MAAM;CAM9B;;;;AAED,qBAAa,oBAAqB,SAAQ,0BAExC;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;gBAC7C,SAAS,EAAE,MAAM;CAM9B;;;;AAED,qBAAa,iBAAkB,SAAQ,uBAErC;IACA,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAA;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAC;gBACY,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM;CAOjE;AAED,MAAM,MAAM,OAAO,GACf,mBAAmB,GACnB,gBAAgB,GAChB,eAAe,GACf,cAAc,GACd,oBAAoB,GACpB,iBAAiB,CAAA;AAErB,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAA;IACvE,QAAQ,CAAC,KAAK,EAAE,CACd,MAAM,EAAE,qBAAqB,EAC7B,YAAY,EAAE,SAAS,UAAU,EAAE,EACnC,aAAa,EAAE,SAAS,UAAU,EAAE,KACjC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvC,QAAQ,CAAC,MAAM,EAAE,CACf,MAAM,EAAE,qBAAqB,EAC7B,YAAY,EAAE,SAAS,UAAU,EAAE,EACnC,KAAK,EAAE,UAAU,KACd,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CACrC,CAAA;;AAED,qBAAa,WAAY,SAAQ,gBAG9B;CAAG;AAEN,eAAO,MAAM,KAAK,GAChB,QAAQ,kBAAkB,KACzB,MAAM,CAAC,MAAM,CACd,kBAAkB,GAAG,qBAAqB,EAC1C,OAAO,EACP,WAAW,CAUT,CAAA;AAEJ,eAAO,MAAM,KAAK,GAChB,QAAQ,kBAAkB,GAAG,qBAAqB,EAClD,cAAc,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,EACxC,eAAe,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,KACxC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAsD7C,CAAA;AAEJ,eAAO,MAAM,MAAM,GACjB,QAAQ,kBAAkB,GAAG,qBAAqB,EAClD,cAAc,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,EACxC,OAAO,UAAU,KAChB,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,CAgB1C,CAAA"}

package/types/Cardano/index.d.ts

@@ -7,4 +7,5 @@ export * as ScriptContext from "./ScriptContext.js";
 export * as TxBuilder from "./TxBuilder.js";
 export * as Uplc from "./Uplc/index.js";
 export * as Wallet from "./Wallet.js";
+export * as ZK from "./ZK.js";
 //# sourceMappingURL=index.d.ts.map

package/types/Cardano/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/Cardano/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAC3C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/Cardano/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAC3C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA"}