@helios-lang/effect 0.4.36 → 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.
- package/dist/Cardano/Cose/Sign1.js +23 -2
- package/dist/Cardano/Cose/Sign1.js.map +1 -1
- package/dist/Cardano/Ledger/index.js +1 -0
- package/dist/Cardano/Ledger/index.js.map +1 -1
- package/package.json +1 -1
- package/types/Cardano/Cose/Sign1.d.ts +10 -2
- package/types/Cardano/Cose/Sign1.d.ts.map +1 -1
- package/types/Cardano/Ledger/index.d.ts +1 -0
- package/types/Cardano/Ledger/index.d.ts.map +1 -1
|
@@ -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) =>
|
|
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;
|
|
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"}
|
|
@@ -6,6 +6,7 @@ export * as DatumHash from "./DatumHash.js";
|
|
|
6
6
|
export * as DCert from "./DCert.js";
|
|
7
7
|
export * as MintingPolicy from "./MintingPolicy.js";
|
|
8
8
|
export * as NativeScript from "./NativeScript.js";
|
|
9
|
+
export * as PubKey from "./PubKey.js";
|
|
9
10
|
export * as PubKeyHash from "./PubKeyHash.js";
|
|
10
11
|
export * as Redeemer from "./Redeemer.js";
|
|
11
12
|
export * as RewardAddress from "./RewardAddress.js";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA"}
|
package/package.json
CHANGED
|
@@ -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) =>
|
|
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;
|
|
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"}
|
|
@@ -6,6 +6,7 @@ export * as DatumHash from "./DatumHash.js";
|
|
|
6
6
|
export * as DCert from "./DCert.js";
|
|
7
7
|
export * as MintingPolicy from "./MintingPolicy.js";
|
|
8
8
|
export * as NativeScript from "./NativeScript.js";
|
|
9
|
+
export * as PubKey from "./PubKey.js";
|
|
9
10
|
export * as PubKeyHash from "./PubKeyHash.js";
|
|
10
11
|
export * as Redeemer from "./Redeemer.js";
|
|
11
12
|
export * as RewardAddress from "./RewardAddress.js";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA"}
|