@aztec/end-to-end 0.0.1-commit.4d3c002 → 0.0.1-commit.4d9804df

package/dest/fixtures/wait_helpers.js

@@ -0,0 +1,154 @@
+import { waitForTx } from '@aztec/aztec.js/node';
+import { INITIAL_L2_BLOCK_NUM } from '@aztec/aztec.js/protocol';
+import { promiseWithResolvers } from '@aztec/foundation/promise';
+import { retryUntil } from '@aztec/foundation/retry';
+import { testSpan } from './timing.js';
+/**
+ * Polls `node.getBlockNumber(tag)` until `opts.compare(actual, target)` holds (default `>=`). Replaces
+ * the ad-hoc `retryUntil(() => node.getBlockNumber(tag) <op> target)` polls scattered across the suite,
+ * where the node may sync forward or prune backward — the caller passes the comparator for whichever it
+ * expects.
+ * @returns The block number once the comparison holds.
+ */ export function waitForBlockNumber(node, target, opts = {}) {
+    const tag = opts.tag ?? 'proposed';
+    const compare = opts.compare ?? ((actual, target)=>actual >= target);
+    return testSpan(`wait:${tag}`, ()=>// Wrap the matched value: retryUntil treats any falsy return as "keep polling", so a legitimate
+        // match of block 0 (e.g. a freshly-pruned tip) would otherwise loop until timeout.
+        retryUntil(async ()=>{
+            const blockNumber = await node.getBlockNumber(tag);
+            return compare(blockNumber, target) ? {
+                blockNumber
+            } : undefined;
+        }, `block ${tag} ${compare} ${target}`, opts.timeout ?? 60, opts.interval ?? 0.25).then(({ blockNumber })=>blockNumber));
+}
+/** Convenience for {@link waitForBlockNumber} on the proven tip. */ export function waitForProvenBlock(node, target, opts = {}) {
+    return waitForBlockNumber(node, target, {
+        ...opts,
+        tag: 'proven'
+    });
+}
+/**
+ * Polls a single node's checkpoint number until `opts.compare(actual, target)` holds. Replaces the
+ * `retryUntil(() => node.getChainTips().then(tips => tips.<tag>.checkpoint.number <op> target))` polls
+ * duplicated across the reorg/proving tests, where the node may sync forward, prune backward, or land
+ * exactly on a value — the caller passes the comparator lambda for whichever it expects.
+ * @returns The node's checkpoint number once the comparison holds.
+ */ export function waitForNodeCheckpoint(node, target, opts = {}) {
+    const tag = opts.tag ?? 'checkpointed';
+    const compare = opts.compare ?? ((actual, target)=>actual >= target);
+    return testSpan(tag === 'proven' ? 'wait:proven-checkpoint' : 'wait:checkpoint', ()=>// Wrap the matched value: retryUntil treats any falsy return as "keep polling", so a legitimate
+        // match of checkpoint 0 (e.g. proven === 0 or checkpointed <= 1 after a prune) would otherwise
+        // loop until timeout instead of resolving.
+        retryUntil(async ()=>{
+            const checkpointNumber = await node.getCheckpointNumber(tag);
+            return compare(checkpointNumber, target) ? {
+                checkpointNumber
+            } : undefined;
+        }, `node checkpoint ${tag} ${compare} ${target}`, opts.timeout ?? 30, opts.interval ?? 0.5).then(({ checkpointNumber })=>checkpointNumber));
+}
+/** Convenience for {@link waitForNodeCheckpoint} on the proven tip. */ export function waitForNodeProvenCheckpoint(node, target, opts = {}) {
+    return waitForNodeCheckpoint(node, target, {
+        ...opts,
+        tag: 'proven'
+    });
+}
+/**
+ * Waits for all of `txHashes` to reach the desired status on `node`. The plural form of
+ * {@link waitForTx}; resolves with the receipts in input order.
+ */ export function waitForTxs(node, txHashes, opts) {
+    const optsWithInterval = {
+        ...opts,
+        interval: opts?.interval ?? 0.25
+    };
+    return testSpan('wait:tx-mined', ()=>Promise.all(txHashes.map((txHash)=>waitForTx(node, txHash, optsWithInterval))));
+}
+/**
+ * Polls `node.getBlocks` until every slot in `slots` is present among the fetched blocks' slot
+ * numbers. Replaces the hand-rolled `retryUntil` over `getBlocks(...).map(getSlot)` membership check.
+ */ export async function waitForBlocksAtSlots(node, slots, opts = {}) {
+    const from = opts.from ?? INITIAL_L2_BLOCK_NUM;
+    const limit = opts.limit ?? 10;
+    await testSpan('wait:block', ()=>retryUntil(async ()=>{
+            const blocks = await node.getBlocks(from, limit);
+            const foundSlots = blocks.map((block)=>block.header.getSlot());
+            return slots.every((slot)=>foundSlots.includes(slot)) || undefined;
+        }, `blocks at slots ${slots.join(', ')}`, opts.timeout ?? 20, opts.interval ?? 0.25));
+}
+/**
+ * Polls `node.getL2ToL1MembershipWitness(txHash, message)` until a witness is available, resolving
+ * with it. Wraps the `retryUntil` the cross-chain tests hand-roll while waiting for an L2-to-L1
+ * message's membership witness to become provable.
+ */ export function waitForL2ToL1Witness(node, txHash, message, opts = {}) {
+    return testSpan('wait:l2-to-l1-witness', ()=>retryUntil(()=>node.getL2ToL1MembershipWitness(txHash, message), `L2-to-L1 membership witness for ${txHash.toString()}`, opts.timeout ?? 30, opts.interval ?? 0.25));
+}
+/**
+ * Polls `node.getTxReceipt(txHash)` until `predicate(receipt)` holds, resolving with the receipt.
+ * Wraps the `retryUntil` that the block-building reorg tests hand-roll while waiting for a tx to
+ * transition between statuses (pruned, re-included, ...).
+ * @returns The receipt once the predicate holds.
+ */ export function waitForTxReceipt(node, txHash, predicate, opts = {}) {
+    return testSpan('wait:tx-mined', ()=>retryUntil(async ()=>{
+            const receipt = await node.getTxReceipt(txHash);
+            return predicate(receipt) ? {
+                receipt
+            } : undefined;
+        }, `tx receipt for ${txHash.toString()}`, opts.timeout ?? 30, opts.interval ?? 0.25).then(({ receipt })=>receipt));
+}
+/** Polls until `node.getTxReceipt(txHash).status === status`. Thin wrapper over {@link waitForTxReceipt}. */ export function waitForTxStatus(node, txHash, status, opts = {}) {
+    return waitForTxReceipt(node, txHash, (receipt)=>receipt.status === status, opts);
+}
+/**
+ * Polls `node.getPendingTxCount()` until `opts.compare(actual, target)` holds (default `>=`).
+ * Replaces the hand-rolled mempool-size poll in the slashing tests.
+ * @returns The pending-tx count once the comparison holds.
+ */ export function waitForPendingTxCount(node, target, opts = {}) {
+    const compare = opts.compare ?? ((actual, target)=>actual >= target);
+    return testSpan('wait:pending-tx', ()=>// Wrap the matched value: retryUntil treats any falsy return as "keep polling", so a legitimate
+        // match of 0 pending txs would otherwise loop until timeout instead of resolving.
+        retryUntil(async ()=>{
+            const count = await node.getPendingTxCount();
+            return compare(count, target) ? {
+                count
+            } : undefined;
+        }, `pending tx count ${compare} ${target}`, opts.timeout ?? 30, opts.interval ?? 0.25).then(({ count })=>count));
+}
+/**
+ * Resolves once `sequencer` reaches `state`. Subscribes to the `state-changed` event first, then (if
+ * `opts.after` is given) runs the action, then resolves immediately if the sequencer is already at
+ * `state`, otherwise waits for the transition. The listener is cleaned up on both resolve and timeout.
+ * Replaces the hand-rolled `state-changed` on/off subscriptions duplicated across the fee, cross-chain,
+ * and keystore-reload tests.
+ */ export function waitForSequencerState(sequencer, state, opts = {}) {
+    return testSpan('wait:sequencer-state', ()=>waitForSequencerStateInner(sequencer, state, opts));
+}
+async function waitForSequencerStateInner(sequencer, state, opts) {
+    const timeout = opts.timeout ?? 30000;
+    const { promise, resolve, reject } = promiseWithResolvers();
+    let settled = false;
+    const handler = (args)=>{
+        if (args.newState === state) {
+            finish(resolve);
+        }
+    };
+    const timer = setTimeout(()=>finish(()=>reject(new Error(`Timeout waiting for sequencer ${state} state`))), timeout);
+    function finish(complete) {
+        if (settled) {
+            return;
+        }
+        settled = true;
+        clearTimeout(timer);
+        sequencer.off('state-changed', handler);
+        complete();
+    }
+    sequencer.on('state-changed', handler);
+    try {
+        await opts.after?.();
+        if (sequencer.status().state === state) {
+            finish(resolve);
+        }
+        await promise;
+    } catch (err) {
+        finish(()=>{});
+        throw err;
+    }
+}

