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

package/dest/test/rollup_cheat_codes.d.ts

@@ -0,0 +1,118 @@
+import type { L1ContractAddresses } from '@aztec/ethereum/l1-contract-addresses';
+import type { ViemPublicClient } from '@aztec/ethereum/types';
+import { CheckpointNumber, EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import type { DateProvider } from '@aztec/foundation/timer';
+import { RollupAbi } from '@aztec/l1-artifacts/RollupAbi';
+import { type GetContractReturnType, type Hex } from 'viem';
+import { EthCheatCodes } from './eth_cheat_codes.js';
+/** Cheat codes for the L1 rollup contract. */
+export declare class RollupCheatCodes {
+    private ethCheatCodes;
+    private client;
+    private rollup;
+    private logger;
+    constructor(ethCheatCodes: EthCheatCodes, addresses: Pick<L1ContractAddresses, 'rollupAddress'>);
+    static create(rpcUrls: string[], addresses: Pick<L1ContractAddresses, 'rollupAddress'>, dateProvider: DateProvider): RollupCheatCodes;
+    /** Returns the current slot */
+    getSlot(): Promise<SlotNumber>;
+    /** Returns the slot number at a given timestamp. */
+    getSlotAt(timestamp: bigint): Promise<SlotNumber>;
+    /** Returns the timestamp for the start of a given slot. */
+    getTimestampForSlot(slot: SlotNumber): Promise<bigint>;
+    /** Returns the number of seconds until the start of the given slot based on L1 block timestamp. */
+    getSecondsUntilSlot(slot: SlotNumber): Promise<number>;
+    /** Returns the current epoch */
+    getEpoch(): Promise<EpochNumber>;
+    /**
+     * Returns the pending and proven chain tips
+     * @returns The pending and proven chain tips
+     */
+    getTips(): Promise<{
+        /** The pending chain tip */ pending: CheckpointNumber;
+        /** The proven chain tip */ proven: CheckpointNumber;
+    }>;
+    /**
+     * Logs the current state of the rollup contract.
+     */
+    debugRollup(): Promise<void>;
+    /** Fetches the epoch and slot duration config from the rollup contract */
+    getConfig(): Promise<{
+        /** Epoch duration */ epochDuration: bigint;
+        /** Slot duration */ slotDuration: number;
+    }>;
+    /**
+     * Advances time to the beginning of the given epoch
+     * @param epoch - The epoch to advance to
+     * @param opts - Options
+     */
+    advanceToEpoch(epoch: EpochNumber, opts?: {
+        /** Offset in seconds */
+        offset?: number;
+    }): Promise<bigint>;
+    /** Warps time in L1 until the next epoch */
+    advanceToNextEpoch(): Promise<void>;
+    /** Warps time in L1 until the beginning of the next slot. */
+    advanceToNextSlot(): Promise<(bigint | SlotNumber)[]>;
+    /**
+     * Warps L1 time to the start of an explicit absolute slot. Unlike `advanceSlots(N)` which is
+     * relative to the current L1 timestamp at call time and therefore races with real-time
+     * progression between query and warp, this lands at the slot regardless of latency.
+     *
+     * Throws if the requested slot is in the past relative to current L1 time (anvil cannot
+     * rewind).
+     */
+    advanceToSlot(slot: SlotNumber): Promise<bigint>;
+    /**
+     * Warps time in L1 equivalent to however many slots.
+     * @param howMany - The number of slots to advance.
+     */
+    advanceSlots(howMany: number): Promise<void>;
+    /**
+     * Marks the specified checkpoint (or latest if none) as proven
+     * @param maybeCheckpointNumber - The checkpoint number to mark as proven (defaults to latest pending)
+     */
+    markAsProven(maybeCheckpointNumber?: CheckpointNumber): Promise<void>;
+    /**
+     * Overrides the inProgress field of the Inbox contract state
+     * @param howMuch - How many checkpoints to move it forward
+     */
+    advanceInboxInProgress(howMuch: number | bigint): Promise<bigint>;
+    insertOutbox(epoch: EpochNumber, numCheckpointsInEpoch: number, outHash: bigint): Promise<void>;
+    /**
+     * Executes an action impersonated as the owner of the Rollup contract.
+     * @param action - The action to execute
+     */
+    asOwner(action: (owner: Hex, rollup: GetContractReturnType<typeof RollupAbi, ViemPublicClient>) => Promise<void>): Promise<void>;
+    /**
+     * Sets up the epoch.
+     */
+    setupEpoch(): Promise<void>;
+    /** Directly calls the L1 gas fee oracle. */
+    updateL1GasFeeOracle(): Promise<void>;
+    /**
+     * Bumps proving cost per mana.
+     * @param bumper - Callback to calculate the new proving cost per mana based on current value.
+     */
+    bumpProvingCostPerMana(bumper: (before: bigint) => bigint): Promise<void>;
+    /**
+     * Directly updates proving cost per mana. Throws if the on-chain tx reverts
+     * (e.g. rate-limit cooldown, step cap, or floor) instead of silently succeeding.
+     * @param ethValue - The new proving cost per mana in ETH
+     */
+    setProvingCostPerMana(ethValue: bigint): Promise<void>;
+    /**
+     * Resets the 30-day proving-cost update cooldown enforced by FeeLib.updateProvingCostPerMana
+     * by zeroing `FeeStore.provingCostLastUpdate` directly in contract storage. Use between
+     * successive setProvingCostPerMana / bumpProvingCostPerMana calls so the later update can
+     * land instead of reverting. Does not touch L1 time, so PXE/tx-expiration state stays intact.
+     *
+     * @note This is tightly coupled to the `FeeStore` layout in
+     * l1-contracts/src/core/libraries/rollup/FeeLib.sol:
+     *   slot + 0: CompressedFeeConfig config          (uint256)
+     *   slot + 1: L1GasOracleValues l1GasOracleValues (14+14+4 bytes, packed)
+     *   slot + 2: uint64 provingCostLastUpdate        (only member — zeroing the slot is safe)
+     * If the struct layout changes, update the offset below.
+     */
+    clearProvingCostCooldown(): Promise<void>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicm9sbHVwX2NoZWF0X2NvZGVzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdGVzdC9yb2xsdXBfY2hlYXRfY29kZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQzlELE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFHNUYsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDNUQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBRTFELE9BQU8sRUFDTCxLQUFLLHFCQUFxQixFQUMxQixLQUFLLEdBQUcsRUFPVCxNQUFNLE1BQU0sQ0FBQztBQUVkLE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUVyRCw4Q0FBOEM7QUFDOUMscUJBQWEsZ0JBQWdCO0lBT3pCLE9BQU8sQ0FBQyxhQUFhO0lBTnZCLE9BQU8sQ0FBQyxNQUFNLENBQW1CO0lBQ2pDLE9BQU8sQ0FBQyxNQUFNLENBQTREO0lBRTFFLE9BQU8sQ0FBQyxNQUFNLENBQXVDO0lBRXJELFlBQ1UsYUFBYSxFQUFFLGFBQWEsRUFDcEMsU0FBUyxFQUFFLElBQUksQ0FBQyxtQkFBbUIsRUFBRSxlQUFlLENBQUMsRUFXdEQ7SUFFRCxNQUFNLENBQUMsTUFBTSxDQUNYLE9BQU8sRUFBRSxNQUFNLEVBQUUsRUFDakIsU0FBUyxFQUFFLElBQUksQ0FBQyxtQkFBbUIsRUFBRSxlQUFlLENBQUMsRUFDckQsWUFBWSxFQUFFLFlBQVksR0FDekIsZ0JBQWdCLENBR2xCO0lBRUQsK0JBQStCO0lBQ2xCLE9BQU8sSUFBSSxPQUFPLENBQUMsVUFBVSxDQUFDLENBRzFDO0lBRUQsb0RBQW9EO0lBQ3ZDLFNBQVMsQ0FBQyxTQUFTLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxVQUFVLENBQUMsQ0FFN0Q7SUFFRCwyREFBMkQ7SUFDOUMsbUJBQW1CLENBQUMsSUFBSSxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsTUFBTSxDQUFDLENBRWxFO0lBRUQsbUdBQW1HO0lBQ3RGLG1CQUFtQixDQUFDLElBQUksRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQU1sRTtJQUVELGdDQUFnQztJQUNuQixRQUFRLElBQUksT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQUc1QztJQUVEOzs7T0FHRztJQUNVLE9BQU8sSUFBSSxPQUFPLENBQUM7UUFDOUIsNEJBQTRCLENBQUMsT0FBTyxFQUFFLGdCQUFnQixDQUFDO1FBQ3ZELDJCQUEyQixDQUFDLE1BQU0sRUFBRSxnQkFBZ0IsQ0FBQztLQUN0RCxDQUFDLENBTUQ7SUFFRDs7T0FFRztJQUNVLFdBQVcsa0JBaUJ2QjtJQUVELDBFQUEwRTtJQUM3RCxTQUFTLElBQUksT0FBTyxDQUFDO1FBQ2hDLHFCQUFxQixDQUFDLGFBQWEsRUFBRSxNQUFNLENBQUM7UUFDNUMsb0JBQW9CLENBQUMsWUFBWSxFQUFFLE1BQU0sQ0FBQztLQUMzQyxDQUFDLENBTUQ7SUFFRDs7OztPQUlHO0lBQ1UsY0FBYyxDQUN6QixLQUFLLEVBQUUsV0FBVyxFQUNsQixJQUFJLEdBQUU7UUFDSix3QkFBd0I7UUFDeEIsTUFBTSxDQUFDLEVBQUUsTUFBTSxDQUFDO0tBQ1osbUJBWVA7SUFFRCw0Q0FBNEM7SUFDL0Isa0JBQWtCLGtCQVc5QjtJQUVELDZEQUE2RDtJQUNoRCxpQkFBaUIscUNBTzdCO0lBRUQ7Ozs7Ozs7T0FPRztJQUNVLGFBQWEsQ0FBQyxJQUFJLEVBQUUsVUFBVSxtQkFLMUM7SUFFRDs7O09BR0c7SUFDVSxZQUFZLENBQUMsT0FBTyxFQUFFLE1BQU0saUJBT3hDO0lBRUQ7OztPQUdHO0lBQ0ksWUFBWSxDQUFDLHFCQUFxQixDQUFDLEVBQUUsZ0JBQWdCLGlCQStCM0Q7SUFFRDs7O09BR0c7SUFDSSxzQkFBc0IsQ0FBQyxPQUFPLEVBQUUsTUFBTSxHQUFHLE1BQU0sR0FBRyxPQUFPLENBQUMsTUFBTSxDQUFDLENBbUN2RTtJQUVNLFlBQVksQ0FBQyxLQUFLLEVBQUUsV0FBVyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sRUFBRSxPQUFPLEVBQUUsTUFBTSxpQkFTckY7SUFFRDs7O09BR0c7SUFDVSxPQUFPLENBQ2xCLE1BQU0sRUFBRSxDQUFDLEtBQUssRUFBRSxHQUFHLEVBQUUsTUFBTSxFQUFFLHFCQUFxQixDQUFDLE9BQU8sU0FBUyxFQUFFLGdCQUFnQixDQUFDLEtBQUssT0FBTyxDQUFDLElBQUksQ0FBQyxpQkFNekc7SUFFRDs7T0FFRztJQUNVLFVBQVUsa0JBT3RCO0lBRUQsNENBQTRDO0lBQy9CLG9CQUFvQixrQkFNaEM7SUFFRDs7O09BR0c7SUFDVSxzQkFBc0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxLQUFLLE1BQU0saUJBSXJFO0lBRUQ7Ozs7T0FJRztJQUNVLHFCQUFxQixDQUFDLFFBQVEsRUFBRSxNQUFNLGlCQWlCbEQ7SUFFRDs7Ozs7Ozs7Ozs7O09BWUc7SUFDVSx3QkFBd0Isa0JBT3BDO0NBQ0YifQ==

package/dest/test/rollup_cheat_codes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rollup_cheat_codes.d.ts","sourceRoot":"","sources":["../../src/test/rollup_cheat_codes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAG5F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAE1D,OAAO,EACL,KAAK,qBAAqB,EAC1B,KAAK,GAAG,EAOT,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD,8CAA8C;AAC9C,qBAAa,gBAAgB;IAOzB,OAAO,CAAC,aAAa;IANvB,OAAO,CAAC,MAAM,CAAmB;IACjC,OAAO,CAAC,MAAM,CAA4D;IAE1E,OAAO,CAAC,MAAM,CAAuC;IAErD,YACU,aAAa,EAAE,aAAa,EACpC,SAAS,EAAE,IAAI,CAAC,mBAAmB,EAAE,eAAe,CAAC,EAWtD;IAED,MAAM,CAAC,MAAM,CACX,OAAO,EAAE,MAAM,EAAE,EACjB,SAAS,EAAE,IAAI,CAAC,mBAAmB,EAAE,eAAe,CAAC,EACrD,YAAY,EAAE,YAAY,GACzB,gBAAgB,CAGlB;IAED,+BAA+B;IAClB,OAAO,IAAI,OAAO,CAAC,UAAU,CAAC,CAG1C;IAED,oDAAoD;IACvC,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAE7D;IAED,2DAA2D;IAC9C,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAElE;IAED,mGAAmG;IACtF,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAMlE;IAED,gCAAgC;IACnB,QAAQ,IAAI,OAAO,CAAC,WAAW,CAAC,CAG5C;IAED;;;OAGG;IACU,OAAO,IAAI,OAAO,CAAC;QAC9B,4BAA4B,CAAC,OAAO,EAAE,gBAAgB,CAAC;QACvD,2BAA2B,CAAC,MAAM,EAAE,gBAAgB,CAAC;KACtD,CAAC,CAMD;IAED;;OAEG;IACU,WAAW,kBAiBvB;IAED,0EAA0E;IAC7D,SAAS,IAAI,OAAO,CAAC;QAChC,qBAAqB,CAAC,aAAa,EAAE,MAAM,CAAC;QAC5C,oBAAoB,CAAC,YAAY,EAAE,MAAM,CAAC;KAC3C,CAAC,CAMD;IAED;;;;OAIG;IACU,cAAc,CACzB,KAAK,EAAE,WAAW,EAClB,IAAI,GAAE;QACJ,wBAAwB;QACxB,MAAM,CAAC,EAAE,MAAM,CAAC;KACZ,mBAYP;IAED,4CAA4C;IAC/B,kBAAkB,kBAW9B;IAED,6DAA6D;IAChD,iBAAiB,qCAO7B;IAED;;;;;;;OAOG;IACU,aAAa,CAAC,IAAI,EAAE,UAAU,mBAK1C;IAED;;;OAGG;IACU,YAAY,CAAC,OAAO,EAAE,MAAM,iBAOxC;IAED;;;OAGG;IACI,YAAY,CAAC,qBAAqB,CAAC,EAAE,gBAAgB,iBA+B3D;IAED;;;OAGG;IACI,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAmCvE;IAEM,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,iBASrF;IAED;;;OAGG;IACU,OAAO,CAClB,MAAM,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,qBAAqB,CAAC,OAAO,SAAS,EAAE,gBAAgB,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,iBAMzG;IAED;;OAEG;IACU,UAAU,kBAOtB;IAED,4CAA4C;IAC/B,oBAAoB,kBAMhC;IAED;;;OAGG;IACU,sBAAsB,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,iBAIrE;IAED;;;;OAIG;IACU,qBAAqB,CAAC,QAAQ,EAAE,MAAM,iBAiBlD;IAED;;;;;;;;;;;;OAYG;IACU,wBAAwB,kBAOpC;CACF"}

package/dest/test/rollup_cheat_codes.js

@@ -0,0 +1,344 @@
+import { OutboxContract, RollupContract } from '@aztec/ethereum/contracts';
+import { CheckpointNumber, EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { createLogger } from '@aztec/foundation/log';
+import { RollupAbi } from '@aztec/l1-artifacts/RollupAbi';
+import { createPublicClient, fallback, getContract, hexToBigInt, http, keccak256 } from 'viem';
+import { EthCheatCodes } from './eth_cheat_codes.js';
+/** Cheat codes for the L1 rollup contract. */ export class RollupCheatCodes {
+    ethCheatCodes;
+    client;
+    rollup;
+    logger;
+    constructor(ethCheatCodes, addresses){
+        this.ethCheatCodes = ethCheatCodes;
+        this.logger = createLogger('aztecjs:cheat_codes');
+        this.client = createPublicClient({
+            chain: ethCheatCodes.chain,
+            transport: fallback(ethCheatCodes.rpcUrls.map((url)=>http(url, {
+                    batch: false
+                })))
+        });
+        this.rollup = getContract({
+            abi: RollupAbi,
+            address: addresses.rollupAddress.toString(),
+            client: this.client
+        });
+    }
+    static create(rpcUrls, addresses, dateProvider) {
+        const ethCheatCodes = new EthCheatCodes(rpcUrls, dateProvider);
+        return new RollupCheatCodes(ethCheatCodes, addresses);
+    }
+    /** Returns the current slot */ async getSlot() {
+        const ts = BigInt((await this.client.getBlock()).timestamp);
+        return this.getSlotAt(ts);
+    }
+    /** Returns the slot number at a given timestamp. */ async getSlotAt(timestamp) {
+        return SlotNumber.fromBigInt(await this.rollup.read.getSlotAt([
+            timestamp
+        ]));
+    }
+    /** Returns the timestamp for the start of a given slot. */ async getTimestampForSlot(slot) {
+        return await this.rollup.read.getTimestampForSlot([
+            BigInt(slot)
+        ]);
+    }
+    /** Returns the number of seconds until the start of the given slot based on L1 block timestamp. */ async getSecondsUntilSlot(slot) {
+        const [currentTimestamp, targetTimestamp] = await Promise.all([
+            this.client.getBlock().then((b)=>BigInt(b.timestamp)),
+            this.rollup.read.getTimestampForSlot([
+                BigInt(slot)
+            ])
+        ]);
+        return Math.max(0, Number(targetTimestamp - currentTimestamp));
+    }
+    /** Returns the current epoch */ async getEpoch() {
+        const slotNumber = await this.getSlot();
+        return EpochNumber.fromBigInt(await this.rollup.read.getEpochAtSlot([
+            BigInt(slotNumber)
+        ]));
+    }
+    /**
+   * Returns the pending and proven chain tips
+   * @returns The pending and proven chain tips
+   */ async getTips() {
+        const { pending, proven } = await this.rollup.read.getTips();
+        return {
+            pending: CheckpointNumber.fromBigInt(pending),
+            proven: CheckpointNumber.fromBigInt(proven)
+        };
+    }
+    /**
+   * Logs the current state of the rollup contract.
+   */ async debugRollup() {
+        const rollup = new RollupContract(this.client, this.rollup.address);
+        const pendingNum = await rollup.getCheckpointNumber();
+        const provenNum = await rollup.getProvenCheckpointNumber();
+        const validators = await rollup.getAttesters();
+        const committee = await rollup.getCurrentEpochCommittee();
+        const archive = await rollup.archive();
+        const slot = await this.getSlot();
+        const epochNum = await rollup.getEpochNumberForSlotNumber(slot);
+        this.logger.info(`Pending checkpoint num: ${pendingNum}`);
+        this.logger.info(`Proven checkpoint num: ${provenNum}`);
+        this.logger.info(`Validators: ${validators.map((v)=>v.toString()).join(', ')}`);
+        this.logger.info(`Committee: ${committee?.map((v)=>v.toString()).join(', ')}`);
+        this.logger.info(`Archive: ${archive}`);
+        this.logger.info(`Epoch num: ${epochNum}`);
+        this.logger.info(`Slot: ${slot}`);
+    }
+    /** Fetches the epoch and slot duration config from the rollup contract */ async getConfig() {
+        const [epochDuration, slotDuration] = await Promise.all([
+            this.rollup.read.getEpochDuration(),
+            this.rollup.read.getSlotDuration()
+        ]);
+        return {
+            epochDuration,
+            slotDuration: Number(slotDuration)
+        };
+    }
+    /**
+   * Advances time to the beginning of the given epoch
+   * @param epoch - The epoch to advance to
+   * @param opts - Options
+   */ async advanceToEpoch(epoch, opts = {}) {
+        const { epochDuration: slotsInEpoch } = await this.getConfig();
+        const slotNumber = SlotNumber(Number(epoch) * Number(slotsInEpoch));
+        const timestamp = await this.rollup.read.getTimestampForSlot([
+            BigInt(slotNumber)
+        ]) + BigInt(opts.offset ?? 0);
+        try {
+            await this.ethCheatCodes.warp(Number(timestamp), {
+                ...opts,
+                silent: true,
+                resetBlockInterval: true
+            });
+            this.logger.warn(`Warped to epoch ${epoch}`, {
+                offset: opts.offset,
+                timestamp
+            });
+        } catch (err) {
+            this.logger.warn(`Warp to epoch ${epoch} failed: ${err}`);
+        }
+        return timestamp;
+    }
+    /** Warps time in L1 until the next epoch */ async advanceToNextEpoch() {
+        const slot = await this.getSlot();
+        const { epochDuration, slotDuration } = await this.getConfig();
+        const slotsUntilNextEpoch = epochDuration - BigInt(slot) % epochDuration + 1n;
+        const timeToNextEpoch = slotsUntilNextEpoch * BigInt(slotDuration);
+        const l1Timestamp = BigInt((await this.client.getBlock()).timestamp);
+        await this.ethCheatCodes.warp(Number(l1Timestamp + timeToNextEpoch), {
+            silent: true,
+            resetBlockInterval: true
+        });
+        this.logger.warn(`Advanced to next epoch`);
+    }
+    /** Warps time in L1 until the beginning of the next slot. */ async advanceToNextSlot() {
+        const currentSlot = await this.getSlot();
+        const nextSlot = SlotNumber(currentSlot + 1);
+        const timestamp = await this.rollup.read.getTimestampForSlot([
+            BigInt(nextSlot)
+        ]);
+        await this.ethCheatCodes.warp(Number(timestamp), {
+            silent: true,
+            resetBlockInterval: true
+        });
+        this.logger.warn(`Advanced to slot ${nextSlot}`);
+        return [
+            timestamp,
+            nextSlot
+        ];
+    }
+    /**
+   * Warps L1 time to the start of an explicit absolute slot. Unlike `advanceSlots(N)` which is
+   * relative to the current L1 timestamp at call time and therefore races with real-time
+   * progression between query and warp, this lands at the slot regardless of latency.
+   *
+   * Throws if the requested slot is in the past relative to current L1 time (anvil cannot
+   * rewind).
+   */ async advanceToSlot(slot) {
+        const timestamp = await this.rollup.read.getTimestampForSlot([
+            BigInt(slot)
+        ]);
+        await this.ethCheatCodes.warp(Number(timestamp), {
+            silent: true,
+            resetBlockInterval: true
+        });
+        this.logger.warn(`Advanced to slot ${slot}`, {
+            timestamp
+        });
+        return timestamp;
+    }
+    /**
+   * Warps time in L1 equivalent to however many slots.
+   * @param howMany - The number of slots to advance.
+   */ async advanceSlots(howMany) {
+        const l1Timestamp = (await this.client.getBlock()).timestamp;
+        const slotDuration = Number(await this.rollup.read.getSlotDuration());
+        const timeToWarp = BigInt(howMany) * BigInt(slotDuration);
+        await this.ethCheatCodes.warp(l1Timestamp + timeToWarp, {
+            silent: true,
+            resetBlockInterval: true
+        });
+        const [slot, epoch] = await Promise.all([
+            this.getSlot(),
+            this.getEpoch()
+        ]);
+        this.logger.warn(`Advanced ${howMany} slots up to slot ${slot} in epoch ${epoch}`);
+    }
+    /**
+   * Marks the specified checkpoint (or latest if none) as proven
+   * @param maybeCheckpointNumber - The checkpoint number to mark as proven (defaults to latest pending)
+   */ markAsProven(maybeCheckpointNumber) {
+        return this.ethCheatCodes.execWithPausedAnvil(async ()=>{
+            const tipsBefore = await this.getTips();
+            const { pending, proven } = tipsBefore;
+            let checkpointNumber = maybeCheckpointNumber;
+            if (checkpointNumber === undefined || checkpointNumber > pending) {
+                checkpointNumber = pending;
+            }
+            if (checkpointNumber <= proven) {
+                this.logger.debug(`Checkpoint ${checkpointNumber} is already proven`);
+                return;
+            }
+            // @note @LHerskind this is heavily dependent on the storage layout and size of values
+            // The rollupStore is a struct and if the size of elements or the struct changes, this can break
+            const provenCheckpointNumberSlot = hexToBigInt(RollupContract.stfStorageSlot);
+            // Need to pack it as a single 32 byte word
+            const newValue = BigInt(tipsBefore.pending) << 128n | BigInt(checkpointNumber);
+            await this.ethCheatCodes.store(EthAddress.fromString(this.rollup.address), provenCheckpointNumberSlot, newValue);
+            const tipsAfter = await this.getTips();
+            if (tipsAfter.pending < tipsAfter.proven) {
+                throw new Error('Overwrote pending tip to a checkpoint in the past');
+            }
+            this.logger.info(`Proven tip moved: ${tipsBefore.proven} -> ${tipsAfter.proven}. Pending tip: ${tipsAfter.pending}.`);
+        });
+    }
+    /**
+   * Overrides the inProgress field of the Inbox contract state
+   * @param howMuch - How many checkpoints to move it forward
+   */ advanceInboxInProgress(howMuch) {
+        return this.ethCheatCodes.execWithPausedAnvil(async ()=>{
+            // Storage slot 2 contains the InboxState struct
+            const inboxStateSlot = 2n;
+            // Get inbox and its current state values
+            const inboxAddress = await this.rollup.read.getInbox();
+            const currentStateValue = await this.ethCheatCodes.load(EthAddress.fromString(inboxAddress), inboxStateSlot);
+            // Extract current values from the packed storage slot
+            // Storage layout: rollingHash (128 bits) | totalMessagesInserted (64 bits) | inProgress (64 bits)
+            const currentRollingHash = currentStateValue & (1n << 128n) - 1n;
+            const currentTotalMessages = currentStateValue >> 128n & (1n << 64n) - 1n;
+            const currentInProgress = currentStateValue >> 192n;
+            const newInProgress = currentInProgress + BigInt(howMuch);
+            // Pack new values: rollingHash (low 128 bits) | totalMessages (middle 64 bits) | inProgress (high 64 bits)
+            const newValue = BigInt(newInProgress) << 192n | currentTotalMessages << 128n | currentRollingHash;
+            await this.ethCheatCodes.store(EthAddress.fromString(inboxAddress), inboxStateSlot, newValue, {
+                silent: true
+            });
+            this.logger.warn(`Inbox inProgress advanced from ${currentInProgress} to ${newInProgress}`, {
+                inbox: inboxAddress,
+                oldValue: '0x' + currentStateValue.toString(16),
+                newValue: '0x' + newValue.toString(16),
+                rollingHash: currentRollingHash,
+                totalMessages: currentTotalMessages,
+                oldInProgress: currentInProgress,
+                newInProgress
+            });
+            return newInProgress;
+        });
+    }
+    insertOutbox(epoch, numCheckpointsInEpoch, outHash) {
+        return this.ethCheatCodes.execWithPausedAnvil(async ()=>{
+            const outboxAddress = await this.rollup.read.getOutbox();
+            const epochRootSlot = OutboxContract.getEpochRootStorageSlot(epoch, numCheckpointsInEpoch);
+            await this.ethCheatCodes.store(EthAddress.fromString(outboxAddress), epochRootSlot, outHash);
+            this.logger.warn(`Advanced outbox to epoch ${epoch} numCheckpointsInEpoch ${numCheckpointsInEpoch} with out hash ${outHash}`);
+        });
+    }
+    /**
+   * Executes an action impersonated as the owner of the Rollup contract.
+   * @param action - The action to execute
+   */ async asOwner(action) {
+        const owner = await this.rollup.read.owner();
+        await this.ethCheatCodes.startImpersonating(owner);
+        await action(owner, this.rollup);
+        await this.ethCheatCodes.stopImpersonating(owner);
+    }
+    /**
+   * Sets up the epoch.
+   */ async setupEpoch() {
+        // Doesn't need to be done as owner, but the functionality is here...
+        await this.asOwner(async (account, rollup)=>{
+            const hash = await rollup.write.setupEpoch({
+                account
+            });
+            await this.client.waitForTransactionReceipt({
+                hash
+            });
+            this.logger.warn(`Setup epoch`);
+        });
+    }
+    /** Directly calls the L1 gas fee oracle. */ async updateL1GasFeeOracle() {
+        await this.asOwner(async (account, rollup)=>{
+            const hash = await rollup.write.updateL1GasFeeOracle({
+                account,
+                chain: this.client.chain
+            });
+            await this.client.waitForTransactionReceipt({
+                hash
+            });
+            this.logger.warn(`Updated L1 gas fee oracle`);
+        });
+    }
+    /**
+   * Bumps proving cost per mana.
+   * @param bumper - Callback to calculate the new proving cost per mana based on current value.
+   */ async bumpProvingCostPerMana(bumper) {
+        const currentCost = await this.rollup.read.getProvingCostPerManaInEth();
+        const newCost = bumper(currentCost);
+        await this.setProvingCostPerMana(newCost);
+    }
+    /**
+   * Directly updates proving cost per mana. Throws if the on-chain tx reverts
+   * (e.g. rate-limit cooldown, step cap, or floor) instead of silently succeeding.
+   * @param ethValue - The new proving cost per mana in ETH
+   */ async setProvingCostPerMana(ethValue) {
+        await this.asOwner(async (account, rollup)=>{
+            const hash = await rollup.write.setProvingCostPerMana([
+                ethValue
+            ], {
+                account,
+                chain: this.client.chain,
+                gasLimit: 1000000n
+            });
+            const receipt = await this.client.waitForTransactionReceipt({
+                hash
+            });
+            if (receipt.status !== 'success') {
+                throw new Error(`setProvingCostPerMana(${ethValue}) reverted on L1 (tx ${hash}). ` + `Likely FeeLib rate-limit (30-day cooldown or 1.5x step cap); ` + `use clearProvingCostCooldown() between successive updates.`);
+            }
+            this.logger.warn(`Updated proving cost per mana to ${ethValue}`);
+        });
+    }
+    /**
+   * Resets the 30-day proving-cost update cooldown enforced by FeeLib.updateProvingCostPerMana
+   * by zeroing `FeeStore.provingCostLastUpdate` directly in contract storage. Use between
+   * successive setProvingCostPerMana / bumpProvingCostPerMana calls so the later update can
+   * land instead of reverting. Does not touch L1 time, so PXE/tx-expiration state stays intact.
+   *
+   * @note This is tightly coupled to the `FeeStore` layout in
+   * l1-contracts/src/core/libraries/rollup/FeeLib.sol:
+   *   slot + 0: CompressedFeeConfig config          (uint256)
+   *   slot + 1: L1GasOracleValues l1GasOracleValues (14+14+4 bytes, packed)
+   *   slot + 2: uint64 provingCostLastUpdate        (only member — zeroing the slot is safe)
+   * If the struct layout changes, update the offset below.
+   */ async clearProvingCostCooldown() {
+        const feeStoreBaseSlot = hexToBigInt(keccak256(Buffer.from('aztec.fee.storage', 'utf-8')));
+        const provingCostLastUpdateSlot = feeStoreBaseSlot + 2n;
+        await this.ethCheatCodes.store(EthAddress.fromString(this.rollup.address), provingCostLastUpdateSlot, 0n, {
+            silent: true
+        });
+        this.logger.warn(`Cleared proving-cost update cooldown`);
+    }
+}

package/dest/test/start_anvil.d.ts

@@ -1,12 +1,40 @@
-import { type Anvil } from '@viem/anvil';
+import type { TestDateProvider } from '@aztec/foundation/timer';
+/** Minimal interface matching the @viem/anvil Anvil shape used by callers. */
+export interface Anvil {
+    readonly port: number;
+    readonly host: string;
+    readonly status: 'listening' | 'idle';
+    stop(): Promise<void>;
+}
 /**
  * Ensures there's a running Anvil instance and returns the RPC URL.
  */
 export declare function startAnvil(opts?: {
+    port?: number;
     l1BlockTime?: number;
+    log?: boolean;
+    captureMethodCalls?: boolean;
+    accounts?: number;
+    chainId?: number;
+    /** The hardfork to use (e.g. 'cancun', 'latest'). */
+    hardfork?: string;
+    /**
+     * Number of slots per epoch used by anvil to compute the 'finalized' and 'safe' block tags.
+     * Anvil reports `finalized = latest - slotsInAnEpoch * 2`.
+     * Defaults to 1 so the finalized block advances immediately, making tests that check
+     * L1-finality-based logic work without needing hundreds of mined blocks.
+     */
+    slotsInAnEpoch?: number;
+    /**
+     * If provided, the date provider will be synced to anvil's block time on every mined block.
+     * This keeps the dateProvider in lockstep with anvil's chain time, avoiding drift between
+     * the wall clock and the L1 chain when computing L1 slot timestamps.
+     */
+    dateProvider?: TestDateProvider;
 }): Promise<{
     anvil: Anvil;
+    methodCalls?: string[];
     rpcUrl: string;
     stop: () => Promise<void>;
 }>;
-//# sourceMappingURL=start_anvil.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RhcnRfYW52aWwuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90ZXN0L3N0YXJ0X2FudmlsLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFNaEUsOEVBQThFO0FBQzlFLE1BQU0sV0FBVyxLQUFLO0lBQ3BCLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLFFBQVEsQ0FBQyxNQUFNLEVBQUUsV0FBVyxHQUFHLE1BQU0sQ0FBQztJQUN0QyxJQUFJLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0NBQ3ZCO0FBRUQ7O0dBRUc7QUFDSCx3QkFBc0IsVUFBVSxDQUM5QixJQUFJLEdBQUU7SUFDSixJQUFJLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDZCxXQUFXLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDckIsR0FBRyxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQ2Qsa0JBQWtCLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDN0IsUUFBUSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ2xCLE9BQU8sQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNqQixxREFBcUQ7SUFDckQsUUFBUSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ2xCOzs7OztPQUtHO0lBQ0gsY0FBYyxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3hCOzs7O09BSUc7SUFDSCxZQUFZLENBQUMsRUFBRSxnQkFBZ0IsQ0FBQztDQUM1QixHQUNMLE9BQU8sQ0FBQztJQUFFLEtBQUssRUFBRSxLQUFLLENBQUM7SUFBQyxXQUFXLENBQUMsRUFBRSxNQUFNLEVBQUUsQ0FBQztJQUFDLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFBQyxJQUFJLEVBQUUsTUFBTSxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUE7Q0FBRSxDQUFDLENBK0g5RiJ9

package/dest/test/start_anvil.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"start_anvil.d.ts","sourceRoot":"","sources":["../../src/test/start_anvil.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,KAAK,EAAe,MAAM,aAAa,CAAC;AAGtD;;GAEG;AACH,wBAAsB,UAAU,CAC9B,IAAI,GAAE;IACJ,WAAW,CAAC,EAAE,MAAM,CAAC;CACjB,GACL,OAAO,CAAC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAA;CAAE,CAAC,CAsCtE"}
+{"version":3,"file":"start_anvil.d.ts","sourceRoot":"","sources":["../../src/test/start_anvil.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAMhE,8EAA8E;AAC9E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAAC;IACtC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB;AAED;;GAEG;AACH,wBAAsB,UAAU,CAC9B,IAAI,GAAE;IACJ,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qDAAqD;IACrD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;OAKG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,YAAY,CAAC,EAAE,gBAAgB,CAAC;CAC5B,GACL,OAAO,CAAC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAA;CAAE,CAAC,CA+H9F"}