@helios-lang/effect 0.2.0 → 0.3.0

package/dist/Crypto/Bip32.js

@@ -0,0 +1,131 @@
+import { Either, ParseResult, Schema } from "effect";
+import * as Bech32 from "../Codecs/Bech32.js";
+import * as BigEndian from "../Codecs/BigEndian.js";
+import * as Bytes from "../Codecs/Bytes.js";
+import * as LE from "../Codecs/LittleEndian.js";
+import * as Ed25519 from "./Ed25519.js";
+import * as Hmac from "./Hmac.js";
+import * as Pbkdf2 from "./Pbkdf2.js";
+/**
+ * Used during `PrivateKey` derivation, to create a new `PrivateKey` instance with a non-publicly deriveable `PubKey`.
+ */
+export const HARDEN = 0x80000000;
+export function isValidSigningKey(sk) {
+    if (sk.startsWith("addr_sk")) {
+        const decodeResult = Bech32.decode(sk);
+        if (decodeResult._tag == "Left") {
+            return false;
+        }
+        const { prefix, bytes } = decodeResult.right;
+        if (bytes.length != 96) {
+            return false;
+        }
+        if (prefix != "addr_sk") {
+            return false;
+        }
+        return true;
+    }
+    return false;
+}
+export const SigningKey = Schema.String.pipe(Schema.filter((pk) => {
+    return isValidSigningKey(pk) || "Invalid Bip32 Private Signing Key";
+}), Schema.brand("Crypto.Bip32.SigningKey"));
+function makeSigningKeyUnsafe(bytes) {
+    return Bech32.encode("addr_sk", Bytes.toUint8Array(bytes));
+}
+export function isValidVerificationKey(pk) {
+    if (pk.startsWith("addr_vk")) {
+        const decodeResult = Bech32.decode(pk);
+        if (decodeResult._tag == "Left") {
+            return false;
+        }
+        const { prefix, bytes } = decodeResult.right;
+        if (bytes.length != 32) {
+            return false;
+        }
+        if (prefix != "addr_vk") {
+            return false;
+        }
+        return true;
+    }
+    return false;
+}
+export const VerificationKey = Schema.String.pipe(Schema.filter((pk) => {
+    return isValidSigningKey(pk) || "Invalid Bip32 Public Verification Key";
+}), Schema.brand("Crypto.Bip32.VerificationKey"));
+export const makeVerificationKeyUnsafe = (bytes) => Bech32.encode("addr_vk", Bytes.toUint8Array(bytes));
+export const makeVerificationKey = (bytes) => {
+    const vk = makeVerificationKeyUnsafe(bytes);
+    if (!isValidVerificationKey(vk)) {
+        return Either.left(new ParseResult.Unexpected(vk, "Invalid Verification Key"));
+    }
+    return Either.right(vk);
+};
+/**
+ * @param {number[]} entropy
+ * @param {boolean} force
+ * @returns {Bip32PrivateKey}
+ */
+export function skFromEntropy(entropy, force = true) {
+    const bytes = Pbkdf2.deriveSync(Hmac.sha2_512Sync, new Uint8Array([]), Bytes.toUint8Array(entropy), 4096, 96);
+    const kl = bytes.slice(0, 32);
+    const kr = bytes.slice(32, 64);
+    if (!force) {
+        if ((kl[31] & 0b00100000) != 0) {
+            throw new Error("invalid root secret");
+        }
+    }
+    kl[0] &= 0b11111000;
+    kl[31] &= 0b00011111;
+    kl[31] |= 0b01000000;
+    const c = bytes.slice(64, 96);
+    return makeSigningKeyUnsafe(Bytes.concat(kl, kr, c));
+}
+export const skBytes = (sk) => Bytes.toUint8Array(Either.getOrThrow(Bech32.decode(sk)).bytes);
+export const vkBytes = (vk) => Bytes.toUint8Array(Either.getOrThrow(Bech32.decode(vk)).bytes);
+export const deriveVerificationKey = (sk) => Bech32.encode("addr_vk", Either.getOrThrow(Ed25519.derivePublicKey(skBytes(sk), false)));
+const k = (sk) => skBytes(sk).slice(0, 64);
+const kl = (sk) => skBytes(sk).slice(0, 32);
+const kr = (sk) => skBytes(sk).slice(32, 64);
+const c = (sk) => skBytes(sk).slice(64, 96);
+const calcChildZorC = (sk, i, d) => {
+    const ib = BigEndian.encode(BigInt(i)).reverse();
+    while (ib.length < 4) {
+        ib.push(0);
+    }
+    if (ib.length != 4) {
+        throw new Error("child index too big");
+    }
+    if (i < HARDEN) {
+        const A = vkBytes(deriveVerificationKey(sk));
+        return Hmac.sha2_512Sync(c(sk), Bytes.concat([0x02 + d], A, ib));
+    }
+    else {
+        return Hmac.sha2_512Sync(c(sk), Bytes.concat([0x00 + d], k(sk), ib));
+    }
+};
+const calcChildZ = (sk, i) => calcChildZorC(sk, i, 0);
+const calcChildC = (sk, i) => calcChildZorC(sk, i, 1);
+const deriveSingleChildSigningKey = (sk, i) => {
+    const Z = calcChildZ(sk, i);
+    const kl$ = LE.encode32(8n * LE.decodeOrThrow(Z.slice(0, 28)) + LE.decodeOrThrow(kl(sk))).slice(0, 32);
+    const kr$ = LE.encode32(LE.decodeOrThrow(Z.slice(32, 64)) +
+        (LE.decodeOrThrow(kr(sk)) %
+            115792089237316195423570985008687907853269984665640564039457584007913129639936n)).slice(0, 32);
+    const c = calcChildC(sk, i).slice(32, 64);
+    // TODO: discard child key whose public key is the identity point
+    return Bech32.encode("addr_sk", Bytes.concat(kl$, kr$, c));
+};
+export const derivePath = (sk, path) => {
+    path.forEach((i) => {
+        sk = deriveSingleChildSigningKey(sk, i);
+    });
+    return sk;
+};
+export const sign = (sk) => (message) => {
+    return {
+        pubKey: deriveVerificationKey(sk),
+        signature: Either.getOrThrow(Ed25519.sign(Bytes.toUint8Array(message), k(sk), false))
+    };
+};
+//# sourceMappingURL=Bip32.js.map

