@aztec/foundation 0.0.0-test.1 → 0.0.1-commit.017a351

package/dest/curves/bn254/point.js

@@ -0,0 +1,143 @@
+import { BN254_G1_GENERATOR, BN254_G2_GENERATOR, BarretenbergSync } from '@aztec/bb.js';
+import { Fq } from './field.js';
+/**
+ * BN254 G1 point using foundation field classes.
+ * Represents a point on the BN254 elliptic curve in affine coordinates.
+ */ export class Bn254G1Point {
+    x;
+    y;
+    constructor(x, y){
+        this.x = x;
+        this.y = y;
+    }
+    toBbApiPoint() {
+        return {
+            x: this.x.toBuffer(),
+            y: this.y.toBuffer()
+        };
+    }
+    static fromBbApiPoint(point) {
+        return new Bn254G1Point(Fq.fromBuffer(Buffer.from(point.x)), Fq.fromBuffer(Buffer.from(point.y)));
+    }
+    async isOnCurve() {
+        await BarretenbergSync.initSingleton();
+        const api = BarretenbergSync.getSingleton();
+        const apiPoint = this.toBbApiPoint();
+        const response = api.bn254G1IsOnCurve({
+            point: apiPoint
+        });
+        return response.isOnCurve;
+    }
+    /**
+   * Get the generator point for BN254 G1, or perform scalar multiplication.
+   * When called without arguments, returns the base generator point.
+   * When called with a scalar, returns scalar * generator (useful for public key derivation).
+   */ static async generator(scalar) {
+        if (!scalar) {
+            return new Bn254G1Point(Fq.fromBuffer(Buffer.from(BN254_G1_GENERATOR.x)), Fq.fromBuffer(Buffer.from(BN254_G1_GENERATOR.y)));
+        }
+        await BarretenbergSync.initSingleton();
+        const api = BarretenbergSync.getSingleton();
+        const response = api.bn254G1Mul({
+            point: BN254_G1_GENERATOR,
+            scalar: scalar.toBuffer()
+        });
+        return Bn254G1Point.fromBbApiPoint(response.point);
+    }
+    /**
+   * Decompress a BN254 G1 point from compressed form (32 bytes).
+   * The compressed format encodes the x-coordinate and the sign bit of the y-coordinate
+   * in the most significant bit.
+   */ static async fromCompressed(compressed) {
+        if (compressed.length !== 32) {
+            throw new Error('Invalid compressed point length');
+        }
+        await BarretenbergSync.initSingleton();
+        const api = BarretenbergSync.getSingleton();
+        const response = api.bn254G1FromCompressed({
+            compressed: new Uint8Array(compressed)
+        });
+        return Bn254G1Point.fromBbApiPoint(response.point);
+    }
+    /**
+   * Compress this BN254 G1 point to 32 bytes.
+   * The compressed format encodes the x-coordinate and the sign bit of the y-coordinate
+   * in the most significant bit (bit 255).
+   */ compress() {
+        const xBytes = this.x.toBuffer();
+        // Get the least significant bit of y to determine the sign
+        const yLsb = this.y.toBigInt() & 1n;
+        // If y is odd, set the most significant bit (bit 255) of the output
+        if (yLsb === 1n) {
+            xBytes[0] |= 0x80;
+        }
+        return xBytes;
+    }
+    equals(other) {
+        return this.x.equals(other.x) && this.y.equals(other.y);
+    }
+    toString() {
+        return `Bn254G1Point(x: ${this.x.toString()}, y: ${this.y.toString()})`;
+    }
+}
+/**
+ * BN254 G2 point using foundation field classes.
+ * Represents a point on the BN254 G2 curve (twist curve) in affine coordinates.
+ * G2 points use extension field coordinates (Fq2).
+ */ export class Bn254G2Point {
+    x;
+    y;
+    constructor(x, y){
+        this.x = x;
+        this.y = y;
+    }
+    toBbApiPoint() {
+        return {
+            x: [
+                this.x[0].toBuffer(),
+                this.x[1].toBuffer()
+            ],
+            y: [
+                this.y[0].toBuffer(),
+                this.y[1].toBuffer()
+            ]
+        };
+    }
+    static fromBbApiPoint(point) {
+        return new Bn254G2Point([
+            Fq.fromBuffer(Buffer.from(point.x[0])),
+            Fq.fromBuffer(Buffer.from(point.x[1]))
+        ], [
+            Fq.fromBuffer(Buffer.from(point.y[0])),
+            Fq.fromBuffer(Buffer.from(point.y[1]))
+        ]);
+    }
+    /**
+   * Get the generator point for BN254 G2, or perform scalar multiplication.
+   * When called without arguments, returns the base generator point.
+   * When called with a scalar, returns scalar * generator.
+   */ static async generator(scalar) {
+        if (!scalar) {
+            return new Bn254G2Point([
+                Fq.fromBuffer(Buffer.from(BN254_G2_GENERATOR.x[0])),
+                Fq.fromBuffer(Buffer.from(BN254_G2_GENERATOR.x[1]))
+            ], [
+                Fq.fromBuffer(Buffer.from(BN254_G2_GENERATOR.y[0])),
+                Fq.fromBuffer(Buffer.from(BN254_G2_GENERATOR.y[1]))
+            ]);
+        }
+        await BarretenbergSync.initSingleton();
+        const api = BarretenbergSync.getSingleton();
+        const response = api.bn254G2Mul({
+            point: BN254_G2_GENERATOR,
+            scalar: scalar.toBuffer()
+        });
+        return Bn254G2Point.fromBbApiPoint(response.point);
+    }
+    equals(other) {
+        return this.x[0].equals(other.x[0]) && this.x[1].equals(other.x[1]) && this.y[0].equals(other.y[0]) && this.y[1].equals(other.y[1]);
+    }
+    toString() {
+        return `Bn254G2Point(x: (${this.x[0].toString()}, ${this.x[1].toString()}), y: (${this.y[0].toString()}, ${this.y[1].toString()}))`;
+    }
+}

