@aztec/stdlib 0.0.1-commit.b655e406 → 0.0.1-commit.b9865e97

package/dest/timetable/index.js

@@ -0,0 +1,209 @@
+/**
+ * Timetable constants used for sequencer timing calculations.
+ * These define the time budgets for various phases of block production.
+ *
+ * The sequencer slot is divided into phases:
+ * 1. Checkpoint initialization (sync + proposer check)
+ * 2. Block building (execution)
+ * 3. Checkpoint assembly
+ * 4. P2P propagation for proposal and attestations (round-trip)
+ * 5. L1 publishing
+ */ /** Time budget for checkpoint initialization (sync + proposer check) in seconds */ export const CHECKPOINT_INITIALIZATION_TIME = 1;
+/** Time budget for assembling a checkpoint after building the last block in seconds */ export const CHECKPOINT_ASSEMBLE_TIME = 1;
+/** Default one-way P2P propagation time for proposals and attestations in seconds */ export const DEFAULT_P2P_PROPAGATION_TIME = 2;
+/** Default L1 publishing time (matches Ethereum slot duration on mainnet) in seconds */ export const DEFAULT_L1_PUBLISHING_TIME = 12;
+/** Minimum execution time for building a block in seconds */ export const MIN_EXECUTION_TIME = 2;
+/**
+ * Checkpoint timing model for proposer pipelining.
+ *
+ * The build work starts at the wall-clock slot boundary and the checkpoint
+ * proposal is broadcast early enough that attestations complete by the end of
+ * the build slot. L1 submission can then be sent at the boundary of the target
+ * slot. The target-slot window getters are intended for consumers such as P2P
+ * validators that need to validate pipelined messages against wallclock time.
+ */ class CheckpointTimingModel {
+    aztecSlotDuration;
+    blockDuration;
+    checkpointAssembleTime;
+    checkpointInitializationTime;
+    l1PublishingTime;
+    minExecutionTime;
+    p2pPropagationTime;
+    ethereumSlotDuration;
+    constructor(opts){
+        this.aztecSlotDuration = opts.aztecSlotDuration;
+        this.blockDuration = opts.blockDuration;
+        this.checkpointAssembleTime = opts.checkpointAssembleTime ?? CHECKPOINT_ASSEMBLE_TIME;
+        this.checkpointInitializationTime = opts.checkpointInitializationTime ?? CHECKPOINT_INITIALIZATION_TIME;
+        this.l1PublishingTime = opts.l1PublishingTime ?? DEFAULT_L1_PUBLISHING_TIME;
+        this.minExecutionTime = opts.minExecutionTime ?? MIN_EXECUTION_TIME;
+        this.p2pPropagationTime = opts.p2pPropagationTime ?? DEFAULT_P2P_PROPAGATION_TIME;
+        this.ethereumSlotDuration = opts.ethereumSlotDuration ?? this.l1PublishingTime;
+    }
+    get checkpointFinalizationTime() {
+        // Allow enough time to
+        // - build the checkpoint
+        // - Round-trip over p2p
+        // - Publish to L1
+        return this.checkpointAssembleTime + this.p2pPropagationTime * 2 + this.l1PublishingTime;
+    }
+    get proposalWindowIntoTargetSlot() {
+        // Proposals no longer spill into the target slot: they are broadcast early
+        // enough in the build slot that attestations complete before the boundary.
+        // Any residual tolerance into the target slot is covered by clock disparity.
+        return 0;
+    }
+    get attestationWindowIntoTargetSlot() {
+        // Span from the target-slot start to the L1 publish deadline (12s before the last L1 block of
+        // the target slot). The p2p layer accepts slot-N attestations until right before the publish
+        // deadline so the proposer can keep collecting useful attestations up to the latest moment the
+        // checkpoint can still land on L1 in the target slot.
+        return Math.max(0, this.aztecSlotDuration - 2 * this.ethereumSlotDuration);
+    }
+    get pipeliningAttestationGracePeriod() {
+        // Under the early-pipelining regime attestations complete inside the build slot itself. Local
+        // networks can publish much faster than the Ethereum slot geometry, so they may use the target
+        // slot attestation window without moving the L1 publish cutoff.
+        return this.l1PublishingTime < this.ethereumSlotDuration ? this.attestationWindowIntoTargetSlot : 0;
+    }
+    get timeReservedAtEnd() {
+        // Reserve enough time at the end of the build slot for:
+        // - assembling and broadcasting the checkpoint proposal
+        // - round-trip p2p propagation (proposal out, attestations back)
+        // - validators re-executing the last block
+        return this.checkpointAssembleTime + 2 * this.p2pPropagationTime + (this.blockDuration ?? 0);
+    }
+    get minimumBuildSlotWork() {
+        return this.checkpointInitializationTime + this.minExecutionTime * 2;
+    }
+    get initializeDeadline() {
+        return this.aztecSlotDuration - this.minimumBuildSlotWork;
+    }
+    get checkpointAssemblyDeadline() {
+        // Allow enough time to build all blocks and receive attestations. With
+        // `pipeliningAttestationGracePeriod = 0` this equals `aztecSlotDuration`.
+        return this.aztecSlotDuration + this.pipeliningAttestationGracePeriod;
+    }
+    get checkpointAttestationStartDeadline() {
+        return this.checkpointAssemblyDeadline;
+    }
+    get checkpointAttestationDeadline() {
+        // L1 publish deadline — 12s (one Ethereum slot) before the last L1 block of the target L2 slot;
+        // the latest the checkpoint can be submitted and still land on L1 in the target slot. This is an
+        // L1-geometry bound (ethereumSlotDuration), matching the publisher's send lead in sendRequestsAt
+        // (which also targets one Ethereum slot before the target slot start).
+        return this.aztecSlotDuration * 2 - this.ethereumSlotDuration;
+    }
+    get checkpointPublishingDeadline() {
+        // L1 publish deadline — 12s (one Ethereum slot) before the last L1 block of the target L2 slot;
+        // the latest the checkpoint can be submitted and still land on L1 in the target slot.
+        return this.aztecSlotDuration * 2 - this.ethereumSlotDuration;
+    }
+    calculateMaxBlocksPerSlot() {
+        if (!this.blockDuration) {
+            return 1;
+        }
+        const timeAvailableForBlocks = this.aztecSlotDuration - this.checkpointInitializationTime - this.timeReservedAtEnd;
+        return Math.floor(timeAvailableForBlocks / this.blockDuration);
+    }
+}
+/**
+ * Creates a checkpoint timing model.
+ *
+ * Most callers should use this factory and depend only on the shared
+ * `CheckpointTiming` interface.
+ */ export function createCheckpointTimingModel(opts) {
+    return createPipelinedCheckpointTimingModel(opts);
+}
+/**
+ * Creates a checkpoint timing model exposing the target-slot window accessors.
+ *
+ * Use this when the caller specifically needs the pipelined timing surface, such
+ * as proposal or attestation acceptance windows into the target slot.
+ */ export function createPipelinedCheckpointTimingModel(opts) {
+    validateCheckpointTimingConfig(opts);
+    const normalizedOpts = normalizeCheckpointTimingConfig(opts);
+    const timing = new CheckpointTimingModel(normalizedOpts);
+    validateCheckpointTimingModel(timing);
+    return timing;
+}
+/**
+ * Calculates the maximum number of blocks that can be built in a slot.
+ * Used by both the sequencer timetable and p2p gossipsub scoring.
+ *
+ * @param aztecSlotDurationSec - Aztec slot duration in seconds
+ * @param blockDurationSec - Duration per block in seconds (undefined = single block mode)
+ * @param opts - Optional overrides for timing constants
+ * @returns Maximum number of blocks per slot
+ */ export function calculateMaxBlocksPerSlot(aztecSlotDurationSec, blockDurationSec, opts = {}) {
+    return createCheckpointTimingModel({
+        aztecSlotDuration: aztecSlotDurationSec,
+        blockDuration: blockDurationSec,
+        checkpointAssembleTime: opts.checkpointAssembleTime,
+        checkpointInitializationTime: opts.checkpointInitializationTime,
+        l1PublishingTime: opts.l1PublishingTime,
+        p2pPropagationTime: opts.p2pPropagationTime
+    }).calculateMaxBlocksPerSlot();
+}
+function assertNonNegative(name, value) {
+    if (value < 0) {
+        throw new Error(`${name} must be non-negative (got ${value})`);
+    }
+}
+function validateCheckpointTimingConfig(opts) {
+    if (opts.aztecSlotDuration <= 0) {
+        throw new Error(`aztecSlotDuration must be positive (got ${opts.aztecSlotDuration})`);
+    }
+    if (opts.ethereumSlotDuration !== undefined && opts.ethereumSlotDuration <= 0) {
+        throw new Error(`ethereumSlotDuration must be positive when provided (got ${opts.ethereumSlotDuration})`);
+    }
+    if (opts.blockDuration !== undefined && opts.blockDuration <= 0) {
+        throw new Error(`blockDuration must be positive when provided (got ${opts.blockDuration})`);
+    }
+    if (opts.minExecutionTime !== undefined && opts.minExecutionTime <= 0) {
+        throw new Error(`minExecutionTime must be positive when provided (got ${opts.minExecutionTime})`);
+    }
+    if (opts.checkpointAssembleTime !== undefined) {
+        assertNonNegative('checkpointAssembleTime', opts.checkpointAssembleTime);
+    }
+    if (opts.checkpointInitializationTime !== undefined) {
+        assertNonNegative('checkpointInitializationTime', opts.checkpointInitializationTime);
+    }
+    if (opts.l1PublishingTime !== undefined) {
+        assertNonNegative('l1PublishingTime', opts.l1PublishingTime);
+    }
+    if (opts.p2pPropagationTime !== undefined) {
+        assertNonNegative('p2pPropagationTime', opts.p2pPropagationTime);
+    }
+}
+function normalizeCheckpointTimingConfig(opts) {
+    let checkpointAssembleTime = opts.checkpointAssembleTime ?? CHECKPOINT_ASSEMBLE_TIME;
+    let checkpointInitializationTime = opts.checkpointInitializationTime ?? CHECKPOINT_INITIALIZATION_TIME;
+    let minExecutionTime = opts.minExecutionTime ?? MIN_EXECUTION_TIME;
+    let p2pPropagationTime = opts.p2pPropagationTime ?? DEFAULT_P2P_PROPAGATION_TIME;
+    if (opts.ethereumSlotDuration !== undefined && opts.ethereumSlotDuration < 8) {
+        p2pPropagationTime = 0;
+        checkpointAssembleTime = 0.5;
+        checkpointInitializationTime = 0.5;
+        minExecutionTime = 1;
+    }
+    if (opts.blockDuration !== undefined && minExecutionTime > opts.blockDuration) {
+        minExecutionTime = opts.blockDuration;
+    }
+    return {
+        ...opts,
+        checkpointAssembleTime,
+        checkpointInitializationTime,
+        minExecutionTime,
+        p2pPropagationTime
+    };
+}
+function validateCheckpointTimingModel(model) {
+    if (model.blockDuration === undefined) {
+        return;
+    }
+    const timeAvailableForBlocks = model.aztecSlotDuration - model.checkpointInitializationTime - model.timeReservedAtEnd;
+    if (timeAvailableForBlocks < model.blockDuration) {
+        throw new Error(`Invalid timing configuration: only ${timeAvailableForBlocks}s available for block building, which is less than one blockDuration (${model.blockDuration}s).`);
+    }
+}