package/dest/forward-compatibility/wallet_rpc_client.d.ts

@@ -0,0 +1,7 @@
+import type { Wallet } from '@aztec/aztec.js/wallet';
+/**
+ * Creates a JSON-RPC client that connects to a remote wallet service.
+ * The returned object implements the {@link Wallet} interface, proxying all calls over HTTP to the specified URL.
+ */
+export declare function createWalletClient(url: string): Wallet;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid2FsbGV0X3JwY19jbGllbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9mb3J3YXJkLWNvbXBhdGliaWxpdHkvd2FsbGV0X3JwY19jbGllbnQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFJckQ7OztHQUdHO0FBQ0gsd0JBQWdCLGtCQUFrQixDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsTUFBTSxDQUt0RCJ9

package/dest/forward-compatibility/wallet_rpc_client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wallet_rpc_client.d.ts","sourceRoot":"","sources":["../../src/forward-compatibility/wallet_rpc_client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAIrD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAKtD"}

package/dest/forward-compatibility/wallet_rpc_client.js

@@ -0,0 +1,15 @@
+import { WalletSchema } from '@aztec/aztec.js/wallet';
+import { createSafeJsonRpcClient, makeFetch } from '@aztec/foundation/json-rpc/client';
+/**
+ * Creates a JSON-RPC client that connects to a remote wallet service.
+ * The returned object implements the {@link Wallet} interface, proxying all calls over HTTP to the specified URL.
+ */ export function createWalletClient(url) {
+    return createSafeJsonRpcClient(url, WalletSchema, {
+        namespaceMethods: 'wallet',
+        fetch: makeFetch([
+            1,
+            2,
+            3
+        ], false)
+    });
+}

package/dest/forward-compatibility/wallet_service.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env -S node --no-warnings
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid2FsbGV0X3NlcnZpY2UuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9mb3J3YXJkLWNvbXBhdGliaWxpdHkvd2FsbGV0X3NlcnZpY2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IiJ9

package/dest/forward-compatibility/wallet_service.d.ts.map

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

package/dest/forward-compatibility/wallet_service.js

