@aztec/end-to-end 0.0.1-commit.96dac018d → 0.0.1-commit.9a89641

package/dest/single-node/fees/fees_test.js

@@ -0,0 +1,344 @@
+import { BatchCall } from '@aztec/aztec.js/contracts';
+import { Fr } from '@aztec/aztec.js/fields';
+import { createLogger } from '@aztec/aztec.js/log';
+import { FeeJuiceContract } from '@aztec/aztec.js/protocol';
+import { getTokenAllowedSetupFunctions } from '@aztec/aztec/testing';
+import { createExtendedL1Client } from '@aztec/ethereum/client';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { sleep } from '@aztec/foundation/sleep';
+import { TestERC20Abi } from '@aztec/l1-artifacts';
+import { FPCContract } from '@aztec/noir-contracts.js/FPC';
+import { SponsoredFPCContract } from '@aztec/noir-contracts.js/SponsoredFPC';
+import { TokenContract as BananaCoin } from '@aztec/noir-contracts.js/Token';
+import { getContractInstanceFromInstantiationParams } from '@aztec/stdlib/contract';
+import { Gas, GasSettings } from '@aztec/stdlib/gas';
+import { getContract } from 'viem';
+import { L1_DIRECT_WRITE_ACCOUNT_INDEX, MNEMONIC, getPaddedMaxFeesPerGas } from '../../fixtures/fixtures.js';
+import { ensureAuthRegistryPublished, setup } from '../../fixtures/setup.js';
+import { testSpan } from '../../fixtures/timing.js';
+import { mintTokensToPrivate } from '../../fixtures/token_utils.js';
+import { getBalancesFn, setupSponsoredFPC } from '../../fixtures/utils.js';
+import { FeeJuicePortalTestingHarnessFactory } from '../../shared/gas_portal_test_harness.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+// Fixed deploy salts so BananaCoin and its BananaFPC land at deterministic addresses given the FPC
+// admin. This lets the BananaFPC's fee-juice balance be seeded at genesis (see `FeesTest.setup`)
+// instead of bridged from L1 during setup — the address must be known before genesis is computed.
+const BANANA_COIN_SALT = new Fr(0xba4a4a);
+const BANANA_FPC_SALT = new Fr(0xfacade);
+const BANANA_COIN_CONSTRUCTOR_ARGS = [
+    'BC',
+    'BC',
+    18n
+];
+/**
+ * Computes the deterministic BananaCoin and BananaFPC instances for the given admin/deployer, matching
+ * what {@link FeesTest.applyDeployBananaToken} and {@link FeesTest.applyFPCSetup} deploy with the fixed
+ * salts above. Used both to seed the BananaFPC's fee juice at genesis and to assert the deployed
+ * addresses match the seeded one.
+ */ async function computeBananaContractAddresses(admin) {
+    const bananaCoin = await getContractInstanceFromInstantiationParams(BananaCoin.artifact, {
+        salt: BANANA_COIN_SALT,
+        constructorArgs: [
+            admin,
+            ...BANANA_COIN_CONSTRUCTOR_ARGS
+        ],
+        deployer: admin
+    });
+    const bananaFPC = await getContractInstanceFromInstantiationParams(FPCContract.artifact, {
+        salt: BANANA_FPC_SALT,
+        constructorArgs: [
+            bananaCoin.address,
+            admin
+        ],
+        deployer: admin
+    });
+    return {
+        bananaCoinAddress: bananaCoin.address,
+        bananaFPCAddress: bananaFPC.address
+    };
+}
+/**
+ * Test fixture for testing fees. Provides the following setup steps:
+ * InitialAccounts: Initializes 3 Schnorr account contracts.
+ * PublicDeployAccounts: Deploys the accounts publicly.
+ * DeployFeeJuice: Deploys the Fee Juice contract.
+ * FPCSetup: Deploys BananaCoin and FPC contracts; the FPC's fee juice is seeded at genesis.
+ * SponsoredFPCSetup: Registers the Sponsored FPC contract, whose fee juice is seeded at genesis.
+ * FundAlice: Mints private and public bananas to Alice.
+ * SetupSubscription: Deploys a counter contract and a subscription contract, and mints Fee Juice to the subscription contract.
+ *
+ * The fee-domain harness over the single-node topology: extends {@link SingleNodeTestContext} so it
+ * reuses the base node tracking / chain monitor / teardown machinery, but builds its environment with
+ * the bespoke fee opts below (prover node, sponsored-FPC funding, token allowlist) rather than the
+ * base's default node config, and layers the fee-domain setup (FPC, fee juice, banana token) on top.
+ */ export class FeesTest extends SingleNodeTestContext {
+    numberOfAccounts;
+    setupOptions;
+    accounts;
+    aztecNode;
+    aztecNodeAdmin;
+    cheatCodes;
+    wallet;
+    aliceAddress;
+    bobAddress;
+    sequencerAddress;
+    coinbase;
+    fpcAdmin;
+    gasSettings;
+    /** The base's {@link SingleNodeTestContext.rollup}, exposed under the fee suite's historical name. */ rollupContract;
+    feeJuiceContract;
+    bananaCoin;
+    bananaFPC;
+    sponsoredFPC;
+    counterContract;
+    subscriptionContract;
+    feeJuiceBridgeTestHarness;
+    getCoinbaseBalance;
+    getCoinbaseSequencerRewards;
+    getGasBalanceFn;
+    getBananaPublicBalanceFn;
+    getBananaPrivateBalanceFn;
+    getProverFee;
+    getCommittedProverFee;
+    getCommittedBurn;
+    ALICE_INITIAL_BANANAS;
+    SUBSCRIPTION_AMOUNT;
+    APP_SPONSORED_TX_GAS_LIMIT;
+    testName;
+    constructor(testName, numberOfAccounts = 3, setupOptions = {}){
+        super(), this.numberOfAccounts = numberOfAccounts, this.setupOptions = setupOptions, this.accounts = [], this.ALICE_INITIAL_BANANAS = BigInt(1e22), this.SUBSCRIPTION_AMOUNT = BigInt(1e19), this.APP_SPONSORED_TX_GAS_LIMIT = BigInt(10e9);
+        if (!numberOfAccounts) {
+            throw new Error('There must be at least 1 initial account.');
+        }
+        setupOptions.coinbase ??= EthAddress.random();
+        this.coinbase = setupOptions.coinbase;
+        this.testName = testName;
+        this.logger = createLogger(`e2e:e2e_fees:${testName}`);
+    }
+    async setup(opts = {}) {
+        this.logger.verbose('Setting up fresh context...');
+        // Token allowlist entries are test-only: FPC-based fee payment with custom tokens won't work on mainnet alpha.
+        const tokenAllowList = await getTokenAllowedSetupFunctions();
+        const context = await setup(this.numberOfAccounts, {
+            startProverNode: true,
+            ...this.setupOptions,
+            ...opts,
+            fundSponsoredFPC: true,
+            // Seed the BananaFPC's fee juice at genesis instead of bridging it from L1 in applyFPCSetup. The
+            // FPC admin is the first account, so its address is deterministic once the accounts are generated.
+            computeExtraGenesisFundedAddresses: async (defaultAccounts)=>[
+                    (await computeBananaContractAddresses(defaultAccounts[0].address)).bananaFPCAddress
+                ],
+            l1ContractsArgs: {
+                ...this.setupOptions
+            },
+            txPublicSetupAllowListExtend: [
+                ...this.setupOptions.txPublicSetupAllowListExtend ?? [],
+                ...tokenAllowList
+            ]
+        });
+        // Reuse the base context machinery (rollup, epoch cache, chain monitor, node tracking, teardown)
+        // over the environment built above. Restore the FeesTest-named logger afterwards, since
+        // hydrateFromContext repoints `this.logger` at the context logger.
+        await this.hydrateFromContext(context);
+        this.logger = createLogger(`e2e:e2e_fees:${this.testName}`);
+        this.rollupContract = this.rollup;
+        await this.applyBaseSetup();
+    }
+    async catchUpProvenChain() {
+        await testSpan('wait:proven-checkpoint', async ()=>{
+            const bn = await this.aztecNode.getBlockNumber();
+            while(await this.aztecNode.getBlockNumber('proven') < bn){
+                await sleep(1000);
+            }
+        });
+    }
+    /** Warps L1 to the next epoch boundary so the current epoch closes and can be proven. */ async advanceToNextEpoch() {
+        await testSpan('warp:proven-checkpoint-epoch', ()=>this.cheatCodes.rollup.advanceToNextEpoch());
+    }
+    /** Advances to the next epoch and waits for the proven chain to catch up, so all prior fees are paid out. */ async waitForEpochProven() {
+        await this.advanceToNextEpoch();
+        await this.catchUpProvenChain();
+    }
+    async getBlockRewards() {
+        const blockReward = await this.rollupContract.getCheckpointReward();
+        const rewardConfig = await this.rollupContract.getRewardConfig();
+        const balance = await this.feeJuiceBridgeTestHarness.getL1FeeJuiceBalance(rewardConfig.rewardDistributor);
+        const toDistribute = balance > blockReward ? blockReward : balance;
+        const sequencerBlockRewards = toDistribute * BigInt(rewardConfig.sequencerBps) / 10000n;
+        const proverBlockRewards = toDistribute - sequencerBlockRewards;
+        return {
+            sequencerBlockRewards,
+            proverBlockRewards
+        };
+    }
+    async mintAndBridgeFeeJuice(minter, recipient) {
+        const claim = await this.feeJuiceBridgeTestHarness.prepareTokensOnL1(recipient);
+        const { claimSecret: secret, messageLeafIndex: index } = claim;
+        await testSpan('setup:bridge', ()=>this.feeJuiceContract.methods.claim(recipient, claim.claimAmount, secret, index).send({
+                from: minter
+            }));
+    }
+    /** Alice mints bananaCoin tokens privately to the target address and redeems them. */ async mintPrivateBananas(amount, address) {
+        const { result: balanceBefore } = await this.bananaCoin.methods.balance_of_private(address).simulate({
+            from: address
+        });
+        await testSpan('tx:mint', ()=>mintTokensToPrivate(this.bananaCoin, this.aliceAddress, address, amount));
+        const { result: balanceAfter } = await this.bananaCoin.methods.balance_of_private(address).simulate({
+            from: address
+        });
+        expect(balanceAfter).toEqual(balanceBefore + amount);
+    }
+    async applyBaseSetup() {
+        await this.applyInitialAccounts();
+        await this.applyEnsureAuthRegistryPublished();
+        await this.applySetupFeeJuice();
+        await this.applyDeployBananaToken();
+    }
+    async applyEnsureAuthRegistryPublished() {
+        this.logger.info('Ensuring AuthRegistry published');
+        await ensureAuthRegistryPublished(this.wallet, this.aliceAddress);
+    }
+    async applyInitialAccounts() {
+        this.logger.info('Applying initial accounts setup');
+        this.wallet = this.context.wallet;
+        this.aztecNode = this.context.aztecNodeService;
+        this.aztecNodeAdmin = this.context.aztecNodeService;
+        this.gasSettings = GasSettings.fallback({
+            gasLimits: Gas.from((await this.aztecNode.getNodeInfo()).txsLimits.gas),
+            maxFeesPerGas: await getPaddedMaxFeesPerGas(this.aztecNode)
+        });
+        this.cheatCodes = this.context.cheatCodes;
+        this.accounts = this.context.accounts;
+        this.accounts.forEach((a, i)=>this.logger.verbose(`Account ${i} address: ${a}`));
+        [this.aliceAddress, this.bobAddress, this.sequencerAddress] = this.accounts.slice(0, 3);
+        // We set Alice as the FPC admin to avoid the need for deployment of another account.
+        this.fpcAdmin = this.aliceAddress;
+        this.feeJuiceContract = FeeJuiceContract.withWallet(this.wallet);
+    }
+    async applySetupFeeJuice() {
+        this.logger.info('Applying fee juice setup');
+        this.feeJuiceContract = FeeJuiceContract.withWallet(this.wallet);
+        this.getGasBalanceFn = getBalancesFn('⛽', this.feeJuiceContract.methods.balance_of_public, this.logger);
+        this.feeJuiceBridgeTestHarness = await FeeJuicePortalTestingHarnessFactory.create({
+            aztecNode: this.context.aztecNodeService,
+            aztecNodeAdmin: this.context.aztecNodeService,
+            // Bridge from a dedicated L1 account so its direct writes don't race the sequencer publisher's
+            // txs on the deployer account (see L1_DIRECT_WRITE_ACCOUNT_INDEX).
+            l1Client: createExtendedL1Client(this.context.config.l1RpcUrls, MNEMONIC, undefined, undefined, L1_DIRECT_WRITE_ACCOUNT_INDEX),
+            wallet: this.wallet,
+            logger: this.logger
+        });
+    }
+    async applyDeployBananaToken() {
+        this.logger.info('Applying deploy banana token setup');
+        const { contract: bananaCoin } = await testSpan('deploy:token', ()=>BananaCoin.deploy(this.wallet, this.aliceAddress, ...BANANA_COIN_CONSTRUCTOR_ARGS, {
+                salt: BANANA_COIN_SALT,
+                deployer: this.aliceAddress
+            }).send({
+                from: this.aliceAddress
+            }));
+        this.logger.info(`BananaCoin deployed at ${bananaCoin.address}`);
+        this.bananaCoin = bananaCoin;
+        this.getBananaPublicBalanceFn = getBalancesFn('🍌.public', this.bananaCoin.methods.balance_of_public, this.logger);
+        this.getBananaPrivateBalanceFn = getBalancesFn('🍌.private', this.bananaCoin.methods.balance_of_private, this.logger);
+    }
+    async applyFPCSetup() {
+        this.logger.info('Applying FPC setup');
+        const feeJuiceContract = this.feeJuiceBridgeTestHarness.feeJuice;
+        expect((await this.wallet.getContractMetadata(feeJuiceContract.address)).isContractPublished).toBe(true);
+        const bananaCoin = this.bananaCoin;
+        const { contract: bananaFPC } = await testSpan('deploy:fpc', ()=>FPCContract.deploy(this.wallet, bananaCoin.address, this.fpcAdmin, {
+                salt: BANANA_FPC_SALT,
+                deployer: this.aliceAddress
+            }).send({
+                from: this.aliceAddress
+            }));
+        this.logger.info(`BananaPay deployed at ${bananaFPC.address}`);
+        // The BananaFPC's fee juice is seeded at genesis (see FeesTest.setup) rather than bridged here.
+        // Assert the deploy landed at the seeded address so a params drift surfaces as a clear error rather
+        // than a downstream "insufficient fee payer balance".
+        const { bananaFPCAddress } = await computeBananaContractAddresses(this.aliceAddress);
+        if (!bananaFPC.address.equals(bananaFPCAddress)) {
+            throw new Error(`Deployed BananaFPC address ${bananaFPC.address} does not match the genesis-funded address ` + `${bananaFPCAddress}; the deterministic deploy params drifted from the genesis funding computation.`);
+        }
+        this.bananaFPC = bananaFPC;
+        const l1FeeJuiceAddress = this.feeJuiceBridgeTestHarness.l1FeeJuiceAddress;
+        this.getCoinbaseBalance = async ()=>{
+            const l1Client = createExtendedL1Client(this.context.config.l1RpcUrls, MNEMONIC);
+            const gasL1 = getContract({
+                address: l1FeeJuiceAddress.toString(),
+                abi: TestERC20Abi,
+                client: l1Client
+            });
+            return await gasL1.read.balanceOf([
+                this.coinbase.toString()
+            ]);
+        };
+        this.getCoinbaseSequencerRewards = async ()=>{
+            return await this.rollupContract.getSequencerRewards(this.coinbase);
+        };
+        this.getProverFee = async (blockNumber)=>{
+            const block = await this.aztecNode.getBlock(blockNumber);
+            // @todo @lherskind As we deal with #13601
+            // Right now the value is from `FeeLib.sol`
+            const L1_GAS_PER_EPOCH_VERIFIED = 3600000n;
+            // We round up
+            const mulDiv = (a, b, c)=>a * b / c + (a * b % c > 0n ? 1n : 0n);
+            const { baseFee } = await this.rollupContract.getL1FeesAt(block.header.globalVariables.timestamp);
+            const proverCost = mulDiv(mulDiv(L1_GAS_PER_EPOCH_VERIFIED, baseFee, BigInt(await this.rollupContract.getEpochDuration())), 1n, await this.rollupContract.getManaTarget()) + await this.rollupContract.getProvingCostPerMana();
+            const price = await this.rollupContract.getEthPerFeeAsset();
+            const mana = block.header.totalManaUsed.toBigInt();
+            return mulDiv(mana * proverCost, 10n ** 12n, price);
+        };
+        /**
+     * Reads the prover fee that the rollup actually committed for the block's checkpoint, which is what
+     * RewardLib uses to pay prover rewards. Unlike `getProverFee`, this does not re-derive the value
+     * from current L1 fees or current eth-per-fee-asset price, so it is robust to pipelined fee-asset-price
+     * drift between propose-time and reward-payout-time.
+     */ this.getCommittedProverFee = async (blockNumber)=>{
+            const block = await this.aztecNode.getBlock(blockNumber);
+            const feeHeader = await this.rollupContract.getFeeHeader(BigInt(block.checkpointNumber));
+            return feeHeader.manaUsed * feeHeader.proverCost;
+        };
+        // RewardLib computes sequencerFee = checkpointFee - burn - proverFee where burn = manaUsed * congestionCost.
+        // The fixture's typical case keeps congestionCost at zero, but reading it explicitly avoids latent bugs
+        // when test load changes excess mana.
+        this.getCommittedBurn = async (blockNumber)=>{
+            const block = await this.aztecNode.getBlock(blockNumber);
+            const feeHeader = await this.rollupContract.getFeeHeader(BigInt(block.checkpointNumber));
+            return feeHeader.manaUsed * feeHeader.congestionCost;
+        };
+    }
+    async applySponsoredFPCSetup() {
+        this.logger.info('Applying sponsored FPC setup');
+        const feeJuiceContract = this.feeJuiceBridgeTestHarness.feeJuice;
+        expect((await this.wallet.getContractMetadata(feeJuiceContract.address)).isContractPublished).toBe(true);
+        const sponsoredFPCInstance = await setupSponsoredFPC(this.wallet);
+        this.logger.info(`SponsoredFPC at ${sponsoredFPCInstance.address}`);
+        this.sponsoredFPC = SponsoredFPCContract.at(sponsoredFPCInstance.address, this.wallet);
+    }
+    async applyFundAliceWithBananas() {
+        this.logger.info('Applying fund Alice with bananas setup');
+        // Both mints are alice sends on BananaCoin touching disjoint balances, so they ride a single
+        // BatchCall tx (one proof, one slot) rather than two concurrent txs. The PXE serializes proving,
+        // so two concurrent sends would still be proven back-to-back and land in consecutive slots.
+        const { result: privateBalanceBefore } = await this.bananaCoin.methods.balance_of_private(this.aliceAddress).simulate({
+            from: this.aliceAddress
+        });
+        await testSpan('tx:mint', ()=>new BatchCall(this.wallet, [
+                this.bananaCoin.methods.mint_to_private(this.aliceAddress, this.ALICE_INITIAL_BANANAS),
+                this.bananaCoin.methods.mint_to_public(this.aliceAddress, this.ALICE_INITIAL_BANANAS)
+            ]).send({
+                from: this.aliceAddress
+            }));
+        const { result: privateBalanceAfter } = await this.bananaCoin.methods.balance_of_private(this.aliceAddress).simulate({
+            from: this.aliceAddress
+        });
+        expect(privateBalanceAfter).toEqual(privateBalanceBefore + this.ALICE_INITIAL_BANANAS);
+    }
+    async applyFundAliceWithPrivateBananas() {
+        this.logger.info('Applying fund Alice with private bananas setup');
+        await this.mintPrivateBananas(this.ALICE_INITIAL_BANANAS, this.aliceAddress);
+    }
+}