package/dest/trees/append_only_tree_snapshot.d.ts

@@ -1,6 +1,5 @@
-import type { ViemAppendOnlyTreeSnapshot } from '@aztec/ethereum';
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, BufferSink, FieldReader } from '@aztec/foundation/serialize';
 import { inspect } from 'util';
 import { z } from 'zod';
 import type { UInt32 } from '../types/shared.js';
@@ -39,33 +38,34 @@ export declare class AppendOnlyTreeSnapshot {
      *             preserved when verifying state transitions.
      */
     nextAvailableLeafIndex: UInt32);
-    static get schema(): z.ZodEffects<z.ZodObject<{
-        root: z.ZodType<Fr, any, string>;
-        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
         root: Fr;
         nextAvailableLeafIndex: number;
-    }, {
-        root: string;
-        nextAvailableLeafIndex: string | number | bigint;
-    }>, AppendOnlyTreeSnapshot, {
-        root: string;
-        nextAvailableLeafIndex: string | number | bigint;
-    }>;
+    }>>;
     getSize(): number;
-    toBuffer(): Buffer<ArrayBufferLike>;
+    toBuffer(): Buffer;
+    toBuffer(sink: BufferSink): void;
     toFields(): Fr[];
     toString(): string;
     static fromBuffer(buffer: Buffer | BufferReader): AppendOnlyTreeSnapshot;
     static fromString(str: string): AppendOnlyTreeSnapshot;
     static fromFields(fields: Fr[] | FieldReader): AppendOnlyTreeSnapshot;
