@aztec/prover-node 0.0.1-commit.b9865e97 → 0.0.1-commit.be03c316

package/src/prover-node.ts

@@ -2,80 +2,126 @@ import type { Archiver } from '@aztec/archiver';
 import type { RollupContract } from '@aztec/ethereum/contracts';
 import type { Delayer } from '@aztec/ethereum/l1-tx-utils';
 import { BlockNumber, CheckpointNumber, EpochNumber } from '@aztec/foundation/branded-types';
-import { assertRequired, compact, pick, sum } from '@aztec/foundation/collection';
-import type { Fr } from '@aztec/foundation/curves/bn254';
+import { assertRequired, compact, pick } from '@aztec/foundation/collection';
 import { memoize } from '@aztec/foundation/decorators';
 import { createLogger } from '@aztec/foundation/log';
-import { DateProvider } from '@aztec/foundation/timer';
-import { PublicProcessorFactory } from '@aztec/simulator/server';
-import type { L2BlockSource } from '@aztec/stdlib/block';
-import type { Checkpoint } from '@aztec/stdlib/checkpoint';
+import { RunningPromise } from '@aztec/foundation/running-promise';
+import { DateProvider, executeTimeout } from '@aztec/foundation/timer';
+import type { EpochProverFactory } from '@aztec/prover-client';
+import { getLastSiblingPath } from '@aztec/prover-client/helpers';
+import { ChonkCache } from '@aztec/prover-client/orchestrator';
+import { type AvmSimulator, PublicProcessorFactory } from '@aztec/simulator/server';
+import {
+  EventDrivenL2BlockStream,
+  type L2BlockId,
+  type L2BlockSource,
+  type L2BlockStreamEvent,
+  type L2BlockStreamEventHandler,
+  L2TipsMemoryStore,
+} from '@aztec/stdlib/block';
+import type { Checkpoint, PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
 import type { ChainConfig } from '@aztec/stdlib/config';
 import type { ContractDataSource } from '@aztec/stdlib/contract';
-import { getProofSubmissionDeadlineTimestamp } from '@aztec/stdlib/epoch-helpers';
+import { type L1RollupConstants, getEpochAtSlot, getProofSubmissionDeadlineEpoch } from '@aztec/stdlib/epoch-helpers';
 import {
   type EpochProverManager,
+  type EpochProvingJobState,
+  EpochProvingJobTerminalState,
   type ITxProvider,
   type ProverNodeApi,
   type Service,
-  type WorldStateSyncStatus,
   type WorldStateSynchronizer,
   tryStop,
 } from '@aztec/stdlib/interfaces/server';
 import type { DataStoreConfig } from '@aztec/stdlib/kv-store';
 import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
-import type { Tx } from '@aztec/stdlib/tx';
+import { MerkleTreeId } from '@aztec/stdlib/trees';
 import {
-  Attributes,
   L1Metrics,
   type TelemetryClient,
   type Traceable,
   type Tracer,
   getTelemetryClient,
-  trackSpan,
 } from '@aztec/telemetry-client';
 
 import { uploadEpochProofFailure } from './actions/upload-epoch-proof-failure.js';
+import { CheckpointStore, type RegisterCheckpointData } from './checkpoint-store.js';
 import type { SpecificProverNodeConfig } from './config.js';
-import type { EpochProvingJobData } from './job/epoch-proving-job-data.js';
-import { EpochProvingJob, type EpochProvingJobOptions, type EpochProvingJobState } from './job/epoch-proving-job.js';
+import type { EpochSession, EpochSessionHooks } from './job/epoch-session.js';
 import { ProverNodeJobMetrics, ProverNodeRewardsMetrics } from './metrics.js';
-import type { EpochMonitor, EpochMonitorHandler } from './monitors/epoch-monitor.js';
-import type { ProverNodePublisher } from './prover-node-publisher.js';
+import { ProofPublishingService } from './proof-publishing-service.js';
 import type { ProverPublisherFactory } from './prover-publisher-factory.js';
+import { SessionManager } from './session-manager.js';
 
 type ProverNodeOptions = SpecificProverNodeConfig & Partial<DataStoreOptions>;
 type DataStoreOptions = Pick<DataStoreConfig, 'dataDirectory'> & Pick<ChainConfig, 'l1ChainId' | 'rollupVersion'>;
 
 /**
- * An Aztec Prover Node is a standalone process that monitors the unfinalized chain on L1 for unproven epochs,
- * fetches their txs from the p2p network or external nodes, re-executes their public functions, creates a rollup
- * proof for the epoch, and submits it to L1.
+ * Grace period for the proof-publishing service to settle during shutdown. The service waits for
+ * any in-flight L1 proof-submission tx to finish; that tx can take a long time to mine, so we cap
+ * the wait rather than letting `stop()` hang indefinitely.
+ */
+const PUBLISHING_SERVICE_STOP_TIMEOUT_MS = 30_000;
+
+/**
+ * An Aztec Prover Node is a standalone process that monitors the chain for new checkpoints,
+ * starts proving them optimistically as they arrive, and submits epoch proofs to L1 once
+ * complete.
+ *
+ * The class is intentionally thin: it owns the long-lived collections (`CheckpointStore`,
+ * `ChonkCache`, `SessionManager`), the L2BlockStream, and a periodic ticker that nudges the
+ * manager to pick up newly-complete epochs. Every session lifecycle decision is delegated to
+ * the `SessionManager`. Each chain event is translated here into a single method call on it.
  */
-export class ProverNode implements EpochMonitorHandler, ProverNodeApi, Traceable {
+export class ProverNode implements L2BlockStreamEventHandler, ProverNodeApi, Traceable {
   private log = createLogger('prover-node');
 
-  private jobs: Map<string, EpochProvingJob> = new Map();
-  private config: ProverNodeOptions;
-  private jobMetrics: ProverNodeJobMetrics;
-  private rewardsMetrics: ProverNodeRewardsMetrics;
-  private startingProofEpochs: Set<EpochNumber> = new Set();
+  protected readonly checkpointStore: CheckpointStore;
+  protected readonly chonkCache: ChonkCache;
+  protected sessionManager: SessionManager | undefined;
+
+  private readonly config: ProverNodeOptions;
+  private readonly jobMetrics: ProverNodeJobMetrics;
+  private readonly rewardsMetrics: ProverNodeRewardsMetrics;
+
+  /** In-memory store for the L2BlockStream's local data provider. */
+  private tipsStore: L2TipsMemoryStore;
+  /** Block stream for checkpoint and reorg detection. */
+  private blockStream: EventDrivenL2BlockStream | undefined;
+  /**
+   * Highest epoch whose proof-submission window has passed. Monotonic high-water mark.
+   * Seeded from the last fully-proven epoch at start(); advanced on every block-stream
+   * event by comparing the archiver's latest synced L2 slot against each epoch's
+   * submission deadline. Protected so tests can verify the start() seeding.
+   */
+  protected lastExpiredEpoch: EpochNumber | undefined;
+
+  /**
+   * Highest checkpoint number whose proving-side handling has completed (or that was legitimately skipped).
+   * The catch-up loop walks from here to each `chain-checkpointed` tip event. Seeded at start() from the last
+   * checkpoint of the last fully-proven epoch (or 0), so a restart reprocesses the partially-proven epoch rather
+   * than trusting a checkpointed tip that may sit ahead of unproven checkpoints. Clamped down on a prune.
+   */
+  protected lastProcessedCheckpoint: CheckpointNumber = CheckpointNumber.ZERO;
+
+  /** Periodic tick that runs the epoch-expiry sweep during idle periods when no block-stream events arrive. */
+  private expiryTicker: RunningPromise | undefined;
 
   public readonly tracer: Tracer;
 
-  protected publisher: ProverNodePublisher | undefined;
+  protected publishingService: ProofPublishingService | undefined;
 
   constructor(
-    protected readonly prover: EpochProverManager,
+    protected readonly prover: EpochProverManager & EpochProverFactory,
     protected readonly publisherFactory: ProverPublisherFactory,
     protected readonly l2BlockSource: L2BlockSource & Partial<Service>,
     protected readonly l1ToL2MessageSource: L1ToL2MessageSource,
     protected readonly contractDataSource: ContractDataSource,
     protected readonly worldState: WorldStateSynchronizer,
     protected readonly p2pClient: { getTxProvider(): ITxProvider } & Partial<Service>,
-    protected readonly epochsMonitor: EpochMonitor,
     protected readonly rollupContract: RollupContract,
     protected readonly l1Metrics: L1Metrics,
+    private readonly avmSimulator: AvmSimulator,
     config: Partial<ProverNodeOptions> = {},
     protected readonly telemetryClient: TelemetryClient = getTelemetryClient(),
     private delayer?: Delayer,
@@ -100,8 +146,34 @@ export class ProverNode implements EpochMonitorHandler, ProverNodeApi, Traceable
     this.tracer = telemetryClient.getTracer('ProverNode');
 
     this.jobMetrics = new ProverNodeJobMetrics(meter, telemetryClient.getTracer('EpochProvingJob'));
-
     this.rewardsMetrics = new ProverNodeRewardsMetrics(meter, this.prover.getProverId(), rollupContract);
+
+    this.tipsStore = new L2TipsMemoryStore(this.l2BlockSource.getGenesisBlockHash());
+
+    this.chonkCache = new ChonkCache(this.log.getBindings());
+    this.checkpointStore = new CheckpointStore(
+      this.l2BlockSource,
+      {
+        proverFactory: this.prover,
+        chonkCache: this.chonkCache,
+        publicProcessorFactory: new PublicProcessorFactory(
+          this.contractDataSource,
+          this.avmSimulator,
+          this.dateProvider,
+          this.telemetryClient,
+          this.log.getBindings(),
+        ),
+        dbProvider: this.worldState,
+        txProvider: this.p2pClient.getTxProvider(),
+        dateProvider: this.dateProvider,
+        proverId: this.prover.getProverId(),
+        metrics: this.jobMetrics,
+        txGatheringTimeoutMs: this.config.txGatheringTimeoutMs,
+        deadline: undefined,
+      },
+      { slotWatcherPollIntervalMs: this.config.proverNodePollingIntervalMs },
+      this.log.getBindings(),
+    );
   }
 
   public getProverId() {
@@ -112,331 +184,529 @@ export class ProverNode implements EpochMonitorHandler, ProverNodeApi, Traceable
     return this.p2pClient;
   }
 
-  /** Returns the shared tx delayer for prover L1 txs, if enabled. Test-only. */
+  /** Test-only: the shared L1 tx delayer, if enabled. */
   public getDelayer(): Delayer | undefined {
     return this.delayer;
   }
 
-  /**
-   * Handles an epoch being completed by starting a proof for it if there are no active jobs for it.
-   * @param epochNumber - The epoch number that was just completed.
-   * @returns false if there is an error, true otherwise
-   */
-  async handleEpochReadyToProve(epochNumber: EpochNumber): Promise<boolean> {
-    try {
-      this.log.debug(`Running jobs as ${epochNumber} is ready to prove`, {
-        jobs: Array.from(this.jobs.values()).map(job => `${job.getEpochNumber()}:${job.getId()}`),
-      });
-      return await this.startProofIfNeeded(epochNumber);
-    } catch (err) {
-      if (err instanceof EmptyEpochError) {
-        this.log.info(`Not starting proof for ${epochNumber} since no blocks were found`);
-      } else {
-        this.log.error(`Error handling epoch completed`, err);
-      }
-      return false;
-    }
+  /** Observability summary for the ProverNodeApi. */
+  public getJobs(): Promise<{ uuid: string; status: EpochProvingJobState; epochNumber: EpochNumber }[]> {
+    return Promise.resolve(this.sessionManager?.getJobs() ?? []);
   }
 
-  /**
-   * Starts the prover node so it periodically checks for unproven epochs in the unfinalized chain from L1 and
-   * starts proving jobs for them.
-   */
-  async start() {
-    this.epochsMonitor.start(this);
-    await this.publisherFactory.start();
-    this.publisher = await this.publisherFactory.create();
-    await this.rewardsMetrics.start();
-    this.l1Metrics.start();
-    this.log.info(`Started Prover Node with prover id ${this.prover.getProverId().toString()}`, this.config);
+  /** Tests inspect this when validating reconcile behaviour. */
+  public getCheckpointStore(): CheckpointStore {
+    return this.checkpointStore;
   }
 
-  /**
-   * Stops the prover node and all its dependencies.
-   * Resources not owned by this node (shared with the parent aztec-node) are skipped.
-   */
-  async stop() {
-    this.log.info('Stopping ProverNode');
-    await this.epochsMonitor.stop();
-    this.publisher?.interrupt();
-    await Promise.all(Array.from(this.jobs.values()).map(job => job.stop()));
-    await this.prover.stop();
-    await tryStop(this.publisherFactory);
-    this.rewardsMetrics.stop();
-    this.l1Metrics.stop();
-    await this.telemetryClient.stop();
-    this.log.info('Stopped ProverNode');
+  /** Tests inspect this to verify chonk-cache release semantics. */
+  public getChonkCache(): ChonkCache {
+    return this.chonkCache;
   }
 
-  /** Returns world state status. */
-  public async getWorldStateSyncStatus(): Promise<WorldStateSyncStatus> {
-    const { syncSummary } = await this.worldState.status();
-    return syncSummary;
+  /** Tests inspect this when looking up live sessions. */
+  public getSessionManager(): SessionManager {
+    if (!this.sessionManager) {
+      throw new Error('SessionManager not yet constructed — start() must be called first.');
+    }
+    return this.sessionManager;
   }
 
-  /** Returns archiver status. */
-  public getL2Tips() {
-    return this.l2BlockSource.getL2Tips();
+  /** Returns the underlying prover instance. */
+  public getProver() {
+    return this.prover;
   }
 
-  /**
-   * Starts a proving process and returns immediately.
-   */
-  public async startProof(epochNumber: EpochNumber) {
-    await this.startProofIfNeeded(epochNumber, { skipEpochCheck: true });
+  // ---------------- L2BlockStream handler ----------------
+
+  public async handleBlockStreamEvent(event: L2BlockStreamEvent): Promise<void> {
+    switch (event.type) {
+      case 'chain-checkpointed':
+        await this.processCheckpointJump(event.checkpoint.number);
+        break;
+      case 'chain-pruned':
+        await this.handlePruneEvent(event.block);
+        break;
+      case 'chain-proven':
+        this.publishingService?.onChainProven(BlockNumber(event.block.number));
+        break;
+      // The proposed tip drives only the tips store's walk-back history (recorded below); the prover-node
+      // tracks checkpoints, not proposed blocks. `blocks-added` is never emitted in tips-only mode, and
+      // `chain-finalized` carries nothing the prover-node acts on.
+      case 'chain-proposed':
+      case 'chain-finalized':
+      case 'blocks-added':
+        break;
+      default: {
+        const _: never = event;
+        break;
+      }
+    }
+    // Expiry is driven by the archiver's latest synced L2 slot
+    await this.checkEpochExpiry();
+    // Advance the local tips store only after the proving-side handling has succeeded. Any
+    // failure above propagates to the L2BlockStream (which logs and stops this poll pass) and
+    // skips this update, so the event is re-emitted on the next poll rather than skipped (A-1041).
+    await this.tipsStore.handleBlockStreamEvent(event);
   }
 
-  private async startProofIfNeeded(epochNumber: EpochNumber, opts: EpochProvingJobOptions = {}): Promise<boolean> {
-    if (this.startingProofEpochs.has(epochNumber)) {
-      this.log.warn(`Not starting proof for ${epochNumber} since a proof is already being started for the epoch`, {
-        epochNumber,
+  /**
+   * Walks every checkpoint between the local cursor and the newly-reported checkpointed tip, registering
+   * each one that belongs to an epoch that can still be proven. The block stream now delivers a single thin
+   * `chain-checkpointed` tip event per pass rather than one fat event per checkpoint, so this drives the
+   * catch-up itself: light metadata first (`getCheckpointsData`) to decide relevance per epoch, then a heavy
+   * `getCheckpoints` fetch only for checkpoints in provable epochs.
+   *
+   * The cursor advances one checkpoint at a time and only after that checkpoint's proving-side handling has
+   * fully succeeded, preserving the A-1041 at-least-once semantics: a mid-jump failure leaves the cursor
+   * behind so the next pass retries from the first checkpoint that did not complete.
+   */
+  private async processCheckpointJump(targetCheckpoint: CheckpointNumber): Promise<void> {
+    if (targetCheckpoint <= this.lastProcessedCheckpoint) {
+      return;
+    }
+    const l1Constants = await this.getL1Constants();
+
+    // Cap the catch-up at the `(proofSubmissionEpochs + 1) * epochDuration` most recent checkpoints.
+    // When the cursor is much further behind (e.g. resyncing after a long time offline), fetching the whole gap could
+    // load thousands of checkpoints we cannot act on: anything older than the last two epochs is already past
+    // its proof-submission window, so we skip it and jump the cursor forward to the start of the capped range.
+    const maxCheckpoints = (l1Constants.proofSubmissionEpochs + 1) * l1Constants.epochDuration;
+    let from = CheckpointNumber(this.lastProcessedCheckpoint + 1);
+    if (Number(targetCheckpoint - from) + 1 > maxCheckpoints) {
+      const cappedFrom = CheckpointNumber(targetCheckpoint - maxCheckpoints + 1);
+      this.log.warn(`Skipping unprovable checkpoints during catch-up; the prover node is far behind`, {
+        from,
+        cappedFrom,
+        targetCheckpoint,
+        maxCheckpoints,
       });
-      return false;
+      // Advance the cursor past the skipped checkpoints so they are never retried.
+      this.lastProcessedCheckpoint = CheckpointNumber(cappedFrom - 1);
+      from = cappedFrom;
     }
-
-    this.startingProofEpochs.add(epochNumber);
-
-    try {
-      const activeJobs = await this.activeJobsCoverEpoch(epochNumber);
-      if (activeJobs.length > 0) {
-        this.log.warn(`Not starting proof for ${epochNumber} since an active job already covers the epoch`, {
-          epochNumber,
-          activeJobs,
-        });
-        return true;
+    const limit = Number(targetCheckpoint - from) + 1;
+    const metadatas = await this.l2BlockSource.getCheckpointsData({ from, limit });
+
+    // Per-epoch relevance is cached so a multi-checkpoint epoch resolves it once. Skipping is whole-epoch
+    // only: the SessionManager requires an epoch's checkpoints fully covered before it opens a session, so we
+    // never drop an individual checkpoint inside an epoch we will prove.
+    const epochSkippable = new Map<EpochNumber, boolean>();
+    for (const metadata of metadatas) {
+      const epochNumber = getEpochAtSlot(metadata.header.slotNumber, l1Constants);
+      let skippable = epochSkippable.get(epochNumber);
+      if (skippable === undefined) {
+        skippable =
+          (await this.isEpochFullyProven(epochNumber, l1Constants)) ||
+          (await this.isEpochPastProofSubmissionWindow(epochNumber, l1Constants));
+        epochSkippable.set(epochNumber, skippable);
       }
-
-      await this.startProofInternal(epochNumber, opts);
-      return true;
-    } finally {
-      this.startingProofEpochs.delete(epochNumber);
+      if (skippable) {
+        this.log.debug(`Skipping checkpoint ${metadata.checkpointNumber} for unprovable epoch ${epochNumber}`);
+      } else {
+        await this.registerCheckpoint(metadata.checkpointNumber, epochNumber);
+      }
+      // Advance only after the checkpoint's handling succeeded (or it was legitimately skipped). registerCheckpoint
+      // throws on failure, which leaves the cursor here for the next pass to retry (A-1041).
+      this.lastProcessedCheckpoint = metadata.checkpointNumber;
     }
   }
 
-  private async startProofInternal(epochNumber: EpochNumber, opts: EpochProvingJobOptions = {}) {
-    const job = await this.createProvingJob(epochNumber, opts);
-    void this.runJob(job);
+  /** Heavy-fetch a single checkpoint, register it with the store, and notify the session manager. */
+  private async registerCheckpoint(checkpointNumber: CheckpointNumber, epochNumber: EpochNumber): Promise<void> {
+    const published = await this.l2BlockSource.getCheckpoint({ number: checkpointNumber });
+    if (!published) {
+      throw new Error(`Checkpoint ${checkpointNumber} not found in block source during catch-up`);
+    }
+    const checkpoint = published.checkpoint;
+    this.log.info(`New checkpoint ${checkpoint.number} for epoch ${epochNumber}`, {
+      checkpointNumber: checkpoint.number,
+      epochNumber,
+      slotNumber: checkpoint.header.slotNumber,
+    });
+
+    const registerData = await this.collectRegisterData(checkpoint, published.attestations);
+    await this.checkpointStore.addOrUpdate(checkpoint, registerData);
+    await this.sessionManager?.onCheckpointAdded(epochNumber);
+
+    // Tips-only mode delivers no blocks, so record one witness per checkpointed block: a reorg into the checkpoint's
+    // range then prunes at the true divergence instead of the nearest sparse tip anchor.
+    await this.tipsStore.recordBlockHashes(
+      await Promise.all(
+        checkpoint.blocks.map(async block => ({ number: block.number, hash: (await block.header.hash()).toString() })),
+      ),
+    );
   }
 
-  private async runJob(job: EpochProvingJob) {
-    const epochNumber = job.getEpochNumber();
-    const ctx = { id: job.getId(), epochNumber, state: undefined as EpochProvingJobState | undefined };
+  /**
+   * Gathers register-time data for a checkpoint: previous block header, L1-to-L2 messages,
+   * and the archive sibling path.
+   */
+  private async collectRegisterData(
+    checkpoint: Checkpoint,
+    attestations: PublishedCheckpoint['attestations'],
+  ): Promise<RegisterCheckpointData> {
+    const previousBlockNumber = BlockNumber(checkpoint.blocks[0].number - 1);
+    const previousBlockHeader = await this.gatherPreviousBlockHeader(previousBlockNumber);
+    const l1ToL2Messages = await this.l1ToL2MessageSource.getL1ToL2Messages(checkpoint.number);
+    const lastBlock = checkpoint.blocks.at(-1)!;
+    const lastBlockHash = await lastBlock.header.hash();
+    await this.worldState.syncImmediate(lastBlock.number, lastBlockHash);
+    const previousArchiveSiblingPath = await getLastSiblingPath(
+      MerkleTreeId.ARCHIVE,
+      this.worldState.getSnapshot(previousBlockNumber),
+    );
+    return {
+      attestations,
+      previousBlockHeader,
+      l1ToL2Messages,
+      previousArchiveSiblingPath,
+    };
+  }
 
-    try {
-      await job.run();
-      const state = job.getState();
-      ctx.state = state;
-
-      if (state === 'reorg') {
-        this.log.warn(`Running new job for epoch ${epochNumber} due to reorg`, ctx);
-        await this.createProvingJob(epochNumber);
-      } else if (state === 'failed') {
-        this.log.error(`Job for ${epochNumber} exited with state ${state}`, ctx);
-        await this.tryUploadEpochFailure(job);
-      } else {
-        this.log.verbose(`Job for ${epochNumber} exited with state ${state}`, ctx);
+  /**
+   * Marks every prover orphaned by the prune as pruned, clamps the catch-up cursor below the prune target's
+   * checkpoint, and notifies the session manager. Keyed off the prune target block (the highest surviving block)
+   * rather than the source's checkpointed tip, which can sit above the target after a re-checkpoint and would leave
+   * orphaned provers canonical. Throws (rather than warning) if the cursor floor cannot be resolved, so the pass
+   * fails and the prune is retried next iteration.
+   */
+  private async handlePruneEvent(prunedToBlock: L2BlockId) {
+    this.log.warn(`Chain pruned to block ${prunedToBlock.number}`, { prunedToBlock });
+
+    // Resolve the cursor floor BEFORE marking provers: markPrunedAboveBlock returns only newly-marked provers, so a
+    // throw after marking would leave a retry pass with nothing to act on. Resolving first means a throw leaves
+    // everything untouched and the next pass retries the whole handler (the tips cursor only advances on success).
+    let cursorFloor: CheckpointNumber;
+    if (prunedToBlock.number === 0) {
+      cursorFloor = CheckpointNumber.ZERO;
+    } else {
+      const targetData = await this.l2BlockSource.getBlockData({ number: prunedToBlock.number });
+      if (targetData === undefined) {
+        throw new Error(
+          `No block data found for prune target block ${prunedToBlock.number}; cannot clamp checkpoint cursor`,
+        );
       }
-    } catch (err) {
-      this.log.error(`Error proving epoch ${epochNumber}`, err, ctx);
-    } finally {
-      this.jobs.delete(job.getId());
+      // Clamp to `cpAtTarget - 1`: a mid-checkpoint target leaves that checkpoint partially orphaned and it must be
+      // reprocessed. Over-clamping merely re-registers a checkpoint (at-least-once by design — A-1041); under-clamping
+      // would permanently skip a rebuilt same-number checkpoint.
+      cursorFloor = CheckpointNumber(Math.max(0, Number(targetData.checkpointNumber) - 1));
     }
-  }
 
-  protected async tryUploadEpochFailure(job: EpochProvingJob) {
-    if (this.config.proverNodeFailedEpochStore) {
-      return await uploadEpochProofFailure(
-        this.config.proverNodeFailedEpochStore,
-        job.getId(),
-        job.getProvingData(),
-        this.l2BlockSource as Archiver,
-        this.worldState,
-        assertRequired(pick(this.config, 'l1ChainId', 'rollupVersion', 'dataDirectory')),
-        this.log,
-      );
+    const affected = this.checkpointStore.markPrunedAboveBlock(prunedToBlock.number);
+
+    if (this.lastProcessedCheckpoint > cursorFloor) {
+      this.lastProcessedCheckpoint = cursorFloor;
     }
+
+    if (affected.length === 0) {
+      return;
+    }
+    const l1Constants = await this.getL1Constants();
+    const affectedEpochs = Array.from(
+      new Set(affected.map(p => Number(getEpochAtSlot(p.slotNumber, l1Constants)))),
+    ).map(n => EpochNumber(n));
+    // The session manager cancels every affected session, which in turn calls
+    // publishingService.withdraw(uuid) for each candidate; no separate notification to the
+    // publishing service is needed.
+    await this.sessionManager?.onPrune(affectedEpochs);
   }
 
   /**
-   * Returns the prover instance.
+   * Returns true once the chain has advanced past the given epoch's proof-submission window.
+   * Used to ignore checkpoints whose epoch can no longer be proven in time — chiefly while the
+   * archiver replays old blocks after a restart. Compares the archiver's latest synced L2 slot
+   * against the epoch's submission-deadline epoch; conservatively returns false if the slot can't
+   * be read yet.
    */
-  public getProver() {
-    return this.prover;
+  private async isEpochPastProofSubmissionWindow(
+    epochNumber: EpochNumber,
+    l1Constants: L1RollupConstants,
+  ): Promise<boolean> {
+    const latestSlot = await this.l2BlockSource.getSyncedL2SlotNumber();
+    if (latestSlot === undefined) {
+      return false;
+    }
+    const latestEpoch = getEpochAtSlot(latestSlot, l1Constants);
+    return latestEpoch >= getProofSubmissionDeadlineEpoch(epochNumber, l1Constants);
   }
 
   /**
-   * Returns an array of jobs being processed.
+   * Compares the archiver's latest synced L2 slot against `lastExpiredEpoch` and, for each
+   * newly-expired epoch, releases the chonk-cache entries for its blocks and reaps any
+   * CheckpointProvers in the store. An epoch E is expired once the chain reaches the start
+   * of epoch `E + proofSubmissionEpochs + 1`. Silently no-ops if nothing has expired since
+   * the last check or the archiver's slot can't be read.
    */
-  public getJobs(): Promise<{ uuid: string; status: EpochProvingJobState; epochNumber: EpochNumber }[]> {
-    return Promise.resolve(this.getJobsInternal());
+  private async checkEpochExpiry(): Promise<void> {
+    const latestSlot = await this.l2BlockSource.getSyncedL2SlotNumber();
+    if (latestSlot === undefined) {
+      return;
+    }
+    const l1Constants = await this.getL1Constants();
+    const latestEpoch = getEpochAtSlot(latestSlot, l1Constants);
+    const offset = l1Constants.proofSubmissionEpochs + 1;
+    if (latestEpoch < offset) {
+      return;
+    }
+    const newlyExpiredUpTo = EpochNumber(latestEpoch - offset);
+    const from = this.lastExpiredEpoch === undefined ? EpochNumber(0) : EpochNumber(this.lastExpiredEpoch + 1);
+    if (newlyExpiredUpTo < from) {
+      return;
+    }
+    for (let e = from; e <= newlyExpiredUpTo; e = EpochNumber(e + 1)) {
+      await this.expireEpoch(e);
+    }
+    this.lastExpiredEpoch = newlyExpiredUpTo;
   }
 
-  private getJobsInternal(): { uuid: string; status: EpochProvingJobState; epochNumber: EpochNumber }[] {
-    return Array.from(this.jobs.entries()).map(([uuid, job]) => ({
-      uuid,
-      status: job.getState(),
-      epochNumber: job.getEpochNumber(),
-    }));
+  /**
+   * Releases chonk-cache entries for every block in the supplied epoch (best-effort) and
+   * reaps every CheckpointProver in the store whose epoch number matches.
+   */
+  private async expireEpoch(epoch: EpochNumber): Promise<void> {
+    try {
+      const blocks = await this.l2BlockSource.getBlocks({ epoch, onlyCheckpointed: true });
+      if (blocks.length > 0) {
+        this.chonkCache.releaseForBlocks(blocks);
+      }
+    } catch (err) {
+      this.log.warn(`Could not release chonk-cache entries for expired epoch ${epoch}`, err);
+    }
+    this.checkpointStore.reapExpired(epoch);
   }
 
-  private async activeJobsCoverEpoch(epochNumber: EpochNumber): Promise<string[]> {
-    const checkpoints = await this.l2BlockSource.getCheckpointsData({ epoch: epochNumber });
-    if (checkpoints.length === 0) {
-      return [];
-    }
+  // ---------------- public API ----------------
 
-    const firstCheckpoint = checkpoints.at(0)!.checkpointNumber;
-    const latestCheckpoint = checkpoints.at(-1)!.checkpointNumber;
+  /**
+   * Schedules proving for the given epoch and returns the job id without waiting for completion.
+   */
+  public async startProof(epochNumber: EpochNumber): Promise<string> {
+    if (!this.sessionManager) {
+      throw new Error('ProverNode not started');
+    }
+    return await this.sessionManager.startProof(epochNumber);
+  }
 
-    const jobs: string[] = [];
-    for (const job of this.jobs.values()) {
-      if (job.getEpochNumber() !== epochNumber) {
-        continue;
-      }
+  // ---------------- Service lifecycle ----------------
 
-      const jobCheckpoints = job.getProvingData().checkpoints;
-      const checkpointOverlap =
-        jobCheckpoints.at(0)!.number <= firstCheckpoint && jobCheckpoints.at(-1)!.number >= latestCheckpoint;
+  async start() {
+    await this.checkpointStore.start();
 
-      if (checkpointOverlap && !['failed', 'stopped', 'timed-out'].includes(job.getState())) {
-        jobs.push(job.getId());
-      }
-    }
+    await this.publisherFactory.start();
+    this.publishingService = new ProofPublishingService({
+      publisherFactory: this.publisherFactory,
+      l2BlockSource: this.l2BlockSource,
+      dateProvider: this.dateProvider,
+      config: { skipSubmitProof: !!this.config.proverNodeDisableProofPublish },
+      bindings: this.log.getBindings(),
+    });
+    this.sessionManager = this.createSessionManager(this.publishingService);
+    // SessionManager owns its own periodic tick; start it here so it begins picking up
+    // epochs that become complete by time (no fresh checkpoint event) and advances once
+    // the previous epoch is proven on L1.
+    this.sessionManager.start();
+    // Now that the store + manager exist, arm the live-state observable gauges.
+    this.jobMetrics.observeState(this.checkpointStore, this.sessionManager);
+
+    const { lastFullyProvenEpoch } = await this.resolveLastFullyProvenEpoch();
+    this.lastExpiredEpoch = lastFullyProvenEpoch;
+    this.lastProcessedCheckpoint = await this.computeStartingCheckpoint(lastFullyProvenEpoch);
+    this.blockStream = new EventDrivenL2BlockStream(this.l2BlockSource, this.tipsStore, this, this.log, {
+      pollIntervalMS: this.config.proverNodePollingIntervalMs,
+      tipsOnly: true,
+    });
+    this.blockStream.start();
+
+    // With thin once-per-pass tip events, the expiry sweep no longer fires once per checkpoint; drive it
+    // from a periodic tick so epochs still expire during idle/no-event periods.
+    this.expiryTicker = new RunningPromise(
+      () => this.checkEpochExpiry(),
+      this.log,
+      this.config.proverNodePollingIntervalMs,
+    );
+    this.expiryTicker.start();
 
-    return jobs;
+    await this.rewardsMetrics.start();
+    this.l1Metrics.start();
+    this.log.info(`Started Prover Node with prover id ${this.prover.getProverId().toString()}`, this.config);
   }
 
-  private checkMaximumPendingJobs() {
-    const { proverNodeMaxPendingJobs: maxPendingJobs } = this.config;
-    if (maxPendingJobs > 0 && this.jobs.size >= maxPendingJobs) {
-      throw new Error(`Maximum pending proving jobs ${maxPendingJobs} reached. Cannot create new job.`);
+  async stop() {
+    this.log.info('Stopping ProverNode');
+    this.jobMetrics.stopObservingState();
+    await this.blockStream?.stop();
+    await this.expiryTicker?.stop();
+    if (this.sessionManager) {
+      await this.sessionManager.stop();
+    }
+    if (this.publishingService) {
+      // Bound the wait: the publishing service blocks until any in-flight L1 proof-submission tx
+      // settles, which can outlast a reasonable shutdown window. On timeout we log and move on —
+      // the tx may still mine, but shutdown must not hang on it.
+      const publishingService = this.publishingService;
+      await executeTimeout(
+        () => publishingService.stop(),
+        PUBLISHING_SERVICE_STOP_TIMEOUT_MS,
+        'prover-node publishing-service stop',
+      ).catch(err => this.log.warn(`Timed out stopping proof publishing service`, err));
     }
+    await this.checkpointStore.stop();
+    this.chonkCache.stop();
+    await this.prover.stop();
+    await tryStop(this.publisherFactory);
+    this.rewardsMetrics.stop();
+    this.l1Metrics.stop();
+    await this.telemetryClient.stop();
+    this.log.info('Stopped ProverNode');
   }
 
-  @trackSpan('ProverNode.createProvingJob', epochNumber => ({ [Attributes.EPOCH_NUMBER]: epochNumber }))
-  private async createProvingJob(epochNumber: EpochNumber, opts: { skipEpochCheck?: boolean } = {}) {
-    this.checkMaximumPendingJobs();
-
-    this.publisher = await this.publisherFactory.create();
-
-    // Gather all data for this epoch
-    const epochData = await this.gatherEpochData(epochNumber);
-    const fromCheckpoint = epochData.checkpoints[0].number;
-    const toCheckpoint = epochData.checkpoints.at(-1)!.number;
-    const fromBlock = epochData.checkpoints[0].blocks[0].number;
-    const lastBlock = epochData.checkpoints.at(-1)!.blocks.at(-1)!;
-    const toBlock = lastBlock.number;
-    this.log.verbose(
-      `Creating proving job for epoch ${epochNumber} for checkpoint range ${fromCheckpoint} to ${toCheckpoint} and block range ${fromBlock} to ${toBlock}`,
-    );
+  /**
+   * Constructs the session manager. Extracted so subclasses (test harness) can swap
+   * the implementation. Wired to `tryUploadSessionFailure` so failed sessions get
+   * their proving data uploaded.
+   */
+  protected createSessionManager(publishingService: ProofPublishingService): SessionManager {
+    return new SessionManager({
+      checkpointStore: this.checkpointStore,
+      l2BlockSource: this.l2BlockSource,
+      proverFactory: this.prover,
+      proverId: this.prover.getProverId(),
+      publishingService,
+      metrics: this.jobMetrics,
+      dateProvider: this.dateProvider,
+      config: {
+        maxPendingJobs: this.config.proverNodeMaxPendingJobs,
+        tickIntervalMs: this.config.proverNodePollingIntervalMs,
+        finalizationDelayMs: this.config.proverNodeEpochProvingDelayMs,
+      },
+      onSessionFailed: async session => {
+        await this.tryUploadSessionFailure(session);
+      },
+      bindings: this.log.getBindings(),
+    });
+  }
 
-    // Fast forward world state to right before the target block and get a fork
-    const lastBlockHash = await lastBlock.header.hash();
-    await this.worldState.syncImmediate(toBlock, lastBlockHash);
+  /**
+   * Installs session hooks for the e2e harness to interpose around top-tree proving
+   * (gate, override, or observe it) without monkey-patching the orchestrator factory.
+   * Applies to every session constructed after this call.
+   */
+  public setSessionHooks(hooks: EpochSessionHooks): void {
+    if (!this.sessionManager) {
+      throw new Error('ProverNode not started; call start() before setting session hooks.');
+    }
+    this.sessionManager.setSessionHooks(hooks);
+  }
 
-    // Create a processor factory
-    const publicProcessorFactory = new PublicProcessorFactory(
-      this.contractDataSource,
-      this.dateProvider,
-      this.telemetryClient,
-      this.log.getBindings(),
+  /** Uploads failure snapshots when sessions exit with `failed`. Exposed as a method so tests can spy on it. */
+  public async tryUploadSessionFailure(session: EpochSession): Promise<string | undefined> {
+    if (!this.config.proverNodeFailedEpochStore) {
+      return undefined;
+    }
+    const data = SessionManager.buildSessionProvingData(session);
+    return await uploadEpochProofFailure(
+      this.config.proverNodeFailedEpochStore,
+      session.getId(),
+      data,
+      this.l2BlockSource as Archiver,
+      this.worldState,
+      assertRequired(pick(this.config, 'l1ChainId', 'rollupVersion', 'dataDirectory')),
+      this.log,
     );
-
-    // Set deadline for this job to run. It will abort if it takes too long.
-    const deadlineTs = getProofSubmissionDeadlineTimestamp(epochNumber, await this.getL1Constants());
-    const deadline = new Date(Number(deadlineTs) * 1000);
-    const job = this.doCreateEpochProvingJob(epochData, deadline, publicProcessorFactory, this.publisher, opts);
-    this.jobs.set(job.getId(), job);
-    return job;
   }
 
+  // ---------------- helpers ----------------
+
   @memoize
-  private getL1Constants() {
+  private getL1Constants(): Promise<L1RollupConstants> {
     return this.l2BlockSource.getL1Constants();
   }
 
-  @trackSpan('ProverNode.gatherEpochData', epochNumber => ({ [Attributes.EPOCH_NUMBER]: epochNumber }))
-  private async gatherEpochData(epochNumber: EpochNumber): Promise<EpochProvingJobData> {
-    const publishedCheckpoints = await this.l2BlockSource.getCheckpoints({ epoch: epochNumber });
-    if (publishedCheckpoints.length === 0) {
-      throw new EmptyEpochError(epochNumber);
+  /**
+   * Returns true if every block in the given epoch is proven on L1. An epoch is only
+   * fully proven when its *last* block is proven. Protected for direct unit-test access.
+   */
+  protected async isEpochFullyProven(
+    epochNumber: EpochNumber,
+    l1Constants: Pick<L1RollupConstants, 'epochDuration'>,
+  ): Promise<boolean> {
+    const provenBlockNumber = await this.l2BlockSource.getBlockNumber({ tag: 'proven' });
+    if (!provenBlockNumber || provenBlockNumber <= 0) {
+      return false;
+    }
+    const provenHeader = (await this.l2BlockSource.getBlockData({ number: BlockNumber(provenBlockNumber) }))?.header;
+    if (!provenHeader) {
+      return false;
     }
-    const checkpoints = publishedCheckpoints.map(p => p.checkpoint);
-    const attestations = publishedCheckpoints.at(-1)?.attestations ?? [];
-    const txArray = await this.gatherTxs(epochNumber, checkpoints);
-    const txs = new Map<string, Tx>(txArray.map(tx => [tx.getTxHash().toString(), tx]));
-    const l1ToL2Messages = await this.gatherMessages(epochNumber, checkpoints);
-    const [firstBlock] = checkpoints[0].blocks;
-    const previousBlockHeader = await this.gatherPreviousBlockHeader(epochNumber, firstBlock.number - 1);
-
-    return { checkpoints, txs, l1ToL2Messages, epochNumber, previousBlockHeader, attestations };
+    const provenEpoch = getEpochAtSlot(provenHeader.getSlot(), l1Constants);
+    if (epochNumber < provenEpoch) {
+      return true;
+    }
+    if (epochNumber > provenEpoch) {
+      return false;
+    }
+    return this.isProvenBlockLastOfItsEpoch(BlockNumber(provenBlockNumber), provenEpoch, l1Constants);
   }
 
-  private async gatherTxs(epochNumber: EpochNumber, checkpoints: Checkpoint[]) {
-    const deadline = new Date(this.dateProvider.now() + this.config.txGatheringTimeoutMs);
-    const txProvider = this.p2pClient.getTxProvider();
-    const blocks = checkpoints.flatMap(checkpoint => checkpoint.blocks);
-    const txsByBlock = await Promise.all(blocks.map(block => txProvider.getTxsForBlock(block, { deadline })));
-    const txs = txsByBlock.map(({ txs }) => txs).flat();
-    const missingTxs = txsByBlock.map(({ missingTxs }) => missingTxs).flat();
-
-    if (missingTxs.length === 0) {
-      this.log.verbose(`Gathered all ${txs.length} txs for epoch ${epochNumber}`, { epochNumber });
-      return txs;
+  /** Protected for direct unit-test access. */
+  protected async isProvenBlockLastOfItsEpoch(
+    provenBlockNumber: BlockNumber,
+    provenEpoch: EpochNumber,
+    l1Constants: Pick<L1RollupConstants, 'epochDuration'>,
+  ): Promise<boolean> {
+    const nextHeader = (await this.l2BlockSource.getBlockData({ number: BlockNumber(provenBlockNumber + 1) }))?.header;
+    if (nextHeader) {
+      return getEpochAtSlot(nextHeader.getSlot(), l1Constants) > provenEpoch;
     }
+    return this.l2BlockSource.isEpochComplete(provenEpoch);
+  }
 
-    throw new Error(`Txs not found for epoch ${epochNumber}: ${missingTxs.map(hash => hash.toString()).join(', ')}`);
+  /**
+   * Resolves the last fully-proven epoch from L1 proven state, used to seed the catch-up cursor (via
+   * `computeStartingCheckpoint`) and `lastExpiredEpoch`. The fully-proven epoch is `provenEpoch` when the
+   * proven tip is the last block of its epoch, otherwise `provenEpoch - 1`, or `undefined` if no block is
+   * proven yet (so a restart reprocesses the partially-proven epoch rather than trusting a stale tip).
+   */
+  protected async resolveLastFullyProvenEpoch(): Promise<{ lastFullyProvenEpoch: EpochNumber | undefined }> {
+    const provenBlockNumber = await this.l2BlockSource.getBlockNumber({ tag: 'proven' });
+    if (!provenBlockNumber || provenBlockNumber <= 0) {
+      return { lastFullyProvenEpoch: undefined };
+    }
+    const l1Constants = await this.getL1Constants();
+    const provenHeader = (await this.l2BlockSource.getBlockData({ number: BlockNumber(provenBlockNumber) }))?.header;
+    if (!provenHeader) {
+      return { lastFullyProvenEpoch: undefined };
+    }
+    const provenEpoch = getEpochAtSlot(provenHeader.getSlot(), l1Constants);
+    if (await this.isProvenBlockLastOfItsEpoch(BlockNumber(provenBlockNumber), provenEpoch, l1Constants)) {
+      return { lastFullyProvenEpoch: provenEpoch };
+    }
+    const lastFullyProvenEpoch = provenEpoch > 0 ? EpochNumber(provenEpoch - 1) : undefined;
+    return { lastFullyProvenEpoch };
   }
 
-  private async gatherMessages(epochNumber: EpochNumber, checkpoints: Checkpoint[]) {
-    const messages = await Promise.all(checkpoints.map(c => this.l1ToL2MessageSource.getL1ToL2Messages(c.number)));
-    const messageCount = sum(messages.map(m => m.length));
-    this.log.verbose(`Gathered all ${messageCount} messages for epoch ${epochNumber}`, { epochNumber });
-    const messagesByCheckpoint: Record<CheckpointNumber, Fr[]> = {};
-    for (let i = 0; i < checkpoints.length; i++) {
-      messagesByCheckpoint[checkpoints[i].number] = messages[i];
+  /**
+   * Resolves the catch-up cursor seed: the last checkpoint of the last fully-proven epoch, or 0 if none. Seeding
+   * from a checkpoint (rather than a checkpointed tip) guarantees a restart reprocesses every checkpoint of the
+   * partially-proven epoch, since the checkpointed tip can sit ahead of the last fully-proven checkpoint.
+   */
+  protected async computeStartingCheckpoint(lastFullyProvenEpoch: EpochNumber | undefined): Promise<CheckpointNumber> {
+    if (lastFullyProvenEpoch === undefined) {
+      return CheckpointNumber.ZERO;
     }
-    return messagesByCheckpoint;
+    const checkpoints = await this.l2BlockSource.getCheckpointsData({ epoch: lastFullyProvenEpoch });
+    return checkpoints.at(-1)?.checkpointNumber ?? CheckpointNumber.ZERO;
   }
 
-  private async gatherPreviousBlockHeader(epochNumber: EpochNumber, previousBlockNumber: number) {
+  private async gatherPreviousBlockHeader(previousBlockNumber: number) {
     const data = await this.l2BlockSource.getBlockData({ number: BlockNumber(previousBlockNumber) });
     if (!data?.header) {
-      throw new Error(`Previous block header ${previousBlockNumber} not found for proving epoch ${epochNumber}`);
+      throw new Error(`Previous block header ${previousBlockNumber} not found`);
     }
-
-    this.log.verbose(`Gathered previous block header ${data.header.getBlockNumber()} for epoch ${epochNumber}`);
     return data.header;
   }
 
-  /** Extracted for testing purposes. */
-  protected doCreateEpochProvingJob(
-    data: EpochProvingJobData,
-    deadline: Date | undefined,
-    publicProcessorFactory: PublicProcessorFactory,
-    publisher: ProverNodePublisher,
-    opts: { skipEpochCheck?: boolean } = {},
-  ) {
-    const { proverNodeMaxParallelBlocksPerEpoch: parallelBlockLimit, proverNodeDisableProofPublish } = this.config;
-    return new EpochProvingJob(
-      data,
-      this.worldState,
-      this.prover.createEpochProver(),
-      publicProcessorFactory,
-      publisher,
-      this.l2BlockSource,
-      this.jobMetrics,
-      deadline,
-      { parallelBlockLimit, skipSubmitProof: proverNodeDisableProofPublish, ...opts },
-      this.log.getBindings(),
-    );
-  }
-
-  /** Extracted for testing purposes. */
-  protected async triggerMonitors() {
-    await this.epochsMonitor.work();
-  }
-
   private validateConfig() {
     if (
       this.config.proverNodeFailedEpochStore &&
@@ -453,9 +723,5 @@ export class ProverNode implements EpochMonitorHandler, ProverNodeApi, Traceable
   }
 }
 
-class EmptyEpochError extends Error {
-  constructor(epochNumber: EpochNumber) {
-    super(`No blocks found for epoch ${epochNumber}`);
-    this.name = 'EmptyEpochError';
-  }
-}
+// Re-export so handlers can compare states externally.
+export { EpochProvingJobTerminalState };