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

package/dest/e2e_epochs/epochs_test.js

@@ -1,20 +1,36 @@
 import { AztecNodeService } from '@aztec/aztec-node';
-import { Fr, getTimestampRangeForEpoch, retryUntil, sleep } from '@aztec/aztec.js';
-import { ChainMonitor } from '@aztec/aztec.js/ethereum';
+import { getAccountContractAddress } from '@aztec/aztec.js/account';
+import { getTimestampRangeForEpoch } from '@aztec/aztec.js/block';
+import { getContractInstanceFromInstantiationParams } from '@aztec/aztec.js/contracts';
+import { Fr } from '@aztec/aztec.js/fields';
+import { MerkleTreeId } from '@aztec/aztec.js/trees';
+import { EpochCache } from '@aztec/epoch-cache';
+import { createExtendedL1Client } from '@aztec/ethereum/client';
+import { DefaultL1ContractsConfig } from '@aztec/ethereum/config';
 import { RollupContract } from '@aztec/ethereum/contracts';
-import { waitUntilL1Timestamp } from '@aztec/ethereum/test';
-import { randomBytes } from '@aztec/foundation/crypto';
-import { withLogNameSuffix } from '@aztec/foundation/log';
-import { MerkleTreeId } from '@aztec/stdlib/trees';
+import { createDelayer, waitUntilL1Timestamp, wrapClientWithDelayer } from '@aztec/ethereum/l1-tx-utils';
+import { ChainMonitor } from '@aztec/ethereum/test';
+import { CheckpointNumber, EpochNumber } from '@aztec/foundation/branded-types';
+import { SecretValue } from '@aztec/foundation/config';
+import { randomBytes } from '@aztec/foundation/crypto/random';
+import { withLoggerBindings } from '@aztec/foundation/log/server';
+import { retryUntil } from '@aztec/foundation/retry';
+import { sleep } from '@aztec/foundation/sleep';
+import { SpamContract } from '@aztec/noir-test-contracts.js/Spam';
+import { TestContract } from '@aztec/noir-test-contracts.js/Test';
+import { getMockPubSubP2PServiceFactory } from '@aztec/p2p/test-helpers';
+import { SequencerState } from '@aztec/sequencer-client';
+import { EthAddress } from '@aztec/stdlib/block';
+import { getProofSubmissionDeadlineTimestamp } from '@aztec/stdlib/epoch-helpers';
+import { tryStop } from '@aztec/stdlib/interfaces/server';
 import { join } from 'path';
+import { privateKeyToAccount } from 'viem/accounts';
+import { SCHNORR_HARDCODED_PRIVATE_KEY, SchnorrHardcodedKeyAccountContract } from '../fixtures/schnorr_hardcoded_account_contract.js';
 import { createAndSyncProverNode, getPrivateKeyFromIndex, setup } from '../fixtures/utils.js';
-// This can be lowered to as much as 2s in non-CI
-export const L1_BLOCK_TIME_IN_S = process.env.L1_BLOCK_TIME ? parseInt(process.env.L1_BLOCK_TIME) : 8;
-export const EPOCH_DURATION_IN_L2_SLOTS = 4;
-export const L2_SLOT_DURATION_IN_L1_SLOTS = 2;
-export const WORLD_STATE_BLOCK_HISTORY = 2;
+export const WORLD_STATE_CHECKPOINT_HISTORY = 2;
 export const WORLD_STATE_BLOCK_CHECK_INTERVAL = 50;
 export const ARCHIVER_POLL_INTERVAL = 50;