@@ -0,0 +1,109 @@
+#!/usr/bin/env -S node --no-warnings
+/**
+ * Standalone entrypoint that spins up a local Aztec network (L1 + node) and exposes a {@link NodeEmbeddedWallet} over
+ * JSON-RPC.
+ *
+ * Intended for forward-compatibility testing: an **old** release image runs this script so that **new** tests can send
+ * new artifacts to old runtime code (loadContractArtifact, ACIR simulator, class-ID computation, entrypoint encoding,
+ * etc.).
+ */ import { getSchnorrAccountContractAddress } from '@aztec/accounts/schnorr';
+import { getInitialTestAccountsData } from '@aztec/accounts/testing';
+import { createLocalNetwork } from '@aztec/aztec';
+import { Fr } from '@aztec/aztec.js/fields';
+import { WalletSchema } from '@aztec/aztec.js/wallet';
+import { GrumpkinScalar } from '@aztec/foundation/curves/grumpkin';
+import { createNamespacedSafeJsonRpcServer, startHttpRpcServer } from '@aztec/foundation/json-rpc/server';
+import { createLogger } from '@aztec/foundation/log';
+import { AztecNodeApiSchema } from '@aztec/stdlib/interfaces/client';
+import { EmbeddedWallet } from '@aztec/wallets/embedded';
+const logger = createLogger('wallet-service');
+const { ETHEREUM_HOSTS = 'http://localhost:8545', NODE_PORT = '8080', WALLET_PORT = '8081' } = process.env;
+async function main() {
+    const l1RpcUrls = ETHEREUM_HOSTS.split(',').map((url)=>url.trim());
+    // Some tests (e.g. AMM) need 4 accounts but only 3 are funded via genesis. Generate deterministic keys for a 4th
+    // account so we can compute its address before network startup and include it in genesis funding. We cannot do this
+    // in the test because Wallet interface does not expose account creation functionality (only TestWallet exposes that
+    // but that's not used in forward compatibility testing).
+    const extraAccountSecret = Fr.fromHexString('0x1234567890abcdef1234567890abcdef1234567890abcdef1234567890abcdef');
+    const extraAccountSalt = Fr.ZERO;
+    const extraAccountSigningKey = GrumpkinScalar.random();
+    const extraAccountAddress = await getSchnorrAccountContractAddress(extraAccountSigningKey, extraAccountSalt, extraAccountSecret);
+    logger.info('Starting wallet service...', {
+        l1RpcUrls
+    });
+    // createLocalNetwork deploys L1 contracts, starts the node, and optionally deploys funded test accounts (when
+    // TEST_ACCOUNTS=true via env). We are not proving anything just like is done when local network is started by
+    // the `aztecStart` function. The extra account address is passed via prefundAddresses so it gets fee juice at genesis.
+    const { node, stop: stopNetwork } = await createLocalNetwork({
+        l1RpcUrls,
+        realProofs: false,
+        prefundAddresses: [
+            extraAccountAddress.toString()
+        ]
+    }, logger.info);
+    // Create an ephemeral embedded wallet backed by the local node.
+    const wallet = await EmbeddedWallet.create(node, {
+        ephemeral: true
+    });
+    // Re-register the initial test accounts so they are available via wallet.getAccounts(). createLocalNetwork deploys
+    // them onchain but uses a temporary wallet that is then stopped.
+    //
+    // We use the non-lazy import path (@aztec/accounts/testing, not /lazy) to avoid the dynamic JSON import that is
+    // incompatible with Node.js import attribute enforcement.
+    const testAccountsData = await getInitialTestAccountsData();
+    const accounts = await Promise.all(testAccountsData.map(({ secret, salt, signingKey })=>wallet.createSchnorrInitializerlessAccount(secret, salt, signingKey)));
+    // Register and deploy the 4th account.
+    const extraAccount = await wallet.createSchnorrAccount(extraAccountSecret, extraAccountSalt, extraAccountSigningKey);
+    const deployMethod = await extraAccount.getDeployMethod();
+    await deployMethod.send({
+        from: accounts[0].address
+    });
+    logger.info('Embedded wallet created', {
+        accounts: [
+            ...accounts,
+            extraAccount
+        ].map((a)=>a.address.toString())
+    });
+    // Contract artifacts are large, so allow generous body sizes for RPC requests.
+    const rpcOptions = {
+        maxBodySizeBytes: '50mb'
+    };
+    // Serve node RPC
+    const nodeRpcServer = createNamespacedSafeJsonRpcServer({
+        aztec: [
+            node,
+            AztecNodeApiSchema
+        ]
+    }, rpcOptions);
+    const nodeHttpServer = await startHttpRpcServer(nodeRpcServer, {
+        port: NODE_PORT
+    });
+    logger.info(`Node JSON-RPC server listening on port ${nodeHttpServer.port}`);
+    // Serve wallet RPC
+    const walletRpcServer = createNamespacedSafeJsonRpcServer({
+        wallet: [
+            wallet,
+            WalletSchema
+        ]
+    }, rpcOptions);
+    const walletHttpServer = await startHttpRpcServer(walletRpcServer, {
+        port: WALLET_PORT
+    });
+    logger.info(`Wallet JSON-RPC server listening on port ${walletHttpServer.port}`);
+    const shutdown = async ()=>{
+        logger.info('Shutting down...');
+        nodeHttpServer.close();
+        walletHttpServer.close();
+        await wallet.stop();
+        await stopNetwork();
+        process.exit(0);
+    };
+    // eslint-disable-next-line @typescript-eslint/no-misused-promises
+    process.once('SIGINT', shutdown);
+    // eslint-disable-next-line @typescript-eslint/no-misused-promises
+    process.once('SIGTERM', shutdown);
+}
+main().catch((err)=>{
+    logger.error('Wallet service failed to start', err);
+    process.exit(1);
+});

