@aztec/sequencer-client 5.0.0-private.20260318 → 5.0.0-rc.1

package/dest/client/sequencer-client.js

@@ -1,19 +1,14 @@
 import { MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT } from '@aztec/constants';
 import { EpochCache } from '@aztec/epoch-cache';
-import { isAnvilTestChain } from '@aztec/ethereum/chain';
 import { getPublicClient } from '@aztec/ethereum/client';
 import { GovernanceProposerContract, RollupContract } from '@aztec/ethereum/contracts';
 import { PublisherManager } from '@aztec/ethereum/publisher-manager';
-import { EthAddress } from '@aztec/foundation/eth-address';
 import { createLogger } from '@aztec/foundation/log';
-import { SlashFactoryContract } from '@aztec/stdlib/l1-contracts';
 import { L1Metrics } from '@aztec/telemetry-client';
 import { NodeKeystoreAdapter } from '@aztec/validator-client';
-import { DefaultSequencerConfig, getPublisherConfigFromSequencerConfig } from '../config.js';
-import { GlobalVariableBuilder } from '../global_variable_builder/index.js';
+import { getPublisherConfigFromSequencerConfig } from '../config.js';
 import { SequencerPublisherFactory } from '../publisher/sequencer-publisher-factory.js';
 import { Sequencer } from '../sequencer/index.js';
