@aztec/end-to-end 0.0.1-commit.3895657bc → 0.0.1-commit.3a4ae741b

package/dest/test-wallet/test_wallet.js

@@ -1,14 +1,14 @@
 import { EcdsaKAccountContract, EcdsaRAccountContract } from '@aztec/accounts/ecdsa';
 import { SchnorrAccountContract } from '@aztec/accounts/schnorr';
 import { StubAccountContractArtifact, createStubAccount } from '@aztec/accounts/stub';
-import { SignerlessAccount } from '@aztec/aztec.js/account';
+import { NO_FROM } from '@aztec/aztec.js/account';
 import { SetPublicAuthwitContractInteraction, computeInnerAuthWitHashFromAction, isContractFunctionInteractionCallIntent, lookupValidity } from '@aztec/aztec.js/authorization';
 import { AccountManager } from '@aztec/aztec.js/wallet';
+import { DefaultEntrypoint } from '@aztec/entrypoints/default';
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { GrumpkinScalar } from '@aztec/foundation/curves/grumpkin';
 import { getPXEConfig } from '@aztec/pxe/config';
 import { createPXE } from '@aztec/pxe/server';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import { getContractInstanceFromInstantiationParams } from '@aztec/stdlib/contract';
 import { deriveSigningKey } from '@aztec/stdlib/keys';
 import { mergeExecutionPayloads } from '@aztec/stdlib/tx';
