@aztec/sequencer-client 2.0.0-nightly.20250821 → 2.0.0-nightly.20250823

package/dest/client/sequencer-client.d.ts

@@ -4,7 +4,7 @@ import { L1TxUtilsWithBlobs } from '@aztec/ethereum/l1-tx-utils-with-blobs';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import type { DateProvider } from '@aztec/foundation/timer';
 import type { P2P } from '@aztec/p2p';
-import type { SlasherClient } from '@aztec/slasher';
+import type { SlasherClientInterface } from '@aztec/slasher';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { L2BlockSource } from '@aztec/stdlib/block';
 import type { IFullNodeBlockBuilder, WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
@@ -37,7 +37,7 @@ export declare class SequencerClient {
         validatorClient: ValidatorClient | undefined;
         p2pClient: P2P;
         worldStateSynchronizer: WorldStateSynchronizer;
-        slasherClient: SlasherClient;
+        slasherClient: SlasherClientInterface | undefined;
         blockBuilder: IFullNodeBlockBuilder;
         l2BlockSource: L2BlockSource;
         l1ToL2MessageSource: L1ToL2MessageSource;

package/dest/client/sequencer-client.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sequencer-client.d.ts","sourceRoot":"","sources":["../../src/client/sequencer-client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAShD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACrG,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExE;;GAEG;AACH,qBAAa,eAAe;IAExB,SAAS,CAAC,SAAS,EAAE,SAAS;IAC9B,SAAS,CAAC,eAAe,CAAC,EAAE,eAAe;gBADjC,SAAS,EAAE,SAAS,EACpB,eAAe,CAAC,EAAE,eAAe,YAAA;IAG7C;;;;;;;;;;;OAWG;WACiB,GAAG,CACrB,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE;QACJ,eAAe,EAAE,eAAe,GAAG,SAAS,CAAC;QAC7C,SAAS,EAAE,GAAG,CAAC;QACf,sBAAsB,EAAE,sBAAsB,CAAC;QAC/C,aAAa,EAAE,aAAa,CAAC;QAC7B,YAAY,EAAE,qBAAqB,CAAC;QACpC,aAAa,EAAE,aAAa,CAAC;QAC7B,mBAAmB,EAAE,mBAAmB,CAAC;QACzC,SAAS,EAAE,eAAe,CAAC;QAC3B,SAAS,CAAC,EAAE,kBAAkB,CAAC;QAC/B,cAAc,CAAC,EAAE,uBAAuB,CAAC;QACzC,YAAY,EAAE,YAAY,CAAC;QAC3B,UAAU,CAAC,EAAE,UAAU,CAAC;QACxB,SAAS,CAAC,EAAE,kBAAkB,CAAC;KAChC;IAsGH;;;OAGG;IACI,qBAAqB,CAAC,MAAM,EAAE,eAAe;IAIpD,4BAA4B;IACf,KAAK;IAKlB;;OAEG;IACU,IAAI;IAIjB;;OAEG;IACI,MAAM;IAIN,YAAY,IAAI,SAAS;IAIhC,IAAI,QAAQ,IAAI,UAAU,CAEzB;IAED,IAAI,YAAY,IAAI,YAAY,CAE/B;IAED,IAAI,kBAAkB,IAAI,UAAU,EAAE,GAAG,SAAS,CAEjD;IAED,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAEtC;CACF"}
+{"version":3,"file":"sequencer-client.d.ts","sourceRoot":"","sources":["../../src/client/sequencer-client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAQhD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAErG,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExE;;GAEG;AACH,qBAAa,eAAe;IAExB,SAAS,CAAC,SAAS,EAAE,SAAS;IAC9B,SAAS,CAAC,eAAe,CAAC,EAAE,eAAe;gBADjC,SAAS,EAAE,SAAS,EACpB,eAAe,CAAC,EAAE,eAAe,YAAA;IAG7C;;;;;;;;;;;OAWG;WACiB,GAAG,CACrB,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE;QACJ,eAAe,EAAE,eAAe,GAAG,SAAS,CAAC;QAC7C,SAAS,EAAE,GAAG,CAAC;QACf,sBAAsB,EAAE,sBAAsB,CAAC;QAC/C,aAAa,EAAE,sBAAsB,GAAG,SAAS,CAAC;QAClD,YAAY,EAAE,qBAAqB,CAAC;QACpC,aAAa,EAAE,aAAa,CAAC;QAC7B,mBAAmB,EAAE,mBAAmB,CAAC;QACzC,SAAS,EAAE,eAAe,CAAC;QAC3B,SAAS,CAAC,EAAE,kBAAkB,CAAC;QAC/B,cAAc,CAAC,EAAE,uBAAuB,CAAC;QACzC,YAAY,EAAE,YAAY,CAAC;QAC3B,UAAU,CAAC,EAAE,UAAU,CAAC;QACxB,SAAS,CAAC,EAAE,kBAAkB,CAAC;KAChC;IA2GH;;;OAGG;IACI,qBAAqB,CAAC,MAAM,EAAE,eAAe;IAIpD,4BAA4B;IACf,KAAK;IAKlB;;OAEG;IACU,IAAI;IAIjB;;OAEG;IACI,MAAM;IAIN,YAAY,IAAI,SAAS;IAIhC,IAAI,QAAQ,IAAI,UAAU,CAEzB;IAED,IAAI,YAAY,IAAI,YAAY,CAE/B;IAED,IAAI,kBAAkB,IAAI,UAAU,EAAE,GAAG,SAAS,CAEjD;IAED,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAEtC;CACF"}

package/dest/client/sequencer-client.js

@@ -1,7 +1,9 @@
 import { EpochCache } from '@aztec/epoch-cache';
-import { GovernanceProposerContract, RollupContract, SlashingProposerContract, createEthereumChain, createExtendedL1Client, isAnvilTestChain } from '@aztec/ethereum';
+import { GovernanceProposerContract, RollupContract, createEthereumChain, createExtendedL1Client, isAnvilTestChain } from '@aztec/ethereum';
 import { L1TxUtilsWithBlobs } from '@aztec/ethereum/l1-tx-utils-with-blobs';
+import { EthAddress } from '@aztec/foundation/eth-address';
 import { createLogger } from '@aztec/foundation/log';
+import { SlashFactoryContract } from '@aztec/stdlib/l1-contracts';
 import { GlobalVariableBuilder } from '../global_variable_builder/index.js';
 import { SequencerPublisher } from '../publisher/index.js';
 import { Sequencer } from '../sequencer/index.js';
@@ -38,8 +40,7 @@ import { Sequencer } from '../sequencer/index.js';
             rollupContract.getSlotDuration()
         ]);
         const governanceProposerContract = new GovernanceProposerContract(l1Client, config.l1Contracts.governanceProposerAddress.toString());
-        const slashingProposerAddress = await rollupContract.getSlashingProposerAddress();
-        const slashingProposerContract = new SlashingProposerContract(l1Client, slashingProposerAddress.toString());
+        const slashingProposerContract = await rollupContract.getSlashingProposer();
         const epochCache = deps.epochCache ?? await EpochCache.create(config.l1Contracts.rollupAddress, {
             l1RpcUrls: rpcUrls,
             l1ChainId: chainId,
@@ -50,6 +51,7 @@ import { Sequencer } from '../sequencer/index.js';
         }, {
             dateProvider: deps.dateProvider
         });
+        const slashFactoryContract = new SlashFactoryContract(l1Client, config.l1Contracts.slashFactoryAddress?.toString() ?? EthAddress.ZERO.toString());
         const publisher = deps.publisher ?? new SequencerPublisher(config, {
             l1TxUtils,
             telemetry: telemetryClient,
@@ -58,6 +60,7 @@ import { Sequencer } from '../sequencer/index.js';
             epochCache,
             governanceProposerContract,
             slashingProposerContract,
+            slashFactoryContract,
             dateProvider: deps.dateProvider
         });
         const globalsBuilder = new GlobalVariableBuilder(config);

package/dest/publisher/sequencer-publisher.d.ts

@@ -1,12 +1,14 @@
 import type { L2Block } from '@aztec/aztec.js';
 import { type BlobSinkClientInterface } from '@aztec/blob-sink/client';
 import type { EpochCache } from '@aztec/epoch-cache';
-import { FormattedViemError, type GasPrice, type GovernanceProposerContract, type L1BlobInputs, type L1ContractsConfig, type L1GasConfig, type L1TxRequest, RollupContract, type SlashingProposerContract, type TransactionStats } from '@aztec/ethereum';
+import { type EmpireSlashingProposerContract, FormattedViemError, type GasPrice, type GovernanceProposerContract, type L1BlobInputs, type L1ContractsConfig, type L1GasConfig, type L1TxRequest, RollupContract, type TallySlashingProposerContract, type TransactionStats } from '@aztec/ethereum';
 import type { L1TxUtilsWithBlobs } from '@aztec/ethereum/l1-tx-utils-with-blobs';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import type { Fr } from '@aztec/foundation/fields';
 import { DateProvider } from '@aztec/foundation/timer';
+import { type ProposerSlashAction } from '@aztec/slasher';
 import { CommitteeAttestation, type ValidateBlockResult } from '@aztec/stdlib/block';
+import { SlashFactoryContract } from '@aztec/stdlib/l1-contracts';
 import { type ProposedBlockHeader, TxHash } from '@aztec/stdlib/tx';
 import { type TelemetryClient } from '@aztec/telemetry-client';
 import { type TransactionReceipt, type TypedDataDefinition } from 'viem';
@@ -15,8 +17,7 @@ export declare enum SignalType {
     GOVERNANCE = 0,
     SLASHING = 1
 }
-type GetSlashPayloadCallBack = (slotNumber: bigint) => Promise<EthAddress | undefined>;
-declare const Actions: readonly ["propose", "governance-signal", "slashing-signal", "invalidate-by-invalid-attestation", "invalidate-by-insufficient-attestations"];
+declare const Actions: readonly ["propose", "governance-signal", "empire-slashing-signal", "create-empire-payload", "execute-empire-payload", "vote-offenses", "execute-slash", "invalidate-by-invalid-attestation", "invalidate-by-insufficient-attestations"];
 export type Action = (typeof Actions)[number];
 export type InvalidateBlockRequest = {
     request: L1TxRequest;
@@ -46,7 +47,7 @@ export declare class SequencerPublisher {
     protected governanceLog: import("@aztec/foundation/log").Logger;
     private governancePayload;
     protected slashingLog: import("@aztec/foundation/log").Logger;
-    private getSlashPayload?;
+    protected slashingProposerAddress?: EthAddress;
     private myLastSignals;
     protected log: import("@aztec/foundation/log").Logger;
     protected ethereumSlotDuration: bigint;
@@ -57,20 +58,21 @@ export declare class SequencerPublisher {
     l1TxUtils: L1TxUtilsWithBlobs;
     rollupContract: RollupContract;
     govProposerContract: GovernanceProposerContract;
-    slashingProposerContract: SlashingProposerContract;
+    slashingProposerContract: EmpireSlashingProposerContract | TallySlashingProposerContract;
+    slashFactoryContract: SlashFactoryContract;
     protected requests: RequestWithExpiry[];
     constructor(config: TxSenderConfig & PublisherConfig & Pick<L1ContractsConfig, 'ethereumSlotDuration'>, deps: {
         telemetry?: TelemetryClient;
         blobSinkClient?: BlobSinkClientInterface;
         l1TxUtils: L1TxUtilsWithBlobs;
         rollupContract: RollupContract;
-        slashingProposerContract: SlashingProposerContract;
+        slashingProposerContract: EmpireSlashingProposerContract | TallySlashingProposerContract;
         governanceProposerContract: GovernanceProposerContract;
+        slashFactoryContract: SlashFactoryContract;
         epochCache: EpochCache;
         dateProvider: DateProvider;
     });
     getRollupContract(): RollupContract;
-    registerSlashPayloadGetter(callback: GetSlashPayloadCallBack): void;
     getSenderAddress(): EthAddress;
     getGovernancePayload(): EthAddress;
     setGovernancePayload(payload: EthAddress): void;
@@ -95,10 +97,10 @@ export declare class SequencerPublisher {
             errorMsg: string | undefined;
             stats?: undefined;
         };
-        expiredActions: ("propose" | "governance-signal" | "slashing-signal" | "invalidate-by-invalid-attestation" | "invalidate-by-insufficient-attestations")[];
-        sentActions: ("propose" | "governance-signal" | "slashing-signal" | "invalidate-by-invalid-attestation" | "invalidate-by-insufficient-attestations")[];
-        successfulActions: ("propose" | "governance-signal" | "slashing-signal" | "invalidate-by-invalid-attestation" | "invalidate-by-insufficient-attestations")[];
-        failedActions: ("propose" | "governance-signal" | "slashing-signal" | "invalidate-by-invalid-attestation" | "invalidate-by-insufficient-attestations")[];
+        expiredActions: ("propose" | "governance-signal" | "empire-slashing-signal" | "create-empire-payload" | "execute-empire-payload" | "vote-offenses" | "execute-slash" | "invalidate-by-invalid-attestation" | "invalidate-by-insufficient-attestations")[];
+        sentActions: ("propose" | "governance-signal" | "empire-slashing-signal" | "create-empire-payload" | "execute-empire-payload" | "vote-offenses" | "execute-slash" | "invalidate-by-invalid-attestation" | "invalidate-by-insufficient-attestations")[];
+        successfulActions: ("propose" | "governance-signal" | "empire-slashing-signal" | "create-empire-payload" | "execute-empire-payload" | "vote-offenses" | "execute-slash" | "invalidate-by-invalid-attestation" | "invalidate-by-insufficient-attestations")[];
+        failedActions: ("propose" | "governance-signal" | "empire-slashing-signal" | "create-empire-payload" | "execute-empire-payload" | "vote-offenses" | "execute-slash" | "invalidate-by-invalid-attestation" | "invalidate-by-insufficient-attestations")[];
     } | undefined>;
     private callbackBundledTransactions;
     /**
@@ -144,15 +146,15 @@ export declare class SequencerPublisher {
         forcePendingBlockNumber?: number;
     }): Promise<bigint>;
     private enqueueCastSignalHelper;
-    private getSignalConfig;
     /**
-     * Enqueues a castSignal transaction to cast a signal for a given slot number.
+     * 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.
-     * @param signalType - The type of signal to cast.
      * @returns True if the signal was successfully enqueued, false otherwise.
      */
-    enqueueCastSignal(slotNumber: bigint, timestamp: bigint, signalType: SignalType, signerAddress: EthAddress, signer: (msg: TypedDataDefinition) => Promise<`0x${string}`>): Promise<boolean>;
+    enqueueGovernanceCastSignal(slotNumber: bigint, timestamp: bigint, signerAddress: EthAddress, signer: (msg: TypedDataDefinition) => Promise<`0x${string}`>): Promise<boolean>;
+    /** Enqueues all slashing actions as returned by the slasher client. */
+    enqueueSlashingActions(actions: ProposerSlashAction[], slotNumber: bigint, timestamp: bigint, signerAddress: EthAddress, signer: (msg: TypedDataDefinition) => Promise<`0x${string}`>): Promise<boolean>;
     /**
      * Proposes a L2 block on L1.
      *
@@ -166,6 +168,7 @@ export declare class SequencerPublisher {
     enqueueInvalidateBlock(request: InvalidateBlockRequest | undefined, opts?: {
         txTimeoutAt?: Date;
     }): void;
+    private simulateAndEnqueueRequest;
     /**
      * 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.

package/dest/publisher/sequencer-publisher.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sequencer-publisher.d.ts","sourceRoot":"","sources":["../../src/publisher/sequencer-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE/C,OAAO,EAAE,KAAK,uBAAuB,EAAwB,MAAM,yBAAyB,CAAC;AAC7F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,KAAK,QAAQ,EACb,KAAK,0BAA0B,EAE/B,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,WAAW,EAChB,KAAK,WAAW,EAGhB,cAAc,EACd,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EAMtB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAGjF,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,YAAY,EAAS,MAAM,yBAAyB,CAAC;AAE9D,OAAO,EAAE,oBAAoB,EAAE,KAAK,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAGrF,OAAO,EAAE,KAAK,mBAAmB,EAAkB,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAGnF,OAAO,EAAE,KAAK,kBAAkB,EAAE,KAAK,mBAAmB,EAA6B,MAAM,MAAM,CAAC;AAEpG,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAmBnE,oBAAY,UAAU;IACpB,UAAU,IAAA;IACV,QAAQ,IAAA;CACT;AAED,KAAK,uBAAuB,GAAG,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC;AAEvF,QAAA,MAAM,OAAO,8IAMH,CAAC;AACX,MAAM,MAAM,MAAM,GAAG,CAAC,OAAO,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;AAK9C,MAAM,MAAM,sBAAsB,GAAG;IACnC,OAAO,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,qBAAqB,GAAG,2BAA2B,CAAC;IAC5D,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF,UAAU,iBAAiB;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,WAAW,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,IAAI,CAAC,WAAW,EAAE,aAAa,GAAG,UAAU,CAAC,CAAC;IAC1D,UAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,YAAY,EAAE,CACZ,OAAO,EAAE,WAAW,EACpB,MAAM,CAAC,EAAE;QAAE,OAAO,EAAE,kBAAkB,CAAC;QAAC,QAAQ,EAAE,QAAQ,CAAC;QAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,KACtG,OAAO,CAAC;CACd;AAED,qBAAa,kBAAkB;IAuC3B,OAAO,CAAC,MAAM;IAtChB,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,OAAO,CAA4B;IACpC,UAAU,EAAE,UAAU,CAAC;IAE9B,SAAS,CAAC,aAAa,yCAAkD;IACzE,OAAO,CAAC,iBAAiB,CAA+B;IAExD,SAAS,CAAC,WAAW,yCAAgD;IACrE,OAAO,CAAC,eAAe,CAAC,CAAsC;IAE9D,OAAO,CAAC,aAAa,CAGnB;IAEF,SAAS,CAAC,GAAG,yCAAuC;IACpD,SAAS,CAAC,oBAAoB,EAAE,MAAM,CAAC;IAEvC,OAAO,CAAC,cAAc,CAA0B;IAIhD,OAAc,iBAAiB,EAAE,MAAM,CAAe;IAGtD,OAAc,4BAA4B,SAAS;IAGnD,OAAc,cAAc,EAAE,MAAM,CAAY;IAEzC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,cAAc,EAAE,cAAc,CAAC;IAC/B,mBAAmB,EAAE,0BAA0B,CAAC;IAChD,wBAAwB,EAAE,wBAAwB,CAAC;IAE1D,SAAS,CAAC,QAAQ,EAAE,iBAAiB,EAAE,CAAM;gBAGnC,MAAM,EAAE,cAAc,GAAG,eAAe,GAAG,IAAI,CAAC,iBAAiB,EAAE,sBAAsB,CAAC,EAClG,IAAI,EAAE;QACJ,SAAS,CAAC,EAAE,eAAe,CAAC;QAC5B,cAAc,CAAC,EAAE,uBAAuB,CAAC;QACzC,SAAS,EAAE,kBAAkB,CAAC;QAC9B,cAAc,EAAE,cAAc,CAAC;QAC/B,wBAAwB,EAAE,wBAAwB,CAAC;QACnD,0BAA0B,EAAE,0BAA0B,CAAC;QACvD,UAAU,EAAE,UAAU,CAAC;QACvB,YAAY,EAAE,YAAY,CAAC;KAC5B;IAwBI,iBAAiB,IAAI,cAAc;IAInC,0BAA0B,CAAC,QAAQ,EAAE,uBAAuB;IAI5D,gBAAgB;IAIhB,oBAAoB;IAIpB,oBAAoB,CAAC,OAAO,EAAE,UAAU;IAIxC,UAAU,CAAC,OAAO,EAAE,iBAAiB;IAIrC,gBAAgB,IAAI,MAAM;IAIjC;;;;;;OAMG;IACU,YAAY;;;;;;;;;;;;;;;;;IAgFzB,OAAO,CAAC,2BAA2B;IAuBnC;;;;OAIG;IACI,wBAAwB,CAC7B,UAAU,EAAE,EAAE,EACd,SAAS,EAAE,UAAU,EACrB,IAAI,GAAE;QAAE,uBAAuB,CAAC,EAAE,MAAM,CAAA;KAAO;;;;;IAkBjD;;;;;OAKG;IACU,mBAAmB,CAC9B,MAAM,EAAE,mBAAmB,EAC3B,IAAI,CAAC,EAAE;QAAE,uBAAuB,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE;IA+BxD;;;OAGG;IACU,uBAAuB,CAClC,gBAAgB,EAAE,mBAAmB,GACpC,OAAO,CAAC,sBAAsB,GAAG,SAAS,CAAC;IA0D9C,OAAO,CAAC,2BAA2B;IA4BnC;;;;;;;;OAQG;IACU,0BAA0B,CACrC,KAAK,EAAE,OAAO,EACd,eAAe,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,oBAAoB,EAAE,CAAA;KAAE,YAGxE,EACD,OAAO,EAAE;QAAE,uBAAuB,CAAC,EAAE,MAAM,CAAA;KAAE,GAC5C,OAAO,CAAC,MAAM,CAAC;YA4CJ,uBAAuB;YAqFvB,eAAe;IAsB7B;;;;;;OAMG;IACU,iBAAiB,CAC5B,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,UAAU,EACtB,aAAa,EAAE,UAAU,EACzB,MAAM,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,KAAK,MAAM,EAAE,CAAC,GAC3D,OAAO,CAAC,OAAO,CAAC;IASnB;;;;;OAKG;IACU,qBAAqB,CAChC,KAAK,EAAE,OAAO,EACd,YAAY,CAAC,EAAE,oBAAoB,EAAE,EACrC,QAAQ,CAAC,EAAE,MAAM,EAAE,EACnB,IAAI,GAAE;QAAE,WAAW,CAAC,EAAE,IAAI,CAAC;QAAC,uBAAuB,CAAC,EAAE,MAAM,CAAA;KAAO,GAClE,OAAO,CAAC,OAAO,CAAC;IAyCZ,sBAAsB,CAAC,OAAO,EAAE,sBAAsB,GAAG,SAAS,EAAE,IAAI,GAAE;QAAE,WAAW,CAAC,EAAE,IAAI,CAAA;KAAO;IA+B5G;;;;;OAKG;IACI,SAAS;IAKhB,wDAAwD;IACjD,OAAO;YAKA,gBAAgB;IA8D9B;;;;;OAKG;YACW,iBAAiB;YAoEjB,YAAY;CA+E3B"}
+{"version":3,"file":"sequencer-publisher.d.ts","sourceRoot":"","sources":["../../src/publisher/sequencer-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE/C,OAAO,EAAE,KAAK,uBAAuB,EAAwB,MAAM,yBAAyB,CAAC;AAC7F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EACL,KAAK,8BAA8B,EACnC,kBAAkB,EAClB,KAAK,QAAQ,EACb,KAAK,0BAA0B,EAE/B,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,WAAW,EAChB,KAAK,WAAW,EAGhB,cAAc,EACd,KAAK,6BAA6B,EAClC,KAAK,gBAAgB,EAMtB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAGjF,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAGnD,OAAO,EAAE,YAAY,EAAS,MAAM,yBAAyB,CAAC;AAE9D,OAAO,EAAE,KAAK,mBAAmB,EAA6B,MAAM,gBAAgB,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,KAAK,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAGlE,OAAO,EAAE,KAAK,mBAAmB,EAAkB,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAGnF,OAAO,EAAE,KAAK,kBAAkB,EAAE,KAAK,mBAAmB,EAA6B,MAAM,MAAM,CAAC;AAEpG,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAmBnE,oBAAY,UAAU;IACpB,UAAU,IAAA;IACV,QAAQ,IAAA;CACT;AAED,QAAA,MAAM,OAAO,0OAUH,CAAC;AACX,MAAM,MAAM,MAAM,GAAG,CAAC,OAAO,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;AAK9C,MAAM,MAAM,sBAAsB,GAAG;IACnC,OAAO,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,qBAAqB,GAAG,2BAA2B,CAAC;IAC5D,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF,UAAU,iBAAiB;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,WAAW,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,IAAI,CAAC,WAAW,EAAE,aAAa,GAAG,UAAU,CAAC,CAAC;IAC1D,UAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,YAAY,EAAE,CACZ,OAAO,EAAE,WAAW,EACpB,MAAM,CAAC,EAAE;QAAE,OAAO,EAAE,kBAAkB,CAAC;QAAC,QAAQ,EAAE,QAAQ,CAAC;QAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,KACtG,OAAO,CAAC;CACd;AAED,qBAAa,kBAAkB;IAwC3B,OAAO,CAAC,MAAM;IAvChB,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,OAAO,CAA4B;IACpC,UAAU,EAAE,UAAU,CAAC;IAE9B,SAAS,CAAC,aAAa,yCAAkD;IACzE,OAAO,CAAC,iBAAiB,CAA+B;IAExD,SAAS,CAAC,WAAW,yCAAgD;IACrE,SAAS,CAAC,uBAAuB,CAAC,EAAE,UAAU,CAAC;IAE/C,OAAO,CAAC,aAAa,CAGnB;IAEF,SAAS,CAAC,GAAG,yCAAuC;IACpD,SAAS,CAAC,oBAAoB,EAAE,MAAM,CAAC;IAEvC,OAAO,CAAC,cAAc,CAA0B;IAIhD,OAAc,iBAAiB,EAAE,MAAM,CAAe;IAGtD,OAAc,4BAA4B,SAAS;IAGnD,OAAc,cAAc,EAAE,MAAM,CAAY;IAEzC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,cAAc,EAAE,cAAc,CAAC;IAC/B,mBAAmB,EAAE,0BAA0B,CAAC;IAChD,wBAAwB,EAAE,8BAA8B,GAAG,6BAA6B,CAAC;IACzF,oBAAoB,EAAE,oBAAoB,CAAC;IAElD,SAAS,CAAC,QAAQ,EAAE,iBAAiB,EAAE,CAAM;gBAGnC,MAAM,EAAE,cAAc,GAAG,eAAe,GAAG,IAAI,CAAC,iBAAiB,EAAE,sBAAsB,CAAC,EAClG,IAAI,EAAE;QACJ,SAAS,CAAC,EAAE,eAAe,CAAC;QAC5B,cAAc,CAAC,EAAE,uBAAuB,CAAC;QACzC,SAAS,EAAE,kBAAkB,CAAC;QAC9B,cAAc,EAAE,cAAc,CAAC;QAC/B,wBAAwB,EAAE,8BAA8B,GAAG,6BAA6B,CAAC;QACzF,0BAA0B,EAAE,0BAA0B,CAAC;QACvD,oBAAoB,EAAE,oBAAoB,CAAC;QAC3C,UAAU,EAAE,UAAU,CAAC;QACvB,YAAY,EAAE,YAAY,CAAC;KAC5B;IAyBI,iBAAiB,IAAI,cAAc;IAInC,gBAAgB;IAIhB,oBAAoB;IAIpB,oBAAoB,CAAC,OAAO,EAAE,UAAU;IAIxC,UAAU,CAAC,OAAO,EAAE,iBAAiB;IAIrC,gBAAgB,IAAI,MAAM;IAIjC;;;;;;OAMG;IACU,YAAY;;;;;;;;;;;;;;;;;IAgFzB,OAAO,CAAC,2BAA2B;IAuBnC;;;;OAIG;IACI,wBAAwB,CAC7B,UAAU,EAAE,EAAE,EACd,SAAS,EAAE,UAAU,EACrB,IAAI,GAAE;QAAE,uBAAuB,CAAC,EAAE,MAAM,CAAA;KAAO;;;;;IAkBjD;;;;;OAKG;IACU,mBAAmB,CAC9B,MAAM,EAAE,mBAAmB,EAC3B,IAAI,CAAC,EAAE;QAAE,uBAAuB,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE;IA+BxD;;;OAGG;IACU,uBAAuB,CAClC,gBAAgB,EAAE,mBAAmB,GACpC,OAAO,CAAC,sBAAsB,GAAG,SAAS,CAAC;IA0D9C,OAAO,CAAC,2BAA2B;IA4BnC;;;;;;;;OAQG;IACU,0BAA0B,CACrC,KAAK,EAAE,OAAO,EACd,eAAe,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,oBAAoB,EAAE,CAAA;KAAE,YAGxE,EACD,OAAO,EAAE;QAAE,uBAAuB,CAAC,EAAE,MAAM,CAAA;KAAE,GAC5C,OAAO,CAAC,MAAM,CAAC;YA4CJ,uBAAuB;IAsFrC;;;;;OAKG;IACI,2BAA2B,CAChC,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,UAAU,EACzB,MAAM,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,KAAK,MAAM,EAAE,CAAC,GAC3D,OAAO,CAAC,OAAO,CAAC;IAYnB,uEAAuE;IAC1D,sBAAsB,CACjC,OAAO,EAAE,mBAAmB,EAAE,EAC9B,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,UAAU,EACzB,MAAM,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,KAAK,MAAM,EAAE,CAAC,GAC3D,OAAO,CAAC,OAAO,CAAC;IAoHnB;;;;;OAKG;IACU,qBAAqB,CAChC,KAAK,EAAE,OAAO,EACd,YAAY,CAAC,EAAE,oBAAoB,EAAE,EACrC,QAAQ,CAAC,EAAE,MAAM,EAAE,EACnB,IAAI,GAAE;QAAE,WAAW,CAAC,EAAE,IAAI,CAAC;QAAC,uBAAuB,CAAC,EAAE,MAAM,CAAA;KAAO,GAClE,OAAO,CAAC,OAAO,CAAC;IAyCZ,sBAAsB,CAAC,OAAO,EAAE,sBAAsB,GAAG,SAAS,EAAE,IAAI,GAAE;QAAE,WAAW,CAAC,EAAE,IAAI,CAAA;KAAO;YA+B9F,yBAAyB;IA2CvC;;;;;OAKG;IACI,SAAS;IAKhB,wDAAwD;IACjD,OAAO;YAKA,gBAAgB;IA8D9B;;;;;OAKG;YACW,iBAAiB;YAoEjB,YAAY;CA+E3B"}

package/dest/publisher/sequencer-publisher.js

@@ -5,8 +5,10 @@ import { sumBigint } from '@aztec/foundation/bigint';
 import { toHex as toPaddedHex } from '@aztec/foundation/bigint-buffer';
 import { EthAddress } from '@aztec/foundation/eth-address';
 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 { getTelemetryClient } from '@aztec/telemetry-client';
@@ -21,11 +23,15 @@ export var SignalType = /*#__PURE__*/ function(SignalType) {
 const Actions = [
     'propose',
     'governance-signal',
-    'slashing-signal',
+    'empire-slashing-signal',
+    'create-empire-payload',
+    'execute-empire-payload',
+    'vote-offenses',
+    'execute-slash',
     'invalidate-by-invalid-attestation',
     'invalidate-by-insufficient-attestations'
 ];
-// Sorting for actions such that invalidations go first, then proposals, and last votes
+// Sorting for actions such that invalidations go before proposals, and proposals go before votes
 const compareActions = (a, b)=>Actions.indexOf(b) - Actions.indexOf(a);
 export class SequencerPublisher {
     config;
@@ -35,7 +41,7 @@ export class SequencerPublisher {
     governanceLog;
     governancePayload;
     slashingLog;
-    getSlashPayload;
+    slashingProposerAddress;
     myLastSignals;
     log;
     ethereumSlotDuration;
@@ -52,6 +58,7 @@ export class SequencerPublisher {
     rollupContract;
     govProposerContract;
     slashingProposerContract;
+    slashFactoryContract;
     requests;
     constructor(config, deps){
         this.config = config;
@@ -59,7 +66,6 @@ export class SequencerPublisher {
         this.governanceLog = createLogger('sequencer:publisher:governance');
         this.governancePayload = EthAddress.ZERO;
         this.slashingLog = createLogger('sequencer:publisher:slashing');
-        this.getSlashPayload = undefined;
         this.myLastSignals = {
             [0]: 0n,
             [1]: 0n
@@ -82,13 +88,11 @@ export class SequencerPublisher {
             const newSlashingProposer = await this.rollupContract.getSlashingProposer();
             this.slashingProposerContract = newSlashingProposer;
         });
+        this.slashFactoryContract = deps.slashFactoryContract;
     }
     getRollupContract() {
         return this.rollupContract;
     }
-    registerSlashPayloadGetter(callback) {
-        this.getSlashPayload = callback;
-    }
     getSenderAddress() {
         return EthAddress.fromString(this.l1TxUtils.getSenderAddress());
     }
@@ -422,7 +426,7 @@ export class SequencerPublisher {
         }
         const cachedLastVote = this.myLastSignals[signalType];
         this.myLastSignals[signalType] = slotNumber;
-        const action = signalType === 0 ? 'governance-signal' : 'slashing-signal';
+        const action = signalType === 0 ? 'governance-signal' : 'empire-slashing-signal';
         const request = await base.createSignalRequestWithSignature(payload.toString(), slotNumber, this.config.l1ChainId, signerAddress.toString(), signer);
         this.log.debug(`Created ${action} request with signature`, {
             request,
@@ -438,9 +442,10 @@ export class SequencerPublisher {
                 request
             });
         } catch (err) {
-            this.log.warn(`Failed simulation for ${action} at slot ${slotNumber} (enqueuing the action anyway)`, err);
+            this.log.error(`Failed simulation for ${action} at slot ${slotNumber} (enqueuing the action anyway)`, err);
         // Yes, we enqueue the request anyway, in case there was a bug with the simulation itself
         }
+        // TODO(palla/slash): All votes (governance and slashing) should txTimeoutAt at the end of the slot.
         this.addRequest({
             gasConfig: {
                 gasLimit: SequencerPublisher.VOTE_GAS_GUESS
@@ -468,43 +473,100 @@ export class SequencerPublisher {
         });
         return true;
     }
-    async getSignalConfig(slotNumber, signalType) {
-        if (signalType === 0) {
-            return {
-                payload: this.governancePayload,
-                base: this.govProposerContract
-            };
-        } else if (signalType === 1) {
-            if (!this.getSlashPayload) {
-                return undefined;
-            }
-            const slashPayload = await this.getSlashPayload(slotNumber);
-            if (!slashPayload) {
-                return undefined;
-            }
-            this.log.info(`Slash payload: ${slashPayload}`);
-            return {
-                payload: slashPayload,
-                base: this.slashingProposerContract
-            };
-        } else {
-            const _ = signalType;
-            throw new Error('Unreachable: Invalid signal type');
-        }
-    }
     /**
-   * Enqueues a castSignal transaction to cast a signal for a given slot number.
+   * 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.
-   * @param signalType - The type of signal to cast.
    * @returns True if the signal was successfully enqueued, false otherwise.
-   */ async enqueueCastSignal(slotNumber, timestamp, signalType, signerAddress, signer) {
-        const signalConfig = await this.getSignalConfig(slotNumber, signalType);
-        if (!signalConfig) {
+   */ enqueueGovernanceCastSignal(slotNumber, timestamp, signerAddress, signer) {
+        return this.enqueueCastSignalHelper(slotNumber, timestamp, 0, this.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) {
+            this.log.debug(`No slashing actions to enqueue for slot ${slotNumber}`);
             return false;
         }
-        const { payload, base } = signalConfig;
-        return this.enqueueCastSignalHelper(slotNumber, timestamp, signalType, payload, base, signerAddress, signer);
+        for (const action of actions){
+            switch(action.type){
+                case 'vote-empire-payload':
+                    {
+                        if (this.slashingProposerContract.type !== 'empire') {
+                            this.log.error('Cannot vote for empire payload on non-empire slashing contract');
+                            break;
+                        }
+                        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);
+                        break;
+                    }
+                case 'create-empire-payload':
+                    {
+                        this.log.debug(`Enqueuing slashing create payload at slot ${slotNumber}`, {
+                            slotNumber,
+                            signerAddress
+                        });
+                        const request = this.slashFactoryContract.buildCreatePayloadRequest(action.data);
+                        await this.simulateAndEnqueueRequest('create-empire-payload', request, (receipt)=>!!this.slashFactoryContract.tryExtractSlashPayloadCreatedEvent(receipt.logs), slotNumber, timestamp);
+                        break;
+                    }
+                case 'execute-empire-payload':
+                    {
+                        this.log.debug(`Enqueuing slashing execute payload at slot ${slotNumber}`, {
+                            slotNumber,
+                            signerAddress
+                        });
+                        if (this.slashingProposerContract.type !== 'empire') {
+                            this.log.error('Cannot execute slashing payload on non-empire slashing contract');
+                            return false;
+                        }
+                        const empireSlashingProposer = this.slashingProposerContract;
+                        const request = empireSlashingProposer.buildExecuteRoundRequest(action.round);
+                        await this.simulateAndEnqueueRequest('execute-empire-payload', request, (receipt)=>!!empireSlashingProposer.tryExtractPayloadSubmittedEvent(receipt.logs), slotNumber, timestamp);
+                        break;
+                    }
+                case 'vote-offenses':
+                    {
+                        this.log.debug(`Enqueuing slashing vote for ${action.votes.length} votes at slot ${slotNumber}`, {
+                            slotNumber,
+                            round: action.round,
+                            votesCount: action.votes.length,
+                            signerAddress
+                        });
+                        if (this.slashingProposerContract.type !== 'tally') {
+                            this.log.error('Cannot vote for slashing offenses on non-tally slashing contract');
+                            return false;
+                        }
+                        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);
+                        break;
+                    }
+                case 'execute-slash':
+                    {
+                        this.log.debug(`Enqueuing slash execution for round ${action.round} at slot ${slotNumber}`, {
+                            slotNumber,
+                            round: action.round,
+                            signerAddress
+                        });
+                        if (this.slashingProposerContract.type !== 'tally') {
+                            this.log.error('Cannot execute slashing offenses on non-tally slashing contract');
+                            return false;
+                        }
+                        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);
+                        break;
+                    }
+                default:
+                    {
+                        const _ = action;
+                        throw new Error(`Unknown slashing action type: ${action.type}`);
+                    }
+            }
+        }
+        return true;
     }
     /**
    * Proposes a L2 block on L1.
@@ -556,7 +618,7 @@ export class SequencerPublisher {
         if (!request) {
             return;
         }
-        // We issue the simulation against the rollup contract, so we need to account for the overhead of the multicall3
+        // 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 logData = {
             ...pick(request, 'gasUsed', 'blockNumber'),
@@ -589,6 +651,57 @@ export class SequencerPublisher {
             }
         });
     }
+    async simulateAndEnqueueRequest(action, request, checkSuccess, slotNumber, timestamp) {
+        const logData = {
+            slotNumber,
+            timestamp,
+            gasLimit: undefined
+        };
+        let gasUsed;
+        this.log.debug(`Simulating ${action}`, logData);
+        try {
+            ({ gasUsed } = await this.l1TxUtils.simulate(request, {
+                time: timestamp
+            }, [], ErrorsAbi)); // TODO(palla/slash): Check the timestamp logic
+            this.log.verbose(`Simulation for ${action} succeeded`, {
+                ...logData,
+                request,
+                gasUsed
+            });
+        } catch (err) {
+            const viemError = formatViemError(err);
+            this.log.error(`Simulation for ${action} at ${slotNumber} failed`, viemError, logData);
+            return false;
+        }
+        // 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(gasUsed) * 64 / 63)));
+        logData.gasLimit = gasLimit;
+        this.log.debug(`Enqueuing ${action}`, logData);
+        this.addRequest({
+            action,
+            request,
+            gasConfig: {
+                gasLimit
+            },
+            lastValidL2Slot: slotNumber,
+            checkSuccess: (_req, result)=>{
+                const success = result && result.receipt && result.receipt.status === 'success' && checkSuccess(result.receipt);
+                if (!success) {
+                    this.log.warn(`Action ${action} at ${slotNumber} failed`, {
+                        ...result,
+                        ...logData
+                    });
+                } else {
+                    this.log.info(`Action ${action} at ${slotNumber} succeeded`, {
+                        ...result,
+                        ...logData
+                    });
+                }
+                return !!success;
+            }
+        });
+        return true;
+    }
     /**
    * 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.
@@ -728,7 +841,7 @@ export class SequencerPublisher {
                 blobs: encodedData.blobs.map((b)=>b.data),
                 kzg
             },
-            checkSuccess: (request, result)=>{
+            checkSuccess: (_request, result)=>{
                 if (!result) {
                     return false;
                 }

package/dest/sequencer/sequencer.d.ts

@@ -4,7 +4,7 @@ import { Fr } from '@aztec/foundation/fields';
 import { type DateProvider } from '@aztec/foundation/timer';
 import type { TypedEventEmitter } from '@aztec/foundation/types';
 import type { P2P } from '@aztec/p2p';
-import type { SlasherClient } from '@aztec/slasher';
+import type { SlasherClientInterface } from '@aztec/slasher';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { CommitteeAttestation, L2BlockSource, ValidateBlockResult } from '@aztec/stdlib/block';
 import { type L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
@@ -14,7 +14,7 @@ import { Tx, type TxHash } from '@aztec/stdlib/tx';
 import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
 import type { ValidatorClient } from '@aztec/validator-client';
 import type { GlobalVariableBuilder } from '../global_variable_builder/global_builder.js';
-import { type Action, type InvalidateBlockRequest, type SequencerPublisher } from '../publisher/sequencer-publisher.js';
+import type { Action, InvalidateBlockRequest, SequencerPublisher } from '../publisher/sequencer-publisher.js';
 import type { SequencerConfig } from './config.js';
 import { SequencerTimetable } from './timetable.js';
 import { SequencerState, type SequencerStateWithSlot } from './utils.js';
@@ -64,7 +64,7 @@ export declare class Sequencer extends Sequencer_base {
     protected globalsBuilder: GlobalVariableBuilder;
     protected p2pClient: P2P;
     protected worldState: WorldStateSynchronizer;
-    protected slasherClient: SlasherClient;
+    protected slasherClient: SlasherClientInterface | undefined;
     protected l2BlockSource: L2BlockSource;
     protected l1ToL2MessageSource: L1ToL2MessageSource;
     protected blockBuilder: IFullNodeBlockBuilder;
@@ -90,7 +90,7 @@ export declare class Sequencer extends Sequencer_base {
     protected timetable: SequencerTimetable;
     protected enforceTimeTable: boolean;
     constructor(publisher: SequencerPublisher, validatorClient: ValidatorClient | undefined, // During migration the validator client can be inactive
-    globalsBuilder: GlobalVariableBuilder, p2pClient: P2P, worldState: WorldStateSynchronizer, slasherClient: SlasherClient, l2BlockSource: L2BlockSource, l1ToL2MessageSource: L1ToL2MessageSource, blockBuilder: IFullNodeBlockBuilder, l1Constants: SequencerRollupConstants, dateProvider: DateProvider, config?: SequencerConfig, telemetry?: TelemetryClient, log?: import("@aztec/aztec.js").Logger);
+    globalsBuilder: GlobalVariableBuilder, p2pClient: P2P, worldState: WorldStateSynchronizer, slasherClient: SlasherClientInterface | undefined, l2BlockSource: L2BlockSource, l1ToL2MessageSource: L1ToL2MessageSource, blockBuilder: IFullNodeBlockBuilder, l1Constants: SequencerRollupConstants, dateProvider: DateProvider, config?: SequencerConfig, telemetry?: TelemetryClient, log?: import("@aztec/aztec.js").Logger);
     get tracer(): Tracer;
     getValidatorAddresses(): EthAddress[] | undefined;
     getConfig(): SequencerConfig;
@@ -181,11 +181,12 @@ export declare class Sequencer extends Sequencer_base {
      */
     protected considerInvalidatingBlock(syncedTo: NonNullable<Awaited<ReturnType<Sequencer['getChainTip']>>>, currentSlot: bigint, ourValidatorAddresses: EthAddress[]): Promise<void>;
     private getSlotStartBuildTimestamp;
+    private getTxTimeoutForSlot;
     private getSecondsIntoSlot;
     get aztecSlotDuration(): number;
     get coinbase(): EthAddress;
     get feeRecipient(): AztecAddress;
     get maxL2BlockGas(): number | undefined;
-    getSlasherClient(): SlasherClient;
+    getSlasherClient(): SlasherClientInterface | undefined;
 }
 //# sourceMappingURL=sequencer.d.ts.map

package/dest/sequencer/sequencer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sequencer.d.ts","sourceRoot":"","sources":["../../src/sequencer/sequencer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAI/C,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,EAAE,KAAK,YAAY,EAAS,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,oBAAoB,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,KAAK,iBAAiB,EAAsB,MAAM,6BAA6B,CAAC;AAEzF,OAAO,EACL,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAE1B,KAAK,sBAAsB,EAC5B,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAMnE,OAAO,EAKL,EAAE,EACF,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,MAAM,EAGZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAI/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAC1F,OAAO,EACL,KAAK,MAAM,EACX,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EAExB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,EAAE,kBAAkB,EAAyB,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,KAAK,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEzE,OAAO,EAAE,cAAc,EAAE,CAAC;AAE1B,KAAK,wBAAwB,GAAG,IAAI,CAAC,iBAAiB,EAAE,sBAAsB,GAAG,eAAe,GAAG,cAAc,CAAC,CAAC;AAEnH,MAAM,MAAM,eAAe,GAAG;IAC5B,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE;QACxB,QAAQ,EAAE,cAAc,CAAC;QACzB,QAAQ,EAAE,cAAc,CAAC;QACzB,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,KAAK,IAAI,CAAC;IACX,CAAC,8BAA8B,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;IACrE,CAAC,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;IACpF,CAAC,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;IAC3D,CAAC,sBAAsB,CAAC,EAAE,CAAC,IAAI,EAAE;QAC/B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;QAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;QACvB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;KAC3B,KAAK,IAAI,CAAC;IACX,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;CAC5E,CAAC;8BAW8C,UAAU,iBAAiB,CAAC,eAAe,CAAC;AAT5F;;;;;;;;GAQG;AACH,qBAAa,SAAU,SAAQ,cAA8D;IAqBzF,SAAS,CAAC,SAAS,EAAE,kBAAkB;IACvC,SAAS,CAAC,eAAe,EAAE,eAAe,GAAG,SAAS;IACtD,SAAS,CAAC,cAAc,EAAE,qBAAqB;IAC/C,SAAS,CAAC,SAAS,EAAE,GAAG;IACxB,SAAS,CAAC,UAAU,EAAE,sBAAsB;IAC5C,SAAS,CAAC,aAAa,EAAE,aAAa;IACtC,SAAS,CAAC,aAAa,EAAE,aAAa;IACtC,SAAS,CAAC,mBAAmB,EAAE,mBAAmB;IAClD,SAAS,CAAC,YAAY,EAAE,qBAAqB;IAC7C,SAAS,CAAC,WAAW,EAAE,wBAAwB;IAC/C,SAAS,CAAC,YAAY,EAAE,YAAY;IACpC,SAAS,CAAC,MAAM,EAAE,eAAe;IACjC,SAAS,CAAC,SAAS,EAAE,eAAe;IACpC,SAAS,CAAC,GAAG;IAjCf,OAAO,CAAC,cAAc,CAAC,CAAiB;IACxC,OAAO,CAAC,iBAAiB,CAAgB;IACzC,OAAO,CAAC,cAAc,CAAM;IAC5B,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,4BAA4B,CAAK;IAEzC,OAAO,CAAC,SAAS,CAAmB;IACpC,OAAO,CAAC,aAAa,CAAqB;IAC1C,OAAO,CAAC,KAAK,CAA0B;IACvC,OAAO,CAAC,mBAAmB,CAAuB;IAClD,OAAO,CAAC,WAAW,CAA8B;IACjD,OAAO,CAAC,OAAO,CAAmB;IAClC,OAAO,CAAC,SAAS,CAAY;IAC7B,OAAO,CAAC,kBAAkB,CAAsB;IAEhD,+GAA+G;IAC/G,SAAS,CAAC,SAAS,EAAG,kBAAkB,CAAC;IACzC,SAAS,CAAC,gBAAgB,EAAE,OAAO,CAAS;gBAGhC,SAAS,EAAE,kBAAkB,EAC7B,eAAe,EAAE,eAAe,GAAG,SAAS,EAAE,wDAAwD;IACtG,cAAc,EAAE,qBAAqB,EACrC,SAAS,EAAE,GAAG,EACd,UAAU,EAAE,sBAAsB,EAClC,aAAa,EAAE,aAAa,EAC5B,aAAa,EAAE,aAAa,EAC5B,mBAAmB,EAAE,mBAAmB,EACxC,YAAY,EAAE,qBAAqB,EACnC,WAAW,EAAE,wBAAwB,EACrC,YAAY,EAAE,YAAY,EAC1B,MAAM,GAAE,eAAoB,EAC5B,SAAS,GAAE,eAAsC,EACjD,GAAG,mCAA4B;IAwB3C,IAAI,MAAM,IAAI,MAAM,CAEnB;IAEM,qBAAqB;IAIrB,SAAS;IAIhB;;;OAGG;IACI,YAAY,CAAC,MAAM,EAAE,eAAe;IAiD3C,OAAO,CAAC,YAAY;IAcpB;;OAEG;IACI,KAAK;IASZ;;OAEG;IACU,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAWlC;;OAEG;IACI,MAAM;IAOb;;;OAGG;IACI,MAAM;;;IAIb;;;;;;;OAOG;cACa,UAAU;cAiOV,IAAI;IAepB;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI;IACrG,QAAQ,CACN,aAAa,EAAE,OAAO,CAAC,cAAc,EAAE,sBAAsB,CAAC,EAC9D,UAAU,CAAC,EAAE,SAAS,EACtB,IAAI,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GACzB,IAAI;YAsBO,oBAAoB;IAUlC,SAAS,CAAC,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,qBAAqB;IAiBrE;;;;;;;;;;OAUG;YAIW,2BAA2B;cAsFzB,mBAAmB,CACjC,KAAK,EAAE,OAAO,EACd,GAAG,EAAE,EAAE,EAAE,EACT,eAAe,EAAE,UAAU,GAAG,SAAS,GACtC,OAAO,CAAC,oBAAoB,EAAE,GAAG,SAAS,CAAC;IAiF9C;;;OAGG;cAIa,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,YAAY,EAAE,oBAAoB,EAAE,GAAG,SAAS,EAChD,QAAQ,EAAE,MAAM,EAAE,EAClB,eAAe,EAAE,sBAAsB,GAAG,SAAS,GAClD,OAAO,CAAC,IAAI,CAAC;IAkBhB;;;;OAIG;cACa,WAAW,IAAI,OAAO,CAClC;QACE,KAAK,CAAC,EAAE,OAAO,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,EAAE,CAAC;QACZ,WAAW,EAAE,MAAM,CAAC;QACpB,4BAA4B,EAAE,mBAAmB,CAAC;KACnD,GACD,SAAS,CACZ;IAsDD;;;;;OAKG;cACa,yBAAyB,CACvC,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EACpE,WAAW,EAAE,MAAM,EACnB,qBAAqB,EAAE,UAAU,EAAE,GAClC,OAAO,CAAC,IAAI,CAAC;IA6DhB,OAAO,CAAC,0BAA0B;IAQlC,OAAO,CAAC,kBAAkB;IAK1B,IAAI,iBAAiB,WAEpB;IAED,IAAI,QAAQ,IAAI,UAAU,CAMzB;IAED,IAAI,YAAY,IAAI,YAAY,CAE/B;IAED,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAEtC;IAEM,gBAAgB,IAAI,aAAa;CAGzC"}
+{"version":3,"file":"sequencer.d.ts","sourceRoot":"","sources":["../../src/sequencer/sequencer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAI/C,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,EAAE,KAAK,YAAY,EAAS,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,oBAAoB,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,KAAK,iBAAiB,EAAsB,MAAM,6BAA6B,CAAC;AAEzF,OAAO,EACL,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAE1B,KAAK,sBAAsB,EAC5B,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAMnE,OAAO,EAKL,EAAE,EACF,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,MAAM,EAGZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAK/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAC1F,OAAO,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAC9G,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,EAAE,kBAAkB,EAAyB,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,KAAK,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEzE,OAAO,EAAE,cAAc,EAAE,CAAC;AAE1B,KAAK,wBAAwB,GAAG,IAAI,CAAC,iBAAiB,EAAE,sBAAsB,GAAG,eAAe,GAAG,cAAc,CAAC,CAAC;AAEnH,MAAM,MAAM,eAAe,GAAG;IAC5B,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE;QACxB,QAAQ,EAAE,cAAc,CAAC;QACzB,QAAQ,EAAE,cAAc,CAAC;QACzB,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,KAAK,IAAI,CAAC;IACX,CAAC,8BAA8B,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;IACrE,CAAC,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;IACpF,CAAC,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;IAC3D,CAAC,sBAAsB,CAAC,EAAE,CAAC,IAAI,EAAE;QAC/B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;QAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;QACvB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;KAC3B,KAAK,IAAI,CAAC;IACX,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;CAC5E,CAAC;8BAW8C,UAAU,iBAAiB,CAAC,eAAe,CAAC;AAT5F;;;;;;;;GAQG;AACH,qBAAa,SAAU,SAAQ,cAA8D;IAqBzF,SAAS,CAAC,SAAS,EAAE,kBAAkB;IACvC,SAAS,CAAC,eAAe,EAAE,eAAe,GAAG,SAAS;IACtD,SAAS,CAAC,cAAc,EAAE,qBAAqB;IAC/C,SAAS,CAAC,SAAS,EAAE,GAAG;IACxB,SAAS,CAAC,UAAU,EAAE,sBAAsB;IAC5C,SAAS,CAAC,aAAa,EAAE,sBAAsB,GAAG,SAAS;IAC3D,SAAS,CAAC,aAAa,EAAE,aAAa;IACtC,SAAS,CAAC,mBAAmB,EAAE,mBAAmB;IAClD,SAAS,CAAC,YAAY,EAAE,qBAAqB;IAC7C,SAAS,CAAC,WAAW,EAAE,wBAAwB;IAC/C,SAAS,CAAC,YAAY,EAAE,YAAY;IACpC,SAAS,CAAC,MAAM,EAAE,eAAe;IACjC,SAAS,CAAC,SAAS,EAAE,eAAe;IACpC,SAAS,CAAC,GAAG;IAjCf,OAAO,CAAC,cAAc,CAAC,CAAiB;IACxC,OAAO,CAAC,iBAAiB,CAAgB;IACzC,OAAO,CAAC,cAAc,CAAM;IAC5B,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,4BAA4B,CAAK;IAEzC,OAAO,CAAC,SAAS,CAAmB;IACpC,OAAO,CAAC,aAAa,CAAqB;IAC1C,OAAO,CAAC,KAAK,CAA0B;IACvC,OAAO,CAAC,mBAAmB,CAAuB;IAClD,OAAO,CAAC,WAAW,CAA8B;IACjD,OAAO,CAAC,OAAO,CAAmB;IAClC,OAAO,CAAC,SAAS,CAAY;IAC7B,OAAO,CAAC,kBAAkB,CAAsB;IAEhD,+GAA+G;IAC/G,SAAS,CAAC,SAAS,EAAG,kBAAkB,CAAC;IACzC,SAAS,CAAC,gBAAgB,EAAE,OAAO,CAAS;gBAGhC,SAAS,EAAE,kBAAkB,EAC7B,eAAe,EAAE,eAAe,GAAG,SAAS,EAAE,wDAAwD;IACtG,cAAc,EAAE,qBAAqB,EACrC,SAAS,EAAE,GAAG,EACd,UAAU,EAAE,sBAAsB,EAClC,aAAa,EAAE,sBAAsB,GAAG,SAAS,EACjD,aAAa,EAAE,aAAa,EAC5B,mBAAmB,EAAE,mBAAmB,EACxC,YAAY,EAAE,qBAAqB,EACnC,WAAW,EAAE,wBAAwB,EACrC,YAAY,EAAE,YAAY,EAC1B,MAAM,GAAE,eAAoB,EAC5B,SAAS,GAAE,eAAsC,EACjD,GAAG,mCAA4B;IAqB3C,IAAI,MAAM,IAAI,MAAM,CAEnB;IAEM,qBAAqB;IAIrB,SAAS;IAIhB;;;OAGG;IACI,YAAY,CAAC,MAAM,EAAE,eAAe;IAiD3C,OAAO,CAAC,YAAY;IAcpB;;OAEG;IACI,KAAK;IASZ;;OAEG;IACU,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAWlC;;OAEG;IACI,MAAM;IAOb;;;OAGG;IACI,MAAM;;;IAIb;;;;;;;OAOG;cACa,UAAU;cAgOV,IAAI;IAepB;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI;IACrG,QAAQ,CACN,aAAa,EAAE,OAAO,CAAC,cAAc,EAAE,sBAAsB,CAAC,EAC9D,UAAU,CAAC,EAAE,SAAS,EACtB,IAAI,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GACzB,IAAI;YAsBO,oBAAoB;IAUlC,SAAS,CAAC,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,qBAAqB;IAiBrE;;;;;;;;;;OAUG;YAIW,2BAA2B;cAsFzB,mBAAmB,CACjC,KAAK,EAAE,OAAO,EACd,GAAG,EAAE,EAAE,EAAE,EACT,eAAe,EAAE,UAAU,GAAG,SAAS,GACtC,OAAO,CAAC,oBAAoB,EAAE,GAAG,SAAS,CAAC;IAiF9C;;;OAGG;cAIa,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,YAAY,EAAE,oBAAoB,EAAE,GAAG,SAAS,EAChD,QAAQ,EAAE,MAAM,EAAE,EAClB,eAAe,EAAE,sBAAsB,GAAG,SAAS,GAClD,OAAO,CAAC,IAAI,CAAC;IAchB;;;;OAIG;cACa,WAAW,IAAI,OAAO,CAClC;QACE,KAAK,CAAC,EAAE,OAAO,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,EAAE,CAAC;QACZ,WAAW,EAAE,MAAM,CAAC;QACpB,4BAA4B,EAAE,mBAAmB,CAAC;KACnD,GACD,SAAS,CACZ;IAsDD;;;;;OAKG;cACa,yBAAyB,CACvC,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EACpE,WAAW,EAAE,MAAM,EACnB,qBAAqB,EAAE,UAAU,EAAE,GAClC,OAAO,CAAC,IAAI,CAAC;IA6DhB,OAAO,CAAC,0BAA0B;IAQlC,OAAO,CAAC,mBAAmB;IAI3B,OAAO,CAAC,kBAAkB;IAK1B,IAAI,iBAAiB,WAEpB;IAED,IAAI,QAAQ,IAAI,UAAU,CAMzB;IAED,IAAI,YAAY,IAAI,YAAY,CAE/B;IAED,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAEtC;IAEM,gBAAgB,IAAI,sBAAsB,GAAG,SAAS;CAG9D"}

package/dest/sequencer/sequencer.js

@@ -23,7 +23,6 @@ import { ContentCommitment, ProposedBlockHeader } from '@aztec/stdlib/tx';
 import { AttestationTimeoutError } from '@aztec/stdlib/validators';
 import { Attributes, L1Metrics, getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
 import EventEmitter from 'node:events';
-import { SignalType } from '../publisher/sequencer-publisher.js';
 import { SequencerMetrics } from './metrics.js';
 import { SequencerTimetable, SequencerTooSlowError } from './timetable.js';
 import { SequencerState } from './utils.js';
@@ -73,8 +72,6 @@ export { SequencerState };
         this.l1Metrics = new L1Metrics(telemetry.getMeter('SequencerL1Metrics'), publisher.l1TxUtils.client, [
             publisher.getSenderAddress()
         ]);
-        // Register the slasher on the publisher to fetch slashing payloads
-        this.publisher.registerSlashPayloadGetter(this.slasherClient.getSlashPayload.bind(this.slasherClient));
         // Initialize config
         this.updateConfig(this.config);
     }
@@ -302,8 +299,10 @@ export { SequencerState };
             validatorAddresses
         });
         const newGlobalVariables = await this.globalsBuilder.buildGlobalVariables(newBlockNumber, this.coinbase, this._feeRecipient, slot);
-        const enqueueGovernanceVotePromise = this.publisher.enqueueCastSignal(slot, newGlobalVariables.timestamp, SignalType.GOVERNANCE, proposerAddress, (msg)=>this.validatorClient.signWithAddress(proposerAddress, msg).then((s)=>s.toString()));
-        const enqueueSlashingVotePromise = this.publisher.enqueueCastSignal(slot, newGlobalVariables.timestamp, SignalType.SLASHING, proposerAddress, (msg)=>this.validatorClient.signWithAddress(proposerAddress, msg).then((s)=>s.toString()));
+        const { timestamp } = newGlobalVariables;
+        const signerFn = (msg)=>this.validatorClient.signWithAddress(proposerAddress, msg).then((s)=>s.toString());
+        const enqueueGovernanceSignalPromise = this.publisher.enqueueGovernanceCastSignal(slot, timestamp, proposerAddress, signerFn);
+        const enqueueSlashingActionsPromise = this.slasherClient?.getProposerActions(slot)?.then((actions)=>this.publisher.enqueueSlashingActions(actions, slot, timestamp, proposerAddress, signerFn));
         if (invalidateBlock && !this.config.skipInvalidateBlockAsProposer) {
             this.publisher.enqueueInvalidateBlock(invalidateBlock);
         }
@@ -355,14 +354,14 @@ export { SequencerState };
                 availableTxs: pendingTxCount
             });
         }
-        await enqueueGovernanceVotePromise.catch((err)=>{
+        await enqueueGovernanceSignalPromise?.catch((err)=>{
             this.log.error(`Error enqueuing governance vote`, err, {
                 blockNumber: newBlockNumber,
                 slot
             });
         });
-        await enqueueSlashingVotePromise.catch((err)=>{
-            this.log.error(`Error enqueuing slashing vote`, err, {
+        await enqueueSlashingActionsPromise?.catch((err)=>{
+            this.log.error(`Error enqueuing slashing actions`, err, {
                 blockNumber: newBlockNumber,
                 slot
             });
@@ -567,11 +566,8 @@ export { SequencerState };
    */ async enqueuePublishL2Block(block, attestations, txHashes, invalidateBlock) {
         // Publishes new block to the network and awaits the tx to be mined
         this.setState(SequencerState.PUBLISHING_BLOCK, block.header.globalVariables.slotNumber.toBigInt());
-        // Time out tx at the end of the slot
-        const slot = block.header.globalVariables.slotNumber.toNumber();
-        const txTimeoutAt = new Date((this.getSlotStartBuildTimestamp(slot) + this.aztecSlotDuration) * 1000);
         const enqueued = await this.publisher.enqueueProposeL2Block(block, attestations, txHashes, {
-            txTimeoutAt,
+            txTimeoutAt: this.getTxTimeoutForSlot(block.slot),
             forcePendingBlockNumber: invalidateBlock?.forcePendingBlockNumber
         });
         if (!enqueued) {
@@ -675,6 +671,9 @@ export { SequencerState };
     getSlotStartBuildTimestamp(slotNumber) {
         return Number(this.l1Constants.l1GenesisTime) + Number(slotNumber) * this.l1Constants.slotDuration - this.l1Constants.ethereumSlotDuration;
     }
+    getTxTimeoutForSlot(slotNumber) {
+        return new Date((this.getSlotStartBuildTimestamp(slotNumber) + this.aztecSlotDuration) * 1000);
+    }
     getSecondsIntoSlot(slotNumber) {
         const slotStartTimestamp = this.getSlotStartBuildTimestamp(slotNumber);
         return Number((this.dateProvider.now() / 1000 - slotStartTimestamp).toFixed(3));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/sequencer-client",
-  "version": "2.0.0-nightly.20250821",
+  "version": "2.0.0-nightly.20250823",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -26,37 +26,37 @@
     "test:integration:run": "NODE_NO_WARNINGS=1 node --experimental-vm-modules $(yarn bin jest) --no-cache --config jest.integration.config.json"
   },
   "dependencies": {
-    "@aztec/aztec.js": "2.0.0-nightly.20250821",
-    "@aztec/bb-prover": "2.0.0-nightly.20250821",
-    "@aztec/blob-lib": "2.0.0-nightly.20250821",
-    "@aztec/blob-sink": "2.0.0-nightly.20250821",
-    "@aztec/constants": "2.0.0-nightly.20250821",
-    "@aztec/epoch-cache": "2.0.0-nightly.20250821",
-    "@aztec/ethereum": "2.0.0-nightly.20250821",
-    "@aztec/foundation": "2.0.0-nightly.20250821",
-    "@aztec/l1-artifacts": "2.0.0-nightly.20250821",
-    "@aztec/merkle-tree": "2.0.0-nightly.20250821",
-    "@aztec/noir-acvm_js": "2.0.0-nightly.20250821",
-    "@aztec/noir-contracts.js": "2.0.0-nightly.20250821",
-    "@aztec/noir-protocol-circuits-types": "2.0.0-nightly.20250821",
-    "@aztec/noir-types": "2.0.0-nightly.20250821",
-    "@aztec/p2p": "2.0.0-nightly.20250821",
-    "@aztec/protocol-contracts": "2.0.0-nightly.20250821",
-    "@aztec/prover-client": "2.0.0-nightly.20250821",
-    "@aztec/simulator": "2.0.0-nightly.20250821",
-    "@aztec/slasher": "2.0.0-nightly.20250821",
-    "@aztec/stdlib": "2.0.0-nightly.20250821",
-    "@aztec/telemetry-client": "2.0.0-nightly.20250821",
-    "@aztec/validator-client": "2.0.0-nightly.20250821",
-    "@aztec/world-state": "2.0.0-nightly.20250821",
+    "@aztec/aztec.js": "2.0.0-nightly.20250823",
+    "@aztec/bb-prover": "2.0.0-nightly.20250823",
+    "@aztec/blob-lib": "2.0.0-nightly.20250823",
+    "@aztec/blob-sink": "2.0.0-nightly.20250823",
+    "@aztec/constants": "2.0.0-nightly.20250823",
+    "@aztec/epoch-cache": "2.0.0-nightly.20250823",
+    "@aztec/ethereum": "2.0.0-nightly.20250823",
+    "@aztec/foundation": "2.0.0-nightly.20250823",
+    "@aztec/l1-artifacts": "2.0.0-nightly.20250823",
+    "@aztec/merkle-tree": "2.0.0-nightly.20250823",
+    "@aztec/noir-acvm_js": "2.0.0-nightly.20250823",
+    "@aztec/noir-contracts.js": "2.0.0-nightly.20250823",
+    "@aztec/noir-protocol-circuits-types": "2.0.0-nightly.20250823",
+    "@aztec/noir-types": "2.0.0-nightly.20250823",
+    "@aztec/p2p": "2.0.0-nightly.20250823",
+    "@aztec/protocol-contracts": "2.0.0-nightly.20250823",
+    "@aztec/prover-client": "2.0.0-nightly.20250823",
+    "@aztec/simulator": "2.0.0-nightly.20250823",
+    "@aztec/slasher": "2.0.0-nightly.20250823",
+    "@aztec/stdlib": "2.0.0-nightly.20250823",
+    "@aztec/telemetry-client": "2.0.0-nightly.20250823",
+    "@aztec/validator-client": "2.0.0-nightly.20250823",
+    "@aztec/world-state": "2.0.0-nightly.20250823",
     "lodash.chunk": "^4.2.0",
     "lodash.pick": "^4.4.0",
     "tslib": "^2.4.0",
     "viem": "2.23.7"
   },
   "devDependencies": {
-    "@aztec/archiver": "2.0.0-nightly.20250821",
-    "@aztec/kv-store": "2.0.0-nightly.20250821",
+    "@aztec/archiver": "2.0.0-nightly.20250823",
+    "@aztec/kv-store": "2.0.0-nightly.20250823",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/lodash.chunk": "^4.2.7",

package/src/client/sequencer-client.ts

@@ -3,7 +3,6 @@ import { EpochCache } from '@aztec/epoch-cache';
 import {
   GovernanceProposerContract,
   RollupContract,
-  SlashingProposerContract,
   createEthereumChain,
   createExtendedL1Client,
   isAnvilTestChain,
@@ -13,10 +12,11 @@ import { EthAddress } from '@aztec/foundation/eth-address';
 import { createLogger } from '@aztec/foundation/log';
 import type { DateProvider } from '@aztec/foundation/timer';
 import type { P2P } from '@aztec/p2p';
-import type { SlasherClient } from '@aztec/slasher';
+import type { SlasherClientInterface } from '@aztec/slasher';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { L2BlockSource } from '@aztec/stdlib/block';
 import type { IFullNodeBlockBuilder, WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
+import { SlashFactoryContract } from '@aztec/stdlib/l1-contracts';
 import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
 import type { TelemetryClient } from '@aztec/telemetry-client';
 import type { ValidatorClient } from '@aztec/validator-client';
@@ -53,7 +53,7 @@ export class SequencerClient {
       validatorClient: ValidatorClient | undefined; // allowed to be undefined while we migrate
       p2pClient: P2P;
       worldStateSynchronizer: WorldStateSynchronizer;
-      slasherClient: SlasherClient;
+      slasherClient: SlasherClientInterface | undefined;
       blockBuilder: IFullNodeBlockBuilder;
       l2BlockSource: L2BlockSource;
       l1ToL2MessageSource: L1ToL2MessageSource;
@@ -90,8 +90,7 @@ export class SequencerClient {
       l1Client,
       config.l1Contracts.governanceProposerAddress.toString(),
     );
-    const slashingProposerAddress = await rollupContract.getSlashingProposerAddress();
-    const slashingProposerContract = new SlashingProposerContract(l1Client, slashingProposerAddress.toString());
+    const slashingProposerContract = await rollupContract.getSlashingProposer();
     const epochCache =
       deps.epochCache ??
       (await EpochCache.create(
@@ -107,6 +106,11 @@ export class SequencerClient {
         { dateProvider: deps.dateProvider },
       ));
 
+    const slashFactoryContract = new SlashFactoryContract(
+      l1Client,
+      config.l1Contracts.slashFactoryAddress?.toString() ?? EthAddress.ZERO.toString(),
+    );
+
     const publisher =
       deps.publisher ??
       new SequencerPublisher(config, {
@@ -117,6 +121,7 @@ export class SequencerClient {
         epochCache,
         governanceProposerContract,
         slashingProposerContract,
+        slashFactoryContract,
         dateProvider: deps.dateProvider,
       });
     const globalsBuilder = new GlobalVariableBuilder(config);

package/src/publisher/sequencer-publisher.ts

@@ -3,6 +3,7 @@ import { Blob } from '@aztec/blob-lib';
 import { type BlobSinkClientInterface, createBlobSinkClient } from '@aztec/blob-sink/client';
 import type { EpochCache } from '@aztec/epoch-cache';
 import {
+  type EmpireSlashingProposerContract,
   FormattedViemError,
   type GasPrice,
   type GovernanceProposerContract,
@@ -14,7 +15,7 @@ import {
   MULTI_CALL_3_ADDRESS,
   Multicall3,
   RollupContract,
-  type SlashingProposerContract,
+  type TallySlashingProposerContract,
   type TransactionStats,
   type ViemCommitteeAttestations,
   type ViemHeader,
@@ -28,9 +29,12 @@ import { toHex as toPaddedHex } from '@aztec/foundation/bigint-buffer';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import type { Fr } from '@aztec/foundation/fields';
 import { createLogger } from '@aztec/foundation/log';
+import { bufferToHex } from '@aztec/foundation/string';
 import { DateProvider, Timer } from '@aztec/foundation/timer';
 import { EmpireBaseAbi, ErrorsAbi, RollupAbi } from '@aztec/l1-artifacts';
+import { type ProposerSlashAction, encodeSlashConsensusVotes } from '@aztec/slasher';
 import { CommitteeAttestation, type ValidateBlockResult } from '@aztec/stdlib/block';
+import { SlashFactoryContract } from '@aztec/stdlib/l1-contracts';
 import { ConsensusPayload, SignatureDomainSeparator, getHashedSignaturePayload } from '@aztec/stdlib/p2p';
 import type { L1PublishBlockStats } from '@aztec/stdlib/stats';
 import { type ProposedBlockHeader, StateReference, TxHash } from '@aztec/stdlib/tx';
@@ -63,18 +67,20 @@ export enum SignalType {
   SLASHING,
 }
 
-type GetSlashPayloadCallBack = (slotNumber: bigint) => Promise<EthAddress | undefined>;
-
 const Actions = [
   'propose',
   'governance-signal',
-  'slashing-signal',
+  'empire-slashing-signal',
+  'create-empire-payload',
+  'execute-empire-payload',
+  'vote-offenses',
+  'execute-slash',
   'invalidate-by-invalid-attestation',
   'invalidate-by-insufficient-attestations',
 ] as const;
 export type Action = (typeof Actions)[number];
 
-// Sorting for actions such that invalidations go first, then proposals, and last votes
+// Sorting for actions such that invalidations go before proposals, and proposals go before votes
 const compareActions = (a: Action, b: Action) => Actions.indexOf(b) - Actions.indexOf(a);
 
 export type InvalidateBlockRequest = {
@@ -106,7 +112,7 @@ export class SequencerPublisher {
   private governancePayload: EthAddress = EthAddress.ZERO;
 
   protected slashingLog = createLogger('sequencer:publisher:slashing');
-  private getSlashPayload?: GetSlashPayloadCallBack = undefined;
+  protected slashingProposerAddress?: EthAddress;
 
   private myLastSignals: Record<SignalType, bigint> = {
     [SignalType.GOVERNANCE]: 0n,
@@ -131,7 +137,8 @@ export class SequencerPublisher {
   public l1TxUtils: L1TxUtilsWithBlobs;
   public rollupContract: RollupContract;
   public govProposerContract: GovernanceProposerContract;
-  public slashingProposerContract: SlashingProposerContract;
+  public slashingProposerContract: EmpireSlashingProposerContract | TallySlashingProposerContract;
+  public slashFactoryContract: SlashFactoryContract;
 
   protected requests: RequestWithExpiry[] = [];
 
@@ -142,8 +149,9 @@ export class SequencerPublisher {
       blobSinkClient?: BlobSinkClientInterface;
       l1TxUtils: L1TxUtilsWithBlobs;
       rollupContract: RollupContract;
-      slashingProposerContract: SlashingProposerContract;
+      slashingProposerContract: EmpireSlashingProposerContract | TallySlashingProposerContract;
       governanceProposerContract: GovernanceProposerContract;
+      slashFactoryContract: SlashFactoryContract;
       epochCache: EpochCache;
       dateProvider: DateProvider;
     },
@@ -168,16 +176,13 @@ export class SequencerPublisher {
       const newSlashingProposer = await this.rollupContract.getSlashingProposer();
       this.slashingProposerContract = newSlashingProposer;
     });
+    this.slashFactoryContract = deps.slashFactoryContract;
   }
 
   public getRollupContract(): RollupContract {
     return this.rollupContract;
   }
 
-  public registerSlashPayloadGetter(callback: GetSlashPayloadCallBack) {
-    this.getSlashPayload = callback;
-  }
-
   public getSenderAddress() {
     return EthAddress.fromString(this.l1TxUtils.getSenderAddress());
   }
@@ -554,7 +559,7 @@ export class SequencerPublisher {
     const cachedLastVote = this.myLastSignals[signalType];
     this.myLastSignals[signalType] = slotNumber;
 
-    const action = signalType === SignalType.GOVERNANCE ? 'governance-signal' : 'slashing-signal';
+    const action = signalType === SignalType.GOVERNANCE ? 'governance-signal' : 'empire-slashing-signal';
 
     const request = await base.createSignalRequestWithSignature(
       payload.toString(),
@@ -574,10 +579,11 @@ export class SequencerPublisher {
       await this.l1TxUtils.simulate(request, { time: timestamp }, [], ErrorsAbi);
       this.log.debug(`Simulation for ${action} at slot ${slotNumber} succeeded`, { request });
     } catch (err) {
-      this.log.warn(`Failed simulation for ${action} at slot ${slotNumber} (enqueuing the action anyway)`, err);
+      this.log.error(`Failed simulation for ${action} at slot ${slotNumber} (enqueuing the action anyway)`, err);
       // Yes, we enqueue the request anyway, in case there was a bug with the simulation itself
     }
 
+    // TODO(palla/slash): All votes (governance and slashing) should txTimeoutAt at the end of the slot.
     this.addRequest({
       gasConfig: { gasLimit: SequencerPublisher.VOTE_GAS_GUESS },
       action,
@@ -610,48 +616,150 @@ export class SequencerPublisher {
     return true;
   }
 
-  private async getSignalConfig(
-    slotNumber: bigint,
-    signalType: SignalType,
-  ): Promise<{ payload: EthAddress; base: IEmpireBase } | undefined> {
-    if (signalType === SignalType.GOVERNANCE) {
-      return { payload: this.governancePayload, base: this.govProposerContract };
-    } else if (signalType === SignalType.SLASHING) {
-      if (!this.getSlashPayload) {
-        return undefined;
-      }
-      const slashPayload = await this.getSlashPayload(slotNumber);
-      if (!slashPayload) {
-        return undefined;
-      }
-      this.log.info(`Slash payload: ${slashPayload}`);
-      return { payload: slashPayload, base: this.slashingProposerContract };
-    } else {
-      const _: never = signalType;
-      throw new Error('Unreachable: Invalid signal type');
-    }
-  }
-
   /**
-   * Enqueues a castSignal transaction to cast a signal for a given slot number.
+   * 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.
-   * @param signalType - The type of signal to cast.
    * @returns True if the signal was successfully enqueued, false otherwise.
    */
-  public async enqueueCastSignal(
+  public enqueueGovernanceCastSignal(
+    slotNumber: bigint,
+    timestamp: bigint,
+    signerAddress: EthAddress,
+    signer: (msg: TypedDataDefinition) => Promise<`0x${string}`>,
+  ): Promise<boolean> {
+    return this.enqueueCastSignalHelper(
+      slotNumber,
+      timestamp,
+      SignalType.GOVERNANCE,
+      this.governancePayload,
+      this.govProposerContract,
+      signerAddress,
+      signer,
+    );
+  }
+
+  /** Enqueues all slashing actions as returned by the slasher client. */
+  public async enqueueSlashingActions(
+    actions: ProposerSlashAction[],
     slotNumber: bigint,
     timestamp: bigint,
-    signalType: SignalType,
     signerAddress: EthAddress,
     signer: (msg: TypedDataDefinition) => Promise<`0x${string}`>,
   ): Promise<boolean> {
-    const signalConfig = await this.getSignalConfig(slotNumber, signalType);
-    if (!signalConfig) {
+    if (actions.length === 0) {
+      this.log.debug(`No slashing actions to enqueue for slot ${slotNumber}`);
       return false;
     }
-    const { payload, base } = signalConfig;
-    return this.enqueueCastSignalHelper(slotNumber, timestamp, signalType, payload, base, signerAddress, signer);
+
+    for (const action of actions) {
+      switch (action.type) {
+        case 'vote-empire-payload': {
+          if (this.slashingProposerContract.type !== 'empire') {
+            this.log.error('Cannot vote for empire payload on non-empire slashing contract');
+            break;
+          }
+          this.log.debug(`Enqueuing slashing vote for payload ${action.payload} at slot ${slotNumber}`, {
+            signerAddress,
+          });
+          await this.enqueueCastSignalHelper(
+            slotNumber,
+            timestamp,
+            SignalType.SLASHING,
+            action.payload,
+            this.slashingProposerContract,
+            signerAddress,
+            signer,
+          );
+          break;
+        }
+
+        case 'create-empire-payload': {
+          this.log.debug(`Enqueuing slashing create payload at slot ${slotNumber}`, { slotNumber, signerAddress });
+          const request = this.slashFactoryContract.buildCreatePayloadRequest(action.data);
+          await this.simulateAndEnqueueRequest(
+            'create-empire-payload',
+            request,
+            (receipt: TransactionReceipt) =>
+              !!this.slashFactoryContract.tryExtractSlashPayloadCreatedEvent(receipt.logs),
+            slotNumber,
+            timestamp,
+          );
+          break;
+        }
+
+        case 'execute-empire-payload': {
+          this.log.debug(`Enqueuing slashing execute payload at slot ${slotNumber}`, { slotNumber, signerAddress });
+          if (this.slashingProposerContract.type !== 'empire') {
+            this.log.error('Cannot execute slashing payload on non-empire slashing contract');
+            return false;
+          }
+          const empireSlashingProposer = this.slashingProposerContract as EmpireSlashingProposerContract;
+          const request = empireSlashingProposer.buildExecuteRoundRequest(action.round);
+          await this.simulateAndEnqueueRequest(
+            'execute-empire-payload',
+            request,
+            (receipt: TransactionReceipt) => !!empireSlashingProposer.tryExtractPayloadSubmittedEvent(receipt.logs),
+            slotNumber,
+            timestamp,
+          );
+          break;
+        }
+
+        case 'vote-offenses': {
+          this.log.debug(`Enqueuing slashing vote for ${action.votes.length} votes at slot ${slotNumber}`, {
+            slotNumber,
+            round: action.round,
+            votesCount: action.votes.length,
+            signerAddress,
+          });
+          if (this.slashingProposerContract.type !== 'tally') {
+            this.log.error('Cannot vote for slashing offenses on non-tally slashing contract');
+            return false;
+          }
+          const tallySlashingProposer = this.slashingProposerContract as TallySlashingProposerContract;
+          const votes = bufferToHex(encodeSlashConsensusVotes(action.votes));
+          const request = await tallySlashingProposer.buildVoteRequestFromSigner(votes, slotNumber, signer);
+          await this.simulateAndEnqueueRequest(
+            'vote-offenses',
+            request,
+            (receipt: TransactionReceipt) => !!tallySlashingProposer.tryExtractVoteCastEvent(receipt.logs),
+            slotNumber,
+            timestamp,
+          );
+          break;
+        }
+
+        case 'execute-slash': {
+          this.log.debug(`Enqueuing slash execution for round ${action.round} at slot ${slotNumber}`, {
+            slotNumber,
+            round: action.round,
+            signerAddress,
+          });
+          if (this.slashingProposerContract.type !== 'tally') {
+            this.log.error('Cannot execute slashing offenses on non-tally slashing contract');
+            return false;
+          }
+          const tallySlashingProposer = this.slashingProposerContract as TallySlashingProposerContract;
+          const request = tallySlashingProposer.buildExecuteRoundRequest(action.round, action.committees);
+          await this.simulateAndEnqueueRequest(
+            'execute-slash',
+            request,
+            (receipt: TransactionReceipt) => !!tallySlashingProposer.tryExtractRoundExecutedEvent(receipt.logs),
+            slotNumber,
+            timestamp,
+          );
+          break;
+        }
+
+        default: {
+          const _: never = action;
+          throw new Error(`Unknown slashing action type: ${(action as ProposerSlashAction).type}`);
+        }
+      }
+    }
+
+    return true;
   }
 
   /**
@@ -711,7 +819,7 @@ export class SequencerPublisher {
       return;
     }
 
-    // We issue the simulation against the rollup contract, so we need to account for the overhead of the multicall3
+    // 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 logData = { ...pick(request, 'gasUsed', 'blockNumber'), gasLimit, opts };
@@ -737,6 +845,49 @@ export class SequencerPublisher {
     });
   }
 
+  private async simulateAndEnqueueRequest(
+    action: RequestWithExpiry['action'],
+    request: L1TxRequest,
+    checkSuccess: (receipt: TransactionReceipt) => boolean | undefined,
+    slotNumber: bigint,
+    timestamp: bigint,
+  ) {
+    const logData = { slotNumber, timestamp, gasLimit: undefined as bigint | undefined };
+    let gasUsed: bigint;
+
+    this.log.debug(`Simulating ${action}`, logData);
+    try {
+      ({ gasUsed } = await this.l1TxUtils.simulate(request, { time: timestamp }, [], ErrorsAbi)); // TODO(palla/slash): Check the timestamp logic
+      this.log.verbose(`Simulation for ${action} succeeded`, { ...logData, request, gasUsed });
+    } catch (err) {
+      const viemError = formatViemError(err);
+      this.log.error(`Simulation for ${action} at ${slotNumber} failed`, viemError, logData);
+      return false;
+    }
+
+    // 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(gasUsed) * 64) / 63)));
+    logData.gasLimit = gasLimit;
+
+    this.log.debug(`Enqueuing ${action}`, logData);
+    this.addRequest({
+      action,
+      request,
+      gasConfig: { gasLimit },
+      lastValidL2Slot: slotNumber,
+      checkSuccess: (_req, result) => {
+        const success = result && result.receipt && result.receipt.status === 'success' && checkSuccess(result.receipt);
+        if (!success) {
+          this.log.warn(`Action ${action} at ${slotNumber} failed`, { ...result, ...logData });
+        } else {
+          this.log.info(`Action ${action} at ${slotNumber} succeeded`, { ...result, ...logData });
+        }
+        return !!success;
+      },
+    });
+    return true;
+  }
+
   /**
    * 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.
@@ -928,7 +1079,7 @@ export class SequencerPublisher {
         blobs: encodedData.blobs.map(b => b.data),
         kzg,
       },
-      checkSuccess: (request, result) => {
+      checkSuccess: (_request, result) => {
         if (!result) {
           return false;
         }

package/src/sequencer/sequencer.ts

@@ -9,7 +9,7 @@ import { RunningPromise } from '@aztec/foundation/running-promise';
 import { type DateProvider, Timer } from '@aztec/foundation/timer';
 import type { TypedEventEmitter } from '@aztec/foundation/types';
 import type { P2P } from '@aztec/p2p';
-import type { SlasherClient } from '@aztec/slasher';
+import type { SlasherClientInterface } from '@aztec/slasher';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { CommitteeAttestation, L2BlockSource, ValidateBlockResult } from '@aztec/stdlib/block';
 import { type L1RollupConstants, getSlotAtTimestamp } from '@aztec/stdlib/epoch-helpers';
@@ -46,14 +46,10 @@ import {
 import type { ValidatorClient } from '@aztec/validator-client';
 
 import EventEmitter from 'node:events';
+import type { TypedDataDefinition } from 'viem';
 
 import type { GlobalVariableBuilder } from '../global_variable_builder/global_builder.js';
-import {
-  type Action,
-  type InvalidateBlockRequest,
-  type SequencerPublisher,
-  SignalType,
-} from '../publisher/sequencer-publisher.js';
+import type { Action, InvalidateBlockRequest, SequencerPublisher } from '../publisher/sequencer-publisher.js';
 import type { SequencerConfig } from './config.js';
 import { SequencerMetrics } from './metrics.js';
 import { SequencerTimetable, SequencerTooSlowError } from './timetable.js';
@@ -117,7 +113,7 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
     protected globalsBuilder: GlobalVariableBuilder,
     protected p2pClient: P2P,
     protected worldState: WorldStateSynchronizer,
-    protected slasherClient: SlasherClient,
+    protected slasherClient: SlasherClientInterface | undefined,
     protected l2BlockSource: L2BlockSource,
     protected l1ToL2MessageSource: L1ToL2MessageSource,
     protected blockBuilder: IFullNodeBlockBuilder,
@@ -142,9 +138,6 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
       [publisher.getSenderAddress()],
     );
 
-    // Register the slasher on the publisher to fetch slashing payloads
-    this.publisher.registerSlashPayloadGetter(this.slasherClient.getSlashPayload.bind(this.slasherClient));
-
     // Initialize config
     this.updateConfig(this.config);
   }
@@ -415,22 +408,21 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
       slot,
     );
 
-    const enqueueGovernanceVotePromise = this.publisher.enqueueCastSignal(
-      slot,
-      newGlobalVariables.timestamp,
-      SignalType.GOVERNANCE,
-      proposerAddress,
-      msg => this.validatorClient!.signWithAddress(proposerAddress, msg).then(s => s.toString()),
-    );
+    const { timestamp } = newGlobalVariables;
+    const signerFn = (msg: TypedDataDefinition) =>
+      this.validatorClient!.signWithAddress(proposerAddress, msg).then(s => s.toString());
 
-    const enqueueSlashingVotePromise = this.publisher.enqueueCastSignal(
+    const enqueueGovernanceSignalPromise = this.publisher.enqueueGovernanceCastSignal(
       slot,
-      newGlobalVariables.timestamp,
-      SignalType.SLASHING,
+      timestamp,
       proposerAddress,
-      msg => this.validatorClient!.signWithAddress(proposerAddress, msg).then(s => s.toString()),
+      signerFn,
     );
 
+    const enqueueSlashingActionsPromise = this.slasherClient
+      ?.getProposerActions(slot)
+      ?.then(actions => this.publisher.enqueueSlashingActions(actions, slot, timestamp, proposerAddress, signerFn));
+
     if (invalidateBlock && !this.config.skipInvalidateBlockAsProposer) {
       this.publisher.enqueueInvalidateBlock(invalidateBlock);
     }
@@ -484,11 +476,11 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
       this.emit('tx-count-check-failed', { minTxs: this.minTxsPerBlock, availableTxs: pendingTxCount });
     }
 
-    await enqueueGovernanceVotePromise.catch(err => {
+    await enqueueGovernanceSignalPromise?.catch(err => {
       this.log.error(`Error enqueuing governance vote`, err, { blockNumber: newBlockNumber, slot });
     });
-    await enqueueSlashingVotePromise.catch(err => {
-      this.log.error(`Error enqueuing slashing vote`, err, { blockNumber: newBlockNumber, slot });
+    await enqueueSlashingActionsPromise?.catch(err => {
+      this.log.error(`Error enqueuing slashing actions`, err, { blockNumber: newBlockNumber, slot });
     });
 
     const l1Response = await this.publisher.sendRequests();
@@ -781,12 +773,8 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
     // Publishes new block to the network and awaits the tx to be mined
     this.setState(SequencerState.PUBLISHING_BLOCK, block.header.globalVariables.slotNumber.toBigInt());
 
-    // Time out tx at the end of the slot
-    const slot = block.header.globalVariables.slotNumber.toNumber();
-    const txTimeoutAt = new Date((this.getSlotStartBuildTimestamp(slot) + this.aztecSlotDuration) * 1000);
-
     const enqueued = await this.publisher.enqueueProposeL2Block(block, attestations, txHashes, {
-      txTimeoutAt,
+      txTimeoutAt: this.getTxTimeoutForSlot(block.slot),
       forcePendingBlockNumber: invalidateBlock?.forcePendingBlockNumber,
     });
 
@@ -942,6 +930,10 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
     );
   }
 
+  private getTxTimeoutForSlot(slotNumber: number | bigint): Date {
+    return new Date((this.getSlotStartBuildTimestamp(slotNumber) + this.aztecSlotDuration) * 1000);
+  }
+
   private getSecondsIntoSlot(slotNumber: number | bigint): number {
     const slotStartTimestamp = this.getSlotStartBuildTimestamp(slotNumber);
     return Number((this.dateProvider.now() / 1000 - slotStartTimestamp).toFixed(3));
@@ -967,7 +959,7 @@ export class Sequencer extends (EventEmitter as new () => TypedEventEmitter<Sequ
     return this.config.maxL2BlockGas;
   }
 
-  public getSlasherClient(): SlasherClient {
+  public getSlasherClient(): SlasherClientInterface | undefined {
     return this.slasherClient;
   }
 }