+export const DEFAULT_L1_BLOCK_TIME = process.env.CI ? 12 : 8;
 /**
  * Tests building of epochs using fast block times and short epochs.
  * Spawns an aztec node and a prover node with fake proofs.
@@ -26,41 +42,86 @@ export const ARCHIVER_POLL_INTERVAL = 50;
     constants;
     logger;
     monitor;
+    epochCache;
     proverDelayer;
     sequencerDelayer;
     proverNodes = [];
     nodes = [];
+    epochDuration;
+    L1_BLOCK_TIME_IN_S;
+    L2_SLOT_DURATION_IN_S;
     static async setup(opts = {}) {
         const test = new EpochsTestContext();
         await test.setup(opts);
         return test;
     }
+    static getSlotDurations(opts = {}) {
+        const envEthereumSlotDuration = process.env.L1_BLOCK_TIME ? parseInt(process.env.L1_BLOCK_TIME) : DEFAULT_L1_BLOCK_TIME;
+        const ethereumSlotDuration = opts.ethereumSlotDuration ?? envEthereumSlotDuration;
+        const aztecSlotDuration = opts.aztecSlotDuration ?? (opts.aztecSlotDurationInL1Slots ?? 2) * ethereumSlotDuration;
+        const aztecEpochDuration = opts.aztecEpochDuration ?? 6;
+        const aztecProofSubmissionEpochs = opts.aztecProofSubmissionEpochs ?? 1;
+        const l1PublishingTime = opts.l1PublishingTime ?? 1;
+        return {
+            l1PublishingTime,
+            ethereumSlotDuration,
+            aztecSlotDuration,
+            aztecEpochDuration,
+            aztecProofSubmissionEpochs
+        };
+    }
     async setup(opts = {}) {
+        const { ethereumSlotDuration, aztecSlotDuration, aztecEpochDuration, aztecProofSubmissionEpochs, l1PublishingTime } = EpochsTestContext.getSlotDurations(opts);
+        this.L1_BLOCK_TIME_IN_S = ethereumSlotDuration;
+        this.L2_SLOT_DURATION_IN_S = aztecSlotDuration;
+        // Auto-create a hardcoded account funded via genesis when:
+        //  - skipInitialSequencer is set (no sequencer to deploy on-chain), or
+        //  - useHardcodedAccount is explicitly requested (e.g. tight per-block gas budgets that
+        //    can't fit a full account-deploy tx).
+        const useHardcodedAccount = (opts.skipInitialSequencer || opts.useHardcodedAccount) && !opts.skipHardcodedAccount;
+        let hardcodedAccountData;
+        if (useHardcodedAccount) {
+            hardcodedAccountData = await EpochsTestContext.getHardcodedAccountData(Fr.random(), Fr.random());
+        }
         // Set up system without any account nor protocol contracts
         // and with faster block times and shorter epochs.
-        const context = await setup(0, {
+        const context = await setup(useHardcodedAccount ? 0 : opts.numberOfAccounts ?? 0, {
+            automineL1Setup: true,
             checkIntervalMs: 50,
             archiverPollingIntervalMS: ARCHIVER_POLL_INTERVAL,
             worldStateBlockCheckIntervalMS: WORLD_STATE_BLOCK_CHECK_INTERVAL,
-            skipProtocolContracts: true,
-            salt: 1,
-            aztecEpochDuration: EPOCH_DURATION_IN_L2_SLOTS,
-            aztecSlotDuration: L1_BLOCK_TIME_IN_S * L2_SLOT_DURATION_IN_L1_SLOTS,
-            ethereumSlotDuration: L1_BLOCK_TIME_IN_S,
-            aztecProofSubmissionWindow: EPOCH_DURATION_IN_L2_SLOTS * 2 - 1,
+            aztecEpochDuration,
+            aztecSlotDuration,
+            ethereumSlotDuration,
+            aztecProofSubmissionEpochs,
+            aztecTargetCommitteeSize: opts.initialValidators?.length ?? 0,
             minTxsPerBlock: 0,
             realProofs: false,
             startProverNode: true,
-            // We use numeric incremental prover ids for simplicity, but we can switch to
-            // using the prover's eth address if the proverId is used for something in the rollup contract
-            proverId: Fr.fromString('1'),
-            // This must be enough so that the tx from the prover is delayed properly,
-            // but not so much to hang the sequencer and timeout the teardown
-            txPropagationMaxQueryAttempts: 12,
-            worldStateBlockHistory: WORLD_STATE_BLOCK_HISTORY,
-            ...opts
+            proverTestDelayMs: opts.proverTestDelayMs ?? 0,
+            proverId: EthAddress.fromNumber(1),
+            worldStateCheckpointHistory: WORLD_STATE_CHECKPOINT_HISTORY,
+            exitDelaySeconds: DefaultL1ContractsConfig.exitDelaySeconds,
+            slasherEnabled: false,
+            l1PublishingTime,
+            ...opts,
+            ...hardcodedAccountData ? {
+                initialFundedAccounts: [
+                    hardcodedAccountData
+                ],
+                numberOfAccounts: 0
+            } : {}
+        }, // Use checkpointed chain tip for PXE by default to avoid issues with blocks being dropped due to pruned anchor blocks.
+        // Can be overridden via opts.pxeOpts.
+        {
+            syncChainTip: 'checkpointed',
+            ...opts.pxeOpts
         });
         this.context = context;
+        // Register the hardcoded account in PXE (local only, no on-chain deployment needed).
+        if (hardcodedAccountData) {
+            await this.registerHardcodedAccount(hardcodedAccountData);
+        }
         this.proverNodes = context.proverNode ? [
             context.proverNode
         ] : [];
@@ -68,51 +129,143 @@ export const ARCHIVER_POLL_INTERVAL = 50;
             context.aztecNode
         ] : [];
         this.logger = context.logger;
-        this.l1Client = context.deployL1ContractsValues.publicClient;
+        this.l1Client = context.deployL1ContractsValues.l1Client;
         this.rollup = RollupContract.getFromConfig(context.config);
+        this.epochCache = await EpochCache.create(this.rollup, context.config, {
+            dateProvider: context.dateProvider
+        });
         // Loop that tracks L1 and L2 block numbers and logs whenever there's a new one.
-        this.monitor = new ChainMonitor(this.rollup, this.logger).start();
-        // This is hideous.
-        // We ought to have a definite reference to the l1TxUtils that we're using in both places, provided by the test context.
-        this.proverDelayer = context.proverNode ? context.proverNode.publisher.l1TxUtils.delayer : undefined;
-        this.sequencerDelayer = context.sequencer.sequencer.publisher.l1TxUtils.delayer;
-        if (context.proverNode && !this.proverDelayer || !this.sequencerDelayer) {
+        this.monitor = new ChainMonitor(this.rollup, context.dateProvider, this.logger).start();
+        this.proverDelayer = context.proverDelayer;
+        this.sequencerDelayer = context.sequencerDelayer;
+        if (context.proverNode && !this.proverDelayer || context.sequencer && !this.sequencerDelayer) {
             throw new Error(`Could not find prover or sequencer delayer`);
         }
         // Constants used for time calculation
+        this.epochDuration = aztecEpochDuration;
         this.constants = {
-            epochDuration: EPOCH_DURATION_IN_L2_SLOTS,
-            slotDuration: L1_BLOCK_TIME_IN_S * L2_SLOT_DURATION_IN_L1_SLOTS,
+            epochDuration: aztecEpochDuration,
+            slotDuration: aztecSlotDuration,
             l1StartBlock: await this.rollup.getL1StartBlock(),
             l1GenesisTime: await this.rollup.getL1GenesisTime(),
-            ethereumSlotDuration: L1_BLOCK_TIME_IN_S
+            ethereumSlotDuration,
+            proofSubmissionEpochs: Number(await this.rollup.getProofSubmissionEpochs()),
+            targetCommitteeSize: await this.rollup.getTargetCommitteeSize(),
+            rollupManaLimit: Number(await this.rollup.getManaLimit())
         };
         this.logger.info(`L2 genesis at L1 block ${this.constants.l1StartBlock} (timestamp ${this.constants.l1GenesisTime})`);
     }
     async teardown() {
-        this.monitor.stop();
-        await Promise.all(this.proverNodes.map((node)=>node.stop()));
-        await Promise.all(this.nodes.map((node)=>node.stop()));
+        await this.monitor.stop();
+        await Promise.all(this.proverNodes.map((node)=>tryStop(node, this.logger)));
+        await Promise.all(this.nodes.map((node)=>tryStop(node, this.logger)));
         await this.context.teardown();
     }
-    async createProverNode() {
+    /**
+   * Computes InitialAccountData for a SchnorrHardcodedKeyAccountContract.
+   * This contract has a hardcoded signing key and no initializer, so it can be used without
+   * on-chain deployment. Pass the returned data in `initialFundedAccounts` so the address
+   * gets funded with fee juice in genesis.
+   */ static async getHardcodedAccountData(secret, salt) {
+        const contract = new SchnorrHardcodedKeyAccountContract();
+        const address = await getAccountContractAddress(contract, secret, salt);
+        const signingKey = SCHNORR_HARDCODED_PRIVATE_KEY;
+        return {
+            secret,
+            salt,
+            signingKey,
+            address
+        };
+    }
+    /**
+   * Registers a SchnorrHardcodedKeyAccountContract in PXE. The account must have been funded
+   * at genesis (via getHardcodedAccountData). No on-chain deployment or block mining needed.
+   */ async registerHardcodedAccount(accountData) {
+        const contract = new SchnorrHardcodedKeyAccountContract();
+        const wallet = this.context.wallet;
+        const accountManager = await wallet.createAccount({
+            secret: accountData.secret,
+            salt: accountData.salt,
+            contract
+        });
+        this.context.accounts = [
+            accountManager.address
+        ];
+        return accountManager.address;
+    }
+    async createProverNode(opts = {}) {
         this.logger.warn('Creating and syncing a simulated prover node...');
         const proverNodePrivateKey = this.getNextPrivateKey();
-        const suffix = (this.proverNodes.length + 1).toString();
-        const proverNode = await withLogNameSuffix(suffix, ()=>createAndSyncProverNode(proverNodePrivateKey, {
+        const proverIndex = this.proverNodes.length + 1;
+        const { mockGossipSubNetwork } = this.context;
+        const { proverNode } = await withLoggerBindings({
+            actor: `prover-${proverIndex}`
+        }, ()=>createAndSyncProverNode(proverNodePrivateKey, {
                 ...this.context.config,
-                proverId: Fr.fromString(suffix)
-            }, this.context.aztecNode, join(this.context.config.dataDirectory, randomBytes(8).toString('hex'))));
+                p2pEnabled: this.context.config.p2pEnabled || mockGossipSubNetwork !== undefined,
+                proverId: EthAddress.fromNumber(proverIndex),
+                dontStart: opts.dontStart,
+                ...opts
+            }, {
+                dataDirectory: join(this.context.config.dataDirectory, randomBytes(8).toString('hex'))
+            }, {
+                dateProvider: this.context.dateProvider,
+                p2pClientDeps: {
+                    p2pServiceFactory: mockGossipSubNetwork ? getMockPubSubP2PServiceFactory(mockGossipSubNetwork) : undefined,
+                    rpcTxProviders: [
+                        this.context.aztecNode
+                    ]
+                }
+            }, {
+                genesis: this.context.genesis,
+                dontStart: opts.dontStart
+            }));
         this.proverNodes.push(proverNode);
         return proverNode;
     }
