@aztec/prover-node 0.0.0-test.1 → 0.0.1-commit.017a351

package/dest/prover-node-publisher.js

@@ -1,31 +1,36 @@
-import { AGGREGATION_OBJECT_LENGTH, AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { getEthBlobEvaluationInputs } from '@aztec/blob-lib';
+import { MAX_CHECKPOINTS_PER_EPOCH } from '@aztec/constants';
 import { makeTuple } from '@aztec/foundation/array';
-import { areArraysEqual, times } from '@aztec/foundation/collection';
+import { CheckpointNumber } from '@aztec/foundation/branded-types';
+import { areArraysEqual } from '@aztec/foundation/collection';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { EthAddress } from '@aztec/foundation/eth-address';
-import { Fr } from '@aztec/foundation/fields';
 import { createLogger } from '@aztec/foundation/log';
-import { serializeToBuffer } from '@aztec/foundation/serialize';
-import { InterruptibleSleep } from '@aztec/foundation/sleep';
+import { retryUntil } from '@aztec/foundation/retry';
 import { Timer } from '@aztec/foundation/timer';
 import { RollupAbi } from '@aztec/l1-artifacts';
+import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
+import { getProofSubmissionDeadlineTimestamp } from '@aztec/stdlib/epoch-helpers';
 import { getTelemetryClient } from '@aztec/telemetry-client';
-import { encodeFunctionData } from 'viem';
-import { ProverNodeMetrics } from './metrics.js';
+import { inspect } from 'util';
+import { encodeFunctionData, formatEther, formatGwei } from 'viem';
+import { ProverNodePublisherMetrics } from './metrics.js';
 export class ProverNodePublisher {
-    interruptibleSleep = new InterruptibleSleep();
-    sleepTimeMs;
     interrupted = false;
     metrics;
-    log = createLogger('prover-node:l1-tx-publisher');
+    log;
     rollupContract;
     l1TxUtils;
-    constructor(config, deps){
-        this.sleepTimeMs = config?.l1PublishRetryIntervalMS ?? 60_000;
+    constructor(config, deps, bindings){
         const telemetry = deps.telemetry ?? getTelemetryClient();
-        this.metrics = new ProverNodeMetrics(telemetry, 'ProverNode');
+        this.metrics = new ProverNodePublisherMetrics(telemetry, 'ProverNode');
+        this.log = createLogger('prover-node:l1-tx-publisher', bindings);
         this.rollupContract = deps.rollupContract;
         this.l1TxUtils = deps.l1TxUtils;
     }
+    getRollupContract() {
+        return this.rollupContract;
+    }
     /**
    * Calling `interrupt` will cause any in progress call to `publishRollup` to return `false` asap.
    * Be warned, the call may return false even if the tx subsequently gets successfully mined.
@@ -33,36 +38,42 @@ export class ProverNodePublisher {
    * A call to `restart` is required before you can continue publishing.
    */ interrupt() {
         this.interrupted = true;
-        this.interruptibleSleep.interrupt();
+        this.l1TxUtils.interrupt();
     }
     /** Restarts the publisher after calling `interrupt`. */ restart() {
         this.interrupted = false;
+        this.l1TxUtils.restart();
     }
     getSenderAddress() {
-        return EthAddress.fromString(this.l1TxUtils.getSenderAddress());
+        return this.l1TxUtils.getSenderAddress();
     }
     async submitEpochProof(args) {
-        const { epochNumber, fromBlock, toBlock } = args;
+        const { epochNumber, fromCheckpoint, toCheckpoint } = args;
         const ctx = {
             epochNumber,
-            fromBlock,
-            toBlock
+            fromCheckpoint,
+            toCheckpoint
         };
         if (!this.interrupted) {
+            if (!await this.waitUntilStartBuildsOnProven(args)) {
+                this.log.verbose('Checkpoint data syncing interrupted', ctx);
+                return false;
+            }
             const timer = new Timer();
             // Validate epoch proof range and hashes are correct before submitting
             await this.validateEpochProofSubmission(args);
             const txReceipt = await this.sendSubmitEpochProofTx(args);
             if (!txReceipt) {
+                this.log.error(`Failed to mine submitEpochProof tx`, undefined, ctx);
                 return false;
             }
             try {
-                this.metrics.recordSenderBalance(await this.l1TxUtils.getSenderBalance(), this.l1TxUtils.getSenderAddress());
+                this.metrics.recordSenderBalance(await this.l1TxUtils.getSenderBalance(), this.l1TxUtils.getSenderAddress().toString());
             } catch (err) {
                 this.log.warn(`Failed to record the ETH balance of the prover node: ${err}`);
             }
             // Tx was mined successfully
-            if (txReceipt.status) {
+            if (txReceipt.status === 'success') {
                 const tx = await this.l1TxUtils.getTransactionStats(txReceipt.transactionHash);
                 const stats = {
                     gasPrice: txReceipt.effectiveGasPrice,
@@ -83,66 +94,148 @@ export class ProverNodePublisher {
                 return true;
             }
             this.metrics.recordFailedTx();
-            this.log.error(`Rollup.submitEpochProof tx status failed: ${txReceipt.transactionHash}`, ctx);
-            await this.sleepOrInterrupted();
+            this.log.error(`Rollup submitEpochProof tx reverted ${txReceipt.transactionHash}`, undefined, ctx);
         }
-        this.log.verbose('L2 block data syncing interrupted while processing blocks.', ctx);
+        this.log.verbose('Checkpoint data syncing interrupted', ctx);
         return false;
     }
-    async validateEpochProofSubmission(args) {
-        const { fromBlock, toBlock, publicInputs, proof } = args;
-        // Check that the block numbers match the expected epoch to be proven
-        const { pendingBlockNumber: pending, provenBlockNumber: proven } = await this.rollupContract.getTips();
-        if (proven !== BigInt(fromBlock) - 1n) {
-            throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as proven block is ${proven}`);
+    async waitUntilStartBuildsOnProven(args) {
+        const { epochNumber, fromCheckpoint } = args;
+        const provenCheckpoint = await this.getProvenCheckpoint();
+        if (this.isStartBuildingOnProven(fromCheckpoint, provenCheckpoint)) {
+            return true;
         }
-        if (toBlock > pending) {
-            throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as pending block is ${pending}`);
+        const timeout = await this.getSecondsUntilProofSubmissionWindowEnd(epochNumber);
+        this.log.info(`Waiting for proven checkpoint to reach proof start`, {
+            epochNumber,
+            fromCheckpoint,
+            provenCheckpoint,
+            timeout
+        });
+        await retryUntil(async ()=>{
+            if (this.interrupted) {
+                return true;
+            }
+            const proven = await this.getProvenCheckpoint();
+            this.log.verbose(`Proven checkpoint is at ${proven} (waiting for ${fromCheckpoint - 1})`, {
+                epochNumber
+            });
+            return this.isStartBuildingOnProven(fromCheckpoint, proven) ? true : undefined;
+        }, `proven checkpoint to reach ${fromCheckpoint - 1}`, timeout, 4);
+        return !this.interrupted;
+    }
+    async getProvenCheckpoint() {
+        return (await this.rollupContract.getTips()).proven;
+    }
+    isStartBuildingOnProven(fromCheckpoint, provenCheckpoint) {
+        return fromCheckpoint - 1 <= provenCheckpoint;
+    }
+    async getSecondsUntilProofSubmissionWindowEnd(epochNumber) {
+        const deadline = getProofSubmissionDeadlineTimestamp(epochNumber, await this.rollupContract.getRollupConstants());
+        const now = BigInt(Math.floor(Date.now() / 1000));
+        return Math.max(Number(deadline - now), 0.001);
+    }
+    async validateEpochProofSubmission(args) {
+        const { fromCheckpoint, toCheckpoint, publicInputs, batchedBlobInputs } = args;
+        // Check that the checkpoint numbers match the expected epoch to be proven
+        const { pending, proven } = await this.rollupContract.getTips();
+        // Don't publish if proven is beyond our toCheckpoint, pointless to do so
+        if (proven > toCheckpoint) {
+            throw new Error(`Cannot submit epoch proof for ${fromCheckpoint}-${toCheckpoint} as proven checkpoint is ${proven}`);
         }
-        // Check the block hash and archive for the immediate block before the epoch
-        const blockLog = await this.rollupContract.getBlock(proven);
-        if (publicInputs.previousArchive.root.toString() !== blockLog.archive) {
-            throw new Error(`Previous archive root mismatch: ${publicInputs.previousArchive.root.toString()} !== ${blockLog.archive}`);
+        // toCheckpoint can't be greater than pending
+        if (toCheckpoint > pending) {
+            throw new Error(`Cannot submit epoch proof for ${fromCheckpoint}-${toCheckpoint} as proposed checkpoint is ${pending}`);
         }
-        // TODO: Remove zero check once we inject the proper zero blockhash
-        if (blockLog.blockHash !== Fr.ZERO.toString() && publicInputs.previousBlockHash.toString() !== blockLog.blockHash) {
-            throw new Error(`Previous block hash mismatch: ${publicInputs.previousBlockHash.toString()} !== ${blockLog.blockHash}`);
+        // Check the archive for the immediate checkpoint before the epoch
+        const checkpointLog = await this.rollupContract.getCheckpoint(CheckpointNumber(fromCheckpoint - 1));
+        if (!publicInputs.previousArchiveRoot.equals(checkpointLog.archive)) {
+            throw new Error(`Previous archive root mismatch: ${publicInputs.previousArchiveRoot.toString()} !== ${checkpointLog.archive.toString()}`);
         }
-        // Check the block hash and archive for the last block in the epoch
-        const endBlockLog = await this.rollupContract.getBlock(BigInt(toBlock));
-        if (publicInputs.endArchive.root.toString() !== endBlockLog.archive) {
-            throw new Error(`End archive root mismatch: ${publicInputs.endArchive.root.toString()} !== ${endBlockLog.archive}`);
+        // Check the archive for the last checkpoint in the epoch
+        const endCheckpointLog = await this.rollupContract.getCheckpoint(toCheckpoint);
+        if (!publicInputs.endArchiveRoot.equals(endCheckpointLog.archive)) {
+            throw new Error(`End archive root mismatch: ${publicInputs.endArchiveRoot.toString()} !== ${endCheckpointLog.archive.toString()}`);
         }
-        if (publicInputs.endBlockHash.toString() !== endBlockLog.blockHash) {
-            throw new Error(`End block hash mismatch: ${publicInputs.endBlockHash.toString()} !== ${endBlockLog.blockHash}`);
+        // Check the batched blob inputs from the root rollup against the batched blob computed in ts
+        const finalBlobAccumulator = batchedBlobInputs.toFinalBlobAccumulator();
+        if (!publicInputs.blobPublicInputs.equals(finalBlobAccumulator)) {
+            throw new Error(`Batched blob mismatch: ${inspect(publicInputs.blobPublicInputs)} !== ${inspect(finalBlobAccumulator)}`);
         }
         // Compare the public inputs computed by the contract with the ones injected
-        const rollupPublicInputs = await this.rollupContract.getEpochProofPublicInputs(this.getSubmitEpochProofArgs(args));
-        const aggregationObject = proof.isEmpty() ? times(AGGREGATION_OBJECT_LENGTH, Fr.zero) : proof.extractAggregationObject();
+        const rollupPublicInputs = await this.rollupContract.getEpochProofPublicInputs(this.getEpochProofPublicInputsArgs(args));
         const argsPublicInputs = [
-            ...publicInputs.toFields(),
-            ...aggregationObject
+            ...publicInputs.toFields()
         ];
-        if (!areArraysEqual(rollupPublicInputs.map(Fr.fromHexString), argsPublicInputs, (a, b)=>a.equals(b))) {
-            const fmt = (inputs)=>inputs.map((x)=>x.toString()).join(', ');
-            throw new Error(`Root rollup public inputs mismatch:\nRollup:  ${fmt(rollupPublicInputs)}\nComputed:${fmt(argsPublicInputs)}`);
+        if (!areArraysEqual(rollupPublicInputs, argsPublicInputs, (a, b)=>a.equals(b))) {
+            throw await reportPublicInputsMismatch({
+                rollupPublicInputs,
+                argsPublicInputs,
+                fromCheckpoint,
+                toCheckpoint,
+                rollupContract: this.rollupContract,
+                log: this.log
+            });
         }
     }
+    /**
+   * Estimates what submitting the epoch proof would have cost on L1 without actually sending it.
+   * Runs the same validation as `submitEpochProof`, encodes the calldata, estimates gas, and records metrics.
+   * Used when proof publishing is disabled (e.g. PROVER_NODE_DISABLE_PROOF_PUBLISH=true on mainnet).
+   */ async analyzeEpochProofSubmission(args) {
+        const { epochNumber, fromCheckpoint, toCheckpoint } = args;
+        await this.validateEpochProofSubmission(args);
+        const data = this.encodeSubmitEpochProofCalldata(args);
+        const senderAddress = this.l1TxUtils.getSenderAddress();
+        const [gasLimit, gasPrice, latestBlock] = await Promise.all([
+            this.l1TxUtils.estimateGas(senderAddress.toString(), {
+                to: this.rollupContract.address,
+                data
+            }),
+            this.l1TxUtils.getGasPrice(),
+            this.l1TxUtils.client.getBlock({
+                blockTag: 'latest'
+            })
+        ]);
+        const baseFeePerGas = latestBlock.baseFeePerGas ?? 0n;
+        const { maxPriorityFeePerGas } = gasPrice;
+        const effectiveFeePerGas = baseFeePerGas + maxPriorityFeePerGas;
+        const estimatedTotalFee = gasLimit * effectiveFeePerGas;
+        const stats = {
+            gasLimit,
+            baseFeePerGas,
+            maxPriorityFeePerGas,
+            estimatedTotalFee
+        };
+        this.log.info(`Estimated epoch proof submission cost (not submitted)`, {
+            epochNumber,
+            fromCheckpoint,
+            toCheckpoint,
+            gasLimit: gasLimit.toString(),
+            baseFeePerGas: formatGwei(baseFeePerGas),
+            maxPriorityFeePerGas: formatGwei(maxPriorityFeePerGas),
+            estimatedTotalFeeEth: formatEther(estimatedTotalFee)
+        });
+        this.metrics.recordEstimatedSubmitProof(stats);
+    }
+    encodeSubmitEpochProofCalldata(args) {
+        return encodeFunctionData({
+            abi: RollupAbi,
+            functionName: 'submitEpochRootProof',
+            args: [
+                this.getSubmitEpochProofArgs(args)
+            ]
+        });
+    }
     async sendSubmitEpochProofTx(args) {
-        const proofHex = `0x${args.proof.withoutPublicInputs().toString('hex')}`;
-        const argsArray = this.getSubmitEpochProofArgs(args);
         const txArgs = [
-            {
-                start: argsArray[0],
-                end: argsArray[1],
-                args: argsArray[2],
-                fees: argsArray[3],
-                blobPublicInputs: argsArray[4],
-                aggregationObject: argsArray[5],
-                proof: proofHex
-            }
+            this.getSubmitEpochProofArgs(args)
         ];
-        this.log.info(`SubmitEpochProof proofSize=${args.proof.withoutPublicInputs().length} bytes`);
+        this.log.info(`Submitting epoch proof to L1 rollup contract`, {
+            proofSize: args.proof.withoutPublicInputs().length,
+            fromCheckpoint: args.fromCheckpoint,
+            toCheckpoint: args.toCheckpoint
+        });
         const data = encodeFunctionData({
             abi: RollupAbi,
             functionName: 'submitEpochRootProof',
@@ -153,40 +246,148 @@ export class ProverNodePublisher {
                 to: this.rollupContract.address,
                 data
             });
+            if (receipt.status !== 'success') {
+                const errorMsg = await this.l1TxUtils.tryGetErrorFromRevertedTx(data, {
+                    args: [
+                        ...txArgs
+                    ],
+                    functionName: 'submitEpochRootProof',
+                    abi: RollupAbi,
+                    address: this.rollupContract.address
+                }, /*blobInputs*/ undefined, /*stateOverride*/ []);
+                this.log.error(`Rollup submit epoch proof tx reverted with ${errorMsg ?? 'unknown error'}`);
+                return undefined;
+            }
             return receipt;
         } catch (err) {
             this.log.error(`Rollup submit epoch proof failed`, err);
-            const errorMsg = await this.l1TxUtils.tryGetErrorFromRevertedTx(data, {
-                args: [
-                    ...txArgs
-                ],
-                functionName: 'submitEpochRootProof',
-                abi: RollupAbi,
-                address: this.rollupContract.address
-            }, /*blobInputs*/ undefined, /*stateOverride*/ []);
-            this.log.error(`Rollup submit epoch proof tx reverted. ${errorMsg}`);
             return undefined;
         }
     }
-    getSubmitEpochProofArgs(args) {
+    getEpochProofPublicInputsArgs(args) {
+        // Returns arguments for EpochProofLib.sol -> getEpochProofPublicInputs()
         return [
-            BigInt(args.fromBlock),
-            BigInt(args.toBlock),
+            BigInt(args.fromCheckpoint),
+            BigInt(args.toCheckpoint),
             {
-                previousArchive: args.publicInputs.previousArchive.root.toString(),
-                endArchive: args.publicInputs.endArchive.root.toString(),
-                previousBlockHash: args.publicInputs.previousBlockHash.toString(),
-                endBlockHash: args.publicInputs.endBlockHash.toString(),
-                endTimestamp: args.publicInputs.endTimestamp.toBigInt(),
+                previousArchive: args.publicInputs.previousArchiveRoot.toString(),
+                endArchive: args.publicInputs.endArchiveRoot.toString(),
                 outHash: args.publicInputs.outHash.toString(),
-                proverId: EthAddress.fromField(args.publicInputs.proverId).toString()
-            },
-            makeTuple(AZTEC_MAX_EPOCH_DURATION * 2, (i)=>i % 2 === 0 ? args.publicInputs.fees[i / 2].recipient.toField().toString() : args.publicInputs.fees[(i - 1) / 2].value.toString()),
-            `0x${args.publicInputs.blobPublicInputs.filter((_, i)=>i < args.toBlock - args.fromBlock + 1).map((b)=>b.toString()).join(``)}`,
-            `0x${serializeToBuffer(args.proof.extractAggregationObject()).toString('hex')}`
+                proverId: EthAddress.fromField(args.publicInputs.constants.proverId).toString()
+            } /*_args*/ ,
+            makeTuple(MAX_CHECKPOINTS_PER_EPOCH * 2, (i)=>i % 2 === 0 ? args.publicInputs.fees[i / 2].recipient.toField().toString() : args.publicInputs.fees[(i - 1) / 2].value.toString()),
+            getEthBlobEvaluationInputs(args.batchedBlobInputs)
         ];
     }
-    async sleepOrInterrupted() {
-        await this.interruptibleSleep.sleep(this.sleepTimeMs);
+    getSubmitEpochProofArgs(args) {
+        // Returns arguments for EpochProofLib.sol -> submitEpochRootProof()
+        const proofHex = `0x${args.proof.withoutPublicInputs().toString('hex')}`;
+        const argsArray = this.getEpochProofPublicInputsArgs(args);
+        return {
+            start: argsArray[0],
+            end: argsArray[1],
+            args: argsArray[2],
+            fees: argsArray[3],
+            attestations: CommitteeAttestationsAndSigners.packAttestations(args.attestations.map((a)=>CommitteeAttestation.fromViem(a))),
+            blobInputs: argsArray[4],
+            proof: proofHex
+        };
+    }
+}
+/**
+ * Decodes a `Root rollup public inputs mismatch`, fetches the on-chain CheckpointLog for any
+ * mismatching `checkpointHeaderHashes[i]`, emits a structured error log, and returns a thrown-ready
+ * Error with a human-readable summary.
+ *
+ * Layout of `RootRollupPublicInputs.toFields()`:
+ *   [0]                   previousArchiveRoot
+ *   [1]                   endArchiveRoot
+ *   [2]                   outHash
+ *   [3 .. 3+N-1]          checkpointHeaderHashes[i] for i in 0..N-1   (N = MAX_CHECKPOINTS_PER_EPOCH)
+ *   [3+N .. 3+3N-1]       fees[i] = (recipient, value) for i in 0..N-1
+ *   [3+3N .. 3+3N+4]      EpochConstantData (chainId, version, vkTreeRoot, protocolContractsHash, proverId)
+ *   [3+3N+5 ..]           blobPublicInputs (FinalBlobAccumulator)
+ */ async function reportPublicInputsMismatch(input) {
+    const { rollupPublicInputs, argsPublicInputs, fromCheckpoint, toCheckpoint, rollupContract, log } = input;
+    const N = MAX_CHECKPOINTS_PER_EPOCH;
+    const constantsStart = 3 + 3 * N;
+    const blobStart = constantsStart + 5;
+    const constantLabels = [
+        'chainId',
+        'version',
+        'vkTreeRoot',
+        'protocolContractsHash',
+        'proverId'
+    ];
+    const diffs = [];
+    const len = Math.max(rollupPublicInputs.length, argsPublicInputs.length);
+    for(let i = 0; i < len; i++){
+        const a = rollupPublicInputs[i] ?? Fr.ZERO;
+        const b = argsPublicInputs[i] ?? Fr.ZERO;
+        if (a.equals(b)) {
+            continue;
+        }
+        let label;
+        let checkpointIndex;
+        if (i === 0) {
+            label = 'previousArchiveRoot';
+        } else if (i === 1) {
+            label = 'endArchiveRoot';
+        } else if (i === 2) {
+            label = 'outHash';
+        } else if (i < 3 + N) {
+            checkpointIndex = i - 3;
+            label = `checkpointHeaderHashes[${checkpointIndex}]`;
+        } else if (i < 3 + 3 * N) {
+            const feePairIndex = i - (3 + N);
+            const feeIndex = Math.floor(feePairIndex / 2);
+            const sub = feePairIndex % 2 === 0 ? 'recipient' : 'value';
+            label = `fees[${feeIndex}].${sub}`;
+        } else if (i < blobStart) {
+            label = `constants.${constantLabels[i - constantsStart]}`;
+        } else {
+            label = `blobPublicInputs[${i - blobStart}]`;
+        }
+        diffs.push({
+            index: i,
+            label,
+            rollup: a,
+            computed: b,
+            checkpointIndex
+        });
     }
+    // For each mismatching checkpointHeaderHash, fetch the L1 CheckpointLog so the operator can
+    // see what was published on-chain alongside the prover's recomputed hash.
+    const onChainCheckpoints = await Promise.all(diffs.filter((d)=>d.checkpointIndex !== undefined).map(async (d)=>{
+        const checkpointNumber = CheckpointNumber(fromCheckpoint + d.checkpointIndex);
+        try {
+            const cp = await rollupContract.getCheckpoint(checkpointNumber);
+            return {
+                checkpointIndex: d.checkpointIndex,
+                checkpointNumber,
+                headerHash: cp.headerHash.toString()
+            };
+        } catch (err) {
+            return {
+                checkpointIndex: d.checkpointIndex,
+                checkpointNumber,
+                error: err.message
+            };
+        }
+    }));
+    log.error(`Root rollup public inputs mismatch`, undefined, {
+        fromCheckpoint,
+        toCheckpoint,
+        numDiffs: diffs.length,
+        diffs: diffs.map((d)=>({
+                index: d.index,
+                label: d.label,
+                rollup: d.rollup.toString(),
+                computed: d.computed.toString()
+            })),
+        onChainCheckpoints
+    });
+    const fmt = (inputs)=>inputs.map((x)=>x.toString()).join(', ');
+    const summary = diffs.map((d)=>`[${d.index} ${d.label}] L1=${d.rollup} prover=${d.computed}`).join('\n');
+    return new Error(`Root rollup public inputs mismatch (${diffs.length} fields differ):\n${summary}\n` + `Rollup:  ${fmt(rollupPublicInputs)}\nComputed:${fmt(argsPublicInputs)}`);
 }

package/dest/prover-node.d.ts

@@ -1,75 +1,89 @@
-import type { Maybe } from '@aztec/foundation/types';
-import type { P2P } from '@aztec/p2p';
+import type { RollupContract } from '@aztec/ethereum/contracts';
+import type { Delayer } from '@aztec/ethereum/l1-tx-utils';
+import { EpochNumber } from '@aztec/foundation/branded-types';
+import { DateProvider } from '@aztec/foundation/timer';
 import { PublicProcessorFactory } from '@aztec/simulator/server';
-import type { L2Block, L2BlockSource } from '@aztec/stdlib/block';
+import type { L2BlockSource } from '@aztec/stdlib/block';
+import type { ChainConfig } from '@aztec/stdlib/config';
 import type { ContractDataSource } from '@aztec/stdlib/contract';
-import { type EpochProverManager, type ProverCoordination, type ProverNodeApi, type Service, type WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
+import { type EpochProverManager, type ITxProvider, type ProverNodeApi, type Service, type WorldStateSyncStatus, type WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
+import type { DataStoreConfig } from '@aztec/stdlib/kv-store';
 import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
-import type { P2PClientType } from '@aztec/stdlib/p2p';
-import type { Tx } from '@aztec/stdlib/tx';
-import { type TelemetryClient, type Traceable, type Tracer } from '@aztec/telemetry-client';
+import { L1Metrics, type TelemetryClient, type Traceable, type Tracer } from '@aztec/telemetry-client';
+import type { SpecificProverNodeConfig } from './config.js';
+import type { EpochProvingJobData } from './job/epoch-proving-job-data.js';
 import { EpochProvingJob, type EpochProvingJobState } from './job/epoch-proving-job.js';
 import type { EpochMonitor, EpochMonitorHandler } from './monitors/epoch-monitor.js';
 import type { ProverNodePublisher } from './prover-node-publisher.js';
-export type ProverNodeOptions = {
-    pollingIntervalMs: number;
-    maxPendingJobs: number;
-    maxParallelBlocksPerEpoch: number;
-    txGatheringTimeoutMs: number;
-    txGatheringIntervalMs: number;
-    txGatheringMaxParallelRequests: number;
-};
+import type { ProverPublisherFactory } from './prover-publisher-factory.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 unfinalised chain on L1 for unproven blocks,
- * submits bids for proving them, and monitors if they are accepted. If so, the prover node fetches the txs
- * from a tx source in the p2p network or an external node, re-executes their public functions, creates a rollup
+ * 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.
  */
 export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, Traceable {
     protected readonly prover: EpochProverManager;
-    protected readonly publisher: ProverNodePublisher;
-    protected readonly l2BlockSource: L2BlockSource & Maybe<Service>;
+    protected readonly publisherFactory: ProverPublisherFactory;
+    protected readonly l2BlockSource: L2BlockSource & Partial<Service>;
     protected readonly l1ToL2MessageSource: L1ToL2MessageSource;
     protected readonly contractDataSource: ContractDataSource;
     protected readonly worldState: WorldStateSynchronizer;
-    protected readonly coordination: ProverCoordination & Maybe<Service>;
+    protected readonly p2pClient: {
+        getTxProvider(): ITxProvider;
+    } & Partial<Service>;
     protected readonly epochsMonitor: EpochMonitor;
+    protected readonly rollupContract: RollupContract;
+    protected readonly l1Metrics: L1Metrics;
     protected readonly telemetryClient: TelemetryClient;
+    private delayer?;
+    private readonly dateProvider;
     private log;
-    private dateProvider;
-    private latestEpochWeAreProving;
     private jobs;
-    private cachedEpochData;
-    private options;
-    private metrics;
-    private txFetcher;
-    private lastBlockNumber;
+    private config;
+    private jobMetrics;
+    private rewardsMetrics;
+    private startingProofEpochs;
     readonly tracer: Tracer;
-    constructor(prover: EpochProverManager, publisher: ProverNodePublisher, l2BlockSource: L2BlockSource & Maybe<Service>, l1ToL2MessageSource: L1ToL2MessageSource, contractDataSource: ContractDataSource, worldState: WorldStateSynchronizer, coordination: ProverCoordination & Maybe<Service>, epochsMonitor: EpochMonitor, options?: Partial<ProverNodeOptions>, telemetryClient?: TelemetryClient);
-    getProverId(): import("@aztec/aztec.js").Fr;
-    getP2P(): P2P<P2PClientType.Prover> | undefined;
+    protected publisher: ProverNodePublisher | undefined;
+    constructor(prover: EpochProverManager, publisherFactory: ProverPublisherFactory, l2BlockSource: L2BlockSource & Partial<Service>, l1ToL2MessageSource: L1ToL2MessageSource, contractDataSource: ContractDataSource, worldState: WorldStateSynchronizer, p2pClient: {
+        getTxProvider(): ITxProvider;
+    } & Partial<Service>, epochsMonitor: EpochMonitor, rollupContract: RollupContract, l1Metrics: L1Metrics, config?: Partial<ProverNodeOptions>, telemetryClient?: TelemetryClient, delayer?: Delayer | undefined, dateProvider?: DateProvider);
+    getProverId(): import("@aztec/foundation/eth-address").EthAddress;
+    getP2P(): {
+        getTxProvider(): ITxProvider;
+    } & Partial<Service>;
+    /** Returns the shared tx delayer for prover L1 txs, if enabled. Test-only. */
+    getDelayer(): Delayer | undefined;
     /**
      * 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
      */
-    handleEpochReadyToProve(epochNumber: bigint): Promise<void>;
+    handleEpochReadyToProve(epochNumber: EpochNumber): Promise<boolean>;
     /**
-     * Starts the prover node so it periodically checks for unproven epochs in the unfinalised chain from L1 and
+     * Starts the prover node so it periodically checks for unproven epochs in the unfinalized chain from L1 and
      * starts proving jobs for them.
      */
-    start(): void;
+    start(): Promise<void>;
     /**
      * Stops the prover node and all its dependencies.
+     * Resources not owned by this node (shared with the parent aztec-node) are skipped.
      */
     stop(): Promise<void>;
-    /**
-     * Creates a proof for a block range. Returns once the proof has been submitted to L1.
-     */
-    prove(epochNumber: number | bigint): Promise<void>;
+    /** Returns world state status. */
+    getWorldStateSyncStatus(): Promise<WorldStateSyncStatus>;
+    /** Returns archiver status. */
+    getL2Tips(): Promise<import("@aztec/stdlib/block").L2Tips>;
     /**
      * Starts a proving process and returns immediately.
      */
-    startProof(epochNumber: number | bigint): Promise<void>;
+    startProof(epochNumber: EpochNumber): Promise<void>;
+    private startProofIfNeeded;
+    private startProofInternal;
+    private runJob;
+    protected tryUploadEpochFailure(job: EpochProvingJob): Promise<string | undefined>;
     /**
      * Returns the prover instance.
      */
@@ -80,23 +94,24 @@ export declare class ProverNode implements EpochMonitorHandler, ProverNodeApi, T
     getJobs(): Promise<{
         uuid: string;
         status: EpochProvingJobState;
-        epochNumber: number;
-    }[]>;
-    protected getActiveJobsForEpoch(epochBigInt: bigint): Promise<{
-        uuid: string;
-        status: EpochProvingJobState;
+        epochNumber: EpochNumber;
     }[]>;
+    private getJobsInternal;
+    private activeJobsCoverEpoch;
     private checkMaximumPendingJobs;
     private createProvingJob;
     private getL1Constants;
-    /** Monitors for new blocks and requests their txs from the p2p layer to ensure they are available for proving. */
-    private checkForTxs;
     private gatherEpochData;
-    private gatherBlocks;
     private gatherTxs;
+    private gatherMessages;
+    private gatherPreviousBlockHeader;
     /** Extracted for testing purposes. */
-    protected doCreateEpochProvingJob(epochNumber: bigint, deadline: Date | undefined, blocks: L2Block[], txs: Tx[], publicProcessorFactory: PublicProcessorFactory, cleanUp: () => Promise<void>): EpochProvingJob;
+    protected doCreateEpochProvingJob(data: EpochProvingJobData, deadline: Date | undefined, publicProcessorFactory: PublicProcessorFactory, publisher: ProverNodePublisher, opts?: {
+        skipEpochCheck?: boolean;
+    }): EpochProvingJob;
     /** Extracted for testing purposes. */
     protected triggerMonitors(): Promise<void>;
+    private validateConfig;
 }
-//# sourceMappingURL=prover-node.d.ts.map
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLW5vZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9wcm92ZXItbm9kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNoRSxPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMzRCxPQUFPLEVBQWlDLFdBQVcsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBSzdGLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUV6RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN4RCxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRWpFLE9BQU8sRUFDTCxLQUFLLGtCQUFrQixFQUN2QixLQUFLLFdBQVcsRUFDaEIsS0FBSyxhQUFhLEVBQ2xCLEtBQUssT0FBTyxFQUNaLEtBQUssb0JBQW9CLEVBQ3pCLEtBQUssc0JBQXNCLEVBRTVCLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUVuRSxPQUFPLEVBRUwsU0FBUyxFQUNULEtBQUssZUFBZSxFQUNwQixLQUFLLFNBQVMsRUFDZCxLQUFLLE1BQU0sRUFHWixNQUFNLHlCQUF5QixDQUFDO0FBR2pDLE9BQU8sS0FBSyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sYUFBYSxDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDM0UsT0FBTyxFQUFFLGVBQWUsRUFBK0IsS0FBSyxvQkFBb0IsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBRXJILE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxtQkFBbUIsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ3JGLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDdEUsT0FBTyxLQUFLLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUU1RSxLQUFLLGlCQUFpQixHQUFHLHdCQUF3QixHQUFHLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDO0FBQzlFLEtBQUssZ0JBQWdCLEdBQUcsSUFBSSxDQUFDLGVBQWUsRUFBRSxlQUFlLENBQUMsR0FBRyxJQUFJLENBQUMsV0FBVyxFQUFFLFdBQVcsR0FBRyxlQUFlLENBQUMsQ0FBQztBQUVsSDs7OztHQUlHO0FBQ0gscUJBQWEsVUFBVyxZQUFXLG1CQUFtQixFQUFFLGFBQWEsRUFBRSxTQUFTO0lBYzVFLFNBQVMsQ0FBQyxRQUFRLENBQUMsTUFBTSxFQUFFLGtCQUFrQjtJQUM3QyxTQUFTLENBQUMsUUFBUSxDQUFDLGdCQUFnQixFQUFFLHNCQUFzQjtJQUMzRCxTQUFTLENBQUMsUUFBUSxDQUFDLGFBQWEsRUFBRSxhQUFhLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQztJQUNsRSxTQUFTLENBQUMsUUFBUSxDQUFDLG1CQUFtQixFQUFFLG1CQUFtQjtJQUMzRCxTQUFTLENBQUMsUUFBUSxDQUFDLGtCQUFrQixFQUFFLGtCQUFrQjtJQUN6RCxTQUFTLENBQUMsUUFBUSxDQUFDLFVBQVUsRUFBRSxzQkFBc0I7SUFDckQsU0FBUyxDQUFDLFFBQVEsQ0FBQyxTQUFTLEVBQUU7UUFBRSxhQUFhLElBQUksV0FBVyxDQUFBO0tBQUUsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDO0lBQ2pGLFNBQVMsQ0FBQyxRQUFRLENBQUMsYUFBYSxFQUFFLFlBQVk7SUFDOUMsU0FBUyxDQUFDLFFBQVEsQ0FBQyxjQUFjLEVBQUUsY0FBYztJQUNqRCxTQUFTLENBQUMsUUFBUSxDQUFDLFNBQVMsRUFBRSxTQUFTO0lBRXZDLFNBQVMsQ0FBQyxRQUFRLENBQUMsZUFBZSxFQUFFLGVBQWU7SUFDbkQsT0FBTyxDQUFDLE9BQU8sQ0FBQztJQUNoQixPQUFPLENBQUMsUUFBUSxDQUFDLFlBQVk7SUExQi9CLE9BQU8sQ0FBQyxHQUFHLENBQStCO0lBRTFDLE9BQU8sQ0FBQyxJQUFJLENBQTJDO0lBQ3ZELE9BQU8sQ0FBQyxNQUFNLENBQW9CO0lBQ2xDLE9BQU8sQ0FBQyxVQUFVLENBQXVCO0lBQ3pDLE9BQU8sQ0FBQyxjQUFjLENBQTJCO0lBQ2pELE9BQU8sQ0FBQyxtQkFBbUIsQ0FBK0I7SUFFMUQsU0FBZ0IsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUUvQixTQUFTLENBQUMsU0FBUyxFQUFFLG1CQUFtQixHQUFHLFNBQVMsQ0FBQztJQUVyRCxZQUNxQixNQUFNLEVBQUUsa0JBQWtCLEVBQzFCLGdCQUFnQixFQUFFLHNCQUFzQixFQUN4QyxhQUFhLEVBQUUsYUFBYSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsRUFDL0MsbUJBQW1CLEVBQUUsbUJBQW1CLEVBQ3hDLGtCQUFrQixFQUFFLGtCQUFrQixFQUN0QyxVQUFVLEVBQUUsc0JBQXNCLEVBQ2xDLFNBQVMsRUFBRTtRQUFFLGFBQWEsSUFBSSxXQUFXLENBQUE7S0FBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsRUFDOUQsYUFBYSxFQUFFLFlBQVksRUFDM0IsY0FBYyxFQUFFLGNBQWMsRUFDOUIsU0FBUyxFQUFFLFNBQVMsRUFDdkMsTUFBTSxHQUFFLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBTSxFQUNwQixlQUFlLEdBQUUsZUFBc0MsRUFDbEUsT0FBTyxDQUFDLHFCQUFTLEVBQ1IsWUFBWSxHQUFFLFlBQWlDLEVBdUJqRTtJQUVNLFdBQVcsdURBRWpCO0lBRU0sTUFBTTs7eUJBRVo7SUFFRCw4RUFBOEU7SUFDdkUsVUFBVSxJQUFJLE9BQU8sR0FBRyxTQUFTLENBRXZDO0lBRUQ7Ozs7T0FJRztJQUNHLHVCQUF1QixDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQWN4RTtJQUVEOzs7T0FHRztJQUNHLEtBQUssa0JBT1Y7SUFFRDs7O09BR0c7SUFDRyxJQUFJLGtCQVdUO0lBRUQsa0NBQWtDO0lBQ3JCLHVCQUF1QixJQUFJLE9BQU8sQ0FBQyxvQkFBb0IsQ0FBQyxDQUdwRTtJQUVELCtCQUErQjtJQUN4QixTQUFTLGtEQUVmO0lBRUQ7O09BRUc7SUFDVSxVQUFVLENBQUMsV0FBVyxFQUFFLFdBQVcsaUJBRS9DO1lBRWEsa0JBQWtCO1lBMkJsQixrQkFBa0I7WUFLbEIsTUFBTTtJQXlCcEIsVUFBZ0IscUJBQXFCLENBQUMsR0FBRyxFQUFFLGVBQWUsK0JBWXpEO0lBRUQ7O09BRUc7SUFDSSxTQUFTLHVCQUVmO0lBRUQ7O09BRUc7SUFDSSxPQUFPLElBQUksT0FBTyxDQUFDO1FBQUUsSUFBSSxFQUFFLE1BQU0sQ0FBQztRQUFDLE1BQU0sRUFBRSxvQkFBb0IsQ0FBQztRQUFDLFdBQVcsRUFBRSxXQUFXLENBQUE7S0FBRSxFQUFFLENBQUMsQ0FFcEc7SUFFRCxPQUFPLENBQUMsZUFBZTtZQVFULG9CQUFvQjtJQTJCbEMsT0FBTyxDQUFDLHVCQUF1QjtZQVFqQixnQkFBZ0I7SUFxQzlCLE9BQU8sQ0FBQyxjQUFjO1lBS1IsZUFBZTtZQWdCZixTQUFTO1lBZ0JULGNBQWM7WUFXZCx5QkFBeUI7SUFVdkMsc0NBQXNDO0lBQ3RDLFNBQVMsQ0FBQyx1QkFBdUIsQ0FDL0IsSUFBSSxFQUFFLG1CQUFtQixFQUN6QixRQUFRLEVBQUUsSUFBSSxHQUFHLFNBQVMsRUFDMUIsc0JBQXNCLEVBQUUsc0JBQXNCLEVBQzlDLFNBQVMsRUFBRSxtQkFBbUIsRUFDOUIsSUFBSSxHQUFFO1FBQUUsY0FBYyxDQUFDLEVBQUUsT0FBTyxDQUFBO0tBQU8sbUJBZXhDO0lBRUQsc0NBQXNDO0lBQ3RDLFVBQWdCLGVBQWUsa0JBRTlCO0lBRUQsT0FBTyxDQUFDLGNBQWM7Q0FjdkIifQ==