@aztec/sequencer-client 0.0.1-commit.ffe5b04ea → 0.0.1-commit.fff30aa

package/dest/publisher/sequencer-publisher.js

@@ -379,8 +379,8 @@ import { FormattedViemError, formatViemError, mergeAbis, tryExtractEvent } from
 import { sumBigint } from '@aztec/foundation/bigint';
 import { toHex as toPaddedHex } from '@aztec/foundation/bigint-buffer';
 import { CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { trimmedBytesLength } from '@aztec/foundation/buffer';
 import { pick } from '@aztec/foundation/collection';
-import { TimeoutError } from '@aztec/foundation/error';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import { Signature } from '@aztec/foundation/eth-signature';
 import { createLogger } from '@aztec/foundation/log';
@@ -390,9 +390,9 @@ import { Timer } from '@aztec/foundation/timer';
 import { EmpireBaseAbi, ErrorsAbi, RollupAbi } from '@aztec/l1-artifacts';
 import { encodeSlashConsensusVotes } from '@aztec/slasher';
 import { CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
+import { getLastL1SlotTimestampForL2Slot, getNextL1SlotTimestamp } from '@aztec/stdlib/epoch-helpers';
 import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
-import { encodeFunctionData, keccak256, multicall3Abi, toHex } from 'viem';
-import { createL1TxFailedStore } from './l1_tx_failed_store/index.js';
+import { encodeFunctionData, toHex } from 'viem';
 import { SequencerPublisherMetrics } from './sequencer-publisher-metrics.js';
 export const Actions = [
     'invalidate-by-invalid-attestation',
@@ -432,7 +432,6 @@ export class SequencerPublisher {
     interrupted;
     metrics;
     epochCache;
-    failedTxStore;
     governanceLog;
     slashingLog;
     lastActions;
@@ -440,9 +439,10 @@ export class SequencerPublisher {
     payloadProposedCache;
     log;
     ethereumSlotDuration;
+    aztecSlotDuration;
+    dateProvider;
     blobClient;
     /** Address to use for simulations in fisherman mode (actual proposer's address) */ proposerAddressForSimulation;
-    /** Optional callback to obtain a replacement publisher when the current one fails to send. */ getNextPublisher;
     /** L1 fee analyzer for fisherman mode */ l1FeeAnalyzer;
     /** Fee asset price oracle for computing price modifiers from Uniswap V4 */ feeAssetPriceOracle;
     // A CALL to a cold address is 2700 gas
@@ -467,6 +467,8 @@ export class SequencerPublisher {
         this.requests = [];
         this.log = deps.log ?? createLogger('sequencer:publisher');
         this.ethereumSlotDuration = BigInt(config.ethereumSlotDuration);
+        this.aztecSlotDuration = BigInt(config.aztecSlotDuration);
+        this.dateProvider = deps.dateProvider;
         this.epochCache = deps.epochCache;
         this.lastActions = deps.lastActions;
         this.blobClient = deps.blobClient;
@@ -474,7 +476,6 @@ export class SequencerPublisher {
         this.metrics = deps.metrics ?? new SequencerPublisherMetrics(telemetry, 'SequencerPublisher');
         this.tracer = telemetry.getTracer('SequencerPublisher');
         this.l1TxUtils = deps.l1TxUtils;
-        this.getNextPublisher = deps.getNextPublisher;
         this.rollupContract = deps.rollupContract;
         this.govProposerContract = deps.governanceProposerContract;
         this.slashingProposerContract = deps.slashingProposerContract;
@@ -490,24 +491,6 @@ export class SequencerPublisher {
         }
         // Initialize fee asset price oracle
         this.feeAssetPriceOracle = new FeeAssetPriceOracle(this.l1TxUtils.client, this.rollupContract, createLogger('sequencer:publisher:price-oracle'));
-        // Initialize failed L1 tx store (optional, for test networks)
-        this.failedTxStore = createL1TxFailedStore(config.l1TxFailedStore, this.log);
-    }
-    /**
-   * Backs up a failed L1 transaction to the configured store for debugging.
-   * Does nothing if no store is configured.
-   */ backupFailedTx(failedTx) {
-        if (!this.failedTxStore) {
-            return;
-        }
-        const tx = {
-            ...failedTx,
-            timestamp: Date.now()
-        };
-        // Fire and forget - don't block on backup
-        void this.failedTxStore.then((store)=>store?.saveFailedTx(tx)).catch((err)=>{
-            this.log.warn(`Failed to backup failed L1 tx to store`, err);
-        });
     }
     getRollupContract() {
         return this.rollupContract;
@@ -625,8 +608,8 @@ export class SequencerPublisher {
         // @note - we can only have one blob config per bundle
         // find requests with gas and blob configs
         // See https://github.com/AztecProtocol/aztec-packages/issues/11513
-        const gasConfigs = requestsToProcess.filter((request)=>request.gasConfig).map((request)=>request.gasConfig);
-        const blobConfigs = requestsToProcess.filter((request)=>request.blobConfig).map((request)=>request.blobConfig);
+        const gasConfigs = validRequests.filter((request)=>request.gasConfig).map((request)=>request.gasConfig);
+        const blobConfigs = validRequests.filter((request)=>request.blobConfig).map((request)=>request.blobConfig);
         if (blobConfigs.length > 1) {
             throw new Error('Multiple blob configs found');
         }
@@ -653,34 +636,12 @@ export class SequencerPublisher {
         // This ensures the committee gets precomputed correctly
         validRequests.sort((a, b)=>compareActions(a.action, b.action));
         try {
-            // Capture context for failed tx backup before sending
-            const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
-            const multicallData = encodeFunctionData({
-                abi: multicall3Abi,
-                functionName: 'aggregate3',
-                args: [
-                    validRequests.map((r)=>({
-                            target: r.request.to,
-                            callData: r.request.data,
-                            allowFailure: true
-                        }))
-                ]
-            });
-            const blobDataHex = blobConfig?.blobs?.map((b)=>toHex(b));
-            const txContext = {
-                multicallData,
-                blobData: blobDataHex,
-                l1BlockNumber
-            };
             this.log.debug('Forwarding transactions', {
                 validRequests: validRequests.map((request)=>request.action),
                 txConfig
             });
-            const result = await this.forwardWithPublisherRotation(validRequests, txConfig, blobConfig);
-            if (result === undefined) {
-                return undefined;
-            }
-            const { successfulActions = [], failedActions = [] } = this.callbackBundledTransactions(validRequests, result, txContext);
+            const result = await Multicall3.forward(validRequests.map((request)=>request.request), this.l1TxUtils, txConfig, blobConfig, this.rollupContract.address, this.log);
+            const { successfulActions = [], failedActions = [] } = this.callbackBundledTransactions(validRequests, result);
             return {
                 result,
                 expiredActions,
@@ -700,74 +661,26 @@ export class SequencerPublisher {
             }
         }
     }
-    /**
-   * Forwards transactions via Multicall3, rotating to the next available publisher if a send
-   * failure occurs (i.e. the tx never reached the chain).
-   * On-chain reverts and simulation errors are returned as-is without rotation.
-   */ async forwardWithPublisherRotation(validRequests, txConfig, blobConfig) {
-        const triedAddresses = [];
-        let currentPublisher = this.l1TxUtils;
-        while(true){
-            triedAddresses.push(currentPublisher.getSenderAddress());
-            try {
-                const result = await Multicall3.forward(validRequests.map((r)=>r.request), currentPublisher, txConfig, blobConfig, this.rollupContract.address, this.log);
-                this.l1TxUtils = currentPublisher;
-                return result;
-            } catch (err) {
-                if (err instanceof TimeoutError) {
-                    throw err;
-                }
-                const viemError = formatViemError(err);
-                if (!this.getNextPublisher) {
-                    this.log.error('Failed to publish bundled transactions', viemError);
-                    return undefined;
-                }
-                this.log.warn(`Publisher ${currentPublisher.getSenderAddress()} failed to send, rotating to next publisher`, viemError);
-                const nextPublisher = await this.getNextPublisher([
-                    ...triedAddresses
-                ]);
-                if (!nextPublisher) {
-                    this.log.error('All available publishers exhausted, failed to publish bundled transactions');
-                    return undefined;
-                }
-                currentPublisher = nextPublisher;
-            }
-        }
-    }
-    callbackBundledTransactions(requests, result, txContext) {
+    callbackBundledTransactions(requests, result) {
         const actionsListStr = requests.map((r)=>r.action).join(', ');
         if (result instanceof FormattedViemError) {
             this.log.error(`Failed to publish bundled transactions (${actionsListStr})`, result);
-            this.backupFailedTx({
-                id: keccak256(txContext.multicallData),
-                failureType: 'send-error',
-                request: {
-                    to: MULTI_CALL_3_ADDRESS,
-                    data: txContext.multicallData
-                },
-                blobData: txContext.blobData,
-                l1BlockNumber: txContext.l1BlockNumber.toString(),
-                error: {
-                    message: result.message,
-                    name: result.name
-                },
-                context: {
-                    actions: requests.map((r)=>r.action),
-                    requests: requests.map((r)=>({
-                            action: r.action,
-                            to: r.request.to,
-                            data: r.request.data
-                        })),
-                    sender: this.getSenderAddress().toString()
-                }
-            });
             return {
                 failedActions: requests.map((r)=>r.action)
             };
         } else {
             this.log.verbose(`Published bundled transactions (${actionsListStr})`, {
                 result,
-                requests
+                requests: requests.map((r)=>({
+                        ...r,
+                        // Avoid logging large blob data
+                        blobConfig: r.blobConfig ? {
+                            ...r.blobConfig,
+                            blobs: r.blobConfig.blobs.map((b)=>({
+                                    size: trimmedBytesLength(b)
+                                }))
+                        } : undefined
+                    }))
             });
             const successfulActions = [];
             const failedActions = [];
@@ -778,37 +691,6 @@ export class SequencerPublisher {
                     failedActions.push(request.action);
                 }
             }
-            // Single backup for the whole reverted tx
-            if (failedActions.length > 0 && result?.receipt?.status === 'reverted') {
-                this.backupFailedTx({
-                    id: result.receipt.transactionHash,
-                    failureType: 'revert',
-                    request: {
-                        to: MULTI_CALL_3_ADDRESS,
-                        data: txContext.multicallData
-                    },
-                    blobData: txContext.blobData,
-                    l1BlockNumber: result.receipt.blockNumber.toString(),
-                    receipt: {
-                        transactionHash: result.receipt.transactionHash,
-                        blockNumber: result.receipt.blockNumber.toString(),
-                        gasUsed: (result.receipt.gasUsed ?? 0n).toString(),
-                        status: 'reverted'
-                    },
-                    error: {
-                        message: result.errorMsg ?? 'Transaction reverted'
-                    },
-                    context: {
-                        actions: failedActions,
-                        requests: requests.filter((r)=>failedActions.includes(r.action)).map((r)=>({
-                                action: r.action,
-                                to: r.request.to,
-                                data: r.request.data
-                            })),
-                        sender: this.getSenderAddress().toString()
-                    }
-                });
-            }
             return {
                 successfulActions,
                 failedActions
@@ -816,17 +698,20 @@ export class SequencerPublisher {
         }
     }
     /**
-   * @notice  Will call `canProposeAtNextEthBlock` to make sure that it is possible to propose
+   * @notice  Will call `canProposeAt` to make sure that it is possible to propose
    * @param tipArchive - The archive to check
    * @returns The slot and block number if it is possible to propose, undefined otherwise
-   */ canProposeAtNextEthBlock(tipArchive, msgSender, opts = {}) {
+   */ canProposeAt(tipArchive, msgSender, opts = {}) {
         // TODO: #14291 - should loop through multiple keys to check if any of them can propose
         const ignoredErrors = [
             'SlotAlreadyInChain',
             'InvalidProposer',
             'InvalidArchive'
         ];
-        return this.rollupContract.canProposeAtNextEthBlock(tipArchive.toBuffer(), msgSender.toString(), Number(this.ethereumSlotDuration), {
+        const pipelined = opts.pipelined ?? false;
+        const slotOffset = pipelined ? this.aztecSlotDuration : 0n;
+        const nextL1SlotTs = this.getNextL1SlotTimestamp() + slotOffset;
+        return this.rollupContract.canProposeAt(tipArchive.toBuffer(), msgSender.toString(), nextL1SlotTs, {
             forcePendingCheckpointNumber: opts.forcePendingCheckpointNumber
         }).catch((err)=>{
             if (err instanceof FormattedViemError && ignoredErrors.find((e)=>err.message.includes(e))) {
@@ -858,7 +743,7 @@ export class SequencerPublisher {
             header.blobsHash.toString(),
             flags
         ];
-        const ts = BigInt((await this.l1TxUtils.getBlock()).timestamp + this.ethereumSlotDuration);
+        const ts = this.getSimulationTimestamp(header.slotNumber);
         const stateOverrides = await this.rollupContract.makePendingCheckpointNumberOverride(opts?.forcePendingCheckpointNumber);
         let balance = 0n;
         if (this.config.fishermanMode) {
@@ -881,7 +766,7 @@ export class SequencerPublisher {
             }),
             from: MULTI_CALL_3_ADDRESS
         }, {
-            time: ts + 1n
+            time: ts
         }, stateOverrides);
         this.log.debug(`Simulated validateHeader`);
     }
@@ -911,7 +796,6 @@ export class SequencerPublisher {
             ...logData,
             request
         });
-        const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
         try {
             const { gasUsed } = await this.l1TxUtils.simulate(request, undefined, undefined, mergeAbis([
                 request.abi ?? [],
@@ -954,27 +838,6 @@ export class SequencerPublisher {
             }
             // Otherwise, throw. We cannot build the next checkpoint if we cannot invalidate the previous one.
             this.log.error(`Simulation for invalidate checkpoint ${checkpointNumber} failed`, viemError, logData);
-            this.backupFailedTx({
-                id: keccak256(request.data),
-                failureType: 'simulation',
-                request: {
-                    to: request.to,
-                    data: request.data,
-                    value: request.value?.toString()
-                },
-                l1BlockNumber: l1BlockNumber.toString(),
-                error: {
-                    message: viemError.message,
-                    name: viemError.name
-                },
-                context: {
-                    actions: [
-                        `invalidate-${reason}`
-                    ],
-                    checkpointNumber,
-                    sender: this.getSenderAddress().toString()
-                }
-            });
             throw new Error(`Failed to simulate invalidate checkpoint ${checkpointNumber}`, {
                 cause: viemError
             });
@@ -1001,7 +864,6 @@ export class SequencerPublisher {
         }
     }
     /** Simulates `propose` to make sure that the checkpoint is valid for submission */ async validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, options) {
-        const ts = BigInt((await this.l1TxUtils.getBlock()).timestamp + this.ethereumSlotDuration);
         const blobFields = checkpoint.toBlobFields();
         const blobs = await getBlobsPerL1Block(blobFields);
         const blobInput = getPrefixedEthBlobCommitments(blobs);
@@ -1018,10 +880,9 @@ export class SequencerPublisher {
             attestationsAndSignersSignature.toViemSignature(),
             blobInput
         ];
-        await this.simulateProposeTx(args, ts, options);
-        return ts;
+        await this.simulateProposeTx(args, options);
     }
-    async enqueueCastSignalHelper(slotNumber, timestamp, signalType, payload, base, signerAddress, signer) {
+    async enqueueCastSignalHelper(slotNumber, signalType, payload, base, signerAddress, signer) {
         if (this.lastActions[signalType] && this.lastActions[signalType] === slotNumber) {
             this.log.debug(`Skipping duplicate vote cast signal ${signalType} for slot ${slotNumber}`);
             return false;
@@ -1077,7 +938,7 @@ export class SequencerPublisher {
             signer: this.l1TxUtils.client.account?.address,
             lastValidL2Slot: slotNumber
         });
-        const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
+        const timestamp = this.getSimulationTimestamp(slotNumber);
         try {
             await this.l1TxUtils.simulate(request, {
                 time: timestamp
@@ -1090,27 +951,8 @@ export class SequencerPublisher {
             });
         } catch (err) {
             const viemError = formatViemError(err);
-            this.log.error(`Failed simulation for ${action} at slot ${slotNumber} (enqueuing the action anyway)`, viemError);
-            this.backupFailedTx({
-                id: keccak256(request.data),
-                failureType: 'simulation',
-                request: {
-                    to: request.to,
-                    data: request.data,
-                    value: request.value?.toString()
-                },
-                l1BlockNumber: l1BlockNumber.toString(),
-                error: {
-                    message: viemError.message,
-                    name: viemError.name
-                },
-                context: {
-                    actions: [
-                        action
-                    ],
-                    slot: slotNumber,
-                    sender: this.getSenderAddress().toString()
-                }
+            this.log.error(`Failed simulation for ${action} at slot ${slotNumber} (enqueuing the action anyway)`, viemError, {
+                simulationTimestamp: timestamp
             });
         // Yes, we enqueue the request anyway, in case there was a bug with the simulation itself
         }
@@ -1155,12 +997,11 @@ export class SequencerPublisher {
     /**
    * Enqueues a governance castSignal transaction to cast a signal for a given slot number.
    * @param slotNumber - The slot number to cast a signal for.
-   * @param timestamp - The timestamp of the slot to cast a signal for.
    * @returns True if the signal was successfully enqueued, false otherwise.
-   */ enqueueGovernanceCastSignal(governancePayload, slotNumber, timestamp, signerAddress, signer) {
-        return this.enqueueCastSignalHelper(slotNumber, timestamp, 'governance-signal', governancePayload, this.govProposerContract, signerAddress, signer);
+   */ enqueueGovernanceCastSignal(governancePayload, slotNumber, signerAddress, signer) {
+        return this.enqueueCastSignalHelper(slotNumber, 'governance-signal', governancePayload, this.govProposerContract, signerAddress, signer);
     }
-    /** Enqueues all slashing actions as returned by the slasher client. */ async enqueueSlashingActions(actions, slotNumber, timestamp, signerAddress, signer) {
+    /** Enqueues all slashing actions as returned by the slasher client. */ async enqueueSlashingActions(actions, slotNumber, signerAddress, signer) {
         if (actions.length === 0) {
             this.log.debug(`No slashing actions to enqueue for slot ${slotNumber}`);
             return false;
@@ -1176,7 +1017,7 @@ export class SequencerPublisher {
                         this.log.debug(`Enqueuing slashing vote for payload ${action.payload} at slot ${slotNumber}`, {
                             signerAddress
                         });
-                        await this.enqueueCastSignalHelper(slotNumber, timestamp, 'empire-slashing-signal', action.payload, this.slashingProposerContract, signerAddress, signer);
+                        await this.enqueueCastSignalHelper(slotNumber, 'empire-slashing-signal', action.payload, this.slashingProposerContract, signerAddress, signer);
                         break;
                     }
                 case 'create-empire-payload':
@@ -1186,7 +1027,7 @@ export class SequencerPublisher {
                             signerAddress
                         });
                         const request = this.slashFactoryContract.buildCreatePayloadRequest(action.data);
-                        await this.simulateAndEnqueueRequest('create-empire-payload', request, (receipt)=>!!this.slashFactoryContract.tryExtractSlashPayloadCreatedEvent(receipt.logs), slotNumber, timestamp);
+                        await this.simulateAndEnqueueRequest('create-empire-payload', request, (receipt)=>!!this.slashFactoryContract.tryExtractSlashPayloadCreatedEvent(receipt.logs), slotNumber);
                         break;
                     }
                 case 'execute-empire-payload':
@@ -1201,7 +1042,7 @@ export class SequencerPublisher {
                         }
                         const empireSlashingProposer = this.slashingProposerContract;
                         const request = empireSlashingProposer.buildExecuteRoundRequest(action.round);
-                        await this.simulateAndEnqueueRequest('execute-empire-payload', request, (receipt)=>!!empireSlashingProposer.tryExtractPayloadSubmittedEvent(receipt.logs), slotNumber, timestamp);
+                        await this.simulateAndEnqueueRequest('execute-empire-payload', request, (receipt)=>!!empireSlashingProposer.tryExtractPayloadSubmittedEvent(receipt.logs), slotNumber);
                         break;
                     }
                 case 'vote-offenses':
@@ -1219,7 +1060,7 @@ export class SequencerPublisher {
                         const tallySlashingProposer = this.slashingProposerContract;
                         const votes = bufferToHex(encodeSlashConsensusVotes(action.votes));
                         const request = await tallySlashingProposer.buildVoteRequestFromSigner(votes, slotNumber, signer);
-                        await this.simulateAndEnqueueRequest('vote-offenses', request, (receipt)=>!!tallySlashingProposer.tryExtractVoteCastEvent(receipt.logs), slotNumber, timestamp);
+                        await this.simulateAndEnqueueRequest('vote-offenses', request, (receipt)=>!!tallySlashingProposer.tryExtractVoteCastEvent(receipt.logs), slotNumber);
                         break;
                     }
                 case 'execute-slash':
@@ -1235,7 +1076,7 @@ export class SequencerPublisher {
                         }
                         const tallySlashingProposer = this.slashingProposerContract;
                         const request = tallySlashingProposer.buildExecuteRoundRequest(action.round, action.committees);
-                        await this.simulateAndEnqueueRequest('execute-slash', request, (receipt)=>!!tallySlashingProposer.tryExtractRoundExecutedEvent(receipt.logs), slotNumber, timestamp);
+                        await this.simulateAndEnqueueRequest('execute-slash', request, (receipt)=>!!tallySlashingProposer.tryExtractRoundExecutedEvent(receipt.logs), slotNumber);
                         break;
                     }
                 default:
@@ -1259,14 +1100,13 @@ export class SequencerPublisher {
             attestationsAndSignersSignature,
             feeAssetPriceModifier: checkpoint.feeAssetPriceModifier
         };
-        let ts;
         try {
             // @note  This will make sure that we are passing the checks for our header ASSUMING that the data is also made available
             //        This means that we can avoid the simulation issues in later checks.
             //        By simulation issue, I mean the fact that the block.timestamp is equal to the last block, not the next, which
             //        make time consistency checks break.
             // TODO(palla): Check whether we're validating twice, once here and once within addProposeTx, since we call simulateProposeTx in both places.
-            ts = await this.validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts);
+            await this.validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts);
         } catch (err) {
             this.log.error(`Checkpoint validation failed. ${err instanceof Error ? err.message : 'No error message'}`, err, {
                 ...checkpoint.getStats(),
@@ -1279,7 +1119,7 @@ export class SequencerPublisher {
             ...checkpoint.toCheckpointInfo(),
             ...opts
         });
-        await this.addProposeTx(checkpoint, proposeTxArgs, opts, ts);
+        await this.addProposeTx(checkpoint, proposeTxArgs, opts);
     }
     enqueueInvalidateCheckpoint(request, opts = {}) {
         if (!request) {
@@ -1320,7 +1160,8 @@ export class SequencerPublisher {
             }
         });
     }
-    async simulateAndEnqueueRequest(action, request, checkSuccess, slotNumber, timestamp) {
+    async simulateAndEnqueueRequest(action, request, checkSuccess, slotNumber) {
+        const timestamp = this.getSimulationTimestamp(slotNumber);
         const logData = {
             slotNumber,
             timestamp,
@@ -1333,7 +1174,6 @@ export class SequencerPublisher {
         const cachedLastActionSlot = this.lastActions[action];
         this.lastActions[action] = slotNumber;
         this.log.debug(`Simulating ${action} for slot ${slotNumber}`, logData);
-        const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
         let gasUsed;
         const simulateAbi = mergeAbis([
             request.abi ?? [],
@@ -1342,7 +1182,7 @@ export class SequencerPublisher {
         try {
             ({ gasUsed } = await this.l1TxUtils.simulate(request, {
                 time: timestamp
-            }, [], simulateAbi)); // TODO(palla/slash): Check the timestamp logic
+            }, [], simulateAbi));
             this.log.verbose(`Simulation for ${action} succeeded`, {
                 ...logData,
                 request,
@@ -1351,27 +1191,6 @@ export class SequencerPublisher {
         } catch (err) {
             const viemError = formatViemError(err, simulateAbi);
             this.log.error(`Simulation for ${action} at ${slotNumber} failed`, viemError, logData);
-            this.backupFailedTx({
-                id: keccak256(request.data),
-                failureType: 'simulation',
-                request: {
-                    to: request.to,
-                    data: request.data,
-                    value: request.value?.toString()
-                },
-                l1BlockNumber: l1BlockNumber.toString(),
-                error: {
-                    message: viemError.message,
-                    name: viemError.name
-                },
-                context: {
-                    actions: [
-                        action
-                    ],
-                    slot: slotNumber,
-                    sender: this.getSenderAddress().toString()
-                }
-            });
             return false;
         }
         // We issued the simulation against the rollup contract, so we need to account for the overhead of the multicall3
@@ -1423,7 +1242,7 @@ export class SequencerPublisher {
         this.interrupted = false;
         this.l1TxUtils.restart();
     }
-    async prepareProposeTx(encodedData, timestamp, options) {
+    async prepareProposeTx(encodedData, options) {
         const kzg = Blob.getViemKzgInstance();
         const blobInput = getPrefixedEthBlobCommitments(encodedData.blobs);
         this.log.debug('Validating blob input', {
@@ -1450,38 +1269,10 @@ export class SequencerPublisher {
             }, {}, {
                 blobs: encodedData.blobs.map((b)=>b.data),
                 kzg
-            }).catch(async (err)=>{
-                const viemError = formatViemError(err);
-                this.log.error(`Failed to validate blobs`, viemError.message, {
-                    metaMessages: viemError.metaMessages
-                });
-                const validateBlobsData = encodeFunctionData({
-                    abi: RollupAbi,
-                    functionName: 'validateBlobs',
-                    args: [
-                        blobInput
-                    ]
-                });
-                const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
-                this.backupFailedTx({
-                    id: keccak256(validateBlobsData),
-                    failureType: 'simulation',
-                    request: {
-                        to: this.rollupContract.address,
-                        data: validateBlobsData
-                    },
-                    blobData: encodedData.blobs.map((b)=>toHex(b.data)),
-                    l1BlockNumber: l1BlockNumber.toString(),
-                    error: {
-                        message: viemError.message,
-                        name: viemError.name
-                    },
-                    context: {
-                        actions: [
-                            'validate-blobs'
-                        ],
-                        sender: this.getSenderAddress().toString()
-                    }
+            }).catch((err)=>{
+                const { message, metaMessages } = formatViemError(err);
+                this.log.error(`Failed to validate blobs`, message, {
+                    metaMessages
                 });
                 throw new Error('Failed to validate blobs');
             });
@@ -1500,7 +1291,7 @@ export class SequencerPublisher {
             encodedData.attestationsAndSignersSignature.toViemSignature(),
             blobInput
         ];
-        const { rollupData, simulationResult } = await this.simulateProposeTx(args, timestamp, options);
+        const { rollupData, simulationResult } = await this.simulateProposeTx(args, options);
         return {
             args,
             blobEvaluationGas,
@@ -1511,9 +1302,8 @@ export class SequencerPublisher {
     /**
    * Simulates the propose tx with eth_simulateV1
    * @param args - The propose tx args
-   * @param timestamp - The timestamp to simulate proposal at
    * @returns The simulation result
-   */ async simulateProposeTx(args, timestamp, options) {
+   */ async simulateProposeTx(args, options) {
         const rollupData = encodeFunctionData({
             abi: RollupAbi,
             functionName: 'propose',
@@ -1541,7 +1331,7 @@ export class SequencerPublisher {
                 balance: 10n * WEI_CONST * WEI_CONST
             });
         }
-        const l1BlockNumber = await this.l1TxUtils.getBlockNumber();
+        const simTs = this.getSimulationTimestamp(SlotNumber.fromBigInt(args[0].header.slotNumber));
         const simulationResult = await this.l1TxUtils.simulate({
             to: this.rollupContract.address,
             data: rollupData,
@@ -1550,8 +1340,7 @@ export class SequencerPublisher {
                 from: this.proposerAddressForSimulation.toString()
             }
         }, {
-            // @note we add 1n to the timestamp because geth implementation doesn't like simulation timestamp to be equal to the current block timestamp
-            time: timestamp + 1n,
+            time: simTs,
             // @note reth should have a 30m gas limit per block but throws errors that this tx is beyond limit so we increase here
             gasLimit: MAX_L1_TX_LIMIT * 2n
         }, stateOverrides, RollupAbi, {
@@ -1568,26 +1357,8 @@ export class SequencerPublisher {
                     logs: []
                 };
             }
-            this.log.error(`Failed to simulate propose tx`, viemError);
-            this.backupFailedTx({
-                id: keccak256(rollupData),
-                failureType: 'simulation',
-                request: {
-                    to: this.rollupContract.address,
-                    data: rollupData
-                },
-                l1BlockNumber: l1BlockNumber.toString(),
-                error: {
-                    message: viemError.message,
-                    name: viemError.name
-                },
-                context: {
-                    actions: [
-                        'propose'
-                    ],
-                    slot: Number(args[0].header.slotNumber),
-                    sender: this.getSenderAddress().toString()
-                }
+            this.log.error(`Failed to simulate propose tx`, viemError, {
+                simulationTimestamp: simTs
             });
             throw err;
         });
@@ -1596,11 +1367,11 @@ export class SequencerPublisher {
             simulationResult
         };
     }
-    async addProposeTx(checkpoint, encodedData, opts = {}, timestamp) {
+    async addProposeTx(checkpoint, encodedData, opts = {}) {
         const slot = checkpoint.header.slotNumber;
         const timer = new Timer();
         const kzg = Blob.getViemKzgInstance();
-        const { rollupData, simulationResult, blobEvaluationGas } = await this.prepareProposeTx(encodedData, timestamp, opts);
+        const { rollupData, simulationResult, blobEvaluationGas } = await this.prepareProposeTx(encodedData, opts);
         const startBlock = await this.l1TxUtils.getBlockNumber();
         const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(simulationResult.gasUsed) * 64 / 63)) + blobEvaluationGas + SequencerPublisher.MULTICALL_OVERHEAD_GAS_GUESS);
         // Send the blobs to the blob client preemptively. This helps in tests where the sequencer mistakingly thinks that the propose
@@ -1665,4 +1436,13 @@ export class SequencerPublisher {
             }
         });
     }
+    /** Returns the timestamp of the last L1 slot within a given L2 slot. Used as the simulation timestamp
+   * for eth_simulateV1 calls, since it's guaranteed to be greater than any L1 block produced during the slot. */ getSimulationTimestamp(slot) {
+        const l1Constants = this.epochCache.getL1Constants();
+        return getLastL1SlotTimestampForL2Slot(slot, l1Constants);
+    }
+    /** Returns the timestamp of the next L1 slot boundary after now. */ getNextL1SlotTimestamp() {
+        const l1Constants = this.epochCache.getL1Constants();
+        return getNextL1SlotTimestamp(this.dateProvider.nowInSeconds(), l1Constants);
+    }
 }