-    static fromViem(snapshot: ViemAppendOnlyTreeSnapshot): AppendOnlyTreeSnapshot;
-    toViem(): ViemAppendOnlyTreeSnapshot;
     toAbi(): [`0x${string}`, number];
     static empty(): AppendOnlyTreeSnapshot;
+    /**
+     * Creates an AppendOnlyTreeSnapshot instance 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).
+     * @param obj - Plain object containing AppendOnlyTreeSnapshot fields
+     * @returns An AppendOnlyTreeSnapshot instance
+     */
+    static fromPlainObject(obj: any): AppendOnlyTreeSnapshot;
     isEmpty(): boolean;
     [inspect.custom](): string;
     equals(other: this): boolean;
     static random(): AppendOnlyTreeSnapshot;
 }
-//# sourceMappingURL=append_only_tree_snapshot.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXBwZW5kX29ubHlfdHJlZV9zbmFwc2hvdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL2FwcGVuZF9vbmx5X3RyZWVfc25hcHNob3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sRUFBRSxZQUFZLEVBQUUsVUFBVSxFQUFFLFdBQVcsRUFBbUIsTUFBTSw2QkFBNkIsQ0FBQztBQUdyRyxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBQy9CLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFakQ7Ozs7R0FJRztBQUNILHFCQUFhLHNCQUFzQjtJQUUvQjs7T0FFRztJQUNJLElBQUksRUFBRSxFQUFFO0lBQ2Y7Ozs7Ozs7O09BUUc7SUFDSSxzQkFBc0IsRUFBRSxNQUFNO0lBZHZDO0lBQ0U7O09BRUc7SUFDSSxJQUFJLEVBQUUsRUFBRTtJQUNmOzs7Ozs7OztPQVFHO0lBQ0ksc0JBQXNCLEVBQUUsTUFBTSxFQUNuQztJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7UUFPaEI7SUFFRCxPQUFPLFdBRU47SUFFRCxRQUFRLElBQUksTUFBTSxDQUFDO0lBQ25CLFFBQVEsQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLElBQUksQ0FBQztJQVFqQyxRQUFRLElBQUksRUFBRSxFQUFFLENBRWY7SUFFRCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsc0JBQXNCLENBR3ZFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLHNCQUFzQixDQUVyRDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxzQkFBc0IsQ0FJcEU7SUFFRCxLQUFLLElBQUksQ0FBQyxLQUFLLE1BQU0sRUFBRSxFQUFFLE1BQU0sQ0FBQyxDQUUvQjtJQUVELE1BQU0sQ0FBQyxLQUFLLDJCQUVYO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLHNCQUFzQixDQUV2RDtJQUVELE9BQU8sSUFBSSxPQUFPLENBRWpCO0lBRUQsQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDLFdBSWY7SUFFTSxNQUFNLENBQUMsS0FBSyxFQUFFLElBQUksV0FFeEI7SUFFRCxNQUFNLENBQUMsTUFBTSwyQkFFWjtDQUNGIn0=

