@aztec/stdlib 6.0.0-nightly.20260605 → 6.0.0-nightly.20260721

package/dest/timetable/index.d.ts

@@ -1,84 +1,5 @@
-/**
- * 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 declare const CHECKPOINT_INITIALIZATION_TIME = 1;
-/** Time budget for assembling a checkpoint after building the last block in seconds */
-export declare const CHECKPOINT_ASSEMBLE_TIME = 1;
-/** Default one-way P2P propagation time for proposals and attestations in seconds */
-export declare const DEFAULT_P2P_PROPAGATION_TIME = 2;
-/** Default L1 publishing time (matches Ethereum slot duration on mainnet) in seconds */
-export declare const DEFAULT_L1_PUBLISHING_TIME = 12;
-/** Minimum execution time for building a block in seconds */
-export declare const MIN_EXECUTION_TIME = 2;
-export type CheckpointTimingConfig = {
-    aztecSlotDuration: number;
-    ethereumSlotDuration?: number;
-    blockDuration?: number;
-    checkpointAssembleTime?: number;
-    checkpointInitializationTime?: number;
-    l1PublishingTime?: number;
-    minExecutionTime?: number;
-    p2pPropagationTime?: number;
-};
-export interface CheckpointTiming {
-    readonly aztecSlotDuration: number;
-    readonly blockDuration: number | undefined;
-    readonly checkpointAssembleTime: number;
-    readonly checkpointInitializationTime: number;
-    readonly l1PublishingTime: number;
-    readonly minExecutionTime: number;
-    readonly p2pPropagationTime: number;
-    readonly checkpointFinalizationTime: number;
-    readonly pipeliningAttestationGracePeriod: number;
-    readonly timeReservedAtEnd: number;
-    readonly minimumBuildSlotWork: number;
-    readonly initializeDeadline: number;
-    readonly checkpointAssemblyDeadline: number;
-    readonly checkpointAttestationStartDeadline: number;
-    readonly checkpointAttestationDeadline: number;
-    readonly checkpointPublishingDeadline: number;
-    calculateMaxBlocksPerSlot(): number;
-}
-export interface PipelinedCheckpointTiming extends CheckpointTiming {
-    readonly proposalWindowIntoTargetSlot: number;
-    readonly attestationWindowIntoTargetSlot: number;
-}
-/**
- * Creates a checkpoint timing model.
- *
- * Most callers should use this factory and depend only on the shared
- * `CheckpointTiming` interface.
- */
-export declare function createCheckpointTimingModel(opts: CheckpointTimingConfig): CheckpointTiming;
-/**
- * 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 declare function createPipelinedCheckpointTimingModel(opts: CheckpointTimingConfig): PipelinedCheckpointTiming;
-/**
- * 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 declare function calculateMaxBlocksPerSlot(aztecSlotDurationSec: number, blockDurationSec: number | undefined, opts?: {
-    checkpointInitializationTime?: number;
-    checkpointAssembleTime?: number;
-    p2pPropagationTime?: number;
-    l1PublishingTime?: number;
-}): number;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90aW1ldGFibGUvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7R0FVRztBQUVILG1GQUFtRjtBQUNuRixlQUFPLE1BQU0sOEJBQThCLElBQUksQ0FBQztBQUVoRCx1RkFBdUY7QUFDdkYsZUFBTyxNQUFNLHdCQUF3QixJQUFJLENBQUM7QUFFMUMscUZBQXFGO0FBQ3JGLGVBQU8sTUFBTSw0QkFBNEIsSUFBSSxDQUFDO0FBRTlDLHdGQUF3RjtBQUN4RixlQUFPLE1BQU0sMEJBQTBCLEtBQUssQ0FBQztBQUU3Qyw2REFBNkQ7QUFDN0QsZUFBTyxNQUFNLGtCQUFrQixJQUFJLENBQUM7QUFFcEMsTUFBTSxNQUFNLHNCQUFzQixHQUFHO0lBQ25DLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUMxQixvQkFBb0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUM5QixhQUFhLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDdkIsc0JBQXNCLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDaEMsNEJBQTRCLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDdEMsZ0JBQWdCLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDMUIsZ0JBQWdCLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDMUIsa0JBQWtCLENBQUMsRUFBRSxNQUFNLENBQUM7Q0FDN0IsQ0FBQztBQUVGLE1BQU0sV0FBVyxnQkFBZ0I7SUFDL0IsUUFBUSxDQUFDLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUNuQyxRQUFRLENBQUMsYUFBYSxFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDM0MsUUFBUSxDQUFDLHNCQUFzQixFQUFFLE1BQU0sQ0FBQztJQUN4QyxRQUFRLENBQUMsNEJBQTRCLEVBQUUsTUFBTSxDQUFDO0lBQzlDLFFBQVEsQ0FBQyxnQkFBZ0IsRUFBRSxNQUFNLENBQUM7SUFDbEMsUUFBUSxDQUFDLGdCQUFnQixFQUFFLE1BQU0sQ0FBQztJQUNsQyxRQUFRLENBQUMsa0JBQWtCLEVBQUUsTUFBTSxDQUFDO0lBQ3BDLFFBQVEsQ0FBQywwQkFBMEIsRUFBRSxNQUFNLENBQUM7SUFDNUMsUUFBUSxDQUFDLGdDQUFnQyxFQUFFLE1BQU0sQ0FBQztJQUNsRCxRQUFRLENBQUMsaUJBQWlCLEVBQUUsTUFBTSxDQUFDO0lBQ25DLFFBQVEsQ0FBQyxvQkFBb0IsRUFBRSxNQUFNLENBQUM7SUFDdEMsUUFBUSxDQUFDLGtCQUFrQixFQUFFLE1BQU0sQ0FBQztJQUNwQyxRQUFRLENBQUMsMEJBQTBCLEVBQUUsTUFBTSxDQUFDO0lBQzVDLFFBQVEsQ0FBQyxrQ0FBa0MsRUFBRSxNQUFNLENBQUM7SUFDcEQsUUFBUSxDQUFDLDZCQUE2QixFQUFFLE1BQU0sQ0FBQztJQUMvQyxRQUFRLENBQUMsNEJBQTRCLEVBQUUsTUFBTSxDQUFDO0lBRTlDLHlCQUF5QixJQUFJLE1BQU0sQ0FBQztDQUNyQztBQUVELE1BQU0sV0FBVyx5QkFBMEIsU0FBUSxnQkFBZ0I7SUFDakUsUUFBUSxDQUFDLDRCQUE0QixFQUFFLE1BQU0sQ0FBQztJQUM5QyxRQUFRLENBQUMsK0JBQStCLEVBQUUsTUFBTSxDQUFDO0NBQ2xEO0FBaUhEOzs7OztHQUtHO0FBQ0gsd0JBQWdCLDJCQUEyQixDQUFDLElBQUksRUFBRSxzQkFBc0IsR0FBRyxnQkFBZ0IsQ0FFMUY7QUFFRDs7Ozs7R0FLRztBQUNILHdCQUFnQixvQ0FBb0MsQ0FBQyxJQUFJLEVBQUUsc0JBQXNCLEdBQUcseUJBQXlCLENBTzVHO0FBRUQ7Ozs7Ozs7O0dBUUc7QUFDSCx3QkFBZ0IseUJBQXlCLENBQ3ZDLG9CQUFvQixFQUFFLE1BQU0sRUFDNUIsZ0JBQWdCLEVBQUUsTUFBTSxHQUFHLFNBQVMsRUFDcEMsSUFBSSxHQUFFO0lBQ0osNEJBQTRCLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDdEMsc0JBQXNCLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDaEMsa0JBQWtCLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDNUIsZ0JBQWdCLENBQUMsRUFBRSxNQUFNLENBQUM7Q0FDdEIsR0FDTCxNQUFNLENBU1IifQ==
+export * from './budgets.js';
+export * from './build_proposer_timetable.js';
+export * from './consensus_timetable.js';
+export * from './proposer_timetable.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90aW1ldGFibGUvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxjQUFjLENBQUM7QUFDN0IsY0FBYywrQkFBK0IsQ0FBQztBQUM5QyxjQUFjLDBCQUEwQixDQUFDO0FBQ3pDLGNBQWMseUJBQXlCLENBQUMifQ==

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/timetable/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,mFAAmF;AACnF,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,uFAAuF;AACvF,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C,qFAAqF;AACrF,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C,wFAAwF;AACxF,eAAO,MAAM,0BAA0B,KAAK,CAAC;AAE7C,6DAA6D;AAC7D,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC,MAAM,MAAM,sBAAsB,GAAG;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,gCAAgC,EAAE,MAAM,CAAC;IAClD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,kCAAkC,EAAE,MAAM,CAAC;IACpD,QAAQ,CAAC,6BAA6B,EAAE,MAAM,CAAC;IAC/C,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAE9C,yBAAyB,IAAI,MAAM,CAAC;CACrC;AAED,MAAM,WAAW,yBAA0B,SAAQ,gBAAgB;IACjE,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAC9C,QAAQ,CAAC,+BAA+B,EAAE,MAAM,CAAC;CAClD;AAiHD;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,sBAAsB,GAAG,gBAAgB,CAE1F;AAED;;;;;GAKG;AACH,wBAAgB,oCAAoC,CAAC,IAAI,EAAE,sBAAsB,GAAG,yBAAyB,CAO5G;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CACvC,oBAAoB,EAAE,MAAM,EAC5B,gBAAgB,EAAE,MAAM,GAAG,SAAS,EACpC,IAAI,GAAE;IACJ,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACtB,GACL,MAAM,CASR"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/timetable/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,+BAA+B,CAAC;AAC9C,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC"}

package/dest/timetable/index.js

@@ -1,209 +1,4 @@
-/**
- * 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).`);
-    }
-}
+export * from './budgets.js';
+export * from './build_proposer_timetable.js';
+export * from './consensus_timetable.js';
+export * from './proposer_timetable.js';

package/dest/timetable/proposer_timetable.d.ts

@@ -0,0 +1,106 @@
+import type { SlotNumber } from '@aztec/foundation/branded-types';
+import type { Logger } from '@aztec/foundation/log';
+import { ConsensusTimetable, type SlotTimingConstants } from './consensus_timetable.js';
+/** Result of selecting the next block sub-slot to build. */
+export type SubslotSelection = {
+    canStart: false;
+    index: undefined;
+    deadline: undefined;
+    isLastBlock: false;
+} | {
+    canStart: true;
+    index: number;
+    deadline: number;
+    isLastBlock: boolean;
+};
+/**
+ * Proposer ideal/happy-path schedule and block sub-slot timetable.
+ *
+ * Composes a {@link ConsensusTimetable} and adds the operational budgets that only the proposer needs
+ * (`min_block_duration`, `p2p_propagation_time`, `checkpoint_proposal_prepare_time`). Used by the
+ * sequencer and checkpoint-proposal job. All getters take a target slot and return an absolute
+ * wall-clock timestamp in seconds (or sub-slot deadlines in seconds for {@link selectNextSubslot}).
+ *
+ * The single hard deadline {@link getAttestationDeadline} is inherited from the composed
+ * {@link ConsensusTimetable}, so the proposer uses one object.
+ *
+ * `maxBlocksPerCheckpoint` is computed from the local operational budgets and then clamped down to the optional
+ * network-provided value when that value is lower; a network value at or above the computed count leaves the
+ * computed count in effect. When clamping down occurs and a logger is supplied, a warning is emitted.
+ */
+export declare class ProposerTimetable extends ConsensusTimetable {
+    /** Minimum block-building time (`min_block_duration`) in seconds. */
+    readonly minBlockDuration: number;
+    /** One-way proposal/attestation propagation budget (`p2p_propagation_time`) in seconds. */
+    readonly p2pPropagationTime: number;
+    /** Local checkpoint proposal preparation budget (`checkpoint_proposal_prepare_time`) in seconds. */
+    readonly checkpointProposalPrepareTime: number;
+    /** Proposer initialization budget (`checkpoint_proposal_init_time`) reserved before the first sub-slot, in seconds. */
+    readonly checkpointProposalInitTime: number;
+    /**
+     * Effective maximum number of block sub-slots per checkpoint: the value the local operational budgets compute,
+     * clamped down to the explicit network value when that value is lower. A network value above the computed
+     * count has no effect (the computed count is used) and is not logged.
+     */
+    readonly maxBlocksPerCheckpoint: number;
+    constructor(opts: {
+        l1Constants: SlotTimingConstants;
+        blockDuration: number;
+        minBlockDuration: number;
+        p2pPropagationTime: number;
+        checkpointProposalPrepareTime: number;
+        checkpointProposalInitTime: number;
+        checkpointProposalSyncGrace?: number;
+        /** Explicit network max blocks per checkpoint; the effective value is clamped down to this when it is lower. */
+        maxBlocksPerCheckpoint?: number;
+        /** Optional logger; warns when the local budgets compute more blocks than the network value allows. */
+        logger?: Logger;
+    });
+    /**
+     * Computes the maximum number of full-duration block sub-slots in a checkpoint from the already-resolved
+     * budgets. Derived from the spec's `max_blocks_per_checkpoint = floor((last_block_build_time -
+     * first_subslot_start) / D)`, where the first sub-slot starts one `checkpoint_proposal_init_time` (`init`)
+     * after `build_frame_start`, so it simplifies to `floor((S - init - D - 2P - prepCp) / D)`.
+     */
+    private computeMaxBlocksPerCheckpoint;
+    /**
+     * Ideal time the last block must finish building by to make the ideal L1 publish path:
+     * `target_slot_start - E - D - 2P - prepCp` (= `checkpoint_proposal_send_time - prepCp`). Single value;
+     * the proposer sizes block production around the ideal L1-publish path only.
+     */
+    getLastBlockBuildTime(slot: SlotNumber): number;
+    /**
+     * Latest start at which the proposer can still squeeze in a minimum-duration block.
+     *
+     * Multi-block mode: `last_block_build_time - min_block_duration`, an ideal-derived cutoff
+     * intentionally earlier (by `P`) than the consensus receive gate would strictly allow, and
+     * conservatively no later than the final sub-slot's start cutoff in {@link selectNextSubslot}.
+     *
+     */
+    getBuildStartDeadline(slot: SlotNumber): number;
+    /** Ideal L1 publish/send time: `target_slot_start - E`. Also the ideal attestation-receipt target. */
+    getL1PublishIdealTime(slot: SlotNumber): number;
+    /**
+     * Build deadline for sub-slot `k` (zero-based): `build_frame_start + init + (k + 1) * D`.
+     *
+     * The `init` (`checkpoint_proposal_init_time`) offset reserves the proposer's sync/proposer-check/init
+     * budget at the start of the build frame, so the first sub-slot still has its full duration once the
+     * prologue finishes rather than being eaten by it.
+     */
+    getBlockBuildDeadline(slot: SlotNumber, blockIndex: number): number;
+    /** Latest time to keep waiting for txs for sub-slot `k`: `block_build_deadline(k) - min_block_duration`. */
+    getWaitForTxsDeadline(slot: SlotNumber, blockIndex: number): number;
+    /** Maximum number of full-duration block sub-slots for this timing config. */
+    getMaxBlocksPerCheckpoint(): number;
+    /**
+     * Selects the next block sub-slot to build for the target slot given the current wall-clock time.
+     *
+     * Scans sub-slots in order and picks the first whose build deadline is at least `min_block_duration`
+     * in the future. Sub-slots with insufficient remaining headroom are skipped.
+     *
+     * @param slot - Target slot the checkpoint commits to.
+     * @param now - Current wall-clock time in seconds.
+     */
+    selectNextSubslot(slot: SlotNumber, now: number): SubslotSelection;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvcG9zZXJfdGltZXRhYmxlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdGltZXRhYmxlL3Byb3Bvc2VyX3RpbWV0YWJsZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUNsRSxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUdwRCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsS0FBSyxtQkFBbUIsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRXhGLDREQUE0RDtBQUM1RCxNQUFNLE1BQU0sZ0JBQWdCLEdBQ3hCO0lBQUUsUUFBUSxFQUFFLEtBQUssQ0FBQztJQUFDLEtBQUssRUFBRSxTQUFTLENBQUM7SUFBQyxRQUFRLEVBQUUsU0FBUyxDQUFDO0lBQUMsV0FBVyxFQUFFLEtBQUssQ0FBQTtDQUFFLEdBQzlFO0lBQUUsUUFBUSxFQUFFLElBQUksQ0FBQztJQUFDLEtBQUssRUFBRSxNQUFNLENBQUM7SUFBQyxRQUFRLEVBQUUsTUFBTSxDQUFDO0lBQUMsV0FBVyxFQUFFLE9BQU8sQ0FBQTtDQUFFLENBQUM7QUFFOUU7Ozs7Ozs7Ozs7Ozs7O0dBY0c7QUFDSCxxQkFBYSxpQkFBa0IsU0FBUSxrQkFBa0I7SUFDdkQscUVBQXFFO0lBQ3JFLFNBQWdCLGdCQUFnQixFQUFFLE1BQU0sQ0FBQztJQUV6QywyRkFBMkY7SUFDM0YsU0FBZ0Isa0JBQWtCLEVBQUUsTUFBTSxDQUFDO0lBRTNDLG9HQUFvRztJQUNwRyxTQUFnQiw2QkFBNkIsRUFBRSxNQUFNLENBQUM7SUFFdEQsdUhBQXVIO0lBQ3ZILFNBQWdCLDBCQUEwQixFQUFFLE1BQU0sQ0FBQztJQUVuRDs7OztPQUlHO0lBQ0gsU0FBZ0Isc0JBQXNCLEVBQUUsTUFBTSxDQUFDO0lBRS9DLFlBQVksSUFBSSxFQUFFO1FBQ2hCLFdBQVcsRUFBRSxtQkFBbUIsQ0FBQztRQUNqQyxhQUFhLEVBQUUsTUFBTSxDQUFDO1FBQ3RCLGdCQUFnQixFQUFFLE1BQU0sQ0FBQztRQUN6QixrQkFBa0IsRUFBRSxNQUFNLENBQUM7UUFDM0IsNkJBQTZCLEVBQUUsTUFBTSxDQUFDO1FBQ3RDLDBCQUEwQixFQUFFLE1BQU0sQ0FBQztRQUNuQywyQkFBMkIsQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUNyQyxnSEFBZ0g7UUFDaEgsc0JBQXNCLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDaEMsdUdBQXVHO1FBQ3ZHLE1BQU0sQ0FBQyxFQUFFLE1BQU0sQ0FBQztLQUNqQixFQXNDQTtJQUVEOzs7OztPQUtHO0lBQ0gsT0FBTyxDQUFDLDZCQUE2QjtJQVdyQzs7OztPQUlHO0lBQ0kscUJBQXFCLENBQUMsSUFBSSxFQUFFLFVBQVUsR0FBRyxNQUFNLENBUXJEO0lBRUQ7Ozs7Ozs7T0FPRztJQUNJLHFCQUFxQixDQUFDLElBQUksRUFBRSxVQUFVLEdBQUcsTUFBTSxDQUVyRDtJQUVELHNHQUFzRztJQUMvRixxQkFBcUIsQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLE1BQU0sQ0FFckQ7SUFFRDs7Ozs7O09BTUc7SUFDSSxxQkFBcUIsQ0FBQyxJQUFJLEVBQUUsVUFBVSxFQUFFLFVBQVUsRUFBRSxNQUFNLEdBQUcsTUFBTSxDQUV6RTtJQUVELDRHQUE0RztJQUNyRyxxQkFBcUIsQ0FBQyxJQUFJLEVBQUUsVUFBVSxFQUFFLFVBQVUsRUFBRSxNQUFNLEdBQUcsTUFBTSxDQUV6RTtJQUVELDhFQUE4RTtJQUN2RSx5QkFBeUIsSUFBSSxNQUFNLENBRXpDO0lBRUQ7Ozs7Ozs7O09BUUc7SUFDSSxpQkFBaUIsQ0FBQyxJQUFJLEVBQUUsVUFBVSxFQUFFLEdBQUcsRUFBRSxNQUFNLEdBQUcsZ0JBQWdCLENBV3hFO0NBQ0YifQ==

package/dest/timetable/proposer_timetable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposer_timetable.d.ts","sourceRoot":"","sources":["../../src/timetable/proposer_timetable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAGpD,OAAO,EAAE,kBAAkB,EAAE,KAAK,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAExF,4DAA4D;AAC5D,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,KAAK,CAAA;CAAE,GAC9E;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9E;;;;;;;;;;;;;;GAcG;AACH,qBAAa,iBAAkB,SAAQ,kBAAkB;IACvD,qEAAqE;IACrE,SAAgB,gBAAgB,EAAE,MAAM,CAAC;IAEzC,2FAA2F;IAC3F,SAAgB,kBAAkB,EAAE,MAAM,CAAC;IAE3C,oGAAoG;IACpG,SAAgB,6BAA6B,EAAE,MAAM,CAAC;IAEtD,uHAAuH;IACvH,SAAgB,0BAA0B,EAAE,MAAM,CAAC;IAEnD;;;;OAIG;IACH,SAAgB,sBAAsB,EAAE,MAAM,CAAC;IAE/C,YAAY,IAAI,EAAE;QAChB,WAAW,EAAE,mBAAmB,CAAC;QACjC,aAAa,EAAE,MAAM,CAAC;QACtB,gBAAgB,EAAE,MAAM,CAAC;QACzB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,6BAA6B,EAAE,MAAM,CAAC;QACtC,0BAA0B,EAAE,MAAM,CAAC;QACnC,2BAA2B,CAAC,EAAE,MAAM,CAAC;QACrC,gHAAgH;QAChH,sBAAsB,CAAC,EAAE,MAAM,CAAC;QAChC,uGAAuG;QACvG,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,EAsCA;IAED;;;;;OAKG;IACH,OAAO,CAAC,6BAA6B;IAWrC;;;;OAIG;IACI,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAQrD;IAED;;;;;;;OAOG;IACI,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAErD;IAED,sGAAsG;IAC/F,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAErD;IAED;;;;;;OAMG;IACI,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAEzE;IAED,4GAA4G;IACrG,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAEzE;IAED,8EAA8E;IACvE,yBAAyB,IAAI,MAAM,CAEzC;IAED;;;;;;;;OAQG;IACI,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,gBAAgB,CAWxE;CACF"}

package/dest/timetable/proposer_timetable.js

@@ -0,0 +1,132 @@
+import { getDefaultCheckpointProposalSyncGrace, resolveTimingBudgets } from './budgets.js';
+import { ConsensusTimetable } from './consensus_timetable.js';
+/**
+ * Proposer ideal/happy-path schedule and block sub-slot timetable.
+ *
+ * Composes a {@link ConsensusTimetable} and adds the operational budgets that only the proposer needs
+ * (`min_block_duration`, `p2p_propagation_time`, `checkpoint_proposal_prepare_time`). Used by the
+ * sequencer and checkpoint-proposal job. All getters take a target slot and return an absolute
+ * wall-clock timestamp in seconds (or sub-slot deadlines in seconds for {@link selectNextSubslot}).
+ *
+ * The single hard deadline {@link getAttestationDeadline} is inherited from the composed
+ * {@link ConsensusTimetable}, so the proposer uses one object.
+ *
+ * `maxBlocksPerCheckpoint` is computed from the local operational budgets and then clamped down to the optional
+ * network-provided value when that value is lower; a network value at or above the computed count leaves the
+ * computed count in effect. When clamping down occurs and a logger is supplied, a warning is emitted.
+ */ export class ProposerTimetable extends ConsensusTimetable {
+    /** Minimum block-building time (`min_block_duration`) in seconds. */ minBlockDuration;
+    /** One-way proposal/attestation propagation budget (`p2p_propagation_time`) in seconds. */ p2pPropagationTime;
+    /** Local checkpoint proposal preparation budget (`checkpoint_proposal_prepare_time`) in seconds. */ checkpointProposalPrepareTime;
+    /** Proposer initialization budget (`checkpoint_proposal_init_time`) reserved before the first sub-slot, in seconds. */ checkpointProposalInitTime;
+    /**
+   * Effective maximum number of block sub-slots per checkpoint: the value the local operational budgets compute,
+   * clamped down to the explicit network value when that value is lower. A network value above the computed
+   * count has no effect (the computed count is used) and is not logged.
+   */ maxBlocksPerCheckpoint;
+    constructor(opts){
+        super({
+            l1Constants: opts.l1Constants,
+            blockDuration: opts.blockDuration,
+            checkpointProposalSyncGrace: opts.checkpointProposalSyncGrace ?? getDefaultCheckpointProposalSyncGrace(opts.blockDuration)
+        });
+        // Resolve operational budgets, applying the fast local/e2e profile for low ethereum slot durations so a
+        // fast network does not inherit the conservative production budgets (which would shrink the build window).
+        const budgets = resolveTimingBudgets(this.ethereumSlotDuration, {
+            minBlockDuration: opts.minBlockDuration,
+            p2pPropagationTime: opts.p2pPropagationTime,
+            checkpointProposalPrepareTime: opts.checkpointProposalPrepareTime,
+            checkpointProposalInitTime: opts.checkpointProposalInitTime
+        });
+        this.p2pPropagationTime = budgets.p2pPropagationTime;
+        this.checkpointProposalPrepareTime = budgets.checkpointProposalPrepareTime;
+        this.checkpointProposalInitTime = budgets.checkpointProposalInitTime;
+        // Clamp min block duration to the block duration so a single sub-slot is always startable.
+        this.minBlockDuration = Math.min(budgets.minBlockDuration, this.blockDuration);
+        const computed = this.computeMaxBlocksPerCheckpoint();
+        this.maxBlocksPerCheckpoint = opts.maxBlocksPerCheckpoint !== undefined ? Math.min(computed, opts.maxBlocksPerCheckpoint) : computed;
+        if (opts.maxBlocksPerCheckpoint !== undefined && opts.maxBlocksPerCheckpoint < computed) {
+            opts.logger?.warn(`Locally computed max blocks per checkpoint clamped down to the network-provided value`, {
+                computed,
+                maxBlocksPerCheckpoint: opts.maxBlocksPerCheckpoint
+            });
+        }
+        if (this.maxBlocksPerCheckpoint < 1) {
+            throw new Error(`Invalid timing configuration: derived ${this.maxBlocksPerCheckpoint} blocks per checkpoint for ` + `slot duration ${this.aztecSlotDuration}s and block duration ${this.blockDuration}s.`);
+        }
+    }
+    /**
+   * Computes the maximum number of full-duration block sub-slots in a checkpoint from the already-resolved
+   * budgets. Derived from the spec's `max_blocks_per_checkpoint = floor((last_block_build_time -
+   * first_subslot_start) / D)`, where the first sub-slot starts one `checkpoint_proposal_init_time` (`init`)
+   * after `build_frame_start`, so it simplifies to `floor((S - init - D - 2P - prepCp) / D)`.
+   */ computeMaxBlocksPerCheckpoint() {
+        // last_block_build_time - (build_frame_start + init) = S - init - D - 2P - prepCp.
+        const timeAvailableForBlocks = this.aztecSlotDuration - this.checkpointProposalInitTime - this.blockDuration - 2 * this.p2pPropagationTime - this.checkpointProposalPrepareTime;
+        return Math.floor(timeAvailableForBlocks / this.blockDuration);
+    }
+    /**
+   * Ideal time the last block must finish building by to make the ideal L1 publish path:
+   * `target_slot_start - E - D - 2P - prepCp` (= `checkpoint_proposal_send_time - prepCp`). Single value;
+   * the proposer sizes block production around the ideal L1-publish path only.
+   */ getLastBlockBuildTime(slot) {
+        return this.getTargetSlotStart(slot) - this.ethereumSlotDuration - this.blockDuration - 2 * this.p2pPropagationTime - this.checkpointProposalPrepareTime;
+    }
+    /**
+   * Latest start at which the proposer can still squeeze in a minimum-duration block.
+   *
+   * Multi-block mode: `last_block_build_time - min_block_duration`, an ideal-derived cutoff
+   * intentionally earlier (by `P`) than the consensus receive gate would strictly allow, and
+   * conservatively no later than the final sub-slot's start cutoff in {@link selectNextSubslot}.
+   *
+   */ getBuildStartDeadline(slot) {
+        return this.getLastBlockBuildTime(slot) - this.minBlockDuration;
+    }
+    /** Ideal L1 publish/send time: `target_slot_start - E`. Also the ideal attestation-receipt target. */ getL1PublishIdealTime(slot) {
+        return this.getTargetSlotStart(slot) - this.ethereumSlotDuration;
+    }
+    /**
+   * Build deadline for sub-slot `k` (zero-based): `build_frame_start + init + (k + 1) * D`.
+   *
+   * The `init` (`checkpoint_proposal_init_time`) offset reserves the proposer's sync/proposer-check/init
+   * budget at the start of the build frame, so the first sub-slot still has its full duration once the
+   * prologue finishes rather than being eaten by it.
+   */ getBlockBuildDeadline(slot, blockIndex) {
+        return this.getBuildFrameStart(slot) + this.checkpointProposalInitTime + (blockIndex + 1) * this.blockDuration;
+    }
+    /** Latest time to keep waiting for txs for sub-slot `k`: `block_build_deadline(k) - min_block_duration`. */ getWaitForTxsDeadline(slot, blockIndex) {
+        return this.getBlockBuildDeadline(slot, blockIndex) - this.minBlockDuration;
+    }
+    /** Maximum number of full-duration block sub-slots for this timing config. */ getMaxBlocksPerCheckpoint() {
+        return this.maxBlocksPerCheckpoint;
+    }
+    /**
+   * Selects the next block sub-slot to build for the target slot given the current wall-clock time.
+   *
+   * Scans sub-slots in order and picks the first whose build deadline is at least `min_block_duration`
+   * in the future. Sub-slots with insufficient remaining headroom are skipped.
+   *
+   * @param slot - Target slot the checkpoint commits to.
+   * @param now - Current wall-clock time in seconds.
+   */ selectNextSubslot(slot, now) {
+        const maxBlocks = this.maxBlocksPerCheckpoint;
+        for(let index = 0; index < maxBlocks; index++){
+            const deadline = this.getBlockBuildDeadline(slot, index);
+            if (deadline - now >= this.minBlockDuration) {
+                const isLastBlock = index === maxBlocks - 1;
+                return {
+                    canStart: true,
+                    index,
+                    deadline,
+                    isLastBlock
+                };
+            }
+        }
+        return {
+            canStart: false,
+            index: undefined,
+            deadline: undefined,
+            isLastBlock: false
+        };
+    }
+}

package/dest/trees/nullifier_membership_witness.d.ts

@@ -1,5 +1,4 @@
 import { NULLIFIER_TREE_HEIGHT } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/curves/bn254';
 import { MembershipWitness, SiblingPath } from '@aztec/foundation/trees';
 import { z } from 'zod';
 import { NullifierLeafPreimage } from './nullifier_leaf.js';
@@ -39,15 +38,15 @@ export declare class NullifierMembershipWitness {
         index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
         leafPreimage: z.ZodPipe<z.ZodObject<{
             leaf: z.ZodPipe<z.ZodObject<{
-                nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
             }, z.core.$strip>, z.ZodTransform<import("./nullifier_leaf.js").NullifierLeaf, {
-                nullifier: Fr;
+                nullifier: import("@aztec/foundation/schemas").Fr;
             }>>;
-            nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").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: import("./nullifier_leaf.js").NullifierLeaf;
-            nextKey: Fr;
+            nextKey: import("@aztec/foundation/schemas").Fr;
             nextIndex: bigint;
         }>>;
         siblingPath: z.ZodPipe<import("../schemas/index.js").ZodFor<Buffer<ArrayBufferLike>>, z.ZodTransform<SiblingPath<42>, Buffer<ArrayBufferLike>>>;
@@ -58,7 +57,5 @@ export declare class NullifierMembershipWitness {
     }>>;
     static random(): NullifierMembershipWitness;
     withoutPreimage(): MembershipWitness<typeof NULLIFIER_TREE_HEIGHT>;
-    /** Serializes as `(NullifierLeafPreimage, MembershipWitness)` to match the Noir oracle return type. */
-    toNoirRepresentation(): (string | string[])[];
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVsbGlmaWVyX21lbWJlcnNoaXBfd2l0bmVzcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL251bGxpZmllcl9tZW1iZXJzaGlwX3dpdG5lc3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDekQsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxXQUFXLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV6RSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBR3hCLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRTVEOzs7OztHQUtHO0FBQ0gscUJBQWEsMEJBQTBCO0lBRW5DOztPQUVHO2FBQ2EsS0FBSyxFQUFFLE1BQU07SUFDN0I7O09BRUc7YUFDYSxZQUFZLEVBQUUscUJBQXFCO0lBQ25EOztPQUVHO2FBQ2EsV0FBVyxFQUFFLFdBQVcsQ0FBQyxPQUFPLHFCQUFxQixDQUFDO0lBWnhFO0lBQ0U7O09BRUc7SUFDYSxLQUFLLEVBQUUsTUFBTTtJQUM3Qjs7T0FFRztJQUNhLFlBQVksRUFBRSxxQkFBcUI7SUFDbkQ7O09BRUc7SUFDYSxXQUFXLEVBQUUsV0FBVyxDQUFDLE9BQU8scUJBQXFCLENBQUMsRUFDcEU7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFVaEI7SUFFRCxNQUFNLENBQUMsTUFBTSwrQkFNWjtJQUVNLGVBQWUsSUFBSSxpQkFBaUIsQ0FBQyxPQUFPLHFCQUFxQixDQUFDLENBRXhFO0lBRUQsdUdBQXVHO0lBQ2hHLG9CQUFvQixJQUFJLENBQUMsTUFBTSxHQUFHLE1BQU0sRUFBRSxDQUFDLEVBQUUsQ0FPbkQ7Q0FDRiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVsbGlmaWVyX21lbWJlcnNoaXBfd2l0bmVzcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL251bGxpZmllcl9tZW1iZXJzaGlwX3dpdG5lc3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDekQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLFdBQVcsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXpFLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFHeEIsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFFNUQ7Ozs7O0dBS0c7QUFDSCxxQkFBYSwwQkFBMEI7SUFFbkM7O09BRUc7YUFDYSxLQUFLLEVBQUUsTUFBTTtJQUM3Qjs7T0FFRzthQUNhLFlBQVksRUFBRSxxQkFBcUI7SUFDbkQ7O09BRUc7YUFDYSxXQUFXLEVBQUUsV0FBVyxDQUFDLE9BQU8scUJBQXFCLENBQUM7SUFaeEU7SUFDRTs7T0FFRztJQUNhLEtBQUssRUFBRSxNQUFNO0lBQzdCOztPQUVHO0lBQ2EsWUFBWSxFQUFFLHFCQUFxQjtJQUNuRDs7T0FFRztJQUNhLFdBQVcsRUFBRSxXQUFXLENBQUMsT0FBTyxxQkFBcUIsQ0FBQyxFQUNwRTtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztRQVVoQjtJQUVELE1BQU0sQ0FBQyxNQUFNLCtCQU1aO0lBRU0sZUFBZSxJQUFJLGlCQUFpQixDQUFDLE9BQU8scUJBQXFCLENBQUMsQ0FFeEU7Q0FDRiJ9

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

@@ -1 +1 @@
-{"version":3,"file":"nullifier_membership_witness.d.ts","sourceRoot":"","sources":["../../src/trees/nullifier_membership_witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEzE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D;;;;;GAKG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;aACa,KAAK,EAAE,MAAM;IAC7B;;OAEG;aACa,YAAY,EAAE,qBAAqB;IACnD;;OAEG;aACa,WAAW,EAAE,WAAW,CAAC,OAAO,qBAAqB,CAAC;IAZxE;IACE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;OAEG;IACa,YAAY,EAAE,qBAAqB;IACnD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,qBAAqB,CAAC,EACpE;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;QAUhB;IAED,MAAM,CAAC,MAAM,+BAMZ;IAEM,eAAe,IAAI,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAExE;IAED,uGAAuG;IAChG,oBAAoB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,CAOnD;CACF"}
+{"version":3,"file":"nullifier_membership_witness.d.ts","sourceRoot":"","sources":["../../src/trees/nullifier_membership_witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEzE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D;;;;;GAKG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;aACa,KAAK,EAAE,MAAM;IAC7B;;OAEG;aACa,YAAY,EAAE,qBAAqB;IACnD;;OAEG;aACa,WAAW,EAAE,WAAW,CAAC,OAAO,qBAAqB,CAAC;IAZxE;IACE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;OAEG;IACa,YAAY,EAAE,qBAAqB;IACnD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,qBAAqB,CAAC,EACpE;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;QAUhB;IAED,MAAM,CAAC,MAAM,+BAMZ;IAEM,eAAe,IAAI,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAExE;CACF"}

package/dest/trees/nullifier_membership_witness.js

@@ -1,5 +1,4 @@
 import { NULLIFIER_TREE_HEIGHT } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/curves/bn254';
 import { MembershipWitness, SiblingPath } from '@aztec/foundation/trees';
 import { z } from 'zod';
 import { schemas } from '../schemas/index.js';
@@ -37,12 +36,4 @@ import { NullifierLeafPreimage } from './nullifier_leaf.js';
     withoutPreimage() {
         return new MembershipWitness(NULLIFIER_TREE_HEIGHT, this.index, this.siblingPath.toTuple());
     }
-    /** Serializes as `(NullifierLeafPreimage, MembershipWitness)` to match the Noir oracle return type. */ toNoirRepresentation() {
-        // TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
-        return [
-            ...this.leafPreimage.toFields().map((fr)=>fr.toString()),
-            new Fr(this.index).toString(),
-            this.siblingPath.toFields().map((fr)=>fr.toString())
-        ];
-    }
 }