package/dest/single-node/l1-reorgs/setup.d.ts

@@ -0,0 +1,42 @@
+import type { Archiver } from '@aztec/archiver';
+import type { AztecAddress } from '@aztec/aztec.js/addresses';
+import type { Logger } from '@aztec/aztec.js/log';
+import type { AztecNode } from '@aztec/aztec.js/node';
+import type { Delayer } from '@aztec/ethereum/l1-tx-utils';
+import type { ChainMonitor } from '@aztec/ethereum/test';
+import type { TestContract } from '@aztec/noir-test-contracts.js/Test';
+import type { TxHash } from '@aztec/stdlib/tx';
+import { jest } from '@jest/globals';
+import type { EndToEndContext } from '../../fixtures/utils.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+/** Number of txs to send at the start of each reorg test to trigger multi-block checkpoints. */
+export declare const TX_COUNT = 8;
+/**
+ * The single-node + prover-node fixture shared by the L1-reorg suites (`blocks`, `messages`). Stands
+ * up a {@link SingleNodeTestContext} on the {@link FAST_REORG_TIMING} cadence (ethSlot=4s,
+ * aztecSlot=24s, block=5s, epoch=4, 32 slots/epoch) with L1 speed-ups disabled so prover/sequencer txs
+ * can be held back and reorged, registers a {@link TestContract}, and exposes the per-test handles plus
+ * a `sendTransactions` helper that pre-proves and fires `count` lightweight txs to drive multi-block
+ * checkpoints. Reorgs themselves are driven by `EthCheatCodes.reorg`/`reorgWithReplacement` at the call
+ * site. The returned object's fields are populated when `setup()` resolves; create it in `beforeEach`.
+ */
+export declare class L1ReorgsTest {
+    test: SingleNodeTestContext;
+    context: EndToEndContext;
+    logger: Logger;
+    node: AztecNode;
+    archiver: Archiver;
+    monitor: ChainMonitor;
+    proverDelayer: Delayer;
+    sequencerDelayer: Delayer;
+    contract: TestContract;
+    from: AztecAddress;
+    L1_BLOCK_TIME_IN_S: number;
+    L2_SLOT_DURATION_IN_S: number;
+    setup(): Promise<void>;
+    teardown(): Promise<void>;
+    /** Pre-proves and sends `count` txs to generate L2 activity for multi-block checkpoints. */
+    sendTransactions(count: number, offset?: number): Promise<TxHash[]>;
+}
+export { jest };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9sMS1yZW9yZ3Mvc2V0dXAudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFaEQsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFOUQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDbEQsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDdEQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDM0QsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDdkUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFL0MsT0FBTyxFQUFFLElBQUksRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUVyQyxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUcvRCxPQUFPLEVBQXFCLHFCQUFxQixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJMUYsZ0dBQWdHO0FBQ2hHLGVBQU8sTUFBTSxRQUFRLElBQUksQ0FBQztBQUUxQjs7Ozs7Ozs7R0FRRztBQUNILHFCQUFhLFlBQVk7SUFDaEIsSUFBSSxFQUFHLHFCQUFxQixDQUFDO0lBQzdCLE9BQU8sRUFBRyxlQUFlLENBQUM7SUFDMUIsTUFBTSxFQUFHLE1BQU0sQ0FBQztJQUNoQixJQUFJLEVBQUcsU0FBUyxDQUFDO0lBQ2pCLFFBQVEsRUFBRyxRQUFRLENBQUM7SUFDcEIsT0FBTyxFQUFHLFlBQVksQ0FBQztJQUN2QixhQUFhLEVBQUcsT0FBTyxDQUFDO0lBQ3hCLGdCQUFnQixFQUFHLE9BQU8sQ0FBQztJQUMzQixRQUFRLEVBQUcsWUFBWSxDQUFDO0lBQ3hCLElBQUksRUFBRyxZQUFZLENBQUM7SUFFcEIsa0JBQWtCLEVBQUcsTUFBTSxDQUFDO0lBQzVCLHFCQUFxQixFQUFHLE1BQU0sQ0FBQztJQUV6QixLQUFLLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQXlCbEM7SUFFTSxRQUFRLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUUvQjtJQUVELDRGQUE0RjtJQUMvRSxnQkFBZ0IsQ0FBQyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sU0FBSSxHQUFHLE9BQU8sQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQVUxRTtDQUNGO0FBRUQsT0FBTyxFQUFFLElBQUksRUFBRSxDQUFDIn0=