-import { SequencerTimetable } from '../sequencer/timetable.js';
 /**
  * Encapsulates the full sequencer and publisher.
  */ export class SequencerClient {
@@ -49,16 +44,18 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
         const publicClient = getPublicClient(config);
         const l1TxUtils = deps.l1TxUtils;
         const l1Metrics = new L1Metrics(telemetryClient.getMeter('L1PublisherMetrics'), publicClient, l1TxUtils.map((x)=>x.getSenderAddress()));
-        const publisherManager = new PublisherManager(l1TxUtils, getPublisherConfigFromSequencerConfig(config), log.getBindings());
-        const rollupContract = new RollupContract(publicClient, config.l1Contracts.rollupAddress.toString());
-        const [l1GenesisTime, slotDuration, rollupVersion, rollupManaLimit] = await Promise.all([
+        const publisherManager = new PublisherManager(l1TxUtils, getPublisherConfigFromSequencerConfig(config), {
+            bindings: log.getBindings(),
+            funder: deps.funderL1TxUtils
+        });
+        const rollupContract = new RollupContract(publicClient, config.rollupAddress.toString());
+        const [l1GenesisTime, slotDuration, rollupManaLimit] = await Promise.all([
             rollupContract.getL1GenesisTime(),
             rollupContract.getSlotDuration(),
-            rollupContract.getVersion(),
             rollupContract.getManaLimit().then(Number)
         ]);
-        const governanceProposerContract = new GovernanceProposerContract(publicClient, config.l1Contracts.governanceProposerAddress.toString());
-        const epochCache = deps.epochCache ?? await EpochCache.create(config.l1Contracts.rollupAddress, {
+        const governanceProposerContract = new GovernanceProposerContract(publicClient, config.governanceProposerAddress.toString());
+        const epochCache = deps.epochCache ?? await EpochCache.create(config.rollupAddress, {
             l1RpcUrls: rpcUrls,
             l1ChainId: chainId,
             viemPollingIntervalMS: config.viemPollingIntervalMS,
@@ -66,13 +63,11 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
         }, {
             dateProvider: deps.dateProvider
         });
-        const slashFactoryContract = new SlashFactoryContract(publicClient, config.l1Contracts.slashFactoryAddress?.toString() ?? EthAddress.ZERO.toString());
         const publisherFactory = deps.publisherFactory ?? new SequencerPublisherFactory(config, {
             telemetry: telemetryClient,
             blobClient: deps.blobClient,
             epochCache,
             governanceProposerContract,
-            slashFactoryContract,
             rollupContract,
             dateProvider: deps.dateProvider,
             publisherManager,
@@ -80,34 +75,20 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
             logger: log
         });
         const ethereumSlotDuration = config.ethereumSlotDuration;
-        const globalsBuilder = new GlobalVariableBuilder({
-            ...config,
-            l1GenesisTime,
-            slotDuration: Number(slotDuration),
-            ethereumSlotDuration,
-            rollupVersion
-        });
-        // When running in anvil, assume we can post a tx up until one second before the end of an L1 slot.
-        // Otherwise, we need the full L1 slot duration for publishing to ensure inclusion.
-        // In theory, the L1 slot has an initial 4s phase where the block is propagated, so we could
-        // reduce the publishing time allowance. However, we prefer being conservative.
-        // See https://www.blocknative.com/blog/anatomy-of-a-slot#7 for more info.
-        const l1PublishingTimeBasedOnChain = isAnvilTestChain(config.l1ChainId) ? 1 : ethereumSlotDuration;
-        const l1PublishingTime = config.l1PublishingTime ?? l1PublishingTimeBasedOnChain;
-        const { maxL2BlockGas, maxDABlockGas, maxTxsPerBlock, maxBlocksPerCheckpoint } = computeBlockLimits(config, rollupManaLimit, l1PublishingTime, log);
+        const globalsBuilder = deps.globalVariableBuilder;
+        const { maxL2BlockGas, maxDABlockGas, maxTxsPerBlock } = capPerBlockLimits(config, rollupManaLimit, log);
         const l1Constants = {
             l1GenesisTime,
             slotDuration: Number(slotDuration),
             ethereumSlotDuration,
-            rollupManaLimit
+            rollupManaLimit,
+            epochDuration: config.aztecEpochDuration
         };
         const sequencer = new Sequencer(publisherFactory, validatorClient, globalsBuilder, p2pClient, worldStateSynchronizer, slasherClient, l2BlockSource, l1ToL2MessageSource, checkpointsBuilder, l1Constants, deps.dateProvider, epochCache, rollupContract, {
             ...config,
-            l1PublishingTime,
             maxL2BlockGas,
             maxDABlockGas,
-            maxTxsPerBlock,
-            maxBlocksPerCheckpoint
+            maxTxsPerBlock
         }, telemetryClient, log);
         sequencer.init();
         // Extract the shared delayer from the first L1TxUtils instance (all instances share the same delayer)
@@ -126,16 +107,19 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
         await this.validatorClient?.start();
         this.sequencer.start();
         this.l1Metrics?.start();
-        await this.publisherManager.loadState();
+        await this.publisherManager.start();
     }
     /**
    * Stops the sequencer from processing new txs.
    */ async stop() {
         await this.sequencer.stop();
         await this.validatorClient?.stop();
-        this.publisherManager.interrupt();
+        await this.publisherManager.stop();
         this.l1Metrics?.stop();
     }
+    /** Triggers an immediate run of the sequencer, bypassing the polling interval. */ trigger() {
+        return this.sequencer.trigger();
+    }
     getSequencer() {
         return this.sequencer;
     }
@@ -153,72 +137,27 @@ import { SequencerTimetable } from '../sequencer/timetable.js';
     }
 }
 /**
- * Computes per-block L2 gas, DA gas, and TX count budgets based on the L1 rollup limits and the timetable.
- * If the user explicitly set a limit, it is capped at the corresponding checkpoint limit.
- * Otherwise, derives it as (checkpointLimit / maxBlocks) * multiplier, capped at the checkpoint limit.
- */ export function computeBlockLimits(config, rollupManaLimit, l1PublishingTime, log) {
-    const maxNumberOfBlocks = new SequencerTimetable({
-        ethereumSlotDuration: config.ethereumSlotDuration,
-        aztecSlotDuration: config.aztecSlotDuration,
-        l1PublishingTime,
-        p2pPropagationTime: config.attestationPropagationTime,
-        blockDurationMs: config.blockDurationMs,
-        enforce: config.enforceTimeTable ?? DefaultSequencerConfig.enforceTimeTable
-    }).maxNumberOfBlocks;
-    const multiplier = config.perBlockAllocationMultiplier ?? DefaultSequencerConfig.perBlockAllocationMultiplier;
-    // Compute maxL2BlockGas
-    let maxL2BlockGas;
-    if (config.maxL2BlockGas !== undefined) {
-        if (config.maxL2BlockGas > rollupManaLimit) {
-            log.warn(`Provided MAX_L2_BLOCK_GAS ${config.maxL2BlockGas} exceeds L1 rollup mana limit ${rollupManaLimit} (capping)`);
-            maxL2BlockGas = rollupManaLimit;
-        } else {
-            maxL2BlockGas = config.maxL2BlockGas;
-        }
-    } else {
-        maxL2BlockGas = Math.min(rollupManaLimit, Math.ceil(rollupManaLimit / maxNumberOfBlocks * multiplier));
+ * Caps operator-provided per-block limits at checkpoint-level limits.
+ * Returns undefined for any limit the operator didn't set — the checkpoint builder handles redistribution.
+ */ function capPerBlockLimits(config, rollupManaLimit, log) {
+    let maxL2BlockGas = config.maxL2BlockGas;
+    if (maxL2BlockGas !== undefined && maxL2BlockGas > rollupManaLimit) {
+        log.warn(`Provided MAX_L2_BLOCK_GAS ${maxL2BlockGas} exceeds rollup mana limit ${rollupManaLimit} (capping)`);
+        maxL2BlockGas = rollupManaLimit;
     }
-    // Compute maxDABlockGas
-    const daCheckpointLimit = MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT;
-    let maxDABlockGas;
-    if (config.maxDABlockGas !== undefined) {
-        if (config.maxDABlockGas > daCheckpointLimit) {
-            log.warn(`Provided MAX_DA_BLOCK_GAS ${config.maxDABlockGas} exceeds DA checkpoint limit ${daCheckpointLimit} (capping)`);
-            maxDABlockGas = daCheckpointLimit;
-        } else {
-            maxDABlockGas = config.maxDABlockGas;
-        }
-    } else {
-        maxDABlockGas = Math.min(daCheckpointLimit, Math.ceil(daCheckpointLimit / maxNumberOfBlocks * multiplier));
+    let maxDABlockGas = config.maxDABlockGas;
+    if (maxDABlockGas !== undefined && maxDABlockGas > MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT) {
+        log.warn(`Provided MAX_DA_BLOCK_GAS ${maxDABlockGas} exceeds DA checkpoint limit ${MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT} (capping)`);
+        maxDABlockGas = MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT;
     }
-    // Compute maxTxsPerBlock
-    const defaultMaxTxsPerBlock = 32;
-    let maxTxsPerBlock;
-    if (config.maxTxsPerBlock !== undefined) {
-        if (config.maxTxsPerCheckpoint !== undefined && config.maxTxsPerBlock > config.maxTxsPerCheckpoint) {
-            log.warn(`Provided MAX_TX_PER_BLOCK ${config.maxTxsPerBlock} exceeds MAX_TX_PER_CHECKPOINT ${config.maxTxsPerCheckpoint} (capping)`);
-            maxTxsPerBlock = config.maxTxsPerCheckpoint;
-        } else {
-            maxTxsPerBlock = config.maxTxsPerBlock;
-        }
-    } else if (config.maxTxsPerCheckpoint !== undefined) {
-        maxTxsPerBlock = Math.min(config.maxTxsPerCheckpoint, Math.ceil(config.maxTxsPerCheckpoint / maxNumberOfBlocks * multiplier));
-    } else {
-        maxTxsPerBlock = defaultMaxTxsPerBlock;
+    let maxTxsPerBlock = config.maxTxsPerBlock;
+    if (maxTxsPerBlock !== undefined && config.maxTxsPerCheckpoint !== undefined && maxTxsPerBlock > config.maxTxsPerCheckpoint) {
+        log.warn(`Provided MAX_TX_PER_BLOCK ${maxTxsPerBlock} exceeds MAX_TX_PER_CHECKPOINT ${config.maxTxsPerCheckpoint} (capping)`);
+        maxTxsPerBlock = config.maxTxsPerCheckpoint;
     }
-    log.info(`Computed block limits L2=${maxL2BlockGas} DA=${maxDABlockGas} maxTxs=${maxTxsPerBlock}`, {
-        maxL2BlockGas,
-        maxDABlockGas,
-        maxTxsPerBlock,
-        rollupManaLimit,
-        daCheckpointLimit,
-        maxNumberOfBlocks,
-        multiplier
-    });
     return {
         maxL2BlockGas,
         maxDABlockGas,
-        maxTxsPerBlock,
-        maxBlocksPerCheckpoint: maxNumberOfBlocks
+        maxTxsPerBlock
     };
 }

package/dest/config.d.ts

@@ -18,14 +18,19 @@ export declare const DefaultSequencerConfig: {
     buildCheckpointIfEmpty: false;
     publishTxsWithProposals: false;
     perBlockAllocationMultiplier: number;
+    perBlockDAAllocationMultiplier: number;
     redistributeCheckpointBudget: true;
-    enforceTimeTable: true;
+    blockDurationMs: number;
+    l1PublishingTime: number;
+    checkpointProposalSyncGraceSeconds: number;
     attestationPropagationTime: number;
     secondsBeforeInvalidatingBlockAsCommitteeMember: number;
     secondsBeforeInvalidatingBlockAsNonCommitteeMember: number;
     skipCollectingAttestations: false;
     skipInvalidateBlockAsProposer: false;
+    skipWaitForValidParentCheckpointOnL1: false;
     broadcastInvalidBlockProposal: false;
+    broadcastInvalidCheckpointProposalOnly: false;
     injectFakeAttestation: false;
     injectHighSValueAttestation: false;
     injectUnrecoverableSignatureAttestation: false;
@@ -33,6 +38,7 @@ export declare const DefaultSequencerConfig: {
     shuffleAttestationOrdering: false;
     skipPushProposedBlocksToArchiver: false;
     skipPublishingCheckpointsPercent: number;
+    maxBlocksPerCheckpoint: number;
 };
 /**
  * Configuration settings for the SequencerClient.
@@ -44,4 +50,4 @@ export declare const sequencerClientConfigMappings: ConfigMappingsType<Sequencer
  * Creates an instance of SequencerClientConfig out of environment variables using sensible defaults for integration testing if not set.
  */
 export declare function getConfigEnvVars(): SequencerClientConfig;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uZmlnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLGlCQUFpQixFQUE2QixNQUFNLHdCQUF3QixDQUFDO0FBQzNGLE9BQU8sRUFBRSxLQUFLLGNBQWMsRUFBMEIsTUFBTSwyQkFBMkIsQ0FBQztBQUN4RixPQUFPLEVBQ0wsS0FBSyxrQkFBa0IsRUFLeEIsTUFBTSwwQkFBMEIsQ0FBQztBQUVsQyxPQUFPLEVBQUUsS0FBSyxjQUFjLEVBQTBCLE1BQU0sNkJBQTZCLENBQUM7QUFDMUYsT0FBTyxFQUFFLEtBQUssU0FBUyxFQUFxQixNQUFNLG1CQUFtQixDQUFDO0FBRXRFLE9BQU8sRUFDTCxLQUFLLFdBQVcsRUFDaEIsS0FBSyxlQUFlLEVBR3JCLE1BQU0sc0JBQXNCLENBQUM7QUFHOUIsT0FBTyxFQUFFLEtBQUsscUJBQXFCLEVBQWlDLE1BQU0sZ0NBQWdDLENBQUM7QUFFM0csT0FBTyxFQUNMLEtBQUssd0JBQXdCLEVBQzdCLEtBQUssdUJBQXVCLEVBRzdCLE1BQU0sdUJBQXVCLENBQUM7QUFFL0IsY0FBYyx1QkFBdUIsQ0FBQztBQUN0QyxZQUFZLEVBQUUsZUFBZSxFQUFFLENBQUM7QUFFaEM7OztHQUdHO0FBQ0gsZUFBTyxNQUFNLHNCQUFzQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBcUJBLENBQUM7QUFFcEM7O0dBRUc7QUFDSCxNQUFNLE1BQU0scUJBQXFCLEdBQUcsd0JBQXdCLEdBQzFELGNBQWMsR0FDZCxxQkFBcUIsR0FDckIsdUJBQXVCLEdBQ3ZCLGVBQWUsR0FDZixjQUFjLEdBQ2QsV0FBVyxHQUNYLElBQUksQ0FBQyxTQUFTLEVBQUUsOEJBQThCLENBQUMsR0FDL0MsSUFBSSxDQUFDLGlCQUFpQixFQUFFLHNCQUFzQixHQUFHLG1CQUFtQixHQUFHLG9CQUFvQixDQUFDLENBQUM7QUFFL0YsZUFBTyxNQUFNLHVCQUF1QixFQUFFLGtCQUFrQixDQUFDLGVBQWUsQ0FtS3ZFLENBQUM7QUFFRixlQUFPLE1BQU0sNkJBQTZCLEVBQUUsa0JBQWtCLENBQUMscUJBQXFCLENBU25GLENBQUM7QUFFRjs7R0FFRztBQUNILHdCQUFnQixnQkFBZ0IsSUFBSSxxQkFBcUIsQ0FFeEQifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uZmlnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLGlCQUFpQixFQUE2QixNQUFNLHdCQUF3QixDQUFDO0FBQzNGLE9BQU8sRUFBRSxLQUFLLGNBQWMsRUFBMEIsTUFBTSwyQkFBMkIsQ0FBQztBQUN4RixPQUFPLEVBQ0wsS0FBSyxrQkFBa0IsRUFPeEIsTUFBTSwwQkFBMEIsQ0FBQztBQUVsQyxPQUFPLEVBQUUsS0FBSyxjQUFjLEVBQTBCLE1BQU0sNkJBQTZCLENBQUM7QUFDMUYsT0FBTyxFQUFFLEtBQUssU0FBUyxFQUFxQixNQUFNLG1CQUFtQixDQUFDO0FBRXRFLE9BQU8sRUFDTCxLQUFLLFdBQVcsRUFHaEIsS0FBSyxlQUFlLEVBR3JCLE1BQU0sc0JBQXNCLENBQUM7QUFJOUIsT0FBTyxFQUFFLEtBQUsscUJBQXFCLEVBQWlDLE1BQU0sZ0NBQWdDLENBQUM7QUFFM0csT0FBTyxFQUNMLEtBQUssd0JBQXdCLEVBQzdCLEtBQUssdUJBQXVCLEVBRzdCLE1BQU0sdUJBQXVCLENBQUM7QUFFL0IsY0FBYyx1QkFBdUIsQ0FBQztBQUN0QyxZQUFZLEVBQUUsZUFBZSxFQUFFLENBQUM7QUFFaEM7OztHQUdHO0FBQ0gsZUFBTyxNQUFNLHNCQUFzQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBMkJBLENBQUM7QUFFcEM7O0dBRUc7QUFDSCxNQUFNLE1BQU0scUJBQXFCLEdBQUcsd0JBQXdCLEdBQzFELGNBQWMsR0FDZCxxQkFBcUIsR0FDckIsdUJBQXVCLEdBQ3ZCLGVBQWUsR0FDZixjQUFjLEdBQ2QsV0FBVyxHQUNYLElBQUksQ0FBQyxTQUFTLEVBQUUsOEJBQThCLENBQUMsR0FDL0MsSUFBSSxDQUFDLGlCQUFpQixFQUFFLHNCQUFzQixHQUFHLG1CQUFtQixHQUFHLG9CQUFvQixDQUFDLENBQUM7QUFFL0YsZUFBTyxNQUFNLHVCQUF1QixFQUFFLGtCQUFrQixDQUFDLGVBQWUsQ0EwTHZFLENBQUM7QUFFRixlQUFPLE1BQU0sNkJBQTZCLEVBQUUsa0JBQWtCLENBQUMscUJBQXFCLENBU25GLENBQUM7QUFFRjs7R0FFRztBQUNILHdCQUFnQixnQkFBZ0IsSUFBSSxxQkFBcUIsQ0FFeEQifQ==

package/dest/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,iBAAiB,EAA6B,MAAM,wBAAwB,CAAC;AAC3F,OAAO,EAAE,KAAK,cAAc,EAA0B,MAAM,2BAA2B,CAAC;AACxF,OAAO,EACL,KAAK,kBAAkB,EAKxB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,KAAK,cAAc,EAA0B,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,KAAK,SAAS,EAAqB,MAAM,mBAAmB,CAAC;AAEtE,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,eAAe,EAGrB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,KAAK,qBAAqB,EAAiC,MAAM,gCAAgC,CAAC;AAE3G,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAG7B,MAAM,uBAAuB,CAAC;AAE/B,cAAc,uBAAuB,CAAC;AACtC,YAAY,EAAE,eAAe,EAAE,CAAC;AAEhC;;;GAGG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;CAqBA,CAAC;AAEpC;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,wBAAwB,GAC1D,cAAc,GACd,qBAAqB,GACrB,uBAAuB,GACvB,eAAe,GACf,cAAc,GACd,WAAW,GACX,IAAI,CAAC,SAAS,EAAE,8BAA8B,CAAC,GAC/C,IAAI,CAAC,iBAAiB,EAAE,sBAAsB,GAAG,mBAAmB,GAAG,oBAAoB,CAAC,CAAC;AAE/F,eAAO,MAAM,uBAAuB,EAAE,kBAAkB,CAAC,eAAe,CAmKvE,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAAC,qBAAqB,CASnF,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,qBAAqB,CAExD"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../src/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,iBAAiB,EAA6B,MAAM,wBAAwB,CAAC;AAC3F,OAAO,EAAE,KAAK,cAAc,EAA0B,MAAM,2BAA2B,CAAC;AACxF,OAAO,EACL,KAAK,kBAAkB,EAOxB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,KAAK,cAAc,EAA0B,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,KAAK,SAAS,EAAqB,MAAM,mBAAmB,CAAC;AAEtE,OAAO,EACL,KAAK,WAAW,EAGhB,KAAK,eAAe,EAGrB,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EAAE,KAAK,qBAAqB,EAAiC,MAAM,gCAAgC,CAAC;AAE3G,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAG7B,MAAM,uBAAuB,CAAC;AAE/B,cAAc,uBAAuB,CAAC;AACtC,YAAY,EAAE,eAAe,EAAE,CAAC;AAEhC;;;GAGG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2BA,CAAC;AAEpC;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,wBAAwB,GAC1D,cAAc,GACd,qBAAqB,GACrB,uBAAuB,GACvB,eAAe,GACf,cAAc,GACd,WAAW,GACX,IAAI,CAAC,SAAS,EAAE,8BAA8B,CAAC,GAC/C,IAAI,CAAC,iBAAiB,EAAE,sBAAsB,GAAG,mBAAmB,GAAG,oBAAoB,CAAC,CAAC;AAE/F,eAAO,MAAM,uBAAuB,EAAE,kBAAkB,CAAC,eAAe,CA0LvE,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAAC,qBAAqB,CASnF,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,qBAAqB,CAExD"}

package/dest/config.js

@@ -1,11 +1,12 @@
 import { l1ContractsConfigMappings } from '@aztec/ethereum/config';
 import { l1ReaderConfigMappings } from '@aztec/ethereum/l1-reader';
-import { booleanConfigHelper, getConfigFromMappings, numberConfigHelper, pickConfigMappings } from '@aztec/foundation/config';
+import { booleanConfigHelper, floatConfigHelper, getConfigFromMappings, numberConfigHelper, optionalNumberConfigHelper, pickConfigMappings } from '@aztec/foundation/config';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import { keyStoreConfigMappings } from '@aztec/node-keystore/config';
 import { p2pConfigMappings } from '@aztec/p2p/config';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { chainConfigMappings, sharedSequencerConfigMappings } from '@aztec/stdlib/config';
+import { DEFAULT_BLOCK_DURATION_MS, DEFAULT_MAX_BLOCKS_PER_CHECKPOINT, chainConfigMappings, sharedSequencerConfigMappings } from '@aztec/stdlib/config';
+import { MIN_PER_BLOCK_ALLOCATION_MULTIPLIER, MIN_PER_BLOCK_DA_ALLOCATION_MULTIPLIER } from '@aztec/stdlib/gas';
 import { DEFAULT_P2P_PROPAGATION_TIME } from '@aztec/stdlib/timetable';
 import { validatorClientConfigMappings } from '@aztec/validator-client/config';
 import { sequencerPublisherConfigMappings, sequencerTxSenderConfigMappings } from './publisher/config.js';
@@ -18,22 +19,28 @@ export * from './publisher/config.js';
     minTxsPerBlock: 1,
     buildCheckpointIfEmpty: false,
     publishTxsWithProposals: false,
-    perBlockAllocationMultiplier: 1.2,
+    perBlockAllocationMultiplier: MIN_PER_BLOCK_ALLOCATION_MULTIPLIER,
+    perBlockDAAllocationMultiplier: MIN_PER_BLOCK_DA_ALLOCATION_MULTIPLIER,
     redistributeCheckpointBudget: true,
-    enforceTimeTable: true,
+    blockDurationMs: DEFAULT_BLOCK_DURATION_MS,
+    l1PublishingTime: 12,
+    checkpointProposalSyncGraceSeconds: 2 * (DEFAULT_BLOCK_DURATION_MS / 1000),
     attestationPropagationTime: DEFAULT_P2P_PROPAGATION_TIME,
     secondsBeforeInvalidatingBlockAsCommitteeMember: 144,
     secondsBeforeInvalidatingBlockAsNonCommitteeMember: 432,
     skipCollectingAttestations: false,
     skipInvalidateBlockAsProposer: false,
+    skipWaitForValidParentCheckpointOnL1: false,
     broadcastInvalidBlockProposal: false,
+    broadcastInvalidCheckpointProposalOnly: false,
     injectFakeAttestation: false,
     injectHighSValueAttestation: false,
     injectUnrecoverableSignatureAttestation: false,
     fishermanMode: false,
     shuffleAttestationOrdering: false,
     skipPushProposedBlocksToArchiver: false,
-    skipPublishingCheckpointsPercent: 0
+    skipPublishingCheckpointsPercent: 0,
+    maxBlocksPerCheckpoint: DEFAULT_MAX_BLOCKS_PER_CHECKPOINT
 };
 export const sequencerConfigMappings = {
     sequencerPollingIntervalMS: {
@@ -44,7 +51,7 @@ export const sequencerConfigMappings = {
     maxTxsPerCheckpoint: {
         env: 'SEQ_MAX_TX_PER_CHECKPOINT',
         description: 'The maximum number of txs across all blocks in a checkpoint.',
-        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
+        ...optionalNumberConfigHelper()
     },
     minTxsPerBlock: {
         env: 'SEQ_MIN_TX_PER_BLOCK',
@@ -62,29 +69,31 @@ export const sequencerConfigMappings = {
     maxL2BlockGas: {
         env: 'SEQ_MAX_L2_BLOCK_GAS',
         description: 'The maximum L2 block gas.',
-        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
+        ...optionalNumberConfigHelper()
     },
     maxDABlockGas: {
         env: 'SEQ_MAX_DA_BLOCK_GAS',
         description: 'The maximum DA block gas.',
-        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
+        ...optionalNumberConfigHelper()
     },
     perBlockAllocationMultiplier: {
         env: 'SEQ_PER_BLOCK_ALLOCATION_MULTIPLIER',
         description: 'Per-block gas budget multiplier for both L2 and DA gas. Budget per block is (checkpointLimit / maxBlocks) * multiplier.' + ' Values greater than one allow early blocks to use more than their even share, relying on checkpoint-level capping for later blocks.',
-        ...numberConfigHelper(DefaultSequencerConfig.perBlockAllocationMultiplier)
+        ...floatConfigHelper(DefaultSequencerConfig.perBlockAllocationMultiplier)
+    },
+    perBlockDAAllocationMultiplier: {
+        env: 'SEQ_PER_BLOCK_DA_ALLOCATION_MULTIPLIER',
+        description: 'Per-block budget multiplier applied to DA gas and blob fields in place of perBlockAllocationMultiplier.' + ' Defaults higher than the general multiplier so the largest contract class deploy fits a single block.',
+        ...numberConfigHelper(DefaultSequencerConfig.perBlockDAAllocationMultiplier)
     },
     redistributeCheckpointBudget: {
         env: 'SEQ_REDISTRIBUTE_CHECKPOINT_BUDGET',
         description: 'Redistribute remaining checkpoint budget evenly across remaining blocks instead of allowing a single block to consume the entire remaining budget.',
         ...booleanConfigHelper(DefaultSequencerConfig.redistributeCheckpointBudget)
     },
-    maxBlocksPerCheckpoint: {
-        description: 'Computed max number of blocks per checkpoint from timetable.'
-    },
     coinbase: {
         env: 'COINBASE',
-        parseEnv: (val)=>val ? EthAddress.fromString(val) : undefined,
+        parseEnv: (val)=>EthAddress.fromString(val),
         description: 'Recipient of block reward.'
     },
     feeRecipient: {
@@ -100,11 +109,6 @@ export const sequencerConfigMappings = {
         env: 'ACVM_BINARY_PATH',
         description: 'The path to the ACVM binary'
     },
-    enforceTimeTable: {
-        env: 'SEQ_ENFORCE_TIME_TABLE',
-        description: 'Whether to enforce the time table when building blocks',
-        ...booleanConfigHelper(DefaultSequencerConfig.enforceTimeTable)
-    },
     governanceProposerPayload: {
         env: 'GOVERNANCE_PROPOSER_PAYLOAD_ADDRESS',
         description: 'The address of the payload for the governanceProposer',
@@ -112,13 +116,8 @@ export const sequencerConfigMappings = {
     },
     l1PublishingTime: {
         env: 'SEQ_L1_PUBLISHING_TIME_ALLOWANCE_IN_SLOT',
-        description: 'How much time (in seconds) we allow in the slot for publishing the L1 tx (defaults to 1 L1 slot).',
-        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
-    },
-    attestationPropagationTime: {
-        env: 'SEQ_ATTESTATION_PROPAGATION_TIME',
-        description: 'How many seconds it takes for proposals and attestations to travel across the p2p layer (one-way)',
-        ...numberConfigHelper(DefaultSequencerConfig.attestationPropagationTime)
+        description: 'How much time in seconds to allow in the slot for publishing the L1 transaction.',
+        ...numberConfigHelper(DefaultSequencerConfig.l1PublishingTime)
     },
     fakeProcessingDelayPerTxMs: {
         description: 'Used for testing to introduce a fake delay after processing each tx'
@@ -144,10 +143,22 @@ export const sequencerConfigMappings = {
         description: 'Do not invalidate the previous block if invalid when we are the proposer (for testing only)',
         ...booleanConfigHelper(DefaultSequencerConfig.skipInvalidateBlockAsProposer)
     },
+    skipWaitForValidParentCheckpointOnL1: {
+        description: 'Bypass the parent checkpoint validity check before submitting a pipelined checkpoint, ' + 'allowing the proposer to publish even when the parent landed on L1 with invalid attestations (for testing only)',
+        ...booleanConfigHelper(DefaultSequencerConfig.skipWaitForValidParentCheckpointOnL1)
+    },
     broadcastInvalidBlockProposal: {
         description: 'Broadcast invalid block proposals with corrupted state (for testing only)',
         ...booleanConfigHelper(DefaultSequencerConfig.broadcastInvalidBlockProposal)
     },
+    invalidBlockProposalIndexWithinCheckpoint: {
+        description: 'Broadcast an invalid block proposal only at this indexWithinCheckpoint (for testing only)',
+        ...optionalNumberConfigHelper()
+    },
+    broadcastInvalidCheckpointProposalOnly: {
+        description: 'Broadcast invalid checkpoint proposals while keeping the underlying block proposals valid (for testing only). When unset, the checkpoint follows broadcastInvalidBlockProposal.',
+        ...booleanConfigHelper(DefaultSequencerConfig.broadcastInvalidCheckpointProposalOnly)
+    },
     injectFakeAttestation: {
         description: 'Inject a fake attestation (for testing only)',
         ...booleanConfigHelper(DefaultSequencerConfig.injectFakeAttestation)
@@ -187,18 +198,29 @@ export const sequencerConfigMappings = {
         description: 'Percent probability (0 - 100) of sequencer skipping checkpoint publishing (testing only)',
         ...numberConfigHelper(DefaultSequencerConfig.skipPublishingCheckpointsPercent)
     },
+    skipBroadcastProposals: {
+        description: 'Skip broadcasting checkpoint and block proposals via gossipsub when proposer (for testing only)',
+        ...booleanConfigHelper(false)
+    },
+    skipBroadcastCheckpointProposal: {
+        description: 'Skip broadcasting only the CheckpointProposal via gossipsub when proposer; the held last block is broadcast ' + 'standalone instead so peers still receive it as a proposed-but-uncheckpointed tip (for testing only)',
+        ...booleanConfigHelper(false)
+    },
+    pauseProposingForSlots: {
+        description: 'List of slots for which the sequencer will not produce a proposal (for testing only). Attestation paths are unaffected.'
+    },
     ...pickConfigMappings(p2pConfigMappings, [
         'txPublicSetupAllowListExtend'
     ])
 };
 export const sequencerClientConfigMappings = {
+    ...chainConfigMappings,
     ...validatorClientConfigMappings,
     ...sequencerConfigMappings,
     ...keyStoreConfigMappings,
     ...l1ReaderConfigMappings,
     ...sequencerTxSenderConfigMappings,
     ...sequencerPublisherConfigMappings,
-    ...chainConfigMappings,
     ...pickConfigMappings(l1ContractsConfigMappings, [
         'ethereumSlotDuration',
         'aztecSlotDuration',

package/dest/global_variable_builder/fee_predictor.d.ts

@@ -0,0 +1,37 @@
+import { type RollupContract } from '@aztec/ethereum/contracts';
+import type { DateProvider } from '@aztec/foundation/timer';
+import { GasFees, ManaUsageEstimate } from '@aztec/stdlib/gas';
+/**
+ * Predicts min fees for LAG upcoming slots based on the L1 oracle state.
+ * A new oracle update can activate at startSlot + LAG, so only the first LAG entries
+ * are guaranteed stable. Caches L1 queries per L1 block and recomputes predictions
+ * for each mana usage estimate.
+ */
+export declare class FeePredictor {
+    private readonly rollupContract;
+    private readonly publicClient;
+    private readonly dateProvider;
+    private cachedState;
+    private cachedL1BlockNumber;
+    private readonly slotDuration;
+    private readonly l1GenesisTime;
+    private readonly ethereumSlotDuration;
+    constructor(rollupContract: RollupContract, publicClient: {
+        getBlockNumber: (opts?: {
+            cacheTime?: number;
+        }) => Promise<bigint>;
+    }, dateProvider: DateProvider, config: {
+        slotDuration: number;
+        l1GenesisTime: bigint;
+        ethereumSlotDuration: number;
+    });
+    /** Returns predicted min fees for each slot in the prediction window. */
+    getPredictedMinFees(manaUsage: ManaUsageEstimate): Promise<GasFees[]>;
+    private getState;
+    private fetchState;
+    /** Computes per-slot fee predictions given cached state and a mana usage assumption. */
+    private computePredictions;
+    private getAssumedManaUsed;
+    private computeGasFees;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmVlX3ByZWRpY3Rvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2dsb2JhbF92YXJpYWJsZV9idWlsZGVyL2ZlZV9wcmVkaWN0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFvRCxLQUFLLGNBQWMsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBR2xILE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRTVELE9BQU8sRUFFTCxPQUFPLEVBRVAsaUJBQWlCLEVBR2xCLE1BQU0sbUJBQW1CLENBQUM7QUFlM0I7Ozs7O0dBS0c7QUFDSCxxQkFBYSxZQUFZO0lBU3JCLE9BQU8sQ0FBQyxRQUFRLENBQUMsY0FBYztJQUMvQixPQUFPLENBQUMsUUFBUSxDQUFDLFlBQVk7SUFDN0IsT0FBTyxDQUFDLFFBQVEsQ0FBQyxZQUFZO0lBVi9CLE9BQU8sQ0FBQyxXQUFXLENBQXNDO0lBQ3pELE9BQU8sQ0FBQyxtQkFBbUIsQ0FBcUI7SUFFaEQsT0FBTyxDQUFDLFFBQVEsQ0FBQyxZQUFZLENBQVM7SUFDdEMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxhQUFhLENBQVM7SUFDdkMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxvQkFBb0IsQ0FBUztJQUU5QyxZQUNtQixjQUFjLEVBQUUsY0FBYyxFQUM5QixZQUFZLEVBQUU7UUFBRSxjQUFjLEVBQUUsQ0FBQyxJQUFJLENBQUMsRUFBRTtZQUFFLFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQTtTQUFFLEtBQUssT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUFBO0tBQUUsRUFDcEYsWUFBWSxFQUFFLFlBQVksRUFDM0MsTUFBTSxFQUFFO1FBQUUsWUFBWSxFQUFFLE1BQU0sQ0FBQztRQUFDLGFBQWEsRUFBRSxNQUFNLENBQUM7UUFBQyxvQkFBb0IsRUFBRSxNQUFNLENBQUE7S0FBRSxFQUt0RjtJQUVELHlFQUF5RTtJQUNuRSxtQkFBbUIsQ0FBQyxTQUFTLEVBQUUsaUJBQWlCLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBRzFFO1lBR2EsUUFBUTtZQVNSLFVBQVU7SUFpRHhCLHdGQUF3RjtJQUN4RixPQUFPLENBQUMsa0JBQWtCO0lBdUIxQixPQUFPLENBQUMsa0JBQWtCO0lBVzFCLE9BQU8sQ0FBQyxjQUFjO0NBbUJ2QiJ9

package/dest/global_variable_builder/fee_predictor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fee_predictor.d.ts","sourceRoot":"","sources":["../../src/global_variable_builder/fee_predictor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoD,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGlH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAEL,OAAO,EAEP,iBAAiB,EAGlB,MAAM,mBAAmB,CAAC;AAe3B;;;;;GAKG;AACH,qBAAa,YAAY;IASrB,OAAO,CAAC,QAAQ,CAAC,cAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,OAAO,CAAC,QAAQ,CAAC,YAAY;IAV/B,OAAO,CAAC,WAAW,CAAsC;IACzD,OAAO,CAAC,mBAAmB,CAAqB;IAEhD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IACtC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IACvC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAS;IAE9C,YACmB,cAAc,EAAE,cAAc,EAC9B,YAAY,EAAE;QAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE;YAAE,SAAS,CAAC,EAAE,MAAM,CAAA;SAAE,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;KAAE,EACpF,YAAY,EAAE,YAAY,EAC3C,MAAM,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAC;QAAC,oBAAoB,EAAE,MAAM,CAAA;KAAE,EAKtF;IAED,yEAAyE;IACnE,mBAAmB,CAAC,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAG1E;YAGa,QAAQ;YASR,UAAU;IAiDxB,wFAAwF;IACxF,OAAO,CAAC,kBAAkB;IAuB1B,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,cAAc;CAmBvB"}

package/dest/global_variable_builder/fee_predictor.js

@@ -0,0 +1,128 @@
+import { MAX_FEE_ASSET_PRICE_MODIFIER_BPS } from '@aztec/ethereum/contracts';
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import { times } from '@aztec/foundation/collection';
+import { getSlotAtNextL1Block, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
+import { FEE_ORACLE_LAG, GasFees, MIN_ETH_PER_FEE_ASSET, ManaUsageEstimate, computeExcessMana, computeManaMinFee } from '@aztec/stdlib/gas';
+/**
+ * Predicts min fees for LAG upcoming slots based on the L1 oracle state.
+ * A new oracle update can activate at startSlot + LAG, so only the first LAG entries
+ * are guaranteed stable. Caches L1 queries per L1 block and recomputes predictions
+ * for each mana usage estimate.
+ */ export class FeePredictor {
+    rollupContract;
+    publicClient;
+    dateProvider;
+    cachedState;
+    cachedL1BlockNumber;
+    slotDuration;
+    l1GenesisTime;
+    ethereumSlotDuration;
+    constructor(rollupContract, publicClient, dateProvider, config){
+        this.rollupContract = rollupContract;
+        this.publicClient = publicClient;
+        this.dateProvider = dateProvider;
+        this.slotDuration = config.slotDuration;
+        this.l1GenesisTime = config.l1GenesisTime;
+        this.ethereumSlotDuration = config.ethereumSlotDuration;
+    }
+    /** Returns predicted min fees for each slot in the prediction window. */ async getPredictedMinFees(manaUsage) {
+        const state = await this.getState();
+        return this.computePredictions(state, manaUsage);
+    }
+    /** Fetches and caches rollup state. Refreshes when L1 block number advances. */ async getState() {
+        const blockNumber = await this.publicClient.getBlockNumber({
+            cacheTime: 0
+        });
+        if (this.cachedL1BlockNumber === undefined || blockNumber > this.cachedL1BlockNumber) {
+            this.cachedL1BlockNumber = blockNumber;
+            this.cachedState = this.fetchState(blockNumber);
+        }
+        return this.cachedState;
+    }
+    async fetchState(blockNumber) {
+        // Pin all non-constant queries to this L1 block number for a consistent snapshot.
+        const opts = {
+            blockNumber
+        };
+        // Cached constants don't need pinning
+        const [manaTarget, manaLimit, provingCostPerManaEth, epochDuration] = await Promise.all([
+            this.rollupContract.getManaTarget(),
+            this.rollupContract.getManaLimit(),
+            this.rollupContract.getProvingCostPerMana(),
+            this.rollupContract.getEpochDuration()
+        ]);
+        // First, compute the earliest possible nextSlot independently of the checkpoint, so we can
+        // evaluate pruneability at the prediction start timestamp instead of the current L1 block time.
+        // This avoids an epoch-boundary edge case where the effective parent differs between now and nextSlot.
+        const slotConfig = {
+            slotDuration: this.slotDuration,
+            l1GenesisTime: this.l1GenesisTime
+        };
+        const currentSlot = await this.rollupContract.getSlotNumber(opts);
+        const slotAtNextL1Block = getSlotAtNextL1Block(BigInt(this.dateProvider.nowInSeconds()), {
+            l1GenesisTime: this.l1GenesisTime,
+            slotDuration: this.slotDuration,
+            ethereumSlotDuration: this.ethereumSlotDuration
+        });
+        const preliminaryNextSlot = SlotNumber(Math.max(currentSlot, slotAtNextL1Block));
+        const nextSlotTimestamp = getTimestampForSlot(preliminaryNextSlot, slotConfig);
+        // Resolve the effective checkpoint at the prediction start timestamp
+        const lastCheckpoint = await this.rollupContract.getEffectivePendingCheckpoint(nextSlotTimestamp, opts);
+        const lastSlot = lastCheckpoint.slotNumber;
+        // Refine nextSlot: also account for the slot after the last checkpoint
+        const nextSlot = SlotNumber(Math.max(SlotNumber.add(lastSlot, 1), preliminaryNextSlot));
+        const feeHeader = lastCheckpoint.feeHeader;
+        const slotCount = FEE_ORACLE_LAG;
+        const timestamps = times(slotCount, (i)=>getTimestampForSlot(SlotNumber.add(nextSlot, i), slotConfig));
+        const l1FeesBySlot = await Promise.all(timestamps.map((ts)=>this.rollupContract.getL1FeesAt(ts, opts)));
+        return {
+            lastSlot,
+            excessMana: computeExcessMana(feeHeader.excessMana, feeHeader.manaUsed, manaTarget),
+            ethPerFeeAsset: feeHeader.ethPerFeeAsset,
+            manaTarget,
+            manaLimit,
+            provingCostPerManaEth,
+            epochDuration: BigInt(epochDuration),
+            l1FeesBySlot
+        };
+    }
+    /** Computes per-slot fee predictions given cached state and a mana usage assumption. */ computePredictions(state, manaUsage) {
+        const assumedManaUsed = this.getAssumedManaUsed(state, manaUsage);
+        const result = [];
+        let { excessMana } = state;
+        let { ethPerFeeAsset } = state;
+        // Slot 0: current state (next available slot after last checkpoint)
+        result.push(this.computeGasFees(state, excessMana, ethPerFeeAsset, state.l1FeesBySlot[0]));
+        // Slots 1..LAG-1: advance excessMana with the assumed mana usage per checkpoint,
+        // and decay ethPerFeeAsset by MAX_FEE_ASSET_PRICE_MODIFIER_BPS per slot for conservative estimates.
+        // Lower ethPerFeeAsset means higher fees in fee asset terms.
+        for(let i = 1; i < state.l1FeesBySlot.length; i++){
+            excessMana = computeExcessMana(excessMana, assumedManaUsed, state.manaTarget);
+            const decayed = ethPerFeeAsset * (10000n - MAX_FEE_ASSET_PRICE_MODIFIER_BPS) / 10000n;
+            ethPerFeeAsset = decayed < MIN_ETH_PER_FEE_ASSET ? MIN_ETH_PER_FEE_ASSET : decayed;
+            result.push(this.computeGasFees(state, excessMana, ethPerFeeAsset, state.l1FeesBySlot[i]));
+        }
+        return result;
+    }
+    getAssumedManaUsed(state, manaUsage) {
+        switch(manaUsage){
+            case ManaUsageEstimate.None:
+                return 0n;
+            case ManaUsageEstimate.Target:
+                return state.manaTarget;
+            case ManaUsageEstimate.Limit:
+                return state.manaLimit;
+        }
+    }
+    computeGasFees(state, excessMana, ethPerFeeAsset, l1Fees) {
+        return new GasFees(0, computeManaMinFee({
+            l1BaseFee: l1Fees.baseFee,
+            l1BlobFee: l1Fees.blobFee,
+            manaTarget: state.manaTarget,
+            epochDuration: state.epochDuration,
+            provingCostPerManaEth: state.provingCostPerManaEth,
+            excessMana,
+            ethPerFeeAsset
+        }));
+    }
+}

package/dest/global_variable_builder/fee_provider.d.ts

@@ -0,0 +1,21 @@
+import type { ViemPublicClient } from '@aztec/ethereum/types';
+import type { DateProvider } from '@aztec/foundation/timer';
+import { GasFees, ManaUsageEstimate } from '@aztec/stdlib/gas';
+import type { FeeProvider } from '@aztec/stdlib/tx';
+import type { GlobalVariableBuilderConfig } from './global_builder.js';
+/** Provides current and predicted fee information based on on-chain state. */
+export declare class FeeProviderImpl implements FeeProvider {
+    private readonly dateProvider;
+    private readonly publicClient;
+    private currentMinFees;
+    private currentL1BlockNumber;
+    private readonly rollupContract;
+    private readonly feePredictor;
+    private readonly ethereumSlotDuration;
+    private readonly l1GenesisTime;
+    constructor(dateProvider: DateProvider, publicClient: ViemPublicClient, config: GlobalVariableBuilderConfig);
+    private computeCurrentMinFees;
+    getCurrentMinFees(): Promise<GasFees>;
+    getPredictedMinFees(manaUsage?: ManaUsageEstimate): Promise<GasFees[]>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmVlX3Byb3ZpZGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZ2xvYmFsX3ZhcmlhYmxlX2J1aWxkZXIvZmVlX3Byb3ZpZGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFOUQsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFNUQsT0FBTyxFQUFFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQy9ELE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBR3BELE9BQU8sS0FBSyxFQUFFLDJCQUEyQixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFFdkUsOEVBQThFO0FBQzlFLHFCQUFhLGVBQWdCLFlBQVcsV0FBVztJQVUvQyxPQUFPLENBQUMsUUFBUSxDQUFDLFlBQVk7SUFDN0IsT0FBTyxDQUFDLFFBQVEsQ0FBQyxZQUFZO0lBVi9CLE9BQU8sQ0FBQyxjQUFjLENBQXdEO0lBQzlFLE9BQU8sQ0FBQyxvQkFBb0IsQ0FBaUM7SUFFN0QsT0FBTyxDQUFDLFFBQVEsQ0FBQyxjQUFjLENBQWlCO0lBQ2hELE9BQU8sQ0FBQyxRQUFRLENBQUMsWUFBWSxDQUFlO0lBQzVDLE9BQU8sQ0FBQyxRQUFRLENBQUMsb0JBQW9CLENBQVM7SUFDOUMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxhQUFhLENBQVM7SUFFdkMsWUFDbUIsWUFBWSxFQUFFLFlBQVksRUFDMUIsWUFBWSxFQUFFLGdCQUFnQixFQUMvQyxNQUFNLEVBQUUsMkJBQTJCLEVBV3BDO1lBTWEscUJBQXFCO0lBa0J0QixpQkFBaUIsSUFBSSxPQUFPLENBQUMsT0FBTyxDQUFDLENBVWpEO0lBRVksbUJBQW1CLENBQUMsU0FBUyxDQUFDLEVBQUUsaUJBQWlCLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBT2xGO0NBQ0YifQ==

package/dest/global_variable_builder/fee_provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fee_provider.d.ts","sourceRoot":"","sources":["../../src/global_variable_builder/fee_provider.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAGpD,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAEvE,8EAA8E;AAC9E,qBAAa,eAAgB,YAAW,WAAW;IAU/C,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,OAAO,CAAC,QAAQ,CAAC,YAAY;IAV/B,OAAO,CAAC,cAAc,CAAwD;IAC9E,OAAO,CAAC,oBAAoB,CAAiC;IAE7D,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAiB;IAChD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAe;IAC5C,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAS;IAC9C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IAEvC,YACmB,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,gBAAgB,EAC/C,MAAM,EAAE,2BAA2B,EAWpC;YAMa,qBAAqB;IAkBtB,iBAAiB,IAAI,OAAO,CAAC,OAAO,CAAC,CAUjD;IAEY,mBAAmB,CAAC,SAAS,CAAC,EAAE,iBAAiB,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAOlF;CACF"}