@aztec/sequencer-client 0.87.2 → 0.87.3-nightly.20250528

package/src/global_variable_builder/global_builder.ts

@@ -20,6 +20,8 @@ import { createPublicClient, fallback, http } from 'viem';
  */
 export class GlobalVariableBuilder implements GlobalVariableBuilderInterface {
   private log = createLogger('sequencer:global_variable_builder');
+  private currentBaseFees: Promise<GasFees> = Promise.resolve(new GasFees(Fr.ZERO, Fr.ZERO));
+  private currentL1BlockNumber: bigint | undefined = undefined;
 
   private readonly rollupContract: RollupContract;
   private readonly publicClient: ViemPublicClient;
@@ -46,9 +48,9 @@ export class GlobalVariableBuilder implements GlobalVariableBuilderInterface {
 
   /**
    * Computes the "current" base fees, e.g., the price that you currently should pay to get include in the next block
-   * @returns Base fees for the expected next block
+   * @returns Base fees for the next block
    */
-  public async getCurrentBaseFees(): Promise<GasFees> {
+  private async computeCurrentBaseFees(): Promise<GasFees> {
     // Since this might be called in the middle of a slot where a block might have been published,
     // we need to fetch the last block written, and estimate the earliest timestamp for the next block.
     // The timestamp of that last block will act as a lower bound for the next block.
@@ -61,6 +63,18 @@ export class GlobalVariableBuilder implements GlobalVariableBuilderInterface {
     return new GasFees(Fr.ZERO, new Fr(await this.rollupContract.getManaBaseFeeAt(timestamp, true)));
   }
 
+  public async getCurrentBaseFees(): Promise<GasFees> {
+    // Get the current block number
+    const blockNumber = await this.publicClient.getBlockNumber();
+
+    // If the L1 block number has changed then chain a new promise to get the current base fees
+    if (this.currentL1BlockNumber === undefined || blockNumber > this.currentL1BlockNumber) {
+      this.currentL1BlockNumber = blockNumber;
+      this.currentBaseFees = this.currentBaseFees.then(() => this.computeCurrentBaseFees());
+    }
+    return this.currentBaseFees;
+  }
+
   public async getGlobalConstantVariables(): Promise<Pick<GlobalVariables, 'chainId' | 'version'>> {
     if (!this.chainId) {
       this.chainId = new Fr(this.publicClient.chain.id);

package/src/index.ts

@@ -1,9 +1,8 @@
 export * from './client/index.js';
 export * from './config.js';
 export * from './publisher/index.js';
-export * from './tx_validator/tx_validator_factory.js';
-export * from './slasher/index.js';
 export { Sequencer, SequencerState } from './sequencer/index.js';
+export * from './tx_validator/tx_validator_factory.js';
 
 // Used by the node to simulate public parts of transactions. Should these be moved to a shared library?
 // ISSUE(#9832)

package/src/publisher/sequencer-publisher.ts

@@ -20,10 +20,10 @@ import {
 import type { L1TxUtilsWithBlobs } from '@aztec/ethereum/l1-tx-utils-with-blobs';
 import { toHex as toPaddedHex } from '@aztec/foundation/bigint-buffer';
 import { EthAddress } from '@aztec/foundation/eth-address';
-import type { Signature } from '@aztec/foundation/eth-signature';
 import { createLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
 import { ForwarderAbi, RollupAbi } from '@aztec/l1-artifacts';
+import { CommitteeAttestation } from '@aztec/stdlib/block';
 import { ConsensusPayload, SignatureDomainSeparator, getHashedSignaturePayload } from '@aztec/stdlib/p2p';
 import type { L1PublishBlockStats } from '@aztec/stdlib/stats';
 import { type ProposedBlockHeader, TxHash } from '@aztec/stdlib/tx';
@@ -48,7 +48,7 @@ type L1ProcessArgs = {
   /** L2 block tx hashes */
   txHashes: TxHash[];
   /** Attestations */
-  attestations?: Signature[];
+  attestations?: CommitteeAttestation[];
 };
 
 export enum VoteType {
@@ -74,7 +74,7 @@ interface RequestWithExpiry {
 export class SequencerPublisher {
   private interrupted = false;
   private metrics: SequencerPublisherMetrics;
-  private epochCache: EpochCache;
+  public epochCache: EpochCache;
   private forwarderContract: ForwarderContract;
 
   protected governanceLog = createLogger('sequencer:publisher:governance');
@@ -265,6 +265,7 @@ export class SequencerPublisher {
    */
   public canProposeAtNextEthBlock(tipArchive: Buffer) {
     const ignoredErrors = ['SlotAlreadyInChain', 'InvalidProposer', 'InvalidArchive'];
+
     return this.rollupContract
       .canProposeAtNextEthBlock(tipArchive, this.getForwarderAddress().toString(), this.ethereumSlotDuration)
       .catch(err => {
@@ -288,19 +289,29 @@ export class SequencerPublisher {
    */
   public async validateBlockForSubmission(
     header: ProposedBlockHeader,
-    attestationData: { digest: Buffer; signatures: Signature[] } = {
+    attestationData: { digest: Buffer; attestations: CommitteeAttestation[] } = {
       digest: Buffer.alloc(32),
-      signatures: [],
+      attestations: [],
     },
   ): Promise<bigint> {
     const ts = BigInt((await this.l1TxUtils.getBlock()).timestamp + this.ethereumSlotDuration);
 
-    const formattedSignatures = attestationData.signatures.map(attest => attest.toViemSignature());
-    const flags = { ignoreDA: true, ignoreSignatures: formattedSignatures.length == 0 };
+    // 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;
+    if (ignoreSignatures) {
+      const committee = await this.epochCache.getCommittee(header.slotNumber.toBigInt());
+      attestationData.attestations = committee.committee.map(committeeMember =>
+        CommitteeAttestation.fromAddress(committeeMember),
+      );
+    }
+
+    const formattedAttestations = attestationData.attestations.map(attest => attest.toViem());
+    const flags = { ignoreDA: true, ignoreSignatures };
 
     const args = [
       toHex(header.toBuffer()),
-      formattedSignatures,
+      formattedAttestations,
       toHex(attestationData.digest),
       ts,
       toHex(header.contentCommitment.blobsHash),
@@ -405,7 +416,7 @@ export class SequencerPublisher {
    */
   public async enqueueProposeL2Block(
     block: L2Block,
-    attestations?: Signature[],
+    attestations?: CommitteeAttestation[],
     txHashes?: TxHash[],
     opts: { txTimeoutAt?: Date } = {},
   ): Promise<boolean> {
@@ -431,7 +442,7 @@ export class SequencerPublisher {
     //        make time consistency checks break.
     const ts = await this.validateBlockForSubmission(proposedBlockHeader, {
       digest: digest.toBuffer(),
-      signatures: attestations ?? [],
+      attestations: attestations ?? [],
     });
 
     this.log.debug(`Submitting propose transaction`);
@@ -486,9 +497,7 @@ export class SequencerPublisher {
         throw new Error('Failed to validate blobs');
       });
 
-    const attestations = encodedData.attestations
-      ? encodedData.attestations.map(attest => attest.toViemSignature())
-      : [];
+    const attestations = encodedData.attestations ? encodedData.attestations.map(attest => attest.toViem()) : [];
     const txHashes = encodedData.txHashes ? encodedData.txHashes.map(txHash => txHash.toString()) : [];
     const args = [
       {

package/src/sequencer/sequencer.ts

@@ -1,9 +1,8 @@
 import { type L2Block, retryUntil } from '@aztec/aztec.js';
 import { INITIAL_L2_BLOCK_NUM } from '@aztec/constants';
-import type { ViemPublicClient } from '@aztec/ethereum';
+import { FormattedViemError, type ViemPublicClient } from '@aztec/ethereum';
 import { omit } from '@aztec/foundation/collection';
 import { EthAddress } from '@aztec/foundation/eth-address';
-import type { Signature } from '@aztec/foundation/eth-signature';
 import { Fr } from '@aztec/foundation/fields';
 import { createLogger } from '@aztec/foundation/log';
 import { RunningPromise } from '@aztec/foundation/running-promise';
@@ -12,8 +11,9 @@ import type { P2P } from '@aztec/p2p';
 import { getDefaultAllowedSetupFunctions } from '@aztec/p2p/msg_validators';
 import type { BlockBuilderFactory } from '@aztec/prover-client/block-builder';
 import type { PublicProcessorFactory } from '@aztec/simulator/server';
+import type { SlasherClient } from '@aztec/slasher';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { L2BlockSource } from '@aztec/stdlib/block';
+import type { CommitteeAttestation, L2BlockSource } from '@aztec/stdlib/block';
 import type { ContractDataSource } from '@aztec/stdlib/contract';
 import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
 import { Gas } from '@aztec/stdlib/gas';
@@ -40,7 +40,6 @@ import type { ValidatorClient } from '@aztec/validator-client';
 
 import type { GlobalVariableBuilder } from '../global_variable_builder/global_builder.js';
 import { type SequencerPublisher, VoteType } from '../publisher/sequencer-publisher.js';
-import type { SlasherClient } from '../slasher/slasher_client.js';
 import { createValidatorForBlockBuilding } from '../tx_validator/tx_validator_factory.js';
 import type { SequencerConfig } from './config.js';
 import { SequencerMetrics } from './metrics.js';
@@ -217,7 +216,7 @@ export class Sequencer {
     this.metrics.stop();
     await this.validatorClient?.stop();
     await this.runningPromise?.stop();
-    this.slasherClient.stop();
+    await this.slasherClient.stop();
     this.publisher.interrupt();
     this.setState(SequencerState.STOPPED, 0n, true /** force */);
     this.l1Metrics.stop();
@@ -271,10 +270,18 @@ export class Sequencer {
     // If we cannot find a tip archive, assume genesis.
     const chainTipArchive = chainTip.archive;
 
-    const slot = await this.slotForProposal(chainTipArchive.toBuffer(), BigInt(newBlockNumber));
+    const { slot } = this.publisher.epochCache.getEpochAndSlotInNextSlot();
     this.metrics.observeSlotChange(slot, this.publisher.getSenderAddress().toString());
-    if (!slot) {
-      this.log.debug(`Cannot propose block ${newBlockNumber}`);
+
+    const proposerInNextSlot = await this.publisher.epochCache.getProposerInNextSlot();
+
+    // If get proposer in next slot is undefined, then there is no proposer set, and it is in free for all (sandbox) so we continue
+    // If we calculate a proposer in the next slot, and it is not us, then stop
+    if (proposerInNextSlot !== undefined && !proposerInNextSlot.equals(this.validatorClient!.getValidatorAddress())) {
+      this.log.debug(`Cannot propose block ${newBlockNumber}`, {
+        us: this.validatorClient!.getValidatorAddress(),
+        proposer: proposerInNextSlot,
+      });
       return;
     }
 
@@ -322,7 +329,12 @@ export class Sequencer {
       const pendingTxs = this.p2pClient.iteratePendingTxs();
 
       await this.buildBlockAndEnqueuePublish(pendingTxs, proposalHeader, newGlobalVariables).catch(err => {
-        this.log.error(`Error building/enqueuing block`, err, { blockNumber: newBlockNumber, slot });
+        if (err instanceof FormattedViemError) {
+          this.log.verbose(`Unable to build/enqueue block ${err.message}`);
+          return;
+        } else {
+          this.log.error(`Error building/enqueuing block`, err, { blockNumber: newBlockNumber, slot });
+        }
       });
       finishedFlushing = true;
     } else {
@@ -374,29 +386,6 @@ export class Sequencer {
     return this.publisher.getForwarderAddress();
   }
 
-  /**
-   * Checks if we can propose at the next block and returns the slot number if we can.
-   * @param tipArchive - The archive of the previous block.
-   * @param proposalBlockNumber - The block number of the proposal.
-   * @returns The slot number if we can propose at the next block, otherwise undefined.
-   */
-  async slotForProposal(tipArchive: Buffer, proposalBlockNumber: bigint): Promise<bigint | undefined> {
-    const result = await this.publisher.canProposeAtNextEthBlock(tipArchive);
-
-    if (!result) {
-      return undefined;
-    }
-
-    const [slot, blockNumber] = result;
-
-    if (proposalBlockNumber !== blockNumber) {
-      const msg = `Sequencer block number mismatch. Expected ${proposalBlockNumber} but got ${blockNumber}.`;
-      this.log.warn(msg);
-      throw new Error(msg);
-    }
-    return slot;
-  }
-
   /**
    * Sets the sequencer state and checks if we have enough time left in the slot to transition to the new state.
    * @param proposedState - The new state to transition to.
@@ -446,7 +435,9 @@ export class Sequencer {
     // we keep retrying until the reexecution deadline. Note that this could only happen when we are a validator,
     // for if we are the proposer, then world-state should already be caught up, as we check this earlier.
     await retryUntil(
-      () => this.worldState.syncImmediate(blockNumber - 1, true).then(syncedTo => syncedTo >= blockNumber - 1),
+      () =>
+        !opts.validateOnly ||
+        this.worldState.syncImmediate(blockNumber - 1, true).then(syncedTo => syncedTo >= blockNumber - 1),
       'sync to previous block',
       this.timetable.getValidatorReexecTimeEnd(),
       0.1,
@@ -455,15 +446,14 @@ export class Sequencer {
 
     // NB: separating the dbs because both should update the state
     const publicProcessorDBFork = await this.worldState.fork();
-    const orchestratorDBFork = await this.worldState.fork();
 
     const previousBlockHeader =
-      (await this.l2BlockSource.getBlock(blockNumber - 1))?.header ?? orchestratorDBFork.getInitialHeader();
+      (await this.l2BlockSource.getBlock(blockNumber - 1))?.header ?? publicProcessorDBFork.getInitialHeader();
 
     try {
       const processor = this.publicProcessorFactory.create(publicProcessorDBFork, newGlobalVariables, true);
       const blockBuildingTimer = new Timer();
-      const blockBuilder = this.blockBuilderFactory.create(orchestratorDBFork);
+      const blockBuilder = this.blockBuilderFactory.create(publicProcessorDBFork);
       await blockBuilder.startNewBlock(newGlobalVariables, l1ToL2Messages, previousBlockHeader);
 
       // Deadline for processing depends on whether we're proposing a block
@@ -491,9 +481,6 @@ export class Sequencer {
         this.txPublicSetupAllowList,
       );
 
-      // TODO(#11000): Public processor should just handle processing, one tx at a time. It should be responsibility
-      // of the sequencer to update world state and iterate over txs. We should refactor this along with unifying the
-      // publicProcessorFork and orchestratorFork, to avoid doing tree insertions twice when building the block.
       const proposerLimits = {
         maxTransactions: this.maxTxsPerBlock,
         maxBlockSize: this.maxBlockSizeInBytes,
@@ -554,7 +541,6 @@ export class Sequencer {
       setTimeout(async () => {
         try {
           await publicProcessorDBFork.close();
-          await orchestratorDBFork.close();
         } catch (err) {
           // This can happen if the sequencer is stopped before we hit this timeout.
           this.log.warn(`Error closing forks for block processing`, err);
@@ -666,7 +652,7 @@ export class Sequencer {
     [Attributes.BLOCK_ARCHIVE]: block.archive.toString(),
     [Attributes.BLOCK_TXS_COUNT]: txHashes.length,
   }))
-  protected async collectAttestations(block: L2Block, txs: Tx[]): Promise<Signature[] | undefined> {
+  protected async collectAttestations(block: L2Block, txs: Tx[]): Promise<CommitteeAttestation[] | undefined> {
     // TODO(https://github.com/AztecProtocol/aztec-packages/issues/7962): inefficient to have a round trip in here - this should be cached
     const committee = await this.publisher.getCurrentEpochCommittee();
 
@@ -728,7 +714,7 @@ export class Sequencer {
   }))
   protected async enqueuePublishL2Block(
     block: L2Block,
-    attestations?: Signature[],
+    attestations?: CommitteeAttestation[],
     txHashes?: TxHash[],
   ): Promise<void> {
     // Publishes new block to the network and awaits the tx to be mined
@@ -823,4 +809,8 @@ export class Sequencer {
   get maxL2BlockGas(): number | undefined {
     return this.config.maxL2BlockGas;
   }
+
+  public getSlasherClient(): SlasherClient {
+    return this.slasherClient;
+  }
 }

package/src/sequencer/utils.ts

@@ -1,5 +1,5 @@
 import type { EthAddress } from '@aztec/foundation/eth-address';
-import { Signature } from '@aztec/foundation/eth-signature';
+import { CommitteeAttestation } from '@aztec/stdlib/block';
 import type { BlockAttestation } from '@aztec/stdlib/p2p';
 
 export enum SequencerState {
@@ -50,19 +50,27 @@ export function sequencerStateToNumber(state: SequencerState): number {
  *
  * @todo: perform this logic within the memory attestation store instead?
  */
-export function orderAttestations(attestations: BlockAttestation[], orderAddresses: EthAddress[]): Signature[] {
+export function orderAttestations(
+  attestations: BlockAttestation[],
+  orderAddresses: EthAddress[],
+): CommitteeAttestation[] {
   // Create a map of sender addresses to BlockAttestations
-  const attestationMap = new Map<string, BlockAttestation>();
+  const attestationMap = new Map<string, CommitteeAttestation>();
 
   for (const attestation of attestations) {
     const sender = attestation.getSender();
-    attestationMap.set(sender.toString(), attestation);
+    if (sender) {
+      attestationMap.set(
+        sender.toString(),
+        CommitteeAttestation.fromAddressAndSignature(sender, attestation.signature),
+      );
+    }
   }
 
-  // Create the ordered array based on the orderAddresses, else return an empty signature
+  // Create the ordered array based on the orderAddresses, else return an empty attestation
   const orderedAttestations = orderAddresses.map(address => {
     const addressString = address.toString();
-    return attestationMap.get(addressString)?.signature || Signature.empty();
+    return attestationMap.get(addressString) || CommitteeAttestation.fromAddress(address);
   });
 
   return orderedAttestations;

package/dest/slasher/factory.d.ts

@@ -1,7 +0,0 @@
-import type { L1ContractsConfig, L1ReaderConfig } from '@aztec/ethereum';
-import type { L2BlockSourceEventEmitter } from '@aztec/stdlib/block';
-import { type TelemetryClient } from '@aztec/telemetry-client';
-import { SlasherClient } from './slasher_client.js';
-import type { SlasherConfig } from './slasher_client.js';
-export declare const createSlasherClient: (_config: SlasherConfig & L1ContractsConfig & L1ReaderConfig, l2BlockSource: L2BlockSourceEventEmitter, telemetry?: TelemetryClient) => SlasherClient;
-//# sourceMappingURL=factory.d.ts.map

package/dest/slasher/factory.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/slasher/factory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACzE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAEnF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,eAAO,MAAM,mBAAmB,GAC9B,SAAS,aAAa,GAAG,iBAAiB,GAAG,cAAc,EAC3D,eAAe,yBAAyB,EACxC,YAAW,eAAsC,kBAIlD,CAAC"}

package/dest/slasher/factory.js

@@ -1,8 +0,0 @@
-import { getTelemetryClient } from '@aztec/telemetry-client';
-import { SlasherClient } from './slasher_client.js';
-export const createSlasherClient = (_config, l2BlockSource, telemetry = getTelemetryClient())=>{
-    const config = {
-        ..._config
-    };
-    return new SlasherClient(config, l2BlockSource, telemetry);
-};

package/dest/slasher/index.d.ts

@@ -1,3 +0,0 @@
-export * from './slasher_client.js';
-export { createSlasherClient } from './factory.js';
-//# sourceMappingURL=index.d.ts.map

package/dest/slasher/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/slasher/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC"}

package/dest/slasher/index.js

@@ -1,2 +0,0 @@
-export * from './slasher_client.js';
-export { createSlasherClient } from './factory.js';

package/dest/slasher/slasher_client.d.ts

@@ -1,75 +0,0 @@
-import { type L1ContractsConfig, type L1ReaderConfig, type ViemPublicClient } from '@aztec/ethereum';
-import { EthAddress } from '@aztec/foundation/eth-address';
-import { SlashFactoryAbi } from '@aztec/l1-artifacts';
-import { type L2BlockId, type L2BlockSourceEvent, type L2BlockSourceEventEmitter } from '@aztec/stdlib/block';
-import { type TelemetryClient, WithTracer } from '@aztec/telemetry-client';
-import { type GetContractReturnType } from 'viem';
-/**
- * Enum defining the possible states of the Slasher client.
- */
-export declare enum SlasherClientState {
-    IDLE = 0,
-    RUNNING = 1,
-    STOPPED = 2
-}
-/**
- * The synchronization status of the Slasher client.
- */
-export interface SlasherSyncState {
-    /**
-     * The current state of the slasher client.
-     */
-    state: SlasherClientState;
-    /**
-     * The block number that the slasher client is synced to.
-     */
-    syncedToL2Block: L2BlockId;
-}
-export interface SlasherConfig {
-    blockCheckIntervalMS: number;
-    blockRequestBatchSize: number;
-}
-/**
- * @notice A Hypomeiones slasher client implementation
- *
- * Hypomeiones: a class of individuals in ancient Sparta who were considered inferior or lesser citizens compared
- * to the full Spartan citizens.
- *
- * The implementation here is less than ideal. It exists, not to be the end all be all, but to show that
- * slashing can be done with this mechanism.
- *
- * The implementation is VERY brute in the sense that it only looks for pruned blocks and then tries to slash
- * the full committee of that.
- * If it sees a prune, it will mark the full epoch as "to be slashed".
- *
- * Also, it is not particularly smart around what it should if there were to be multiple slashing events.
- *
- * A few improvements:
- * - Only vote on the proposal if it is possible to reach, e.g., if 6 votes are needed and only 4 slots are left don't vote.
- * - Stop voting on a payload once it is processed.
- * - Only vote on the proposal if it have not already been executed
- *  - Caveat, we need to fully decide if it is acceptable to have the same payload address multiple times. In the current
- *    slash factory that could mean slashing the same committee for the same error multiple times.
- * - Decide how to deal with multiple slashing events in the same round.
- *  - This could be that multiple epochs are pruned in the same round, but with the current naive implementation we could end up
- *    slashing only the first, because the "lifetime" of the second would have passed after that vote
- */
-export declare class SlasherClient extends WithTracer {
-    private config;
-    private l2BlockSource;
-    private log;
-    private slashEvents;
-    protected slashFactoryContract?: GetContractReturnType<typeof SlashFactoryAbi, ViemPublicClient>;
-    private slashingAmount;
-    constructor(config: SlasherConfig & L1ContractsConfig & L1ReaderConfig, l2BlockSource: L2BlockSourceEventEmitter, telemetry?: TelemetryClient, log?: import("@aztec/foundation/log").Logger);
-    start(): void;
-    getSlashPayload(slotNumber: bigint): Promise<EthAddress | undefined>;
-    handleBlockStreamEvent(event: L2BlockSourceEvent): Promise<void>;
-    /**
-     * Allows consumers to stop the instance of the slasher client.
-     * 'ready' will now return 'false' and the running promise that keeps the client synced is interrupted.
-     */
-    stop(): void;
-    private handlePruneL2Blocks;
-}
-//# sourceMappingURL=slasher_client.d.ts.map

package/dest/slasher/slasher_client.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"slasher_client.d.ts","sourceRoot":"","sources":["../../src/slasher/slasher_client.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,gBAAgB,EAEtB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EACL,KAAK,SAAS,EACd,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAE/B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,KAAK,eAAe,EAAE,UAAU,EAAsB,MAAM,yBAAyB,CAAC;AAE/F,OAAO,EAAE,KAAK,qBAAqB,EAA+D,MAAM,MAAM,CAAC;AAE/G;;GAEG;AACH,oBAAY,kBAAkB;IAC5B,IAAI,IAAA;IACJ,OAAO,IAAA;IACP,OAAO,IAAA;CACR;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;OAEG;IACH,KAAK,EAAE,kBAAkB,CAAC;IAC1B;;OAEG;IACH,eAAe,EAAE,SAAS,CAAC;CAC5B;AAED,MAAM,WAAW,aAAa;IAC5B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAQD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,qBAAa,aAAc,SAAQ,UAAU;IAWzC,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,aAAa;IAErB,OAAO,CAAC,GAAG;IAbb,OAAO,CAAC,WAAW,CAAoB;IAEvC,SAAS,CAAC,oBAAoB,CAAC,EAAE,qBAAqB,CAAC,OAAO,eAAe,EAAE,gBAAgB,CAAC,CAAa;IAK7G,OAAO,CAAC,cAAc,CAAc;gBAG1B,MAAM,EAAE,aAAa,GAAG,iBAAiB,GAAG,cAAc,EAC1D,aAAa,EAAE,yBAAyB,EAChD,SAAS,GAAE,eAAsC,EACzC,GAAG,yCAA0B;IAwBhC,KAAK;IAMC,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC;IAgC1E,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC;IAavE;;;OAGG;IACI,IAAI;IAMX,OAAO,CAAC,mBAAmB;CAqB5B"}

package/dest/slasher/slasher_client.js

@@ -1,135 +0,0 @@
-import { createEthereumChain } from '@aztec/ethereum';
-import { EthAddress } from '@aztec/foundation/eth-address';
-import { createLogger } from '@aztec/foundation/log';
-import { SlashFactoryAbi } from '@aztec/l1-artifacts';
-import { L2BlockSourceEvents } from '@aztec/stdlib/block';
-import { WithTracer, getTelemetryClient } from '@aztec/telemetry-client';
-import { createPublicClient, fallback, getAddress, getContract, http } from 'viem';
-/**
- * Enum defining the possible states of the Slasher client.
- */ export var SlasherClientState = /*#__PURE__*/ function(SlasherClientState) {
-    SlasherClientState[SlasherClientState["IDLE"] = 0] = "IDLE";
-    SlasherClientState[SlasherClientState["RUNNING"] = 1] = "RUNNING";
-    SlasherClientState[SlasherClientState["STOPPED"] = 2] = "STOPPED";
-    return SlasherClientState;
-}({});
-/**
- * @notice A Hypomeiones slasher client implementation
- *
- * Hypomeiones: a class of individuals in ancient Sparta who were considered inferior or lesser citizens compared
- * to the full Spartan citizens.
- *
- * The implementation here is less than ideal. It exists, not to be the end all be all, but to show that
- * slashing can be done with this mechanism.
- *
- * The implementation is VERY brute in the sense that it only looks for pruned blocks and then tries to slash
- * the full committee of that.
- * If it sees a prune, it will mark the full epoch as "to be slashed".
- *
- * Also, it is not particularly smart around what it should if there were to be multiple slashing events.
- *
- * A few improvements:
- * - Only vote on the proposal if it is possible to reach, e.g., if 6 votes are needed and only 4 slots are left don't vote.
- * - Stop voting on a payload once it is processed.
- * - Only vote on the proposal if it have not already been executed
- *  - Caveat, we need to fully decide if it is acceptable to have the same payload address multiple times. In the current
- *    slash factory that could mean slashing the same committee for the same error multiple times.
- * - Decide how to deal with multiple slashing events in the same round.
- *  - This could be that multiple epochs are pruned in the same round, but with the current naive implementation we could end up
- *    slashing only the first, because the "lifetime" of the second would have passed after that vote
- */ export class SlasherClient extends WithTracer {
-    config;
-    l2BlockSource;
-    log;
-    slashEvents;
-    slashFactoryContract;
-    // The amount to slash for a prune.
-    // Note that we set it to 0, such that no actual slashing will happen, but the event will be fired,
-    // showing that the slashing mechanism is working.
-    slashingAmount;
-    constructor(config, l2BlockSource, telemetry = getTelemetryClient(), log = createLogger('slasher')){
-        super(telemetry, 'slasher'), this.config = config, this.l2BlockSource = l2BlockSource, this.log = log, this.slashEvents = [], this.slashFactoryContract = undefined, this.slashingAmount = 0n;
-        if (config.l1Contracts.slashFactoryAddress && !config.l1Contracts.slashFactoryAddress.equals(EthAddress.ZERO)) {
-            const chain = createEthereumChain(config.l1RpcUrls, config.l1ChainId);
-            const publicClient = createPublicClient({
-                chain: chain.chainInfo,
-                transport: fallback(chain.rpcUrls.map((url)=>http(url))),
-                pollingInterval: config.viemPollingIntervalMS
-            });
-            this.slashFactoryContract = getContract({
-                address: getAddress(config.l1Contracts.slashFactoryAddress.toString()),
-                abi: SlashFactoryAbi,
-                client: publicClient
-            });
-        } else {
-            this.log.warn('No slash factory address found, slashing will not be enabled');
-        }
-        this.log.info(`Slasher client initialized`);
-    }
-    start() {
-        this.log.info('Starting Slasher client...');
-        this.l2BlockSource.on(L2BlockSourceEvents.L2PruneDetected, this.handlePruneL2Blocks.bind(this));
-    }
-    // This is where we should put a bunch of the improvements mentioned earlier.
-    async getSlashPayload(slotNumber) {
-        if (!this.slashFactoryContract) {
-            return undefined;
-        }
-        // As long as the slot is greater than the lifetime, we want to keep deleting the first element
-        // since it will not make sense to include anymore.
-        while(this.slashEvents.length > 0 && this.slashEvents[0].lifetime < slotNumber){
-            this.slashEvents.shift();
-        }
-        if (this.slashEvents.length == 0) {
-            return undefined;
-        }
-        const slashEvent = this.slashEvents[0];
-        const [payloadAddress, isDeployed] = await this.slashFactoryContract.read.getAddressAndIsDeployed([
-            slashEvent.epoch,
-            slashEvent.amount
-        ]);
-        if (!isDeployed) {
-            // The proposal cannot be executed until it is deployed
-            this.log.verbose(`Voting on not yet deployed payload for epoch ${slashEvent.epoch} and amount ${slashEvent.amount} at: ${payloadAddress}`);
-        }
-        return EthAddress.fromString(payloadAddress);
-    }
-    handleBlockStreamEvent(event) {
-        this.log.debug(`Handling block stream event ${event.type}`);
-        switch(event.type){
-            case L2BlockSourceEvents.L2PruneDetected:
-                this.handlePruneL2Blocks(event);
-                break;
-            default:
-                {
-                    break;
-                }
-        }
-        return Promise.resolve();
-    }
-    /**
-   * Allows consumers to stop the instance of the slasher client.
-   * 'ready' will now return 'false' and the running promise that keeps the client synced is interrupted.
-   */ stop() {
-        this.log.debug('Stopping Slasher client...');
-        this.l2BlockSource.removeListener(L2BlockSourceEvents.L2PruneDetected, this.handlePruneL2Blocks.bind(this));
-        this.log.info('Slasher client stopped.');
-    }
-    handlePruneL2Blocks(event) {
-        // We do not try to slash if the penalty is 0
-        if (this.slashingAmount == 0n) {
-            return;
-        }
-        const { slotNumber, epochNumber } = event;
-        this.log.info(`Detected chain prune. Punishing the validators at epoch ${epochNumber}`, event);
-        // Set the lifetime such that we have a full round that we could vote throughout.
-        const slotsIntoRound = slotNumber % BigInt(this.config.slashingRoundSize);
-        const toNext = slotsIntoRound == 0n ? 0n : BigInt(this.config.slashingRoundSize) - slotsIntoRound;
-        const lifetime = slotNumber + toNext + BigInt(this.config.slashingRoundSize);
-        this.slashEvents.push({
-            epoch: epochNumber,
-            amount: this.slashingAmount,
-            lifetime
-        });
-    }
-}

package/src/slasher/factory.ts

@@ -1,15 +0,0 @@
-import type { L1ContractsConfig, L1ReaderConfig } from '@aztec/ethereum';
-import type { L2BlockSourceEventEmitter } from '@aztec/stdlib/block';
-import { type TelemetryClient, getTelemetryClient } from '@aztec/telemetry-client';
-
-import { SlasherClient } from './slasher_client.js';
-import type { SlasherConfig } from './slasher_client.js';
-
-export const createSlasherClient = (
-  _config: SlasherConfig & L1ContractsConfig & L1ReaderConfig,
-  l2BlockSource: L2BlockSourceEventEmitter,
-  telemetry: TelemetryClient = getTelemetryClient(),
-) => {
-  const config = { ..._config };
-  return new SlasherClient(config, l2BlockSource, telemetry);
-};

package/src/slasher/index.ts

@@ -1,2 +0,0 @@
-export * from './slasher_client.js';
-export { createSlasherClient } from './factory.js';