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

package/dest/serialize/buffer_sink.js

@@ -0,0 +1,297 @@
+/**
+ * A value that can be appended to a {@link BufferSink}. Mirrors `Bufferable`, but the object arm allows the
+ * optional-sink overload of `toBuffer` so a legacy `toBuffer(): Buffer` and a migrated `toBuffer(sink?)` both fit.
+ */ const DEFAULT_INITIAL_CAPACITY = 1024;
+const MASK_64 = (1n << 64n) - 1n;
+/**
+ * A growable, append-only binary sink backed by a single `ArrayBuffer`.
+ *
+ * It exists to replace the recursive `toBuffer()` chain — which allocates a `Buffer` at every node and
+ * `Buffer.concat`s at every level — with one buffer that the whole object graph streams into and that is sliced
+ * exactly once at the root. Encodings are big-endian, matching `serializeToBuffer` byte-for-byte.
+ *
+ * The migration contract is the optional-sink `toBuffer`:
+ *
+ * ```ts
+ * toBuffer(): Buffer;
+ * toBuffer(sink: BufferSink): void;
+ * toBuffer(sink?: BufferSink): Buffer | void {
+ *   if (!sink) return BufferSink.serialize(this); // own a sink, fill it, slice once
+ *   serializeToSink(sink, this.a, this.b, this.c); // stream into the caller's sink
+ * }
+ * ```
+ *
+ * When a sink is passed it writes and returns `undefined`; otherwise it returns its own buffer. Nodes that have
+ * not been migrated keep their plain `toBuffer(): Buffer` and are folded in via the return-value fallback in
+ * {@link serializeToSink}, so the tree stays valid at every step of an incremental migration.
+ *
+ * Performance note: bigints are written via `DataView.setBigUint64` limbs ({@link writeBigInt},
+ * {@link writeField}), NOT a per-byte shift loop. The limb form is ~16x faster than the legacy hex round-trip
+ * on field-heavy structures, and faster than the legacy path at every width — a naive per-byte shift loop is
+ * actually the slowest option, since each byte allocates a fresh BigInt. See the spike benchmark.
+ */ export class BufferSink {
+    buffer;
+    view;
+    offset = 0;
+    constructor(initialCapacity = DEFAULT_INITIAL_CAPACITY){
+        const ab = new ArrayBuffer(initialCapacity);
+        this.buffer = new Uint8Array(ab);
+        this.view = new DataView(ab);
+    }
+    /** Number of bytes written so far. */ get length() {
+        return this.offset;
+    }
+    /**
+   * Serialize a migrated value into a fresh sink and return the single resulting buffer. This is the no-sink
+   * branch of every migrated `toBuffer`: one allocation, one slice, only at the root.
+   *
+   * @param obj - The value to serialize via its sink-aware `toBuffer`.
+   * @param initialCapacity - Optional size hint (e.g. from `getSize()`) to skip reallocations on hot paths.
+   */ static serialize(obj, initialCapacity) {
+        const sink = new BufferSink(initialCapacity);
+        obj.toBuffer(sink);
+        return sink.toBuffer();
+    }
+    ensure(extra) {
+        const required = this.offset + extra;
+        if (required <= this.buffer.length) {
+            return;
+        }
+        let next = this.buffer.length * 2;
+        while(next < required){
+            next *= 2;
+        }
+        const grown = new Uint8Array(next);
+        grown.set(this.buffer.subarray(0, this.offset));
+        this.buffer = grown;
+        this.view = new DataView(grown.buffer);
+    }
+    /** Append a single byte (0/1) for a boolean, matching `boolToBuffer`. */ writeBool(value) {
+        this.ensure(1);
+        this.buffer[this.offset++] = value ? 1 : 0;
+    }
+    /** Append an unsigned 8-bit integer. */ writeUInt8(value) {
+        this.ensure(1);
+        this.buffer[this.offset++] = value & 0xff;
+    }
+    /** Append a big-endian unsigned 16-bit integer. */ writeUInt16(value) {
+        this.ensure(2);
+        this.view.setUint16(this.offset, value, false);
+        this.offset += 2;
+    }
+    /** Append a big-endian unsigned 32-bit integer, matching `numToUInt32BE`. */ writeNumber(value) {
+        this.ensure(4);
+        this.view.setUint32(this.offset, value, false);
+        this.offset += 4;
+    }
+    /** Append a big-endian unsigned 64-bit integer, matching `bigintToUInt64BE`. */ writeUInt64(value) {
+        this.ensure(8);
+        this.view.setBigUint64(this.offset, value, false);
+        this.offset += 8;
+    }
+    /**
+   * Append a non-negative bigint as a big-endian unsigned integer of `width` bytes (default 32), matching
+   * `serializeBigInt` / `toBufferBE`. Every width is written limb-wise via `setBigUint64` rather than the
+   * legacy per-byte BigInt shift loop — that loop allocated a fresh BigInt per byte and benchmarked as the
+   * *slowest* option (slower even than the legacy hex round-trip); the limb form is faster at every width.
+   *
+   * The bulk of the value is written as 64-bit big-endian limbs from the least-significant tail upward, and
+   * a final `width % 8` (at most 7) high bytes that don't fill a whole limb are written individually. The
+   * common widths (8/16/32) are exact multiples of 8, so they take the pure-limb path with no remainder.
+   * `width === 32` keeps its own straight-line four-limb form (shared with {@link writeField}) since it is
+   * the `Fr`/`Fq`/Chonk-proof hot path and the unrolled body is marginally faster than the loop.
+   *
+   * @param value - The non-negative bigint to serialize.
+   * @param width - Output width in bytes.
+   */ writeBigInt(value, width = 32) {
+        if (value < 0n) {
+            throw new Error(`Cannot serialize negative bigint ${value}`);
+        }
+        this.ensure(width);
+        const o = this.offset;
+        if (width === 32) {
+            let x = value;
+            this.view.setBigUint64(o + 24, x & MASK_64, false);
+            x >>= 64n;
+            this.view.setBigUint64(o + 16, x & MASK_64, false);
+            x >>= 64n;
+            this.view.setBigUint64(o + 8, x & MASK_64, false);
+            x >>= 64n;
+            this.view.setBigUint64(o, x & MASK_64, false);
+            x >>= 64n;
+            if (x !== 0n) {
+                throw new Error(`BigInt ${value} does not fit into 32 bytes`);
+            }
+            this.offset += 32;
+            return;
+        }
+        let x = value;
+        let pos = o + width;
+        while(pos - 8 >= o){
+            pos -= 8;
+            this.view.setBigUint64(pos, x & MASK_64, false);
+            x >>= 64n;
+        }
+        for(let i = pos - 1; i >= o; i--){
+            this.buffer[i] = Number(x & 0xffn);
+            x >>= 8n;
+        }
+        if (x !== 0n) {
+            throw new Error(`BigInt ${value} does not fit into ${width} bytes`);
+        }
+        this.offset += width;
+    }
+    /**
+   * Append a 32-byte (256-bit) big-endian non-negative bigint. Specialized form of {@link writeBigInt}
+   * with no width parameter and no width-branch, so V8 can inline the four `setBigUint64` limb writes
+   * without the wider branchy form's instability. This is the Fr/Fq leaf hot path; prefer it over
+   * `writeBigInt(value, 32)` in callers that always serialize 32-byte fields.
+   */ writeField(value) {
+        if (value < 0n) {
+            throw new Error(`Cannot serialize negative bigint ${value}`);
+        }
+        this.ensure(32);
+        const o = this.offset;
+        let x = value;
+        this.view.setBigUint64(o + 24, x & MASK_64, false);
+        x >>= 64n;
+        this.view.setBigUint64(o + 16, x & MASK_64, false);
+        x >>= 64n;
+        this.view.setBigUint64(o + 8, x & MASK_64, false);
+        x >>= 64n;
+        this.view.setBigUint64(o, x & MASK_64, false);
+        if (x >> 64n !== 0n) {
+            throw new Error(`BigInt ${value} does not fit into 32 bytes`);
+        }
+        this.offset = o + 32;
+    }
+    /**
+   * Append an array of field elements (or any objects exposing `toBigInt(): bigint`) as a contiguous
+   * sequence of 32-byte big-endian limbs. Iterates inline — no per-element `toBuffer` dispatch and no
+   * per-element function-call indirection through the generic sinkable dispatcher. Use this in classes
+   * that hold large flat field arrays (e.g. the 1632-element ChonkProof field list).
+   */ writeFields(fields) {
+        this.ensure(32 * fields.length);
+        for(let i = 0, n = fields.length; i < n; i++){
+            const value = fields[i].toBigInt();
+            if (value < 0n) {
+                throw new Error(`Cannot serialize negative bigint ${value}`);
+            }
+            const o = this.offset;
+            let x = value;
+            this.view.setBigUint64(o + 24, x & MASK_64, false);
+            x >>= 64n;
+            this.view.setBigUint64(o + 16, x & MASK_64, false);
+            x >>= 64n;
+            this.view.setBigUint64(o + 8, x & MASK_64, false);
+            x >>= 64n;
+            this.view.setBigUint64(o, x & MASK_64, false);
+            if (x >> 64n !== 0n) {
+                throw new Error(`BigInt ${value} does not fit into 32 bytes`);
+            }
+            this.offset = o + 32;
+        }
+    }
+    /** Append raw bytes verbatim (no length prefix), matching how a `Buffer`/`Uint8Array` is serialized inline. */ writeBytes(bytes) {
+        this.ensure(bytes.length);
+        this.buffer.set(bytes, this.offset);
+        this.offset += bytes.length;
+    }
+    /** Append a string as a 4-byte big-endian length prefix followed by its UTF-8 bytes, matching the string case. */ writeString(value) {
+        const bytes = Buffer.from(value);
+        this.writeNumber(bytes.length);
+        this.writeBytes(bytes);
+    }
+    /**
+   * Reset the write cursor without releasing the backing buffer. Lets the same sink be reused across many
+   * serializations without reallocating — the per-call cost drops to the bytes written (no `new ArrayBuffer`).
+   * Any `Buffer` previously returned by {@link toBuffer} is a fresh copy and remains valid; any view from
+   * {@link asUint8Array} aliases the buffer and is invalidated.
+   */ reset() {
+        this.offset = 0;
+    }
+    /** Copy the written region into a freshly allocated `Buffer`. The single allocation of the whole serialization. */ toBuffer() {
+        return Buffer.from(this.buffer.subarray(0, this.offset));
+    }
+    /** A zero-copy view of the written region. Valid only until the next write (which may reallocate). */ asUint8Array() {
+        return this.buffer.subarray(0, this.offset);
+    }
+}
+/**
+ * Streaming counterpart to `serializeToBufferArray`: walk a list of {@link Sinkable}s and append each to the sink.
+ * Dispatch matches `serializeToBufferArray` byte-for-byte. An object is serialized via `obj.toBuffer(sink)`; a
+ * migrated node writes into the sink and returns `undefined`, while a not-yet-migrated node ignores the argument
+ * and returns its `Buffer`, which we copy in. That return-value fallback is what makes the migration incremental.
+ *
+ * Dispatch is hot-pathed for the common case of objects exposing `toBuffer` (Fr/Fq and every other migrated leaf),
+ * and arrays recurse via an inner-array helper to avoid the per-call rest-args allocation that a spread-recurse
+ * would force on large flat arrays like the 1632-element ChonkProof field list.
+ *
+ * @param sink - The destination sink.
+ * @param objs - The values to serialize, in order.
+ */ export function serializeToSink(sink, ...objs) {
+    serializeArrayToSinkInner(sink, objs);
+}
+function serializeArrayToSinkInner(sink, objs) {
+    for(let i = 0, n = objs.length; i < n; i++){
+        serializeOneToSink(sink, objs[i]);
+    }
+}
+function serializeOneToSink(sink, obj) {
+    if (typeof obj === 'object' && obj !== null) {
+        // Hot path: migrated nodes (anything implementing toBuffer, including Fr/Fq via BaseField). This branch
+        // is taken for the vast majority of recursive serialization, so it is checked before the typeof primitives.
+        if (obj.toBuffer !== undefined) {
+            const ret = obj.toBuffer(sink);
+            if (ret !== undefined) {
+                sink.writeBytes(ret);
+            }
+            return;
+        }
+        if (Array.isArray(obj)) {
+            serializeArrayToSinkInner(sink, obj);
+            return;
+        }
+        if (Buffer.isBuffer(obj) || obj instanceof Uint8Array) {
+            sink.writeBytes(obj);
+            return;
+        }
+        throw new Error(`Cannot serialize input to sink: ${typeof obj} ${obj.constructor?.name}`);
+    }
+    if (typeof obj === 'boolean') {
+        sink.writeBool(obj);
+    } else if (typeof obj === 'bigint') {
+        sink.writeBigInt(obj);
+    } else if (typeof obj === 'number') {
+        sink.writeNumber(obj);
+    } else if (typeof obj === 'string') {
+        sink.writeString(obj);
+    } else {
+        throw new Error(`Cannot serialize input to sink: ${typeof obj}`);
+    }
+}
+/**
+ * Streaming counterpart to `serializeArrayOfBufferableToVector`: write a length prefix (1 or 4 bytes) giving the
+ * number of serialized elements, then each element. Byte-identical to the buffer version.
+ *
+ * @param sink - The destination sink.
+ * @param objs - The vector elements.
+ * @param prefixLength - Width of the count prefix in bytes (1 or 4).
+ */ export function serializeArrayToSink(sink, objs, prefixLength = 4) {
+    const count = countSinkables(objs);
+    if (prefixLength === 1) {
+        sink.writeUInt8(count);
+    } else if (prefixLength === 4) {
+        sink.writeNumber(count);
+    } else {
+        throw new Error(`Unsupported prefix length. Got ${prefixLength}, expected 1 or 4`);
+    }
+    serializeArrayToSinkInner(sink, objs);
+}
+/** Count how many top-level buffers `serializeToBufferArray` would emit, flattening nested arrays as it does. */ function countSinkables(objs) {
+    let count = 0;
+    for (const obj of objs){
+        count += Array.isArray(obj) ? countSinkables(obj) : 1;
+    }
+    return count;
+}

