@aztec/end-to-end 0.0.1-commit.e3c1de76 → 0.0.1-commit.e57c76e

package/dest/fixtures/setup.js

@@ -1,15 +1,13 @@
 import { SchnorrAccountContractArtifact } from '@aztec/accounts/schnorr';
-import { generateSchnorrAccounts, getInitialTestAccountsData } from '@aztec/accounts/testing';
-import { createArchiver } from '@aztec/archiver';
+import { generateSchnorrAccounts } from '@aztec/accounts/testing';
 import { AztecNodeService, getConfigEnvVars } from '@aztec/aztec-node';
-import { AztecAddress, EthAddress } from '@aztec/aztec.js/addresses';
+import { NO_FROM } from '@aztec/aztec.js/account';
+import { EthAddress } from '@aztec/aztec.js/addresses';
 import { BatchCall, getContractClassFromArtifact, waitForProven } from '@aztec/aztec.js/contracts';
 import { publishContractClass, publishInstance } from '@aztec/aztec.js/deployment';
 import { Fr } from '@aztec/aztec.js/fields';
 import { createLogger } from '@aztec/aztec.js/log';
-import { createAztecNodeClient, waitForNode } from '@aztec/aztec.js/node';
 import { AnvilTestWatcher, CheatCodes } from '@aztec/aztec/testing';
-import { createBlobClientWithFileStores } from '@aztec/blob-client/client';
 import { SPONSORED_FPC_SALT } from '@aztec/constants';
 import { isAnvilTestChain } from '@aztec/ethereum/chain';
 import { createExtendedL1Client } from '@aztec/ethereum/client';
@@ -17,7 +15,7 @@ import { getL1ContractsConfigEnvVars } from '@aztec/ethereum/config';
 import { NULL_KEY } from '@aztec/ethereum/constants';
 import { deployMulticall3 } from '@aztec/ethereum/contracts';
 import { deployAztecL1Contracts } from '@aztec/ethereum/deploy-aztec-l1-contracts';
-import { DelayedTxUtils, EthCheatCodes, EthCheatCodesWithState, createDelayedL1TxUtilsFromViemWallet, startAnvil } from '@aztec/ethereum/test';
+import { EthCheatCodesWithState, startAnvil } from '@aztec/ethereum/test';
 import { EpochNumber } from '@aztec/foundation/branded-types';
 import { SecretValue } from '@aztec/foundation/config';
 import { randomBytes } from '@aztec/foundation/crypto/random';
@@ -25,32 +23,34 @@ import { tryRmDir } from '@aztec/foundation/fs';
 import { withLoggerBindings } from '@aztec/foundation/log/server';
 import { retryUntil } from '@aztec/foundation/retry';
 import { sleep } from '@aztec/foundation/sleep';
-import { DateProvider, TestDateProvider } from '@aztec/foundation/timer';
+import { TestDateProvider } from '@aztec/foundation/timer';
 import { SponsoredFPCContract } from '@aztec/noir-contracts.js/SponsoredFPC';
 import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vk-tree';
 import { MockGossipSubNetwork, getMockPubSubP2PServiceFactory } from '@aztec/p2p/test-helpers';
 import { protocolContractsHash } from '@aztec/protocol-contracts';
-import { createProverNode } from '@aztec/prover-node';
 import { getPXEConfig } from '@aztec/pxe/server';
+import { AuthRegistryArtifact, getStandardAuthRegistry } from '@aztec/standard-contracts/auth-registry';
+import { HandshakeRegistryArtifact, getStandardHandshakeRegistry } from '@aztec/standard-contracts/handshake-registry';
+import { PublicChecksArtifact, getStandardPublicChecks } from '@aztec/standard-contracts/public-checks';
+import { ARTIFACT_VERSION_BEFORE_INJECTION } from '@aztec/stdlib/abi';
 import { getContractInstanceFromInstantiationParams } from '@aztec/stdlib/contract';
 import { tryStop } from '@aztec/stdlib/interfaces/server';
 import { getConfigEnvVars as getTelemetryConfig, initTelemetryClient } from '@aztec/telemetry-client';
 import { BenchmarkTelemetryClient } from '@aztec/telemetry-client/bench';
-import { TestWallet, deployFundedSchnorrAccounts } from '@aztec/test-wallet/server';
+import { deployFundedSchnorrAccounts } from '@aztec/wallets/testing';
 import { getGenesisValues } from '@aztec/world-state/testing';
 import fs from 'fs/promises';
 import { tmpdir } from 'os';
 import path from 'path';
 import { generatePrivateKey, mnemonicToAccount, privateKeyToAccount } from 'viem/accounts';
 import { foundry } from 'viem/chains';