package/dest/single-node/l1-reorgs/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/single-node/l1-reorgs/setup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AACvE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAG/D,OAAO,EAAqB,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAI1F,gGAAgG;AAChG,eAAO,MAAM,QAAQ,IAAI,CAAC;AAE1B;;;;;;;;GAQG;AACH,qBAAa,YAAY;IAChB,IAAI,EAAG,qBAAqB,CAAC;IAC7B,OAAO,EAAG,eAAe,CAAC;IAC1B,MAAM,EAAG,MAAM,CAAC;IAChB,IAAI,EAAG,SAAS,CAAC;IACjB,QAAQ,EAAG,QAAQ,CAAC;IACpB,OAAO,EAAG,YAAY,CAAC;IACvB,aAAa,EAAG,OAAO,CAAC;IACxB,gBAAgB,EAAG,OAAO,CAAC;IAC3B,QAAQ,EAAG,YAAY,CAAC;IACxB,IAAI,EAAG,YAAY,CAAC;IAEpB,kBAAkB,EAAG,MAAM,CAAC;IAC5B,qBAAqB,EAAG,MAAM,CAAC;IAEzB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAyBlC;IAEM,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAE/B;IAED,4FAA4F;IAC/E,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,SAAI,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAU1E;CACF;AAED,OAAO,EAAE,IAAI,EAAE,CAAC"}