package/dest/serialize/field_reader.d.ts

@@ -1,4 +1,4 @@
-import { Fq, type Fr } from '../fields/fields.js';
+import { Fq, type Fr } from '../curves/bn254/field.js';
 import type { Tuple } from './types.js';
 /**
  * The FieldReader class provides a utility for reading various data types from a field array.
@@ -11,7 +11,7 @@ import type { Tuple } from './types.js';
 export declare class FieldReader {
     private fields;
     private index;
-    private length;
+    private readonly length;
     constructor(fields: Fr[], offset?: number);
     /**
      * Creates a FieldReader instance from either a field array or an existing FieldReader.
@@ -26,6 +26,7 @@ export declare class FieldReader {
      * @returns The current cursor position.
      */
     get cursor(): number;
+    remainingFields(): number;
     /**
      * Skips the next n fields.
      *
@@ -67,6 +68,14 @@ export declare class FieldReader {
      * @returns The read 32-bit unsigned integer value.
      */
     readU32(): number;
+    /**
+     * Reads a 64-bit unsigned integer from the field array at the current index position.
+     * Updates the index position by 1 after reading the number.
+     * Throw if the value is greater than 2 ** 64.
+     *
+     * @returns The read 64-bit unsigned integer value as a bigint.
+     */
+    readU64(): bigint;
     /**
      * Read an array of a fixed size field array.
      *
@@ -109,4 +118,4 @@ export declare class FieldReader {
      */
     isFinished(): boolean;
 }