@@ -21,7 +21,7 @@ import { AztecNodeProxy, ProvenTx } from './utils.js';
  */ export class TestWallet extends BaseWallet {
     nodeRef;
     constructor(pxe, nodeRef){
-        super(pxe, nodeRef), this.nodeRef = nodeRef, this.accounts = new Map(), this.simulatedSimulations = false;
+        super(pxe, nodeRef), this.nodeRef = nodeRef, this.accounts = new Map(), this.simulationMode = 'kernelless';
     }
     static async create(node, overridePXEConfig, options = {
         loggers: {}
@@ -67,9 +67,6 @@ import { AztecNodeProxy, ProvenTx } from './utils.js';
     }
     async getFakeAccountDataFor(address) {
         const originalAccount = await this.getAccountFromAddress(address);
-        if (originalAccount instanceof SignerlessAccount) {
-            throw new Error(`Cannot create fake account data for SignerlessAccount at address: ${address}`);
-        }
         const originalAddress = originalAccount.getCompleteAddress();
         const contractInstance = await this.pxe.getContractInstance(originalAddress.address);
         if (!contractInstance) {
@@ -87,29 +84,19 @@ import { AztecNodeProxy, ProvenTx } from './utils.js';
     }
     accounts;
     /**
-   * Toggle for running "simulated simulations" when calling simulateTx.
-   *
-   * When this flag is true, simulateViaEntrypoint constructs a request using a fake account
-   * (and accepts contract overrides on the input) and the PXE emulates kernel effects without
-   * generating kernel witnesses. When false, simulateViaEntrypoint defers to the standard
-   * simulation path via the real account entrypoint.
-   */ simulatedSimulations;
-    enableSimulatedSimulations() {
-        this.simulatedSimulations = true;
-    }
-    disableSimulatedSimulations() {
-        this.simulatedSimulations = false;
+   * Controls how the test wallet simulates transactions:
+   * - `kernelless`: Skips kernel circuits but uses the real account contract. Default.
+   * - `kernelless-override`: Skips kernels and replaces the account with a stub that doesn't do authwit validation.
+   * - `full`: Uses real kernel circuits and real account contracts. Slow!
+   */ simulationMode;
+    setSimulationMode(mode) {
+        this.simulationMode = mode;
     }
     setMinFeePadding(value) {
         this.minFeePadding = value ?? 0.5;
     }
     getAccountFromAddress(address) {
-        let account;
-        if (address.equals(AztecAddress.ZERO)) {
-            account = new SignerlessAccount();
-        } else {
-            account = this.accounts.get(address?.toString() ?? '');
-        }
+        const account = this.accounts.get(address?.toString() ?? '');
         if (!account) {
             throw new Error(`Account not found in wallet for address: ${address}`);
         }
@@ -154,39 +141,51 @@ import { AztecNodeProxy, ProvenTx } from './utils.js';
         }
         return account.createAuthWit(intentInnerHash, chainInfo);
     }
-    /**
-   * Override simulateViaEntrypoint to use fake accounts for kernelless simulation
-   * when simulatedSimulations is enabled. Otherwise falls through to the real entrypoint path.
-   */ async simulateViaEntrypoint(executionPayload, from, feeOptions, scopes, skipTxValidation, skipFeeEnforcement) {
-        if (!this.simulatedSimulations) {
-            return super.simulateViaEntrypoint(executionPayload, from, feeOptions, scopes, skipTxValidation, skipFeeEnforcement);
-        }
+    async simulateViaEntrypoint(executionPayload, opts) {
+        const { from, feeOptions, scopes, skipTxValidation, skipFeeEnforcement } = opts;
+        const skipKernels = this.simulationMode !== 'full';
         const feeExecutionPayload = await feeOptions.walletFeePaymentMethod?.getExecutionPayload();
-        const executionOptions = {
-            txNonce: Fr.random(),
-            cancellable: this.cancellableTransactions,
-            feePaymentMethodOptions: feeOptions.accountFeePaymentMethodOptions
-        };
         const finalExecutionPayload = feeExecutionPayload ? mergeExecutionPayloads([
             feeExecutionPayload,
             executionPayload
         ]) : executionPayload;
-        const { account: fromAccount, instance, artifact } = await this.getFakeAccountDataFor(from);
         const chainInfo = await this.getChainInfo();
-        const txRequest = await fromAccount.createTxExecutionRequest(finalExecutionPayload, feeOptions.gasSettings, chainInfo, executionOptions);
-        const contractOverrides = {
-            [from.toString()]: {
-                instance,
-                artifact
+        let overrides;
+        let txRequest;
+        if (from === NO_FROM) {
+            const entrypoint = new DefaultEntrypoint();
+            txRequest = await entrypoint.createTxExecutionRequest(finalExecutionPayload, feeOptions.gasSettings, chainInfo);
+        } else {
+            const useOverride = this.simulationMode === 'kernelless-override';
+            let fromAccount;
+            if (useOverride) {
+                const { account, instance, artifact } = await this.getFakeAccountDataFor(from);
+                fromAccount = account;
+                overrides = {
+                    contracts: {
+                        [from.toString()]: {
+                            instance,
+                            artifact
+                        }
+                    }
+                };
+            } else {
+                fromAccount = await this.getAccountFromAddress(from);
             }
-        };
+            const executionOptions = {
+                txNonce: Fr.random(),
+                cancellable: this.cancellableTransactions,
+                // If from is an address, feeOptions include the way the account contract should handle the fee payment
+                feePaymentMethodOptions: feeOptions.accountFeePaymentMethodOptions
+            };
+            txRequest = await fromAccount.createTxExecutionRequest(finalExecutionPayload, feeOptions.gasSettings, chainInfo, executionOptions);
+        }
         return this.pxe.simulateTx(txRequest, {
             simulatePublic: true,
-            skipFeeEnforcement: true,
-            skipTxValidation: true,
-            overrides: {
-                contracts: contractOverrides
-            },
+            skipKernels,
+            skipFeeEnforcement,
+            skipTxValidation,
+            overrides,
             scopes
         });
     }

package/dest/test-wallet/worker_wallet_schema.d.ts

@@ -82,7 +82,7 @@ export declare const WorkerWalletSchema: {
         extraHashedArgs: any[];
         feePayer?: any;
     }>, z.ZodObject<{
-        from: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+        from: z.ZodUnion<[import("@aztec/foundation/schemas").ZodFor<AztecAddress>, z.ZodLiteral<"NO_FROM">]>;
         authWitnesses: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodArray<z.ZodType<import("@aztec/stdlib/auth-witness").AuthWitness, any, string>, "many">>;
         capsules: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodArray<z.ZodType<import("@aztec/stdlib/tx").Capsule, any, string>, "many">>;
         fee: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodObject<{
@@ -213,7 +213,7 @@ export declare const WorkerWalletSchema: {
         }>]>>;
         additionalScopes: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">>;
     }, "strip", z.ZodTypeAny, {
-        from: AztecAddress;
+        from: "NO_FROM" | AztecAddress;
         authWitnesses?: import("@aztec/stdlib/auth-witness").AuthWitness[] | undefined;
         capsules?: import("@aztec/stdlib/tx").Capsule[] | undefined;
         fee?: {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/end-to-end",
-  "version": "0.0.1-commit.3895657bc",
+  "version": "0.0.1-commit.3a4ae741b",
   "type": "module",
   "exports": "./dest/index.js",
   "inherits": [
@@ -26,45 +26,44 @@
     "formatting": "run -T prettier --check ./src && run -T eslint ./src"
   },
   "dependencies": {
-    "@aztec/accounts": "0.0.1-commit.3895657bc",
-    "@aztec/archiver": "0.0.1-commit.3895657bc",
-    "@aztec/aztec": "0.0.1-commit.3895657bc",
-    "@aztec/aztec-node": "0.0.1-commit.3895657bc",
-    "@aztec/aztec.js": "0.0.1-commit.3895657bc",
-    "@aztec/bb-prover": "0.0.1-commit.3895657bc",
-    "@aztec/bb.js": "0.0.1-commit.3895657bc",
-    "@aztec/blob-client": "0.0.1-commit.3895657bc",
-    "@aztec/blob-lib": "0.0.1-commit.3895657bc",
-    "@aztec/bot": "0.0.1-commit.3895657bc",
-    "@aztec/cli": "0.0.1-commit.3895657bc",
-    "@aztec/constants": "0.0.1-commit.3895657bc",
-    "@aztec/entrypoints": "0.0.1-commit.3895657bc",
-    "@aztec/epoch-cache": "0.0.1-commit.3895657bc",
-    "@aztec/ethereum": "0.0.1-commit.3895657bc",
-    "@aztec/foundation": "0.0.1-commit.3895657bc",
-    "@aztec/kv-store": "0.0.1-commit.3895657bc",
-    "@aztec/l1-artifacts": "0.0.1-commit.3895657bc",
-    "@aztec/merkle-tree": "0.0.1-commit.3895657bc",
-    "@aztec/node-keystore": "0.0.1-commit.3895657bc",
-    "@aztec/noir-contracts.js": "0.0.1-commit.3895657bc",
-    "@aztec/noir-noirc_abi": "0.0.1-commit.3895657bc",
-    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.3895657bc",
-    "@aztec/noir-test-contracts.js": "0.0.1-commit.3895657bc",
-    "@aztec/p2p": "0.0.1-commit.3895657bc",
-    "@aztec/protocol-contracts": "0.0.1-commit.3895657bc",
-    "@aztec/prover-client": "0.0.1-commit.3895657bc",
-    "@aztec/prover-node": "0.0.1-commit.3895657bc",
-    "@aztec/pxe": "0.0.1-commit.3895657bc",
-    "@aztec/sequencer-client": "0.0.1-commit.3895657bc",
-    "@aztec/simulator": "0.0.1-commit.3895657bc",
-    "@aztec/slasher": "0.0.1-commit.3895657bc",
-    "@aztec/stdlib": "0.0.1-commit.3895657bc",
-    "@aztec/telemetry-client": "0.0.1-commit.3895657bc",
-    "@aztec/validator-client": "0.0.1-commit.3895657bc",
-    "@aztec/validator-ha-signer": "0.0.1-commit.3895657bc",
-    "@aztec/wallet-sdk": "0.0.1-commit.3895657bc",
-    "@aztec/wallets": "0.0.1-commit.3895657bc",
-    "@aztec/world-state": "0.0.1-commit.3895657bc",
+    "@aztec/accounts": "0.0.1-commit.3a4ae741b",
+    "@aztec/archiver": "0.0.1-commit.3a4ae741b",
+    "@aztec/aztec": "0.0.1-commit.3a4ae741b",
+    "@aztec/aztec-node": "0.0.1-commit.3a4ae741b",
+    "@aztec/aztec.js": "0.0.1-commit.3a4ae741b",
+    "@aztec/bb-prover": "0.0.1-commit.3a4ae741b",
+    "@aztec/bb.js": "0.0.1-commit.3a4ae741b",
+    "@aztec/blob-client": "0.0.1-commit.3a4ae741b",
+    "@aztec/blob-lib": "0.0.1-commit.3a4ae741b",
+    "@aztec/bot": "0.0.1-commit.3a4ae741b",
+    "@aztec/cli": "0.0.1-commit.3a4ae741b",
+    "@aztec/constants": "0.0.1-commit.3a4ae741b",
+    "@aztec/entrypoints": "0.0.1-commit.3a4ae741b",
+    "@aztec/epoch-cache": "0.0.1-commit.3a4ae741b",
+    "@aztec/ethereum": "0.0.1-commit.3a4ae741b",
+    "@aztec/foundation": "0.0.1-commit.3a4ae741b",
+    "@aztec/kv-store": "0.0.1-commit.3a4ae741b",
+    "@aztec/l1-artifacts": "0.0.1-commit.3a4ae741b",
+    "@aztec/node-keystore": "0.0.1-commit.3a4ae741b",
+    "@aztec/noir-contracts.js": "0.0.1-commit.3a4ae741b",
+    "@aztec/noir-noirc_abi": "0.0.1-commit.3a4ae741b",
+    "@aztec/noir-protocol-circuits-types": "0.0.1-commit.3a4ae741b",
+    "@aztec/noir-test-contracts.js": "0.0.1-commit.3a4ae741b",
+    "@aztec/p2p": "0.0.1-commit.3a4ae741b",
+    "@aztec/protocol-contracts": "0.0.1-commit.3a4ae741b",
+    "@aztec/prover-client": "0.0.1-commit.3a4ae741b",
+    "@aztec/prover-node": "0.0.1-commit.3a4ae741b",
+    "@aztec/pxe": "0.0.1-commit.3a4ae741b",
+    "@aztec/sequencer-client": "0.0.1-commit.3a4ae741b",
+    "@aztec/simulator": "0.0.1-commit.3a4ae741b",
+    "@aztec/slasher": "0.0.1-commit.3a4ae741b",
+    "@aztec/stdlib": "0.0.1-commit.3a4ae741b",
+    "@aztec/telemetry-client": "0.0.1-commit.3a4ae741b",
+    "@aztec/validator-client": "0.0.1-commit.3a4ae741b",
+    "@aztec/validator-ha-signer": "0.0.1-commit.3a4ae741b",
+    "@aztec/wallet-sdk": "0.0.1-commit.3a4ae741b",
+    "@aztec/wallets": "0.0.1-commit.3a4ae741b",
+    "@aztec/world-state": "0.0.1-commit.3a4ae741b",
     "@iarna/toml": "^2.2.5",
     "@jest/globals": "^30.0.0",
     "@noble/curves": "=1.0.0",

package/src/bench/client_flows/client_flows_benchmark.ts

@@ -1,3 +1,4 @@
+import { NO_FROM } from '@aztec/aztec.js/account';
 import { AztecAddress } from '@aztec/aztec.js/addresses';
 import { FeeJuicePaymentMethodWithClaim } from '@aztec/aztec.js/fee';
 import { type FeePaymentMethod, PrivateFeePaymentMethod, SponsoredFeePaymentMethod } from '@aztec/aztec.js/fee';
@@ -333,7 +334,7 @@ export class ClientFlowsBenchmark {
     const claim = await this.feeJuiceBridgeTestHarness.prepareTokensOnL1(benchysAddress);
     const behchysDeployMethod = await benchysAccountManager.getDeployMethod();
     await behchysDeployMethod.send({
-      from: AztecAddress.ZERO,
+      from: NO_FROM,
       fee: { paymentMethod: new FeeJuicePaymentMethodWithClaim(benchysAddress, claim) },
     });
     // Register benchy on the user's Wallet, where we're going to be interacting from

package/src/e2e_epochs/epochs_test.ts

@@ -28,6 +28,7 @@ import { type SequencerClient, type SequencerEvents, SequencerState } from '@azt
 import { type BlockParameter, EthAddress } from '@aztec/stdlib/block';
 import { type L1RollupConstants, getProofSubmissionDeadlineTimestamp } from '@aztec/stdlib/epoch-helpers';
 import { tryStop } from '@aztec/stdlib/interfaces/server';
+import type { SlashingProtectionDatabase } from '@aztec/validator-ha-signer/types';
 
 import { join } from 'path';
 import type { Hex } from 'viem';
@@ -181,6 +182,7 @@ export class EpochsTestContext {
       ethereumSlotDuration,
       proofSubmissionEpochs: Number(await this.rollup.getProofSubmissionEpochs()),
       targetCommitteeSize: await this.rollup.getTargetCommitteeSize(),
+      rollupManaLimit: Number(await this.rollup.getManaLimit()),
     };
 
     this.logger.info(
@@ -237,13 +239,21 @@ export class EpochsTestContext {
 
   public createValidatorNode(
     privateKeys: `0x${string}`[],
-    opts: Partial<AztecNodeConfig> & { dontStartSequencer?: boolean } = {},
+    opts: Partial<AztecNodeConfig> & {
+      dontStartSequencer?: boolean;
+      slashingProtectionDb?: SlashingProtectionDatabase;
+    } = {},
   ) {
     this.logger.warn('Creating and syncing a validator node...');
     return this.createNode({ ...opts, disableValidator: false, validatorPrivateKeys: new SecretValue(privateKeys) });
   }
 
-  private async createNode(opts: Partial<AztecNodeConfig> & { dontStartSequencer?: boolean } = {}) {
+  private async createNode(
+    opts: Partial<AztecNodeConfig> & {
+      dontStartSequencer?: boolean;
+      slashingProtectionDb?: SlashingProtectionDatabase;
+    } = {},
+  ) {
     const nodeIndex = this.nodes.length + 1;
     const actorPrefix = opts.disableValidator ? 'node' : 'validator';
     const { mockGossipSubNetwork } = this.context;
@@ -256,6 +266,7 @@ export class EpochsTestContext {
           ...resolvedConfig,
           dataDirectory: join(this.context.config.dataDirectory!, randomBytes(8).toString('hex')),
           validatorPrivateKeys: opts.validatorPrivateKeys ?? new SecretValue([]),
+          nodeId: resolvedConfig.nodeId || `${actorPrefix}-${nodeIndex}`,
           p2pEnabled,
           p2pIp,
         },
@@ -264,6 +275,7 @@ export class EpochsTestContext {
           p2pClientDeps: {
             p2pServiceFactory: mockGossipSubNetwork ? getMockPubSubP2PServiceFactory(mockGossipSubNetwork) : undefined,
           },
+          slashingProtectionDb: opts.slashingProtectionDb,
         },
         {
           prefilledPublicData: this.context.prefilledPublicData,

package/src/e2e_p2p/reqresp/utils.ts

@@ -149,6 +149,13 @@ export async function runReqrespTxTest(params: {
   const submittedTxs = await Promise.all(
     txBatches.map(async (batch, batchIndex) => {
       const proposerNode = nodes[proposerIndexes[batchIndex]];
+      for (const tx of batch) {
+        t.logger.info(`Tx ${tx.getTxHash().toString()} base64: ${tx.toBuffer().toString('base64')}`);
+      }
+      const txHashes = batch.map(tx => tx.getTxHash().toString());
+      t.logger.info(
+        `Sending batch ${batchIndex} to proposer ${getNodePort(proposerIndexes[batchIndex])}: ${txHashes.join(', ')}`,
+      );
       await Promise.all(
         batch.map(async tx => {
           try {
@@ -163,6 +170,12 @@ export async function runReqrespTxTest(params: {
     }),
   );
 
+  // Log pool state per node after sending
+  for (let i = 0; i < NUM_VALIDATORS; i++) {
+    const count = await nodes[i].getPendingTxCount();
+    t.logger.info(`Node ${getNodePort(i)} pool has ${count} pending txs`);
+  }
+
   t.logger.info('Waiting for all transactions to be mined');
   await Promise.all(
     submittedTxs.flatMap((batch, batchIndex) =>
@@ -178,8 +191,16 @@ export async function runReqrespTxTest(params: {
 
   // Assert that multiple blocks were built for at least one slot
   t.logger.info('Verifying multiple blocks for at least one checkpoint');
-  const checkpoints = await nodes[0].getCheckpoints(CheckpointNumber(1), 50);
-  expect(checkpoints.length).toBeGreaterThan(0);
+  // Wait for L1 checkpoint sync, which may lag behind P2P block propagation.
+  const checkpoints = await retryUntil(
+    async () => {
+      const cps = await nodes[0].getCheckpoints(CheckpointNumber(1), 50);
+      return cps.length > 0 && cps.some(cp => cp.checkpoint.blocks.length >= 2) ? cps : undefined;
+    },
+    'waiting for multi-block checkpoint to sync from L1',
+    30,
+    1,
+  );
 
   let mbpsFound = false;
   let expectedBlockNumber = checkpoints[0].checkpoint.blocks[0].number;

package/src/e2e_p2p/shared.ts

@@ -152,11 +152,14 @@ export async function awaitCommitteeExists({
 }
 
 /**
- * Advance epochs until we find one where the target proposer is selected for at least one slot.
- * With N validators and M slots per epoch, a specific proposer may not be selected in any given epoch.
- * For example, with 4 validators and 2 slots/epoch, there is about a 44% chance per epoch.
+ * Advance epochs until we find one where the target proposer is selected for at least one slot,
+ * then stop one epoch before it. This leaves time for the caller to start sequencers before
+ * warping to the target epoch, avoiding the race where the target epoch passes before sequencers
+ * are ready.
+ *
+ * Returns the target epoch number so the caller can warp to it after starting sequencers.
  */
-export async function awaitEpochWithProposer({
+export async function advanceToEpochBeforeProposer({
   epochCache,
   cheatCodes,
   targetProposer,
@@ -168,25 +171,32 @@ export async function awaitEpochWithProposer({
   targetProposer: EthAddress;
   logger: Logger;
   maxAttempts?: number;
-}): Promise<void> {
+}): Promise<{ targetEpoch: EpochNumber }> {
   const { epochDuration } = await cheatCodes.getConfig();
 
   for (let attempt = 0; attempt < maxAttempts; attempt++) {
     const currentEpoch = await cheatCodes.getEpoch();
-    const startSlot = Number(currentEpoch) * Number(epochDuration);
+    // Check the NEXT epoch's slots so we stay one epoch before the target,
+    // giving the caller time to start sequencers before the target epoch arrives.
+    const nextEpoch = Number(currentEpoch) + 1;
+    const startSlot = nextEpoch * Number(epochDuration);
     const endSlot = startSlot + Number(epochDuration);
 
-    logger.info(`Checking epoch ${currentEpoch} (slots ${startSlot}-${endSlot - 1}) for proposer ${targetProposer}`);
+    logger.info(
+      `Checking next epoch ${nextEpoch} (slots ${startSlot}-${endSlot - 1}) for proposer ${targetProposer} (current epoch: ${currentEpoch})`,
+    );
 
     for (let s = startSlot; s < endSlot; s++) {
       const proposer = await epochCache.getProposerAttesterAddressInSlot(SlotNumber(s));
       if (proposer && proposer.equals(targetProposer)) {
-        logger.warn(`Found target proposer ${targetProposer} in slot ${s} of epoch ${currentEpoch}`);
-        return;
+        logger.warn(
+          `Found target proposer ${targetProposer} in slot ${s} of epoch ${nextEpoch}. Staying at epoch ${currentEpoch} to allow sequencer startup.`,
+        );
+        return { targetEpoch: EpochNumber(nextEpoch) };
       }
     }
 
-    logger.info(`Target proposer not found in epoch ${currentEpoch}, advancing to next epoch`);
+    logger.info(`Target proposer not found in epoch ${nextEpoch}, advancing to next epoch`);
     await cheatCodes.advanceToNextEpoch();
   }
 

package/src/fixtures/e2e_prover_test.ts

@@ -4,12 +4,7 @@ import { AztecAddress, EthAddress } from '@aztec/aztec.js/addresses';
 import { type Logger, createLogger } from '@aztec/aztec.js/log';
 import type { AztecNode } from '@aztec/aztec.js/node';
 import { CheatCodes } from '@aztec/aztec/testing';
-import {
-  BBCircuitVerifier,
-  type ClientProtocolCircuitVerifier,
-  QueuedIVCVerifier,
-  TestCircuitVerifier,
-} from '@aztec/bb-prover';
+import type { ClientProtocolCircuitVerifier } from '@aztec/bb-prover';
 import { BackendType, Barretenberg } from '@aztec/bb.js';
 import type { DeployAztecL1ContractsReturnType } from '@aztec/ethereum/deploy-aztec-l1-contracts';
 import { Buffer32 } from '@aztec/foundation/buffer';
@@ -68,7 +63,10 @@ export class FullProverTest {
   private provenComponents: ProvenSetup[] = [];
   private bbConfigCleanup?: () => Promise<void>;
   private acvmConfigCleanup?: () => Promise<void>;
-  circuitProofVerifier?: ClientProtocolCircuitVerifier;
+  /** Returns the proof verifier from the prover node (for test assertions). */
+  get circuitProofVerifier(): ClientProtocolCircuitVerifier | undefined {
+    return this.proverAztecNode?.getProofVerifier();
+  }
   provenAsset!: TokenContract;
   context!: EndToEndContext;
   private proverAztecNode!: AztecNodeService;
@@ -170,9 +168,6 @@ export class FullProverTest {
 
       await Barretenberg.initSingleton({ backend: BackendType.NativeUnixSocket });
 
-      const verifier = await BBCircuitVerifier.new(bbConfig);
-      this.circuitProofVerifier = new QueuedIVCVerifier(bbConfig, verifier);
-
       this.logger.debug(`Configuring the node for real proofs...`);
       await this.aztecNodeAdmin.setConfig({
         realProofs: true,
@@ -180,7 +175,6 @@ export class FullProverTest {
       });
     } else {
       this.logger.debug(`Configuring the node min txs per block ${this.minNumberOfTxsPerBlock}...`);
-      this.circuitProofVerifier = new TestCircuitVerifier();
       await this.aztecNodeAdmin.setConfig({
         minTxsPerBlock: this.minNumberOfTxsPerBlock,
       });

package/src/fixtures/get_bb_config.ts

@@ -13,8 +13,10 @@ const {
   BB_SKIP_CLEANUP = '',
   TEMP_DIR = tmpdir(),
   BB_WORKING_DIRECTORY = '',
-  BB_NUM_IVC_VERIFIERS = '1',
+  BB_NUM_IVC_VERIFIERS = '8',
   BB_IVC_CONCURRENCY = '1',
+  BB_CHONK_VERIFY_MAX_BATCH = '16',
+  BB_CHONK_VERIFY_BATCH_CONCURRENCY = '6',
 } = process.env;
 
 export const getBBConfig = async (
@@ -41,16 +43,15 @@ export const getBBConfig = async (
     const bbSkipCleanup = ['1', 'true'].includes(BB_SKIP_CLEANUP);
     const cleanup = bbSkipCleanup ? () => Promise.resolve() : () => tryRmDir(directoryToCleanup);
 
-    const numIvcVerifiers = Number(BB_NUM_IVC_VERIFIERS);
-    const ivcConcurrency = Number(BB_IVC_CONCURRENCY);
-
     return {
       bbSkipCleanup,
       bbBinaryPath,
       bbWorkingDirectory,
       cleanup,
-      numConcurrentIVCVerifiers: numIvcVerifiers,
-      bbIVCConcurrency: ivcConcurrency,
+      numConcurrentIVCVerifiers: Number(BB_NUM_IVC_VERIFIERS),
+      bbIVCConcurrency: Number(BB_IVC_CONCURRENCY),
+      bbChonkVerifyMaxBatch: Number(BB_CHONK_VERIFY_MAX_BATCH),
+      bbChonkVerifyConcurrency: Number(BB_CHONK_VERIFY_BATCH_CONCURRENCY),
     };
   } catch (err) {
     logger.error(`Native BB not available, error: ${err}`);

package/src/fixtures/setup.ts

@@ -1,6 +1,7 @@
 import { SchnorrAccountContractArtifact } from '@aztec/accounts/schnorr';
 import { type InitialAccountData, generateSchnorrAccounts } from '@aztec/accounts/testing';
 import { type AztecNodeConfig, AztecNodeService, getConfigEnvVars } from '@aztec/aztec-node';
+import { NO_FROM } from '@aztec/aztec.js/account';
 import { AztecAddress, EthAddress } from '@aztec/aztec.js/addresses';
 import {
   BatchCall,
@@ -185,6 +186,11 @@ export type SetupOptions = {
   anvilAccounts?: number;
   /** Port to start anvil (defaults to 8545) */
   anvilPort?: number;
+  /**
+   * Number of slots per epoch for Anvil's finality simulation.
+   * Anvil reports `finalized = latest - slotsInAnEpoch * 2`.
+   */
+  anvilSlotsInAnEpoch?: number;
   /** Key to use for publishing L1 contracts */
   l1PublisherKey?: SecretValue<`0x${string}`>;
   /** ZkPassport configuration (domain, scope, mock verifier) */
@@ -297,6 +303,8 @@ export async function setup(
       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`);
@@ -305,6 +313,8 @@ export async function setup(
         l1BlockTime: opts.ethereumSlotDuration,
         accounts: opts.anvilAccounts,
         port: opts.anvilPort ?? (process.env.ANVIL_PORT ? parseInt(process.env.ANVIL_PORT) : undefined),
+        slotsInAnEpoch: opts.anvilSlotsInAnEpoch,
+        dateProvider,
       });
       anvil = res.anvil;
       config.l1RpcUrls = [res.rpcUrl];
@@ -316,8 +326,6 @@ export async function setup(
       logger.info(`Logging metrics to ${filename}`);
       setupMetricsLogger(filename);
     }
-
-    const dateProvider = new TestDateProvider();
     const ethCheatCodes = new EthCheatCodesWithState(config.l1RpcUrls, dateProvider);
 
     if (opts.stateLoad) {
@@ -413,11 +421,12 @@ export async function setup(
       await ethCheatCodes.setIntervalMining(config.ethereumSlotDuration);
     }
 
-    // Always sync dateProvider to L1 time after deploying L1 contracts, regardless of mining mode.
-    // In compose mode, L1 time may have drifted ahead of system time due to the local-network watcher
-    // warping time forward on each filled slot. Without this sync, the sequencer computes the wrong
-    // slot from its dateProvider and cannot propose blocks.
-    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 });
@@ -841,7 +850,7 @@ export const deployAccounts =
       );
       const deployMethod = await accountManager.getDeployMethod();
       await deployMethod.send({
-        from: AztecAddress.ZERO,
+        from: NO_FROM,
         skipClassPublication: i !== 0, // Publish the contract class at most once.
       });
     }