@aztec/prover-node 0.0.1-commit.b655e406 → 0.0.1-commit.b8a057fa

package/dest/prover-node-publisher.d.ts

@@ -1,13 +1,15 @@
-import type { BatchedBlob } from '@aztec/blob-lib';
-import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
-import type { L1TxUtils, RollupContract, ViemCommitteeAttestation } from '@aztec/ethereum';
+import { BatchedBlob } from '@aztec/blob-lib';
+import type { RollupContract, ViemCommitteeAttestation } from '@aztec/ethereum/contracts';
+import type { L1TxUtils } from '@aztec/ethereum/l1-tx-utils';
+import { CheckpointNumber, EpochNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { EthAddress } from '@aztec/foundation/eth-address';
-import { Fr } from '@aztec/foundation/fields';
-import type { Tuple } from '@aztec/foundation/serialize';
+import { type Logger, type LoggerBindings } from '@aztec/foundation/log';
 import type { PublisherConfig, TxSenderConfig } from '@aztec/sequencer-client';
 import type { Proof } from '@aztec/stdlib/proofs';
-import type { FeeRecipient, RootRollupPublicInputs } from '@aztec/stdlib/rollup';
+import type { CheckpointHeader, RootRollupPublicInputs } from '@aztec/stdlib/rollup';
 import { type TelemetryClient } from '@aztec/telemetry-client';
+import { type Hex } from 'viem';
 /** Arguments to the submitEpochProof method of the rollup contract */
 export type L1SubmitEpochProofArgs = {
     epochSize: number;
@@ -16,43 +18,54 @@ export type L1SubmitEpochProofArgs = {
     endTimestamp: Fr;
     outHash: Fr;
     proverId: Fr;
-    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
+    headers: CheckpointHeader[];
     proof: Proof;
 };
 export declare class ProverNodePublisher {
-    private interrupted;
     private metrics;
-    protected log: import("@aztec/foundation/log").Logger;
+    protected log: Logger;
     protected rollupContract: RollupContract;
+    protected proofSubmissionTarget: Hex;
     readonly l1TxUtils: L1TxUtils;
     constructor(config: TxSenderConfig & PublisherConfig, deps: {
         rollupContract: RollupContract;
         l1TxUtils: L1TxUtils;
+        proofSubmissionTarget?: EthAddress;
         telemetry?: TelemetryClient;
-    });
+    }, bindings?: LoggerBindings);
     getRollupContract(): 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.
-     * In practice this shouldn't matter, as we'll only ever be calling `interrupt` when we know it's going to fail.
-     * A call to `restart` is required before you can continue publishing.
-     */
-    interrupt(): void;
-    /** Restarts the publisher after calling `interrupt`. */
-    restart(): void;
     getSenderAddress(): EthAddress;
     submitEpochProof(args: {
-        epochNumber: number;
-        fromBlock: number;
-        toBlock: number;
+        epochNumber: EpochNumber;
+        fromCheckpoint: CheckpointNumber;
+        toCheckpoint: CheckpointNumber;
         publicInputs: RootRollupPublicInputs;
         proof: Proof;
         batchedBlobInputs: BatchedBlob;
         attestations: ViemCommitteeAttestation[];
+        headers: CheckpointHeader[];
+        /** Wall-clock deadline (proof-submission window end) past which the L1 tx should stop retrying. */
+        deadline?: Date;
     }): Promise<boolean>;
     private validateEpochProofSubmission;
+    /**
+     * 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).
+     */
+    analyzeEpochProofSubmission(args: {
+        epochNumber: EpochNumber;
+        fromCheckpoint: CheckpointNumber;
+        toCheckpoint: CheckpointNumber;
+        publicInputs: RootRollupPublicInputs;
+        proof: Proof;
+        batchedBlobInputs: BatchedBlob;
+        attestations: ViemCommitteeAttestation[];
+        headers: CheckpointHeader[];
+    }): Promise<void>;
+    private encodeSubmitEpochProofCalldata;
     private sendSubmitEpochProofTx;
     private getEpochProofPublicInputsArgs;
     private getSubmitEpochProofArgs;
 }
