@aztec/end-to-end 0.0.1-commit.b655e406 → 0.0.1-commit.b8a057fa

package/dest/multi-node/multi_node_test_context.d.ts

@@ -0,0 +1,212 @@
+import type { AztecNodeConfig, AztecNodeService } from '@aztec/aztec-node';
+import { EthAddress } from '@aztec/aztec.js/addresses';
+import { RollupContract, type SlashingProposerContract } from '@aztec/ethereum/contracts';
+import type { Operator } from '@aztec/ethereum/deploy-aztec-l1-contracts';
+import type { ViemClient } from '@aztec/ethereum/types';
+import { CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { SlasherAbi } from '@aztec/l1-artifacts';
+import type { L2Tips } from '@aztec/stdlib/block';
+import type { AztecNode, BlockResponse } from '@aztec/stdlib/interfaces/client';
+import type { Offense } from '@aztec/stdlib/slashing';
+import type { SlashingProtectionDatabase } from '@aztec/validator-ha-signer/types';
+import { type GetContractReturnType } from 'viem';
+import { SingleNodeTestContext, type SingleNodeTestOpts, type TrackedSequencerEvent } from '../single-node/single_node_test_context.js';
+export { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING } from '../single-node/setup.js';
+export { WORLD_STATE_CHECKPOINT_HISTORY, WORLD_STATE_BLOCK_CHECK_INTERVAL, ARCHIVER_POLL_INTERVAL, DEFAULT_L1_BLOCK_TIME, REORG_TIMING_BASE, FAST_REORG_TIMING, MULTI_VALIDATOR_REORG_TIMING, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, WIDE_SLOT_TIMING, type BlockProposedEvent, type TrackedSequencerEvent, type SingleNodeTestOpts, } from '../single-node/single_node_test_context.js';
+/** Options for {@link MultiNodeTestContext.setup} — superset of {@link SingleNodeTestOpts}. */
+export type MultiNodeTestOpts = SingleNodeTestOpts;
+/** A registered validator with its on-chain operator data and the L1 private key its node signs with. */
+export type RegisteredValidator = Operator & {
+    privateKey: `0x${string}`;
+};
+/**
+ * Builds the deterministic validator set used across the multi-validator tests: `count` validators
+ * keyed from `getPrivateKeyFromIndex(i + 3)` (indices 0..2 are reserved for the setup account,
+ * bootstrap node, and prover node, matching the `P2PNetworkTest` convention). This replaces the
+ * `times(N, i => ({ attester, withdrawer, privateKey, bn254SecretKey }))` block copy-pasted in every
+ * direct multi-validator test.
+ */
+export declare function buildMockGossipValidators(count: number): RegisteredValidator[];
+/**
+ * The shared `setup` cluster for the multi-validator tests that run a tight committee on the
+ * in-memory mock-gossip bus without a prover (block-production / recovery tests). Spread into the `setup`
+ * call alongside `initialValidators` (from {@link buildMockGossipValidators}). Tests that want a
+ * prover (MBPS / HA-sync) leave `startProverNode` explicit rather than adopting this preset's `false`.
+ */
+export declare const MOCK_GOSSIP_MULTI_VALIDATOR_OPTS: {
+    readonly mockGossipSubNetwork: true;
+    readonly skipInitialSequencer: true;
+    readonly startProverNode: false;
+    readonly aztecProofSubmissionEpochs: 1024;
+    readonly numberOfAccounts: 0;
+};
+/**
+ * The `setup` preset for a slasher-enabled committee on the in-memory mock-gossip bus, used by the
+ * offense-detection tests (`slashing/`). Mirrors {@link MOCK_GOSSIP_MULTI_VALIDATOR_OPTS} but turns
+ * the slasher on; spread alongside `initialValidators` (from {@link buildMockGossipValidators}) and
+ * the per-test slashing-round/penalty config.
+ */
+export declare const SLASHER_ENABLED_MULTI_VALIDATOR_OPTS: {
+    readonly mockGossipSubNetwork: true;
+    readonly skipInitialSequencer: true;
+    readonly slasherEnabled: true;
+};
+/** The slasher and slashing-proposer L1 contracts a slashing test interacts with. */
+export type SlashingContracts = {
+    rollup: RollupContract;
+    slasherContract: GetContractReturnType<typeof SlasherAbi, ViemClient>;
+    slashingProposer: SlashingProposerContract | undefined;
+};
+/** The per-offense penalty knobs a slashing test tunes; all default to a single `unit`. */
+export type SlashingPenalties = {
+    slashInactivityPenalty: bigint;
+    slashDataWithholdingPenalty: bigint;
+    slashBroadcastedInvalidBlockPenalty: bigint;
+    slashBroadcastedInvalidCheckpointProposalPenalty: bigint;
+    slashDuplicateProposalPenalty: bigint;
+    slashDuplicateAttestationPenalty: bigint;
+    slashProposeInvalidAttestationsPenalty: bigint;
+    slashProposeDescendantOfCheckpointWithInvalidAttestationsPenalty: bigint;
+    slashAttestInvalidCheckpointProposalPenalty: bigint;
+    slashUnknownPenalty: bigint;
+};
+/**
+ * Returns every per-offense slashing penalty set to `unit` (default `1e14` — small enough not to
+ * kick a validator out). Spread alongside the slashing-round/quorum config in a slashing test's
+ * `setup`.
+ */
+export declare function defaultSlashingPenalties(unit?: bigint): SlashingPenalties;
+/**
+ * Returns the penalties with only `offense` set to `unit` and every other offense zeroed out, so a
+ * test isolates a single slashing offense. Names the test's intent (which offense is under test) and
+ * replaces the ~9-line manual zero-out block.
+ */
+export declare function withOnlyOffense(offense: keyof SlashingPenalties, unit?: bigint): SlashingPenalties;
+/** One HA pair: its two member nodes, the two shared validator keys, and the per-node coinbases. */
+export type HaPairNodes = {
+    nodes: [AztecNodeService, AztecNodeService];
+    privateKeys: [`0x${string}`, `0x${string}`];
+    coinbases: [EthAddress, EthAddress];
+};
+/**
+ * Stands up two HA pairs from the first four registered validators: nodes[0]/nodes[1] share keys
+ * pk1+pk2, nodes[2]/nodes[3] share pk3+pk4. Each pair shares an in-memory slashing-protection DB (so
+ * only one peer signs per duty) and each node gets a distinct coinbase. Encapsulates the ~40-line
+ * pair-wiring duplicated by both HA tests; the per-test divergence (publishing disabled vs. enabled,
+ * empty-checkpoint building) is passed through `baseOpts`.
+ * @returns The four nodes flat, plus the two `HaPairNodes` descriptors.
+ */
+export declare function setupHaPairs(test: MultiNodeTestContext, validators: RegisteredValidator[], opts?: {
+    baseOpts?: Partial<AztecNodeConfig> & {
+        dontStartSequencer?: boolean;
+    };
+    coinbases?: EthAddress[];
+}): Promise<{
+    nodes: AztecNodeService[];
+    pairs: [HaPairNodes, HaPairNodes];
+}>;
+/**
+ * Multi-validator test base: N validator nodes sharing the in-memory `MockGossipSubNetwork` bus, with
+ * fast block times and short epochs. Extends {@link SingleNodeTestContext} with validator-node
+ * spawning and the convergence helpers (`waitForAllNodes*`, `findSlotsWithProposers`) that only make
+ * sense across a committee. The environment, prover lifecycle, and reorg/proving waiters live on the
+ * parent so the single-node-topology tests share them.
+ */
+export declare class MultiNodeTestContext extends SingleNodeTestContext {
+    /**
+     * The validators registered on-chain at genesis (from `opts.initialValidators`). Tests spawn nodes
+     * for whichever validators they want online via {@link createValidatorNodeAt}; the rest stay
+     * registered-but-offline. Empty for single-validator-less topologies.
+     */
+    validators: RegisteredValidator[];
+    setup(opts?: MultiNodeTestOpts): Promise<void>;
+    createValidatorNode(privateKeys: `0x${string}`[], opts?: Partial<AztecNodeConfig> & {
+        dontStartSequencer?: boolean;
+        slashingProtectionDb?: SlashingProtectionDatabase;
+    }): Promise<AztecNodeService>;
+    /** Returns the validator registered at on-chain index `index` (0-based into {@link validators}). */
+    validatorAt(index: number): RegisteredValidator;
+    /** The L1 attester address of the validator registered at `index`. */
+    addressAt(index: number): EthAddress;
+    /** The L1 signing key of the validator registered at `index`. */
+    privateKeyAt(index: number): `0x${string}`;
+    /**
+     * Spawns a validator node on the mock-gossip bus signing with the validator registered at `index`.
+     * Pass the same `index` to two calls (with different `coinbase`) to model an equivocating proposer
+     * that shares a key across two nodes.
+     */
+    createValidatorNodeAt(index: number, opts?: Partial<AztecNodeConfig> & {
+        dontStartSequencer?: boolean;
+    }): Promise<AztecNodeService>;
+    /** Resolves the rollup, slasher, and slashing-proposer L1 contracts a slashing test interacts with. */
+    getSlashingContracts(): Promise<SlashingContracts>;
+    /**
+     * Polls every node until `predicate(tips, node)` holds for all of them. The multi-node
+     * generalization of {@link SingleNodeTestContext.waitForNodeToSync} — replaces hand-rolled
+     * `Promise.all(this.nodes.map(node => retryUntil(...)))` fan-out blocks.
+     * @param nodes - Nodes to poll; defaults to all validator nodes (`this.nodes`).
+     */
+    waitForAllNodes(predicate: (tips: L2Tips, node: AztecNode) => boolean | Promise<boolean>, opts?: {
+        nodes?: AztecNode[];
+        timeout?: number;
+        interval?: number;
+        description?: string;
+    }): Promise<void>;
+    /** Waits until every node's proven checkpoint tip reaches `target`. */
+    waitForAllNodesToReachProvenCheckpoint(target: CheckpointNumber, opts?: {
+        nodes?: AztecNode[];
+        timeout?: number;
+        interval?: number;
+    }): Promise<void>;
+    /** Waits until every node's checkpointed checkpoint tip reaches `target`. */
+    waitForAllNodesToReachCheckpoint(target: CheckpointNumber, opts?: {
+        nodes?: AztecNode[];
+        timeout?: number;
+        interval?: number;
+    }): Promise<void>;
+    /**
+     * Waits until every node's `proposed` or `checkpointed` tip points at a block whose slot
+     * satisfies `match` (defaults to "slot equals `slot`"). Polls the block referenced by the tip.
+     */
+    waitForAllNodesToReachBlockAtSlot(slot: SlotNumber, tag: 'proposed' | 'checkpointed', match?: (block: BlockResponse) => boolean, opts?: {
+        nodes?: AztecNode[];
+        timeout?: number;
+        interval?: number;
+    }): Promise<void>;
+    /**
+     * Finds `count` consecutive slots (starting from `opts.fromSlot` or the current slot plus a
+     * margin) whose proposers satisfy `predicate`, warping the L1 clock forward one epoch and
+     * retrying when the rollup reports `ValidatorSelection__EpochNotStable` for a future epoch.
+     * Returns the matched slots and their proposer addresses. Encapsulates the slot-search loop
+     * duplicated across the multi-validator tests.
+     */
+    findSlotsWithProposers(count: number, predicate: (proposers: EthAddress[]) => boolean, opts?: {
+        fromSlot?: SlotNumber;
+        margin?: number;
+        maxAttempts?: number;
+    }): Promise<{
+        slots: SlotNumber[];
+        proposers: EthAddress[];
+    }>;
+    /**
+     * Watches the sequencers of `nodes` via {@link SingleNodeTestContext.watchSequencerEvents}, pulling
+     * the {@link SequencerClient} off each node first. `getMetadata` tags each captured event; it
+     * defaults to `{ validator: this.validators[i].attester }`. Pass an override for tests that label
+     * their nodes differently (e.g. `['A','B','C'][i]`).
+     */
+    watchNodeSequencerEvents(nodes: AztecNodeService[], getMetadata?: (i: number) => Record<string, any>): {
+        failEvents: TrackedSequencerEvent[];
+        stateChanges: TrackedSequencerEvent[];
+    };
+    /**
+     * Waits until matching slash offenses have converged across `nodes`, polling `getSlashOffenses`.
+     * With `opts.mode === 'all'` (the default) every node must record a matching offense; with `'any'`
+     * a single node suffices. Resolves with all matching offenses collected across the polled nodes.
+     */
+    waitForOffenseOnNodes(nodes: AztecNodeService[], match: (offense: Offense) => boolean, opts?: {
+        mode?: 'all' | 'any';
+        timeout?: number;
+        interval?: number;
+    }): Promise<Offense[]>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibXVsdGlfbm9kZV90ZXN0X2NvbnRleHQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9tdWx0aS1ub2RlL211bHRpX25vZGVfdGVzdF9jb250ZXh0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQzNFLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUV2RCxPQUFPLEVBQUUsY0FBYyxFQUFFLEtBQUssd0JBQXdCLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUMxRixPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSwyQ0FBMkMsQ0FBQztBQUMxRSxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN4RCxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFLL0UsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2pELE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2xELE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxhQUFhLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUNoRixPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV0RCxPQUFPLEtBQUssRUFBRSwwQkFBMEIsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBRW5GLE9BQU8sRUFBRSxLQUFLLHFCQUFxQixFQUEyQixNQUFNLE1BQU0sQ0FBQztBQU0zRSxPQUFPLEVBQ0wscUJBQXFCLEVBQ3JCLEtBQUssa0JBQWtCLEVBQ3ZCLEtBQUsscUJBQXFCLEVBQzNCLE1BQU0sNENBQTRDLENBQUM7QUFFcEQsT0FBTyxFQUFFLDBCQUEwQixFQUFFLG1CQUFtQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDMUYsT0FBTyxFQUNMLDhCQUE4QixFQUM5QixnQ0FBZ0MsRUFDaEMsc0JBQXNCLEVBQ3RCLHFCQUFxQixFQUNyQixpQkFBaUIsRUFDakIsaUJBQWlCLEVBQ2pCLDRCQUE0QixFQUM1Qix1Q0FBdUMsRUFDdkMsZ0JBQWdCLEVBQ2hCLEtBQUssa0JBQWtCLEVBQ3ZCLEtBQUsscUJBQXFCLEVBQzFCLEtBQUssa0JBQWtCLEdBQ3hCLE1BQU0sNENBQTRDLENBQUM7QUFFcEQsaUdBQStGO0FBQy9GLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxrQkFBa0IsQ0FBQztBQUVuRCx5R0FBeUc7QUFDekcsTUFBTSxNQUFNLG1CQUFtQixHQUFHLFFBQVEsR0FBRztJQUFFLFVBQVUsRUFBRSxLQUFLLE1BQU0sRUFBRSxDQUFBO0NBQUUsQ0FBQztBQUUzRTs7Ozs7O0dBTUc7QUFDSCx3QkFBZ0IseUJBQXlCLENBQUMsS0FBSyxFQUFFLE1BQU0sR0FBRyxtQkFBbUIsRUFBRSxDQU05RTtBQUVEOzs7OztHQUtHO0FBQ0gsZUFBTyxNQUFNLGdDQUFnQzs7Ozs7O0NBTW5DLENBQUM7QUFFWDs7Ozs7R0FLRztBQUNILGVBQU8sTUFBTSxvQ0FBb0M7Ozs7Q0FJdkMsQ0FBQztBQUVYLHFGQUFxRjtBQUNyRixNQUFNLE1BQU0saUJBQWlCLEdBQUc7SUFDOUIsTUFBTSxFQUFFLGNBQWMsQ0FBQztJQUN2QixlQUFlLEVBQUUscUJBQXFCLENBQUMsT0FBTyxVQUFVLEVBQUUsVUFBVSxDQUFDLENBQUM7SUFDdEUsZ0JBQWdCLEVBQUUsd0JBQXdCLEdBQUcsU0FBUyxDQUFDO0NBQ3hELENBQUM7QUFFRiwyRkFBMkY7QUFDM0YsTUFBTSxNQUFNLGlCQUFpQixHQUFHO0lBQzlCLHNCQUFzQixFQUFFLE1BQU0sQ0FBQztJQUMvQiwyQkFBMkIsRUFBRSxNQUFNLENBQUM7SUFDcEMsbUNBQW1DLEVBQUUsTUFBTSxDQUFDO0lBQzVDLGdEQUFnRCxFQUFFLE1BQU0sQ0FBQztJQUN6RCw2QkFBNkIsRUFBRSxNQUFNLENBQUM7SUFDdEMsZ0NBQWdDLEVBQUUsTUFBTSxDQUFDO0lBQ3pDLHNDQUFzQyxFQUFFLE1BQU0sQ0FBQztJQUMvQyxnRUFBZ0UsRUFBRSxNQUFNLENBQUM7SUFDekUsMkNBQTJDLEVBQUUsTUFBTSxDQUFDO0lBQ3BELG1CQUFtQixFQUFFLE1BQU0sQ0FBQztDQUM3QixDQUFDO0FBZ0JGOzs7O0dBSUc7QUFDSCx3QkFBZ0Isd0JBQXdCLENBQUMsSUFBSSxHQUFFLE1BQXFCLEdBQUcsaUJBQWlCLENBRXZGO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixlQUFlLENBQUMsT0FBTyxFQUFFLE1BQU0saUJBQWlCLEVBQUUsSUFBSSxHQUFFLE1BQXFCLEdBQUcsaUJBQWlCLENBRWhIO0FBRUQsb0dBQW9HO0FBQ3BHLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIsS0FBSyxFQUFFLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLENBQUMsQ0FBQztJQUM1QyxXQUFXLEVBQUUsQ0FBQyxLQUFLLE1BQU0sRUFBRSxFQUFFLEtBQUssTUFBTSxFQUFFLENBQUMsQ0FBQztJQUM1QyxTQUFTLEVBQUUsQ0FBQyxVQUFVLEVBQUUsVUFBVSxDQUFDLENBQUM7Q0FDckMsQ0FBQztBQUVGOzs7Ozs7O0dBT0c7QUFDSCx3QkFBc0IsWUFBWSxDQUNoQyxJQUFJLEVBQUUsb0JBQW9CLEVBQzFCLFVBQVUsRUFBRSxtQkFBbUIsRUFBRSxFQUNqQyxJQUFJLEdBQUU7SUFBRSxRQUFRLENBQUMsRUFBRSxPQUFPLENBQUMsZUFBZSxDQUFDLEdBQUc7UUFBRSxrQkFBa0IsQ0FBQyxFQUFFLE9BQU8sQ0FBQTtLQUFFLENBQUM7SUFBQyxTQUFTLENBQUMsRUFBRSxVQUFVLEVBQUUsQ0FBQTtDQUFPLEdBQzlHLE9BQU8sQ0FBQztJQUFFLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxDQUFDO0lBQUMsS0FBSyxFQUFFLENBQUMsV0FBVyxFQUFFLFdBQVcsQ0FBQyxDQUFBO0NBQUUsQ0FBQyxDQW9DM0U7QUFFRDs7Ozs7O0dBTUc7QUFDSCxxQkFBYSxvQkFBcUIsU0FBUSxxQkFBcUI7SUFDN0Q7Ozs7T0FJRztJQUNJLFVBQVUsRUFBRSxtQkFBbUIsRUFBRSxDQUFNO0lBRXhCLEtBQUssQ0FBQyxJQUFJLEdBQUUsaUJBQXNCLGlCQUd2RDtJQUVNLG1CQUFtQixDQUN4QixXQUFXLEVBQUUsS0FBSyxNQUFNLEVBQUUsRUFBRSxFQUM1QixJQUFJLEdBQUUsT0FBTyxDQUFDLGVBQWUsQ0FBQyxHQUFHO1FBQy9CLGtCQUFrQixDQUFDLEVBQUUsT0FBTyxDQUFDO1FBQzdCLG9CQUFvQixDQUFDLEVBQUUsMEJBQTBCLENBQUM7S0FDOUMsNkJBSVA7SUFFRCxvR0FBb0c7SUFDN0YsV0FBVyxDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsbUJBQW1CLENBRXJEO0lBRUQsc0VBQXNFO0lBQy9ELFNBQVMsQ0FBQyxLQUFLLEVBQUUsTUFBTSxHQUFHLFVBQVUsQ0FFMUM7SUFFRCxpRUFBaUU7SUFDMUQsWUFBWSxDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsS0FBSyxNQUFNLEVBQUUsQ0FFaEQ7SUFFRDs7OztPQUlHO0lBQ0kscUJBQXFCLENBQzFCLEtBQUssRUFBRSxNQUFNLEVBQ2IsSUFBSSxHQUFFLE9BQU8sQ0FBQyxlQUFlLENBQUMsR0FBRztRQUFFLGtCQUFrQixDQUFDLEVBQUUsT0FBTyxDQUFBO0tBQU8sR0FDckUsT0FBTyxDQUFDLGdCQUFnQixDQUFDLENBRTNCO0lBRUQsdUdBQXVHO0lBQzFGLG9CQUFvQixJQUFJLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxDQVM5RDtJQUVEOzs7OztPQUtHO0lBQ1UsZUFBZSxDQUMxQixTQUFTLEVBQUUsQ0FBQyxJQUFJLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxTQUFTLEtBQUssT0FBTyxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsRUFDeEUsSUFBSSxHQUFFO1FBQUUsS0FBSyxDQUFDLEVBQUUsU0FBUyxFQUFFLENBQUM7UUFBQyxPQUFPLENBQUMsRUFBRSxNQUFNLENBQUM7UUFBQyxRQUFRLENBQUMsRUFBRSxNQUFNLENBQUM7UUFBQyxXQUFXLENBQUMsRUFBRSxNQUFNLENBQUE7S0FBTyxHQUM1RixPQUFPLENBQUMsSUFBSSxDQUFDLENBa0JmO0lBRUQsdUVBQXVFO0lBQ2hFLHNDQUFzQyxDQUMzQyxNQUFNLEVBQUUsZ0JBQWdCLEVBQ3hCLElBQUksR0FBRTtRQUFFLEtBQUssQ0FBQyxFQUFFLFNBQVMsRUFBRSxDQUFDO1FBQUMsT0FBTyxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQUMsUUFBUSxDQUFDLEVBQUUsTUFBTSxDQUFBO0tBQU8sR0FDdEUsT0FBTyxDQUFDLElBQUksQ0FBQyxDQU9mO0lBRUQsNkVBQTZFO0lBQ3RFLGdDQUFnQyxDQUNyQyxNQUFNLEVBQUUsZ0JBQWdCLEVBQ3hCLElBQUksR0FBRTtRQUFFLEtBQUssQ0FBQyxFQUFFLFNBQVMsRUFBRSxDQUFDO1FBQUMsT0FBTyxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQUMsUUFBUSxDQUFDLEVBQUUsTUFBTSxDQUFBO0tBQU8sR0FDdEUsT0FBTyxDQUFDLElBQUksQ0FBQyxDQU9mO0lBRUQ7OztPQUdHO0lBQ0ksaUNBQWlDLENBQ3RDLElBQUksRUFBRSxVQUFVLEVBQ2hCLEdBQUcsRUFBRSxVQUFVLEdBQUcsY0FBYyxFQUNoQyxLQUFLLEdBQUUsQ0FBQyxLQUFLLEVBQUUsYUFBYSxLQUFLLE9BQW1FLEVBQ3BHLElBQUksR0FBRTtRQUFFLEtBQUssQ0FBQyxFQUFFLFNBQVMsRUFBRSxDQUFDO1FBQUMsT0FBTyxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQUMsUUFBUSxDQUFDLEVBQUUsTUFBTSxDQUFBO0tBQU8sR0FDdEUsT0FBTyxDQUFDLElBQUksQ0FBQyxDQWNmO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksc0JBQXNCLENBQzNCLEtBQUssRUFBRSxNQUFNLEVBQ2IsU0FBUyxFQUFFLENBQUMsU0FBUyxFQUFFLFVBQVUsRUFBRSxLQUFLLE9BQU8sRUFDL0MsSUFBSSxHQUFFO1FBQUUsUUFBUSxDQUFDLEVBQUUsVUFBVSxDQUFDO1FBQUMsTUFBTSxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQUMsV0FBVyxDQUFDLEVBQUUsTUFBTSxDQUFBO0tBQU8sR0FDMUUsT0FBTyxDQUFDO1FBQUUsS0FBSyxFQUFFLFVBQVUsRUFBRSxDQUFDO1FBQUMsU0FBUyxFQUFFLFVBQVUsRUFBRSxDQUFBO0tBQUUsQ0FBQyxDQXNDM0Q7SUFFRDs7Ozs7T0FLRztJQUNJLHdCQUF3QixDQUM3QixLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsRUFDekIsV0FBVyxHQUFFLENBQUMsQ0FBQyxFQUFFLE1BQU0sS0FBSyxNQUFNLENBQUMsTUFBTSxFQUFFLEdBQUcsQ0FBcUQsR0FDbEc7UUFBRSxVQUFVLEVBQUUscUJBQXFCLEVBQUUsQ0FBQztRQUFDLFlBQVksRUFBRSxxQkFBcUIsRUFBRSxDQUFBO0tBQUUsQ0FFaEY7SUFFRDs7OztPQUlHO0lBQ0kscUJBQXFCLENBQzFCLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxFQUN6QixLQUFLLEVBQUUsQ0FBQyxPQUFPLEVBQUUsT0FBTyxLQUFLLE9BQU8sRUFDcEMsSUFBSSxHQUFFO1FBQUUsSUFBSSxDQUFDLEVBQUUsS0FBSyxHQUFHLEtBQUssQ0FBQztRQUFDLE9BQU8sQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUFDLFFBQVEsQ0FBQyxFQUFFLE1BQU0sQ0FBQTtLQUFPLEdBQ3ZFLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQyxDQW1CcEI7Q0FDRiJ9

package/dest/multi-node/multi_node_test_context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"multi_node_test_context.d.ts","sourceRoot":"","sources":["../../src/multi-node/multi_node_test_context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAEvD,OAAO,EAAE,cAAc,EAAE,KAAK,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2CAA2C,CAAC;AAC1E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAK/E,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAEnF,OAAO,EAAE,KAAK,qBAAqB,EAA2B,MAAM,MAAM,CAAC;AAM3E,OAAO,EACL,qBAAqB,EACrB,KAAK,kBAAkB,EACvB,KAAK,qBAAqB,EAC3B,MAAM,4CAA4C,CAAC;AAEpD,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EACL,8BAA8B,EAC9B,gCAAgC,EAChC,sBAAsB,EACtB,qBAAqB,EACrB,iBAAiB,EACjB,iBAAiB,EACjB,4BAA4B,EAC5B,uCAAuC,EACvC,gBAAgB,EAChB,KAAK,kBAAkB,EACvB,KAAK,qBAAqB,EAC1B,KAAK,kBAAkB,GACxB,MAAM,4CAA4C,CAAC;AAEpD,iGAA+F;AAC/F,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,CAAC;AAEnD,yGAAyG;AACzG,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG;IAAE,UAAU,EAAE,KAAK,MAAM,EAAE,CAAA;CAAE,CAAC;AAE3E;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,GAAG,mBAAmB,EAAE,CAM9E;AAED;;;;;GAKG;AACH,eAAO,MAAM,gCAAgC;;;;;;CAMnC,CAAC;AAEX;;;;;GAKG;AACH,eAAO,MAAM,oCAAoC;;;;CAIvC,CAAC;AAEX,qFAAqF;AACrF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,EAAE,cAAc,CAAC;IACvB,eAAe,EAAE,qBAAqB,CAAC,OAAO,UAAU,EAAE,UAAU,CAAC,CAAC;IACtE,gBAAgB,EAAE,wBAAwB,GAAG,SAAS,CAAC;CACxD,CAAC;AAEF,2FAA2F;AAC3F,MAAM,MAAM,iBAAiB,GAAG;IAC9B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,2BAA2B,EAAE,MAAM,CAAC;IACpC,mCAAmC,EAAE,MAAM,CAAC;IAC5C,gDAAgD,EAAE,MAAM,CAAC;IACzD,6BAA6B,EAAE,MAAM,CAAC;IACtC,gCAAgC,EAAE,MAAM,CAAC;IACzC,sCAAsC,EAAE,MAAM,CAAC;IAC/C,gEAAgE,EAAE,MAAM,CAAC;IACzE,2CAA2C,EAAE,MAAM,CAAC;IACpD,mBAAmB,EAAE,MAAM,CAAC;CAC7B,CAAC;AAgBF;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,GAAE,MAAqB,GAAG,iBAAiB,CAEvF;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,iBAAiB,EAAE,IAAI,GAAE,MAAqB,GAAG,iBAAiB,CAEhH;AAED,oGAAoG;AACpG,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IAC5C,WAAW,EAAE,CAAC,KAAK,MAAM,EAAE,EAAE,KAAK,MAAM,EAAE,CAAC,CAAC;IAC5C,SAAS,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;CACrC,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAsB,YAAY,CAChC,IAAI,EAAE,oBAAoB,EAC1B,UAAU,EAAE,mBAAmB,EAAE,EACjC,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG;QAAE,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAA;CAAO,GAC9G,OAAO,CAAC;IAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAAC,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,CAAA;CAAE,CAAC,CAoC3E;AAED;;;;;;GAMG;AACH,qBAAa,oBAAqB,SAAQ,qBAAqB;IAC7D;;;;OAIG;IACI,UAAU,EAAE,mBAAmB,EAAE,CAAM;IAExB,KAAK,CAAC,IAAI,GAAE,iBAAsB,iBAGvD;IAEM,mBAAmB,CACxB,WAAW,EAAE,KAAK,MAAM,EAAE,EAAE,EAC5B,IAAI,GAAE,OAAO,CAAC,eAAe,CAAC,GAAG;QAC/B,kBAAkB,CAAC,EAAE,OAAO,CAAC;QAC7B,oBAAoB,CAAC,EAAE,0BAA0B,CAAC;KAC9C,6BAIP;IAED,oGAAoG;IAC7F,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,mBAAmB,CAErD;IAED,sEAAsE;IAC/D,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAE1C;IAED,iEAAiE;IAC1D,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,MAAM,EAAE,CAEhD;IAED;;;;OAIG;IACI,qBAAqB,CAC1B,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,OAAO,CAAC,eAAe,CAAC,GAAG;QAAE,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAO,GACrE,OAAO,CAAC,gBAAgB,CAAC,CAE3B;IAED,uGAAuG;IAC1F,oBAAoB,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAS9D;IAED;;;;;OAKG;IACU,eAAe,CAC1B,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,EACxE,IAAI,GAAE;QAAE,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAO,GAC5F,OAAO,CAAC,IAAI,CAAC,CAkBf;IAED,uEAAuE;IAChE,sCAAsC,CAC3C,MAAM,EAAE,gBAAgB,EACxB,IAAI,GAAE;QAAE,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAO,GACtE,OAAO,CAAC,IAAI,CAAC,CAOf;IAED,6EAA6E;IACtE,gCAAgC,CACrC,MAAM,EAAE,gBAAgB,EACxB,IAAI,GAAE;QAAE,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAO,GACtE,OAAO,CAAC,IAAI,CAAC,CAOf;IAED;;;OAGG;IACI,iCAAiC,CACtC,IAAI,EAAE,UAAU,EAChB,GAAG,EAAE,UAAU,GAAG,cAAc,EAChC,KAAK,GAAE,CAAC,KAAK,EAAE,aAAa,KAAK,OAAmE,EACpG,IAAI,GAAE;QAAE,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAO,GACtE,OAAO,CAAC,IAAI,CAAC,CAcf;IAED;;;;;;OAMG;IACI,sBAAsB,CAC3B,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,OAAO,EAC/C,IAAI,GAAE;QAAE,QAAQ,CAAC,EAAE,UAAU,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAO,GAC1E,OAAO,CAAC;QAAE,KAAK,EAAE,UAAU,EAAE,CAAC;QAAC,SAAS,EAAE,UAAU,EAAE,CAAA;KAAE,CAAC,CAsC3D;IAED;;;;;OAKG;IACI,wBAAwB,CAC7B,KAAK,EAAE,gBAAgB,EAAE,EACzB,WAAW,GAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAqD,GAClG;QAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC;QAAC,YAAY,EAAE,qBAAqB,EAAE,CAAA;KAAE,CAEhF;IAED;;;;OAIG;IACI,qBAAqB,CAC1B,KAAK,EAAE,gBAAgB,EAAE,EACzB,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,EACpC,IAAI,GAAE;QAAE,IAAI,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAO,GACvE,OAAO,CAAC,OAAO,EAAE,CAAC,CAmBpB;CACF"}

package/dest/multi-node/multi_node_test_context.js

@@ -0,0 +1,347 @@
+import { EthAddress } from '@aztec/aztec.js/addresses';
+import { Fr } from '@aztec/aztec.js/fields';
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import { times } from '@aztec/foundation/collection';
+import { SecretValue } from '@aztec/foundation/config';
+import { retryUntil } from '@aztec/foundation/retry';
+import { bufferToHex } from '@aztec/foundation/string';
+import { SlasherAbi } from '@aztec/l1-artifacts';
+import { createSharedSlashingProtectionDb } from '@aztec/validator-ha-signer/factory';
+import { getAddress, getContract } from 'viem';
+import { privateKeyToAccount } from 'viem/accounts';
+import { testSpan } from '../fixtures/timing.js';
+import { getPrivateKeyFromIndex } from '../fixtures/utils.js';
+import { NO_REORG_SUBMISSION_EPOCHS } from '../single-node/setup.js';
+import { SingleNodeTestContext } from '../single-node/single_node_test_context.js';
+export { NO_REORG_SUBMISSION_EPOCHS, PROVING_SLOT_TIMING } from '../single-node/setup.js';
+export { WORLD_STATE_CHECKPOINT_HISTORY, WORLD_STATE_BLOCK_CHECK_INTERVAL, ARCHIVER_POLL_INTERVAL, DEFAULT_L1_BLOCK_TIME, REORG_TIMING_BASE, FAST_REORG_TIMING, MULTI_VALIDATOR_REORG_TIMING, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, WIDE_SLOT_TIMING } from '../single-node/single_node_test_context.js';
+/**
+ * Builds the deterministic validator set used across the multi-validator tests: `count` validators
+ * keyed from `getPrivateKeyFromIndex(i + 3)` (indices 0..2 are reserved for the setup account,
+ * bootstrap node, and prover node, matching the `P2PNetworkTest` convention). This replaces the
+ * `times(N, i => ({ attester, withdrawer, privateKey, bn254SecretKey }))` block copy-pasted in every
+ * direct multi-validator test.
+ */ export function buildMockGossipValidators(count) {
+    return times(count, (i)=>{
+        const privateKey = bufferToHex(getPrivateKeyFromIndex(i + 3));
+        const attester = EthAddress.fromString(privateKeyToAccount(privateKey).address);
+        return {
+            attester,
+            withdrawer: attester,
+            privateKey,
+            bn254SecretKey: new SecretValue(Fr.random().toBigInt())
+        };
+    });
+}
+/**
+ * The shared `setup` cluster for the multi-validator tests that run a tight committee on the
+ * in-memory mock-gossip bus without a prover (block-production / recovery tests). Spread into the `setup`
+ * call alongside `initialValidators` (from {@link buildMockGossipValidators}). Tests that want a
+ * prover (MBPS / HA-sync) leave `startProverNode` explicit rather than adopting this preset's `false`.
+ */ export const MOCK_GOSSIP_MULTI_VALIDATOR_OPTS = {
+    mockGossipSubNetwork: true,
+    skipInitialSequencer: true,
+    startProverNode: false,
+    aztecProofSubmissionEpochs: NO_REORG_SUBMISSION_EPOCHS,
+    numberOfAccounts: 0
+};
+/**
+ * The `setup` preset for a slasher-enabled committee on the in-memory mock-gossip bus, used by the
+ * offense-detection tests (`slashing/`). Mirrors {@link MOCK_GOSSIP_MULTI_VALIDATOR_OPTS} but turns
+ * the slasher on; spread alongside `initialValidators` (from {@link buildMockGossipValidators}) and
+ * the per-test slashing-round/penalty config.
+ */ export const SLASHER_ENABLED_MULTI_VALIDATOR_OPTS = {
+    mockGossipSubNetwork: true,
+    skipInitialSequencer: true,
+    slasherEnabled: true
+};
+/** The names of every per-offense penalty knob, in declaration order. */ const SLASHING_PENALTY_KEYS = [
+    'slashInactivityPenalty',
+    'slashDataWithholdingPenalty',
+    'slashBroadcastedInvalidBlockPenalty',
+    'slashBroadcastedInvalidCheckpointProposalPenalty',
+    'slashDuplicateProposalPenalty',
+    'slashDuplicateAttestationPenalty',
+    'slashProposeInvalidAttestationsPenalty',
+    'slashProposeDescendantOfCheckpointWithInvalidAttestationsPenalty',
+    'slashAttestInvalidCheckpointProposalPenalty',
+    'slashUnknownPenalty'
+];
+/**
+ * Returns every per-offense slashing penalty set to `unit` (default `1e14` — small enough not to
+ * kick a validator out). Spread alongside the slashing-round/quorum config in a slashing test's
+ * `setup`.
+ */ export function defaultSlashingPenalties(unit = BigInt(1e14)) {
+    return Object.fromEntries(SLASHING_PENALTY_KEYS.map((key)=>[
+            key,
+            unit
+        ]));
+}
+/**
+ * Returns the penalties with only `offense` set to `unit` and every other offense zeroed out, so a
+ * test isolates a single slashing offense. Names the test's intent (which offense is under test) and
+ * replaces the ~9-line manual zero-out block.
+ */ export function withOnlyOffense(offense, unit = BigInt(1e14)) {
+    return Object.fromEntries(SLASHING_PENALTY_KEYS.map((key)=>[
+            key,
+            key === offense ? unit : 0n
+        ]));
+}
+/**
+ * Stands up two HA pairs from the first four registered validators: nodes[0]/nodes[1] share keys
+ * pk1+pk2, nodes[2]/nodes[3] share pk3+pk4. Each pair shares an in-memory slashing-protection DB (so
+ * only one peer signs per duty) and each node gets a distinct coinbase. Encapsulates the ~40-line
+ * pair-wiring duplicated by both HA tests; the per-test divergence (publishing disabled vs. enabled,
+ * empty-checkpoint building) is passed through `baseOpts`.
+ * @returns The four nodes flat, plus the two `HaPairNodes` descriptors.
+ */ export async function setupHaPairs(test, validators, opts = {}) {
+    const baseOpts = opts.baseOpts ?? {};
+    const coinbases = opts.coinbases ?? [
+        1,
+        2,
+        3,
+        4
+    ].map((n)=>EthAddress.fromNumber(n));
+    const [pk1, pk2, pk3, pk4] = validators.map((v)=>v.privateKey);
+    const sharedDb1 = await createSharedSlashingProtectionDb(test.context.dateProvider);
+    const sharedDb2 = await createSharedSlashingProtectionDb(test.context.dateProvider);
+    const nodes = [
+        await test.createValidatorNode([
+            pk1,
+            pk2
+        ], {
+            ...baseOpts,
+            coinbase: coinbases[0],
+            slashingProtectionDb: sharedDb1
+        }),
+        await test.createValidatorNode([
+            pk1,
+            pk2
+        ], {
+            ...baseOpts,
+            coinbase: coinbases[1],
+            slashingProtectionDb: sharedDb1
+        }),
+        await test.createValidatorNode([
+            pk3,
+            pk4
+        ], {
+            ...baseOpts,
+            coinbase: coinbases[2],
+            slashingProtectionDb: sharedDb2
+        }),
+        await test.createValidatorNode([
+            pk3,
+            pk4
+        ], {
+            ...baseOpts,
+            coinbase: coinbases[3],
+            slashingProtectionDb: sharedDb2
+        })
+    ];
+    const pairs = [
+        {
+            nodes: [
+                nodes[0],
+                nodes[1]
+            ],
+            privateKeys: [
+                pk1,
+                pk2
+            ],
+            coinbases: [
+                coinbases[0],
+                coinbases[1]
+            ]
+        },
+        {
+            nodes: [
+                nodes[2],
+                nodes[3]
+            ],
+            privateKeys: [
+                pk3,
+                pk4
+            ],
+            coinbases: [
+                coinbases[2],
+                coinbases[3]
+            ]
+        }
+    ];
+    return {
+        nodes,
+        pairs
+    };
+}
+/**
+ * Multi-validator test base: N validator nodes sharing the in-memory `MockGossipSubNetwork` bus, with
+ * fast block times and short epochs. Extends {@link SingleNodeTestContext} with validator-node
+ * spawning and the convergence helpers (`waitForAllNodes*`, `findSlotsWithProposers`) that only make
+ * sense across a committee. The environment, prover lifecycle, and reorg/proving waiters live on the
+ * parent so the single-node-topology tests share them.
+ */ export class MultiNodeTestContext extends SingleNodeTestContext {
+    /**
+   * The validators registered on-chain at genesis (from `opts.initialValidators`). Tests spawn nodes
+   * for whichever validators they want online via {@link createValidatorNodeAt}; the rest stay
+   * registered-but-offline. Empty for single-validator-less topologies.
+   */ validators = [];
+    async setup(opts = {}) {
+        this.validators = opts.initialValidators ?? [];
+        await super.setup(opts);
+    }
+    createValidatorNode(privateKeys, opts = {}) {
+        this.logger.warn('Creating and syncing a validator node...');
+        return this.createNode({
+            ...opts,
+            disableValidator: false,
+            validatorPrivateKeys: new SecretValue(privateKeys)
+        });
+    }
+    /** Returns the validator registered at on-chain index `index` (0-based into {@link validators}). */ validatorAt(index) {
+        return this.validators[index];
+    }
+    /** The L1 attester address of the validator registered at `index`. */ addressAt(index) {
+        return this.validators[index].attester;
+    }
+    /** The L1 signing key of the validator registered at `index`. */ privateKeyAt(index) {
+        return this.validators[index].privateKey;
+    }
+    /**
+   * Spawns a validator node on the mock-gossip bus signing with the validator registered at `index`.
+   * Pass the same `index` to two calls (with different `coinbase`) to model an equivocating proposer
+   * that shares a key across two nodes.
+   */ createValidatorNodeAt(index, opts = {}) {
+        return this.createValidatorNode([
+            this.privateKeyAt(index)
+        ], opts);
+    }
+    /** Resolves the rollup, slasher, and slashing-proposer L1 contracts a slashing test interacts with. */ async getSlashingContracts() {
+        const rollup = this.rollup;
+        const slasherContract = getContract({
+            address: getAddress((await rollup.getSlasherAddress()).toString()),
+            abi: SlasherAbi,
+            client: this.l1Client
+        });
+        const slashingProposer = await rollup.getSlashingProposer();
+        return {
+            rollup,
+            slasherContract,
+            slashingProposer
+        };
+    }
+    /**
+   * Polls every node until `predicate(tips, node)` holds for all of them. The multi-node
+   * generalization of {@link SingleNodeTestContext.waitForNodeToSync} — replaces hand-rolled
+   * `Promise.all(this.nodes.map(node => retryUntil(...)))` fan-out blocks.
+   * @param nodes - Nodes to poll; defaults to all validator nodes (`this.nodes`).
+   */ async waitForAllNodes(predicate, opts = {}) {
+        const nodes = opts.nodes ?? this.nodes;
+        const timeout = opts.timeout ?? this.L2_SLOT_DURATION_IN_S * 4;
+        const interval = opts.interval ?? 0.5;
+        const description = opts.description ?? 'all nodes to reach target';
+        await Promise.all(nodes.map((node, idx)=>retryUntil(async ()=>{
+                const tips = await node.getChainTips();
+                return await predicate(tips, node) || undefined;
+            }, `node ${idx} ${description}`, timeout, interval)));
+    }
+    /** Waits until every node's proven checkpoint tip reaches `target`. */ waitForAllNodesToReachProvenCheckpoint(target, opts = {}) {
+        return testSpan('wait:proven-checkpoint', ()=>this.waitForAllNodes((tips)=>tips.proven.checkpoint.number >= target, {
+                ...opts,
+                description: `proven checkpoint >= ${target}`
+            }));
+    }
+    /** Waits until every node's checkpointed checkpoint tip reaches `target`. */ waitForAllNodesToReachCheckpoint(target, opts = {}) {
+        return testSpan('wait:checkpoint', ()=>this.waitForAllNodes((tips)=>tips.checkpointed.checkpoint.number >= target, {
+                ...opts,
+                description: `checkpointed checkpoint >= ${target}`
+            }));
+    }
+    /**
+   * Waits until every node's `proposed` or `checkpointed` tip points at a block whose slot
+   * satisfies `match` (defaults to "slot equals `slot`"). Polls the block referenced by the tip.
+   */ waitForAllNodesToReachBlockAtSlot(slot, tag, match = (block)=>block.header.globalVariables.slotNumber === slot, opts = {}) {
+        return testSpan('wait:block', ()=>this.waitForAllNodes(async (tips, node)=>{
+                const blockNumber = tag === 'proposed' ? tips.proposed.number : tips.checkpointed.block.number;
+                if (blockNumber === 0) {
+                    return false;
+                }
+                const block = await node.getBlock(blockNumber);
+                return !!block && match(block);
+            }, {
+                ...opts,
+                description: `${tag} block at slot ${slot}`
+            }));
+    }
+    /**
+   * Finds `count` consecutive slots (starting from `opts.fromSlot` or the current slot plus a
+   * margin) whose proposers satisfy `predicate`, warping the L1 clock forward one epoch and
+   * retrying when the rollup reports `ValidatorSelection__EpochNotStable` for a future epoch.
+   * Returns the matched slots and their proposer addresses. Encapsulates the slot-search loop
+   * duplicated across the multi-validator tests.
+   */ findSlotsWithProposers(count, predicate, opts = {}) {
+        return testSpan('warp:find-proposer', async ()=>{
+            const margin = opts.margin ?? 4;
+            const maxAttempts = opts.maxAttempts ?? 200;
+            let candidate = opts.fromSlot ?? SlotNumber(Number(this.epochCache.getEpochAndSlotNow().slot) + margin);
+            for(let attempt = 0; attempt < maxAttempts; attempt++){
+                try {
+                    const slots = Array.from({
+                        length: count
+                    }, (_, i)=>SlotNumber(candidate + i));
+                    const maybeProposers = await Promise.all(slots.map((slot)=>this.epochCache.getProposerAttesterAddressInSlot(slot)));
+                    if (maybeProposers.every((p)=>p !== undefined) && predicate(maybeProposers)) {
+                        return {
+                            slots,
+                            proposers: maybeProposers
+                        };
+                    }
+                    candidate = SlotNumber(candidate + 1);
+                } catch (err) {
+                    const msg = err instanceof Error ? err.message : String(err);
+                    if (!msg.includes('EpochNotStable')) {
+                        throw err;
+                    }
+                    const block = await this.l1Client.getBlock({
+                        includeTransactions: false
+                    });
+                    const warpBy = this.epochDuration * this.L2_SLOT_DURATION_IN_S;
+                    const newTs = Number(block.timestamp) + warpBy;
+                    this.logger.warn(`Hit EpochNotStable at candidate ${candidate}, warping L1 forward by ${warpBy}s to ${newTs}`);
+                    await this.context.cheatCodes.eth.warp(newTs, {
+                        resetBlockInterval: true
+                    });
+                    const newCurrentSlot = Number(this.epochCache.getEpochAndSlotNow().slot);
+                    if (candidate < newCurrentSlot + margin) {
+                        candidate = SlotNumber(newCurrentSlot + margin);
+                    }
+                }
+            }
+            throw new Error(`Could not find ${count} consecutive slots matching the proposer predicate after ${maxAttempts} attempts`);
+        });
+    }
+    /**
+   * Watches the sequencers of `nodes` via {@link SingleNodeTestContext.watchSequencerEvents}, pulling
+   * the {@link SequencerClient} off each node first. `getMetadata` tags each captured event; it
+   * defaults to `{ validator: this.validators[i].attester }`. Pass an override for tests that label
+   * their nodes differently (e.g. `['A','B','C'][i]`).
+   */ watchNodeSequencerEvents(nodes, getMetadata = (i)=>({
+            validator: this.validators[i].attester
+        })) {
+        return this.watchSequencerEvents(this.getSequencers(nodes), getMetadata);
+    }
+    /**
+   * Waits until matching slash offenses have converged across `nodes`, polling `getSlashOffenses`.
+   * With `opts.mode === 'all'` (the default) every node must record a matching offense; with `'any'`
+   * a single node suffices. Resolves with all matching offenses collected across the polled nodes.
+   */ waitForOffenseOnNodes(nodes, match, opts = {}) {
+        const mode = opts.mode ?? 'all';
+        const timeout = opts.timeout ?? this.L2_SLOT_DURATION_IN_S * 4;
+        const interval = opts.interval ?? 0.5;
+        return testSpan('wait:offense', ()=>retryUntil(async ()=>{
+                const perNode = await Promise.all(nodes.map((node)=>node.getSlashOffenses('all').then((os)=>os.filter(match))));
+                const converged = mode === 'all' ? perNode.every((matches)=>matches.length > 0) : perNode.some((m)=>m.length > 0);
+                return converged ? perNode.flat() : undefined;
+            }, `offense on ${mode} node(s)`, timeout, interval));
+    }
+}

package/dest/multi-node/slashing/inactivity_setup.d.ts

@@ -0,0 +1,27 @@
+import type { AztecNodeService } from '@aztec/aztec-node';
+import type { EthAddress } from '@aztec/aztec.js/addresses';
+import { MultiNodeTestContext } from '../multi_node_test_context.js';
+/** Stateful fixture for the inactivity-slash suites: a slasher-enabled committee on the mock-gossip bus. */
+export declare class InactivityTest {
+    test: MultiNodeTestContext;
+    nodes: AztecNodeService[];
+    activeNodes: AztecNodeService[];
+    inactiveNodes: AztecNodeService[];
+    offlineValidators: EthAddress[];
+    private inactiveNodeCount;
+    constructor(opts: {
+        inactiveNodeCount: number;
+    });
+    static setup(opts: {
+        slashInactivityConsecutiveEpochThreshold: number;
+        inactiveNodeCount: number;
+    }): Promise<InactivityTest>;
+    private run;
+    teardown(): Promise<void>;
+    get rollup(): import("@aztec/ethereum/contracts").RollupContract;
+    get logger(): import("@aztec/foundation/log").Logger;
+    get config(): import("@aztec/aztec-node").AztecNodeConfig;
+    get monitor(): import("@aztec/ethereum/test").ChainMonitor;
+    get slashingAmount(): bigint;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5hY3Rpdml0eV9zZXR1cC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL211bHRpLW5vZGUvc2xhc2hpbmcvaW5hY3Rpdml0eV9zZXR1cC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQzFELE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRzVELE9BQU8sRUFDTCxvQkFBb0IsRUFHckIsTUFBTSwrQkFBK0IsQ0FBQztBQWdCdkMsNEdBQTRHO0FBQzVHLHFCQUFhLGNBQWM7SUFDbEIsSUFBSSxFQUFHLG9CQUFvQixDQUFDO0lBQzVCLEtBQUssRUFBRyxnQkFBZ0IsRUFBRSxDQUFDO0lBQzNCLFdBQVcsRUFBRyxnQkFBZ0IsRUFBRSxDQUFDO0lBQ2pDLGFBQWEsRUFBRyxnQkFBZ0IsRUFBRSxDQUFDO0lBQ25DLGlCQUFpQixFQUFHLFVBQVUsRUFBRSxDQUFDO0lBRXhDLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBUztJQUVsQyxZQUFZLElBQUksRUFBRTtRQUFFLGlCQUFpQixFQUFFLE1BQU0sQ0FBQTtLQUFFLEVBRTlDO0lBRUQsT0FBYSxLQUFLLENBQUMsSUFBSSxFQUFFO1FBQ3ZCLHdDQUF3QyxFQUFFLE1BQU0sQ0FBQztRQUNqRCxpQkFBaUIsRUFBRSxNQUFNLENBQUM7S0FDM0IsR0FBRyxPQUFPLENBQUMsY0FBYyxDQUFDLENBSTFCO1lBRWEsR0FBRztJQW9FSixRQUFRLGtCQUVwQjtJQUVELElBQVcsTUFBTSx1REFFaEI7SUFFRCxJQUFXLE1BQU0sMkNBRWhCO0lBRUQsSUFBVyxNQUFNLGdEQUVoQjtJQUVELElBQVcsT0FBTyxnREFFakI7SUFFRCxJQUFXLGNBQWMsV0FFeEI7Q0FDRiJ9

package/dest/multi-node/slashing/inactivity_setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inactivity_setup.d.ts","sourceRoot":"","sources":["../../../src/multi-node/slashing/inactivity_setup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAG5D,OAAO,EACL,oBAAoB,EAGrB,MAAM,+BAA+B,CAAC;AAgBvC,4GAA4G;AAC5G,qBAAa,cAAc;IAClB,IAAI,EAAG,oBAAoB,CAAC;IAC5B,KAAK,EAAG,gBAAgB,EAAE,CAAC;IAC3B,WAAW,EAAG,gBAAgB,EAAE,CAAC;IACjC,aAAa,EAAG,gBAAgB,EAAE,CAAC;IACnC,iBAAiB,EAAG,UAAU,EAAE,CAAC;IAExC,OAAO,CAAC,iBAAiB,CAAS;IAElC,YAAY,IAAI,EAAE;QAAE,iBAAiB,EAAE,MAAM,CAAA;KAAE,EAE9C;IAED,OAAa,KAAK,CAAC,IAAI,EAAE;QACvB,wCAAwC,EAAE,MAAM,CAAC;QACjD,iBAAiB,EAAE,MAAM,CAAC;KAC3B,GAAG,OAAO,CAAC,cAAc,CAAC,CAI1B;YAEa,GAAG;IAoEJ,QAAQ,kBAEpB;IAED,IAAW,MAAM,uDAEhB;IAED,IAAW,MAAM,2CAEhB;IAED,IAAW,MAAM,gDAEhB;IAED,IAAW,OAAO,gDAEjB;IAED,IAAW,cAAc,WAExB;CACF"}