package/dest/install_legacy_contracts.d.cts

@@ -0,0 +1,10 @@
+#!/usr/bin/env node
+declare function cacheRoot(version: any): string;
+declare function installLegacyContracts(version: any): void;
+declare const _default: {
+    installLegacyContracts: typeof installLegacyContracts;
+    REDIRECTED: string[];
+    cacheRoot: typeof cacheRoot;
+};
+export = _default;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5zdGFsbF9sZWdhY3lfY29udHJhY3RzLmQuY3RzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2luc3RhbGxfbGVnYWN5X2NvbnRyYWN0cy5janMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IjtBQW9CQSxpQkFBUyxTQUFTLENBQUMsT0FBTyxLQUFBLFVBRXpCO0FBTUQsaUJBQVMsc0JBQXNCLENBQUMsT0FBTyxLQUFBLFFBd0N0Qzs7Ozs7O0FBRUQsa0JBQWtFIn0=

package/dest/install_legacy_contracts.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"install_legacy_contracts.d.cts","sourceRoot":"","sources":["../src/install_legacy_contracts.cjs"],"names":[],"mappings":";AAoBA,iBAAS,SAAS,CAAC,OAAO,KAAA,UAEzB;AAMD,iBAAS,sBAAsB,CAAC,OAAO,KAAA,QAwCtC;;;;;;AAED,kBAAkE"}

package/dest/legacy-jest-resolver.d.cts

@@ -0,0 +1,3 @@
+declare const _default: (request: any, options: any) => any;
+export = _default;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibGVnYWN5LWplc3QtcmVzb2x2ZXIuZC5jdHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvbGVnYWN5LWplc3QtcmVzb2x2ZXIuY2pzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7QUFrRkEsa0JBNkJDIn0=

package/dest/legacy-jest-resolver.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy-jest-resolver.d.cts","sourceRoot":"","sources":["../src/legacy-jest-resolver.cjs"],"names":[],"mappings":";AAkFA,kBA6BC"}

package/dest/multi-node/block-production/setup.d.ts