-//# sourceMappingURL=field_reader.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmllbGRfcmVhZGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2VyaWFsaXplL2ZpZWxkX3JlYWRlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLEtBQUssRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDdkQsT0FBTyxLQUFLLEVBQUUsS0FBSyxFQUFFLE1BQU0sWUFBWSxDQUFDO0FBRXhDOzs7Ozs7O0dBT0c7QUFDSCxxQkFBYSxXQUFXO0lBS3BCLE9BQU8sQ0FBQyxNQUFNO0lBSmhCLE9BQU8sQ0FBQyxLQUFLLENBQVM7SUFDdEIsT0FBTyxDQUFDLFFBQVEsQ0FBQyxNQUFNLENBQVM7SUFFaEMsWUFDVSxNQUFNLEVBQUUsRUFBRSxFQUFFLEVBQ3BCLE1BQU0sU0FBSSxFQU9YO0lBRUQ7Ozs7O09BS0c7SUFDSCxPQUFjLFFBQVEsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxHQUFHLFdBQVcsQ0FNOUQ7SUFFRDs7OztPQUlHO0lBQ0gsSUFBVyxNQUFNLFdBRWhCO0lBRU0sZUFBZSxJQUFJLE1BQU0sQ0FFL0I7SUFFRDs7OztPQUlHO0lBQ0ksSUFBSSxDQUFDLENBQUMsRUFBRSxNQUFNLFFBS3BCO0lBRUQ7Ozs7T0FJRztJQUNJLFNBQVMsSUFBSSxFQUFFLENBS3JCO0lBRUQ7Ozs7T0FJRztJQUNJLFNBQVMsSUFBSSxFQUFFLENBS3JCO0lBRUQ7Ozs7T0FJRztJQUNJLE1BQU0sSUFBSSxFQUFFLENBRWxCO0lBRUQ7Ozs7Ozs7T0FPRztJQUNJLFdBQVcsSUFBSSxPQUFPLENBTzVCO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksT0FBTyxJQUFJLE1BQU0sQ0FPdkI7SUFFRDs7Ozs7O09BTUc7SUFDSSxPQUFPLElBQUksTUFBTSxDQU92QjtJQUVEOzs7OztPQUtHO0lBQ0ksY0FBYyxDQUFDLENBQUMsU0FBUyxNQUFNLEVBQUUsSUFBSSxFQUFFLENBQUMsR0FBRyxLQUFLLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQU03RDtJQUVEOzs7Ozs7Ozs7T0FTRztJQUNJLFNBQVMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxTQUFTLE1BQU0sRUFDbEMsSUFBSSxFQUFFLENBQUMsRUFDUCxnQkFBZ0IsRUFBRTtRQUNoQjs7V0FFRztRQUNILFVBQVUsRUFBRSxDQUFDLE1BQU0sRUFBRSxXQUFXLEtBQUssQ0FBQyxDQUFDO0tBQ3hDLEdBQ0EsS0FBSyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FHYjtJQUVEOzs7Ozs7T0FNRztJQUNJLFVBQVUsQ0FBQyxDQUFDLEVBQUUsWUFBWSxFQUFFO1FBQ2pDOztXQUVHO1FBQ0gsVUFBVSxFQUFFLENBQUMsTUFBTSxFQUFFLFdBQVcsS0FBSyxDQUFDLENBQUM7S0FDeEMsR0FBRyxDQUFDLENBRUo7SUFFRDs7O09BR0c7SUFDSSxVQUFVLElBQUksT0FBTyxDQUUzQjtDQUNGIn0=