-//# sourceMappingURL=prover-node-publisher.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLW5vZGUtcHVibGlzaGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVyLW5vZGUtcHVibGlzaGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQThCLE1BQU0saUJBQWlCLENBQUM7QUFFMUUsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDMUYsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDN0QsT0FBTyxFQUFFLGdCQUFnQixFQUFFLFdBQVcsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRWhGLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFFLEtBQUssY0FBYyxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBR3ZGLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxjQUFjLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUUvRSxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNsRCxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBRXJGLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBc0IsTUFBTSx5QkFBeUIsQ0FBQztBQUduRixPQUFPLEVBQUUsS0FBSyxHQUFHLEVBQXdFLE1BQU0sTUFBTSxDQUFDO0FBSXRHLHNFQUFzRTtBQUN0RSxNQUFNLE1BQU0sc0JBQXNCLEdBQUc7SUFDbkMsU0FBUyxFQUFFLE1BQU0sQ0FBQztJQUNsQixlQUFlLEVBQUUsRUFBRSxDQUFDO0lBQ3BCLFVBQVUsRUFBRSxFQUFFLENBQUM7SUFDZixZQUFZLEVBQUUsRUFBRSxDQUFDO0lBQ2pCLE9BQU8sRUFBRSxFQUFFLENBQUM7SUFDWixRQUFRLEVBQUUsRUFBRSxDQUFDO0lBQ2IsT0FBTyxFQUFFLGdCQUFnQixFQUFFLENBQUM7SUFDNUIsS0FBSyxFQUFFLEtBQUssQ0FBQztDQUNkLENBQUM7QUFFRixxQkFBYSxtQkFBbUI7SUFDOUIsT0FBTyxDQUFDLE9BQU8sQ0FBNkI7SUFFNUMsU0FBUyxDQUFDLEdBQUcsRUFBRSxNQUFNLENBQUM7SUFFdEIsU0FBUyxDQUFDLGNBQWMsRUFBRSxjQUFjLENBQUM7SUFFekMsU0FBUyxDQUFDLHFCQUFxQixFQUFFLEdBQUcsQ0FBQztJQUVyQyxTQUFnQixTQUFTLEVBQUUsU0FBUyxDQUFDO0lBRXJDLFlBQ0UsTUFBTSxFQUFFLGNBQWMsR0FBRyxlQUFlLEVBQ3hDLElBQUksRUFBRTtRQUNKLGNBQWMsRUFBRSxjQUFjLENBQUM7UUFDL0IsU0FBUyxFQUFFLFNBQVMsQ0FBQztRQUNyQixxQkFBcUIsQ0FBQyxFQUFFLFVBQVUsQ0FBQztRQUNuQyxTQUFTLENBQUMsRUFBRSxlQUFlLENBQUM7S0FDN0IsRUFDRCxRQUFRLENBQUMsRUFBRSxjQUFjLEVBVTFCO0lBRU0saUJBQWlCLG1CQUV2QjtJQUVNLGdCQUFnQixlQUV0QjtJQUVZLGdCQUFnQixDQUFDLElBQUksRUFBRTtRQUNsQyxXQUFXLEVBQUUsV0FBVyxDQUFDO1FBQ3pCLGNBQWMsRUFBRSxnQkFBZ0IsQ0FBQztRQUNqQyxZQUFZLEVBQUUsZ0JBQWdCLENBQUM7UUFDL0IsWUFBWSxFQUFFLHNCQUFzQixDQUFDO1FBQ3JDLEtBQUssRUFBRSxLQUFLLENBQUM7UUFDYixpQkFBaUIsRUFBRSxXQUFXLENBQUM7UUFDL0IsWUFBWSxFQUFFLHdCQUF3QixFQUFFLENBQUM7UUFDekMsT0FBTyxFQUFFLGdCQUFnQixFQUFFLENBQUM7UUFDNUIsbUdBQW1HO1FBQ25HLFFBQVEsQ0FBQyxFQUFFLElBQUksQ0FBQztLQUNqQixHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0E2Q25CO1lBRWEsNEJBQTRCO0lBb0UxQzs7OztPQUlHO0lBQ1UsMkJBQTJCLENBQUMsSUFBSSxFQUFFO1FBQzdDLFdBQVcsRUFBRSxXQUFXLENBQUM7UUFDekIsY0FBYyxFQUFFLGdCQUFnQixDQUFDO1FBQ2pDLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQztRQUMvQixZQUFZLEVBQUUsc0JBQXNCLENBQUM7UUFDckMsS0FBSyxFQUFFLEtBQUssQ0FBQztRQUNiLGlCQUFpQixFQUFFLFdBQVcsQ0FBQztRQUMvQixZQUFZLEVBQUUsd0JBQXdCLEVBQUUsQ0FBQztRQUN6QyxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsQ0FBQztLQUM3QixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FzQ2hCO0lBRUQsT0FBTyxDQUFDLDhCQUE4QjtZQWdCeEIsc0JBQXNCO0lBaURwQyxPQUFPLENBQUMsNkJBQTZCO0lBdUJyQyxPQUFPLENBQUMsdUJBQXVCO0NBd0JoQyJ9

