@aztec/sequencer-client 0.68.2 → 0.69.0-devnet

package/dest/slasher/slasher_client.js

@@ -0,0 +1,305 @@
+import { L2BlockStream, } from '@aztec/circuit-types';
+import { INITIAL_L2_BLOCK_NUM } from '@aztec/circuits.js/constants';
+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 { WithTracer } from '@aztec/telemetry-client';
+import { NoopTelemetryClient } from '@aztec/telemetry-client/noop';
+import { createPublicClient, getAddress, getContract, http, } from 'viem';
+/**
+ * Enum defining the possible states of the Slasher client.
+ */
+export var SlasherClientState;
+(function (SlasherClientState) {
+    SlasherClientState[SlasherClientState["IDLE"] = 0] = "IDLE";
+    SlasherClientState[SlasherClientState["SYNCHING"] = 1] = "SYNCHING";
+    SlasherClientState[SlasherClientState["RUNNING"] = 2] = "RUNNING";
+    SlasherClientState[SlasherClientState["STOPPED"] = 3] = "STOPPED";
+})(SlasherClientState || (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 {
+    constructor(config, store, l2BlockSource, telemetry = new NoopTelemetryClient(), log = createLogger('slasher')) {
+        super(telemetry, 'slasher');
+        this.config = config;
+        this.store = store;
+        this.l2BlockSource = l2BlockSource;
+        this.log = log;
+        this.currentState = SlasherClientState.IDLE;
+        this.syncPromise = Promise.resolve();
+        this.syncResolve = undefined;
+        this.latestBlockNumberAtStart = -1;
+        this.provenBlockNumberAtStart = -1;
+        this.slashEvents = [];
+        this.slashFactoryContract = undefined;
+        // 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.
+        this.slashingAmount = 0n;
+        this.blockStream = new L2BlockStream(l2BlockSource, this, this, createLogger('slasher:block_stream'), {
+            batchSize: config.blockRequestBatchSize,
+            pollIntervalMS: config.blockCheckIntervalMS,
+        });
+        this.synchedBlockHashes = store.openMap('slasher_block_hashes');
+        this.synchedLatestBlockNumber = store.openSingleton('slasher_last_l2_block');
+        this.synchedProvenBlockNumber = store.openSingleton('slasher_last_proven_l2_block');
+        if (config.l1Contracts.slashFactoryAddress && config.l1Contracts.slashFactoryAddress !== EthAddress.ZERO) {
+            const chain = createEthereumChain(config.l1RpcUrl, config.l1ChainId);
+            const publicClient = createPublicClient({
+                chain: chain.chainInfo,
+                transport: http(chain.rpcUrl),
+                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`);
+    }
+    // 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: ${payloadAddress}`);
+        }
+        return EthAddress.fromString(payloadAddress);
+    }
+    getL2BlockHash(number) {
+        return Promise.resolve(this.synchedBlockHashes.get(number));
+    }
+    getL2Tips() {
+        const latestBlockNumber = this.getSyncedLatestBlockNum();
+        let latestBlockHash;
+        const provenBlockNumber = this.getSyncedProvenBlockNum();
+        let provenBlockHash;
+        if (latestBlockNumber > 0) {
+            latestBlockHash = this.synchedBlockHashes.get(latestBlockNumber);
+            if (typeof latestBlockHash === 'undefined') {
+                this.log.warn(`Block hash for latest block ${latestBlockNumber} not found`);
+                throw new Error();
+            }
+        }
+        if (provenBlockNumber > 0) {
+            provenBlockHash = this.synchedBlockHashes.get(provenBlockNumber);
+            if (typeof provenBlockHash === 'undefined') {
+                this.log.warn(`Block hash for proven block ${provenBlockNumber} not found`);
+                throw new Error();
+            }
+        }
+        return Promise.resolve({
+            latest: { hash: latestBlockHash, number: latestBlockNumber },
+            proven: { hash: provenBlockHash, number: provenBlockNumber },
+            finalized: { hash: provenBlockHash, number: provenBlockNumber },
+        });
+    }
+    async handleBlockStreamEvent(event) {
+        this.log.debug(`Handling block stream event ${event.type}`);
+        switch (event.type) {
+            case 'blocks-added':
+                await this.handleLatestL2Blocks(event.blocks);
+                break;
+            case 'chain-finalized':
+                // TODO (alexg): I think we can prune the block hashes map here
+                break;
+            case 'chain-proven': {
+                const from = this.getSyncedProvenBlockNum() + 1;
+                const limit = event.blockNumber - from + 1;
+                await this.handleProvenL2Blocks(await this.l2BlockSource.getBlocks(from, limit));
+                break;
+            }
+            case 'chain-pruned':
+                await this.handlePruneL2Blocks(event.blockNumber);
+                break;
+            default: {
+                const _ = event;
+                break;
+            }
+        }
+    }
+    async start() {
+        if (this.currentState === SlasherClientState.STOPPED) {
+            throw new Error('Slasher already stopped');
+        }
+        if (this.currentState !== SlasherClientState.IDLE) {
+            return this.syncPromise;
+        }
+        // get the current latest block numbers
+        this.latestBlockNumberAtStart = await this.l2BlockSource.getBlockNumber();
+        this.provenBlockNumberAtStart = await this.l2BlockSource.getProvenBlockNumber();
+        const syncedLatestBlock = this.getSyncedLatestBlockNum() + 1;
+        const syncedProvenBlock = this.getSyncedProvenBlockNum() + 1;
+        // if there are blocks to be retrieved, go to a synching state
+        if (syncedLatestBlock <= this.latestBlockNumberAtStart || syncedProvenBlock <= this.provenBlockNumberAtStart) {
+            this.setCurrentState(SlasherClientState.SYNCHING);
+            this.syncPromise = new Promise(resolve => {
+                this.syncResolve = resolve;
+            });
+            this.log.verbose(`Starting sync from ${syncedLatestBlock} (last proven ${syncedProvenBlock})`);
+        }
+        else {
+            // if no blocks to be retrieved, go straight to running
+            this.setCurrentState(SlasherClientState.RUNNING);
+            this.syncPromise = Promise.resolve();
+            this.log.verbose(`Block ${syncedLatestBlock} (proven ${syncedProvenBlock}) already beyond current block`);
+        }
+        this.blockStream.start();
+        this.log.verbose(`Started block downloader from block ${syncedLatestBlock}`);
+        return this.syncPromise;
+    }
+    /**
+     * 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.
+     */
+    async stop() {
+        this.log.debug('Stopping Slasher client...');
+        await this.blockStream.stop();
+        this.log.debug('Stopped block downloader');
+        this.setCurrentState(SlasherClientState.STOPPED);
+        this.log.info('Slasher client stopped.');
+    }
+    /**
+     * Public function to check if the slasher client is fully synced and ready to receive txs.
+     * @returns True if the slasher client is ready to receive txs.
+     */
+    isReady() {
+        return this.currentState === SlasherClientState.RUNNING;
+    }
+    /**
+     * Public function to check the latest block number that the slasher client is synced to.
+     * @returns Block number of latest L2 Block we've synced with.
+     */
+    getSyncedLatestBlockNum() {
+        return this.synchedLatestBlockNumber.get() ?? INITIAL_L2_BLOCK_NUM - 1;
+    }
+    /**
+     * Public function to check the latest proven block number that the slasher client is synced to.
+     * @returns Block number of latest proven L2 Block we've synced with.
+     */
+    getSyncedProvenBlockNum() {
+        return this.synchedProvenBlockNumber.get() ?? INITIAL_L2_BLOCK_NUM - 1;
+    }
+    /**
+     * Method to check the status of the slasher client.
+     * @returns Information about slasher client status: state & syncedToBlockNum.
+     */
+    async getStatus() {
+        const blockNumber = this.getSyncedLatestBlockNum();
+        const blockHash = blockNumber == 0
+            ? ''
+            : await this.l2BlockSource.getBlockHeader(blockNumber).then(header => header?.hash().toString());
+        return Promise.resolve({
+            state: this.currentState,
+            syncedToL2Block: { number: blockNumber, hash: blockHash },
+        });
+    }
+    /**
+     * Handles new blocks
+     * @param blocks - A list of blocks that the slasher client needs to store block hashes for
+     * @returns Empty promise.
+     */
+    async handleLatestL2Blocks(blocks) {
+        if (!blocks.length) {
+            return Promise.resolve();
+        }
+        const lastBlockNum = blocks[blocks.length - 1].number;
+        await Promise.all(blocks.map(block => this.synchedBlockHashes.set(block.number, block.hash().toString())));
+        await this.synchedLatestBlockNumber.set(lastBlockNum);
+        this.log.debug(`Synched to latest block ${lastBlockNum}`);
+        this.startServiceIfSynched();
+    }
+    /**
+     * Handles new proven blocks by updating the proven block number
+     * @param blocks - A list of proven L2 blocks.
+     * @returns Empty promise.
+     */
+    async handleProvenL2Blocks(blocks) {
+        if (!blocks.length) {
+            return Promise.resolve();
+        }
+        const lastBlockNum = blocks[blocks.length - 1].number;
+        await this.synchedProvenBlockNumber.set(lastBlockNum);
+        this.log.debug(`Synched to proven block ${lastBlockNum}`);
+        this.startServiceIfSynched();
+    }
+    async handlePruneL2Blocks(latestBlock) {
+        const blockHeader = await this.l2BlockSource.getBlockHeader(latestBlock);
+        const slotNumber = blockHeader ? blockHeader.globalVariables.slotNumber.toBigInt() : BigInt(0);
+        const epochNumber = slotNumber / BigInt(this.config.aztecEpochDuration);
+        this.log.info(`Detected chain prune. Punishing the validators at epoch ${epochNumber}`);
+        // 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,
+        });
+        await this.synchedLatestBlockNumber.set(latestBlock);
+    }
+    startServiceIfSynched() {
+        if (this.currentState === SlasherClientState.SYNCHING &&
+            this.getSyncedLatestBlockNum() >= this.latestBlockNumberAtStart &&
+            this.getSyncedProvenBlockNum() >= this.provenBlockNumberAtStart) {
+            this.log.debug(`Synched to blocks at start`);
+            this.setCurrentState(SlasherClientState.RUNNING);
+            if (this.syncResolve !== undefined) {
+                this.syncResolve();
+            }
+        }
+    }
+    /**
+     * Method to set the value of the current state.
+     * @param newState - New state value.
+     */
+    setCurrentState(newState) {
+        this.currentState = newState;
+        this.log.debug(`Moved to state ${SlasherClientState[this.currentState]}`);
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2xhc2hlcl9jbGllbnQuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2xhc2hlci9zbGFzaGVyX2NsaWVudC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBSUwsYUFBYSxHQUdkLE1BQU0sc0JBQXNCLENBQUM7QUFDOUIsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFDcEUsT0FBTyxFQUErQyxtQkFBbUIsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ25HLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUMzRCxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFckQsT0FBTyxFQUFFLGVBQWUsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ3RELE9BQU8sRUFBd0IsVUFBVSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDM0UsT0FBTyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFFbkUsT0FBTyxFQUtMLGtCQUFrQixFQUNsQixVQUFVLEVBQ1YsV0FBVyxFQUNYLElBQUksR0FDTCxNQUFNLE1BQU0sQ0FBQztBQUVkOztHQUVHO0FBQ0gsTUFBTSxDQUFOLElBQVksa0JBS1g7QUFMRCxXQUFZLGtCQUFrQjtJQUM1QiwyREFBSSxDQUFBO0lBQ0osbUVBQVEsQ0FBQTtJQUNSLGlFQUFPLENBQUE7SUFDUCxpRUFBTyxDQUFBO0FBQ1QsQ0FBQyxFQUxXLGtCQUFrQixLQUFsQixrQkFBa0IsUUFLN0I7QUEyQkQ7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztHQXdCRztBQUNILE1BQU0sT0FBTyxhQUFjLFNBQVEsVUFBVTtJQXVCM0MsWUFDVSxNQUEwRCxFQUMxRCxLQUFtQixFQUNuQixhQUE0QixFQUNwQyxZQUE2QixJQUFJLG1CQUFtQixFQUFFLEVBQzlDLE1BQU0sWUFBWSxDQUFDLFNBQVMsQ0FBQztRQUVyQyxLQUFLLENBQUMsU0FBUyxFQUFFLFNBQVMsQ0FBQyxDQUFDO1FBTnBCLFdBQU0sR0FBTixNQUFNLENBQW9EO1FBQzFELFVBQUssR0FBTCxLQUFLLENBQWM7UUFDbkIsa0JBQWEsR0FBYixhQUFhLENBQWU7UUFFNUIsUUFBRyxHQUFILEdBQUcsQ0FBMEI7UUEzQi9CLGlCQUFZLEdBQUcsa0JBQWtCLENBQUMsSUFBSSxDQUFDO1FBQ3ZDLGdCQUFXLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDO1FBQ2hDLGdCQUFXLEdBQWdCLFNBQVMsQ0FBQztRQUNyQyw2QkFBd0IsR0FBRyxDQUFDLENBQUMsQ0FBQztRQUM5Qiw2QkFBd0IsR0FBRyxDQUFDLENBQUMsQ0FBQztRQVE5QixnQkFBVyxHQUFpQixFQUFFLENBQUM7UUFFN0IseUJBQW9CLEdBQzVCLFNBQVMsQ0FBQztRQUVaLG1DQUFtQztRQUNuQyxtR0FBbUc7UUFDbkcsa0RBQWtEO1FBQzFDLG1CQUFjLEdBQVcsRUFBRSxDQUFDO1FBV2xDLElBQUksQ0FBQyxXQUFXLEdBQUcsSUFBSSxhQUFhLENBQUMsYUFBYSxFQUFFLElBQUksRUFBRSxJQUFJLEVBQUUsWUFBWSxDQUFDLHNCQUFzQixDQUFDLEVBQUU7WUFDcEcsU0FBUyxFQUFFLE1BQU0sQ0FBQyxxQkFBcUI7WUFDdkMsY0FBYyxFQUFFLE1BQU0sQ0FBQyxvQkFBb0I7U0FDNUMsQ0FBQyxDQUFDO1FBRUgsSUFBSSxDQUFDLGtCQUFrQixHQUFHLEtBQUssQ0FBQyxPQUFPLENBQUMsc0JBQXNCLENBQUMsQ0FBQztRQUNoRSxJQUFJLENBQUMsd0JBQXdCLEdBQUcsS0FBSyxDQUFDLGFBQWEsQ0FBQyx1QkFBdUIsQ0FBQyxDQUFDO1FBQzdFLElBQUksQ0FBQyx3QkFBd0IsR0FBRyxLQUFLLENBQUMsYUFBYSxDQUFDLDhCQUE4QixDQUFDLENBQUM7UUFFcEYsSUFBSSxNQUFNLENBQUMsV0FBVyxDQUFDLG1CQUFtQixJQUFJLE1BQU0sQ0FBQyxXQUFXLENBQUMsbUJBQW1CLEtBQUssVUFBVSxDQUFDLElBQUksRUFBRSxDQUFDO1lBQ3pHLE1BQU0sS0FBSyxHQUFHLG1CQUFtQixDQUFDLE1BQU0sQ0FBQyxRQUFRLEVBQUUsTUFBTSxDQUFDLFNBQVMsQ0FBQyxDQUFDO1lBQ3JFLE1BQU0sWUFBWSxHQUFHLGtCQUFrQixDQUFDO2dCQUN0QyxLQUFLLEVBQUUsS0FBSyxDQUFDLFNBQVM7Z0JBQ3RCLFNBQVMsRUFBRSxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQztnQkFDN0IsZUFBZSxFQUFFLE1BQU0sQ0FBQyxxQkFBcUI7YUFDOUMsQ0FBQyxDQUFDO1lBRUgsSUFBSSxDQUFDLG9CQUFvQixHQUFHLFdBQVcsQ0FBQztnQkFDdEMsT0FBTyxFQUFFLFVBQVUsQ0FBQyxNQUFNLENBQUMsV0FBVyxDQUFDLG1CQUFtQixDQUFDLFFBQVEsRUFBRSxDQUFDO2dCQUN0RSxHQUFHLEVBQUUsZUFBZTtnQkFDcEIsTUFBTSxFQUFFLFlBQVk7YUFDckIsQ0FBQyxDQUFDO1FBQ0wsQ0FBQzthQUFNLENBQUM7WUFDTixJQUFJLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyw4REFBOEQsQ0FBQyxDQUFDO1FBQ2hGLENBQUM7UUFFRCxJQUFJLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyw0QkFBNEIsQ0FBQyxDQUFDO0lBQzlDLENBQUM7SUFFRCw2RUFBNkU7SUFDdEUsS0FBSyxDQUFDLGVBQWUsQ0FBQyxVQUFrQjtRQUM3QyxJQUFJLENBQUMsSUFBSSxDQUFDLG9CQUFvQixFQUFFLENBQUM7WUFDL0IsT0FBTyxTQUFTLENBQUM7UUFDbkIsQ0FBQztRQUVELCtGQUErRjtRQUMvRixtREFBbUQ7UUFDbkQsT0FBTyxJQUFJLENBQUMsV0FBVyxDQUFDLE1BQU0sR0FBRyxDQUFDLElBQUksSUFBSSxDQUFDLFdBQVcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxRQUFRLEdBQUcsVUFBVSxFQUFFLENBQUM7WUFDaEYsSUFBSSxDQUFDLFdBQVcsQ0FBQyxLQUFLLEVBQUUsQ0FBQztRQUMzQixDQUFDO1FBRUQsSUFBSSxJQUFJLENBQUMsV0FBVyxDQUFDLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQztZQUNqQyxPQUFPLFNBQVMsQ0FBQztRQUNuQixDQUFDO1FBRUQsTUFBTSxVQUFVLEdBQUcsSUFBSSxDQUFDLFdBQVcsQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUV2QyxNQUFNLENBQUMsY0FBYyxFQUFFLFVBQVUsQ0FBQyxHQUFHLE1BQU0sSUFBSSxDQUFDLG9CQUFvQixDQUFDLElBQUksQ0FBQyx1QkFBdUIsQ0FBQztZQUNoRyxVQUFVLENBQUMsS0FBSztZQUNoQixVQUFVLENBQUMsTUFBTTtTQUNsQixDQUFDLENBQUM7UUFFSCxJQUFJLENBQUMsVUFBVSxFQUFFLENBQUM7WUFDaEIsdURBQXVEO1lBQ3ZELElBQUksQ0FBQyxHQUFHLENBQUMsT0FBTyxDQUFDLHVDQUF1QyxjQUFjLEVBQUUsQ0FBQyxDQUFDO1FBQzVFLENBQUM7UUFFRCxPQUFPLFVBQVUsQ0FBQyxVQUFVLENBQUMsY0FBYyxDQUFDLENBQUM7SUFDL0MsQ0FBQztJQUVNLGNBQWMsQ0FBQyxNQUFjO1FBQ2xDLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsa0JBQWtCLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUM7SUFDOUQsQ0FBQztJQUVNLFNBQVM7UUFDZCxNQUFNLGlCQUFpQixHQUFHLElBQUksQ0FBQyx1QkFBdUIsRUFBRSxDQUFDO1FBQ3pELElBQUksZUFBbUMsQ0FBQztRQUN4QyxNQUFNLGlCQUFpQixHQUFHLElBQUksQ0FBQyx1QkFBdUIsRUFBRSxDQUFDO1FBQ3pELElBQUksZUFBbUMsQ0FBQztRQUV4QyxJQUFJLGlCQUFpQixHQUFHLENBQUMsRUFBRSxDQUFDO1lBQzFCLGVBQWUsR0FBRyxJQUFJLENBQUMsa0JBQWtCLENBQUMsR0FBRyxDQUFDLGlCQUFpQixDQUFDLENBQUM7WUFDakUsSUFBSSxPQUFPLGVBQWUsS0FBSyxXQUFXLEVBQUUsQ0FBQztnQkFDM0MsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsK0JBQStCLGlCQUFpQixZQUFZLENBQUMsQ0FBQztnQkFDNUUsTUFBTSxJQUFJLEtBQUssRUFBRSxDQUFDO1lBQ3BCLENBQUM7UUFDSCxDQUFDO1FBRUQsSUFBSSxpQkFBaUIsR0FBRyxDQUFDLEVBQUUsQ0FBQztZQUMxQixlQUFlLEdBQUcsSUFBSSxDQUFDLGtCQUFrQixDQUFDLEdBQUcsQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDO1lBQ2pFLElBQUksT0FBTyxlQUFlLEtBQUssV0FBVyxFQUFFLENBQUM7Z0JBQzNDLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLCtCQUErQixpQkFBaUIsWUFBWSxDQUFDLENBQUM7Z0JBQzVFLE1BQU0sSUFBSSxLQUFLLEVBQUUsQ0FBQztZQUNwQixDQUFDO1FBQ0gsQ0FBQztRQUVELE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQztZQUNyQixNQUFNLEVBQUUsRUFBRSxJQUFJLEVBQUUsZUFBZ0IsRUFBRSxNQUFNLEVBQUUsaUJBQWlCLEVBQUU7WUFDN0QsTUFBTSxFQUFFLEVBQUUsSUFBSSxFQUFFLGVBQWdCLEVBQUUsTUFBTSxFQUFFLGlCQUFpQixFQUFFO1lBQzdELFNBQVMsRUFBRSxFQUFFLElBQUksRUFBRSxlQUFnQixFQUFFLE1BQU0sRUFBRSxpQkFBaUIsRUFBRTtTQUNqRSxDQUFDLENBQUM7SUFDTCxDQUFDO0lBRU0sS0FBSyxDQUFDLHNCQUFzQixDQUFDLEtBQXlCO1FBQzNELElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLCtCQUErQixLQUFLLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQztRQUM1RCxRQUFRLEtBQUssQ0FBQyxJQUFJLEVBQUUsQ0FBQztZQUNuQixLQUFLLGNBQWM7Z0JBQ2pCLE1BQU0sSUFBSSxDQUFDLG9CQUFvQixDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUMsQ0FBQztnQkFDOUMsTUFBTTtZQUNSLEtBQUssaUJBQWlCO2dCQUNwQiwrREFBK0Q7Z0JBQy9ELE1BQU07WUFDUixLQUFLLGNBQWMsQ0FBQyxDQUFDLENBQUM7Z0JBQ3BCLE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyx1QkFBdUIsRUFBRSxHQUFHLENBQUMsQ0FBQztnQkFDaEQsTUFBTSxLQUFLLEdBQUcsS0FBSyxDQUFDLFdBQVcsR0FBRyxJQUFJLEdBQUcsQ0FBQyxDQUFDO2dCQUMzQyxNQUFNLElBQUksQ0FBQyxvQkFBb0IsQ0FBQyxNQUFNLElBQUksQ0FBQyxhQUFhLENBQUMsU0FBUyxDQUFDLElBQUksRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDO2dCQUNqRixNQUFNO1lBQ1IsQ0FBQztZQUNELEtBQUssY0FBYztnQkFDakIsTUFBTSxJQUFJLENBQUMsbUJBQW1CLENBQUMsS0FBSyxDQUFDLFdBQVcsQ0FBQyxDQUFDO2dCQUNsRCxNQUFNO1lBQ1IsT0FBTyxDQUFDLENBQUMsQ0FBQztnQkFDUixNQUFNLENBQUMsR0FBVSxLQUFLLENBQUM7Z0JBQ3ZCLE1BQU07WUFDUixDQUFDO1FBQ0gsQ0FBQztJQUNILENBQUM7SUFFTSxLQUFLLENBQUMsS0FBSztRQUNoQixJQUFJLElBQUksQ0FBQyxZQUFZLEtBQUssa0JBQWtCLENBQUMsT0FBTyxFQUFFLENBQUM7WUFDckQsTUFBTSxJQUFJLEtBQUssQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDO1FBQzdDLENBQUM7UUFDRCxJQUFJLElBQUksQ0FBQyxZQUFZLEtBQUssa0JBQWtCLENBQUMsSUFBSSxFQUFFLENBQUM7WUFDbEQsT0FBTyxJQUFJLENBQUMsV0FBVyxDQUFDO1FBQzFCLENBQUM7UUFFRCx1Q0FBdUM7UUFDdkMsSUFBSSxDQUFDLHdCQUF3QixHQUFHLE1BQU0sSUFBSSxDQUFDLGFBQWEsQ0FBQyxjQUFjLEVBQUUsQ0FBQztRQUMxRSxJQUFJLENBQUMsd0JBQXdCLEdBQUcsTUFBTSxJQUFJLENBQUMsYUFBYSxDQUFDLG9CQUFvQixFQUFFLENBQUM7UUFFaEYsTUFBTSxpQkFBaUIsR0FBRyxJQUFJLENBQUMsdUJBQXVCLEVBQUUsR0FBRyxDQUFDLENBQUM7UUFDN0QsTUFBTSxpQkFBaUIsR0FBRyxJQUFJLENBQUMsdUJBQXVCLEVBQUUsR0FBRyxDQUFDLENBQUM7UUFFN0QsOERBQThEO1FBQzlELElBQUksaUJBQWlCLElBQUksSUFBSSxDQUFDLHdCQUF3QixJQUFJLGlCQUFpQixJQUFJLElBQUksQ0FBQyx3QkFBd0IsRUFBRSxDQUFDO1lBQzdHLElBQUksQ0FBQyxlQUFlLENBQUMsa0JBQWtCLENBQUMsUUFBUSxDQUFDLENBQUM7WUFDbEQsSUFBSSxDQUFDLFdBQVcsR0FBRyxJQUFJLE9BQU8sQ0FBQyxPQUFPLENBQUMsRUFBRTtnQkFDdkMsSUFBSSxDQUFDLFdBQVcsR0FBRyxPQUFPLENBQUM7WUFDN0IsQ0FBQyxDQUFDLENBQUM7WUFDSCxJQUFJLENBQUMsR0FBRyxDQUFDLE9BQU8sQ0FBQyxzQkFBc0IsaUJBQWlCLGlCQUFpQixpQkFBaUIsR0FBRyxDQUFDLENBQUM7UUFDakcsQ0FBQzthQUFNLENBQUM7WUFDTix1REFBdUQ7WUFDdkQsSUFBSSxDQUFDLGVBQWUsQ0FBQyxrQkFBa0IsQ0FBQyxPQUFPLENBQUMsQ0FBQztZQUNqRCxJQUFJLENBQUMsV0FBVyxHQUFHLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQztZQUNyQyxJQUFJLENBQUMsR0FBRyxDQUFDLE9BQU8sQ0FBQyxTQUFTLGlCQUFpQixZQUFZLGlCQUFpQixnQ0FBZ0MsQ0FBQyxDQUFDO1FBQzVHLENBQUM7UUFFRCxJQUFJLENBQUMsV0FBVyxDQUFDLEtBQUssRUFBRSxDQUFDO1FBQ3pCLElBQUksQ0FBQyxHQUFHLENBQUMsT0FBTyxDQUFDLHVDQUF1QyxpQkFBaUIsRUFBRSxDQUFDLENBQUM7UUFFN0UsT0FBTyxJQUFJLENBQUMsV0FBVyxDQUFDO0lBQzFCLENBQUM7SUFFRDs7O09BR0c7SUFDSSxLQUFLLENBQUMsSUFBSTtRQUNmLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLDRCQUE0QixDQUFDLENBQUM7UUFDN0MsTUFBTSxJQUFJLENBQUMsV0FBVyxDQUFDLElBQUksRUFBRSxDQUFDO1FBQzlCLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLDBCQUEwQixDQUFDLENBQUM7UUFDM0MsSUFBSSxDQUFDLGVBQWUsQ0FBQyxrQkFBa0IsQ0FBQyxPQUFPLENBQUMsQ0FBQztRQUNqRCxJQUFJLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDO0lBQzNDLENBQUM7SUFFRDs7O09BR0c7SUFDSSxPQUFPO1FBQ1osT0FBTyxJQUFJLENBQUMsWUFBWSxLQUFLLGtCQUFrQixDQUFDLE9BQU8sQ0FBQztJQUMxRCxDQUFDO0lBRUQ7OztPQUdHO0lBQ0ksdUJBQXVCO1FBQzVCLE9BQU8sSUFBSSxDQUFDLHdCQUF3QixDQUFDLEdBQUcsRUFBRSxJQUFJLG9CQUFvQixHQUFHLENBQUMsQ0FBQztJQUN6RSxDQUFDO0lBRUQ7OztPQUdHO0lBQ0ksdUJBQXVCO1FBQzVCLE9BQU8sSUFBSSxDQUFDLHdCQUF3QixDQUFDLEdBQUcsRUFBRSxJQUFJLG9CQUFvQixHQUFHLENBQUMsQ0FBQztJQUN6RSxDQUFDO0lBRUQ7OztPQUdHO0lBQ0ksS0FBSyxDQUFDLFNBQVM7UUFDcEIsTUFBTSxXQUFXLEdBQUcsSUFBSSxDQUFDLHVCQUF1QixFQUFFLENBQUM7UUFDbkQsTUFBTSxTQUFTLEdBQ2IsV0FBVyxJQUFJLENBQUM7WUFDZCxDQUFDLENBQUMsRUFBRTtZQUNKLENBQUMsQ0FBQyxNQUFNLElBQUksQ0FBQyxhQUFhLENBQUMsY0FBYyxDQUFDLFdBQVcsQ0FBQyxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsRUFBRSxDQUFDLE1BQU0sRUFBRSxJQUFJLEVBQUUsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDO1FBQ3JHLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQztZQUNyQixLQUFLLEVBQUUsSUFBSSxDQUFDLFlBQVk7WUFDeEIsZUFBZSxFQUFFLEVBQUUsTUFBTSxFQUFFLFdBQVcsRUFBRSxJQUFJLEVBQUUsU0FBUyxFQUFFO1NBQ3RDLENBQUMsQ0FBQztJQUN6QixDQUFDO0lBRUQ7Ozs7T0FJRztJQUNLLEtBQUssQ0FBQyxvQkFBb0IsQ0FBQyxNQUFpQjtRQUNsRCxJQUFJLENBQUMsTUFBTSxDQUFDLE1BQU0sRUFBRSxDQUFDO1lBQ25CLE9BQU8sT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDO1FBQzNCLENBQUM7UUFFRCxNQUFNLFlBQVksR0FBRyxNQUFNLENBQUMsTUFBTSxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUM7UUFDdEQsTUFBTSxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsa0JBQWtCLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxNQUFNLEVBQUUsS0FBSyxDQUFDLElBQUksRUFBRSxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQzNHLE1BQU0sSUFBSSxDQUFDLHdCQUF3QixDQUFDLEdBQUcsQ0FBQyxZQUFZLENBQUMsQ0FBQztRQUN0RCxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQywyQkFBMkIsWUFBWSxFQUFFLENBQUMsQ0FBQztRQUMxRCxJQUFJLENBQUMscUJBQXFCLEVBQUUsQ0FBQztJQUMvQixDQUFDO0lBRUQ7Ozs7T0FJRztJQUNLLEtBQUssQ0FBQyxvQkFBb0IsQ0FBQyxNQUFpQjtRQUNsRCxJQUFJLENBQUMsTUFBTSxDQUFDLE1BQU0sRUFBRSxDQUFDO1lBQ25CLE9BQU8sT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDO1FBQzNCLENBQUM7UUFDRCxNQUFNLFlBQVksR0FBRyxNQUFNLENBQUMsTUFBTSxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUM7UUFDdEQsTUFBTSxJQUFJLENBQUMsd0JBQXdCLENBQUMsR0FBRyxDQUFDLFlBQVksQ0FBQyxDQUFDO1FBQ3RELElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLDJCQUEyQixZQUFZLEVBQUUsQ0FBQyxDQUFDO1FBRTFELElBQUksQ0FBQyxxQkFBcUIsRUFBRSxDQUFDO0lBQy9CLENBQUM7SUFFTyxLQUFLLENBQUMsbUJBQW1CLENBQUMsV0FBbUI7UUFDbkQsTUFBTSxXQUFXLEdBQUcsTUFBTSxJQUFJLENBQUMsYUFBYSxDQUFDLGNBQWMsQ0FBQyxXQUFXLENBQUMsQ0FBQztRQUN6RSxNQUFNLFVBQVUsR0FBRyxXQUFXLENBQUMsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxlQUFlLENBQUMsVUFBVSxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDL0YsTUFBTSxXQUFXLEdBQUcsVUFBVSxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLGtCQUFrQixDQUFDLENBQUM7UUFDeEUsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsMkRBQTJELFdBQVcsRUFBRSxDQUFDLENBQUM7UUFFeEYsaUZBQWlGO1FBQ2pGLE1BQU0sY0FBYyxHQUFHLFVBQVUsR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDO1FBQzFFLE1BQU0sTUFBTSxHQUFHLGNBQWMsSUFBSSxFQUFFLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsaUJBQWlCLENBQUMsR0FBRyxjQUFjLENBQUM7UUFFbEcsTUFBTSxRQUFRLEdBQUcsVUFBVSxHQUFHLE1BQU0sR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDO1FBRTdFLElBQUksQ0FBQyxXQUFXLENBQUMsSUFBSSxDQUFDO1lBQ3BCLEtBQUssRUFBRSxXQUFXO1lBQ2xCLE1BQU0sRUFBRSxJQUFJLENBQUMsY0FBYztZQUMzQixRQUFRO1NBQ1QsQ0FBQyxDQUFDO1FBRUgsTUFBTSxJQUFJLENBQUMsd0JBQXdCLENBQUMsR0FBRyxDQUFDLFdBQVcsQ0FBQyxDQUFDO0lBQ3ZELENBQUM7SUFFTyxxQkFBcUI7UUFDM0IsSUFDRSxJQUFJLENBQUMsWUFBWSxLQUFLLGtCQUFrQixDQUFDLFFBQVE7WUFDakQsSUFBSSxDQUFDLHVCQUF1QixFQUFFLElBQUksSUFBSSxDQUFDLHdCQUF3QjtZQUMvRCxJQUFJLENBQUMsdUJBQXVCLEVBQUUsSUFBSSxJQUFJLENBQUMsd0JBQXdCLEVBQy9ELENBQUM7WUFDRCxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyw0QkFBNEIsQ0FBQyxDQUFDO1lBQzdDLElBQUksQ0FBQyxlQUFlLENBQUMsa0JBQWtCLENBQUMsT0FBTyxDQUFDLENBQUM7WUFDakQsSUFBSSxJQUFJLENBQUMsV0FBVyxLQUFLLFNBQVMsRUFBRSxDQUFDO2dCQUNuQyxJQUFJLENBQUMsV0FBVyxFQUFFLENBQUM7WUFDckIsQ0FBQztRQUNILENBQUM7SUFDSCxDQUFDO0lBRUQ7OztPQUdHO0lBQ0ssZUFBZSxDQUFDLFFBQTRCO1FBQ2xELElBQUksQ0FBQyxZQUFZLEdBQUcsUUFBUSxDQUFDO1FBQzdCLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLGtCQUFrQixrQkFBa0IsQ0FBQyxJQUFJLENBQUMsWUFBWSxDQUFDLEVBQUUsQ0FBQyxDQUFDO0lBQzVFLENBQUM7Q0FDRiJ9

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/sequencer-client",
-  "version": "0.68.2",
+  "version": "0.69.0-devnet",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -27,24 +27,24 @@
     "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": "0.68.2",
-    "@aztec/bb-prover": "0.68.2",
-    "@aztec/circuit-types": "0.68.2",
-    "@aztec/circuits.js": "0.68.2",
-    "@aztec/ethereum": "0.68.2",
-    "@aztec/foundation": "0.68.2",
-    "@aztec/l1-artifacts": "0.68.2",
-    "@aztec/merkle-tree": "0.68.2",
-    "@aztec/noir-contracts.js": "0.68.2",
-    "@aztec/noir-protocol-circuits-types": "0.68.2",
-    "@aztec/p2p": "0.68.2",
-    "@aztec/protocol-contracts": "0.68.2",
-    "@aztec/prover-client": "0.68.2",
-    "@aztec/simulator": "0.68.2",
-    "@aztec/telemetry-client": "0.68.2",
-    "@aztec/types": "0.68.2",
-    "@aztec/validator-client": "0.68.2",
-    "@aztec/world-state": "0.68.2",
+    "@aztec/aztec.js": "0.69.0-devnet",
+    "@aztec/bb-prover": "0.69.0-devnet",
+    "@aztec/circuit-types": "0.69.0-devnet",
+    "@aztec/circuits.js": "0.69.0-devnet",
+    "@aztec/ethereum": "0.69.0-devnet",
+    "@aztec/foundation": "0.69.0-devnet",
+    "@aztec/l1-artifacts": "0.69.0-devnet",
+    "@aztec/merkle-tree": "0.69.0-devnet",
+    "@aztec/noir-contracts.js": "0.69.0-devnet",
+    "@aztec/noir-protocol-circuits-types": "0.69.0-devnet",
+    "@aztec/p2p": "0.69.0-devnet",
+    "@aztec/protocol-contracts": "0.69.0-devnet",
+    "@aztec/prover-client": "0.69.0-devnet",
+    "@aztec/simulator": "0.69.0-devnet",
+    "@aztec/telemetry-client": "0.69.0-devnet",
+    "@aztec/types": "0.69.0-devnet",
+    "@aztec/validator-client": "0.69.0-devnet",
+    "@aztec/world-state": "0.69.0-devnet",
     "@noir-lang/acvm_js": "portal:../../noir/packages/acvm_js",
     "@noir-lang/types": "portal:../../noir/packages/types",
     "lodash.chunk": "^4.2.0",
@@ -53,6 +53,7 @@
     "viem": "^2.7.15"
   },
   "devDependencies": {
+    "@aztec/archiver": "workspace:^",
     "@aztec/kv-store": "workspace:^",
     "@jest/globals": "^29.5.0",
     "@types/jest": "^29.5.0",
@@ -106,12 +107,7 @@
     "testRegex": "./src/.*\\.test\\.(js|mjs|ts)$",
     "rootDir": "./src",
     "reporters": [
-      [
-        "jest-silent-reporter",
-        {
-          "useDots": true
-        }
-      ]
+      "default"
     ],
     "testTimeout": 30000,
     "setupFiles": [

package/src/client/sequencer-client.ts

@@ -13,6 +13,7 @@ import { type SequencerClientConfig } from '../config.js';
 import { GlobalVariableBuilder } from '../global_variable_builder/index.js';
 import { L1Publisher } from '../publisher/index.js';
 import { Sequencer, type SequencerConfig } from '../sequencer/index.js';
+import { type SlasherClient } from '../slasher/index.js';
 import { TxValidatorFactory } from '../tx_validator/tx_validator_factory.js';
 
 /**
@@ -40,6 +41,7 @@ export class SequencerClient {
       validatorClient: ValidatorClient | undefined; // allowed to be undefined while we migrate
       p2pClient: P2P;
       worldStateSynchronizer: WorldStateSynchronizer;
+      slasherClient: SlasherClient;
       contractDataSource: ContractDataSource;
       l2BlockSource: L2BlockSource;
       l1ToL2MessageSource: L1ToL2MessageSource;
@@ -52,6 +54,7 @@ export class SequencerClient {
       validatorClient,
       p2pClient,
       worldStateSynchronizer,
+      slasherClient,
       contractDataSource,
       l2BlockSource,
       l1ToL2MessageSource,
@@ -91,6 +94,7 @@ export class SequencerClient {
       globalsBuilder,
       p2pClient,
       worldStateSynchronizer,
+      slasherClient,
       new LightweightBlockBuilderFactory(telemetryClient),
       l2BlockSource,
       l1ToL2MessageSource,

package/src/index.ts

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