package/dest/serialize/field_reader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"field_reader.d.ts","sourceRoot":"","sources":["../../src/serialize/field_reader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;;;;;;GAOG;AACH,qBAAa,WAAW;IAGV,OAAO,CAAC,MAAM;IAF1B,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,MAAM,CAAS;gBACH,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,SAAI;IAQ5C;;;;;OAKG;WACW,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,WAAW;IAQ/D;;;;OAIG;IACH,IAAW,MAAM,WAEhB;IAED;;;;OAIG;IACI,IAAI,CAAC,CAAC,EAAE,MAAM;IAOrB;;;;OAIG;IACI,SAAS,IAAI,EAAE;IAOtB;;;;OAIG;IACI,SAAS,IAAI,EAAE;IAOtB;;;;OAIG;IACI,MAAM,IAAI,EAAE;IAInB;;;;;;;OAOG;IACI,WAAW,IAAI,OAAO;IAS7B;;;;;;OAMG;IACI,OAAO,IAAI,MAAM;IASxB;;;;;OAKG;IACI,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IAQ9D;;;;;;;;;OASG;IACI,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAClC,IAAI,EAAE,CAAC,EACP,gBAAgB,EAAE;QAChB;;WAEG;QACH,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC;KACxC,GACA,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAKd;;;;;;OAMG;IACI,UAAU,CAAC,CAAC,EAAE,YAAY,EAAE;QACjC;;WAEG;QACH,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC;KACxC,GAAG,CAAC;IAIL;;;OAGG;IACI,UAAU,IAAI,OAAO;CAG7B"}
+{"version":3,"file":"field_reader.d.ts","sourceRoot":"","sources":["../../src/serialize/field_reader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;;;;;;GAOG;AACH,qBAAa,WAAW;IAKpB,OAAO,CAAC,MAAM;IAJhB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAEhC,YACU,MAAM,EAAE,EAAE,EAAE,EACpB,MAAM,SAAI,EAOX;IAED;;;;;OAKG;IACH,OAAc,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,WAAW,CAM9D;IAED;;;;OAIG;IACH,IAAW,MAAM,WAEhB;IAEM,eAAe,IAAI,MAAM,CAE/B;IAED;;;;OAIG;IACI,IAAI,CAAC,CAAC,EAAE,MAAM,QAKpB;IAED;;;;OAIG;IACI,SAAS,IAAI,EAAE,CAKrB;IAED;;;;OAIG;IACI,SAAS,IAAI,EAAE,CAKrB;IAED;;;;OAIG;IACI,MAAM,IAAI,EAAE,CAElB;IAED;;;;;;;OAOG;IACI,WAAW,IAAI,OAAO,CAO5B;IAED;;;;;;OAMG;IACI,OAAO,IAAI,MAAM,CAOvB;IAED;;;;;;OAMG;IACI,OAAO,IAAI,MAAM,CAOvB;IAED;;;;;OAKG;IACI,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAM7D;IAED;;;;;;;;;OASG;IACI,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAClC,IAAI,EAAE,CAAC,EACP,gBAAgB,EAAE;QAChB;;WAEG;QACH,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC;KACxC,GACA,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAGb;IAED;;;;;;OAMG;IACI,UAAU,CAAC,CAAC,EAAE,YAAY,EAAE;QACjC;;WAEG;QACH,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC;KACxC,GAAG,CAAC,CAEJ;IAED;;;OAGG;IACI,UAAU,IAAI,OAAO,CAE3B;CACF"}

package/dest/serialize/field_reader.js

@@ -1,4 +1,4 @@
-import { Fq } from '../fields/fields.js';
+import { Fq } from '../curves/bn254/field.js';
 /**
  * The FieldReader class provides a utility for reading various data types from a field array.
  *
@@ -14,7 +14,7 @@ import { Fq } from '../fields/fields.js';
         this.fields = fields;
         this.index = offset;
         this.length = fields.length;
-        if (offset >= this.length) {
+        if (offset > this.length) {
             throw new Error('Offset out of bounds.');
         }
     }
@@ -36,6 +36,9 @@ import { Fq } from '../fields/fields.js';
    */ get cursor() {
         return this.index;
     }
+    remainingFields() {
+        return this.length - this.index;
+    }
     /**
    * Skips the next n fields.
    *
@@ -103,6 +106,20 @@ import { Fq } from '../fields/fields.js';
         return Number(value);
     }
     /**
+   * Reads a 64-bit unsigned integer from the field array at the current index position.
+   * Updates the index position by 1 after reading the number.
+   * Throw if the value is greater than 2 ** 64.
+   *
+   * @returns The read 64-bit unsigned integer value as a bigint.
+   */ readU64() {
+        const field = this.readField();
+        const value = field.toBigInt();
+        if (value >= 1n << 64n) {
+            throw new Error('Field is not a u64.');
+        }
+        return value;
+    }
+    /**
    * Read an array of a fixed size field array.
    *
    * @param size - The fixed number of fields in the array.

package/dest/serialize/free_funcs.d.ts

@@ -1,6 +1,4 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { Fr } from '../fields/fields.js';
+import { Fr } from '../curves/bn254/field.js';
 import type { Tuple } from './types.js';
 /**
  * Convert a boolean value to its corresponding byte representation in a Buffer of size 1.
@@ -10,13 +8,13 @@ import type { Tuple } from './types.js';
  * @param b - The boolean value to be converted.
  * @returns A Buffer containing the byte representation of the input boolean value.
  */
-export declare function boolToByte(b: boolean): Buffer;
+export declare function boolToByte(b: boolean): Buffer<ArrayBuffer>;
 /**
  * @param n - The input number to be converted to a big-endian unsigned 16-bit integer Buffer.
  * @param bufferSize - Optional, the size of the output Buffer (default is 2).
  * @returns A Buffer containing the big-endian unsigned 16-bit integer representation of the input number.
  */
-export declare function numToUInt16BE(n: number, bufferSize?: number): Buffer;
+export declare function numToUInt16BE(n: number, bufferSize?: number): Buffer<ArrayBuffer>;
 /**
  * Convert a number into a 4-byte little-endian unsigned integer buffer.
  * The input number is serialized as an unsigned 32-bit integer in little-endian byte order,
@@ -27,7 +25,7 @@ export declare function numToUInt16BE(n: number, bufferSize?: number): Buffer;
  * @param bufferSize - Optional, the size of the output buffer (default value is 4).
  * @returns A Buffer containing the serialized little-endian unsigned integer representation of the input number.
  */
-export declare function numToUInt32LE(n: number, bufferSize?: number): Buffer;
+export declare function numToUInt32LE(n: number, bufferSize?: number): Buffer<ArrayBuffer>;
 /**
  * Convert a number to a big-endian unsigned 32-bit integer Buffer.
  * This function takes a number and an optional buffer size as input and creates a Buffer with the specified size (defaults to 4) containing the big-endian representation of the input number as an unsigned 32-bit integer. Note that the bufferSize should be greater than or equal to 4, otherwise the output Buffer might truncate the serialized value.
@@ -36,7 +34,23 @@ export declare function numToUInt32LE(n: number, bufferSize?: number): Buffer;
  * @param bufferSize - Optional, the size of the output Buffer (default is 4).
  * @returns A Buffer containing the big-endian unsigned 32-bit integer representation of the input number.
  */
-export declare function numToUInt32BE(n: number, bufferSize?: number): Buffer;
+export declare function numToUInt32BE(n: number, bufferSize?: number): Buffer<ArrayBuffer>;
+/**
+ * Convert a bigint to a big-endian unsigned 64-bit integer Buffer.
+ *
+ * @param n - The bigint to be converted to a big-endian unsigned 64-bit integer Buffer.
+ * @param bufferSize - Optional, the size of the output Buffer (default is 8).
+ * @returns A Buffer containing the big-endian unsigned 64-bit integer representation of the input number.
+ */
+export declare function bigintToUInt64BE(n: bigint, bufferSize?: number): Buffer<ArrayBuffer>;
+/**
+ * Convert a bigint to a big-endian unsigned 128-bit integer Buffer.
+ *
+ * @param n - The bigint to be converted to a big-endian unsigned 128-bit integer Buffer.
+ * @param bufferSize - Optional, the size of the output Buffer (default is 16).
+ * @returns A Buffer containing the big-endian unsigned 128-bit integer representation of the input number.
+ */
+export declare function bigintToUInt128BE(n: bigint, bufferSize?: number): Buffer<ArrayBufferLike>;
 /**
  * Serialize a number into a big-endian signed 32-bit integer Buffer with the specified buffer size.
  * This function converts the input number into its binary representation and stores it in a Buffer
@@ -48,7 +62,7 @@ export declare function numToUInt32BE(n: number, bufferSize?: number): Buffer;
  * @param bufferSize - Optional, the size of the output Buffer (default is 4 bytes).
  * @returns A Buffer containing the serialized big-endian signed 32-bit integer.
  */
-export declare function numToInt32BE(n: number, bufferSize?: number): Buffer;
+export declare function numToInt32BE(n: number, bufferSize?: number): Buffer<ArrayBuffer>;
 /**
  * Convert a number to an 8-bit unsigned integer and return it as a Buffer of length 1.
  * The input number is written as an 8-bit unsigned integer into the buffer. This function
@@ -58,13 +72,13 @@ export declare function numToInt32BE(n: number, bufferSize?: number): Buffer;
  * @param n - The number to be converted to an 8-bit unsigned integer.
  * @returns A Buffer containing the 8-bit unsigned integer representation of the input number.
  */
-export declare function numToUInt8(n: number): Buffer;
+export declare function numToUInt8(n: number): Buffer<ArrayBuffer>;
 /**
  * Adds a 4-byte byte-length prefix to a buffer.
  * @param buf - The input Buffer to be prefixed
  * @returns A Buffer with 4-byte byte-length prefix.
  */
-export declare function prefixBufferWithLength(buf: Buffer): Buffer;
+export declare function prefixBufferWithLength(buf: Buffer): Buffer<ArrayBuffer>;
 /**
  * Parse a buffer as a big integer.
  */
@@ -88,18 +102,6 @@ export declare function from2Fields(field1: Fr, field2: Fr): Buffer;
  * @returns 31 bytes of data padded to 32
  */
 export declare function truncateAndPad(buf: Buffer): Buffer;
-/**
- * Stores 248 bits of information in 1 field.
- * @param buf - 32 or 31 bytes of data
- * @returns 1 field element
- */
-export declare function toTruncField(buf: Buffer): Fr;
-/**
- * Reconstructs the original 31 bytes of data from 1 truncated field element.
- * @param field - field element
- * @returns 31 bytes of data as a Buffer
- */
-export declare function fromTruncField(field: Fr): Buffer;
 export declare function fromFieldsTuple(fields: Tuple<Fr, 2>): Buffer;
 export declare function toHumanReadable(buf: Buffer, maxLen?: number): string;
-//# sourceMappingURL=free_funcs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZnJlZV9mdW5jcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NlcmlhbGl6ZS9mcmVlX2Z1bmNzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM5QyxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFFeEM7Ozs7Ozs7R0FPRztBQUNILHdCQUFnQixVQUFVLENBQUMsQ0FBQyxFQUFFLE9BQU8sdUJBSXBDO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixhQUFhLENBQUMsQ0FBQyxFQUFFLE1BQU0sRUFBRSxVQUFVLFNBQUksdUJBSXREO0FBRUQ7Ozs7Ozs7OztHQVNHO0FBQ0gsd0JBQWdCLGFBQWEsQ0FBQyxDQUFDLEVBQUUsTUFBTSxFQUFFLFVBQVUsU0FBSSx1QkFJdEQ7QUFFRDs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLGFBQWEsQ0FBQyxDQUFDLEVBQUUsTUFBTSxFQUFFLFVBQVUsU0FBSSx1QkFJdEQ7QUFFRDs7Ozs7O0dBTUc7QUFDSCx3QkFBZ0IsZ0JBQWdCLENBQUMsQ0FBQyxFQUFFLE1BQU0sRUFBRSxVQUFVLFNBQUksdUJBSXpEO0FBRUQ7Ozs7OztHQU1HO0FBQ0gsd0JBQWdCLGlCQUFpQixDQUFDLENBQUMsRUFBRSxNQUFNLEVBQUUsVUFBVSxTQUFLLDJCQUUzRDtBQUVEOzs7Ozs7Ozs7O0dBVUc7QUFDSCx3QkFBZ0IsWUFBWSxDQUFDLENBQUMsRUFBRSxNQUFNLEVBQUUsVUFBVSxTQUFJLHVCQUlyRDtBQUVEOzs7Ozs7OztHQVFHO0FBQ0gsd0JBQWdCLFVBQVUsQ0FBQyxDQUFDLEVBQUUsTUFBTSx1QkFLbkM7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLHNCQUFzQixDQUFDLEdBQUcsRUFBRSxNQUFNLHVCQUlqRDtBQUVEOztHQUVHO0FBQ0gsd0JBQWdCLFFBQVEsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FNNUM7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLFNBQVMsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLENBQUMsRUFBRSxFQUFFLEVBQUUsQ0FBQyxDQVUvQztBQUVEOzs7OztHQUtHO0FBQ0gsd0JBQWdCLFdBQVcsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLE1BQU0sRUFBRSxFQUFFLEdBQUcsTUFBTSxDQVcxRDtBQUVEOzs7O0dBSUc7QUFDSCx3QkFBZ0IsY0FBYyxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsTUFBTSxDQU1sRDtBQUVELHdCQUFnQixlQUFlLENBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEdBQUcsTUFBTSxDQUU1RDtBQUVELHdCQUFnQixlQUFlLENBQUMsR0FBRyxFQUFFLE1BQU0sRUFBRSxNQUFNLENBQUMsRUFBRSxNQUFNLEdBQUcsTUFBTSxDQU1wRSJ9

package/dest/serialize/free_funcs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"free_funcs.d.ts","sourceRoot":"","sources":["../../src/serialize/free_funcs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,qBAAqB,CAAC;AACzC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,UAIpC;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAI,UAItD;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAI,UAItD;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAI,UAItD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAI,UAIrD;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,UAKnC;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,UAIjD;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAM5C;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAU/C;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAW1D;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAMlD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,CAW5C;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,EAAE,GAAG,MAAM,CAMhD;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAE5D;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAMpE"}
+{"version":3,"file":"free_funcs.d.ts","sourceRoot":"","sources":["../../src/serialize/free_funcs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,uBAIpC;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAI,uBAItD;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAI,uBAItD;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAI,uBAItD;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAI,uBAIzD;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAK,2BAE3D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,SAAI,uBAIrD;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,uBAKnC;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,uBAIjD;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAM5C;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAU/C;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,CAW1D;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAMlD;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAE5D;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAMpE"}

package/dest/serialize/free_funcs.js

@@ -1,4 +1,5 @@
-import { Fr } from '../fields/fields.js';
+import { toBufferBE } from '../bigint-buffer/index.js';
+import { Fr } from '../curves/bn254/field.js';
 /**
  * Convert a boolean value to its corresponding byte representation in a Buffer of size 1.
  * The function takes a boolean value and writes it into a new buffer as either 1 (true) or 0 (false).
@@ -46,6 +47,26 @@ import { Fr } from '../fields/fields.js';
     buf.writeUInt32BE(n, bufferSize - 4);
     return buf;
 }
+/**
+ * Convert a bigint to a big-endian unsigned 64-bit integer Buffer.
+ *
+ * @param n - The bigint to be converted to a big-endian unsigned 64-bit integer Buffer.
+ * @param bufferSize - Optional, the size of the output Buffer (default is 8).
+ * @returns A Buffer containing the big-endian unsigned 64-bit integer representation of the input number.
+ */ export function bigintToUInt64BE(n, bufferSize = 8) {
+    const buf = Buffer.alloc(bufferSize);
+    buf.writeBigUInt64BE(n, bufferSize - 8);
+    return buf;
+}
+/**
+ * Convert a bigint to a big-endian unsigned 128-bit integer Buffer.
+ *
+ * @param n - The bigint to be converted to a big-endian unsigned 128-bit integer Buffer.
+ * @param bufferSize - Optional, the size of the output Buffer (default is 16).
+ * @returns A Buffer containing the big-endian unsigned 128-bit integer representation of the input number.
+ */ export function bigintToUInt128BE(n, bufferSize = 16) {
+    return toBufferBE(n, bufferSize);
+}
 /**
  * Serialize a number into a big-endian signed 32-bit integer Buffer with the specified buffer size.
  * This function converts the input number into its binary representation and stores it in a Buffer
@@ -150,33 +171,6 @@ import { Fr } from '../fields/fields.js';
         buf.subarray(0, 31)
     ]);
 }
-/**
- * Stores 248 bits of information in 1 field.
- * @param buf - 32 or 31 bytes of data
- * @returns 1 field element
- */ export function toTruncField(buf) {
-    if (buf.length !== 32 && buf.length !== 31) {
-        throw new Error('Buffer must be 31 or 32 bytes');
-    }
-    if (buf.length == 32 && buf[0] == 0 || buf.length == 31) {
-        return Fr.fromBuffer(buf);
-    } else {
-        // Note: safer to NOT truncate here, all inputs are expected to be truncated
-        // from Noir or L1 Contracts or Class.hash() methods
-        throw new Error(`Number ${toBigInt(buf)} does not fit in 31 byte truncated buffer`);
-    }
-}
-/**
- * Reconstructs the original 31 bytes of data from 1 truncated field element.
- * @param field - field element
- * @returns 31 bytes of data as a Buffer
- */ export function fromTruncField(field) {
-    const buffer = field.toBuffer();
-    if (buffer[0] != 0) {
-        throw new Error(`Number ${field} does not fit in 31 byte truncated buffer`);
-    }
-    return buffer;
-}
 export function fromFieldsTuple(fields) {
     return from2Fields(fields[0], fields[1]);
 }

package/dest/serialize/index.d.ts

@@ -1,7 +1,8 @@
 export * from './free_funcs.js';
 export * from './buffer_reader.js';
+export * from './buffer_sink.js';
 export * from './field_reader.js';
 export * from './types.js';
 export * from './serialize.js';
 export * from './type_registry.js';
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zZXJpYWxpemUvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxpQkFBaUIsQ0FBQztBQUNoQyxjQUFjLG9CQUFvQixDQUFDO0FBQ25DLGNBQWMsa0JBQWtCLENBQUM7QUFDakMsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLFlBQVksQ0FBQztBQUMzQixjQUFjLGdCQUFnQixDQUFDO0FBQy9CLGNBQWMsb0JBQW9CLENBQUMifQ==

package/dest/serialize/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/serialize/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/serialize/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC"}

package/dest/serialize/index.js

@@ -1,5 +1,6 @@
 export * from './free_funcs.js';
 export * from './buffer_reader.js';
+export * from './buffer_sink.js';
 export * from './field_reader.js';
 export * from './types.js';
 export * from './serialize.js';