package/dest/curves/grumpkin/index.d.ts

@@ -0,0 +1,10 @@
+import { Fq } from '../bn254/field.js';
+export * from './point.js';
+/**
+ * GrumpkinScalar is an Fq.
+ * @remarks Called GrumpkinScalar because it is used to represent elements in Grumpkin's scalar field as defined in
+ *          the Aztec Protocol Specs.
+ */
+export type GrumpkinScalar = Fq;
+export declare const GrumpkinScalar: typeof Fq;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jdXJ2ZXMvZ3J1bXBraW4vaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRXZDLGNBQWMsWUFBWSxDQUFDO0FBRTNCOzs7O0dBSUc7QUFDSCxNQUFNLE1BQU0sY0FBYyxHQUFHLEVBQUUsQ0FBQztBQUNoQyxlQUFPLE1BQU0sY0FBYyxXQUFLLENBQUMifQ==

package/dest/curves/grumpkin/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/curves/grumpkin/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,mBAAmB,CAAC;AAEvC,cAAc,YAAY,CAAC;AAE3B;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,EAAE,CAAC;AAChC,eAAO,MAAM,cAAc,WAAK,CAAC"}

package/dest/curves/grumpkin/index.js

@@ -0,0 +1,3 @@
+import { Fq } from '../bn254/field.js';
+export * from './point.js';
+export const GrumpkinScalar = Fq;

package/dest/{fields → curves/grumpkin}/point.d.ts

@@ -1,7 +1,5 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { BufferReader, FieldReader } from '../serialize/index.js';
-import { Fr } from './fields.js';
+import { BufferReader, FieldReader } from '../../serialize/index.js';
+import { Fr } from '../bn254/field.js';
 /**
  * Represents a Point on an elliptic curve with x and y coordinates.
  * The Point class provides methods for creating instances from different input types,
@@ -17,15 +15,13 @@ export declare class Point {
      * The point's y coordinate
      */
     readonly y: Fr;
-    /**
-     * Whether the point is at infinity
-     */
-    readonly isInfinite: boolean;
-    static ZERO: Point;
+    static INFINITY: Point;
     static SIZE_IN_BYTES: number;
     static COMPRESSED_SIZE_IN_BYTES: number;
     /** Used to differentiate this class from AztecAddress */
     readonly kind = "point";
+    /** Whether the point is at infinity */
+    readonly isInfinite: boolean;
     constructor(
     /**
      * The point's x coordinate
@@ -34,15 +30,20 @@ export declare class Point {
     /**
      * The point's y coordinate
      */
-    y: Fr, 
+    y: Fr);
+    toJSON(): `0x${string}`;
+    static get schema(): import("zod").ZodType<Point, string, import("zod/v4/core").$ZodTypeInternals<Point, string>>;
     /**
-     * Whether the point is at infinity
+     * Creates a Point from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * Handles buffers, existing instances, or objects with x, y, and isInfinite fields.
+     * @param obj - Plain object, buffer, or Point instance
+     * @returns A Point instance
      */
-    isInfinite: boolean);
-    toJSON(): `0x${string}`;
-    static get schema(): import("zod").ZodType<Point, any, string>;
+    static fromPlainObject(obj: any): Point;
     /**
-     * Generate a random Point instance.
+     * Generate a random Point instance that is on the curve.
      *
      * @returns A randomly generated Point instance.
      */
