finitefields 0.0.6 → 0.0.7

package/ellipticcurves.ts

@@ -0,0 +1,147 @@
+/*
+ * elliptic curves
+ *
+ * finitefields package by @dr-Jonas-Birch
+ *
+ * 2026
+ *
+ */
+
+import type { PrimeField } from "./galois.js";
+
+let log:(...x:any[])=>void;
+let fail:(...x:any[])=>never;
+let p256:ECCurve;
+
+log = console.log;
+fail = (...args:any[]): never => {
+    console.error(...args);
+    throw new Error(args.toString());
+
+    return void 0 as never;
+}
+
+p256 = {
+   '#E': 0xffffffff00000000_ffffffffffffffff_bce6faada7179e84_f3b9cac2fc632551n,
+    'θ': 0xffffffff00000001_0000000000000000_00000000ffffffff_ffffffffffffffffn,
+    'b': 0x5ac635d8aa3a93e7_b3ebbd55769886bc_651d06b0cc53b0f6_3bce3c3e27d2604bn,
+    'p':
+     [
+        0x6b17d1f2e12c4247_f8bce6e563a440f2_77037d812deb33a0_f4a13945d898c296n,
+        0x4fe342e2fe1a7f9b_8ee7eb4a7c0f9e16_2bce33576b315ece_cbb6406837bf51f5n
+     ],
+     'q':
+      [
+        0xc97445f45cdef9f0_d3e05e1e585fc297_235b82b5be8ff3ef_ca67c59852018192n,
+        0xb28ef557ba31dfcb_dd21ac46e2a91e3c_304f44cb87058ada_2cb815151e610046n
+      ]
+}
+
+type Tuple<a> = readonly [a,a];
+type infinity = false | true;
+
+interface Tuples {
+    'p':    Tuple<bigint>;
+    'q':    Tuple<bigint>;
+}
+
+interface IECCurve {
+    'θ':    bigint;
+    'b':    bigint;
+}
+
+type hashE = {'#E':bigint};
+interface ECCurve extends IECCurve,Tuples,hashE {};
+
+interface Iellipticcurves<a> {
+    backend: a;
+    constructor:Function;
+}
+
+interface Icurve extends IECCurve {
+    p: Point;
+    q: Point;
+    constructor:Function;
+}
+
+interface Ipoint {
+    'x': bigint;
+    'y': bigint;
+    '∞': infinity;
+    constructor: Function;
+}
+
+class Point implements Ipoint {
+    public 'x':bigint;
+    public 'y':bigint;
+    public '∞':infinity;
+
+    constructor(point:Tuple<bigint>) {
+        [ this['x'], this['y'], this['∞'] ] = [0n,0n,false];
+
+        switch (point.every((xy:bigint):xy is bigint=>!xy)) {
+            case true:
+                [ this['x'], this['y'] ] = point;
+                break;
+            case false:
+                (this['∞'] as unknown as number)++;
+                break;
+            default:
+                return fail();
+        }
+
+        return this;
+    }
+}
+
+class Curve<a> implements Icurve {
+    #E: bigint;
+    public θ: bigint;
+    public b: bigint;
+    public p: Point;
+    public q: Point;
+    private object: EllipticCurves<a>;
+    
+    constructor(object:EllipticCurves<a>,curve:ECCurve) {
+        let m:string;
+
+        m = 'argument error (incomplete curve params)' as const;
+        this.#E = curve['#E']
+            || fail(m);
+        this.θ = curve.θ
+            || fail(m);
+        this.b = curve.b
+            || fail(m);
+        this.p = new Point(curve.p);
+        this.q = new Point(curve.q);
+        this.object = object;
+
+        return this;
+    }
+}
+
+abstract class EllipticCurves<a> implements Iellipticcurves<a> {
+    public abstract backend: a;
+    private curve: Curve<a>;
+
+    constructor(curve:ECCurve) {
+        this.curve = new Curve<a>(this,curve);
+
+        return this;
+    }
+}
+
+class ECoverℤp extends EllipticCurves<PrimeField>
+    implements Iellipticcurves<PrimeField>
+{
+    public backend:PrimeField;
+
+    constructor(field:PrimeField, curve:ECCurve) {
+        super(curve);
+        this.backend = field;
+
+        return this;
+    }
+}
+
+export { ECoverℤp };

package/main.js

@@ -1,6 +1,7 @@
 /* main.ts */
 import { Polynomial } from './polynomial.js';
 import { Util, PrimeField } from './galois.js';
+import { ECoverℤp } from './ellipticcurves.js';
 let log;
 log = console.log;
 let p1;
@@ -21,5 +22,5 @@ p2 = new Polynomial({ tobject: 0n, x3: 1n, x2: 0n, x: 1n, 1: 1n }, 2n);
 p3 = new Polynomial(1n << 254n, 2n);
 log(p3, p3.eval());
 // log(p3.eval());
-export { Polynomial, Util, PrimeField };
+export { Polynomial, Util, PrimeField, ECoverℤp };
 //# sourceMappingURL=main.js.map

package/main.ts

@@ -1,6 +1,7 @@
 /* main.ts */
 import { Polynomial } from './polynomial.js';
 import { Util,PrimeField } from './galois.js';
+import { ECoverℤp } from './ellipticcurves.js';
 
 let log:(...x:any[])=>void;
 log = console.log;
@@ -27,4 +28,4 @@ p3 = new Polynomial(1n<<254n, 2n);
 log(p3, p3.eval());
 // log(p3.eval());
 
-export { Polynomial,Util,PrimeField };
+export { Polynomial,Util,PrimeField,ECoverℤp };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "finitefields",
   "type": "module",
-  "version": "0.0.6",
+  "version": "0.0.7",
   "description": "Galois/Finite field crypto and raw elliptic curves",
   "main": "main.js",
   "scripts": {