-    async createNonValidatorNode() {
+    createNonValidatorNode(opts = {}) {
         this.logger.warn('Creating and syncing a node without a validator...');
-        const suffix = (this.nodes.length + 1).toString();
-        const node = await withLogNameSuffix(suffix, ()=>AztecNodeService.createAndSync({
-                ...this.context.config,
-                disableValidator: true,
-                dataDirectory: join(this.context.config.dataDirectory, randomBytes(8).toString('hex'))
+        return this.createNode({
+            ...opts,
+            disableValidator: true
+        });
+    }
+    createValidatorNode(privateKeys, opts = {}) {
+        this.logger.warn('Creating and syncing a validator node...');
+        return this.createNode({
+            ...opts,
+            disableValidator: false,
+            validatorPrivateKeys: new SecretValue(privateKeys)
+        });
+    }
+    async createNode(opts = {}) {
+        const nodeIndex = this.nodes.length + 1;
+        const actorPrefix = opts.disableValidator ? 'node' : 'validator';
+        const { mockGossipSubNetwork } = this.context;
+        const resolvedConfig = {
+            ...this.context.config,
+            ...opts
+        };
+        const p2pEnabled = resolvedConfig.p2pEnabled || mockGossipSubNetwork !== undefined;
+        const p2pIp = resolvedConfig.p2pIp ?? (p2pEnabled ? '127.0.0.1' : undefined);
+        const node = await withLoggerBindings({
+            actor: `${actorPrefix}-${nodeIndex}`
+        }, ()=>AztecNodeService.createAndSync({
+                ...resolvedConfig,
+                dataDirectory: join(this.context.config.dataDirectory, randomBytes(8).toString('hex')),
+                validatorPrivateKeys: opts.validatorPrivateKeys ?? new SecretValue([]),
+                nodeId: resolvedConfig.nodeId || `${actorPrefix}-${nodeIndex}`,
+                p2pEnabled,
+                p2pIp
+            }, {
+                dateProvider: this.context.dateProvider,
+                p2pClientDeps: {
+                    p2pServiceFactory: mockGossipSubNetwork ? getMockPubSubP2PServiceFactory(mockGossipSubNetwork) : undefined
+                },
+                slashingProtectionDb: opts.slashingProtectionDb
+            }, {
+                genesis: this.context.genesis,
+                ...opts
             }));
         this.nodes.push(node);
         return node;
@@ -122,34 +275,186 @@ export const ARCHIVER_POLL_INTERVAL = 50;
         return `0x${key.toString('hex')}`;
     }
     /** Waits until the epoch begins (ie until the immediately previous L1 block is mined). */ async waitUntilEpochStarts(epoch) {
-        const [start] = getTimestampRangeForEpoch(BigInt(epoch), this.constants);
+        const [start] = getTimestampRangeForEpoch(EpochNumber(epoch), this.constants);
         this.logger.info(`Waiting until L1 timestamp ${start} is reached as the start of epoch ${epoch}`);
-        await waitUntilL1Timestamp(this.l1Client, start - BigInt(L1_BLOCK_TIME_IN_S));
+        await waitUntilL1Timestamp(this.l1Client, start - BigInt(this.L1_BLOCK_TIME_IN_S), undefined, 30 * this.epochDuration);
         return start;
     }
-    /** Waits until the given L2 block number is mined. */ async waitUntilL2BlockNumber(target, timeout = 60) {
-        await retryUntil(()=>Promise.resolve(target === this.monitor.l2BlockNumber), `Wait until L2 block ${target}`, timeout, 0.1);
+    /** Waits until the given checkpoint number is mined. */ async waitUntilCheckpointNumber(target, timeout = 120) {
+        await retryUntil(()=>Promise.resolve(target <= this.monitor.checkpointNumber), `Wait until checkpoint ${target}`, timeout, 0.1);
+    }
+    /** Waits until the given checkpoint number is marked as proven. */ async waitUntilProvenCheckpointNumber(target, timeout = 120) {
+        await retryUntil(()=>Promise.resolve(target <= this.monitor.provenCheckpointNumber), `Wait proven checkpoint ${target}`, timeout, 0.1);
+        return this.monitor.provenCheckpointNumber;
     }
-    /** Waits until the given L2 block number is marked as proven. */ async waitUntilProvenL2BlockNumber(t, timeout = 60) {
-        await retryUntil(()=>Promise.resolve(t === this.monitor.l2ProvenBlockNumber), `Wait proven L2 block ${t}`, timeout, 0.1);
+    /** Waits until the last slot of the proof submission window for a given epoch. */ async waitUntilLastSlotOfProofSubmissionWindow(epochNumber) {
+        const deadline = getProofSubmissionDeadlineTimestamp(EpochNumber.fromBigInt(BigInt(epochNumber)), this.constants);
+        const oneSlotBefore = deadline - BigInt(this.constants.slotDuration);
+        const date = new Date(Number(oneSlotBefore) * 1000);
+        this.logger.info(`Waiting until last slot of submission window for epoch ${epochNumber} at ${date}`, {
+            oneSlotBefore
+        });
+        // Use a timeout that accounts for the full proof submission window
+        const proofSubmissionWindowDuration = this.constants.proofSubmissionEpochs * this.epochDuration * this.L2_SLOT_DURATION_IN_S;
+        await waitUntilL1Timestamp(this.l1Client, oneSlotBefore, undefined, proofSubmissionWindowDuration * 2);
     }
     /** Waits for the aztec node to sync to the target block number. */ async waitForNodeToSync(blockNumber, type) {
         const waitTime = ARCHIVER_POLL_INTERVAL + WORLD_STATE_BLOCK_CHECK_INTERVAL;
         let synched = false;
         while(!synched){
             await sleep(waitTime);
-            const syncState = await this.context.aztecNode.getWorldStateSyncStatus();
-            if (type === 'finalised') {
-                synched = syncState.finalisedBlockNumber >= blockNumber;
+            const [syncState, tips] = await Promise.all([
+                this.context.aztecNode.getWorldStateSyncStatus(),
+                await this.context.aztecNode.getChainTips()
+            ]);
+            this.logger.info(`Wait for node synch ${blockNumber} ${type}`, {
+                blockNumber,
+                type,
+                syncState,
+                tips
+            });
+            if (type === 'proven') {
+                synched = tips.proven.block.number >= blockNumber && syncState.latestBlockNumber >= blockNumber;
+            } else if (type === 'finalized') {
+                synched = syncState.finalizedBlockNumber >= blockNumber;
             } else {
                 synched = syncState.oldestHistoricBlockNumber >= blockNumber;
             }
         }
     }
+    /** Registers the SpamContract on the given wallet. */ async registerSpamContract(wallet, salt = Fr.ZERO) {
+        const instance = await getContractInstanceFromInstantiationParams(SpamContract.artifact, {
+            constructorArgs: [],
+            constructorArtifact: undefined,
+            salt,
+            publicKeys: undefined,
+            deployer: undefined
+        });
+        await wallet.registerContract(instance, SpamContract.artifact);
+        return SpamContract.at(instance.address, wallet);
+    }
+    /** Registers the TestContract on the given wallet. */ async registerTestContract(wallet, salt = Fr.ZERO) {
+        const instance = await getContractInstanceFromInstantiationParams(TestContract.artifact, {
+            constructorArgs: [],
+            constructorArtifact: undefined,
+            salt,
+            publicKeys: undefined,
+            deployer: undefined
+        });
+        await wallet.registerContract(instance, TestContract.artifact);
+        return TestContract.at(instance.address, wallet);
+    }
+    /** Creates an L1 client using a fresh account with funds from anvil, with a tx delayer already set up. */ async createL1Client() {
+        const rawClient = createExtendedL1Client([
+            ...this.l1Client.chain.rpcUrls.default.http
+        ], privateKeyToAccount(this.getNextPrivateKey()), this.l1Client.chain);
+        const delayer = createDelayer(this.context.dateProvider, {
+            ethereumSlotDuration: this.L1_BLOCK_TIME_IN_S
+        }, {});
+        const client = wrapClientWithDelayer(rawClient, delayer);
+        expect(await client.getBalance({
+            address: client.account.address
+        })).toBeGreaterThan(0n);
+        return {
+            client,
+            delayer
+        };
+    }
     /** Verifies whether the given block number is found on the aztec node. */ async verifyHistoricBlock(blockNumber, expectedSuccess) {
-        const result = await this.context.aztecNode.findBlockNumbersForIndexes(blockNumber, MerkleTreeId.NULLIFIER_TREE, [
-            0n
+        // We use `findLeavesIndexes` here, but could use any function that queries the world-state
+        // at a particular block, so we know whether that historic block is available or has been
+        // pruned. Note that `getBlock` would not work here, since it only hits the archiver.
+        const result = await this.context.aztecNode.findLeavesIndexes(blockNumber, MerkleTreeId.NULLIFIER_TREE, [
+            Fr.ZERO
         ]).then((_)=>true).catch((_)=>false);
         expect(result).toBe(expectedSuccess);
     }
+    /** Verifies at least one checkpoint has the target number of blocks (for MBPS validation). */ async assertMultipleBlocksPerSlot(targetBlockCount) {
+        const archiver = this.context.aztecNode.getBlockSource();
+        const checkpoints = await archiver.getCheckpoints({
+            from: CheckpointNumber(1),
+            limit: 50
+        });
+        this.logger.warn(`Retrieved ${checkpoints.length} checkpoints from archiver`, {
+            checkpoints: checkpoints.map((pc)=>pc.checkpoint.getStats())
+        });
+        let expectedBlockNumber = checkpoints[0].checkpoint.blocks[0].number;
+        let targetFound = false;
+        for (const checkpoint of checkpoints){
+            const blockCount = checkpoint.checkpoint.blocks.length;
+            targetFound = targetFound || blockCount >= targetBlockCount;
+            this.logger.verbose(`Checkpoint ${checkpoint.checkpoint.number} has ${blockCount} blocks`, {
+                checkpoint: checkpoint.checkpoint.getStats()
+            });
+            for(let i = 0; i < blockCount; i++){
+                const block = checkpoint.checkpoint.blocks[i];
+                expect(block.indexWithinCheckpoint).toBe(i);
+                expect(block.checkpointNumber).toBe(checkpoint.checkpoint.number);
+                expect(block.number).toBe(expectedBlockNumber);
+                expectedBlockNumber++;
+            }
+        }
+        expect(targetFound).toBe(true);
+    }
+    watchSequencerEvents(sequencers, getMetadata = ()=>({}), additionalFailEventKeys = []) {
+        const stateChanges = [];
+        const failEvents = [];
+        // Note we do not include the 'block-tx-count-check-failed' event here, since it is fine if we dont build
+        // due to lack of txs available.
+        const failEventsKeys = [
+            'block-build-failed',
+            'checkpoint-publish-failed',
+            'proposer-rollup-check-failed',
+            'checkpoint-error',
+            'checkpoint-publish-failed',
+            'header-validation-failed',
+            'pipelined-checkpoint-discarded',
+            ...additionalFailEventKeys
+        ];
+        const makeEvent = (i, eventName, args)=>({
+                ...args,
+                type: eventName,
+                sequencerIndex: i + 2,
+                ...getMetadata(i)
+            });
+        sequencers.forEach((sequencer, i)=>{
+            const sequencerIndex = i + 2;
+            sequencer.getSequencer().on('state-changed', (args)=>{
+                const noisyStates = [
+                    SequencerState.IDLE,
+                    SequencerState.PROPOSER_CHECK,
+                    SequencerState.SYNCHRONIZING
+                ];
+                if (!noisyStates.includes(args.newState)) {
+                    const evt = makeEvent(i, 'state-changed', args);
+                    stateChanges.push(evt);
+                    this.logger.verbose(`Sequencer ${sequencerIndex} transitioned from state ${args.oldState} to state ${args.newState}`, evt);
+                }
+            });
+            failEventsKeys.forEach((eventName)=>{
+                sequencer.getSequencer().on(eventName, (args)=>{
+                    // Skip benign block-build-failed events where the builder rejected the block because it
+                    // could not collect enough valid txs. This is the same "not enough txs" case as
+                    // block-tx-count-check-failed (which is already excluded above), just detected after we
+                    // started processing txs rather than before.
+                    if (eventName === 'block-build-failed' && args.reason === 'Insufficient valid txs') {
+                        return;
+                    }
+                    const evt = makeEvent(i, eventName, args);
+                    failEvents.push(evt);
+                    this.logger.error(`Failed event ${eventName} from sequencer ${sequencerIndex}`, undefined, evt);
+                });
+            });
+        });
+        return {
+            failEvents,
+            stateChanges
+        };
+    }
+    assertNoFailuresFromSequencers(failEvents) {
+        if (failEvents.length > 0) {
+            this.logger.error(`Failed events from sequencers`, failEvents);
+        }
+        expect(failEvents).toEqual([]);
+    }
 }

package/dest/e2e_fees/bridging_race.notest.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnJpZGdpbmdfcmFjZS5ub3Rlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lMmVfZmVlcy9icmlkZ2luZ19yYWNlLm5vdGVzdC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiIn0=

package/dest/e2e_fees/bridging_race.notest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridging_race.notest.d.ts","sourceRoot":"","sources":["../../src/e2e_fees/bridging_race.notest.ts"],"names":[],"mappings":""}

package/dest/e2e_fees/bridging_race.notest.js

@@ -0,0 +1,61 @@
+import { SchnorrAccountContract } from '@aztec/accounts/schnorr';
+import { Fr } from '@aztec/aztec.js/fields';
+import { Fq } from '@aztec/foundation/curves/bn254';
+import { sleep } from '@aztec/foundation/sleep';
+import { jest } from '@jest/globals';
+import { FeesTest } from './fees_test.js';
+jest.setTimeout(300_000);
+// Regression for https://github.com/AztecProtocol/aztec-packages/issues/12366
+// Similar to e2e_fees/account_init but with no automine
+describe('e2e_fees bridging_race', ()=>{
+    const ETHEREUM_SLOT_DURATION = 4;
+    const AZTEC_SLOT_DURATION = ETHEREUM_SLOT_DURATION * 2;
+    const t = new FeesTest('bridging_race', 1, {
+        ethereumSlotDuration: ETHEREUM_SLOT_DURATION,
+        aztecSlotDuration: AZTEC_SLOT_DURATION,
+        minTxsPerBlock: 0
+    });
+    beforeAll(async ()=>{
+        await t.setup();
+        ({ wallet, logger } = t);
+    });
+    afterAll(async ()=>{
+        await t.teardown();
+    });
+    let logger;
+    let bobsAddress;
+    let wallet;
+    beforeEach(async ()=>{
+        const bobsSecretKey = Fr.random();
+        const bobsPrivateSigningKey = Fq.random();
+        const bobsSalt = Fr.random();
+        const bobsAccountManager = await wallet.createAccount({
+            secret: bobsSecretKey,
+            salt: bobsSalt,
+            contract: new SchnorrAccountContract(bobsPrivateSigningKey)
+        });
+        bobsAddress = bobsAccountManager.address;
+    });
+    it('Alice bridges funds to Bob', async ()=>{
+        // Tweak the token manager so the bridging happens immediately before the end of the current L2 slot
+        // This caused the message to be "not in state" when tried to be used
+        const l1TokenManager = t.feeJuiceBridgeTestHarness.l1TokenManager;
+        const origApprove = l1TokenManager.approve.bind(l1TokenManager);
+        l1TokenManager.approve = async (amount, address, addressName = '')=>{
+            await origApprove(amount, address, addressName);
+            const sleepTime = (Number(t.chainMonitor.checkpointTimestamp) + AZTEC_SLOT_DURATION) * 1000 - Date.now() - 500;
+            logger.info(`Sleeping for ${sleepTime}ms until near end of L2 slot before sending L1 fee juice to L2 inbox`);
+            await sleep(sleepTime);
+        };
+        // Waiting for the archiver to sync the message _before_ waiting for the mandatory 2 L2 blocks to pass fixed it
+        // This was added everywhere we wait for two blocks, which is spread across three different places in the codebase
+        // Yes, we need to REFACTOR it at some point
+        const claim = await t.feeJuiceBridgeTestHarness.prepareTokensOnL1(bobsAddress);
+        const { claimSecret: secret, messageLeafIndex: index } = claim;
+        await t.feeJuiceContract.methods.claim(bobsAddress, claim.claimAmount, secret, index).send({
+            from: bobsAddress
+        });
+        const [balance] = await t.getGasBalanceFn(bobsAddress);
+        expect(balance).toEqual(claim.claimAmount);
+    });
+});