package/dist/Crypto/Bip32.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bip32.js","sourceRoot":"","sources":["../../src/Crypto/Bip32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpD,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,2BAA2B,CAAA;AAC/C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,UAAU,CAAA;AAEhC,MAAM,UAAU,iBAAiB,CAAC,EAAU;IAC1C,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAEtC,IAAI,YAAY,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YAChC,OAAO,KAAK,CAAA;QACd,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC,KAAK,CAAA;QAE5C,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACvB,OAAO,KAAK,CAAA;QACd,CAAC;QAED,IAAI,MAAM,IAAI,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAA;QACd,CAAC;QAED,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE;IAC3B,OAAO,iBAAiB,CAAC,EAAE,CAAC,IAAI,mCAAmC,CAAA;AACrE,CAAC,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,yBAAyB,CAAC,CACxC,CAAA;AAID,SAAS,oBAAoB,CAAC,KAAsB;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,EAAU;IAC/C,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAEtC,IAAI,YAAY,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YAChC,OAAO,KAAK,CAAA;QACd,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC,KAAK,CAAA;QAE5C,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACvB,OAAO,KAAK,CAAA;QACd,CAAC;QAED,IAAI,MAAM,IAAI,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAA;QACd,CAAC;QAED,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE;IAC3B,OAAO,iBAAiB,CAAC,EAAE,CAAC,IAAI,uCAAuC,CAAA;AACzE,CAAC,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAC7C,CAAA;AAID,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,KAAsB,EAAU,EAAE,CAC1E,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;AACrD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACkC,EAAE;IAC1D,MAAM,EAAE,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAA;IAE3C,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,WAAW,CAAC,UAAU,CAAC,EAAE,EAAE,0BAA0B,CAAC,CAC3D,CAAA;IACH,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,EAAqB,CAAC,CAAA;AAC5C,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,OAAwB,EACxB,QAAiB,IAAI;IAErB,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAC7B,IAAI,CAAC,YAAY,EACjB,IAAI,UAAU,CAAC,EAAE,CAAC,EAClB,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,EAC3B,IAAI,EACJ,EAAE,CACH,CAAA;IAED,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC7B,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IAE9B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;IAED,EAAE,CAAC,CAAC,CAAC,IAAI,UAAU,CAAA;IACnB,EAAE,CAAC,EAAE,CAAC,IAAI,UAAU,CAAA;IACpB,EAAE,CAAC,EAAE,CAAC,IAAI,UAAU,CAAA;IAEpB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IAE7B,OAAO,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAe,CAAA;AACpE,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,EAAc,EAAc,EAAE,CACpD,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;AAChE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,EAAmB,EAAc,EAAE,CACzD,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;AAEhE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,EAAc,EAAmB,EAAE,CACvE,MAAM,CAAC,MAAM,CACX,SAAS,EACT,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAC5C,CAAA;AAEtB,MAAM,CAAC,GAAG,CAAC,EAAc,EAAc,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAClE,MAAM,EAAE,GAAG,CAAC,EAAc,EAAc,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACnE,MAAM,EAAE,GAAG,CAAC,EAAc,EAAc,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;AACpE,MAAM,CAAC,GAAG,CAAC,EAAc,EAAc,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;AAEnE,MAAM,aAAa,GAAG,CAAC,EAAc,EAAE,CAAS,EAAE,CAAQ,EAAc,EAAE;IACxE,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAA;IAChD,OAAO,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACZ,CAAC;IAED,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAA;IACxC,CAAC;IAED,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC;QACf,MAAM,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAA;QAE5C,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAClE,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IACtE,CAAC;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,EAAc,EAAE,CAAS,EAAc,EAAE,CAC3D,aAAa,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AACzB,MAAM,UAAU,GAAG,CAAC,EAAc,EAAE,CAAS,EAAc,EAAE,CAC3D,aAAa,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAEzB,MAAM,2BAA2B,GAAG,CAAC,EAAc,EAAE,CAAS,EAAc,EAAE;IAC5E,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAE3B,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,CACrB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CACjE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAEd,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,CACrB,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACvB,+EAA+E,CAAC,CACrF,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAEd,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IAEzC,iEAAiE;IACjE,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAe,CAAA;AAC1E,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,EAAc,EAAE,IAAc,EAAc,EAAE;IACvE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACjB,EAAE,GAAG,2BAA2B,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IACzC,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,CAAA;AACX,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,EAAc,EAAE,EAAE,CAAC,CAAC,OAAwB,EAAE,EAAE;IACnE,OAAO;QACL,MAAM,EAAE,qBAAqB,CAAC,EAAE,CAAC;QACjC,SAAS,EAAE,MAAM,CAAC,UAAU,CAC1B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CACxD;KACF,CAAA;AACH,CAAC,CAAA"}