@aztec/sequencer-client 3.0.0-canary.a9708bd → 3.0.0-devnet.2-patch.1

package/dest/publisher/sequencer-publisher.js

@@ -1,25 +1,22 @@
-import { Blob } from '@aztec/blob-lib';
+import { Blob, getBlobsPerL1Block, getPrefixedEthBlobCommitments } from '@aztec/blob-lib';
 import { createBlobSinkClient } from '@aztec/blob-sink/client';
-import { FormattedViemError, MULTI_CALL_3_ADDRESS, Multicall3, RollupContract, formatViemError, tryExtractEvent } from '@aztec/ethereum';
+import { MULTI_CALL_3_ADDRESS, Multicall3, RollupContract } from '@aztec/ethereum/contracts';
+import { WEI_CONST } from '@aztec/ethereum/l1-tx-utils';
+import { FormattedViemError, formatViemError, tryExtractEvent } from '@aztec/ethereum/utils';
 import { sumBigint } from '@aztec/foundation/bigint';
 import { toHex as toPaddedHex } from '@aztec/foundation/bigint-buffer';
+import { BlockNumber, CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
 import { EthAddress } from '@aztec/foundation/eth-address';
+import { Signature } from '@aztec/foundation/eth-signature';
 import { createLogger } from '@aztec/foundation/log';
 import { bufferToHex } from '@aztec/foundation/string';
 import { Timer } from '@aztec/foundation/timer';
 import { EmpireBaseAbi, ErrorsAbi, RollupAbi } from '@aztec/l1-artifacts';
 import { encodeSlashConsensusVotes } from '@aztec/slasher';
-import { CommitteeAttestation } from '@aztec/stdlib/block';
-import { ConsensusPayload, SignatureDomainSeparator, getHashedSignaturePayload } from '@aztec/stdlib/p2p';
+import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
 import { getTelemetryClient } from '@aztec/telemetry-client';
-import pick from 'lodash.pick';
 import { encodeFunctionData, toHex } from 'viem';
 import { SequencerPublisherMetrics } from './sequencer-publisher-metrics.js';
-export var SignalType = /*#__PURE__*/ function(SignalType) {
-    SignalType[SignalType["GOVERNANCE"] = 0] = "GOVERNANCE";
-    SignalType[SignalType["SLASHING"] = 1] = "SLASHING";
-    return SignalType;
-}({});
 export const Actions = [
     'invalidate-by-invalid-attestation',
     'invalidate-by-insufficient-attestations',
@@ -40,10 +37,11 @@ export class SequencerPublisher {
     epochCache;
     governanceLog;
     slashingLog;
-    myLastSignals;
+    lastActions;
     log;
     ethereumSlotDuration;
     blobSinkClient;
+    /** Address to use for simulations in fisherman mode (actual proposer's address) */ proposerAddressForSimulation;
     // @note - with blobs, the below estimate seems too large.
     // Total used for full block from int_l1_pub e2e test: 1m (of which 86k is 1x blob)
     // Total used for emptier block from above test: 429k (of which 84k is 1x blob)
@@ -63,14 +61,12 @@ export class SequencerPublisher {
         this.interrupted = false;
         this.governanceLog = createLogger('sequencer:publisher:governance');
         this.slashingLog = createLogger('sequencer:publisher:slashing');
-        this.myLastSignals = {
-            [0]: 0n,
-            [1]: 0n
-        };
-        this.log = createLogger('sequencer:publisher');
+        this.lastActions = {};
         this.requests = [];
+        this.log = deps.log ?? createLogger('sequencer:publisher');
         this.ethereumSlotDuration = BigInt(config.ethereumSlotDuration);
         this.epochCache = deps.epochCache;
+        this.lastActions = deps.lastActions;
         this.blobSinkClient = deps.blobSinkClient ?? createBlobSinkClient(config, {
             logger: createLogger('sequencer:blob-sink:client')
         });
@@ -93,6 +89,12 @@ export class SequencerPublisher {
     getSenderAddress() {
         return this.l1TxUtils.getSenderAddress();
     }
+    /**
+   * Sets the proposer address to use for simulations in fisherman mode.
+   * @param proposerAddress - The actual proposer's address to use for balance lookups in simulations
+   */ setProposerAddressForSimulation(proposerAddress) {
+        this.proposerAddressForSimulation = proposerAddress;
+    }
     addRequest(request) {
         this.requests.push(request);
     }
@@ -100,6 +102,15 @@ export class SequencerPublisher {
         return this.epochCache.getEpochAndSlotNow().slot;
     }
     /**
+   * Clears all pending requests without sending them.
+   */ clearPendingRequests() {
+        const count = this.requests.length;
+        this.requests = [];
+        if (count > 0) {
+            this.log.debug(`Cleared ${count} pending request(s)`);
+        }
+    }
+    /**
    * Sends all requests that are still valid.
    * @returns one of:
    * - A receipt and stats if the tx succeeded
@@ -148,7 +159,7 @@ export class SequencerPublisher {
         const gasLimit = gasLimits.length > 0 ? sumBigint(gasLimits) : undefined; // sum
         const txTimeoutAts = gasConfigs.map((g)=>g?.txTimeoutAt).filter((g)=>g !== undefined);
         const txTimeoutAt = txTimeoutAts.length > 0 ? new Date(Math.min(...txTimeoutAts.map((g)=>g.getTime()))) : undefined; // earliest
-        const gasConfig = {
+        const txConfig = {
             gasLimit,
             txTimeoutAt
         };
@@ -157,9 +168,10 @@ export class SequencerPublisher {
         validRequests.sort((a, b)=>compareActions(a.action, b.action));
         try {
             this.log.debug('Forwarding transactions', {
-                validRequests: validRequests.map((request)=>request.action)
+                validRequests: validRequests.map((request)=>request.action),
+                txConfig
             });
-            const result = await Multicall3.forward(validRequests.map((request)=>request.request), this.l1TxUtils, gasConfig, blobConfig, this.rollupContract.address, this.log);
+            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,
@@ -218,7 +230,9 @@ export class SequencerPublisher {
             'InvalidProposer',
             'InvalidArchive'
         ];
-        return this.rollupContract.canProposeAtNextEthBlock(tipArchive.toBuffer(), msgSender.toString(), this.ethereumSlotDuration, opts).catch((err)=>{
+        return this.rollupContract.canProposeAtNextEthBlock(tipArchive.toBuffer(), msgSender.toString(), Number(this.ethereumSlotDuration), {
+            forcePendingCheckpointNumber: opts.forcePendingBlockNumber !== undefined ? CheckpointNumber.fromBlockNumber(opts.forcePendingBlockNumber) : undefined
+        }).catch((err)=>{
             if (err instanceof FormattedViemError && ignoredErrors.find((e)=>err.message.includes(e))) {
                 this.log.warn(`Failed canProposeAtTime check with ${ignoredErrors.find((e)=>err.message.includes(e))}`, {
                     error: err.message
@@ -241,16 +255,28 @@ export class SequencerPublisher {
         };
         const args = [
             header.toViem(),
-            RollupContract.packAttestations([]),
+            CommitteeAttestationsAndSigners.empty().getPackedAttestations(),
             [],
+            Signature.empty().toViemSignature(),
             `0x${'0'.repeat(64)}`,
             header.contentCommitment.blobsHash.toString(),
             flags
         ];
         const ts = BigInt((await this.l1TxUtils.getBlock()).timestamp + this.ethereumSlotDuration);
-        // use sender balance to simulate
-        const balance = await this.l1TxUtils.getSenderBalance();
-        this.log.debug(`Simulating validateHeader with balance: ${balance}`);
+        const optsForcePendingCheckpointNumber = opts?.forcePendingBlockNumber !== undefined ? CheckpointNumber.fromBlockNumber(opts.forcePendingBlockNumber) : undefined;
+        const stateOverrides = await this.rollupContract.makePendingCheckpointNumberOverride(optsForcePendingCheckpointNumber);
+        let balance = 0n;
+        if (this.config.fishermanMode) {
+            // In fisherman mode, we can't know where the proposer is publishing from
+            // so we just add sufficient balance to the multicall3 address
+            balance = 10n * WEI_CONST * WEI_CONST; // 10 ETH
+        } else {
+            balance = await this.l1TxUtils.getSenderBalance();
+        }
+        stateOverrides.push({
+            address: MULTI_CALL_3_ADDRESS,
+            balance
+        });
         await this.l1TxUtils.simulate({
             to: this.rollupContract.address,
             data: encodeFunctionData({
@@ -261,13 +287,7 @@ export class SequencerPublisher {
             from: MULTI_CALL_3_ADDRESS
         }, {
             time: ts + 1n
-        }, [
-            {
-                address: MULTI_CALL_3_ADDRESS,
-                balance
-            },
-            ...await this.rollupContract.makePendingBlockNumberOverride(opts?.forcePendingBlockNumber)
-        ]);
+        }, stateOverrides);
         this.log.debug(`Simulated validateHeader`);
     }
     /**
@@ -278,13 +298,13 @@ export class SequencerPublisher {
             return undefined;
         }
         const { reason, block } = validationResult;
-        const blockNumber = block.block.number;
+        const blockNumber = block.blockNumber;
         const logData = {
-            ...block.block.toBlockInfo(),
+            ...block,
             reason
         };
-        const currentBlockNumber = await this.rollupContract.getBlockNumber();
-        if (currentBlockNumber < validationResult.block.block.number) {
+        const currentBlockNumber = await this.rollupContract.getCheckpointNumber();
+        if (currentBlockNumber < validationResult.block.blockNumber) {
             this.log.verbose(`Skipping block ${blockNumber} invalidation since it has already been removed from the pending chain`, {
                 currentBlockNumber,
                 ...logData
@@ -292,7 +312,10 @@ export class SequencerPublisher {
             return undefined;
         }
         const request = this.buildInvalidateBlockRequest(validationResult);
-        this.log.debug(`Simulating invalidate block ${blockNumber}`, logData);
+        this.log.debug(`Simulating invalidate block ${blockNumber}`, {
+            ...logData,
+            request
+        });
         try {
             const { gasUsed } = await this.l1TxUtils.simulate(request, undefined, undefined, ErrorsAbi);
             this.log.verbose(`Simulation for invalidate block ${blockNumber} succeeded`, {
@@ -304,7 +327,7 @@ export class SequencerPublisher {
                 request,
                 gasUsed,
                 blockNumber,
-                forcePendingBlockNumber: blockNumber - 1,
+                forcePendingBlockNumber: BlockNumber(blockNumber - 1),
                 reason
             };
         } catch (err) {
@@ -317,7 +340,7 @@ export class SequencerPublisher {
                     request,
                     error: viemError.message
                 });
-                const latestPendingBlockNumber = await this.rollupContract.getBlockNumber();
+                const latestPendingBlockNumber = await this.rollupContract.getCheckpointNumber();
                 if (latestPendingBlockNumber < blockNumber) {
                     this.log.verbose(`Block number ${blockNumber} has already been invalidated`, {
                         ...logData
@@ -343,14 +366,15 @@ export class SequencerPublisher {
         }
         const { block, committee, reason } = validationResult;
         const logData = {
-            ...block.block.toBlockInfo(),
+            ...block,
             reason
         };
-        this.log.debug(`Simulating invalidate block ${block.block.number}`, logData);
+        this.log.debug(`Simulating invalidate block ${block.blockNumber}`, logData);
+        const attestationsAndSigners = new CommitteeAttestationsAndSigners(validationResult.attestations).getPackedAttestations();
         if (reason === 'invalid-attestation') {
-            return this.rollupContract.buildInvalidateBadAttestationRequest(block.block.number, block.attestations.map((a)=>a.toViem()), committee, validationResult.invalidIndex);
+            return this.rollupContract.buildInvalidateBadAttestationRequest(CheckpointNumber.fromBlockNumber(block.blockNumber), attestationsAndSigners, committee, validationResult.invalidIndex);
         } else if (reason === 'insufficient-attestations') {
-            return this.rollupContract.buildInvalidateInsufficientAttestationsRequest(block.block.number, block.attestations.map((a)=>a.toViem()), committee);
+            return this.rollupContract.buildInvalidateInsufficientAttestationsRequest(CheckpointNumber.fromBlockNumber(block.blockNumber), attestationsAndSigners, committee);
         } else {
             const _ = reason;
             throw new Error(`Unknown reason for invalidation`);
@@ -364,45 +388,41 @@ export class SequencerPublisher {
    * @param block - The block to propose
    * @param attestationData - The block's attestation data
    *
-   */ async validateBlockForSubmission(block, attestationData = {
-        digest: Buffer.alloc(32),
-        attestations: []
-    }, options) {
+   */ async validateBlockForSubmission(block, attestationsAndSigners, attestationsAndSignersSignature, options) {
         const ts = BigInt((await this.l1TxUtils.getBlock()).timestamp + this.ethereumSlotDuration);
         // If we have no attestations, we still need to provide the empty attestations
         // so that the committee is recalculated correctly
-        const ignoreSignatures = attestationData.attestations.length === 0;
+        const ignoreSignatures = attestationsAndSigners.attestations.length === 0;
         if (ignoreSignatures) {
-            const { committee } = await this.epochCache.getCommittee(block.header.globalVariables.slotNumber.toBigInt());
+            const { committee } = await this.epochCache.getCommittee(block.header.globalVariables.slotNumber);
             if (!committee) {
-                this.log.warn(`No committee found for slot ${block.header.globalVariables.slotNumber.toBigInt()}`);
-                throw new Error(`No committee found for slot ${block.header.globalVariables.slotNumber.toBigInt()}`);
+                this.log.warn(`No committee found for slot ${block.header.globalVariables.slotNumber}`);
+                throw new Error(`No committee found for slot ${block.header.globalVariables.slotNumber}`);
             }
-            attestationData.attestations = committee.map((committeeMember)=>CommitteeAttestation.fromAddress(committeeMember));
+            attestationsAndSigners.attestations = committee.map((committeeMember)=>CommitteeAttestation.fromAddress(committeeMember));
         }
-        const blobs = await Blob.getBlobsPerBlock(block.body.toBlobFields());
-        const blobInput = Blob.getPrefixedEthBlobCommitments(blobs);
-        const formattedAttestations = attestationData.attestations.map((attest)=>attest.toViem());
-        const signers = attestationData.attestations.filter((attest)=>!attest.signature.isEmpty()).map((attest)=>attest.address.toString());
+        const blobFields = block.getCheckpointBlobFields();
+        const blobs = getBlobsPerL1Block(blobFields);
+        const blobInput = getPrefixedEthBlobCommitments(blobs);
         const args = [
             {
-                header: block.header.toPropose().toViem(),
+                header: block.getCheckpointHeader().toViem(),
                 archive: toHex(block.archive.root.toBuffer()),
-                stateReference: block.header.state.toViem(),
-                txHashes: block.body.txEffects.map((txEffect)=>txEffect.txHash.toString()),
                 oracleInput: {
                     feeAssetPriceModifier: 0n
                 }
             },
-            RollupContract.packAttestations(formattedAttestations),
-            signers,
+            attestationsAndSigners.getPackedAttestations(),
+            attestationsAndSigners.getSigners().map((signer)=>signer.toString()),
+            attestationsAndSignersSignature.toViemSignature(),
             blobInput
         ];
         await this.simulateProposeTx(args, ts, options);
         return ts;
     }
     async enqueueCastSignalHelper(slotNumber, timestamp, signalType, payload, base, signerAddress, signer) {
-        if (this.myLastSignals[signalType] >= slotNumber) {
+        if (this.lastActions[signalType] && this.lastActions[signalType] === slotNumber) {
+            this.log.debug(`Skipping duplicate vote cast signal ${signalType} for slot ${slotNumber}`);
             return false;
         }
         if (payload.equals(EthAddress.ZERO)) {
@@ -417,9 +437,9 @@ export class SequencerPublisher {
         if (roundInfo.lastSignalSlot >= slotNumber) {
             return false;
         }
-        const cachedLastVote = this.myLastSignals[signalType];
-        this.myLastSignals[signalType] = slotNumber;
-        const action = signalType === 0 ? 'governance-signal' : 'empire-slashing-signal';
+        const cachedLastVote = this.lastActions[signalType];
+        this.lastActions[signalType] = slotNumber;
+        const action = signalType;
         const request = await base.createSignalRequestWithSignature(payload.toString(), slotNumber, this.config.l1ChainId, signerAddress.toString(), signer);
         this.log.debug(`Created ${action} request with signature`, {
             request,
@@ -456,7 +476,7 @@ export class SequencerPublisher {
                 };
                 if (!success) {
                     this.log.error(`Signaling in [${action}] for ${payload} at slot ${slotNumber} in round ${round} failed`, logData);
-                    this.myLastSignals[signalType] = cachedLastVote;
+                    this.lastActions[signalType] = cachedLastVote;
                     return false;
                 } else {
                     this.log.info(`Signaling in [${action}] for ${payload} at slot ${slotNumber} in round ${round} succeeded`, logData);
@@ -472,7 +492,7 @@ export class SequencerPublisher {
    * @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, 0, governancePayload, this.govProposerContract, signerAddress, signer);
+        return this.enqueueCastSignalHelper(slotNumber, timestamp, 'governance-signal', governancePayload, this.govProposerContract, signerAddress, signer);
     }
     /** Enqueues all slashing actions as returned by the slasher client. */ async enqueueSlashingActions(actions, slotNumber, timestamp, signerAddress, signer) {
         if (actions.length === 0) {
@@ -490,7 +510,7 @@ export class SequencerPublisher {
                         this.log.debug(`Enqueuing slashing vote for payload ${action.payload} at slot ${slotNumber}`, {
                             signerAddress
                         });
-                        await this.enqueueCastSignalHelper(slotNumber, timestamp, 1, action.payload, this.slashingProposerContract, signerAddress, signer);
+                        await this.enqueueCastSignalHelper(slotNumber, timestamp, 'empire-slashing-signal', action.payload, this.slashingProposerContract, signerAddress, signer);
                         break;
                     }
                 case 'create-empire-payload':
@@ -566,19 +586,17 @@ export class SequencerPublisher {
    *
    * @param block - L2 block to propose.
    * @returns True if the tx has been enqueued, throws otherwise. See #9315
-   */ async enqueueProposeL2Block(block, attestations, txHashes, opts = {}) {
-        const proposedBlockHeader = block.header.toPropose();
-        const consensusPayload = ConsensusPayload.fromBlock(block);
-        const digest = getHashedSignaturePayload(consensusPayload, SignatureDomainSeparator.blockAttestation);
-        const blobs = await Blob.getBlobsPerBlock(block.body.toBlobFields());
+   */ async enqueueProposeL2Block(block, attestationsAndSigners, attestationsAndSignersSignature, opts = {}) {
+        const checkpointHeader = block.getCheckpointHeader();
+        const blobFields = block.getCheckpointBlobFields();
+        const blobs = getBlobsPerL1Block(blobFields);
         const proposeTxArgs = {
-            header: proposedBlockHeader,
+            header: checkpointHeader,
             archive: block.archive.root.toBuffer(),
-            stateReference: block.header.state,
             body: block.body.toBuffer(),
             blobs,
-            attestations,
-            txHashes: txHashes ?? []
+            attestationsAndSigners,
+            attestationsAndSignersSignature
         };
         let ts;
         try {
@@ -586,16 +604,12 @@ export class SequencerPublisher {
             //        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.
-            const attestationData = {
-                digest: digest.toBuffer(),
-                attestations: attestations ?? []
-            };
             // TODO(palla): Check whether we're validating twice, once here and once within addProposeTx, since we call simulateProposeTx in both places.
-            ts = await this.validateBlockForSubmission(block, attestationData, opts);
+            ts = await this.validateBlockForSubmission(block, attestationsAndSigners, attestationsAndSignersSignature, opts);
         } catch (err) {
             this.log.error(`Block validation failed. ${err instanceof Error ? err.message : 'No error message'}`, err, {
                 ...block.getStats(),
-                slotNumber: block.header.globalVariables.slotNumber.toBigInt(),
+                slotNumber: block.header.globalVariables.slotNumber,
                 forcePendingBlockNumber: opts.forcePendingBlockNumber
             });
             throw err;
@@ -613,8 +627,10 @@ export class SequencerPublisher {
         }
         // We issued the simulation against the rollup contract, so we need to account for the overhead of the multicall3
         const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(request.gasUsed) * 64 / 63)));
+        const { gasUsed, blockNumber } = request;
         const logData = {
-            ...pick(request, 'gasUsed', 'blockNumber'),
+            gasUsed,
+            blockNumber,
             gasLimit,
             opts
         };
@@ -626,9 +642,9 @@ export class SequencerPublisher {
                 gasLimit,
                 txTimeoutAt: opts.txTimeoutAt
             },
-            lastValidL2Slot: this.getCurrentL2Slot() + 2n,
+            lastValidL2Slot: SlotNumber(this.getCurrentL2Slot() + 2),
             checkSuccess: (_req, result)=>{
-                const success = result && result.receipt && result.receipt.status === 'success' && tryExtractEvent(result.receipt.logs, this.rollupContract.address, RollupAbi, 'BlockInvalidated');
+                const success = result && result.receipt && result.receipt.status === 'success' && tryExtractEvent(result.receipt.logs, this.rollupContract.address, RollupAbi, 'CheckpointInvalidated');
                 if (!success) {
                     this.log.warn(`Invalidate block ${request.blockNumber} failed`, {
                         ...result,
@@ -650,8 +666,14 @@ export class SequencerPublisher {
             timestamp,
             gasLimit: undefined
         };
+        if (this.lastActions[action] && this.lastActions[action] === slotNumber) {
+            this.log.debug(`Skipping duplicate action ${action} for slot ${slotNumber}`);
+            return false;
+        }
+        const cachedLastActionSlot = this.lastActions[action];
+        this.lastActions[action] = slotNumber;
+        this.log.debug(`Simulating ${action} for slot ${slotNumber}`, logData);
         let gasUsed;
-        this.log.debug(`Simulating ${action}`, logData);
         try {
             ({ gasUsed } = await this.l1TxUtils.simulate(request, {
                 time: timestamp
@@ -684,6 +706,7 @@ export class SequencerPublisher {
                         ...result,
                         ...logData
                     });
+                    this.lastActions[action] = cachedLastActionSlot;
                 } else {
                     this.log.info(`Action ${action} at ${slotNumber} succeeded`, {
                         ...result,
@@ -710,45 +733,52 @@ export class SequencerPublisher {
     }
     async prepareProposeTx(encodedData, timestamp, options) {
         const kzg = Blob.getViemKzgInstance();
-        const blobInput = Blob.getPrefixedEthBlobCommitments(encodedData.blobs);
+        const blobInput = getPrefixedEthBlobCommitments(encodedData.blobs);
         this.log.debug('Validating blob input', {
             blobInput
         });
-        const blobEvaluationGas = await this.l1TxUtils.estimateGas(this.getSenderAddress().toString(), {
-            to: this.rollupContract.address,
-            data: encodeFunctionData({
-                abi: RollupAbi,
-                functionName: 'validateBlobs',
-                args: [
-                    blobInput
-                ]
-            })
-        }, {}, {
-            blobs: encodedData.blobs.map((b)=>b.data),
-            kzg
-        }).catch((err)=>{
-            const { message, metaMessages } = formatViemError(err);
-            this.log.error(`Failed to validate blobs`, message, {
-                metaMessages
+        // Get blob evaluation gas
+        let blobEvaluationGas;
+        if (this.config.fishermanMode) {
+            // In fisherman mode, we can't estimate blob gas because estimateGas doesn't support state overrides
+            // Use a fixed estimate.
+            blobEvaluationGas = BigInt(encodedData.blobs.length) * 21_000n;
+            this.log.debug(`Using fixed blob evaluation gas estimate in fisherman mode: ${blobEvaluationGas}`);
+        } else {
+            // Normal mode - use estimateGas with blob inputs
+            blobEvaluationGas = await this.l1TxUtils.estimateGas(this.getSenderAddress().toString(), {
+                to: this.rollupContract.address,
+                data: encodeFunctionData({
+                    abi: RollupAbi,
+                    functionName: 'validateBlobs',
+                    args: [
+                        blobInput
+                    ]
+                })
+            }, {}, {
+                blobs: encodedData.blobs.map((b)=>b.data),
+                kzg
+            }).catch((err)=>{
+                const { message, metaMessages } = formatViemError(err);
+                this.log.error(`Failed to validate blobs`, message, {
+                    metaMessages
+                });
+                throw new Error('Failed to validate blobs');
             });
-            throw new Error('Failed to validate blobs');
-        });
-        const attestations = encodedData.attestations ? encodedData.attestations.map((attest)=>attest.toViem()) : [];
-        const txHashes = encodedData.txHashes ? encodedData.txHashes.map((txHash)=>txHash.toString()) : [];
-        const signers = encodedData.attestations?.filter((attest)=>!attest.signature.isEmpty()).map((attest)=>attest.address.toString());
+        }
+        const signers = encodedData.attestationsAndSigners.getSigners().map((signer)=>signer.toString());
         const args = [
             {
                 header: encodedData.header.toViem(),
                 archive: toHex(encodedData.archive),
-                stateReference: encodedData.stateReference.toViem(),
                 oracleInput: {
                     // We are currently not modifying these. See #9963
                     feeAssetPriceModifier: 0n
-                },
-                txHashes
+                }
             },
-            RollupContract.packAttestations(attestations),
-            signers ?? [],
+            encodedData.attestationsAndSigners.getPackedAttestations(),
+            signers,
+            encodedData.attestationsAndSignersSignature.toViemSignature(),
             blobInput
         ];
         const { rollupData, simulationResult } = await this.simulateProposeTx(args, timestamp, options);
@@ -770,18 +800,10 @@ export class SequencerPublisher {
             functionName: 'propose',
             args
         });
-        // override the pending block number if requested
-        const forcePendingBlockNumberStateDiff = (options.forcePendingBlockNumber !== undefined ? await this.rollupContract.makePendingBlockNumberOverride(options.forcePendingBlockNumber) : []).flatMap((override)=>override.stateDiff ?? []);
-        const simulationResult = await this.l1TxUtils.simulate({
-            to: this.rollupContract.address,
-            data: rollupData,
-            gas: SequencerPublisher.PROPOSE_GAS_GUESS
-        }, {
-            // @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,
-            // @note reth should have a 30m gas limit per block but throws errors that this tx is beyond limit so we increase here
-            gasLimit: SequencerPublisher.PROPOSE_GAS_GUESS * 2n
-        }, [
+        // override the pending checkpoint number if requested
+        const optsForcePendingCheckpointNumber = options.forcePendingBlockNumber !== undefined ? CheckpointNumber.fromBlockNumber(options.forcePendingBlockNumber) : undefined;
+        const forcePendingCheckpointNumberStateDiff = (optsForcePendingCheckpointNumber !== undefined ? await this.rollupContract.makePendingCheckpointNumberOverride(optsForcePendingCheckpointNumber) : []).flatMap((override)=>override.stateDiff ?? []);
+        const stateOverrides = [
             {
                 address: this.rollupContract.address,
                 // @note we override checkBlob to false since blobs are not part simulate()
@@ -790,14 +812,44 @@ export class SequencerPublisher {
                         slot: toPaddedHex(RollupContract.checkBlobStorageSlot, true),
                         value: toPaddedHex(0n, true)
                     },
-                    ...forcePendingBlockNumberStateDiff
+                    ...forcePendingCheckpointNumberStateDiff
                 ]
             }
-        ], RollupAbi, {
+        ];
+        // In fisherman mode, simulate as the proposer but with sufficient balance
+        if (this.proposerAddressForSimulation) {
+            stateOverrides.push({
+                address: this.proposerAddressForSimulation.toString(),
+                balance: 10n * WEI_CONST * WEI_CONST
+            });
+        }
+        const simulationResult = await this.l1TxUtils.simulate({
+            to: this.rollupContract.address,
+            data: rollupData,
+            gas: SequencerPublisher.PROPOSE_GAS_GUESS,
+            ...this.proposerAddressForSimulation && {
+                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,
+            // @note reth should have a 30m gas limit per block but throws errors that this tx is beyond limit so we increase here
+            gasLimit: SequencerPublisher.PROPOSE_GAS_GUESS * 2n
+        }, stateOverrides, RollupAbi, {
             // @note fallback gas estimate to use if the node doesn't support simulation API
             fallbackGasEstimate: SequencerPublisher.PROPOSE_GAS_GUESS
         }).catch((err)=>{
-            this.log.error(`Failed to simulate propose tx`, err);
+            // In fisherman mode, we expect ValidatorSelection__MissingProposerSignature since fisherman doesn't have proposer signature
+            const viemError = formatViemError(err);
+            if (this.config.fishermanMode && viemError.message?.includes('ValidatorSelection__MissingProposerSignature')) {
+                this.log.debug(`Ignoring expected ValidatorSelection__MissingProposerSignature error in fisherman mode`);
+                // Return a minimal simulation result with the fallback gas estimate
+                return {
+                    gasUsed: SequencerPublisher.PROPOSE_GAS_GUESS,
+                    logs: []
+                };
+            }
+            this.log.error(`Failed to simulate propose tx`, viemError);
             throw err;
         });
         return {
@@ -822,7 +874,7 @@ export class SequencerPublisher {
                 to: this.rollupContract.address,
                 data: rollupData
             },
-            lastValidL2Slot: block.header.globalVariables.slotNumber.toBigInt(),
+            lastValidL2Slot: block.header.globalVariables.slotNumber,
             gasConfig: {
                 ...opts,
                 gasLimit
@@ -836,17 +888,20 @@ export class SequencerPublisher {
                     return false;
                 }
                 const { receipt, stats, errorMsg } = result;
-                const success = receipt && receipt.status === 'success' && tryExtractEvent(receipt.logs, this.rollupContract.address, RollupAbi, 'L2BlockProposed');
+                const success = receipt && receipt.status === 'success' && tryExtractEvent(receipt.logs, this.rollupContract.address, RollupAbi, 'CheckpointProposed');
                 if (success) {
                     const endBlock = receipt.blockNumber;
                     const inclusionBlocks = Number(endBlock - startBlock);
+                    const { calldataGas, calldataSize, sender } = stats;
                     const publishStats = {
                         gasPrice: receipt.effectiveGasPrice,
                         gasUsed: receipt.gasUsed,
                         blobGasUsed: receipt.blobGasUsed ?? 0n,
                         blobDataGas: receipt.blobGasPrice ?? 0n,
                         transactionHash: receipt.transactionHash,
-                        ...pick(stats, 'calldataGas', 'calldataSize', 'sender'),
+                        calldataGas,
+                        calldataSize,
+                        sender,
                         ...block.getStats(),
                         eventName: 'rollup-published-to-l1',
                         blobCount: encodedData.blobs.length,
@@ -865,7 +920,7 @@ export class SequencerPublisher {
                         ...block.getStats(),
                         receipt,
                         txHash: receipt.transactionHash,
-                        slotNumber: block.header.globalVariables.slotNumber.toBigInt()
+                        slotNumber: block.header.globalVariables.slotNumber
                     });
                     return false;
                 }