package/dest/prover-node-publisher.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prover-node-publisher.d.ts","sourceRoot":"","sources":["../src/prover-node-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAG3F,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAGzD,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAEjF,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAOnF,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,EAAE,CAAC;IACpB,UAAU,EAAE,EAAE,CAAC;IACf,YAAY,EAAE,EAAE,CAAC;IACjB,OAAO,EAAE,EAAE,CAAC;IACZ,QAAQ,EAAE,EAAE,CAAC;IACb,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,CAAC;IAC3D,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,OAAO,CAA6B;IAE5C,SAAS,CAAC,GAAG,yCAA+C;IAE5D,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC;IAEzC,SAAgB,SAAS,EAAE,SAAS,CAAC;gBAGnC,MAAM,EAAE,cAAc,GAAG,eAAe,EACxC,IAAI,EAAE;QACJ,cAAc,EAAE,cAAc,CAAC;QAC/B,SAAS,EAAE,SAAS,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC7B;IAUI,iBAAiB;IAIxB;;;;;OAKG;IACI,SAAS;IAKhB,wDAAwD;IACjD,OAAO;IAKP,gBAAgB;IAIV,gBAAgB,CAAC,IAAI,EAAE;QAClC,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;QAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;KAC1C,GAAG,OAAO,CAAC,OAAO,CAAC;YAkDN,4BAA4B;YA2D5B,sBAAsB;IAyCpC,OAAO,CAAC,6BAA6B;IAyBrC,OAAO,CAAC,uBAAuB;CAuBhC"}
+{"version":3,"file":"prover-node-publisher.d.ts","sourceRoot":"","sources":["../src/prover-node-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAA8B,MAAM,iBAAiB,CAAC;AAE1E,OAAO,KAAK,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAEhF,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AAGvF,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAErF,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAGnF,OAAO,EAAE,KAAK,GAAG,EAAwE,MAAM,MAAM,CAAC;AAItG,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,EAAE,CAAC;IACpB,UAAU,EAAE,EAAE,CAAC;IACf,YAAY,EAAE,EAAE,CAAC;IACjB,OAAO,EAAE,EAAE,CAAC;IACZ,QAAQ,EAAE,EAAE,CAAC;IACb,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,OAAO,CAA6B;IAE5C,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC;IAEtB,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC;IAEzC,SAAS,CAAC,qBAAqB,EAAE,GAAG,CAAC;IAErC,SAAgB,SAAS,EAAE,SAAS,CAAC;IAErC,YACE,MAAM,EAAE,cAAc,GAAG,eAAe,EACxC,IAAI,EAAE;QACJ,cAAc,EAAE,cAAc,CAAC;QAC/B,SAAS,EAAE,SAAS,CAAC;QACrB,qBAAqB,CAAC,EAAE,UAAU,CAAC;QACnC,SAAS,CAAC,EAAE,eAAe,CAAC;KAC7B,EACD,QAAQ,CAAC,EAAE,cAAc,EAU1B;IAEM,iBAAiB,mBAEvB;IAEM,gBAAgB,eAEtB;IAEY,gBAAgB,CAAC,IAAI,EAAE;QAClC,WAAW,EAAE,WAAW,CAAC;QACzB,cAAc,EAAE,gBAAgB,CAAC;QACjC,YAAY,EAAE,gBAAgB,CAAC;QAC/B,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;QAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;QACzC,OAAO,EAAE,gBAAgB,EAAE,CAAC;QAC5B,mGAAmG;QACnG,QAAQ,CAAC,EAAE,IAAI,CAAC;KACjB,GAAG,OAAO,CAAC,OAAO,CAAC,CA6CnB;YAEa,4BAA4B;IAoE1C;;;;OAIG;IACU,2BAA2B,CAAC,IAAI,EAAE;QAC7C,WAAW,EAAE,WAAW,CAAC;QACzB,cAAc,EAAE,gBAAgB,CAAC;QACjC,YAAY,EAAE,gBAAgB,CAAC;QAC/B,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;QAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;QACzC,OAAO,EAAE,gBAAgB,EAAE,CAAC;KAC7B,GAAG,OAAO,CAAC,IAAI,CAAC,CAsChB;IAED,OAAO,CAAC,8BAA8B;YAgBxB,sBAAsB;IAiDpC,OAAO,CAAC,6BAA6B;IAuBrC,OAAO,CAAC,uBAAuB;CAwBhC"}

package/dest/prover-node-publisher.js

@@ -1,115 +1,103 @@
-import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
-import { makeTuple } from '@aztec/foundation/array';
+import { getEthBlobEvaluationInputs } from '@aztec/blob-lib';
+import { MAX_CHECKPOINTS_PER_EPOCH } from '@aztec/constants';
+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 { Timer } from '@aztec/foundation/timer';
 import { RollupAbi } from '@aztec/l1-artifacts';
 import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
 import { getTelemetryClient } from '@aztec/telemetry-client';
 import { inspect } from 'util';
-import { encodeFunctionData } from 'viem';
+import { encodeFunctionData, formatEther, formatGwei } from 'viem';
 import { ProverNodePublisherMetrics } from './metrics.js';
 export class ProverNodePublisher {
-    interrupted = false;
     metrics;
-    log = createLogger('prover-node:l1-tx-publisher');
+    log;
     rollupContract;
+    proofSubmissionTarget;
     l1TxUtils;
-    constructor(config, deps){
+    constructor(config, deps, bindings){
         const telemetry = deps.telemetry ?? getTelemetryClient();
         this.metrics = new ProverNodePublisherMetrics(telemetry, 'ProverNode');
+        this.log = createLogger('prover-node:l1-tx-publisher', bindings);
         this.rollupContract = deps.rollupContract;
+        this.proofSubmissionTarget = deps.proofSubmissionTarget?.toString() ?? deps.rollupContract.address;
         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.
-   * In practice this shouldn't matter, as we'll only ever be calling `interrupt` when we know it's going to fail.
-   * A call to `restart` is required before you can continue publishing.
-   */ interrupt() {
-        this.interrupted = true;
-        this.l1TxUtils.interrupt();
-    }
-    /** Restarts the publisher after calling `interrupt`. */ restart() {
-        this.interrupted = false;
-        this.l1TxUtils.restart();
-    }
     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) {
-            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) {
-                return false;
-            }
-            try {
-                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 === 'success') {
-                const tx = await this.l1TxUtils.getTransactionStats(txReceipt.transactionHash);
-                const stats = {
-                    gasPrice: txReceipt.effectiveGasPrice,
-                    gasUsed: txReceipt.gasUsed,
-                    transactionHash: txReceipt.transactionHash,
-                    calldataGas: tx.calldataGas,
-                    calldataSize: tx.calldataSize,
-                    sender: tx.sender,
-                    blobDataGas: 0n,
-                    blobGasUsed: 0n,
-                    eventName: 'proof-published-to-l1'
-                };
-                this.log.info(`Published epoch proof to L1 rollup contract`, {
-                    ...stats,
-                    ...ctx
-                });
-                this.metrics.recordSubmitProof(timer.ms(), stats);
-                return true;
-            }
-            this.metrics.recordFailedTx();
-            this.log.error(`Rollup.submitEpochProof tx status failed ${txReceipt.transactionHash}`, undefined, ctx);
+        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().toString());
+        } catch (err) {
+            this.log.warn(`Failed to record the ETH balance of the prover node: ${err}`);
+        }
+        // Tx was mined successfully
+        if (txReceipt.status === 'success') {
+            const tx = await this.l1TxUtils.getTransactionStats(txReceipt.transactionHash);
+            const stats = {
+                gasPrice: txReceipt.effectiveGasPrice,
+                gasUsed: txReceipt.gasUsed,
+                transactionHash: txReceipt.transactionHash,
+                calldataGas: tx.calldataGas,
+                calldataSize: tx.calldataSize,
+                sender: tx.sender,
+                blobDataGas: 0n,
+                blobGasUsed: 0n,
+                eventName: 'proof-published-to-l1'
+            };
+            this.log.info(`Published epoch proof to L1 rollup contract`, {
+                ...stats,
+                ...ctx
+            });
+            this.metrics.recordSubmitProof(timer.ms(), stats);
+            return true;
         }
-        this.log.verbose('L2 block data syncing interrupted', ctx);
+        this.metrics.recordFailedTx();
+        this.log.error(`Rollup submitEpochProof tx reverted ${txReceipt.transactionHash}`, undefined, ctx);
         return false;
     }
     async validateEpochProofSubmission(args) {
-        const { fromBlock, toBlock, publicInputs, batchedBlobInputs } = args;
-        // Check that the block numbers match the expected epoch to be proven
-        const { pendingBlockNumber: pending, provenBlockNumber: proven } = await this.rollupContract.getTips();
-        // Don't publish if proven is beyond our toBlock, pointless to do so
-        if (proven > BigInt(toBlock)) {
-            throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as proven block is ${proven}`);
+        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}`);
         }
