@helios-lang/effect 0.4.37 → 0.4.38

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1,4 +1,4 @@
1
- import { Data, Either } from "effect";
1
+ import { Data, Effect, Either } from "effect";
2
2
  import * as Bytes from "../../Codecs/Bytes.js";
3
3
  import * as Cbor from "../../Codecs/Cbor.js";
4
4
  import * as Bip32 from "../../Crypto/Bip32.js";
@@ -12,6 +12,13 @@ export class InvalidAddress extends Data.TaggedError("Cardano.Cose.Sign1.Invalid
12
12
  });
13
13
  }
14
14
  }
15
+ export class SignerMismatch extends Data.TaggedError("Cardano.Cose.Sign1.SignerMismatch") {
16
+ constructor(pk, address) {
17
+ super({
18
+ message: `COSE public key '${pk}' does not match the Sign1 address '${address}'`
19
+ });
20
+ }
21
+ }
15
22
  export function make(address, payload, bytes, kid) {
16
23
  if (Address.spendingCredential(address)._tag != "PubKey") {
17
24
  return Either.left(new InvalidAddress(address));
@@ -88,7 +95,21 @@ export function encode(sign1) {
88
95
  Cbor.encodeBytes(sign1.bytes)
89
96
  ]);
90
97
  }
91
- export const verify = (sign1, pubKey) => Ed25519.verify(sign1.bytes, Uint8Array.from(sigStructure(sign1.address, sign1.payload, sign1.kid)), PubKey.bytes(pubKey));
98
+ export const verify = (sign1, pubKey) => Effect.gen(function* () {
99
+ yield* Ed25519.verify(sign1.bytes, Uint8Array.from(sigStructure(sign1.address, sign1.payload, sign1.kid)), PubKey.bytes(pubKey));
100
+ const userId = PubKey.hash(pubKey);
101
+ const spendingCredential = Address.spendingCredential(sign1.address);
102
+ const stakingCredential = Address.stakingCredential(sign1.address);
103
+ if (spendingCredential._tag !== "PubKey" &&
104
+ (!stakingCredential || stakingCredential._tag !== "PubKey")) {
105
+ return yield* Effect.fail(new InvalidAddress(sign1.address));
106
+ }
107
+ if (spendingCredential.hash !== userId &&
108
+ stakingCredential?.hash !== userId) {
109
+ return yield* Effect.fail(new SignerMismatch(pubKey, sign1.address));
110
+ }
111
+ return;
112
+ });
92
113
  export function encodeProtectedHeader(address, kid) {
93
114
  const pairs = [
94
115
  [Cbor.encodeInt(1), Cbor.encodeInt(-8)]
@@ -1 +1 @@
1
- {"version":3,"file":"Sign1.js","sourceRoot":"","sources":["../../../src/Cardano/Cose/Sign1.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,OAAO,MAAM,yBAAyB,CAAA;AAClD,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAS7C,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAClD,mCAAmC,CACf;IACpB,YAAY,OAAwB;QAClC,KAAK,CAAC;YACJ,OAAO,EAAE,uCAAuC,OAAO,8BAA8B;SACtF,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,UAAU,IAAI,CAClB,OAAwB,EACxB,OAAwB,EACxB,KAAsB,EACtB,GAAqB;IAErB,IAAI,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QACzD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAA;IACjD,CAAC;IAED,MAAM,KAAK,GAAG;QACZ,OAAO;QACP,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC;QACpC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC;KACjC,CAAA;IAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,KAAK,CAAC;YAClB,GAAG,KAAK;YACR,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC;SAC7B,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,OAAwB,EACxB,UAA4B,EAC5B,OAAwB,EACxB,GAAqB;IAErB,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAChD,MAAM,QAAQ,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAA;IACxE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CACtC,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAC9C,CAAA;IAED,OAAO,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;AAC/D,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA4B,EAAE,CACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,CAAC,oBAAoB,EAAE,AAAD,EAAG,OAAO,EAAE,cAAc,CAAC,GACrD,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;QACtB,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC;QAClD,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,WAAW;KACjB,CAAC,CAAC,KAAK,CAAC,CAAA;IAEX,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAC3C,wBAAwB,EACxB,0BAA0B,CAC3B,CAAC,oBAAoB,CAAC,CAAA;IAEvB,IAAI,GAAuB,CAAA;IAC3B,IAAI,GAA2B,CAAA;IAC/B,IAAI,YAAoC,CAAA;IAExC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;QAC3C,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,EAAE;gBACL,IAAI,OAAO,KAAK,IAAI,QAAQ,EAAE,CAAC;oBAC7B,GAAG,GAAG,KAAK,CAAA;gBACb,CAAC;gBACD,MAAK;YACP,KAAK,EAAE;gBACL,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;oBAChC,GAAG,GAAG,KAAK,CAAA;gBACb,CAAC;gBACD,MAAK;YACP,KAAK,SAAS;gBACZ,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;oBAChC,YAAY,GAAG,KAAK,CAAA;gBACtB,CAAC;gBACD,MAAK;QACT,CAAC;IACH,CAAC;IAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,+DAA+D,CAChE,CACF,CAAA;IACH,CAAC;IAED,IAAI,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,qFAAqF,GAAG,EAAE,CAC3F,CACF,CAAA;IACH,CAAC;IAED,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,4CAA4C,CAC7C,CACF,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CACtD,MAAM,CAAC,OAAO,CACZ,CAAC,CAAC,EAAE,EAAE,CACJ,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,CAAC,CAAC,OAAO,IAAI,mDAAmD,CACjE,CACJ,CACF,CAAA;IAED,IAAI,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QACzD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,6DAA6D,CAC9D,CACF,CAAA;IACH,CAAC;IAED,OAAO,MAAM,CAAC,UAAU,CACtB,IAAI,CACF,OAAO,EACP,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EACxB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,EAC/B,GAAG,CACJ,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,OAAO,IAAI,CAAC,WAAW,CAAC;QACtB,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACjE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACvE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;KAC9B,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,MAAqB,EAAE,EAAE,CAC5D,OAAO,CAAC,MAAM,CACZ,KAAK,CAAC,KAAK,EACX,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EACtE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CACrB,CAAA;AAEH,MAAM,UAAU,qBAAqB,CACnC,OAAwB,EACxB,GAAqB;IAErB,MAAM,KAAK,GAA2B;QACpC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;KACxC,CAAA;IAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IACvE,CAAC;IAED,KAAK,CAAC,IAAI,CAAC;QACT,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;QAC5B,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;KACzC,CAAC,CAAA;IAEF,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,OAAwB,EACxB,OAAwB,EACxB,GAAqB;IAErB,OAAO,IAAI,CAAC,WAAW,CAAC;QACtB,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACpB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;KACzC,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,wBAAwB,GAAG,CAC/B,KAAsB,EACc,EAAE;IACtC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,gDAAgD,CACjD,CACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,0BAA0B,GAAG,CACjC,KAAsB,EACkB,EAAE;IAC1C,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9E,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,kDAAkD,CACnD,CACF,CAAA;AACH,CAAC,CAAA"}
1
+ {"version":3,"file":"Sign1.js","sourceRoot":"","sources":["../../../src/Cardano/Cose/Sign1.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,OAAO,MAAM,yBAAyB,CAAA;AAClD,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAS7C,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAClD,mCAAmC,CACf;IACpB,YAAY,OAAwB;QAClC,KAAK,CAAC;YACJ,OAAO,EAAE,uCAAuC,OAAO,8BAA8B;SACtF,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAClD,mCAAmC,CACf;IACpB,YAAY,EAAiB,EAAE,OAAwB;QACrD,KAAK,CAAC;YACJ,OAAO,EAAE,oBAAoB,EAAE,uCAAuC,OAAO,GAAG;SACjF,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,UAAU,IAAI,CAClB,OAAwB,EACxB,OAAwB,EACxB,KAAsB,EACtB,GAAqB;IAErB,IAAI,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QACzD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAA;IACjD,CAAC;IAED,MAAM,KAAK,GAAG;QACZ,OAAO;QACP,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC;QACpC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC;KACjC,CAAA;IAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,KAAK,CAAC;YAClB,GAAG,KAAK;YACR,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC;SAC7B,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,OAAwB,EACxB,UAA4B,EAC5B,OAAwB,EACxB,GAAqB;IAErB,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAChD,MAAM,QAAQ,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAA;IACxE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CACtC,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAC9C,CAAA;IAED,OAAO,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;AAC/D,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA4B,EAAE,CACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,CAAC,oBAAoB,EAAE,AAAD,EAAG,OAAO,EAAE,cAAc,CAAC,GACrD,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;QACtB,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC;QAClD,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,WAAW;KACjB,CAAC,CAAC,KAAK,CAAC,CAAA;IAEX,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAC3C,wBAAwB,EACxB,0BAA0B,CAC3B,CAAC,oBAAoB,CAAC,CAAA;IAEvB,IAAI,GAAuB,CAAA;IAC3B,IAAI,GAA2B,CAAA;IAC/B,IAAI,YAAoC,CAAA;IAExC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;QAC3C,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,EAAE;gBACL,IAAI,OAAO,KAAK,IAAI,QAAQ,EAAE,CAAC;oBAC7B,GAAG,GAAG,KAAK,CAAA;gBACb,CAAC;gBACD,MAAK;YACP,KAAK,EAAE;gBACL,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;oBAChC,GAAG,GAAG,KAAK,CAAA;gBACb,CAAC;gBACD,MAAK;YACP,KAAK,SAAS;gBACZ,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;oBAChC,YAAY,GAAG,KAAK,CAAA;gBACtB,CAAC;gBACD,MAAK;QACT,CAAC;IACH,CAAC;IAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,+DAA+D,CAChE,CACF,CAAA;IACH,CAAC;IAED,IAAI,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,qFAAqF,GAAG,EAAE,CAC3F,CACF,CAAA;IACH,CAAC;IAED,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,4CAA4C,CAC7C,CACF,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CACtD,MAAM,CAAC,OAAO,CACZ,CAAC,CAAC,EAAE,EAAE,CACJ,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,CAAC,CAAC,OAAO,IAAI,mDAAmD,CACjE,CACJ,CACF,CAAA;IAED,IAAI,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QACzD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,6DAA6D,CAC9D,CACF,CAAA;IACH,CAAC;IAED,OAAO,MAAM,CAAC,UAAU,CACtB,IAAI,CACF,OAAO,EACP,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EACxB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,EAC/B,GAAG,CACJ,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,OAAO,IAAI,CAAC,WAAW,CAAC;QACtB,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACjE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACvE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;KAC9B,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,MAAqB,EAAE,EAAE,CAC5D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CACnB,KAAK,CAAC,KAAK,EACX,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EACtE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CACrB,CAAA;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAClC,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACpE,MAAM,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAElE,IACE,kBAAkB,CAAC,IAAI,KAAK,QAAQ;QACpC,CAAC,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,IAAI,KAAK,QAAQ,CAAC,EAC3D,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED,IACE,kBAAkB,CAAC,IAAI,KAAK,MAAM;QAClC,iBAAiB,EAAE,IAAI,KAAK,MAAM,EAClC,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;IACtE,CAAC;IAED,OAAM;AACR,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,qBAAqB,CACnC,OAAwB,EACxB,GAAqB;IAErB,MAAM,KAAK,GAA2B;QACpC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;KACxC,CAAA;IAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IACvE,CAAC;IAED,KAAK,CAAC,IAAI,CAAC;QACT,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;QAC5B,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;KACzC,CAAC,CAAA;IAEF,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,OAAwB,EACxB,OAAwB,EACxB,GAAqB;IAErB,OAAO,IAAI,CAAC,WAAW,CAAC;QACtB,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACpB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;KACzC,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,wBAAwB,GAAG,CAC/B,KAAsB,EACc,EAAE;IACtC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,gDAAgD,CACjD,CACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,0BAA0B,GAAG,CACjC,KAAsB,EACkB,EAAE;IAC1C,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9E,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,kDAAkD,CACnD,CACF,CAAA;AACH,CAAC,CAAA"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@helios-lang/effect",
3
- "version": "0.4.37",
3
+ "version": "0.4.38",
4
4
  "description": "",
5
5
  "type": "module",
6
6
  "main": "./dist/index.js",
@@ -1,4 +1,4 @@
1
- import { Either } from "effect";
1
+ import { Effect, Either } from "effect";
2
2
  import * as Bytes from "../../Codecs/Bytes.js";
3
3
  import * as Cbor from "../../Codecs/Cbor.js";
4
4
  import * as Bip32 from "../../Crypto/Bip32.js";
@@ -18,11 +18,19 @@ export declare class InvalidAddress extends InvalidAddress_base<{
18
18
  }> {
19
19
  constructor(address: Address.Address);
20
20
  }
21
+ declare const SignerMismatch_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
22
+ readonly _tag: "Cardano.Cose.Sign1.SignerMismatch";
23
+ } & Readonly<A>;
24
+ export declare class SignerMismatch extends SignerMismatch_base<{
25
+ message: string;
26
+ }> {
27
+ constructor(pk: PubKey.PubKey, address: Address.Address);
28
+ }
21
29
  export declare function make(address: Address.Address, payload: Bytes.BytesLike, bytes: Bytes.BytesLike, kid?: Bytes.BytesLike): Either.Either<Sign1, InvalidAddress>;
22
30
  export declare function sign(address: Address.Address, privateKey: Bip32.SigningKey, payload: Bytes.BytesLike, kid?: Bytes.BytesLike): Either.Either<Sign1, InvalidAddress>;
23
31
  export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Sign1>;
24
32
  export declare function encode(sign1: Sign1): number[];
25
- export declare const verify: (sign1: Sign1, pubKey: PubKey.PubKey) => Either.Either<boolean, import("../../Crypto/EdDSA.js").BadSignatureLength | import("../../Crypto/EdDSA.js").BadPublicKeyLength>;
33
+ export declare const verify: (sign1: Sign1, pubKey: PubKey.PubKey) => Effect.Effect<undefined, InvalidAddress | SignerMismatch | import("../../Crypto/EdDSA.js").BadSignatureLength | import("../../Crypto/EdDSA.js").BadPublicKeyLength, never>;
26
34
  export declare function encodeProtectedHeader(address: Address.Address, kid?: Bytes.BytesLike): number[];
27
35
  export declare function sigStructure(address: Address.Address, payload: Bytes.BytesLike, kid?: Bytes.BytesLike): number[];
28
36
  export {};
@@ -1 +1 @@
1
- {"version":3,"file":"Sign1.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Cose/Sign1.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAE7C,MAAM,MAAM,KAAK,GAAG;IAClB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAA;IACxB,OAAO,EAAE,UAAU,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;IACjB,GAAG,CAAC,EAAE,UAAU,CAAA;CACjB,CAAA;;;;AAED,qBAAa,cAAe,SAAQ,oBAElC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,OAAO,EAAE,OAAO,CAAC,OAAO;CAKrC;AAED,wBAAgB,IAAI,CAClB,OAAO,EAAE,OAAO,CAAC,OAAO,EACxB,OAAO,EAAE,KAAK,CAAC,SAAS,EACxB,KAAK,EAAE,KAAK,CAAC,SAAS,EACtB,GAAG,CAAC,EAAE,KAAK,CAAC,SAAS,GACpB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAmBtC;AAED,wBAAgB,IAAI,CAClB,OAAO,EAAE,OAAO,CAAC,OAAO,EACxB,UAAU,EAAE,KAAK,CAAC,UAAU,EAC5B,OAAO,EAAE,KAAK,CAAC,SAAS,EACxB,GAAG,CAAC,EAAE,KAAK,CAAC,SAAS,GACpB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAQtC;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CA6FnE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,EAAE,CAO7C;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,QAAQ,MAAM,CAAC,MAAM,oIAKvD,CAAA;AAEH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,CAAC,OAAO,EACxB,GAAG,CAAC,EAAE,KAAK,CAAC,SAAS,GACpB,MAAM,EAAE,CAeV;AAED,wBAAgB,YAAY,CAC1B,OAAO,EAAE,OAAO,CAAC,OAAO,EACxB,OAAO,EAAE,KAAK,CAAC,SAAS,EACxB,GAAG,CAAC,EAAE,KAAK,CAAC,SAAS,GACpB,MAAM,EAAE,CAOV"}
1
+ {"version":3,"file":"Sign1.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Cose/Sign1.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAE7C,MAAM,MAAM,KAAK,GAAG;IAClB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAA;IACxB,OAAO,EAAE,UAAU,CAAA;IACnB,KAAK,EAAE,UAAU,CAAA;IACjB,GAAG,CAAC,EAAE,UAAU,CAAA;CACjB,CAAA;;;;AAED,qBAAa,cAAe,SAAQ,oBAElC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,OAAO,EAAE,OAAO,CAAC,OAAO;CAKrC;;;;AAED,qBAAa,cAAe,SAAQ,oBAElC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO;CAKxD;AAED,wBAAgB,IAAI,CAClB,OAAO,EAAE,OAAO,CAAC,OAAO,EACxB,OAAO,EAAE,KAAK,CAAC,SAAS,EACxB,KAAK,EAAE,KAAK,CAAC,SAAS,EACtB,GAAG,CAAC,EAAE,KAAK,CAAC,SAAS,GACpB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAmBtC;AAED,wBAAgB,IAAI,CAClB,OAAO,EAAE,OAAO,CAAC,OAAO,EACxB,UAAU,EAAE,KAAK,CAAC,UAAU,EAC5B,OAAO,EAAE,KAAK,CAAC,SAAS,EACxB,GAAG,CAAC,EAAE,KAAK,CAAC,SAAS,GACpB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAQtC;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CA6FnE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,EAAE,CAO7C;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,QAAQ,MAAM,CAAC,MAAM,+KA2BtD,CAAA;AAEJ,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,CAAC,OAAO,EACxB,GAAG,CAAC,EAAE,KAAK,CAAC,SAAS,GACpB,MAAM,EAAE,CAeV;AAED,wBAAgB,YAAY,CAC1B,OAAO,EAAE,OAAO,CAAC,OAAO,EACxB,OAAO,EAAE,KAAK,CAAC,SAAS,EACxB,GAAG,CAAC,EAAE,KAAK,CAAC,SAAS,GACpB,MAAM,EAAE,CAOV"}
@@ -229,6 +229,6 @@ export interface BabelFeeOptions {
229
229
  */
230
230
  readonly assetClass: AssetClass.AssetClass;
231
231
  }
232
- export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, Network.Params.params | Network.UTxO | Network.IsMainnet | BalancingWallet>;
232
+ export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, BalancingWallet | Network.IsMainnet | Network.Params.params | Network.UTxO>;
233
233
  export {};
234
234
  //# sourceMappingURL=TxBuilder.d.ts.map