@@ -89,7 +90,8 @@ export declare class Point {
      */
     static fromXAndSign(x: Fr, sign: boolean): Promise<Point>;
     /**
-     * @returns
+     * @param x - The x coordinate of the point
+     * @returns y^2 such that y^2 = x^3 - 17
      */
     static YFromX(x: Fr): Promise<Fr | null>;
     /**
@@ -105,24 +107,18 @@ export declare class Point {
     toBigInts(): {
         x: bigint;
         y: bigint;
-        isInfinite: bigint;
     };
     /**
      * Converts the Point instance to a Buffer representation of the coordinates.
      * @returns A Buffer representation of the Point instance.
-     * @dev Note that toBuffer does not include the isInfinite flag and other serialization methods do (e.g. toFields).
-     * This is because currently when we work with point as bytes we don't want to populate the extra bytes for
-     * isInfinite flag because:
-     * 1. Our Grumpkin BB API currently does not handle point at infinity,
-     * 2. we use toBuffer when serializing notes and events and there we only work with public keys and point at infinity
-     *   is not considered a valid public key and the extra byte would raise DA cost.
+     * @dev Note that toBuffer does not include the isInfinite flag. The point at infinity is serialized as (0, 0).
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Converts the Point instance to a compressed Buffer representation of the coordinates.
      * @returns A Buffer representation of the Point instance
      */
-    toCompressedBuffer(): Buffer;
+    toCompressedBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Convert the Point instance to a hexadecimal string representation.
      * The output string is prefixed with '0x' and consists of exactly 128 hex characters,
@@ -143,13 +139,11 @@ export declare class Point {
     toNoirStruct(): {
         x: Fr;
         y: Fr;
-        is_infinite: boolean;
     };
     toWrappedNoirStruct(): {
         inner: {
             x: Fr;
             y: Fr;
-            is_infinite: boolean;
         };
     };
     /**
@@ -161,15 +155,14 @@ export declare class Point {
      */
     equals(rhs: Point): boolean;
     isZero(): boolean;
-    hash(): Promise<Fr>;
     /**
-     * Check if this is point at infinity.
-     * Check this is consistent with how bb is encoding the point at infinity
+     * @param x - The x coordinate of the point
+     * @param y - The y coordinate of the point
+     * @returns Whether the point exists on Grumpkin
      */
-    get inf(): boolean;
-    isOnGrumpkin(): boolean;
+    isOnCurve(): boolean;
 }
 export declare class NotOnCurveError extends Error {
     constructor(x: Fr);
 }
-//# sourceMappingURL=point.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicG9pbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jdXJ2ZXMvZ3J1bXBraW4vcG9pbnQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQXFCLE1BQU0sMEJBQTBCLENBQUM7QUFFeEYsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRXZDOzs7OztHQUtHO0FBQ0gscUJBQWEsS0FBSztJQVlkOztPQUVHO2FBQ2EsQ0FBQyxFQUFFLEVBQUU7SUFDckI7O09BRUc7YUFDYSxDQUFDLEVBQUUsRUFBRTtJQWxCdkIsTUFBTSxDQUFDLFFBQVEsUUFBK0I7SUFDOUMsTUFBTSxDQUFDLGFBQWEsU0FBd0I7SUFDNUMsTUFBTSxDQUFDLHdCQUF3QixTQUFvQjtJQUVuRCx5REFBeUQ7SUFDekQsU0FBZ0IsSUFBSSxXQUFXO0lBRS9CLHVDQUF1QztJQUN2QyxTQUFnQixVQUFVLEVBQUUsT0FBTyxDQUFDO0lBRXBDO0lBQ0U7O09BRUc7SUFDYSxDQUFDLEVBQUUsRUFBRTtJQUNyQjs7T0FFRztJQUNhLENBQUMsRUFBRSxFQUFFLEVBS3RCO0lBRUQsTUFBTSxrQkFFTDtJQUVELE1BQU0sS0FBSyxNQUFNLGlHQUdoQjtJQUVEOzs7Ozs7O09BT0c7SUFDSCxNQUFNLENBQUMsZUFBZSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsS0FBSyxDQVF0QztJQUVEOzs7O09BSUc7SUFDSCxPQUFhLE1BQU0sbUJBWWxCO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksU0FHOUM7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsb0JBQW9CLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsT0FBTyxDQUFDLEtBQUssQ0FBQyxDQVF6RTtJQUVEOzs7Ozs7O09BT0c7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLFNBRTVCO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxTQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxTQUkzQztJQUVEOzs7Ozs7OztPQVFHO0lBQ0gsT0FBYSxZQUFZLENBQUMsQ0FBQyxFQUFFLEVBQUUsRUFBRSxJQUFJLEVBQUUsT0FBTyxrQkFjN0M7SUFFRDs7O09BR0c7SUFDSCxNQUFNLENBQUMsTUFBTSxDQUFDLENBQUMsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLEVBQUUsR0FBRyxJQUFJLENBQUMsQ0FPdkM7SUFFRDs7OztPQUlHO0lBQ0gsVUFBVSxJQUFJLENBQUMsRUFBRSxFQUFFLE9BQU8sQ0FBQyxDQUUxQjtJQUVEOzs7T0FHRztJQUNILFNBQVM7OztNQUtSO0lBRUQ7Ozs7T0FJRztJQUNILFFBQVEsNEJBTVA7SUFFRDs7O09BR0c7SUFDSCxrQkFBa0IsNEJBV2pCO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsUUFBUSxrQkFFUDtJQUVEOzs7Ozs7O09BT0c7SUFDSCxhQUFhLFdBR1o7SUFFRCxZQUFZOzs7TUFFWDtJQUdELG1CQUFtQjs7Ozs7TUFFbEI7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsR0FBRyxFQUFFLEtBQUssV0FFaEI7SUFFRCxNQUFNLFlBRUw7SUFFRDs7OztPQUlHO0lBQ0gsU0FBUyxZQVVSO0NBQ0Y7QUFFRCxxQkFBYSxlQUFnQixTQUFRLEtBQUs7SUFDeEMsWUFBWSxDQUFDLEVBQUUsRUFBRSxFQUdoQjtDQUNGIn0=

package/dest/curves/grumpkin/point.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"point.d.ts","sourceRoot":"","sources":["../../../src/curves/grumpkin/point.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,0BAA0B,CAAC;AAExF,OAAO,EAAE,EAAE,EAAE,MAAM,mBAAmB,CAAC;AAEvC;;;;;GAKG;AACH,qBAAa,KAAK;IAYd;;OAEG;aACa,CAAC,EAAE,EAAE;IACrB;;OAEG;aACa,CAAC,EAAE,EAAE;IAlBvB,MAAM,CAAC,QAAQ,QAA+B;IAC9C,MAAM,CAAC,aAAa,SAAwB;IAC5C,MAAM,CAAC,wBAAwB,SAAoB;IAEnD,yDAAyD;IACzD,SAAgB,IAAI,WAAW;IAE/B,uCAAuC;IACvC,SAAgB,UAAU,EAAE,OAAO,CAAC;IAEpC;IACE;;OAEG;IACa,CAAC,EAAE,EAAE;IACrB;;OAEG;IACa,CAAC,EAAE,EAAE,EAKtB;IAED,MAAM,kBAEL;IAED,MAAM,KAAK,MAAM,iGAGhB;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,KAAK,CAQtC;IAED;;;;OAIG;IACH,OAAa,MAAM,mBAYlB;IAED;;;;;;OAMG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,SAG9C;IAED;;;;;;OAMG;IACH,MAAM,CAAC,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,CAQzE;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,SAE5B;IAED;;;OAGG;IACH,QAAQ,SAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,SAI3C;IAED;;;;;;;;OAQG;IACH,OAAa,YAAY,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,kBAc7C;IAED;;;OAGG;IACH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,CAOvC;IAED;;;;OAIG;IACH,UAAU,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAE1B;IAED;;;OAGG;IACH,SAAS;;;MAKR;IAED;;;;OAIG;IACH,QAAQ,4BAMP;IAED;;;OAGG;IACH,kBAAkB,4BAWjB;IAED;;;;;;OAMG;IACH,QAAQ,kBAEP;IAED;;;;;;;OAOG;IACH,aAAa,WAGZ;IAED,YAAY;;;MAEX;IAGD,mBAAmB;;;;;MAElB;IAED;;;;;;OAMG;IACH,MAAM,CAAC,GAAG,EAAE,KAAK,WAEhB;IAED,MAAM,YAEL;IAED;;;;OAIG;IACH,SAAS,YAUR;CACF;AAED,qBAAa,eAAgB,SAAQ,KAAK;IACxC,YAAY,CAAC,EAAE,EAAE,EAGhB;CACF"}

package/dest/{fields → curves/grumpkin}/point.js

@@ -1,10 +1,9 @@
-import { toBigIntBE } from '../bigint-buffer/index.js';
-import { poseidon2Hash } from '../crypto/poseidon/index.js';
-import { randomBoolean } from '../crypto/random/index.js';
-import { hexSchemaFor } from '../schemas/utils.js';
-import { BufferReader, FieldReader, serializeToBuffer } from '../serialize/index.js';
-import { bufferToHex, hexToBuffer } from '../string/index.js';
-import { Fr } from './fields.js';
+import { toBigIntBE } from '../../bigint-buffer/index.js';
+import { randomBoolean } from '../../crypto/random/index.js';
+import { hexSchemaFor } from '../../schemas/utils.js';
+import { BufferReader, FieldReader, serializeToBuffer } from '../../serialize/index.js';
+import { bufferToHex, hexToBuffer } from '../../string/index.js';
+import { Fr } from '../bn254/field.js';
 /**
  * Represents a Point on an elliptic curve with x and y coordinates.
  * The Point class provides methods for creating instances from different input types,
@@ -13,32 +12,48 @@ import { Fr } from './fields.js';
  */ export class Point {
     x;
     y;
-    isInfinite;
-    static ZERO = new Point(Fr.ZERO, Fr.ZERO, false);
+    static INFINITY = new Point(Fr.ZERO, Fr.ZERO);
     static SIZE_IN_BYTES = Fr.SIZE_IN_BYTES * 2;
     static COMPRESSED_SIZE_IN_BYTES = Fr.SIZE_IN_BYTES;
     /** Used to differentiate this class from AztecAddress */ kind;
+    /** Whether the point is at infinity */ isInfinite;
     constructor(/**
      * The point's x coordinate
      */ x, /**
      * The point's y coordinate
-     */ y, /**
-     * Whether the point is at infinity
-     */ isInfinite){
+     */ y){
         this.x = x;
         this.y = y;
-        this.isInfinite = isInfinite;
         this.kind = 'point';
-    // TODO(#7386): check if on curve
+        // TODO(#7386): check if on curve
+        // NOTE: now there is no isInfinite in the struct, empty == inf, so an empty class would pass an on-curve check. This may be fine depending on the usage.
+        this.isInfinite = x.isZero() && y.isZero();
     }
     toJSON() {
         return this.toString();
     }
     static get schema() {
+        // Serialization from hex string.
         return hexSchemaFor(Point);
     }
     /**
-   * Generate a random Point instance.
+   * Creates a Point from a plain object without Zod validation.
+   * This method is optimized for performance and skips validation, making it suitable
+   * for deserializing trusted data (e.g., from C++ via MessagePack).
+   * Handles buffers, existing instances, or objects with x, y, and isInfinite fields.
+   * @param obj - Plain object, buffer, or Point instance
+   * @returns A Point instance
+   */ static fromPlainObject(obj) {
+        if (obj instanceof Point) {
+            return obj;
+        }
+        if (obj instanceof Buffer || Buffer.isBuffer(obj)) {
+            return Point.fromBuffer(obj);
+        }
+        return new this(Fr.fromPlainObject(obj.x), Fr.fromPlainObject(obj.y));
+    }
+    /**
+   * Generate a random Point instance that is on the curve.
    *
    * @returns A randomly generated Point instance.
    */ static async random() {
@@ -61,7 +76,7 @@ import { Fr } from './fields.js';
    * @returns A Point instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new this(Fr.fromBuffer(reader), Fr.fromBuffer(reader), false);
+        return new this(Fr.fromBuffer(reader), Fr.fromBuffer(reader));
     }
     /**
    * Create a Point instance from a compressed buffer.
@@ -92,13 +107,16 @@ import { Fr } from './fields.js';
    */ toFields() {
         return [
             this.x,
-            this.y,
-            new Fr(this.isInfinite)
+            this.y
         ];
     }
     static fromFields(fields) {
         const reader = FieldReader.asReader(fields);
-        return new this(reader.readField(), reader.readField(), reader.readBoolean());
+        const [x, y] = [
+            reader.readField(),
+            reader.readField()
+        ];
+        return new this(x, y);
     }
     /**
    * Uses the x coordinate and isPositive flag (+/-) to reconstruct the point.
@@ -118,10 +136,11 @@ import { Fr } from './fields.js';
         // Choose the positive or negative root based on isPositive
         const finalY = sign ? new Fr(yPositiveBigInt) : new Fr(yNegativeBigInt);
         // Create and return the new Point
-        return new this(x, finalY, false);
+        return new this(x, finalY);
     }
     /**
-   * @returns
+   * @param x - The x coordinate of the point
+   * @returns y^2 such that y^2 = x^3 - 17
    */ static YFromX(x) {
         // Calculate y^2 = x^3 - 17 (i.e. the Grumpkin curve equation)
         const ySquared = x.square().mul(x).sub(new Fr(17));
@@ -145,23 +164,14 @@ import { Fr } from './fields.js';
    */ toBigInts() {
         return {
             x: this.x.toBigInt(),
-            y: this.y.toBigInt(),
-            isInfinite: this.isInfinite ? 1n : 0n
+            y: this.y.toBigInt()
         };
     }
     /**
    * Converts the Point instance to a Buffer representation of the coordinates.
    * @returns A Buffer representation of the Point instance.
-   * @dev Note that toBuffer does not include the isInfinite flag and other serialization methods do (e.g. toFields).
-   * This is because currently when we work with point as bytes we don't want to populate the extra bytes for
-   * isInfinite flag because:
-   * 1. Our Grumpkin BB API currently does not handle point at infinity,
-   * 2. we use toBuffer when serializing notes and events and there we only work with public keys and point at infinity
-   *   is not considered a valid public key and the extra byte would raise DA cost.
+   * @dev Note that toBuffer does not include the isInfinite flag. The point at infinity is serialized as (0, 0).
    */ toBuffer() {
-        if (this.isInfinite) {
-            throw new Error('Cannot serialize infinite point without isInfinite flag');
-        }
         const buf = serializeToBuffer([
             this.x,
             this.y
@@ -207,18 +217,17 @@ import { Fr } from './fields.js';
         return `${str.slice(0, 10)}...${str.slice(-4)}`;
     }
     toNoirStruct() {
-        /* eslint-disable camelcase */ return {
+        return {
             x: this.x,
-            y: this.y,
-            is_infinite: this.isInfinite
+            y: this.y
         };
-    /* eslint-enable camelcase */ }
-    // Used for IvpkM, OvpkM, NpkM and TpkM. TODO(#8124): Consider removing this method.
+    }
+    // Used for IvpkM. TODO(#8124): Consider removing this method.
     toWrappedNoirStruct() {
-        /* eslint-disable camelcase */ return {
+        return {
             inner: this.toNoirStruct()
         };
-    /* eslint-enable camelcase */ }
+    }
     /**
    * Check if two Point instances are equal by comparing their buffer values.
    * Returns true if the buffer values are the same, and false otherwise.
@@ -231,18 +240,12 @@ import { Fr } from './fields.js';
     isZero() {
         return this.x.isZero() && this.y.isZero();
     }
-    hash() {
-        return poseidon2Hash(this.toFields());
-    }
     /**
-   * Check if this is point at infinity.
-   * Check this is consistent with how bb is encoding the point at infinity
-   */ get inf() {
-        return this.isInfinite;
-    }
-    isOnGrumpkin() {
-        // TODO: Check this against how bb handles curve check and infinity point check
-        if (this.inf) {
+   * @param x - The x coordinate of the point
+   * @param y - The y coordinate of the point
+   * @returns Whether the point exists on Grumpkin
+   */ isOnCurve() {
+        if (this.isInfinite) {
             return true;
         }
         // The Grumpkin equation is y^2 = x^3 - 17. We could use `YFromX` and then compare to `this.y`, but this would

package/dest/decorators/index.d.ts

@@ -1,2 +1,2 @@
 export * from './memoize.js';
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9kZWNvcmF0b3JzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsY0FBYyxDQUFDIn0=

package/dest/decorators/memoize.d.ts

@@ -1,2 +1,2 @@
 export declare function memoize<This extends object, Result>(fn: () => Result, context: ClassMethodDecoratorContext): (this: This) => Result;
-//# sourceMappingURL=memoize.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVtb2l6ZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2RlY29yYXRvcnMvbWVtb2l6ZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSx3QkFBZ0IsT0FBTyxDQUFDLElBQUksU0FBUyxNQUFNLEVBQUUsTUFBTSxFQUFFLEVBQUUsRUFBRSxNQUFNLE1BQU0sRUFBRSxPQUFPLEVBQUUsMkJBQTJCLDBCQVUxRyJ9

package/dest/decorators/memoize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"memoize.d.ts","sourceRoot":"","sources":["../../src/decorators/memoize.ts"],"names":[],"mappings":"AAAA,wBAAgB,OAAO,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,MAAM,EAAE,OAAO,EAAE,2BAA2B,UAClF,IAAI,YAS5B"}
+{"version":3,"file":"memoize.d.ts","sourceRoot":"","sources":["../../src/decorators/memoize.ts"],"names":[],"mappings":"AAAA,wBAAgB,OAAO,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,MAAM,EAAE,OAAO,EAAE,2BAA2B,0BAU1G"}

package/dest/error/index.d.ts

@@ -18,4 +18,4 @@ export declare class TimeoutError extends Error {
 export declare class AbortError extends Error {
     readonly name = "AbortError";
 }
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lcnJvci9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7OztHQUlHO0FBQ0gscUJBQWEsY0FBZSxTQUFRLEtBQUs7SUFDdkMsU0FBeUIsSUFBSSxvQkFBb0I7Q0FDbEQ7QUFFRDs7R0FFRztBQUNILHFCQUFhLFlBQWEsU0FBUSxLQUFLO0lBQ3JDLFNBQXlCLElBQUksa0JBQWtCO0NBQ2hEO0FBRUQ7O0dBRUc7QUFDSCxxQkFBYSxVQUFXLFNBQVEsS0FBSztJQUNuQyxTQUF5QixJQUFJLGdCQUFnQjtDQUM5QyJ9

package/dest/eth-address/index.d.ts

@@ -1,8 +1,5 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { inspect } from 'util';
-import { Fr } from '../fields/index.js';
+import { Fr } from '../curves/bn254/index.js';
 import { BufferReader, FieldReader } from '../serialize/index.js';
 /**
  * Represents an Ethereum address as a 20-byte buffer and provides various utility methods
@@ -26,6 +23,15 @@ export declare class EthAddress {
      * @returns An EthAddress instance.
      */
     static fromString(address: string): EthAddress;
+    /**
+     * Creates an EthAddress from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * Handles buffers (20 or 32 bytes), strings, or existing instances.
+     * @param obj - Plain object, buffer, string, or EthAddress instance
+     * @returns An EthAddress instance
+     */
+    static fromPlainObject(obj: any): EthAddress;
     /**
      * Create a random EthAddress instance with 20 random bytes.
      * This method generates a new Ethereum address with a randomly generated set of 20 bytes.
@@ -70,7 +76,7 @@ export declare class EthAddress {
      * @param address - The Ethereum address as a hex-encoded string.
      * @returns The Ethereum address in its checksum format.
      */
-    static toChecksumAddress(address: string): string;
+    static toChecksumAddress(address: string): `0x${string}`;
     /**
      * Checks whether the given EthAddress instance is equal to the current instance.
      * Equality is determined by comparing the underlying byte buffers of both instances.
@@ -95,12 +101,12 @@ export declare class EthAddress {
      *
      * @returns A checksummed Ethereum address string.
      */
-    toChecksumString(): string;
+    toChecksumString(): `0x${string}`;
     /**
      * Returns a 20-byte buffer representation of the Ethereum address.
      * @returns A 20-byte Buffer containing the Ethereum address.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Returns a 32-byte buffer representation of the Ethereum address, with the original 20-byte address
      * occupying the last 20 bytes and the first 12 bytes being zero-filled.
@@ -108,7 +114,7 @@ export declare class EthAddress {
      *
      * @returns A 32-byte Buffer containing the padded Ethereum address.
      */
-    toBuffer32(): Buffer;
+    toBuffer32(): Buffer<ArrayBuffer>;
     /**
      * Returns a new field with the same contents as this EthAddress.
      *
@@ -128,7 +134,10 @@ export declare class EthAddress {
      * @returns The EthAddress.
      */
     static fromBuffer(buffer: Buffer | BufferReader): EthAddress;
+    /** Converts a number into an address. Useful for testing. */
+    static fromNumber(num: bigint | number): EthAddress;
     toJSON(): `0x${string}`;
-    static get schema(): import("zod").ZodType<EthAddress, any, string>;
+    static get schema(): import("zod").ZodType<EthAddress, string, import("zod/v4/core").$ZodTypeInternals<EthAddress, string>>;
+    static areEqual(a: EthAddress | string, b: EthAddress | string): boolean;
 }
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ldGgtYWRkcmVzcy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBSS9CLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUU5QyxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBR2xFOzs7OztHQUtHO0FBQ0gscUJBQWEsVUFBVTtJQU1ULE9BQU8sQ0FBQyxNQUFNO0lBTDFCLGdEQUFnRDtJQUNoRCxPQUFjLGFBQWEsU0FBTTtJQUNqQywwRUFBMEU7SUFDMUUsT0FBYyxJQUFJLGFBQTBEO0lBRTVFLFlBQW9CLE1BQU0sRUFBRSxNQUFNLEVBSWpDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNILE9BQWMsVUFBVSxDQUFDLE9BQU8sRUFBRSxNQUFNLGNBS3ZDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNILE9BQWMsZUFBZSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsVUFBVSxDQVFsRDtJQUVEOzs7Ozs7T0FNRztJQUNILE9BQWMsTUFBTSxlQUVuQjtJQUVEOzs7Ozs7OztPQVFHO0lBQ0gsT0FBYyxTQUFTLENBQUMsT0FBTyxFQUFFLE1BQU0sV0FVdEM7SUFFRDs7Ozs7T0FLRztJQUNJLE1BQU0sWUFFWjtJQUVEOzs7Ozs7O09BT0c7SUFDSCxPQUFjLG9CQUFvQixDQUFDLE9BQU8sRUFBRSxNQUFNLFdBY2pEO0lBRUQ7Ozs7Ozs7OztPQVNHO0lBQ0gsT0FBYyxpQkFBaUIsQ0FBQyxPQUFPLEVBQUUsTUFBTSxHQUFHLEtBQUssTUFBTSxFQUFFLENBa0I5RDtJQUVEOzs7Ozs7T0FNRztJQUNJLE1BQU0sQ0FBQyxHQUFHLEVBQUUsVUFBVSxXQUU1QjtJQUVEOzs7Ozs7T0FNRztJQUNJLFFBQVEsa0JBRWQ7SUFFRCxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsV0FFZjtJQUVEOzs7Ozs7T0FNRztJQUNJLGdCQUFnQixrQkFFdEI7SUFFRDs7O09BR0c7SUFDSSxRQUFRLDRCQUVkO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksVUFBVSx3QkFJaEI7SUFFRDs7OztPQUlHO0lBQ0ksT0FBTyxPQUViO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsRUFBRSxFQUFFLEVBQUUsR0FBRyxVQUFVLENBRW5DO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxjQUczQztJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLFVBQVUsQ0FHM0Q7SUFFRCw2REFBNkQ7SUFDN0QsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLE1BQU0sR0FBRyxVQUFVLENBSWxEO0lBRUQsTUFBTSxrQkFFTDtJQUVELE1BQU0sS0FBSyxNQUFNLDJHQUdoQjtJQUVELE1BQU0sQ0FBQyxRQUFRLENBQUMsQ0FBQyxFQUFFLFVBQVUsR0FBRyxNQUFNLEVBQUUsQ0FBQyxFQUFFLFVBQVUsR0FBRyxNQUFNLFdBSTdEO0NBQ0YifQ==

package/dest/eth-address/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/eth-address/index.ts"],"names":[],"mappings":";;;AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAI/B,OAAO,EAAE,EAAE,EAAE,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAIlE;;;;;GAKG;AACH,qBAAa,UAAU;IAMT,OAAO,CAAC,MAAM;IAL1B,gDAAgD;IAChD,OAAc,aAAa,SAAM;IACjC,0EAA0E;IAC1E,OAAc,IAAI,aAA0D;gBAExD,MAAM,EAAE,MAAM;IAMlC;;;;;;;OAOG;WACW,UAAU,CAAC,OAAO,EAAE,MAAM;IAOxC;;;;;;OAMG;WACW,MAAM;IAIpB;;;;;;;;OAQG;WACW,SAAS,CAAC,OAAO,EAAE,MAAM;IAYvC;;;;;OAKG;IACI,MAAM;IAIb;;;;;;;OAOG;WACW,oBAAoB,CAAC,OAAO,EAAE,MAAM;IAgBlD;;;;;;;;;OASG;WACW,iBAAiB,CAAC,OAAO,EAAE,MAAM;IAoB/C;;;;;;OAMG;IACI,MAAM,CAAC,GAAG,EAAE,UAAU;IAI7B;;;;;;OAMG;IACI,QAAQ;IAIf,CAAC,OAAO,CAAC,MAAM,CAAC;IAIhB;;;;;;OAMG;IACI,gBAAgB;IAIvB;;;OAGG;IACI,QAAQ;IAIf;;;;;;OAMG;IACI,UAAU;IAMjB;;;;OAIG;IACI,OAAO;IAId;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,UAAU;IAIpC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU;IAK5D,MAAM;IAIN,MAAM,KAAK,MAAM,mDAEhB;CACF"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/eth-address/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAI/B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGlE;;;;;GAKG;AACH,qBAAa,UAAU;IAMT,OAAO,CAAC,MAAM;IAL1B,gDAAgD;IAChD,OAAc,aAAa,SAAM;IACjC,0EAA0E;IAC1E,OAAc,IAAI,aAA0D;IAE5E,YAAoB,MAAM,EAAE,MAAM,EAIjC;IAED;;;;;;;OAOG;IACH,OAAc,UAAU,CAAC,OAAO,EAAE,MAAM,cAKvC;IAED;;;;;;;OAOG;IACH,OAAc,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,UAAU,CAQlD;IAED;;;;;;OAMG;IACH,OAAc,MAAM,eAEnB;IAED;;;;;;;;OAQG;IACH,OAAc,SAAS,CAAC,OAAO,EAAE,MAAM,WAUtC;IAED;;;;;OAKG;IACI,MAAM,YAEZ;IAED;;;;;;;OAOG;IACH,OAAc,oBAAoB,CAAC,OAAO,EAAE,MAAM,WAcjD;IAED;;;;;;;;;OASG;IACH,OAAc,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,MAAM,EAAE,CAkB9D;IAED;;;;;;OAMG;IACI,MAAM,CAAC,GAAG,EAAE,UAAU,WAE5B;IAED;;;;;;OAMG;IACI,QAAQ,kBAEd;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAEf;IAED;;;;;;OAMG;IACI,gBAAgB,kBAEtB;IAED;;;OAGG;IACI,QAAQ,4BAEd;IAED;;;;;;OAMG;IACI,UAAU,wBAIhB;IAED;;;;OAIG;IACI,OAAO,OAEb;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,UAAU,CAEnC;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,cAG3C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU,CAG3D;IAED,6DAA6D;IAC7D,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAIlD;IAED,MAAM,kBAEL;IAED,MAAM,KAAK,MAAM,2GAGhB;IAED,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,EAAE,CAAC,EAAE,UAAU,GAAG,MAAM,WAI7D;CACF"}