+import { TestWallet } from '../test-wallet/test_wallet.js';
 import { MNEMONIC, TEST_MAX_PENDING_TX_POOL_COUNT, TEST_PEER_CHECK_INTERVAL_MS } from './fixtures.js';
 import { getACVMConfig } from './get_acvm_config.js';
 import { getBBConfig } from './get_bb_config.js';
 import { isMetricsLoggingRequested, setupMetricsLogger } from './logging.js';
 import { getEndToEndTestTelemetryClient } from './with_telemetry_utils.js';
 export { startAnvil };
-const { AZTEC_NODE_URL = '' } = process.env;
-const getAztecUrl = ()=>AZTEC_NODE_URL;
 let telemetry = undefined;
 async function getTelemetryClient(partialConfig = {}) {
     if (!telemetry) {
@@ -111,63 +111,23 @@ export const getPrivateKeyFromIndex = (index)=>{
     };
 }
 /**
- * Function to setup the test against a remote deployment. It is assumed that L1 contract are already deployed
- */ async function setupWithRemoteEnvironment(account, config, logger, numberOfAccounts) {
-    const aztecNodeUrl = getAztecUrl();
-    logger.verbose(`Creating Aztec Node client to remote host ${aztecNodeUrl}`);
-    const aztecNode = createAztecNodeClient(aztecNodeUrl);
-    await waitForNode(aztecNode, logger);
-    logger.verbose('JSON RPC client connected to Aztec Node');
-    logger.verbose(`Retrieving contract addresses from ${aztecNodeUrl}`);
-    const { l1ContractAddresses, rollupVersion } = await aztecNode.getNodeInfo();
-    const l1Client = createExtendedL1Client(config.l1RpcUrls, account, foundry);
-    const deployL1ContractsValues = {
-        l1ContractAddresses,
-        l1Client,
-        rollupVersion
-    };
-    const ethCheatCodes = new EthCheatCodes(config.l1RpcUrls, new DateProvider());
-    const wallet = await TestWallet.create(aztecNode);
-    if (config.walletMinFeePadding !== undefined) {
-        wallet.setMinFeePadding(config.walletMinFeePadding);
+ * When CONTRACT_ARTIFACTS_VERSION is set (backwards compatibility testing), asserts that the loaded artifact's
+ * aztecVersion matches the expected version. This is a sanity check verifying that the legacy artifact resolver
+ * actually swapped in the correct version.
+ */ function assertContractArtifactsVersion() {
+    const expected = process.env.CONTRACT_ARTIFACTS_VERSION;
+    if (!expected) {
+        return;
     }
-    const cheatCodes = await CheatCodes.create(config.l1RpcUrls, aztecNode, new DateProvider());
-    const teardown = ()=>Promise.resolve();
-    logger.verbose('Populating wallet from already registered accounts...');
-    const initialFundedAccounts = await getInitialTestAccountsData();
-    if (initialFundedAccounts.length < numberOfAccounts) {
-        throw new Error(`Required ${numberOfAccounts} accounts. Found ${initialFundedAccounts.length}.`);
+    const { aztecVersion } = SponsoredFPCContract.artifact;
+    // TODO(F-557): Remove this bypass once pre-version artifacts are no longer tested.
+    if (aztecVersion === ARTIFACT_VERSION_BEFORE_INJECTION) {
+        createLogger('e2e:setup').info(`Skipping artifact version check: artifact predates version injection (CONTRACT_ARTIFACTS_VERSION=${expected})`);
+        return;
+    }
+    if (aztecVersion !== expected) {
+        throw new Error(`Artifact version mismatch: expected ${expected} but got ${aztecVersion}. ` + `The legacy artifact resolver may not have swapped in the correct version.`);
     }
-    const testAccounts = await Promise.all(initialFundedAccounts.slice(0, numberOfAccounts).map(async (account)=>{
-        const accountManager = await wallet.createSchnorrAccount(account.secret, account.salt, account.signingKey);
-        return accountManager.address;
-    }));
-    return {
-        anvil: undefined,
-        aztecNode,
-        aztecNodeService: undefined,
-        aztecNodeAdmin: undefined,
-        sequencer: undefined,
-        proverNode: undefined,
-        deployL1ContractsValues,
-        config,
-        aztecNodeConfig: config,
-        initialFundedAccounts,
-        wallet,
-        accounts: testAccounts,
-        logger,
-        cheatCodes,
-        ethCheatCodes,
-        prefilledPublicData: undefined,
-        mockGossipSubNetwork: undefined,
-        watcher: undefined,
-        dateProvider: undefined,
-        telemetryClient: undefined,
-        acvmConfig: undefined,
-        bbConfig: undefined,
-        directoryToCleanup: undefined,
-        teardown
-    };
 }
 /**
  * Sets up the environment for the end-to-end tests.
@@ -175,10 +135,11 @@ export const getPrivateKeyFromIndex = (index)=>{
  * @param opts - Options to pass to the node initialization and to the setup script.
  * @param pxeOpts - Options to pass to the PXE initialization.
  */ export async function setup(numberOfAccounts = 1, opts = {}, pxeOpts = {}, chain = foundry) {
+    assertContractArtifactsVersion();
     let anvil;
     try {
         opts.aztecTargetCommitteeSize ??= 0;
-        opts.slasherFlavor ??= 'none';
+        opts.slasherEnabled ??= false;
         const config = {
             ...getConfigEnvVars(),
             ...opts
@@ -191,7 +152,10 @@ export const getPrivateKeyFromIndex = (index)=>{
         config.realProofs = !!opts.realProofs;
         // Only enforce the time table if requested
         config.enforceTimeTable = !!opts.enforceTimeTable;
+        // Enable the tx delayer for tests (default config has it disabled, so we force-enable it here)
+        config.enableDelayer = true;
         config.listenAddress = '127.0.0.1';
+        config.minTxPoolAgeMs = opts.minTxPoolAgeMs ?? 0;
         const logger = getLogger();
         // Create a temp directory for any services that need it and cleanup later
         const directoryToCleanup = path.join(tmpdir(), randomBytes(8).toString('hex'));
@@ -201,17 +165,17 @@ export const getPrivateKeyFromIndex = (index)=>{
         if (!config.dataDirectory) {
             config.dataDirectory = directoryToCleanup;
         }
+        const dateProvider = new TestDateProvider();
         if (!config.l1RpcUrls?.length) {
             if (!isAnvilTestChain(chain.id)) {
                 throw new Error(`No ETHEREUM_HOSTS set but non anvil chain requested`);
             }
-            if (AZTEC_NODE_URL) {
-                throw new Error(`AZTEC_NODE_URL provided but no ETHEREUM_HOSTS set. Refusing to run, please set both variables so tests can deploy L1 contracts to the same Anvil instance`);
-            }
             const res = await startAnvil({
                 l1BlockTime: opts.ethereumSlotDuration,
                 accounts: opts.anvilAccounts,
-                port: opts.anvilPort ?? (process.env.ANVIL_PORT ? parseInt(process.env.ANVIL_PORT) : undefined)
+                port: opts.anvilPort ?? (process.env.ANVIL_PORT ? parseInt(process.env.ANVIL_PORT) : undefined),
+                slotsInAnEpoch: opts.anvilSlotsInAnEpoch,
+                dateProvider
             });
             anvil = res.anvil;
             config.l1RpcUrls = [
@@ -224,7 +188,6 @@ export const getPrivateKeyFromIndex = (index)=>{
             logger.info(`Logging metrics to ${filename}`);
             setupMetricsLogger(filename);
         }
-        const dateProvider = new TestDateProvider();
         const ethCheatCodes = new EthCheatCodesWithState(config.l1RpcUrls, dateProvider);
         if (opts.stateLoad) {
             await ethCheatCodes.loadChainState(opts.stateLoad);
@@ -239,8 +202,8 @@ export const getPrivateKeyFromIndex = (index)=>{
         if (opts.l1PublisherKey && opts.l1PublisherKey.getValue() && opts.l1PublisherKey.getValue() != NULL_KEY) {
             publisherPrivKeyHex = opts.l1PublisherKey.getValue();
             publisherHdAccount = privateKeyToAccount(publisherPrivKeyHex);
-        } else if (config.publisherPrivateKeys && config.publisherPrivateKeys.length > 0 && config.publisherPrivateKeys[0].getValue() != NULL_KEY) {
-            publisherPrivKeyHex = config.publisherPrivateKeys[0].getValue();
+        } else if (config.sequencerPublisherPrivateKeys && config.sequencerPublisherPrivateKeys.length > 0 && config.sequencerPublisherPrivateKeys[0].getValue() != NULL_KEY) {
+            publisherPrivKeyHex = config.sequencerPublisherPrivateKeys[0].getValue();
             publisherHdAccount = privateKeyToAccount(publisherPrivKeyHex);
         } else if (!MNEMONIC) {
             throw new Error(`Mnemonic not provided and no publisher private key`);
@@ -251,17 +214,13 @@ export const getPrivateKeyFromIndex = (index)=>{
             const publisherPrivKeyRaw = publisherHdAccount.getHdKey().privateKey;
             const publisherPrivKey = publisherPrivKeyRaw === null ? null : Buffer.from(publisherPrivKeyRaw);
             publisherPrivKeyHex = `0x${publisherPrivKey.toString('hex')}`;
-            config.publisherPrivateKeys = [
+            config.sequencerPublisherPrivateKeys = [
                 new SecretValue(publisherPrivKeyHex)
             ];
         }
         if (config.coinbase === undefined) {
             config.coinbase = EthAddress.fromString(publisherHdAccount.address);
         }
-        if (AZTEC_NODE_URL) {
-            // we are setting up against a remote environment, l1 contracts are assumed to already be deployed
-            return await setupWithRemoteEnvironment(publisherHdAccount, config, logger, numberOfAccounts);
-        }
         // Determine which addresses to fund in genesis
         const initialFundedAccounts = opts.initialFundedAccounts ?? await generateSchnorrAccounts(opts.numberOfInitialFundedAccounts ?? Math.max(numberOfAccounts, 10));
         const addressesToFund = initialFundedAccounts.map((a)=>a.address);
@@ -270,7 +229,8 @@ export const getPrivateKeyFromIndex = (index)=>{
             const sponsoredFPCAddress = await getSponsoredFPCAddress();
             addressesToFund.push(sponsoredFPCAddress);
         }
-        const { genesisArchiveRoot, prefilledPublicData, fundingNeeded } = await getGenesisValues(addressesToFund, opts.initialAccountFeeJuice, opts.genesisPublicData);
+        const genesisTimestamp = BigInt(Math.floor(Date.now() / 1000));
+        const { genesisArchiveRoot, genesis, fundingNeeded } = await getGenesisValues(addressesToFund, opts.initialAccountFeeJuice, opts.genesisPublicData, genesisTimestamp);
         const wasAutomining = await ethCheatCodes.isAutoMining();
         const enableAutomine = opts.automineL1Setup && !wasAutomining && isAnvilTestChain(chain.id);
         if (enableAutomine) {
@@ -295,19 +255,41 @@ export const getPrivateKeyFromIndex = (index)=>{
             feeJuicePortalInitialBalance: fundingNeeded,
             realVerifier: false
         });
-        config.l1Contracts = deployL1ContractsValues.l1ContractAddresses;
+        Object.assign(config, deployL1ContractsValues.l1ContractAddresses);
         config.rollupVersion = deployL1ContractsValues.rollupVersion;
+        // Propagate L1-contracts-config overrides back to the node config so the archiver's
+        // `l1Constants` (and any other node-side consumer) agrees with what was actually deployed.
+        // Without this, a per-test override like `aztecEpochDuration: 4` lands on the rollup contract
+        // but the node config keeps the default (32), so `archiver.isEpochComplete(0)` computes
+        // `endSlot=31` and `EpochTestSettler`/`EpochMonitor` never fires — letting the
+        // `aztecProofSubmissionEpochs` window expire mid-test and prune the pending chain.
+        // Skip undefined values: callers (e.g. `P2PNetworkTest`) sometimes build `l1ContractsArgs`
+        // by spreading a partial `AztecNodeConfig`, which leaves unset fields (notably `dataDirectory`)
+        // as `undefined`. A blind Object.assign would then clobber the temp `dataDirectory` set earlier
+        // in this function and crash `setupSharedBlobStorage`.
+        if (opts.l1ContractsArgs) {
+            for (const [key, value] of Object.entries(opts.l1ContractsArgs)){
+                if (value !== undefined) {
+                    config[key] = value;
+                }
+            }
+        }
         if (enableAutomine) {
             await ethCheatCodes.setAutomine(false);
             await ethCheatCodes.setIntervalMining(config.ethereumSlotDuration);
-            dateProvider.setTime(await ethCheatCodes.timestamp() * 1000);
+        }
+        // In compose mode (no local anvil), sync dateProvider to L1 time since it may have drifted
+        // ahead of system time due to the local-network watcher warping time forward on each filled slot.
+        // When running with a local anvil, the dateProvider is kept in sync via the stdout listener.
+        if (!anvil) {
+            dateProvider.setTime(await ethCheatCodes.lastBlockTimestamp() * 1000);
         }
         if (opts.l2StartTime) {
             await ethCheatCodes.warp(opts.l2StartTime, {
                 resetBlockInterval: true
             });
         }
-        const watcher = new AnvilTestWatcher(new EthCheatCodesWithState(config.l1RpcUrls, dateProvider), deployL1ContractsValues.l1ContractAddresses.rollupAddress, deployL1ContractsValues.l1Client, dateProvider);
+        const watcher = new AnvilTestWatcher(new EthCheatCodesWithState(config.l1RpcUrls, dateProvider), deployL1ContractsValues.l1ContractAddresses.rollupAddress, deployL1ContractsValues.l1Client, dateProvider, opts.anvilTestWatcherOpts);
         if (!opts.disableAnvilTestWatcher) {
             await watcher.start();
         }
@@ -328,7 +310,7 @@ export const getPrivateKeyFromIndex = (index)=>{
         let mockGossipSubNetwork;
         let p2pClientDeps = undefined;
         if (opts.mockGossipSubNetwork) {
-            mockGossipSubNetwork = new MockGossipSubNetwork();
+            mockGossipSubNetwork = new MockGossipSubNetwork(opts.mockGossipSubNetworkLatency);
             p2pClientDeps = {
                 p2pServiceFactory: getMockPubSubP2PServiceFactory(mockGossipSubNetwork)
             };
@@ -341,11 +323,17 @@ export const getPrivateKeyFromIndex = (index)=>{
         if (originalMinTxsPerBlock === undefined) {
             throw new Error('minTxsPerBlock is undefined in e2e test setup');
         }
-        // Only set minTxsPerBlock=1 if we're going to deploy accounts and need reliable block inclusion
+        // Whether we're deploying accounts (and therefore need reliable block inclusion past genesis)
         const shouldDeployAccounts = numberOfAccounts > 0 && !opts.skipAccountDeployment;
         // Only set minTxsPerBlock=0 if we need an empty block (no accounts at all, not skipped deployment)
         const needsEmptyBlock = numberOfAccounts === 0 && !opts.skipAccountDeployment;
-        config.minTxsPerBlock = shouldDeployAccounts ? 1 : needsEmptyBlock ? 0 : originalMinTxsPerBlock;
+        // Pipelining is always on: the proposer builds during slot N-1 for slot N. A tx submitted at
+        // slot N start arrives after that build, so forcing minTxsPerBlock=1 would stall the chain on
+        // alternating slots -- hence empty checkpoints are allowed (minTxsPerBlock=0) for account
+        // deployment. Automine is unaffected: its runBuild clamps mempool builds to
+        // Math.max(minTxsPerBlock ?? 1, 1) and still requires minValidTxs: 1.
+        const accountsDeployMinTxs = 0;
+        config.minTxsPerBlock = shouldDeployAccounts ? accountsDeployMinTxs : needsEmptyBlock ? 0 : originalMinTxsPerBlock;
         config.p2pEnabled = opts.mockGossipSubNetwork || config.p2pEnabled;
         config.p2pIp = opts.p2pIp ?? config.p2pIp ?? '127.0.0.1';
         if (!config.disableValidator) {
@@ -355,33 +343,53 @@ export const getPrivateKeyFromIndex = (index)=>{
                 ]);
             }
         }
+        // When skipInitialSequencer is set, the initial node is a lightweight RPC-only node.
+        // We apply these overrides to a copy so they don't leak into the returned config.
+        // Keep P2P enabled if mockGossipSubNetwork is used (needed for tx propagation to validators).
+        const initialNodeConfig = opts.skipInitialSequencer ? {
+            ...config,
+            disableValidator: true,
+            ...opts.mockGossipSubNetwork ? {} : {
+                p2pEnabled: false,
+                bootstrapNodes: []
+            }
+        } : config;
         const aztecNodeService = await withLoggerBindings({
             actor: 'node-0'
-        }, ()=>AztecNodeService.createAndSync(config, {
+        }, ()=>AztecNodeService.createAndSync(initialNodeConfig, {
                 dateProvider,
                 telemetry: telemetryClient,
                 p2pClientDeps
             }, {
-                prefilledPublicData
+                genesis,
+                dontStartSequencer: opts.skipInitialSequencer
             }));
         const sequencerClient = aztecNodeService.getSequencer();
-        if (sequencerClient) {
-            const publisher = sequencerClient.sequencer.publisher;
-            publisher.l1TxUtils = DelayedTxUtils.fromL1TxUtils(publisher.l1TxUtils, config.ethereumSlotDuration, l1Client);
-        }
         let proverNode = undefined;
         if (opts.startProverNode) {
             logger.verbose('Creating and syncing a simulated prover node...');
             const proverNodePrivateKey = getPrivateKeyFromIndex(2);
             const proverNodePrivateKeyHex = `0x${proverNodePrivateKey.toString('hex')}`;
             const proverNodeDataDirectory = path.join(directoryToCleanup, randomBytes(8).toString('hex'));
-            const proverNodeConfig = {
-                ...config.proverNodeConfig,
-                dataDirectory: proverNodeDataDirectory,
-                p2pEnabled: false
+            const p2pClientDeps = {
+                p2pServiceFactory: mockGossipSubNetwork && getMockPubSubP2PServiceFactory(mockGossipSubNetwork),
+                rpcTxProviders: [
+                    aztecNodeService
+                ]
             };
-            proverNode = await createAndSyncProverNode(proverNodePrivateKeyHex, config, proverNodeConfig, aztecNodeService, prefilledPublicData);
+            ({ proverNode } = await createAndSyncProverNode(proverNodePrivateKeyHex, config, {
+                ...config.proverNodeConfig,
+                dataDirectory: proverNodeDataDirectory
+            }, {
+                dateProvider,
+                p2pClientDeps,
+                telemetry: telemetryClient
+            }, {
+                genesis
+            }));
         }
+        const sequencerDelayer = sequencerClient?.getDelayer();
+        const proverDelayer = proverNode?.getProverNode()?.getDelayer();
         logger.verbose('Creating a pxe...');
         const pxeConfig = {
             ...getPXEConfig(),
@@ -391,12 +399,13 @@ export const getPrivateKeyFromIndex = (index)=>{
         // For tests we only want proving enabled if specifically requested
         pxeConfig.proverEnabled = !!pxeOpts.proverEnabled;
         const wallet = await TestWallet.create(aztecNodeService, pxeConfig, {
-            loggerActorLabel: 'pxe-0'
+            loggerActorLabel: 'pxe-0',
+            ...opts.pxeCreationOptions
         });
         if (opts.walletMinFeePadding !== undefined) {
             wallet.setMinFeePadding(opts.walletMinFeePadding);
         }
-        const cheatCodes = await CheatCodes.create(config.l1RpcUrls, aztecNodeService, dateProvider);
+        const cheatCodes = await CheatCodes.create(config.l1RpcUrls, aztecNodeService, dateProvider, aztecNodeService.getAutomineSequencer());
         if (opts.aztecTargetCommitteeSize && opts.aztecTargetCommitteeSize > 0 || opts.initialValidators && opts.initialValidators.length > 0) {
             // We need to advance such that the committee is set up.
             await cheatCodes.rollup.advanceToEpoch(EpochNumber.fromBigInt(BigInt(await cheatCodes.rollup.getEpoch()) + BigInt(config.lagInEpochsForValidatorSet + 1)));
@@ -404,13 +413,20 @@ export const getPrivateKeyFromIndex = (index)=>{
             await cheatCodes.rollup.debugRollup();
         }
         let accounts = [];
-        if (shouldDeployAccounts) {
-            logger.info(`${numberOfAccounts} accounts are being deployed. Reliably progressing past genesis by setting minTxsPerBlock to 1 and waiting for the accounts to be deployed`);
+        if (opts.skipInitialSequencer) {
+            logger.info('Sequencer not started on initial node, skipping block progression');
+        } else if (shouldDeployAccounts) {
+            logger.info(`${numberOfAccounts} accounts are being deployed. Reliably progressing past genesis by waiting for the accounts to be deployed`);
             const accountsData = initialFundedAccounts.slice(0, numberOfAccounts);
             const accountManagers = await deployFundedSchnorrAccounts(wallet, accountsData);
             accounts = accountManagers.map((accountManager)=>accountManager.address);
         } else if (needsEmptyBlock) {
             logger.info('No accounts are being deployed, waiting for an empty block 1 to be mined');
+            // AutomineSequencer only builds on tx arrival; explicitly request an empty block.
+            const automine = aztecNodeService.getAutomineSequencer();
+            if (automine) {
+                await automine.buildEmptyBlock();
+            }
             while(await aztecNodeService.getBlockNumber() === 0){
                 await sleep(2000);
             }
@@ -443,7 +459,7 @@ export const getPrivateKeyFromIndex = (index)=>{
                 logger.error(`Error during e2e test teardown`, err);
             } finally{
                 try {
-                    await telemetryClient?.stop();
+                    await telemetryClient.stop();
                 } catch (err) {
                     logger.error(`Error during telemetry client stop`, err);
                 }
@@ -463,8 +479,10 @@ export const getPrivateKeyFromIndex = (index)=>{
             initialFundedAccounts,
             logger,
             mockGossipSubNetwork,
-            prefilledPublicData,
+            genesis,
             proverNode,
+            sequencerDelayer,
+            proverDelayer,
             sequencer: sequencerClient,
             teardown,
             telemetryClient,
@@ -523,79 +541,43 @@ export const getPrivateKeyFromIndex = (index)=>{
 }
 export async function waitForProvenChain(node, targetBlock, timeoutSec = 60, intervalSec = 1) {
     targetBlock ??= await node.getBlockNumber();
-    await retryUntil(async ()=>await node.getProvenBlockNumber() >= targetBlock, 'proven chain status', timeoutSec, intervalSec);
+    await retryUntil(async ()=>await node.getBlockNumber('proven') >= targetBlock, 'proven chain status', timeoutSec, intervalSec);
 }
-export function createAndSyncProverNode(proverNodePrivateKey, aztecNodeConfig, proverNodeConfig, aztecNode, prefilledPublicData = [], proverNodeDeps = {}) {
+/**
+ * Creates an AztecNodeService with the prover node enabled as a subsystem.
+ * Returns both the aztec node service (for lifecycle management) and the prover node (for test internals access).
+ */ export function createAndSyncProverNode(proverNodePrivateKey, baseConfig, configOverrides, deps, options) {
     return withLoggerBindings({
         actor: 'prover-0'
     }, async ()=>{
-        const aztecNodeTxProvider = aztecNode && {
-            getTxByHash: aztecNode.getTxByHash.bind(aztecNode),
-            getTxsByHash: aztecNode.getTxsByHash.bind(aztecNode),
-            stop: ()=>Promise.resolve()
-        };
-        const blobClient = await createBlobClientWithFileStores(aztecNodeConfig, createLogger('blob-client:prover-node'));
-        const archiverConfig = {
-            ...aztecNodeConfig,
-            dataDirectory: proverNodeConfig.dataDirectory
-        };
-        const archiver = await createArchiver(archiverConfig, {
-            blobClient,
-            dateProvider: proverNodeDeps.dateProvider
-        }, {
-            blockUntilSync: true
-        });
-        const proverConfig = {
-            ...aztecNodeConfig,
-            txCollectionNodeRpcUrls: [],
-            realProofs: false,
-            proverAgentCount: 2,
-            publisherPrivateKeys: [
+        const proverNode = await AztecNodeService.createAndSync({
+            ...baseConfig,
+            ...configOverrides,
+            p2pPort: 0,
+            enableProverNode: true,
+            disableValidator: true,
+            proverPublisherPrivateKeys: [
                 new SecretValue(proverNodePrivateKey)
-            ],
-            proverNodeMaxPendingJobs: 10,
-            proverNodeMaxParallelBlocksPerEpoch: 32,
-            proverNodePollingIntervalMs: 200,
-            txGatheringIntervalMs: 1000,
-            txGatheringBatchSize: 10,
-            txGatheringMaxParallelRequestsPerNode: 10,
-            txGatheringTimeoutMs: 24_000,
-            proverNodeFailedEpochStore: undefined,
-            proverId: EthAddress.fromNumber(1),
-            proverNodeEpochProvingDelayMs: undefined,
-            ...proverNodeConfig
-        };
-        const l1TxUtils = createDelayedL1TxUtils(aztecNodeConfig, proverNodePrivateKey, 'prover-node', proverNodeDeps.dateProvider);
-        const proverNode = await createProverNode(proverConfig, {
-            ...proverNodeDeps,
-            aztecNodeTxProvider,
-            archiver: archiver,
-            l1TxUtils
-        }, {
-            prefilledPublicData
-        });
-        getLogger().info(`Created and synced prover node`, {
-            publisherAddress: l1TxUtils.client.account.address
+            ]
+        }, deps, {
+            genesis: options.genesis,
+            dontStartProverNode: options.dontStart
         });
-        if (!proverNodeConfig.dontStart) {
-            await proverNode.start();
+        if (!proverNode.getProverNode()) {
+            throw new Error('Prover node subsystem was not created despite enableProverNode being set');
         }
-        return proverNode;
+        getLogger().info(`Created and synced prover node`);
+        return {
+            proverNode
+        };
     });
 }
-function createDelayedL1TxUtils(aztecNodeConfig, privateKey, logName, dateProvider) {
-    const l1Client = createExtendedL1Client(aztecNodeConfig.l1RpcUrls, privateKey, foundry);
-    const log = createLogger(logName);
-    const l1TxUtils = createDelayedL1TxUtilsFromViemWallet(l1Client, log, dateProvider, aztecNodeConfig);
-    l1TxUtils.enableDelayer(aztecNodeConfig.ethereumSlotDuration);
-    return l1TxUtils;
-}
-export function getBalancesFn(symbol, method, from, logger) {
+export function getBalancesFn(symbol, method, logger) {
     const balances = async (...addressLikes)=>{
         const addresses = addressLikes.map((addressLike)=>'address' in addressLike ? addressLike.address : addressLike);
-        const b = await Promise.all(addresses.map((address)=>method(address).simulate({
-                from
-            })));
+        const b = await Promise.all(addresses.map(async (address)=>(await method(address).simulate({
+                from: address
+            })).result));
         const debugString = `${symbol} balances: ${addresses.map((address, i)=>`${address}: ${b[i]}`).join(', ')}`;
         logger.verbose(debugString);
         return b;
@@ -613,6 +595,63 @@ export async function expectMappingDelta(initialValues, fn, inputs, expectedDiff
     const diffs = outputs.map((output, i)=>output - initialValues[i]);
     expect(diffs).toEqual(expectedDiffs);
 }
+/**
+ * Registers the auth_registry contract class and publishes its standard instance if not already
+ * present, and registers the artifact with PXE. Publishing is required before exercising the public
+ * authwit path (which relies on the AVM's deployment-nullifier check); the PXE-side registration is
+ * required so revert messages from AuthRegistry calls can be enriched (otherwise assertion strings
+ * surface as generic "Assertion failed:" and tests that match on the real message fail).
+ */ export async function ensureAuthRegistryPublished(wallet, from) {
+    const { instance, contractClass } = await getStandardAuthRegistry();
+    if (!(await wallet.getContractClassMetadata(contractClass.id)).isContractClassPubliclyRegistered) {
+        await (await publishContractClass(wallet, AuthRegistryArtifact)).send({
+            from
+        });
+    }
+    if (!(await wallet.getContractMetadata(instance.address)).isContractPublished) {
+        await publishInstance(wallet, instance).send({
+            from
+        });
+    }
+    await wallet.registerContract(instance, AuthRegistryArtifact);
+}
+/**
+ * Registers the public_checks contract class and publishes its standard instance if not already
+ * present, and registers the artifact with PXE. Required for any contract that calls
+ * `privately_check_timestamp` / `privately_check_block_number` (which dispatch into the
+ * deployed PublicChecks contract via an enqueued public call).
+ */ export async function ensurePublicChecksPublished(wallet, from) {
+    const { instance, contractClass } = await getStandardPublicChecks();
+    if (!(await wallet.getContractClassMetadata(contractClass.id)).isContractClassPubliclyRegistered) {
+        await (await publishContractClass(wallet, PublicChecksArtifact)).send({
+            from
+        });
+    }
+    if (!(await wallet.getContractMetadata(instance.address)).isContractPublished) {
+        await publishInstance(wallet, instance).send({
+            from
+        });
+    }
+    await wallet.registerContract(instance, PublicChecksArtifact);
+}
+/**
+ * Registers the handshake_registry contract class and publishes its standard instance if not
+ * already present, and registers the artifact with PXE. Required for constrained-delivery flows
+ * that call into the HandshakeRegistry at its well-known address.
+ */ export async function ensureHandshakeRegistryPublished(wallet, from) {
+    const { instance, contractClass } = await getStandardHandshakeRegistry();
+    if (!(await wallet.getContractClassMetadata(contractClass.id)).isContractClassPubliclyRegistered) {
+        await (await publishContractClass(wallet, HandshakeRegistryArtifact)).send({
+            from
+        });
+    }
+    if (!(await wallet.getContractMetadata(instance.address)).isContractPublished) {
+        await publishInstance(wallet, instance).send({
+            from
+        });
+    }
+    await wallet.registerContract(instance, HandshakeRegistryArtifact);
+}
 /**
  * Registers the contract class used for test accounts and publicly deploys the instances requested.
  * Use this when you need to make a public call to an account contract, such as for requesting a public authwit.
@@ -639,7 +678,7 @@ export async function expectMappingDelta(initialValues, fn, inputs, expectedDiff
 /**
  * Helper function to deploy accounts.
  * Returns deployed account data that can be used by tests.
- */ export const deployAccounts = (numberOfAccounts, logger)=>async ({ wallet, initialFundedAccounts })=>{
+ */ export const deployAccounts = (numberOfAccounts, logger, deployOptions)=>async ({ wallet, initialFundedAccounts })=>{
         if (initialFundedAccounts.length < numberOfAccounts) {
             throw new Error(`Cannot deploy more than ${initialFundedAccounts.length} initial accounts.`);
         }
@@ -650,8 +689,9 @@ export async function expectMappingDelta(initialValues, fn, inputs, expectedDiff
             const accountManager = await wallet.createSchnorrAccount(deployedAccounts[i].secret, deployedAccounts[i].salt, deployedAccounts[i].signingKey);
             const deployMethod = await accountManager.getDeployMethod();
             await deployMethod.send({
-                from: AztecAddress.ZERO,
-                skipClassPublication: i !== 0
+                from: NO_FROM,
+                skipClassPublication: i !== 0,
+                ...deployOptions
             });
         }
         return {
@@ -672,7 +712,7 @@ export async function expectMappingDelta(initialValues, fn, inputs, expectedDiff
         ...instances.map((instance)=>publishInstance(wallet, instance))
     ]);
     const batch = new BatchCall(wallet, calls);
-    const txReceipt = await batch.send({
+    const { receipt: txReceipt } = await batch.send({
         from: accountsToDeploy[0]
     });
     if (waitUntilProven) {