@aztec/sequencer-client 0.0.0-test.1 → 0.0.1-commit.b655e406

package/src/sequencer/timetable.ts

@@ -1,20 +1,21 @@
-import { createLogger } from '@aztec/aztec.js';
+import { createLogger } from '@aztec/aztec.js/log';
 
+import { DEFAULT_ATTESTATION_PROPAGATION_TIME } from '../config.js';
+import { SequencerTooSlowError } from './errors.js';
 import type { SequencerMetrics } from './metrics.js';
 import { SequencerState } from './utils.js';
 
-export class SequencerTimetable {
-  /** How late into the slot can we be to start working */
-  public readonly initialTime = 3;
-
-  /** How long it takes to get ready to start building */
-  public readonly blockPrepareTime = 1;
-
-  /** How long it takes to for proposals and attestations to travel across the p2p layer (one-way) */
-  public readonly attestationPropagationTime = 2;
+const MIN_EXECUTION_TIME = 1;
+const BLOCK_PREPARE_TIME = 1;
+const BLOCK_VALIDATION_TIME = 1;
 
-  /** How much time we spend validating and processing a block after building it, and assembling the proposal to send to attestors */
-  public readonly blockValidationTime = 1;
+export class SequencerTimetable {
+  /**
+   * How late into the slot can we be to start working. Computed as the total time needed for assembling and publishing a block,
+   * assuming an execution time equal to `minExecutionTime`, subtracted from the slot duration. This means that, if the proposer
+   * starts building at this time, and all times hold, it will have at least `minExecutionTime` to execute txs for the block.
+   */
+  public readonly initializeDeadline: number;
 
   /**
    * How long it takes to get a published block into L1. L1 builders typically accept txs up to 4 seconds into their slot,
@@ -23,15 +24,84 @@ export class SequencerTimetable {
    */
   public readonly l1PublishingTime;
 
+  /** What's the minimum time we want to leave available for execution and reexecution (used to derive init deadline) */
+  public readonly minExecutionTime: number = MIN_EXECUTION_TIME;
+
+  /** How long it takes to get ready to start building */
+  public readonly blockPrepareTime: number = BLOCK_PREPARE_TIME;
+
+  /** How long it takes to for proposals and attestations to travel across the p2p layer (one-way) */
+  public readonly attestationPropagationTime: number;
+
+  /** How much time we spend validating and processing a block after building it, and assembling the proposal to send to attestors */
+  public readonly blockValidationTime: number = BLOCK_VALIDATION_TIME;
+
+  /** Ethereum slot duration in seconds */
+  public readonly ethereumSlotDuration: number;
+
+  /** Aztec slot duration in seconds (must be multiple of ethereum slot duration) */
+  public readonly aztecSlotDuration: number;
+
+  /** How late into an L1 slot we can send a tx to make sure it gets included in the immediate next block. Complement of l1PublishingTime. */
+  public readonly maxL1TxInclusionTimeIntoSlot: number;
+
+  /** Whether assertTimeLeft will throw if not enough time. */
+  public readonly enforce: boolean;
+
   constructor(
-    private readonly ethereumSlotDuration: number,
-    private readonly aztecSlotDuration: number,
-    private readonly maxL1TxInclusionTimeIntoSlot: number,
-    private readonly enforce: boolean = true,
+    opts: {
+      ethereumSlotDuration: number;
+      aztecSlotDuration: number;
+      maxL1TxInclusionTimeIntoSlot: number;
+      attestationPropagationTime?: number;
+      enforce: boolean;
+    },
     private readonly metrics?: SequencerMetrics,
     private readonly log = createLogger('sequencer:timetable'),
   ) {
+    this.ethereumSlotDuration = opts.ethereumSlotDuration;
+    this.aztecSlotDuration = opts.aztecSlotDuration;
+    this.maxL1TxInclusionTimeIntoSlot = opts.maxL1TxInclusionTimeIntoSlot;
+    this.attestationPropagationTime = opts.attestationPropagationTime ?? DEFAULT_ATTESTATION_PROPAGATION_TIME;
     this.l1PublishingTime = this.ethereumSlotDuration - this.maxL1TxInclusionTimeIntoSlot;
+    this.enforce = opts.enforce;
+
+    // Assume zero-cost propagation time and faster runs in test environments where L1 slot duration is shortened
+    if (this.ethereumSlotDuration < 8) {
+      this.attestationPropagationTime = 0;
+      this.blockValidationTime = 0.5;
+      this.blockPrepareTime = 0.5;
+    }
+
+    const allWorkToDo =
+      this.blockPrepareTime +
+      this.minExecutionTime * 2 +
+      this.attestationPropagationTime * 2 +
+      this.blockValidationTime +
+      this.l1PublishingTime;
+
+    const initializeDeadline = this.aztecSlotDuration - allWorkToDo;
+    this.initializeDeadline = initializeDeadline;
+
+    this.log.verbose(`Sequencer timetable initialized (${this.enforce ? 'enforced' : 'not enforced'})`, {
+      ethereumSlotDuration: this.ethereumSlotDuration,
+      aztecSlotDuration: this.aztecSlotDuration,
+      maxL1TxInclusionTimeIntoSlot: this.maxL1TxInclusionTimeIntoSlot,
+      l1PublishingTime: this.l1PublishingTime,
+      minExecutionTime: this.minExecutionTime,
+      blockPrepareTime: this.blockPrepareTime,
+      attestationPropagationTime: this.attestationPropagationTime,
+      blockValidationTime: this.blockValidationTime,
+      initializeDeadline: this.initializeDeadline,
+      enforce: this.enforce,
+      allWorkToDo,
+    });
+
+    if (initializeDeadline <= 0) {
+      throw new Error(
+        `Block proposal initialize deadline cannot be negative (got ${initializeDeadline} from total time needed ${allWorkToDo} and a slot duration of ${this.aztecSlotDuration}).`,
+      );
+    }
   }
 
   private get afterBlockBuildingTimeNeededWithoutReexec() {
@@ -57,7 +127,7 @@ export class SequencerTimetable {
     return this.attestationPropagationTime + this.l1PublishingTime;
   }
 
-  public getValidatorReexecTimeEnd(secondsIntoSlot: number): number {
+  public getValidatorReexecTimeEnd(secondsIntoSlot?: number): number {
     // We need to leave for `afterBlockReexecTimeNeeded` seconds available.
     const validationTimeEnd = this.aztecSlotDuration - this.afterBlockReexecTimeNeeded;
     this.log.debug(`Validator re-execution time deadline is ${validationTimeEnd}`, {
@@ -67,17 +137,25 @@ export class SequencerTimetable {
     return validationTimeEnd;
   }
 
+  public getMaxAllowedTime(
+    state: Extract<SequencerState, SequencerState.STOPPED | SequencerState.IDLE | SequencerState.SYNCHRONIZING>,
+  ): undefined;
+  public getMaxAllowedTime(
+    state: Exclude<SequencerState, SequencerState.STOPPED | SequencerState.IDLE | SequencerState.SYNCHRONIZING>,
+  ): number;
+  public getMaxAllowedTime(state: SequencerState): number | undefined;
   public getMaxAllowedTime(state: SequencerState): number | undefined {
     switch (state) {
       case SequencerState.STOPPED:
+      case SequencerState.STOPPING:
       case SequencerState.IDLE:
       case SequencerState.SYNCHRONIZING:
-      case SequencerState.PROPOSER_CHECK:
         return; // We don't really care about times for this states
+      case SequencerState.PROPOSER_CHECK:
       case SequencerState.INITIALIZING_PROPOSAL:
-        return this.initialTime;
+        return this.initializeDeadline;
       case SequencerState.CREATING_BLOCK:
-        return this.initialTime + this.blockPrepareTime;
+        return this.initializeDeadline + this.blockPrepareTime;
       case SequencerState.COLLECTING_ATTESTATIONS:
         return this.aztecSlotDuration - this.l1PublishingTime - 2 * this.attestationPropagationTime;
       case SequencerState.PUBLISHING_BLOCK:
@@ -108,16 +186,3 @@ export class SequencerTimetable {
     this.log.trace(`Enough time to transition to ${newState}`, { maxAllowedTime, secondsIntoSlot });
   }
 }
-
-export class SequencerTooSlowError extends Error {
-  constructor(
-    public readonly proposedState: SequencerState,
-    public readonly maxAllowedTime: number,
-    public readonly currentTime: number,
-  ) {
-    super(
-      `Too far into slot for ${proposedState} (time into slot ${currentTime}s greater than ${maxAllowedTime}s allowance)`,
-    );
-    this.name = 'SequencerTooSlowError';
-  }
-}

package/src/sequencer/utils.ts

@@ -1,74 +1,33 @@
-import type { EthAddress } from '@aztec/foundation/eth-address';
-import { Signature } from '@aztec/foundation/eth-signature';
-import type { BlockAttestation } from '@aztec/stdlib/p2p';
-
 export enum SequencerState {
-  /**
-   * Sequencer is stopped and not processing any txs from the pool.
-   */
+  /** Sequencer is stopped and not processing any txs from the pool. */
   STOPPED = 'STOPPED',
-  /**
-   * Sequencer is awaiting the next call to work().
-   */
+  /** Sequencer is being stopped. Will move to STOPPED shortly. */
+  STOPPING = 'STOPPING',
+  /** Sequencer is awaiting the next call to work(). */
   IDLE = 'IDLE',
-  /**
-   * Synchronizing with the L2 chain.
-   */
+  /** Synchronizing with the L2 chain. */
   SYNCHRONIZING = 'SYNCHRONIZING',
-  /**
-   * Checking if we are the proposer for the current slot.
-   */
+  /** Checking if we are the proposer for the current slot. */
   PROPOSER_CHECK = 'PROPOSER_CHECK',
-  /**
-   * Initializing the block proposal. Will move to CREATING_BLOCK if there are valid txs to include, or back to SYNCHRONIZING otherwise.
-   */
+  /** Initializing the block proposal. Will move to CREATING_BLOCK if there are valid txs to include, or back to SYNCHRONIZING otherwise. */
   INITIALIZING_PROPOSAL = 'INITIALIZING_PROPOSAL',
-  /**
-   * Creating a new L2 block. Includes processing public function calls and running rollup circuits. Will move to PUBLISHING_CONTRACT_DATA.
-   */
+  /** Creating a new L2 block. Includes processing public function calls and running rollup circuits. Will move to PUBLISHING_CONTRACT_DATA. */
   CREATING_BLOCK = 'CREATING_BLOCK',
-  /**
-   * Collecting attestations from its peers. Will move to PUBLISHING_BLOCK.
-   */
+  /** Collecting attestations from its peers. Will move to PUBLISHING_BLOCK. */
   COLLECTING_ATTESTATIONS = 'COLLECTING_ATTESTATIONS',
-  /**
-   * Sending the tx to L1 with the L2 block data and awaiting it to be mined. Will move to SYNCHRONIZING.
-   */
+  /** Sending the tx to L1 with the L2 block data and awaiting it to be mined. Will move to SYNCHRONIZING. */
   PUBLISHING_BLOCK = 'PUBLISHING_BLOCK',
 }
 
+export type SequencerStateWithSlot =
+  | SequencerState.INITIALIZING_PROPOSAL
+  | SequencerState.CREATING_BLOCK
+  | SequencerState.COLLECTING_ATTESTATIONS
+  | SequencerState.PUBLISHING_BLOCK
+  | SequencerState.PROPOSER_CHECK;
+
 export type SequencerStateCallback = () => SequencerState;
 
 export function sequencerStateToNumber(state: SequencerState): number {
   return Object.values(SequencerState).indexOf(state);
 }
-
-/** Order Attestations
- *
- * Returns attestation signatures in the order of a series of provided ethereum addresses
- * The rollup smart contract expects attestations to appear in the order of the committee
- *
- * @todo: perform this logic within the memory attestation store instead?
- */
-export async function orderAttestations(
-  attestations: BlockAttestation[],
-  orderAddresses: EthAddress[],
-): Promise<Signature[]> {
-  // Create a map of sender addresses to BlockAttestations
-  const attestationMap = new Map<string, BlockAttestation>();
-
-  for (const attestation of attestations) {
-    const sender = await attestation.getSender();
-    if (sender) {
-      attestationMap.set(sender.toString(), attestation);
-    }
-  }
-
-  // Create the ordered array based on the orderAddresses, else return an empty signature
-  const orderedAttestations = orderAddresses.map(address => {
-    const addressString = address.toString();
-    return attestationMap.get(addressString)?.signature || Signature.empty();
-  });
-
-  return orderedAttestations;
-}

package/src/test/index.ts

@@ -1,20 +1,27 @@
+import type { PublisherManager } from '@aztec/ethereum';
+import type { L1TxUtilsWithBlobs } from '@aztec/ethereum/l1-tx-utils-with-blobs';
 import type { PublicProcessorFactory } from '@aztec/simulator/server';
+import type { ValidatorClient } from '@aztec/validator-client';
 
 import { SequencerClient } from '../client/sequencer-client.js';
+import type { SequencerPublisherFactory } from '../publisher/sequencer-publisher-factory.js';
 import type { SequencerPublisher } from '../publisher/sequencer-publisher.js';
 import { Sequencer } from '../sequencer/sequencer.js';
 import type { SequencerTimetable } from '../sequencer/timetable.js';
 
 class TestSequencer_ extends Sequencer {
-  public override publicProcessorFactory!: PublicProcessorFactory;
-  public override timetable!: SequencerTimetable;
-  public override publisher!: SequencerPublisher;
+  declare public publicProcessorFactory: PublicProcessorFactory;
+  declare public timetable: SequencerTimetable;
+  declare public publisher: SequencerPublisher;
+  declare public publisherFactory: SequencerPublisherFactory;
+  declare public validatorClient: ValidatorClient;
 }
 
 export type TestSequencer = TestSequencer_;
 
 class TestSequencerClient_ extends SequencerClient {
-  public override sequencer!: TestSequencer;
+  declare public sequencer: TestSequencer;
+  declare public publisherManager: PublisherManager<L1TxUtilsWithBlobs>;
 }
 
 export type TestSequencerClient = TestSequencerClient_;

package/src/tx_validator/tx_validator_factory.ts

@@ -1,52 +1,72 @@
 import { Fr } from '@aztec/foundation/fields';
+import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vk-tree';
 import {
   AggregateTxValidator,
+  ArchiveCache,
   BlockHeaderTxValidator,
   DataTxValidator,
   DoubleSpendTxValidator,
+  GasTxValidator,
   MetadataTxValidator,
+  PhasesTxValidator,
+  TimestampTxValidator,
+  TxPermittedValidator,
   TxProofValidator,
 } from '@aztec/p2p';
-import { ProtocolContractAddress } from '@aztec/protocol-contracts';
-import { readPublicState } from '@aztec/simulator/server';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { ProtocolContractAddress, protocolContractsHash } from '@aztec/protocol-contracts';
 import type { ContractDataSource } from '@aztec/stdlib/contract';
 import type { GasFees } from '@aztec/stdlib/gas';
 import type {
   AllowedElement,
   ClientProtocolCircuitVerifier,
   MerkleTreeReadOperations,
+  PublicProcessorValidator,
 } from '@aztec/stdlib/interfaces/server';
-import { GlobalVariables, type ProcessedTx, type Tx, type TxValidator } from '@aztec/stdlib/tx';
+import { DatabasePublicStateSource, type PublicStateSource } from '@aztec/stdlib/trees';
+import { GlobalVariables, type Tx, type TxValidator } from '@aztec/stdlib/tx';
+import type { UInt64 } from '@aztec/stdlib/types';
 
-import { ArchiveCache } from './archive_cache.js';
-import { GasTxValidator, type PublicStateSource } from './gas_validator.js';
 import { NullifierCache } from './nullifier_cache.js';
-import { PhasesTxValidator } from './phases_validator.js';
 
 export function createValidatorForAcceptingTxs(
   db: MerkleTreeReadOperations,
   contractDataSource: ContractDataSource,
   verifier: ClientProtocolCircuitVerifier | undefined,
   {
-    blockNumber,
     l1ChainId,
+    rollupVersion,
     setupAllowList,
     gasFees,
     skipFeeEnforcement,
+    timestamp,
+    blockNumber,
+    txsPermitted,
   }: {
-    blockNumber: number;
     l1ChainId: number;
+    rollupVersion: number;
     setupAllowList: AllowedElement[];
     gasFees: GasFees;
     skipFeeEnforcement?: boolean;
+    timestamp: UInt64;
+    blockNumber: number;
+    txsPermitted: boolean;
   },
 ): TxValidator<Tx> {
   const validators: TxValidator<Tx>[] = [
+    new TxPermittedValidator(txsPermitted),
     new DataTxValidator(),
-    new MetadataTxValidator(new Fr(l1ChainId), new Fr(blockNumber)),
+    new MetadataTxValidator({
+      l1ChainId: new Fr(l1ChainId),
+      rollupVersion: new Fr(rollupVersion),
+      protocolContractsHash,
+      vkTreeRoot: getVKTreeRoot(),
+    }),
+    new TimestampTxValidator({
+      timestamp,
+      blockNumber,
+    }),
     new DoubleSpendTxValidator(new NullifierCache(db)),
-    new PhasesTxValidator(contractDataSource, setupAllowList),
+    new PhasesTxValidator(contractDataSource, setupAllowList, timestamp),
     new BlockHeaderTxValidator(new ArchiveCache(db)),
   ];
 
@@ -61,16 +81,12 @@ export function createValidatorForAcceptingTxs(
   return new AggregateTxValidator(...validators);
 }
 
-export function createValidatorsForBlockBuilding(
+export function createValidatorForBlockBuilding(
   db: MerkleTreeReadOperations,
   contractDataSource: ContractDataSource,
   globalVariables: GlobalVariables,
   setupAllowList: AllowedElement[],
-): {
-  preprocessValidator: TxValidator<Tx>;
-  postprocessValidator: TxValidator<ProcessedTx>;
-  nullifierCache: NullifierCache;
-} {
+): PublicProcessorValidator {
   const nullifierCache = new NullifierCache(db);
   const archiveCache = new ArchiveCache(db);
   const publicStateSource = new DatabasePublicStateSource(db);
@@ -84,19 +100,10 @@ export function createValidatorsForBlockBuilding(
       globalVariables,
       setupAllowList,
     ),
-    postprocessValidator: postprocessValidator(nullifierCache),
     nullifierCache,
   };
 }
 
-class DatabasePublicStateSource implements PublicStateSource {
-  constructor(private db: MerkleTreeReadOperations) {}
-
-  storageRead(contractAddress: AztecAddress, slot: Fr): Promise<Fr> {
-    return readPublicState(this.db, contractAddress, slot);
-  }
-}
-
 function preprocessValidator(
   nullifierCache: NullifierCache,
   archiveCache: ArchiveCache,
@@ -107,14 +114,19 @@ function preprocessValidator(
 ): TxValidator<Tx> {
   // We don't include the TxProofValidator nor the DataTxValidator here because they are already checked by the time we get to block building.
   return new AggregateTxValidator(
-    new MetadataTxValidator(globalVariables.chainId, globalVariables.blockNumber),
+    new MetadataTxValidator({
+      l1ChainId: globalVariables.chainId,
+      rollupVersion: globalVariables.version,
+      protocolContractsHash,
+      vkTreeRoot: getVKTreeRoot(),
+    }),
+    new TimestampTxValidator({
+      timestamp: globalVariables.timestamp,
+      blockNumber: globalVariables.blockNumber,
+    }),
     new DoubleSpendTxValidator(nullifierCache),
-    new PhasesTxValidator(contractDataSource, setupAllowList),
+    new PhasesTxValidator(contractDataSource, setupAllowList, globalVariables.timestamp),
     new GasTxValidator(publicStateSource, ProtocolContractAddress.FeeJuice, globalVariables.gasFees),
     new BlockHeaderTxValidator(archiveCache),
   );
 }
-
-function postprocessValidator(nullifierCache: NullifierCache): TxValidator<ProcessedTx> {
-  return new DoubleSpendTxValidator(nullifierCache);
-}

package/dest/sequencer/allowed.d.ts

@@ -1,3 +0,0 @@
-import type { AllowedElement } from '@aztec/stdlib/interfaces/server';
-export declare function getDefaultAllowedSetupFunctions(): Promise<AllowedElement[]>;
-//# sourceMappingURL=allowed.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"allowed.d.ts","sourceRoot":"","sources":["../../src/sequencer/allowed.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAItE,wBAAsB,+BAA+B,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC,CA2BjF"}

package/dest/sequencer/allowed.js

@@ -1,27 +0,0 @@
-import { FPCContract } from '@aztec/noir-contracts.js/FPC';
-import { TokenContractArtifact } from '@aztec/noir-contracts.js/Token';
-import { ProtocolContractAddress } from '@aztec/protocol-contracts';
-import { getContractClassFromArtifact } from '@aztec/stdlib/contract';
-let defaultAllowedSetupFunctions = undefined;
-export async function getDefaultAllowedSetupFunctions() {
-    if (defaultAllowedSetupFunctions === undefined) {
-        defaultAllowedSetupFunctions = [
-            // needed for authwit support
-            {
-                address: ProtocolContractAddress.AuthRegistry
-            },
-            // needed for claiming on the same tx as a spend
-            {
-                address: ProtocolContractAddress.FeeJuice
-            },
-            // needed for private transfers via FPC
-            {
-                classId: (await getContractClassFromArtifact(TokenContractArtifact)).id
-            },
-            {
-                classId: (await getContractClassFromArtifact(FPCContract.artifact)).id
-            }
-        ];
-    }
-    return defaultAllowedSetupFunctions;
-}

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,YACrB,aAAa,GAAG,iBAAiB,GAAG,cAAc,iBAC5C,yBAAyB,cAC7B,eAAe,kBAI3B,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;IA8B1E,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC;IAavE;;;OAGG;IACI,IAAI;IAOX,OAAO,CAAC,mBAAmB;CAgB5B"}