package/dest/trees/append_only_tree_snapshot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"append_only_tree_snapshot.d.ts","sourceRoot":"","sources":["../../src/trees/append_only_tree_snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAG3F,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;;;;;;;OAQG;IACI,sBAAsB,EAAE,MAAM;;IAbrC;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;;;;;;;OAQG;IACI,sBAAsB,EAAE,MAAM;IAGvC,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;IAED,OAAO;IAIP,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAIhB,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAKxE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,sBAAsB;IAItD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,sBAAsB;IAMrE,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,0BAA0B;IAIpD,MAAM,IAAI,0BAA0B;IAOpC,KAAK,IAAI,CAAC,KAAK,MAAM,EAAE,EAAE,MAAM,CAAC;IAIhC,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;IAIlB,CAAC,OAAO,CAAC,MAAM,CAAC;IAMT,MAAM,CAAC,KAAK,EAAE,IAAI;IAIzB,MAAM,CAAC,MAAM;CAGd"}
+{"version":3,"file":"append_only_tree_snapshot.d.ts","sourceRoot":"","sources":["../../src/trees/append_only_tree_snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAmB,MAAM,6BAA6B,CAAC;AAGrG,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;;;;;;;OAQG;IACI,sBAAsB,EAAE,MAAM;IAdvC;IACE;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;;;;;;;OAQG;IACI,sBAAsB,EAAE,MAAM,EACnC;IAEJ,MAAM,KAAK,MAAM;;;;;;QAOhB;IAED,OAAO,WAEN;IAED,QAAQ,IAAI,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAQjC,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB,CAGvE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,sBAAsB,CAErD;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,sBAAsB,CAIpE;IAED,KAAK,IAAI,CAAC,KAAK,MAAM,EAAE,EAAE,MAAM,CAAC,CAE/B;IAED,MAAM,CAAC,KAAK,2BAEX;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,sBAAsB,CAEvD;IAED,OAAO,IAAI,OAAO,CAEjB;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAIf;IAEM,MAAM,CAAC,KAAK,EAAE,IAAI,WAExB;IAED,MAAM,CAAC,MAAM,2BAEZ;CACF"}

package/dest/trees/append_only_tree_snapshot.js

@@ -1,9 +1,11 @@
-import { Fr } from '@aztec/foundation/fields';
+var _computedKey;
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { schemas } from '@aztec/foundation/schemas';
-import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { BufferReader, BufferSink, FieldReader, serializeToSink } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
 import { inspect } from 'util';
 import { z } from 'zod';
+_computedKey = inspect.custom;
 /**
  * Snapshot of an append only tree.
  *
@@ -34,8 +36,11 @@ import { z } from 'zod';
     getSize() {
         return this.root.size + 4;
     }
-    toBuffer() {
-        return serializeToBuffer(this.root, this.nextAvailableLeafIndex);
+    toBuffer(sink) {
+        if (!sink) {
+            return BufferSink.serialize(this);
+        }
+        serializeToSink(sink, this.root, this.nextAvailableLeafIndex);
     }
     toFields() {
         return [
@@ -57,15 +62,6 @@ import { z } from 'zod';
         const reader = FieldReader.asReader(fields);
         return new AppendOnlyTreeSnapshot(reader.readField(), Number(reader.readField().toBigInt()));
     }
-    static fromViem(snapshot) {
-        return new AppendOnlyTreeSnapshot(Fr.fromString(snapshot.root), snapshot.nextAvailableLeafIndex);
-    }
-    toViem() {
-        return {
-            root: this.root.toString(),
-            nextAvailableLeafIndex: this.nextAvailableLeafIndex
-        };
-    }
     toAbi() {
         return [
             this.root.toString(),
@@ -75,10 +71,19 @@ import { z } from 'zod';
     static empty() {
         return new AppendOnlyTreeSnapshot(Fr.ZERO, 0);
     }
+    /**
+   * Creates an AppendOnlyTreeSnapshot instance 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).
+   * @param obj - Plain object containing AppendOnlyTreeSnapshot fields
+   * @returns An AppendOnlyTreeSnapshot instance
+   */ static fromPlainObject(obj) {
+        return new AppendOnlyTreeSnapshot(Fr.fromPlainObject(obj.root), obj.nextAvailableLeafIndex);
+    }
     isEmpty() {
         return this.root.isZero() && this.nextAvailableLeafIndex === 0;
     }
-    [inspect.custom]() {
+    [_computedKey]() {
         return `AppendOnlyTreeSnapshot { root: ${this.root.toString()}, nextAvailableLeafIndex: ${this.nextAvailableLeafIndex} }`;
     }
     equals(other) {

package/dest/trees/database_public_state_source.d.ts

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import type { AztecAddress } from '../aztec-address/index.js';
 import type { MerkleTreeReadOperations } from '../interfaces/merkle_tree_operations.js';
 import type { PublicStateSource } from '../interfaces/public_state_source.js';
@@ -8,4 +8,4 @@ export declare class DatabasePublicStateSource implements PublicStateSource {
     constructor(db: MerkleTreeReadOperations);
     storageRead(contractAddress: AztecAddress, slot: Fr): Promise<Fr>;
 }
-//# sourceMappingURL=database_public_state_source.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGF0YWJhc2VfcHVibGljX3N0YXRlX3NvdXJjZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL2RhdGFiYXNlX3B1YmxpY19zdGF0ZV9zb3VyY2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRTlELE9BQU8sS0FBSyxFQUFFLHdCQUF3QixFQUFFLE1BQU0seUNBQXlDLENBQUM7QUFDeEYsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUk5RSxZQUFZLEVBQUUsaUJBQWlCLEVBQUUsQ0FBQztBQUVsQyxxQkFBYSx5QkFBMEIsWUFBVyxpQkFBaUI7SUFDckQsT0FBTyxDQUFDLEVBQUU7SUFBdEIsWUFBb0IsRUFBRSxFQUFFLHdCQUF3QixFQUFJO0lBRTlDLFdBQVcsQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLElBQUksRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQWN0RTtDQUNGIn0=

package/dest/trees/database_public_state_source.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"database_public_state_source.d.ts","sourceRoot":"","sources":["../../src/trees/database_public_state_source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACxF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAI9E,YAAY,EAAE,iBAAiB,EAAE,CAAC;AAElC,qBAAa,yBAA0B,YAAW,iBAAiB;IACrD,OAAO,CAAC,EAAE;gBAAF,EAAE,EAAE,wBAAwB;IAE1C,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;CAexE"}
+{"version":3,"file":"database_public_state_source.d.ts","sourceRoot":"","sources":["../../src/trees/database_public_state_source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACxF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAI9E,YAAY,EAAE,iBAAiB,EAAE,CAAC;AAElC,qBAAa,yBAA0B,YAAW,iBAAiB;IACrD,OAAO,CAAC,EAAE;IAAtB,YAAoB,EAAE,EAAE,wBAAwB,EAAI;IAE9C,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CActE;CACF"}

package/dest/trees/database_public_state_source.js

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { computePublicDataTreeLeafSlot } from '../hash/hash.js';
 import { MerkleTreeId } from './merkle_tree_id.js';
 export class DatabasePublicStateSource {

package/dest/trees/index.d.ts

@@ -6,4 +6,4 @@ export * from './nullifier_membership_witness.js';
 export * from './public_data_witness.js';
 export * from '../interfaces/merkle_tree_operations.js';
 export * from './database_public_state_source.js';
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90cmVlcy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLHFCQUFxQixDQUFDO0FBQ3BDLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyxnQ0FBZ0MsQ0FBQztBQUMvQyxjQUFjLHFCQUFxQixDQUFDO0FBQ3BDLGNBQWMsbUNBQW1DLENBQUM7QUFDbEQsY0FBYywwQkFBMEIsQ0FBQztBQUN6QyxjQUFjLHlDQUF5QyxDQUFDO0FBQ3hELGNBQWMsbUNBQW1DLENBQUMifQ==

package/dest/trees/merkle_tree_id.d.ts

@@ -3,10 +3,10 @@
  * @remarks The MerkleTrees class expects these to start from zero and be in incremental order.
  */
 export declare enum MerkleTreeId {
-    NULLIFIER_TREE = 0,// 0
-    NOTE_HASH_TREE = 1,// 1
-    PUBLIC_DATA_TREE = 2,// 2
-    L1_TO_L2_MESSAGE_TREE = 3,// 3
+    NULLIFIER_TREE = 0,
+    NOTE_HASH_TREE = 1,
+    PUBLIC_DATA_TREE = 2,
+    L1_TO_L2_MESSAGE_TREE = 3,
     ARCHIVE = 4
 }
 export declare const merkleTreeIds: () => MerkleTreeId[];
@@ -28,4 +28,4 @@ declare const TREE_NAMES: {
 };
 export declare function getTreeName<TID extends MerkleTreeId>(treeId: TID): (typeof TREE_NAMES)[TID];
 export {};
-//# sourceMappingURL=merkle_tree_id.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVya2xlX3RyZWVfaWQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90cmVlcy9tZXJrbGVfdHJlZV9pZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFhQTs7O0dBR0c7QUFDSCxvQkFBWSxZQUFZO0lBQ3RCLGNBQWMsSUFBb0I7SUFDbEMsY0FBYyxJQUFvQjtJQUNsQyxnQkFBZ0IsSUFBc0I7SUFDdEMscUJBQXFCLElBQTJCO0lBQ2hELE9BQU8sSUFBa0I7Q0FDMUI7QUFFRCxlQUFPLE1BQU0sYUFBYSxzQkFFekIsQ0FBQztBQUVGLFFBQUEsTUFBTSxZQUFZOzs7Ozs7Q0FNUixDQUFDO0FBRVgsTUFBTSxNQUFNLFdBQVcsR0FBRyxPQUFPLFlBQVksQ0FBQztBQUU5Qyx3QkFBZ0IsYUFBYSxDQUFDLEdBQUcsU0FBUyxZQUFZLEVBQUUsTUFBTSxFQUFFLEdBQUcsR0FBRyxXQUFXLENBQUMsR0FBRyxDQUFDLENBRXJGO0FBRUQsUUFBQSxNQUFNLFVBQVU7Ozs7OztDQU1OLENBQUM7QUFFWCx3QkFBZ0IsV0FBVyxDQUFDLEdBQUcsU0FBUyxZQUFZLEVBQUUsTUFBTSxFQUFFLEdBQUcsR0FBRyxDQUFDLE9BQU8sVUFBVSxDQUFDLENBQUMsR0FBRyxDQUFDLENBRTNGIn0=

package/dest/trees/merkle_tree_id.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"merkle_tree_id.d.ts","sourceRoot":"","sources":["../../src/trees/merkle_tree_id.ts"],"names":[],"mappings":"AAaA;;;GAGG;AACH,oBAAY,YAAY;IACtB,cAAc,IAAoB,CAAE,IAAI;IACxC,cAAc,IAAoB,CAAE,IAAI;IACxC,gBAAgB,IAAsB,CAAE,IAAI;IAC5C,qBAAqB,IAA2B,CAAE,IAAI;IACtD,OAAO,IAAkB;CAC1B;AAED,eAAO,MAAM,aAAa,sBAEzB,CAAC;AAEF,QAAA,MAAM,YAAY;;;;;;CAMR,CAAC;AAEX,MAAM,MAAM,WAAW,GAAG,OAAO,YAAY,CAAC;AAE9C,wBAAgB,aAAa,CAAC,GAAG,SAAS,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAErF;AAED,QAAA,MAAM,UAAU;;;;;;CAMN,CAAC;AAEX,wBAAgB,WAAW,CAAC,GAAG,SAAS,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,GAAG,CAAC,CAE3F"}
+{"version":3,"file":"merkle_tree_id.d.ts","sourceRoot":"","sources":["../../src/trees/merkle_tree_id.ts"],"names":[],"mappings":"AAaA;;;GAGG;AACH,oBAAY,YAAY;IACtB,cAAc,IAAoB;IAClC,cAAc,IAAoB;IAClC,gBAAgB,IAAsB;IACtC,qBAAqB,IAA2B;IAChD,OAAO,IAAkB;CAC1B;AAED,eAAO,MAAM,aAAa,sBAEzB,CAAC;AAEF,QAAA,MAAM,YAAY;;;;;;CAMR,CAAC;AAEX,MAAM,MAAM,WAAW,GAAG,OAAO,YAAY,CAAC;AAE9C,wBAAgB,aAAa,CAAC,GAAG,SAAS,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAErF;AAED,QAAA,MAAM,UAAU;;;;;;CAMN,CAAC;AAEX,wBAAgB,WAAW,CAAC,GAAG,SAAS,YAAY,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,GAAG,CAAC,CAE3F"}

package/dest/trees/nullifier_leaf.d.ts

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import type { IndexedTreeLeaf, IndexedTreeLeafPreimage } from '@aztec/foundation/trees';
 import { z } from 'zod';
@@ -32,50 +32,39 @@ export declare class NullifierLeafPreimage implements IndexedTreeLeafPreimage {
      * Index of the next leaf in the indexed tree's linked list.
      */
     nextIndex: bigint);
-    static get schema(): z.ZodEffects<z.ZodObject<{
-        leaf: z.ZodEffects<z.ZodObject<{
-            nullifier: z.ZodType<Fr, any, string>;
-        }, "strip", z.ZodTypeAny, {
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        leaf: z.ZodPipe<z.ZodObject<{
+            nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
             nullifier: Fr;
-        }, {
-            nullifier: string;
-        }>, NullifierLeaf, {
-            nullifier: string;
-        }>;
-        nextKey: z.ZodType<Fr, any, string>;
-        nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    }, "strip", z.ZodTypeAny, {
+        }>>;
+        nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
         leaf: NullifierLeaf;
         nextKey: Fr;
         nextIndex: bigint;
-    }, {
-        leaf: {
-            nullifier: string;
-        };
-        nextKey: string;
-        nextIndex: string | number | bigint;
-    }>, NullifierLeafPreimage, {
-        leaf: {
-            nullifier: string;
-        };
-        nextKey: string;
-        nextIndex: string | number | bigint;
-    }>;
-    static get leafSchema(): z.ZodEffects<z.ZodObject<{
-        nullifier: z.ZodType<Fr, any, string>;
-    }, "strip", z.ZodTypeAny, {
+    }>>;
+    /**
+     * Creates a NullifierLeafPreimage 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).
+     * @param obj - Plain object containing NullifierLeafPreimage fields
+     * @returns A NullifierLeafPreimage instance
+     */
+    static fromPlainObject(obj: any): NullifierLeafPreimage;
+    static get leafSchema(): z.ZodPipe<z.ZodObject<{
+        nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+    }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
         nullifier: Fr;
-    }, {
-        nullifier: string;
-    }>, NullifierLeaf, {
-        nullifier: string;
-    }>;
+    }>>;
     getKey(): bigint;
     getNextKey(): bigint;
     getNextIndex(): bigint;
     asLeaf(): NullifierLeaf;
     toBuffer(): Buffer;
     toHashInputs(): Buffer[];
+    isEmpty(): boolean;
     toFields(): Fr[];
     clone(): NullifierLeafPreimage;
     static random(): NullifierLeafPreimage;
@@ -107,14 +96,18 @@ export declare class NullifierLeaf implements IndexedTreeLeaf {
     updateTo(_another: NullifierLeaf): NullifierLeaf;
     static buildDummy(key: bigint): NullifierLeaf;
     static fromBuffer(buf: Buffer | BufferReader): NullifierLeaf;
-    static get schema(): z.ZodEffects<z.ZodObject<{
-        nullifier: z.ZodType<Fr, any, string>;
-    }, "strip", z.ZodTypeAny, {
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+    }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
         nullifier: Fr;
-    }, {
-        nullifier: string;
-    }>, NullifierLeaf, {
-        nullifier: string;
-    }>;
+    }>>;
+    /**
+     * Creates a NullifierLeaf 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).
+     * @param obj - Plain object containing NullifierLeaf fields
+     * @returns A NullifierLeaf instance
+     */
+    static fromPlainObject(obj: any): NullifierLeaf;
 }