-        // toBlock can't be greater than pending
-        if (toBlock > pending) {
-            throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as pending block is ${pending}`);
+        // 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}`);
         }
-        // Check the archive for the immediate block before the epoch
-        const blockLog = await this.rollupContract.getBlock(BigInt(fromBlock - 1));
-        if (publicInputs.previousArchiveRoot.toString() !== blockLog.archive) {
-            throw new Error(`Previous archive root mismatch: ${publicInputs.previousArchiveRoot.toString()} !== ${blockLog.archive}`);
+        // 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 archive for the last block in the epoch
-        const endBlockLog = await this.rollupContract.getBlock(BigInt(toBlock));
-        if (publicInputs.endArchiveRoot.toString() !== endBlockLog.archive) {
-            throw new Error(`End archive root mismatch: ${publicInputs.endArchiveRoot.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()}`);
         }
         // Check the batched blob inputs from the root rollup against the batched blob computed in ts
         const finalBlobAccumulator = batchedBlobInputs.toFinalBlobAccumulator();
@@ -121,19 +109,74 @@ export class ProverNodePublisher {
         const argsPublicInputs = [
             ...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.proofSubmissionTarget,
+                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 txArgs = [
             this.getSubmitEpochProofArgs(args)
         ];
         this.log.info(`Submitting epoch proof to L1 rollup contract`, {
             proofSize: args.proof.withoutPublicInputs().length,
-            fromBlock: args.fromBlock,
-            toBlock: args.toBlock
+            fromCheckpoint: args.fromCheckpoint,
+            toCheckpoint: args.toCheckpoint
         });
         const data = encodeFunctionData({
             abi: RollupAbi,
@@ -142,36 +185,42 @@ export class ProverNodePublisher {
         });
         try {
             const { receipt } = await this.l1TxUtils.sendAndMonitorTransaction({
-                to: this.rollupContract.address,
+                to: this.proofSubmissionTarget,
                 data
+            }, {
+                txTimeoutAt: args.deadline
             });
+            if (receipt.status !== 'success') {
+                const errorMsg = await this.l1TxUtils.tryGetErrorFromRevertedTx(data, {
+                    args: [
+                        ...txArgs
+                    ],
+                    functionName: 'submitEpochRootProof',
+                    abi: RollupAbi,
+                    address: this.proofSubmissionTarget
+                }, /*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;
         }
     }
     getEpochProofPublicInputsArgs(args) {
         // Returns arguments for EpochProofLib.sol -> getEpochProofPublicInputs()
         return [
-            BigInt(args.fromBlock),
-            BigInt(args.toBlock),
+            BigInt(args.fromCheckpoint),
+            BigInt(args.toCheckpoint),
             {
                 previousArchive: args.publicInputs.previousArchiveRoot.toString(),
                 endArchive: args.publicInputs.endArchiveRoot.toString(),
+                outHash: args.publicInputs.outHash.toString(),
                 proverId: EthAddress.fromField(args.publicInputs.constants.proverId).toString()
             } /*_args*/ ,
-            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()),
-            args.batchedBlobInputs.getEthBlobEvaluationInputs()
+            args.headers.map((header)=>header.toViem()),
+            getEthBlobEvaluationInputs(args.batchedBlobInputs)
         ];
     }
     getSubmitEpochProofArgs(args) {
@@ -182,10 +231,107 @@ export class ProverNodePublisher {
             start: argsArray[0],
             end: argsArray[1],
             args: argsArray[2],
-            fees: argsArray[3],
-            attestations: new CommitteeAttestationsAndSigners(args.attestations.map((a)=>CommitteeAttestation.fromViem(a))).getPackedAttestations(),
+            headers: 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)}`);
+}