@@ -0,0 +1,97 @@
+import type { Archiver } from '@aztec/archiver';
+import type { AztecNodeConfig, AztecNodeService } from '@aztec/aztec-node';
+import { AztecAddress, EthAddress } from '@aztec/aztec.js/addresses';
+import { NO_WAIT } from '@aztec/aztec.js/contracts';
+import { generateClaimSecret } from '@aztec/aztec.js/ethereum';
+import { Fr } from '@aztec/aztec.js/fields';
+import type { Logger } from '@aztec/aztec.js/log';
+import { isL1ToL2MessageReady } from '@aztec/aztec.js/messaging';
+import { waitForTx } from '@aztec/aztec.js/node';
+import { RollupContract } from '@aztec/ethereum/contracts';
+import { waitUntilL1Timestamp } from '@aztec/ethereum/l1-tx-utils';
+import { asyncMap } from '@aztec/foundation/async-map';
+import { BlockNumber, CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { timesAsync } from '@aztec/foundation/collection';
+import { retryUntil } from '@aztec/foundation/retry';
+import { sleep } from '@aztec/foundation/sleep';
+import { executeTimeout } from '@aztec/foundation/timer';
+import { TestContract } from '@aztec/noir-test-contracts.js/Test';
+import type { SequencerEvents } from '@aztec/sequencer-client';
+import { getSlotAtTimestamp, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
+import { GasFees } from '@aztec/stdlib/gas';
+import { TxStatus } from '@aztec/stdlib/tx';
+import { jest } from '@jest/globals';
+import { sendL1ToL2Message } from '../../fixtures/l1_to_l2_messaging.js';
+import type { EndToEndContext } from '../../fixtures/utils.js';
+import { waitForBlockNumber, waitForTxs } from '../../fixtures/wait_helpers.js';
+import type { TestWallet } from '../../test-wallet/test_wallet.js';
+import { proveInteraction } from '../../test-wallet/utils.js';
+import { type BlockProposedEvent, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, MultiNodeTestContext, type MultiNodeTestOpts, type RegisteredValidator, type TrackedSequencerEvent, WIDE_SLOT_TIMING, buildMockGossipValidators } from '../multi_node_test_context.js';
+export declare const NODE_COUNT = 4;
+export declare const TX_COUNT = 10;
+/** The validator cluster + context produced by {@link setupSimpleBlockProduction}. */
+export type SimpleBlockProductionFixture = {
+    test: MultiNodeTestContext;
+    context: EndToEndContext;
+    logger: Logger;
+    validators: RegisteredValidator[];
+    nodes: AztecNodeService[];
+    from: AztecAddress;
+};
+/** State shared by the wide-slot `it`s (handles 4 validators + prover + a wallet pointed at node 0). */
+export type BlockProductionWithProverFixture = {
+    test: MultiNodeTestContext;
+    context: EndToEndContext;
+    logger: Logger;
+    rollup: RollupContract;
+    archiver: Archiver;
+    validators: RegisteredValidator[];
+    nodes: AztecNodeService[];
+    contract: TestContract;
+    wallet: TestWallet;
+    from: AztecAddress;
+    failEvents: TrackedSequencerEvent[];
+};
+/**
+ * Stands up the `block-production` validator cluster shared by the `MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING` tests
+ * (`simple`, `high_tps`): builds `nodeCount` mock-gossip validators, sets up the context with the
+ * block-production timing profile, spawns one validator node per validator, and returns the cluster. The
+ * per-test divergence (`fakeProcessingDelayPerTxMs`, `txDelayerMaxInclusionTimeIntoSlot`,
+ * min/maxTxsPerBlock, whether sequencers start eagerly, contract type) passes through `opts`. Mirrors
+ * how {@link setupBlockProductionWithProver} factors out the prover-backed setup; the test still registers its own contract.
+ */
+export declare function setupSimpleBlockProduction(opts: {
+    nodeCount: number;
+    setupOpts?: Partial<MultiNodeTestOpts>;
+    nodeOpts?: Partial<AztecNodeConfig> & {
+        dontStartSequencer?: boolean;
+    };
+}): Promise<SimpleBlockProductionFixture>;
+/**
+ * Creates validators and sets up a wide-slot test context with the pipelining timing profile and a prover
+ * node, then starts (paused) validator nodes and points the wallet at node 0. Mirrors the per-test
+ * setup from the dissolved `mbps.parallel` file. The blob-promotion and pipeline-prune suites layer their
+ * adverse-network shape on via `mockGossipSubNetworkLatency`, `maxTxsPerCheckpoint`, `clearInheritedCoinbase`,
+ * and `disableCheckpointPromotionOnFirstNode`.
+ */
+export declare function setupBlockProductionWithProver(opts: {
+    syncChainTip: 'proposed' | 'checkpointed';
+    minTxsPerBlock?: number;
+    maxTxsPerBlock?: number;
+    maxTxsPerCheckpoint?: number;
+    buildCheckpointIfEmpty?: boolean;
+    skipPushProposedBlocksToArchiver?: boolean;
+    /** Injects artificial mock-gossip propagation latency (ms) to model adverse network conditions. */
+    mockGossipSubNetworkLatency?: number;
+    /** Clears each validator node's inherited coinbase so it derives one from its own attester key. */
+    clearInheritedCoinbase?: boolean;
+    /**
+     * Disables checkpoint promotion on node 0 (`skipPromoteProposedCheckpointDuringL1Sync`), so node 0 fetches
+     * blobs during L1 sync while its peers promote their own proposed checkpoints and skip the blob fetch.
+     */
+    disableCheckpointPromotionOnFirstNode?: boolean;
+}): Promise<BlockProductionWithProverFixture>;
+/** Waits until a specific multi-block checkpoint is proven, verifying that proving succeeds with multiple-blocks-per-slot. */
+export declare function waitForProvenCheckpoint(fixture: BlockProductionWithProverFixture, targetCheckpoint: CheckpointNumber): Promise<void>;
+export { type Archiver, type AztecNodeConfig, type AztecNodeService, AztecAddress, EthAddress, NO_WAIT, generateClaimSecret, Fr, type Logger, isL1ToL2MessageReady, waitForTx, RollupContract, waitUntilL1Timestamp, asyncMap, BlockNumber, CheckpointNumber, SlotNumber, timesAsync, retryUntil, sleep, executeTimeout, TestContract, type SequencerEvents, getSlotAtTimestamp, getTimestampForSlot, GasFees, TxStatus, jest, sendL1ToL2Message, type EndToEndContext, waitForBlockNumber, waitForTxs, type TestWallet, proveInteraction, type BlockProposedEvent, WIDE_SLOT_TIMING, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, MultiNodeTestContext, type RegisteredValidator, type TrackedSequencerEvent, buildMockGossipValidators, };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9tdWx0aS1ub2RlL2Jsb2NrLXByb2R1Y3Rpb24vc2V0dXAudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDaEQsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLGdCQUFnQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDM0UsT0FBTyxFQUFFLFlBQVksRUFBRSxVQUFVLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNyRSxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDcEQsT0FBTyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDL0QsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQzVDLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2xELE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ2pFLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNqRCxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDM0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDbkUsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ3ZELE9BQU8sRUFBRSxXQUFXLEVBQUUsZ0JBQWdCLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDNUYsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBQzFELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNyRCxPQUFPLEVBQUUsS0FBSyxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDaEQsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ3pELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUNsRSxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUMvRCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUN0RixPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDNUMsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRTVDLE9BQU8sRUFBRSxJQUFJLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFFckMsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sc0NBQXNDLENBQUM7QUFFekUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDL0QsT0FBTyxFQUFFLGtCQUFrQixFQUFFLFVBQVUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ2hGLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBQ25FLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQzlELE9BQU8sRUFDTCxLQUFLLGtCQUFrQixFQUV2Qix1Q0FBdUMsRUFDdkMsb0JBQW9CLEVBQ3BCLEtBQUssaUJBQWlCLEVBQ3RCLEtBQUssbUJBQW1CLEVBQ3hCLEtBQUsscUJBQXFCLEVBQzFCLGdCQUFnQixFQUNoQix5QkFBeUIsRUFDMUIsTUFBTSwrQkFBK0IsQ0FBQztBQUl2QyxlQUFPLE1BQU0sVUFBVSxJQUFJLENBQUM7QUFPNUIsZUFBTyxNQUFNLFFBQVEsS0FBSyxDQUFDO0FBRTNCLHNGQUFzRjtBQUN0RixNQUFNLE1BQU0sNEJBQTRCLEdBQUc7SUFDekMsSUFBSSxFQUFFLG9CQUFvQixDQUFDO0lBQzNCLE9BQU8sRUFBRSxlQUFlLENBQUM7SUFDekIsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLFVBQVUsRUFBRSxtQkFBbUIsRUFBRSxDQUFDO0lBQ2xDLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxDQUFDO0lBQzFCLElBQUksRUFBRSxZQUFZLENBQUM7Q0FDcEIsQ0FBQztBQUVGLHdHQUF3RztBQUN4RyxNQUFNLE1BQU0sZ0NBQWdDLEdBQUc7SUFDN0MsSUFBSSxFQUFFLG9CQUFvQixDQUFDO0lBQzNCLE9BQU8sRUFBRSxlQUFlLENBQUM7SUFDekIsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLE1BQU0sRUFBRSxjQUFjLENBQUM7SUFDdkIsUUFBUSxFQUFFLFFBQVEsQ0FBQztJQUNuQixVQUFVLEVBQUUsbUJBQW1CLEVBQUUsQ0FBQztJQUNsQyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsQ0FBQztJQUMxQixRQUFRLEVBQUUsWUFBWSxDQUFDO0lBQ3ZCLE1BQU0sRUFBRSxVQUFVLENBQUM7SUFDbkIsSUFBSSxFQUFFLFlBQVksQ0FBQztJQUNuQixVQUFVLEVBQUUscUJBQXFCLEVBQUUsQ0FBQztDQUNyQyxDQUFDO0FBaUNGOzs7Ozs7O0dBT0c7QUFDSCx3QkFBZ0IsMEJBQTBCLENBQUMsSUFBSSxFQUFFO0lBQy9DLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsU0FBUyxDQUFDLEVBQUUsT0FBTyxDQUFDLGlCQUFpQixDQUFDLENBQUM7SUFDdkMsUUFBUSxDQUFDLEVBQUUsT0FBTyxDQUFDLGVBQWUsQ0FBQyxHQUFHO1FBQUUsa0JBQWtCLENBQUMsRUFBRSxPQUFPLENBQUE7S0FBRSxDQUFDO0NBQ3hFLEdBQUcsT0FBTyxDQUFDLDRCQUE0QixDQUFDLENBTXhDO0FBRUQ7Ozs7OztHQU1HO0FBQ0gsd0JBQXNCLDhCQUE4QixDQUFDLElBQUksRUFBRTtJQUN6RCxZQUFZLEVBQUUsVUFBVSxHQUFHLGNBQWMsQ0FBQztJQUMxQyxjQUFjLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDeEIsY0FBYyxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3hCLG1CQUFtQixDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQzdCLHNCQUFzQixDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQ2pDLGdDQUFnQyxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQzNDLG1HQUFtRztJQUNuRywyQkFBMkIsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNyQyxtR0FBbUc7SUFDbkcsc0JBQXNCLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDakM7OztPQUdHO0lBQ0gscUNBQXFDLENBQUMsRUFBRSxPQUFPLENBQUM7Q0FDakQsR0FBRyxPQUFPLENBQUMsZ0NBQWdDLENBQUMsQ0E4QzVDO0FBRUQsOEhBQThIO0FBQzlILHdCQUFzQix1QkFBdUIsQ0FDM0MsT0FBTyxFQUFFLGdDQUFnQyxFQUN6QyxnQkFBZ0IsRUFBRSxnQkFBZ0IsaUJBdUJuQztBQUVELE9BQU8sRUFDTCxLQUFLLFFBQVEsRUFDYixLQUFLLGVBQWUsRUFDcEIsS0FBSyxnQkFBZ0IsRUFDckIsWUFBWSxFQUNaLFVBQVUsRUFDVixPQUFPLEVBQ1AsbUJBQW1CLEVBQ25CLEVBQUUsRUFDRixLQUFLLE1BQU0sRUFDWCxvQkFBb0IsRUFDcEIsU0FBUyxFQUNULGNBQWMsRUFDZCxvQkFBb0IsRUFDcEIsUUFBUSxFQUNSLFdBQVcsRUFDWCxnQkFBZ0IsRUFDaEIsVUFBVSxFQUNWLFVBQVUsRUFDVixVQUFVLEVBQ1YsS0FBSyxFQUNMLGNBQWMsRUFDZCxZQUFZLEVBQ1osS0FBSyxlQUFlLEVBQ3BCLGtCQUFrQixFQUNsQixtQkFBbUIsRUFDbkIsT0FBTyxFQUNQLFFBQVEsRUFDUixJQUFJLEVBQ0osaUJBQWlCLEVBQ2pCLEtBQUssZUFBZSxFQUNwQixrQkFBa0IsRUFDbEIsVUFBVSxFQUNWLEtBQUssVUFBVSxFQUNmLGdCQUFnQixFQUNoQixLQUFLLGtCQUFrQixFQUN2QixnQkFBZ0IsRUFDaEIsdUNBQXVDLEVBQ3ZDLG9CQUFvQixFQUNwQixLQUFLLG1CQUFtQixFQUN4QixLQUFLLHFCQUFxQixFQUMxQix5QkFBeUIsR0FDMUIsQ0FBQyJ9

package/dest/multi-node/block-production/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/multi-node/block-production/setup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC5F,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AACtF,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAEzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EACL,KAAK,kBAAkB,EAEvB,uCAAuC,EACvC,oBAAoB,EACpB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,gBAAgB,EAChB,yBAAyB,EAC1B,MAAM,+BAA+B,CAAC;AAIvC,eAAO,MAAM,UAAU,IAAI,CAAC;AAO5B,eAAO,MAAM,QAAQ,KAAK,CAAC;AAE3B,sFAAsF;AACtF,MAAM,MAAM,4BAA4B,GAAG;IACzC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,OAAO,EAAE,eAAe,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,IAAI,EAAE,YAAY,CAAC;CACpB,CAAC;AAEF,wGAAwG;AACxG,MAAM,MAAM,gCAAgC,GAAG;IAC7C,IAAI,EAAE,oBAAoB,CAAC;IAC3B,OAAO,EAAE,eAAe,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,cAAc,CAAC;IACvB,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,UAAU,CAAC;IACnB,IAAI,EAAE,YAAY,CAAC;IACnB,UAAU,EAAE,qBAAqB,EAAE,CAAC;CACrC,CAAC;AAiCF;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACvC,QAAQ,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG;QAAE,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CACxE,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAMxC;AAED;;;;;;GAMG;AACH,wBAAsB,8BAA8B,CAAC,IAAI,EAAE;IACzD,YAAY,EAAE,UAAU,GAAG,cAAc,CAAC;IAC1C,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,gCAAgC,CAAC,EAAE,OAAO,CAAC;IAC3C,mGAAmG;IACnG,2BAA2B,CAAC,EAAE,MAAM,CAAC;IACrC,mGAAmG;IACnG,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC;;;OAGG;IACH,qCAAqC,CAAC,EAAE,OAAO,CAAC;CACjD,GAAG,OAAO,CAAC,gCAAgC,CAAC,CA8C5C;AAED,8HAA8H;AAC9H,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,gCAAgC,EACzC,gBAAgB,EAAE,gBAAgB,iBAuBnC;AAED,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,YAAY,EACZ,UAAU,EACV,OAAO,EACP,mBAAmB,EACnB,EAAE,EACF,KAAK,MAAM,EACX,oBAAoB,EACpB,SAAS,EACT,cAAc,EACd,oBAAoB,EACpB,QAAQ,EACR,WAAW,EACX,gBAAgB,EAChB,UAAU,EACV,UAAU,EACV,UAAU,EACV,KAAK,EACL,cAAc,EACd,YAAY,EACZ,KAAK,eAAe,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,iBAAiB,EACjB,KAAK,eAAe,EACpB,kBAAkB,EAClB,UAAU,EACV,KAAK,UAAU,EACf,gBAAgB,EAChB,KAAK,kBAAkB,EACvB,gBAAgB,EAChB,uCAAuC,EACvC,oBAAoB,EACpB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,yBAAyB,GAC1B,CAAC"}

package/dest/multi-node/block-production/setup.js

@@ -0,0 +1,158 @@
+import { AztecAddress, EthAddress } from '@aztec/aztec.js/addresses';
+import { NO_WAIT } from '@aztec/aztec.js/contracts';
+import { generateClaimSecret } from '@aztec/aztec.js/ethereum';
+import { Fr } from '@aztec/aztec.js/fields';
+import { isL1ToL2MessageReady } from '@aztec/aztec.js/messaging';
+import { waitForTx } from '@aztec/aztec.js/node';
+import { RollupContract } from '@aztec/ethereum/contracts';
+import { waitUntilL1Timestamp } from '@aztec/ethereum/l1-tx-utils';
+import { asyncMap } from '@aztec/foundation/async-map';
+import { BlockNumber, CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { timesAsync } from '@aztec/foundation/collection';
+import { retryUntil } from '@aztec/foundation/retry';
+import { sleep } from '@aztec/foundation/sleep';
+import { executeTimeout } from '@aztec/foundation/timer';
+import { TestContract } from '@aztec/noir-test-contracts.js/Test';
+import { getSlotAtTimestamp, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
+import { GasFees } from '@aztec/stdlib/gas';
+import { TxStatus } from '@aztec/stdlib/tx';
+import { jest } from '@jest/globals';
+import { sendL1ToL2Message } from '../../fixtures/l1_to_l2_messaging.js';
+import { testSpan } from '../../fixtures/timing.js';
+import { waitForBlockNumber, waitForTxs } from '../../fixtures/wait_helpers.js';
+import { proveInteraction } from '../../test-wallet/utils.js';
+import { MOCK_GOSSIP_MULTI_VALIDATOR_OPTS, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, MultiNodeTestContext, WIDE_SLOT_TIMING, buildMockGossipValidators } from '../multi_node_test_context.js';
+jest.setTimeout(1000 * 60 * 20);
+export const NODE_COUNT = 4;
+// Send enough transactions to trigger multiple blocks within a checkpoint assuming 2 txs per block.
+// If we start including txs at the 2nd block of a checkpoint, we can ensure a 3-block checkpoint
+// if we produce 10 txs:
+// - Checkpoint 1: Block 1 (0 txs), Block 2 (2 txs), Block 3 (2 txs)
+// - Checkpoint 2: Block 1 (2 txs), Block 2 (2 txs), Block 3 (2 txs)
+export const TX_COUNT = 10;
+/** Shared spine: builds N mock-gossip validators, sets up the context, spawns one node per validator. */ async function buildValidatorCluster(opts) {
+    const validators = buildMockGossipValidators(opts.nodeCount);
+    const test = await MultiNodeTestContext.setup({
+        ...opts.setupOpts,
+        initialValidators: validators
+    });
+    const { context, logger } = test;
+    const from = context.accounts[0];
+    logger.warn(`Initial setup complete. Starting ${opts.nodeCount} validator nodes.`);
+    const nodes = await asyncMap(validators, ({ privateKey }, i)=>test.createValidatorNode([
+            privateKey
+        ], typeof opts.nodeOpts === 'function' ? opts.nodeOpts(i) : {
+            ...opts.nodeOpts
+        }));
+    logger.warn(`Started ${opts.nodeCount} validator nodes.`, {
+        validators: validators.map((v)=>v.attester.toString())
+    });
+    return {
+        test,
+        context,
+        logger,
+        validators,
+        nodes,
+        from
+    };
+}
+/**
+ * Stands up the `block-production` validator cluster shared by the `MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING` tests
+ * (`simple`, `high_tps`): builds `nodeCount` mock-gossip validators, sets up the context with the
+ * block-production timing profile, spawns one validator node per validator, and returns the cluster. The
+ * per-test divergence (`fakeProcessingDelayPerTxMs`, `txDelayerMaxInclusionTimeIntoSlot`,
+ * min/maxTxsPerBlock, whether sequencers start eagerly, contract type) passes through `opts`. Mirrors
+ * how {@link setupBlockProductionWithProver} factors out the prover-backed setup; the test still registers its own contract.
+ */ export function setupSimpleBlockProduction(opts) {
+    return buildValidatorCluster({
+        nodeCount: opts.nodeCount,
+        setupOpts: {
+            ...MOCK_GOSSIP_MULTI_VALIDATOR_OPTS,
+            ...MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING,
+            ...opts.setupOpts
+        },
+        nodeOpts: opts.nodeOpts
+    });
+}
+/**
+ * Creates validators and sets up a wide-slot test context with the pipelining timing profile and a prover
+ * node, then starts (paused) validator nodes and points the wallet at node 0. Mirrors the per-test
+ * setup from the dissolved `mbps.parallel` file. The blob-promotion and pipeline-prune suites layer their
+ * adverse-network shape on via `mockGossipSubNetworkLatency`, `maxTxsPerCheckpoint`, `clearInheritedCoinbase`,
+ * and `disableCheckpointPromotionOnFirstNode`.
+ */ export async function setupBlockProductionWithProver(opts) {
+    const { syncChainTip = 'checkpointed', clearInheritedCoinbase = false, disableCheckpointPromotionOnFirstNode = false, ...setupOpts } = opts;
+    // WIDE_SLOT_TIMING is the wide 72s/12s pipelining cadence (see A-914 on why the tighter 36s/4s breaks
+    // non-proposer nodes); the JSDoc on the profile carries the full rationale.
+    const { test, context, logger, validators, nodes, from } = await buildValidatorCluster({
+        nodeCount: NODE_COUNT,
+        setupOpts: {
+            ...WIDE_SLOT_TIMING,
+            numberOfAccounts: 0,
+            mockGossipSubNetwork: true,
+            startProverNode: true,
+            ...setupOpts,
+            pxeOpts: {
+                syncChainTip
+            },
+            skipInitialSequencer: true,
+            inboxLag: 2
+        },
+        nodeOpts: (index)=>({
+                dontStartSequencer: true,
+                ...clearInheritedCoinbase ? {
+                    coinbase: undefined
+                } : {},
+                ...disableCheckpointPromotionOnFirstNode && index === 0 ? {
+                    skipPromoteProposedCheckpointDuringL1Sync: true
+                } : {}
+            })
+    });
+    const { rollup } = test;
+    const wallet = context.wallet;
+    const { failEvents } = test.watchNodeSequencerEvents(nodes);
+    // Point the wallet at a validator node. The initial node-0 has all validator keys in its config,
+    // so it rejects block proposals from validators thinking they come from itself. By redirecting
+    // the wallet to a validator node, the PXE correctly tracks proposed blocks.
+    wallet.updateNode(nodes[0]);
+    const archiver = nodes[0].getBlockSource();
+    // Register contract for sending txs.
+    const contract = await test.registerTestContract(wallet);
+    logger.warn(`Test setup completed.`, {
+        validators: validators.map((v)=>v.attester.toString())
+    });
+    return {
+        test,
+        context,
+        logger,
+        rollup,
+        archiver,
+        validators,
+        nodes,
+        contract,
+        wallet,
+        from,
+        failEvents
+    };
+}
+/** Waits until a specific multi-block checkpoint is proven, verifying that proving succeeds with multiple-blocks-per-slot. */ export async function waitForProvenCheckpoint(fixture, targetCheckpoint) {
+    const { test, nodes, logger, failEvents } = fixture;
+    test.assertNoFailuresFromSequencers(failEvents);
+    logger.warn(`Stopping validator sequencers before waiting for checkpoint ${targetCheckpoint} to be proven`);
+    await Promise.all(nodes.map((n)=>n.getSequencer()?.stop()));
+    // With the sequencers stopped, no further blocks are produced, so waiting out the rest of the epoch in
+    // wall-clock is dead time. Warp the L1 clock forward past the epoch boundary so the epoch containing
+    // targetCheckpoint closes and the fake prover can prove+submit it; the subsequent wait then only covers
+    // the (real-time) proving+submission. A single next-epoch jump stays inside the proof-submission window
+    // (proofSubmissionEpochs >= 1), so it never crosses the submission deadline. Skipped if already proven,
+    // and forward-only since advanceToNextEpoch never rewinds.
+    const { proven } = await test.context.cheatCodes.rollup.getTips();
+    if (proven < targetCheckpoint) {
+        await testSpan('warp:proven-checkpoint-epoch', ()=>test.context.cheatCodes.rollup.advanceToNextEpoch());
+    }
+    const provenTimeout = test.L2_SLOT_DURATION_IN_S * test.epochDuration * 4;
+    logger.warn(`Waiting for checkpoint ${targetCheckpoint} to be proven (timeout=${provenTimeout}s)`);
+    await test.waitUntilProvenCheckpointNumber(targetCheckpoint, provenTimeout);
+    logger.warn(`Proven checkpoint advanced to ${test.monitor.provenCheckpointNumber}`);
+}
+export { AztecAddress, EthAddress, NO_WAIT, generateClaimSecret, Fr, isL1ToL2MessageReady, waitForTx, RollupContract, waitUntilL1Timestamp, asyncMap, BlockNumber, CheckpointNumber, SlotNumber, timesAsync, retryUntil, sleep, executeTimeout, TestContract, getSlotAtTimestamp, getTimestampForSlot, GasFees, TxStatus, jest, sendL1ToL2Message, waitForBlockNumber, waitForTxs, proveInteraction, WIDE_SLOT_TIMING, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, MultiNodeTestContext, buildMockGossipValidators };