-//# sourceMappingURL=nullifier_leaf.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVsbGlmaWVyX2xlYWYuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90cmVlcy9udWxsaWZpZXJfbGVhZi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQzNELE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSx1QkFBdUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhGLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEI7OztHQUdHO0FBQ0gscUJBQWEscUJBQXNCLFlBQVcsdUJBQXVCO0lBRWpFOztPQUVHO0lBQ0ksSUFBSSxFQUFFLGFBQWE7SUFDMUI7O09BRUc7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLFNBQVMsRUFBRSxNQUFNO0lBWjFCO0lBQ0U7O09BRUc7SUFDSSxJQUFJLEVBQUUsYUFBYTtJQUMxQjs7T0FFRztJQUNJLE9BQU8sRUFBRSxFQUFFO0lBQ2xCOztPQUVHO0lBQ0ksU0FBUyxFQUFFLE1BQU0sRUFDdEI7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7O1FBUWhCO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLHFCQUFxQixDQVN0RDtJQUVELE1BQU0sS0FBSyxVQUFVOzs7O1FBRXBCO0lBRUQsTUFBTSxJQUFJLE1BQU0sQ0FFZjtJQUVELFVBQVUsSUFBSSxNQUFNLENBRW5CO0lBRUQsWUFBWSxJQUFJLE1BQU0sQ0FFckI7SUFFRCxNQUFNLElBQUksYUFBYSxDQUV0QjtJQUVELFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQsWUFBWSxJQUFJLE1BQU0sRUFBRSxDQU12QjtJQUVELE9BQU8sSUFBSSxPQUFPLENBRWpCO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRUQsS0FBSyxJQUFJLHFCQUFxQixDQUU3QjtJQUVELE1BQU0sQ0FBQyxNQUFNLDBCQUVaO0lBRUQsTUFBTSxDQUFDLEtBQUssSUFBSSxxQkFBcUIsQ0FFcEM7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHFCQUFxQixDQU90RTtJQUVELE1BQU0sQ0FBQyxRQUFRLENBQUMsSUFBSSxFQUFFLGFBQWEsRUFBRSxPQUFPLEVBQUUsTUFBTSxFQUFFLFNBQVMsRUFBRSxNQUFNLEdBQUcscUJBQXFCLENBRTlGO0lBRUQsTUFBTSxDQUFDLEtBQUssQ0FBQyxRQUFRLEVBQUUscUJBQXFCLEdBQUcscUJBQXFCLENBRW5FO0NBQ0Y7QUFFRDs7R0FFRztBQUNILHFCQUFhLGFBQWMsWUFBVyxlQUFlO0lBRWpEOztPQUVHO0lBQ0ksU0FBUyxFQUFFLEVBQUU7SUFKdEI7SUFDRTs7T0FFRztJQUNJLFNBQVMsRUFBRSxFQUFFLEVBQ2xCO0lBRUosTUFBTSxJQUFJLE1BQU0sQ0FFZjtJQUVELFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQsS0FBSyxJQUFJLGFBQWEsQ0FFckI7SUFFRCxZQUFZLElBQUksTUFBTSxFQUFFLENBRXZCO0lBRUQsTUFBTSxDQUFDLEtBQUssSUFBSSxhQUFhLENBRTVCO0lBRUQsTUFBTSxDQUFDLE1BQU0sSUFBSSxhQUFhLENBRTdCO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FFakI7SUFFRCxRQUFRLENBQUMsUUFBUSxFQUFFLGFBQWEsR0FBRyxhQUFhLENBRS9DO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLGFBQWEsQ0FFNUM7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGFBQWEsQ0FHM0Q7SUFFRCxNQUFNLEtBQUssTUFBTTs7OztRQUVoQjtJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxhQUFhLENBSzlDO0NBQ0YifQ==