package/dest/single-node/l1-reorgs/setup.js

@@ -0,0 +1,57 @@
+import { Fr } from '@aztec/aztec.js/fields';
+import { jest } from '@jest/globals';
+import { proveAndSendTxs } from '../../test-wallet/utils.js';
+import { setupWithProver } from '../setup.js';
+import { FAST_REORG_TIMING } from '../single_node_test_context.js';
+jest.setTimeout(1000 * 60 * 20);
+/** Number of txs to send at the start of each reorg test to trigger multi-block checkpoints. */ export const TX_COUNT = 8;
+/**
+ * The single-node + prover-node fixture shared by the L1-reorg suites (`blocks`, `messages`). Stands
+ * up a {@link SingleNodeTestContext} on the {@link FAST_REORG_TIMING} cadence (ethSlot=4s,
+ * aztecSlot=24s, block=5s, epoch=4, 32 slots/epoch) with L1 speed-ups disabled so prover/sequencer txs
+ * can be held back and reorged, registers a {@link TestContract}, and exposes the per-test handles plus
+ * a `sendTransactions` helper that pre-proves and fires `count` lightweight txs to drive multi-block
+ * checkpoints. Reorgs themselves are driven by `EthCheatCodes.reorg`/`reorgWithReplacement` at the call
+ * site. The returned object's fields are populated when `setup()` resolves; create it in `beforeEach`.
+ */ export class L1ReorgsTest {
+    test;
+    context;
+    logger;
+    node;
+    archiver;
+    monitor;
+    proverDelayer;
+    sequencerDelayer;
+    contract;
+    from;
+    L1_BLOCK_TIME_IN_S;
+    L2_SLOT_DURATION_IN_S;
+    async setup() {
+        this.test = await setupWithProver({
+            ...FAST_REORG_TIMING,
+            numberOfAccounts: 1,
+            maxSpeedUpAttempts: 0,
+            cancelTxOnTimeout: false,
+            minTxsPerBlock: 0,
+            maxTxsPerBlock: 1,
+            aztecProofSubmissionEpochs: 1
+        });
+        ({ proverDelayer: this.proverDelayer, sequencerDelayer: this.sequencerDelayer, context: this.context, logger: this.logger, monitor: this.monitor, L1_BLOCK_TIME_IN_S: this.L1_BLOCK_TIME_IN_S, L2_SLOT_DURATION_IN_S: this.L2_SLOT_DURATION_IN_S } = this.test);
+        this.node = this.context.aztecNode;
+        this.archiver = this.node.getBlockSource();
+        this.from = this.context.accounts[0];
+        this.contract = await this.test.registerTestContract(this.context.wallet);
+    }
+    teardown() {
+        return this.test.teardown();
+    }
+    /** Pre-proves and sends `count` txs to generate L2 activity for multi-block checkpoints. */ async sendTransactions(count, offset = 0) {
+        this.logger.warn(`Pre-proving ${count} transactions`);
+        const txHashes = await proveAndSendTxs(this.context.wallet, count, (i)=>this.contract.methods.emit_nullifier(new Fr(offset + i + 1)), {
+            from: this.from
+        });
+        this.logger.warn(`Sent ${txHashes.length} transactions`);
+        return txHashes;
+    }
+}
+export { jest };

