@helios-lang/effect 0.6.7 → 0.6.8

package/types/Crypto/Bls12_381.d.ts

@@ -0,0 +1,56 @@
+import { Either, Encoding } from "effect";
+export type Fp = bigint;
+export type Fp2 = [bigint, bigint];
+export type Fp6 = [Fp2, Fp2, Fp2];
+export type Fp12 = [Fp6, Fp6];
+export type G1 = {
+    x: Fp;
+    y: Fp;
+    z: Fp;
+};
+export type G2 = {
+    x: Fp2;
+    y: Fp2;
+    z: Fp2;
+};
+type Affine<T> = {
+    x: T;
+    y: T;
+};
+export declare const P = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787n;
+export declare const R = 52435875175126190479447740508185965837690552500527637822603658699938581184513n;
+export declare const G1_GENERATOR: G1;
+export declare const G2_GENERATOR: G2;
+export declare function g1Zero(): G1;
+export declare function g2Zero(): G2;
+export declare function g1FromAffine(p: Affine<Fp>): G1;
+export declare function g2FromAffine(p: Affine<Fp2>): G2;
+export declare function g1ToAffine(p: G1): Affine<Fp>;
+export declare function g2ToAffine(p: G2): Affine<Fp2>;
+export declare function g1Equals(a: G1, b: G1): boolean;
+export declare function g2Equals(a: G2, b: G2): boolean;
+export declare function g1IsValidPoint(p: G1): boolean;
+export declare function g2IsValidPoint(p: G2): boolean;
+export declare function g1Neg(p: G1): G1;
+export declare function g2Neg(p: G2): G2;
+export declare function g1Add(a: G1, b: G1): G1;
+export declare function g2Add(a: G2, b: G2): G2;
+export declare function g1ScalarMul(scalar: bigint, point: G1): G1;
+export declare function g2ScalarMul(scalar: bigint, point: G2): G2;
+export declare function encodeG1(point: G1): Uint8Array;
+export declare function encodeG2(point: G2): Uint8Array;
+export declare function decodeG1(bytes: Uint8Array | number[]): Either.Either<G1, Encoding.DecodeException>;
+export declare function decodeG2(bytes: Uint8Array | number[]): Either.Either<G2, Encoding.DecodeException>;
+export declare const g1Compress: typeof encodeG1;
+export declare const g2Compress: typeof encodeG2;
+export declare const g1Uncompress: typeof decodeG1;
+export declare const g2Uncompress: typeof decodeG2;
+export declare function g1HashToGroup(msg: Uint8Array, dst: Uint8Array): G1;
+export declare function g2HashToGroup(msg: Uint8Array, dst: Uint8Array): G2;
+export declare function millerLoop(a: G1, b: G2): Fp12;
+export declare function finalExponentiate(res: Fp12): Fp12;
+export declare function mulMlResult(a: Fp12, b: Fp12): Fp12;
+export declare function finalVerify(a: Fp12, b: Fp12): boolean;
+export declare function fp12Equals(a: Fp12, b: Fp12): boolean;
+export {};
+//# sourceMappingURL=Bls12_381.d.ts.map

package/types/Crypto/Bls12_381.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bls12_381.d.ts","sourceRoot":"","sources":["../../src/Crypto/Bls12_381.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAMzC,MAAM,MAAM,EAAE,GAAG,MAAM,CAAA;AACvB,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;AAClC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;AACjC,MAAM,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;AAE7B,MAAM,MAAM,EAAE,GAAG;IACf,CAAC,EAAE,EAAE,CAAA;IACL,CAAC,EAAE,EAAE,CAAA;IACL,CAAC,EAAE,EAAE,CAAA;CACN,CAAA;AAED,MAAM,MAAM,EAAE,GAAG;IACf,CAAC,EAAE,GAAG,CAAA;IACN,CAAC,EAAE,GAAG,CAAA;IACN,CAAC,EAAE,GAAG,CAAA;CACP,CAAA;AAED,KAAK,MAAM,CAAC,CAAC,IAAI;IACf,CAAC,EAAE,CAAC,CAAA;IACJ,CAAC,EAAE,CAAC,CAAA;CACL,CAAA;AAsID,eAAO,MAAM,CAAC,uHACwG,CAAA;AAEtH,eAAO,MAAM,CAAC,iFACkE,CAAA;AAschF,eAAO,MAAM,YAAY,EAAE,EAAsC,CAAA;AACjE,eAAO,MAAM,YAAY,EAAE,EAAsC,CAAA;AAEjE,wBAAgB,MAAM,IAAI,EAAE,CAE3B;AAED,wBAAgB,MAAM,IAAI,EAAE,CAE3B;AAUD,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAK9C;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAK/C;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAO5C;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAO7C;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,CAG9C;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,CAK9C;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,EAAE,GAAG,OAAO,CAS7C;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,EAAE,GAAG,OAAO,CAS7C;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAK/B;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAK/B;AA2DD,wBAAgB,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAEtC;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAEtC;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAEzD;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAEzD;AAwDD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,EAAE,GAAG,UAAU,CAU9C;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,EAAE,GAAG,UAAU,CAU9C;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,eAAe,CAAC,CA0ClG;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,eAAe,CAAC,CA0ClG;AAED,eAAO,MAAM,UAAU,iBAAW,CAAA;AAClC,eAAO,MAAM,UAAU,iBAAW,CAAA;AAClC,eAAO,MAAM,YAAY,iBAAW,CAAA;AACpC,eAAO,MAAM,YAAY,iBAAW,CAAA;AAmNpC,wBAAgB,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,GAAG,EAAE,CAclE;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,GAAG,EAAE,CAelE;AA2FD,wBAAgB,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,CAa7C;AAsCD,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,IAAI,CAkBjD;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,CAElD;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,OAAO,CAErD;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,OAAO,CAEpD"}

package/types/Crypto/Bls12_381_hash_constants.d.ts

@@ -0,0 +1,9 @@
+/**
+ * @type {[bigint[], bigint[], bigint[], bigint[]]}
+ */
+export declare const ISOGENY_COEFFICIENTS_G1: bigint[][];
+/**
+ * @type {[[bigint, bigint][], [bigint, bigint][], [bigint, bigint][], [bigint, bigint][]]}
+ */
+export declare const ISOGENY_COEFFICIENTS_G2: bigint[][][];
+//# sourceMappingURL=Bls12_381_hash_constants.d.ts.map

package/types/Crypto/Bls12_381_hash_constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bls12_381_hash_constants.d.ts","sourceRoot":"","sources":["../../src/Crypto/Bls12_381_hash_constants.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,uBAAuB,YAqHnC,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,uBAAuB,cAoEnC,CAAA"}

package/types/Crypto/index.d.ts

@@ -1,6 +1,7 @@
 export * as Bip32 from "./Bip32.js";
 export * as Bip39 from "./Bip39.js";
 export * as Blake2b from "./Blake2b.js";
+export * as Bls12_381 from "./Bls12_381.js";
 export * as Curve from "./Curve.js";
 export * as Ed25519 from "./Ed25519.js";
 export * as EdDSA from "./EdDSA.js";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/Crypto/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/Crypto/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA"}