package/dest/trees/nullifier_leaf.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nullifier_leaf.d.ts","sourceRoot":"","sources":["../../src/trees/nullifier_leaf.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAExF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;GAGG;AACH,qBAAa,qBAAsB,YAAW,uBAAuB;IAEjE;;OAEG;IACI,IAAI,EAAE,aAAa;IAC1B;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,SAAS,EAAE,MAAM;;IAXxB;;OAEG;IACI,IAAI,EAAE,aAAa;IAC1B;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,SAAS,EAAE,MAAM;IAG1B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,KAAK,UAAU;;;;;;;;OAEpB;IAED,MAAM,IAAI,MAAM;IAIhB,UAAU,IAAI,MAAM;IAIpB,YAAY,IAAI,MAAM;IAItB,MAAM,IAAI,aAAa;IAIvB,QAAQ,IAAI,MAAM;IAIlB,YAAY,IAAI,MAAM,EAAE;IAQxB,QAAQ,IAAI,EAAE,EAAE;IAIhB,KAAK,IAAI,qBAAqB;IAI9B,MAAM,CAAC,MAAM;IAIb,MAAM,CAAC,KAAK,IAAI,qBAAqB;IAIrC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB;IASvE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,qBAAqB;IAI/F,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,qBAAqB,GAAG,qBAAqB;CAGrE;AAED;;GAEG;AACH,qBAAa,aAAc,YAAW,eAAe;IAEjD;;OAEG;IACI,SAAS,EAAE,EAAE;;IAHpB;;OAEG;IACI,SAAS,EAAE,EAAE;IAGtB,MAAM,IAAI,MAAM;IAIhB,QAAQ,IAAI,MAAM;IAIlB,KAAK,IAAI,aAAa;IAItB,YAAY,IAAI,MAAM,EAAE;IAIxB,MAAM,CAAC,KAAK,IAAI,aAAa;IAI7B,MAAM,CAAC,MAAM,IAAI,aAAa;IAI9B,OAAO,IAAI,OAAO;IAIlB,QAAQ,CAAC,QAAQ,EAAE,aAAa,GAAG,aAAa;IAIhD,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,aAAa;IAI7C,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa;IAK5D,MAAM,KAAK,MAAM;;;;;;;;OAEhB;CACF"}
+{"version":3,"file":"nullifier_leaf.d.ts","sourceRoot":"","sources":["../../src/trees/nullifier_leaf.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAExF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;GAGG;AACH,qBAAa,qBAAsB,YAAW,uBAAuB;IAEjE;;OAEG;IACI,IAAI,EAAE,aAAa;IAC1B;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,SAAS,EAAE,MAAM;IAZ1B;IACE;;OAEG;IACI,IAAI,EAAE,aAAa;IAC1B;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,SAAS,EAAE,MAAM,EACtB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;QAQhB;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,qBAAqB,CAStD;IAED,MAAM,KAAK,UAAU;;;;QAEpB;IAED,MAAM,IAAI,MAAM,CAEf;IAED,UAAU,IAAI,MAAM,CAEnB;IAED,YAAY,IAAI,MAAM,CAErB;IAED,MAAM,IAAI,aAAa,CAEtB;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,YAAY,IAAI,MAAM,EAAE,CAMvB;IAED,OAAO,IAAI,OAAO,CAEjB;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,KAAK,IAAI,qBAAqB,CAE7B;IAED,MAAM,CAAC,MAAM,0BAEZ;IAED,MAAM,CAAC,KAAK,IAAI,qBAAqB,CAEpC;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAOtE;IAED,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,qBAAqB,CAE9F;IAED,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,qBAAqB,GAAG,qBAAqB,CAEnE;CACF;AAED;;GAEG;AACH,qBAAa,aAAc,YAAW,eAAe;IAEjD;;OAEG;IACI,SAAS,EAAE,EAAE;IAJtB;IACE;;OAEG;IACI,SAAS,EAAE,EAAE,EAClB;IAEJ,MAAM,IAAI,MAAM,CAEf;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,KAAK,IAAI,aAAa,CAErB;IAED,YAAY,IAAI,MAAM,EAAE,CAEvB;IAED,MAAM,CAAC,KAAK,IAAI,aAAa,CAE5B;IAED,MAAM,CAAC,MAAM,IAAI,aAAa,CAE7B;IAED,OAAO,IAAI,OAAO,CAEjB;IAED,QAAQ,CAAC,QAAQ,EAAE,aAAa,GAAG,aAAa,CAE/C;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,aAAa,CAE5C;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa,CAG3D;IAED,MAAM,KAAK,MAAM;;;;QAEhB;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,aAAa,CAK9C;CACF"}

package/dest/trees/nullifier_leaf.js

@@ -1,5 +1,5 @@
 import { toBigIntBE, toBufferBE } from '@aztec/foundation/bigint-buffer';
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { schemas } from '@aztec/foundation/schemas';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { z } from 'zod';
@@ -28,6 +28,18 @@ import { z } from 'zod';
             nextIndex: schemas.BigInt
         }).transform(({ leaf, nextKey, nextIndex })=>new NullifierLeafPreimage(leaf, nextKey, nextIndex));
     }