package/dest/single-node/partial-proofs/setup.d.ts

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+export { jest, setupWithProver, SingleNodeTestContext, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9wYXJ0aWFsLXByb29mcy9zZXR1cC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsSUFBSSxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBRXJDLE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxtQkFBbUIsRUFBRSxlQUFlLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFDL0YsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJdkUsT0FBTyxFQUFFLElBQUksRUFBRSxlQUFlLEVBQUUscUJBQXFCLEVBQUUsMEJBQTBCLEVBQUUsbUJBQW1CLEVBQUUsQ0FBQyJ9

package/dest/single-node/partial-proofs/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/single-node/partial-proofs/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAIvE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,CAAC"}

package/dest/single-node/partial-proofs/setup.js

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+jest.setTimeout(1000 * 60 * 10);
+export { jest, setupWithProver, SingleNodeTestContext, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };

package/dest/single-node/proving/setup.d.ts

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext, WORLD_STATE_CHECKPOINT_HISTORY } from '../single_node_test_context.js';
+export { jest, setupWithProver, SingleNodeTestContext, WORLD_STATE_CHECKPOINT_HISTORY, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9wcm92aW5nL3NldHVwLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxJQUFJLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFFckMsT0FBTyxFQUFFLDBCQUEwQixFQUFFLG1CQUFtQixFQUFFLGVBQWUsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUMvRixPQUFPLEVBQUUscUJBQXFCLEVBQUUsOEJBQThCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUl2RyxPQUFPLEVBQ0wsSUFBSSxFQUNKLGVBQWUsRUFDZixxQkFBcUIsRUFDckIsOEJBQThCLEVBQzlCLDBCQUEwQixFQUMxQixtQkFBbUIsR0FDcEIsQ0FBQyJ9

package/dest/single-node/proving/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/single-node/proving/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,qBAAqB,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAIvG,OAAO,EACL,IAAI,EACJ,eAAe,EACf,qBAAqB,EACrB,8BAA8B,EAC9B,0BAA0B,EAC1B,mBAAmB,GACpB,CAAC"}

package/dest/single-node/proving/setup.js

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext, WORLD_STATE_CHECKPOINT_HISTORY } from '../single_node_test_context.js';
+jest.setTimeout(1000 * 60 * 15);
+export { jest, setupWithProver, SingleNodeTestContext, WORLD_STATE_CHECKPOINT_HISTORY, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };

