@aztec/prover-node 0.76.4-devnet-test-rc3 → 0.77.0-testnet-ignition.17

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/prover-node",
-  "version": "0.76.4-devnet-test-rc3",
+  "version": "0.77.0-testnet-ignition.17",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -17,7 +17,7 @@
     "formatting": "run -T prettier --check ./src && run -T eslint ./src",
     "formatting:fix": "run -T eslint --fix ./src && run -T prettier -w ./src",
     "bb": "node --no-warnings ./dest/bb/index.js",
-    "test": "HARDWARE_CONCURRENCY=${HARDWARE_CONCURRENCY:-16} RAYON_NUM_THREADS=${RAYON_NUM_THREADS:-4} NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
+    "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
   },
   "jest": {
     "moduleNameMapper": {
@@ -47,31 +47,30 @@
     "reporters": [
       "default"
     ],
-    "testTimeout": 30000,
+    "testTimeout": 120000,
     "setupFiles": [
       "../../foundation/src/jest/setup.mjs"
     ]
   },
   "dependencies": {
-    "@aztec/archiver": "0.76.4-devnet-test-rc3",
-    "@aztec/bb-prover": "0.76.4-devnet-test-rc3",
-    "@aztec/blob-sink": "0.76.4-devnet-test-rc3",
-    "@aztec/circuit-types": "0.76.4-devnet-test-rc3",
-    "@aztec/circuits.js": "0.76.4-devnet-test-rc3",
-    "@aztec/epoch-cache": "0.76.4-devnet-test-rc3",
-    "@aztec/ethereum": "0.76.4-devnet-test-rc3",
-    "@aztec/foundation": "0.76.4-devnet-test-rc3",
-    "@aztec/kv-store": "0.76.4-devnet-test-rc3",
-    "@aztec/l1-artifacts": "0.76.4-devnet-test-rc3",
-    "@aztec/noir-protocol-circuits-types": "0.76.4-devnet-test-rc3",
-    "@aztec/p2p": "0.76.4-devnet-test-rc3",
-    "@aztec/protocol-contracts": "0.76.4-devnet-test-rc3",
-    "@aztec/prover-client": "0.76.4-devnet-test-rc3",
-    "@aztec/sequencer-client": "0.76.4-devnet-test-rc3",
-    "@aztec/simulator": "0.76.4-devnet-test-rc3",
-    "@aztec/telemetry-client": "0.76.4-devnet-test-rc3",
-    "@aztec/types": "0.76.4-devnet-test-rc3",
-    "@aztec/world-state": "0.76.4-devnet-test-rc3",
+    "@aztec/archiver": "0.77.0-testnet-ignition.17",
+    "@aztec/bb-prover": "0.77.0-testnet-ignition.17",
+    "@aztec/blob-sink": "0.77.0-testnet-ignition.17",
+    "@aztec/constants": "0.77.0-testnet-ignition.17",
+    "@aztec/epoch-cache": "0.77.0-testnet-ignition.17",
+    "@aztec/ethereum": "0.77.0-testnet-ignition.17",
+    "@aztec/foundation": "0.77.0-testnet-ignition.17",
+    "@aztec/kv-store": "0.77.0-testnet-ignition.17",
+    "@aztec/l1-artifacts": "0.77.0-testnet-ignition.17",
+    "@aztec/noir-protocol-circuits-types": "0.77.0-testnet-ignition.17",
+    "@aztec/p2p": "0.77.0-testnet-ignition.17",
+    "@aztec/protocol-contracts": "0.77.0-testnet-ignition.17",
+    "@aztec/prover-client": "0.77.0-testnet-ignition.17",
+    "@aztec/sequencer-client": "0.77.0-testnet-ignition.17",
+    "@aztec/simulator": "0.77.0-testnet-ignition.17",
+    "@aztec/stdlib": "0.77.0-testnet-ignition.17",
+    "@aztec/telemetry-client": "0.77.0-testnet-ignition.17",
+    "@aztec/world-state": "0.77.0-testnet-ignition.17",
     "source-map-support": "^0.5.21",
     "tslib": "^2.4.0",
     "viem": "2.22.8"

package/src/config.ts

@@ -1,41 +1,29 @@
-import { type ArchiverConfig, archiverConfigMappings, getArchiverConfigFromEnv } from '@aztec/archiver/config';
-import { type ACVMConfig, type BBConfig } from '@aztec/bb-prover/config';
+import { type ArchiverConfig, archiverConfigMappings } from '@aztec/archiver/config';
+import type { ACVMConfig, BBConfig } from '@aztec/bb-prover/config';
 import {
   type ConfigMappingsType,
-  bigintConfigHelper,
+  booleanConfigHelper,
   getConfigFromMappings,
   numberConfigHelper,
 } from '@aztec/foundation/config';
-import { type DataStoreConfig, dataConfigMappings, getDataConfigFromEnv } from '@aztec/kv-store/config';
-import { type P2PConfig, getP2PConfigFromEnv, p2pConfigMappings } from '@aztec/p2p/config';
+import { type DataStoreConfig, dataConfigMappings } from '@aztec/kv-store/config';
+import { type P2PConfig, p2pConfigMappings } from '@aztec/p2p/config';
 import {
   type ProverAgentConfig,
   type ProverBrokerConfig,
   proverAgentConfigMappings,
   proverBrokerConfigMappings,
 } from '@aztec/prover-client/broker';
-import {
-  type ProverClientConfig,
-  bbConfigMappings,
-  getProverEnvVars,
-  proverClientConfigMappings,
-} from '@aztec/prover-client/config';
+import { type ProverClientConfig, bbConfigMappings, proverClientConfigMappings } from '@aztec/prover-client/config';
 import {
   type PublisherConfig,
   type TxSenderConfig,
-  getPublisherConfigFromEnv,
   getPublisherConfigMappings,
-  getTxSenderConfigFromEnv,
   getTxSenderConfigMappings,
 } from '@aztec/sequencer-client/config';
-import { type WorldStateConfig, getWorldStateConfigFromEnv, worldStateConfigMappings } from '@aztec/world-state/config';
+import { type WorldStateConfig, worldStateConfigMappings } from '@aztec/world-state/config';
 
-import { type ProverBondManagerConfig, proverBondManagerConfigMappings } from './bond/config.js';
-import {
-  type ProverCoordinationConfig,
-  getTxProviderConfigFromEnv,
-  proverCoordinationConfigMappings,
-} from './prover-coordination/config.js';
+import { type ProverCoordinationConfig, proverCoordinationConfigMappings } from './prover-coordination/config.js';
 
 export type ProverNodeConfig = ArchiverConfig &
   ProverClientConfig &
@@ -45,9 +33,10 @@ export type ProverNodeConfig = ArchiverConfig &
   TxSenderConfig &
   DataStoreConfig &
   ProverCoordinationConfig &
-  ProverBondManagerConfig &
-  QuoteProviderConfig &
-  SpecificProverNodeConfig;
+  SpecificProverNodeConfig & {
+    /** Whether to populate the genesis state with initial fee juice for the test accounts */
+    testAccounts: boolean;
+  };
 
 type SpecificProverNodeConfig = {
   proverNodeMaxPendingJobs: number;
@@ -58,12 +47,6 @@ type SpecificProverNodeConfig = {
   txGatheringMaxParallelRequests: number;
 };
 
-export type QuoteProviderConfig = {
-  quoteProviderBasisPointFee: number;
-  quoteProviderBondAmount: bigint;
-  quoteProviderUrl?: string;
-};
-
 const specificProverNodeConfigMappings: ConfigMappingsType<SpecificProverNodeConfig> = {
   proverNodeMaxPendingJobs: {
     env: 'PROVER_NODE_MAX_PENDING_JOBS',
@@ -97,24 +80,6 @@ const specificProverNodeConfigMappings: ConfigMappingsType<SpecificProverNodeCon
   },
 };
 
-const quoteProviderConfigMappings: ConfigMappingsType<QuoteProviderConfig> = {
-  quoteProviderBasisPointFee: {
-    env: 'QUOTE_PROVIDER_BASIS_POINT_FEE',
-    description: 'The basis point fee to charge for providing quotes',
-    ...numberConfigHelper(100),
-  },
-  quoteProviderBondAmount: {
-    env: 'QUOTE_PROVIDER_BOND_AMOUNT',
-    description: 'The bond amount to charge for providing quotes',
-    ...bigintConfigHelper(1000n),
-  },
-  quoteProviderUrl: {
-    env: 'QUOTE_PROVIDER_URL',
-    description:
-      'The URL of the remote quote provider. Overrides QUOTE_PROVIDER_BASIS_POINT_FEE and QUOTE_PROVIDER_BOND_AMOUNT.',
-  },
-};
-
 export const proverNodeConfigMappings: ConfigMappingsType<ProverNodeConfig> = {
   ...dataConfigMappings,
   ...archiverConfigMappings,
@@ -124,25 +89,16 @@ export const proverNodeConfigMappings: ConfigMappingsType<ProverNodeConfig> = {
   ...getPublisherConfigMappings('PROVER'),
   ...getTxSenderConfigMappings('PROVER'),
   ...proverCoordinationConfigMappings,
-  ...quoteProviderConfigMappings,
-  ...proverBondManagerConfigMappings,
   ...specificProverNodeConfigMappings,
+  testAccounts: {
+    env: 'TEST_ACCOUNTS',
+    description: 'Whether to populate the genesis state with initial fee juice for the test accounts.',
+    ...booleanConfigHelper(false),
+  },
 };
 
 export function getProverNodeConfigFromEnv(): ProverNodeConfig {
-  return {
-    ...getP2PConfigFromEnv(),
-    ...getDataConfigFromEnv(),
-    ...getArchiverConfigFromEnv(),
-    ...getProverEnvVars(),
-    ...getWorldStateConfigFromEnv(),
-    ...getPublisherConfigFromEnv('PROVER'),
-    ...getTxSenderConfigFromEnv('PROVER'),
-    ...getTxProviderConfigFromEnv(),
-    ...getConfigFromMappings(quoteProviderConfigMappings),
-    ...getConfigFromMappings(specificProverNodeConfigMappings),
-    ...getConfigFromMappings(proverBondManagerConfigMappings),
-  };
+  return getConfigFromMappings(proverNodeConfigMappings);
 }
 
 export function getProverNodeBrokerConfigFromEnv(): ProverBrokerConfig {

package/src/factory.ts

@@ -1,30 +1,21 @@
 import { type Archiver, createArchiver } from '@aztec/archiver';
 import { type BlobSinkClientInterface, createBlobSinkClient } from '@aztec/blob-sink/client';
-import { type ProverCoordination, type ProvingJobBroker } from '@aztec/circuit-types';
 import { EpochCache } from '@aztec/epoch-cache';
 import { L1TxUtils, RollupContract, createEthereumChain, createL1Clients } from '@aztec/ethereum';
-import { Buffer32 } from '@aztec/foundation/buffer';
-import { EthAddress } from '@aztec/foundation/eth-address';
 import { type Logger, createLogger } from '@aztec/foundation/log';
-import { type DataStoreConfig } from '@aztec/kv-store/config';
-import { RollupAbi } from '@aztec/l1-artifacts';
+import type { DataStoreConfig } from '@aztec/kv-store/config';
 import { createProverClient } from '@aztec/prover-client';
 import { createAndStartProvingBroker } from '@aztec/prover-client/broker';
+import type { ProverCoordination, ProvingJobBroker } from '@aztec/stdlib/interfaces/server';
+import type { PublicDataTreeLeaf } from '@aztec/stdlib/trees';
 import { type TelemetryClient, getTelemetryClient } from '@aztec/telemetry-client';
 import { createWorldStateSynchronizer } from '@aztec/world-state';
 
-import { createPublicClient, getAddress, getContract, http } from 'viem';
-
-import { createBondManager } from './bond/factory.js';
-import { type ProverNodeConfig, type QuoteProviderConfig } from './config.js';
-import { ClaimsMonitor } from './monitors/claims-monitor.js';
+import type { ProverNodeConfig } from './config.js';
 import { EpochMonitor } from './monitors/epoch-monitor.js';
 import { createProverCoordination } from './prover-coordination/factory.js';
 import { ProverNodePublisher } from './prover-node-publisher.js';
 import { ProverNode, type ProverNodeOptions } from './prover-node.js';
-import { HttpQuoteProvider } from './quote-provider/http.js';
-import { SimpleQuoteProvider } from './quote-provider/simple.js';
-import { QuoteSigner } from './quote-signer.js';
 
 /** Creates a new prover node given a config. */
 export async function createProverNode(
@@ -39,6 +30,9 @@ export async function createProverNode(
     broker?: ProvingJobBroker;
     l1TxUtils?: L1TxUtils;
   } = {},
+  options: {
+    prefilledPublicData?: PublicDataTreeLeaf[];
+  } = {},
 ) {
   const telemetry = deps.telemetry ?? getTelemetryClient();
   const blobSinkClient = deps.blobSinkClient ?? createBlobSinkClient(config);
@@ -47,15 +41,20 @@ export async function createProverNode(
   log.verbose(`Created archiver and synced to block ${await archiver.getBlockNumber()}`);
 
   const worldStateConfig = { ...config, worldStateProvenBlocksOnly: false };
-  const worldStateSynchronizer = await createWorldStateSynchronizer(worldStateConfig, archiver, telemetry);
+  const worldStateSynchronizer = await createWorldStateSynchronizer(
+    worldStateConfig,
+    archiver,
+    options.prefilledPublicData,
+    telemetry,
+  );
   await worldStateSynchronizer.start();
 
   const broker = deps.broker ?? (await createAndStartProvingBroker(config, telemetry));
   const prover = await createProverClient(config, worldStateSynchronizer, broker, telemetry);
 
-  const { l1RpcUrl: rpcUrl, l1ChainId: chainId, publisherPrivateKey } = config;
-  const chain = createEthereumChain(rpcUrl, chainId);
-  const { publicClient, walletClient } = createL1Clients(rpcUrl, publisherPrivateKey, chain.chainInfo);
+  const { l1RpcUrls: rpcUrls, l1ChainId: chainId, publisherPrivateKey } = config;
+  const chain = createEthereumChain(rpcUrls, chainId);
+  const { publicClient, walletClient } = createL1Clients(rpcUrls, publisherPrivateKey, chain.chainInfo);
 
   const rollupContract = new RollupContract(publicClient, config.l1Contracts.rollupAddress.toString());
 
@@ -64,7 +63,7 @@ export async function createProverNode(
 
   const epochCache = await EpochCache.create(config.l1Contracts.rollupAddress, config);
 
-  // If config.p2pEnabled is true, createProverCoordination will create a p2p client where quotes will be shared and tx's requested
+  // If config.p2pEnabled is true, createProverCoordination will create a p2p client where txs are requested
   // If config.p2pEnabled is false, createProverCoordination request information from the AztecNode
   const proverCoordination = await createProverCoordination(config, {
     aztecNodeTxProvider: deps.aztecNodeTxProvider,
@@ -74,9 +73,6 @@ export async function createProverNode(
     telemetry,
   });
 
-  const quoteProvider = createQuoteProvider(config);
-  const quoteSigner = createQuoteSigner(config);
-
   const proverNodeConfig: ProverNodeOptions = {
     maxPendingJobs: config.proverNodeMaxPendingJobs,
     pollingIntervalMs: config.proverNodePollingIntervalMs,
@@ -86,11 +82,7 @@ export async function createProverNode(
     txGatheringTimeoutMs: config.txGatheringTimeoutMs,
   };
 
-  const claimsMonitor = new ClaimsMonitor(publisher, proverNodeConfig, telemetry);
-  const epochMonitor = new EpochMonitor(archiver, proverNodeConfig, telemetry);
-
-  const escrowContractAddress = await rollupContract.getProofCommitmentEscrow();
-  const bondManager = await createBondManager(EthAddress.fromString(escrowContractAddress), walletClient, config);
+  const epochMonitor = await EpochMonitor.create(archiver, proverNodeConfig, telemetry);
 
   return new ProverNode(
     prover,
@@ -100,29 +92,8 @@ export async function createProverNode(
     archiver,
     worldStateSynchronizer,
     proverCoordination,
-    quoteProvider,
-    quoteSigner,
-    claimsMonitor,
     epochMonitor,
-    bondManager,
     proverNodeConfig,
     telemetry,
   );
 }
-
-function createQuoteProvider(config: QuoteProviderConfig) {
-  return config.quoteProviderUrl
-    ? new HttpQuoteProvider(config.quoteProviderUrl)
-    : new SimpleQuoteProvider(config.quoteProviderBasisPointFee, config.quoteProviderBondAmount);
-}
-
-function createQuoteSigner(config: ProverNodeConfig) {
-  // REFACTOR: We need a package that just returns an instance of a rollup contract ready to use
-  const { l1RpcUrl: rpcUrl, l1ChainId: chainId, l1Contracts } = config;
-  const chain = createEthereumChain(rpcUrl, chainId);
-  const client = createPublicClient({ chain: chain.chainInfo, transport: http(chain.rpcUrl) });
-  const address = getAddress(l1Contracts.rollupAddress.toString());
-  const rollupContract = getContract({ address, abi: RollupAbi, client });
-  const privateKey = config.publisherPrivateKey;
-  return QuoteSigner.new(Buffer32.fromString(privateKey), rollupContract);
-}

package/src/http.ts

@@ -1,7 +1,7 @@
-import { ProverNodeApiSchema } from '@aztec/circuit-types';
+import { ProverNodeApiSchema } from '@aztec/stdlib/interfaces/server';
 import { createTracedJsonRpcServer } from '@aztec/telemetry-client';
 
-import { type ProverNode } from './prover-node.js';
+import type { ProverNode } from './prover-node.js';
 
 /**
  * Wrap a ProverNode instance with a JSON RPC HTTP server.

package/src/job/epoch-proving-job.ts

@@ -1,25 +1,23 @@
+import { asyncPool } from '@aztec/foundation/async-pool';
+import { createLogger } from '@aztec/foundation/log';
+import { promiseWithResolvers } from '@aztec/foundation/promise';
+import { Timer } from '@aztec/foundation/timer';
+import type { PublicProcessor, PublicProcessorFactory } from '@aztec/simulator/server';
+import type { L2Block, L2BlockSource } from '@aztec/stdlib/block';
 import {
   type EpochProver,
   type EpochProvingJobState,
   EpochProvingJobTerminalState,
   type ForkMerkleTreeOperations,
-  type L1ToL2MessageSource,
-  type L2Block,
-  type L2BlockSource,
-  type ProcessedTx,
-  type Tx,
-} from '@aztec/circuit-types';
-import { asyncPool } from '@aztec/foundation/async-pool';
-import { createLogger } from '@aztec/foundation/log';
-import { promiseWithResolvers } from '@aztec/foundation/promise';
-import { Timer } from '@aztec/foundation/timer';
-import { type PublicProcessor, type PublicProcessorFactory } from '@aztec/simulator/server';
+} from '@aztec/stdlib/interfaces/server';
+import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
+import type { ProcessedTx, Tx } from '@aztec/stdlib/tx';
 import { Attributes, type Traceable, type Tracer, trackSpan } from '@aztec/telemetry-client';
 
 import * as crypto from 'node:crypto';
 
-import { type ProverNodeMetrics } from '../metrics.js';
-import { type ProverNodePublisher } from '../prover-node-publisher.js';
+import type { ProverNodeMetrics } from '../metrics.js';
+import type { ProverNodePublisher } from '../prover-node-publisher.js';
 
 /**
  * Job that grabs a range of blocks from the unfinalised chain from L1, gets their txs given their hashes,
@@ -63,6 +61,10 @@ export class EpochProvingJob implements Traceable {
     return this.state;
   }
 
+  public getEpochNumber(): bigint {
+    return this.epochNumber;
+  }
+
   /**
    * Proves the given epoch and submits the proof to L1.
    */

package/src/metrics.ts

@@ -1,6 +1,8 @@
-import { type L1PublishProofStats, type L1PublishStats } from '@aztec/circuit-types/stats';
+import { createLogger } from '@aztec/foundation/log';
+import type { L1PublishProofStats, L1PublishStats } from '@aztec/stdlib/stats';
 import {
   Attributes,
+  type Gauge,
   type Histogram,
   Metrics,
   type TelemetryClient,
@@ -25,7 +27,13 @@ export class ProverNodeMetrics {
   txBlobDataGasUsed: Histogram;
   txBlobDataGasCost: Histogram;
 
-  constructor(public readonly client: TelemetryClient, name = 'ProverNode') {
+  private senderBalance: Gauge;
+
+  constructor(
+    public readonly client: TelemetryClient,
+    name = 'ProverNode',
+    private logger = createLogger('prover-node:publisher:metrics'),
+  ) {
     const meter = client.getMeter(name);
     this.proverEpochExecutionDuration = meter.createHistogram(Metrics.PROVER_NODE_EXECUTION_DURATION, {
       description: 'Duration of execution of an epoch by the prover',
@@ -34,8 +42,8 @@ export class ProverNodeMetrics {
     });
     this.provingJobDuration = meter.createHistogram(Metrics.PROVER_NODE_JOB_DURATION, {
       description: 'Duration of proving job',
-      unit: 'ms',
-      valueType: ValueType.INT,
+      unit: 's',
+      valueType: ValueType.DOUBLE,
     });
     this.provingJobBlocks = meter.createHistogram(Metrics.PROVER_NODE_JOB_BLOCKS, {
       description: 'Number of blocks in a proven epoch',
@@ -91,6 +99,12 @@ export class ProverNodeMetrics {
       unit: 'gwei',
       valueType: ValueType.INT,
     });
+
+    this.senderBalance = meter.createGauge(Metrics.L1_PUBLISHER_BALANCE, {
+      unit: 'eth',
+      description: 'The balance of the sender address',
+      valueType: ValueType.DOUBLE,
+    });
   }
 
   recordFailedTx() {
@@ -106,11 +120,18 @@ export class ProverNodeMetrics {
 
   public recordProvingJob(executionTimeMs: number, totalTimeMs: number, numBlocks: number, numTxs: number) {
     this.proverEpochExecutionDuration.record(Math.ceil(executionTimeMs));
-    this.provingJobDuration.record(Math.ceil(totalTimeMs));
+    this.provingJobDuration.record(totalTimeMs / 1000);
     this.provingJobBlocks.record(Math.floor(numBlocks));
     this.provingJobTransactions.record(Math.floor(numTxs));
   }
 
+  public recordSenderBalance(wei: bigint, senderAddress: string) {
+    const eth = parseFloat(formatEther(wei, 'wei'));
+    this.senderBalance.record(eth, {
+      [Attributes.SENDER_ADDRESS]: senderAddress,
+    });
+  }
+
   private recordTx(durationMs: number, stats: L1PublishStats) {
     const attributes = {
       [Attributes.L1_TX_TYPE]: 'submitProof',

package/src/monitors/epoch-monitor.ts

@@ -1,6 +1,7 @@
-import { type L2BlockSource } from '@aztec/circuit-types';
 import { createLogger } from '@aztec/foundation/log';
 import { RunningPromise } from '@aztec/foundation/running-promise';
+import type { L2BlockSource } from '@aztec/stdlib/block';
+import { type L1RollupConstants, getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
 import {
   type TelemetryClient,
   type Traceable,
@@ -10,21 +11,31 @@ import {
 } from '@aztec/telemetry-client';
 
 export interface EpochMonitorHandler {
-  handleInitialEpochSync(epochNumber: bigint): Promise<void>;
-  handleEpochCompleted(epochNumber: bigint): Promise<void>;
+  handleEpochReadyToProve(epochNumber: bigint): Promise<void>;
 }
 
+/**
+ * Fires an event when a new epoch ready to prove is detected.
+ *
+ * We define an epoch as ready to prove when:
+ * - The epoch is complete
+ * - Its blocks have not been reorg'd out due to a missing L2 proof
+ * - Its first block is the immediate successor of the last proven block
+ *
+ * This class periodically hits the L2BlockSource.
+ * On start it will trigger the event for the last epoch ready to prove.
+ */
 export class EpochMonitor implements Traceable {
   private runningPromise: RunningPromise;
   private log = createLogger('prover-node:epoch-monitor');
   public readonly tracer: Tracer;
 
   private handler: EpochMonitorHandler | undefined;
-
   private latestEpochNumber: bigint | undefined;
 
   constructor(
     private readonly l2BlockSource: L2BlockSource,
+    private readonly l1Constants: Pick<L1RollupConstants, 'epochDuration'>,
     private options: { pollingIntervalMs: number },
     telemetry: TelemetryClient = getTelemetryClient(),
   ) {
@@ -32,12 +43,26 @@ export class EpochMonitor implements Traceable {
     this.runningPromise = new RunningPromise(this.work.bind(this), this.log, this.options.pollingIntervalMs);
   }
 
+  public static async create(
+    l2BlockSource: L2BlockSource,
+    options: { pollingIntervalMs: number },
+    telemetry: TelemetryClient = getTelemetryClient(),
+  ): Promise<EpochMonitor> {
+    const l1Constants = await l2BlockSource.getL1Constants();
+    return new EpochMonitor(l2BlockSource, l1Constants, options, telemetry);
+  }
+
   public start(handler: EpochMonitorHandler) {
     this.handler = handler;
     this.runningPromise.start();
     this.log.info('Started EpochMonitor', this.options);
   }
 
+  /** Exposed for testing */
+  public setHandler(handler: EpochMonitorHandler) {
+    this.handler = handler;
+  }
+
   public async stop() {
     await this.runningPromise.stop();
     this.log.info('Stopped EpochMonitor');
@@ -45,18 +70,37 @@ export class EpochMonitor implements Traceable {
 
   @trackSpan('EpochMonitor.work')
   public async work() {
-    if (!this.latestEpochNumber) {
-      const epochNumber = await this.l2BlockSource.getL2EpochNumber();
-      if (epochNumber > 0n) {
-        await this.handler?.handleInitialEpochSync(epochNumber - 1n);
-      }
-      this.latestEpochNumber = epochNumber;
+    const { epochToProve, blockNumber, slotNumber } = await this.getEpochNumberToProve();
+    if (epochToProve === undefined) {
+      this.log.trace(`Next block to prove ${blockNumber} not yet mined`, { blockNumber });
+      return;
+    }
+    if (this.latestEpochNumber !== undefined && epochToProve <= this.latestEpochNumber) {
+      this.log.trace(`Epoch ${epochToProve} already processed`, { epochToProve, blockNumber, slotNumber });
       return;
     }
 
-    if (await this.l2BlockSource.isEpochComplete(this.latestEpochNumber)) {
-      await this.handler?.handleEpochCompleted(this.latestEpochNumber);
-      this.latestEpochNumber += 1n;
+    const isCompleted = await this.l2BlockSource.isEpochComplete(epochToProve);
+    if (!isCompleted) {
+      this.log.trace(`Epoch ${epochToProve} is not complete`, { epochToProve, blockNumber, slotNumber });
+      return;
     }
+
+    this.log.debug(`Epoch ${epochToProve} is ready to be proven`);
+    await this.handler?.handleEpochReadyToProve(epochToProve);
+    this.latestEpochNumber = epochToProve;
+  }
+
+  private async getEpochNumberToProve() {
+    const lastBlockProven = await this.l2BlockSource.getProvenBlockNumber();
+    const firstBlockToProve = lastBlockProven + 1;
+    const firstBlockHeaderToProve = await this.l2BlockSource.getBlockHeader(firstBlockToProve);
+    if (!firstBlockHeaderToProve) {
+      return { epochToProve: undefined, blockNumber: firstBlockToProve };
+    }
+
+    const firstSlotOfEpochToProve = firstBlockHeaderToProve.getSlot();
+    const epochToProve = getEpochAtSlot(firstSlotOfEpochToProve, this.l1Constants);
+    return { epochToProve, blockNumber: firstBlockToProve, slotNumber: firstSlotOfEpochToProve };
   }
 }

package/src/monitors/index.ts

@@ -1,2 +1 @@
-export * from './claims-monitor.js';
 export * from './epoch-monitor.js';

package/src/prover-coordination/factory.ts

@@ -1,21 +1,18 @@
-import { type ArchiveSource, type Archiver } from '@aztec/archiver';
+import type { ArchiveSource, Archiver } from '@aztec/archiver';
 import { BBCircuitVerifier, TestCircuitVerifier } from '@aztec/bb-prover';
-import {
-  P2PClientType,
-  type ProverCoordination,
-  type WorldStateSynchronizer,
-  createAztecNodeClient,
-  getComponentsVersionsFromConfig,
-} from '@aztec/circuit-types';
-import { type EpochCache } from '@aztec/epoch-cache';
+import type { EpochCache } from '@aztec/epoch-cache';
 import { createLogger } from '@aztec/foundation/log';
-import { type DataStoreConfig } from '@aztec/kv-store/config';
-import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vks';
+import type { DataStoreConfig } from '@aztec/kv-store/config';
+import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vk-tree';
 import { createP2PClient } from '@aztec/p2p';
 import { protocolContractTreeRoot } from '@aztec/protocol-contracts';
+import { createAztecNodeClient } from '@aztec/stdlib/interfaces/client';
+import type { ProverCoordination, WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
+import { P2PClientType } from '@aztec/stdlib/p2p';
+import { getComponentsVersionsFromConfig } from '@aztec/stdlib/versioning';
 import { type TelemetryClient, makeTracedFetch } from '@aztec/telemetry-client';
 
-import { type ProverNodeConfig } from '../config.js';
+import type { ProverNodeConfig } from '../config.js';
 
 // We return a reference to the P2P client so that the prover node can stop the service when it shuts down.
 type ProverCoordinationDeps = {