+    /**
+   * Creates a NullifierLeafPreimage 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).
+   * @param obj - Plain object containing NullifierLeafPreimage fields
+   * @returns A NullifierLeafPreimage instance
+   */ static fromPlainObject(obj) {
+        if (obj instanceof NullifierLeafPreimage) {
+            return obj;
+        }
+        return new NullifierLeafPreimage(NullifierLeaf.fromPlainObject(obj.leaf), Fr.fromPlainObject(obj.nextKey), typeof obj.nextIndex === 'bigint' ? obj.nextIndex : BigInt(obj.nextIndex));
+    }
     static get leafSchema() {
         return NullifierLeaf.schema;
     }
@@ -53,6 +65,9 @@ import { z } from 'zod';
             Buffer.from(toBufferBE(this.nextIndex, 32))
         ];
     }
+    isEmpty() {
+        return this.leaf.isEmpty() && this.nextKey.isZero() && this.nextIndex === 0n;
+    }
     toFields() {
         return this.toHashInputs().map((buf)=>Fr.fromBuffer(buf));
     }
@@ -123,4 +138,16 @@ import { z } from 'zod';
             nullifier: schemas.Fr
         }).transform(({ nullifier })=>new NullifierLeaf(nullifier));
     }
+    /**
+   * Creates a NullifierLeaf 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).
+   * @param obj - Plain object containing NullifierLeaf fields
+   * @returns A NullifierLeaf instance
+   */ static fromPlainObject(obj) {
+        if (obj instanceof NullifierLeaf) {
+            return obj;
+        }
+        return new NullifierLeaf(Fr.fromPlainObject(obj.nullifier));
+    }
 }