package/dest/single-node/recovery/setup.d.ts

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+export { jest, setupWithProver, SingleNodeTestContext, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zaW5nbGUtbm9kZS9yZWNvdmVyeS9zZXR1cC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsSUFBSSxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBRXJDLE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxtQkFBbUIsRUFBRSxlQUFlLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFDL0YsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJdkUsT0FBTyxFQUFFLElBQUksRUFBRSxlQUFlLEVBQUUscUJBQXFCLEVBQUUsMEJBQTBCLEVBQUUsbUJBQW1CLEVBQUUsQ0FBQyJ9

package/dest/single-node/recovery/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/single-node/recovery/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAIvE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,CAAC"}

package/dest/single-node/recovery/setup.js

@@ -0,0 +1,5 @@
+import { jest } from '@jest/globals';
+import { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING, setupWithProver } from '../setup.js';
+import { SingleNodeTestContext } from '../single_node_test_context.js';
+jest.setTimeout(1000 * 60 * 10);
+export { jest, setupWithProver, SingleNodeTestContext, NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING };

package/dest/single-node/setup.d.ts

@@ -0,0 +1,49 @@
+import { SingleNodeTestContext, type SingleNodeTestOpts } from './single_node_test_context.js';
+/**
+ * The single-node setup surface, organized over the prover axis (none / fake / real). Each factory is a
+ * thin wrapper over {@link SingleNodeTestContext.setup} that fixes the prover mode and the defaults that go
+ * with it; tests pick the factory matching their topology and vary it through `opts`.
+ */
+/**
+ * Proof-submission window (in epochs) so large the chain never prunes/reorgs in the test's lifetime.
+ * Tests that must keep unproven blocks alive for their whole run (no prover, or a hand-driven settler)
+ * set `aztecProofSubmissionEpochs` to this rather than picking an arbitrary large number.
+ */
+export declare const NO_REORG_SUBMISSION_EPOCHS = 1024;
+/**
+ * The "12s floor" slot cadence: a 4s L1 slot with 3 L1 slots per L2 slot, i.e. a 12s L2 slot. Shared by
+ * the proving / partial-proof suites whose bodies wait in real wall-clock for the sequencer to build
+ * empty checkpoints (one per L2 slot) and so cannot warp the clock forward. 12s is the shortest L2 slot
+ * that still fits one block per checkpoint under the default 3s block-duration timing model (which needs
+ * S >= ~8.5s); an 8s slot derives 0 blocks per checkpoint and trips the timing-config guard. Running at
+ * this floor keeps those real-time waits as short as possible.
+ */
+export declare const PROVING_SLOT_TIMING: {
+    readonly ethereumSlotDuration: 4;
+    readonly aztecSlotDurationInL1Slots: 3;
+};
+/**
+ * Single sequencer plus the context's fake in-process prover node (`realProofs: false`,
+ * `aztecProofSubmissionEpochs: 1`, `syncChainTip: 'checkpointed'`). This is exactly today's
+ * {@link SingleNodeTestContext.setup} default, used by the proving/partial-proofs/reorg/recovery suites.
+ */
+export declare function setupWithProver(opts?: SingleNodeTestOpts): Promise<SingleNodeTestContext>;
+/**
+ * Single production sequencer with **no prover node**, used by the block-building/sequencer/sync suites.
+ *
+ * Dropping the prover requires raising `aztecProofSubmissionEpochs` to a high value
+ * ({@link NO_REORG_SUBMISSION_EPOCHS}): with the context's default window of `1` and no prover producing
+ * proofs, unproven blocks get pruned out from under the test after an epoch — so the high window keeps the
+ * blocks alive. Also defaults the PXE to `syncChainTip: 'proposed'` (rather than the context's
+ * `'checkpointed'`) since these tests assert on freshly proposed, not-yet-checkpointed blocks.
+ *
+ * Defaults `aztecEpochDuration` to `32` (the production default). These tests were written against the raw
+ * `setup()` helper, which deployed with the 32-slot production epoch; the context's own default of `6`
+ * lands an epoch boundary mid-test, where proposer selection changes and the propose for the boundary slot
+ * silently reverts (no checkpoint lands, the chain stops advancing). The 32-slot epoch keeps the boundary
+ * out past the short runs these tests need. All three (`startProverNode`, the proof window, the epoch) and
+ * `pxeOpts` can be overridden via `opts` — tests that need a shorter epoch (e.g. governance signalling) set
+ * their own.
+ */
+export declare function setupBlockProducer(opts?: SingleNodeTestOpts): Promise<SingleNodeTestContext>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zaW5nbGUtbm9kZS9zZXR1cC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUscUJBQXFCLEVBQUUsS0FBSyxrQkFBa0IsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBRS9GOzs7O0dBSUc7QUFFSDs7OztHQUlHO0FBQ0gsZUFBTyxNQUFNLDBCQUEwQixPQUFPLENBQUM7QUFFL0M7Ozs7Ozs7R0FPRztBQUNILGVBQU8sTUFBTSxtQkFBbUI7OztDQUd0QixDQUFDO0FBRVg7Ozs7R0FJRztBQUNILHdCQUFnQixlQUFlLENBQUMsSUFBSSxHQUFFLGtCQUF1QixHQUFHLE9BQU8sQ0FBQyxxQkFBcUIsQ0FBQyxDQUU3RjtBQUVEOzs7Ozs7Ozs7Ozs7Ozs7O0dBZ0JHO0FBQ0gsd0JBQWdCLGtCQUFrQixDQUFDLElBQUksR0FBRSxrQkFBdUIsR0FBRyxPQUFPLENBQUMscUJBQXFCLENBQUMsQ0FRaEcifQ==

package/dest/single-node/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../src/single-node/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,KAAK,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAE/F;;;;GAIG;AAEH;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,OAAO,CAAC;AAE/C;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB;;;CAGtB,CAAC;AAEX;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,GAAE,kBAAuB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAE7F;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,GAAE,kBAAuB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAQhG"}

package/dest/single-node/setup.js

@@ -0,0 +1,56 @@
+import { SingleNodeTestContext } from './single_node_test_context.js';
+/**
+ * The single-node setup surface, organized over the prover axis (none / fake / real). Each factory is a
+ * thin wrapper over {@link SingleNodeTestContext.setup} that fixes the prover mode and the defaults that go
+ * with it; tests pick the factory matching their topology and vary it through `opts`.
+ */ /**
+ * Proof-submission window (in epochs) so large the chain never prunes/reorgs in the test's lifetime.
+ * Tests that must keep unproven blocks alive for their whole run (no prover, or a hand-driven settler)
+ * set `aztecProofSubmissionEpochs` to this rather than picking an arbitrary large number.
+ */ export const NO_REORG_SUBMISSION_EPOCHS = 1024;
+/**
+ * The "12s floor" slot cadence: a 4s L1 slot with 3 L1 slots per L2 slot, i.e. a 12s L2 slot. Shared by
+ * the proving / partial-proof suites whose bodies wait in real wall-clock for the sequencer to build
+ * empty checkpoints (one per L2 slot) and so cannot warp the clock forward. 12s is the shortest L2 slot
+ * that still fits one block per checkpoint under the default 3s block-duration timing model (which needs
+ * S >= ~8.5s); an 8s slot derives 0 blocks per checkpoint and trips the timing-config guard. Running at
+ * this floor keeps those real-time waits as short as possible.
+ */ export const PROVING_SLOT_TIMING = {
+    ethereumSlotDuration: 4,
+    aztecSlotDurationInL1Slots: 3
+};
+/**
+ * Single sequencer plus the context's fake in-process prover node (`realProofs: false`,
+ * `aztecProofSubmissionEpochs: 1`, `syncChainTip: 'checkpointed'`). This is exactly today's
+ * {@link SingleNodeTestContext.setup} default, used by the proving/partial-proofs/reorg/recovery suites.
+ */ export function setupWithProver(opts = {}) {
+    return SingleNodeTestContext.setup(opts);
+}
+/**
+ * Single production sequencer with **no prover node**, used by the block-building/sequencer/sync suites.
+ *
+ * Dropping the prover requires raising `aztecProofSubmissionEpochs` to a high value
+ * ({@link NO_REORG_SUBMISSION_EPOCHS}): with the context's default window of `1` and no prover producing
+ * proofs, unproven blocks get pruned out from under the test after an epoch — so the high window keeps the
+ * blocks alive. Also defaults the PXE to `syncChainTip: 'proposed'` (rather than the context's
+ * `'checkpointed'`) since these tests assert on freshly proposed, not-yet-checkpointed blocks.
+ *
+ * Defaults `aztecEpochDuration` to `32` (the production default). These tests were written against the raw
+ * `setup()` helper, which deployed with the 32-slot production epoch; the context's own default of `6`
+ * lands an epoch boundary mid-test, where proposer selection changes and the propose for the boundary slot
+ * silently reverts (no checkpoint lands, the chain stops advancing). The 32-slot epoch keeps the boundary
+ * out past the short runs these tests need. All three (`startProverNode`, the proof window, the epoch) and
+ * `pxeOpts` can be overridden via `opts` — tests that need a shorter epoch (e.g. governance signalling) set
+ * their own.
+ */ export function setupBlockProducer(opts = {}) {
+    return SingleNodeTestContext.setup({
+        startProverNode: false,
+        aztecProofSubmissionEpochs: NO_REORG_SUBMISSION_EPOCHS,
+        aztecEpochDuration: 32,
+        ...opts,
+        pxeOpts: {
+            syncChainTip: 'proposed',
+            ...opts.pxeOpts
+        }
+    });
+}