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

package/dest/multi-node/slashing/inactivity_setup.js

@@ -0,0 +1,111 @@
+import { EpochNumber } from '@aztec/foundation/branded-types';
+import { MultiNodeTestContext, SLASHER_ENABLED_MULTI_VALIDATOR_OPTS, buildMockGossipValidators } from '../multi_node_test_context.js';
+const NUM_NODES = 6;
+const NUM_VALIDATORS = NUM_NODES;
+const COMMITTEE_SIZE = NUM_VALIDATORS;
+const SLASHING_QUORUM = 3;
+const EPOCH_DURATION = 2;
+const SLASHING_ROUND_SIZE_IN_EPOCHS = 2;
+const ETHEREUM_SLOT_DURATION = process.env.CI ? 8 : 4;
+const AZTEC_SLOT_DURATION = ETHEREUM_SLOT_DURATION * 2;
+const SLASHING_UNIT = BigInt(1e18);
+const SLASHING_AMOUNT = SLASHING_UNIT * 3n;
+// How many epochs it may take to set everything up, so we dont slash during this period
+const SETUP_EPOCH_DURATION = 8;
+/** Stateful fixture for the inactivity-slash suites: a slasher-enabled committee on the mock-gossip bus. */ export class InactivityTest {
+    test;
+    nodes;
+    activeNodes;
+    inactiveNodes;
+    offlineValidators;
+    inactiveNodeCount;
+    constructor(opts){
+        this.inactiveNodeCount = opts.inactiveNodeCount;
+    }
+    static async setup(opts) {
+        const inactivityTest = new InactivityTest(opts);
+        await inactivityTest.run(opts);
+        return inactivityTest;
+    }
+    async run(opts) {
+        this.test = await MultiNodeTestContext.setup({
+            ...SLASHER_ENABLED_MULTI_VALIDATOR_OPTS,
+            inboxLag: 2,
+            anvilSlotsInAnEpoch: 4,
+            // A fake prover node is started by the context (realProofs:false); give it the multi-epoch
+            // proving delay the inactivity scenario relied on, and keep enough broker history.
+            proverNodeConfig: {
+                proverNodeEpochProvingDelayMs: AZTEC_SLOT_DURATION * 1000
+            },
+            proverBrokerMaxEpochsToKeepResultsFor: 20,
+            aztecTargetCommitteeSize: COMMITTEE_SIZE,
+            aztecSlotDuration: AZTEC_SLOT_DURATION,
+            ethereumSlotDuration: ETHEREUM_SLOT_DURATION,
+            aztecProofSubmissionEpochs: 1024,
+            listenAddress: '127.0.0.1',
+            minTxsPerBlock: 0,
+            aztecEpochDuration: EPOCH_DURATION,
+            sentinelEnabled: true,
+            slashingQuorum: SLASHING_QUORUM,
+            slashingRoundSizeInEpochs: SLASHING_ROUND_SIZE_IN_EPOCHS,
+            slashInactivityTargetPercentage: 0.8,
+            slashGracePeriodL2Slots: SETUP_EPOCH_DURATION * EPOCH_DURATION,
+            slashAmountSmall: SLASHING_UNIT,
+            slashAmountMedium: SLASHING_UNIT * 2n,
+            slashAmountLarge: SLASHING_UNIT * 3n,
+            slashInactivityConsecutiveEpochThreshold: opts.slashInactivityConsecutiveEpochThreshold,
+            slashInactivityPenalty: SLASHING_AMOUNT,
+            initialValidators: buildMockGossipValidators(NUM_VALIDATORS)
+        });
+        const { rollup } = await this.test.getSlashingContracts();
+        const [activationThreshold, ejectionThreshold, localEjectionThreshold] = await Promise.all([
+            rollup.getActivationThreshold(),
+            rollup.getEjectionThreshold(),
+            rollup.getLocalEjectionThreshold()
+        ]);
+        const biggestEjection = ejectionThreshold > localEjectionThreshold ? ejectionThreshold : localEjectionThreshold;
+        expect(activationThreshold - SLASHING_AMOUNT).toBeLessThan(biggestEjection);
+        // Create all active nodes (running sequencer) plus the inactive ones (sequencer disabled).
+        const activeCount = NUM_NODES - this.inactiveNodeCount;
+        this.activeNodes = await Promise.all(Array.from({
+            length: activeCount
+        }, (_, i)=>this.test.createValidatorNodeAt(i)));
+        this.inactiveNodes = await Promise.all(Array.from({
+            length: this.inactiveNodeCount
+        }, (_, i)=>this.test.createValidatorNodeAt(activeCount + i, {
+                dontStartSequencer: true
+            })));
+        this.nodes = [
+            ...this.activeNodes,
+            ...this.inactiveNodes
+        ];
+        if (this.nodes.length !== NUM_NODES) {
+            throw new Error(`Expected ${NUM_NODES} nodes but got ${this.nodes.length}`);
+        }
+        this.offlineValidators = this.test.validators.slice(this.test.validators.length - this.inactiveNodeCount).map((v)=>v.attester);
+        this.test.logger.warn(`Setup complete. Offline validators are ${this.offlineValidators.join(', ')}.`, {
+            validators: this.test.validators,
+            offlineValidators: this.offlineValidators
+        });
+        this.test.logger.warn(`Advancing to epoch ${SETUP_EPOCH_DURATION - 1} (slashing will start after it is completed)`);
+        await this.test.context.cheatCodes.rollup.advanceToEpoch(EpochNumber(SETUP_EPOCH_DURATION - 1));
+    }
+    async teardown() {
+        await this.test.teardown();
+    }
+    get rollup() {
+        return this.test.rollup;
+    }
+    get logger() {
+        return this.test.logger;
+    }
+    get config() {
+        return this.test.context.config;
+    }
+    get monitor() {
+        return this.test.monitor;
+    }
+    get slashingAmount() {
+        return SLASHING_AMOUNT;
+    }
+}

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

@@ -0,0 +1,167 @@
+import type { AztecNodeService } from '@aztec/aztec-node';
+import type { Logger } from '@aztec/aztec.js/log';
+import type { RollupCheatCodes } from '@aztec/aztec/testing';
+import type { EpochCacheInterface } from '@aztec/epoch-cache';
+import type { RollupContract, SlashingProposerContract } from '@aztec/ethereum/contracts';
+import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { type OffenseType } from '@aztec/slasher';
+import type { AztecNodeAdmin } from '@aztec/stdlib/interfaces/client';
+import type { TxHash } from '@aztec/stdlib/tx';
+import { jest } from '@jest/globals';
+import type { MultiNodeTestContext } from '../multi_node_test_context.js';
+export declare const NUM_VALIDATORS = 4;
+export declare const COMMITTEE_SIZE = 4;
+export declare const ETHEREUM_SLOT_DURATION = 8;
+export declare const AZTEC_SLOT_DURATION: number;
+export declare const BLOCK_DURATION = 4;
+export declare const slashingUnit: bigint;
+export declare const slashingQuorum = 3;
+export declare const slashingRoundSize = 4;
+export declare const aztecEpochDuration = 2;
+/**
+ * The shared per-test slashing config for the offense-detection suites (`duplicate_proposal`,
+ * `duplicate_attestation`). Spread into a {@link MultiNodeTestContext.setup} call alongside
+ * {@link SLASHER_ENABLED_MULTI_VALIDATOR_OPTS} and `initialValidators` (from `buildMockGossipValidators`).
+ */
+export declare const baseSlashingOpts: {
+    anvilSlotsInAnEpoch: number;
+    listenAddress: string;
+    aztecEpochDuration: number;
+    ethereumSlotDuration: number;
+    aztecSlotDuration: number;
+    aztecTargetCommitteeSize: number;
+    aztecProofSubmissionEpochs: number;
+    slashInactivityConsecutiveEpochThreshold: number;
+    minTxsPerBlock: number;
+    slashingQuorum: number;
+    slashingRoundSizeInEpochs: number;
+    slashAmountSmall: bigint;
+    slashAmountMedium: bigint;
+    slashAmountLarge: bigint;
+    blockDurationMs: number;
+    slashDuplicateProposalPenalty: bigint;
+    slashingOffsetInRounds: number;
+};
+/**
+ * The fast slot timing shared by the sentinel-observation suites (`sentinel_status_slash`,
+ * `validators_sentinel`, `multiple_validators_sentinel`, `slash_veto_demo`). Slots are 8s (eth 4s ×
+ * epoch 2), which fit a checkpoint comfortably at the fast mocked-p2p operational budgets used at
+ * eth<8, keeping wall-clock down for tests whose bodies advance through real L2 slots. Spread into a
+ * {@link MultiNodeTestContext.setup} call alongside {@link SLASHER_ENABLED_MULTI_VALIDATOR_OPTS},
+ * `initialValidators`, and the per-test slash/penalty config. Non-sentinel offense-detection files
+ * that only need the same fast timing spread this and override `sentinelEnabled: false`.
+ */
+export declare const SENTINEL_TIMING: {
+    readonly anvilSlotsInAnEpoch: 4;
+    readonly listenAddress: "127.0.0.1";
+    readonly ethereumSlotDuration: 4;
+    readonly aztecSlotDuration: 8;
+    readonly aztecEpochDuration: 2;
+    readonly sentinelEnabled: true;
+};
+/** A single detected slash offense as returned by {@link AztecNodeService.getSlashOffenses}. */
+export type SlashOffense = Awaited<ReturnType<AztecNodeService['getSlashOffenses']>>[number];
+/** Looks up the offense recorded for `validator` of `offenseType` at `slot`, if any. */
+export declare function findSlashOffense(offenses: SlashOffense[], validator: EthAddress, offenseType: OffenseType, slot: SlotNumber): SlashOffense | undefined;
+export declare function awaitProposalExecution(slashingProposer: SlashingProposerContract, timeoutSeconds: number, logger: Logger): Promise<bigint>;
+export declare function awaitCommitteeExists({ rollup, logger }: {
+    rollup: RollupContract;
+    logger: Logger;
+}): Promise<readonly `0x${string}`[]>;
+/**
+ * Scans L2 slots forward from `minLeadSlots` ahead of the current slot, returning the first slot in
+ * which `targetProposer` is the proposer.
+ *
+ * Scanning starts at `currentSlot + minLeadSlots` and only ever moves forward, so every returned slot
+ * is at least `minLeadSlots` ahead — a caller can safely warp to `targetSlot - minLeadSlots` for a
+ * settle buffer without risking a backwards warp. Stepping by a single slot examines both epoch
+ * parities, which matters because the per-slot proposer is a different RANDAO-shuffled committee
+ * member: searching only a fixed offset within each epoch can leave a 1-of-N target unexamined when
+ * the epoch is short. A candidate in an epoch whose committee isn't sampled yet makes the proposer
+ * lookup revert with EpochNotStable; this warps one epoch forward and continues, keeping the
+ * candidate at least `minLeadSlots` ahead of the new current slot. Throws after `maxSlotsToScan`.
+ *
+ * Unlike {@link advanceToEpochBeforeProposer}, this does not stop an epoch early — callers that want
+ * to warp close to the target (rather than stage sequencers an epoch ahead) use this and warp the
+ * final `minLeadSlots` in themselves.
+ */
+export declare function findUpcomingProposerSlot({ epochCache, cheatCodes, targetProposer, logger, minLeadSlots, maxSlotsToScan }: {
+    epochCache: EpochCacheInterface;
+    cheatCodes: RollupCheatCodes;
+    targetProposer: EthAddress;
+    logger: Logger;
+    minLeadSlots: number;
+    maxSlotsToScan?: number;
+}): Promise<SlotNumber>;
+/**
+ * Advance epochs until we find one where the target proposer is selected for a slot at least
+ * `warmupSlots` into the epoch, then stop one epoch before it. This leaves time for the caller to
+ * start sequencers before warping to the target epoch, avoiding the race where the target epoch
+ * passes before sequencers are ready.
+ *
+ * The first `warmupSlots` slots of the epoch are skipped on purpose. Callers warp to one slot
+ * before the target epoch and, under proposer pipelining, the proposer begins building one slot
+ * before its proposal slot. If the proposer were in the first slot of the epoch, that build would
+ * begin at the exact instant of the warp, leaving the freshly-started sequencer no warm-up margin;
+ * it then serializes its (often AVM-heavy) proposal past the slot boundary and honest receivers
+ * reject it as late. Picking a slot at least `warmupSlots` into the epoch guarantees that many full
+ * slots of wall-clock between the warp and the start of the proposer's build.
+ *
+ * Returns the target epoch and the concrete target slot so the caller can warp to it after starting
+ * sequencers.
+ *
+ * The default `maxAttempts` accounts for the worst-case caller: with a 2-slot epoch and
+ * `warmupSlots = 1`, each attempt checks a single slot, and with a 4-member committee the target is
+ * the proposer with probability 1/4 per attempt (proposer index is keccak(epoch, slot, seed) mod
+ * committee size, so attempts are independent). 50 attempts bound the miss probability at
+ * (3/4)^50 ≈ 6e-7; each attempt is just a committee query plus an anvil warp, so the extra headroom
+ * costs almost nothing.
+ */
+export declare function advanceToEpochBeforeProposer({ epochCache, cheatCodes, targetProposer, logger, maxAttempts, warmupSlots }: {
+    epochCache: EpochCacheInterface;
+    cheatCodes: RollupCheatCodes;
+    targetProposer: EthAddress;
+    logger: Logger;
+    maxAttempts?: number;
+    warmupSlots?: number;
+}): Promise<{
+    targetEpoch: EpochNumber;
+    targetSlot: SlotNumber;
+}>;
+export declare function awaitOffenseDetected({ logger, nodeAdmin, slashingRoundSize, epochDuration, waitUntilOffenseCount, timeoutSeconds }: {
+    nodeAdmin: AztecNodeAdmin;
+    logger: Logger;
+    slashingRoundSize: number;
+    epochDuration: number;
+    waitUntilOffenseCount?: number;
+    timeoutSeconds?: number;
+}): Promise<import("@aztec/slasher").Offense[]>;
+/**
+ * Await the committee to be slashed out of the validator set.
+ * Currently assumes that the committee is the same size as the validator set.
+ */
+export declare function awaitCommitteeKicked({ rollup, cheatCodes, committee, slashingProposer, slashingRoundSize, aztecSlotDuration, aztecEpochDuration, logger, offenseEpoch }: {
+    rollup: RollupContract;
+    cheatCodes: RollupCheatCodes;
+    committee: readonly `0x${string}`[];
+    slashingProposer: SlashingProposerContract | undefined;
+    slashingRoundSize: number;
+    aztecSlotDuration: number;
+    aztecEpochDuration: number;
+    logger: Logger;
+    offenseEpoch: number;
+}): Promise<void>;
+/** Resolves the slot at which `node` includes `txHash`, by reading the tx receipt and block header. */
+export declare function getMinedSlot(node: AztecNodeService, txHash: {
+    toString(): string;
+}): Promise<number>;
+/**
+ * Submits `numTxs` account-deployment transactions through `node`, paying with the funded hardcoded
+ * account (`context.accounts[0]`). Repoints the context wallet at `node` so the txs land in that node's
+ * mempool. The mock-gossip equivalent of the old `submitTransactions(logger, node, numTxs, fundedAccount)`
+ * helper, which built a fresh wallet from the funded account.
+ */
+export declare function submitTxsThroughNode(test: MultiNodeTestContext, node: AztecNodeService, numTxs: number): Promise<TxHash[]>;
+export { jest };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9tdWx0aS1ub2RlL3NsYXNoaW5nL3NldHVwLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDMUQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDbEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM3RCxPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSx3QkFBd0IsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQzFGLE9BQU8sRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFMUUsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBRzNELE9BQU8sRUFBRSxLQUFLLFdBQVcsRUFBc0IsTUFBTSxnQkFBZ0IsQ0FBQztBQUN0RSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUN0RSxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUUvQyxPQUFPLEVBQUUsSUFBSSxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBS3JDLE9BQU8sS0FBSyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFNMUUsZUFBTyxNQUFNLGNBQWMsSUFBSSxDQUFDO0FBQ2hDLGVBQU8sTUFBTSxjQUFjLElBQWlCLENBQUM7QUFDN0MsZUFBTyxNQUFNLHNCQUFzQixJQUFJLENBQUM7QUFDeEMsZUFBTyxNQUFNLG1CQUFtQixRQUE2QixDQUFDO0FBQzlELGVBQU8sTUFBTSxjQUFjLElBQUksQ0FBQztBQUdoQyxlQUFPLE1BQU0sWUFBWSxRQUFlLENBQUM7QUFDekMsZUFBTyxNQUFNLGNBQWMsSUFBSSxDQUFDO0FBQ2hDLGVBQU8sTUFBTSxpQkFBaUIsSUFBSSxDQUFDO0FBQ25DLGVBQU8sTUFBTSxrQkFBa0IsSUFBSSxDQUFDO0FBRXBDOzs7O0dBSUc7QUFDSCxlQUFPLE1BQU0sZ0JBQWdCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Q0FrQjVCLENBQUM7QUFFRjs7Ozs7Ozs7R0FRRztBQUNILGVBQU8sTUFBTSxlQUFlOzs7Ozs7O0NBT2xCLENBQUM7QUFFWCxnR0FBZ0c7QUFDaEcsTUFBTSxNQUFNLFlBQVksR0FBRyxPQUFPLENBQUMsVUFBVSxDQUFDLGdCQUFnQixDQUFDLGtCQUFrQixDQUFDLENBQUMsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0FBRTdGLHdGQUF3RjtBQUN4Rix3QkFBZ0IsZ0JBQWdCLENBQzlCLFFBQVEsRUFBRSxZQUFZLEVBQUUsRUFDeEIsU0FBUyxFQUFFLFVBQVUsRUFDckIsV0FBVyxFQUFFLFdBQVcsRUFDeEIsSUFBSSxFQUFFLFVBQVUsR0FDZixZQUFZLEdBQUcsU0FBUyxDQU8xQjtBQUVELHdCQUFnQixzQkFBc0IsQ0FDcEMsZ0JBQWdCLEVBQUUsd0JBQXdCLEVBQzFDLGNBQWMsRUFBRSxNQUFNLEVBQ3RCLE1BQU0sRUFBRSxNQUFNLEdBQ2IsT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQWtCakI7QUFFRCx3QkFBc0Isb0JBQW9CLENBQUMsRUFDekMsTUFBTSxFQUNOLE1BQU0sRUFDUCxFQUFFO0lBQ0QsTUFBTSxFQUFFLGNBQWMsQ0FBQztJQUN2QixNQUFNLEVBQUUsTUFBTSxDQUFDO0NBQ2hCLEdBQUcsT0FBTyxDQUFDLFNBQVMsS0FBSyxNQUFNLEVBQUUsRUFBRSxDQUFDLENBZXBDO0FBRUQ7Ozs7Ozs7Ozs7Ozs7Ozs7R0FnQkc7QUFDSCx3QkFBZ0Isd0JBQXdCLENBQUMsRUFDdkMsVUFBVSxFQUNWLFVBQVUsRUFDVixjQUFjLEVBQ2QsTUFBTSxFQUNOLFlBQVksRUFDWixjQUFvQixFQUNyQixFQUFFO0lBQ0QsVUFBVSxFQUFFLG1CQUFtQixDQUFDO0lBQ2hDLFVBQVUsRUFBRSxnQkFBZ0IsQ0FBQztJQUM3QixjQUFjLEVBQUUsVUFBVSxDQUFDO0lBQzNCLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFDZixZQUFZLEVBQUUsTUFBTSxDQUFDO0lBQ3JCLGNBQWMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUN6QixHQUFHLE9BQU8sQ0FBQyxVQUFVLENBQUMsQ0E0QnRCO0FBRUQ7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBdUJHO0FBQ0gsd0JBQWdCLDRCQUE0QixDQUFDLEVBQzNDLFVBQVUsRUFDVixVQUFVLEVBQ1YsY0FBYyxFQUNkLE1BQU0sRUFDTixXQUFnQixFQUNoQixXQUFlLEVBQ2hCLEVBQUU7SUFDRCxVQUFVLEVBQUUsbUJBQW1CLENBQUM7SUFDaEMsVUFBVSxFQUFFLGdCQUFnQixDQUFDO0lBQzdCLGNBQWMsRUFBRSxVQUFVLENBQUM7SUFDM0IsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLFdBQVcsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNyQixXQUFXLENBQUMsRUFBRSxNQUFNLENBQUM7Q0FDdEIsR0FBRyxPQUFPLENBQUM7SUFBRSxXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQUMsVUFBVSxFQUFFLFVBQVUsQ0FBQTtDQUFFLENBQUMsQ0FtQ2hFO0FBRUQsd0JBQXNCLG9CQUFvQixDQUFDLEVBQ3pDLE1BQU0sRUFDTixTQUFTLEVBQ1QsaUJBQWlCLEVBQ2pCLGFBQWEsRUFDYixxQkFBcUIsRUFDckIsY0FBb0IsRUFDckIsRUFBRTtJQUNELFNBQVMsRUFBRSxjQUFjLENBQUM7SUFDMUIsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUMxQixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLHFCQUFxQixDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQy9CLGNBQWMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUN6QiwrQ0FvQkE7QUFFRDs7O0dBR0c7QUFDSCx3QkFBc0Isb0JBQW9CLENBQUMsRUFDekMsTUFBTSxFQUNOLFVBQVUsRUFDVixTQUFTLEVBQ1QsZ0JBQWdCLEVBQ2hCLGlCQUFpQixFQUNqQixpQkFBaUIsRUFDakIsa0JBQWtCLEVBQ2xCLE1BQU0sRUFDTixZQUFZLEVBQ2IsRUFBRTtJQUNELE1BQU0sRUFBRSxjQUFjLENBQUM7SUFDdkIsVUFBVSxFQUFFLGdCQUFnQixDQUFDO0lBQzdCLFNBQVMsRUFBRSxTQUFTLEtBQUssTUFBTSxFQUFFLEVBQUUsQ0FBQztJQUNwQyxnQkFBZ0IsRUFBRSx3QkFBd0IsR0FBRyxTQUFTLENBQUM7SUFDdkQsaUJBQWlCLEVBQUUsTUFBTSxDQUFDO0lBQzFCLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUMxQixrQkFBa0IsRUFBRSxNQUFNLENBQUM7SUFDM0IsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLFlBQVksRUFBRSxNQUFNLENBQUM7Q0FDdEIsaUJBNERBO0FBRUQsdUdBQXVHO0FBQ3ZHLHdCQUFzQixZQUFZLENBQUMsSUFBSSxFQUFFLGdCQUFnQixFQUFFLE1BQU0sRUFBRTtJQUFFLFFBQVEsSUFBSSxNQUFNLENBQUE7Q0FBRSxHQUFHLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FVMUc7QUFFRDs7Ozs7R0FLRztBQUNILHdCQUFnQixvQkFBb0IsQ0FDbEMsSUFBSSxFQUFFLG9CQUFvQixFQUMxQixJQUFJLEVBQUUsZ0JBQWdCLEVBQ3RCLE1BQU0sRUFBRSxNQUFNLEdBQ2IsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBSW5CO0FBRUQsT0FBTyxFQUFFLElBQUksRUFBRSxDQUFDIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/multi-node/slashing/setup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1F,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE1E,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAG3D,OAAO,EAAE,KAAK,WAAW,EAAsB,MAAM,gBAAgB,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAKrC,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAM1E,eAAO,MAAM,cAAc,IAAI,CAAC;AAChC,eAAO,MAAM,cAAc,IAAiB,CAAC;AAC7C,eAAO,MAAM,sBAAsB,IAAI,CAAC;AACxC,eAAO,MAAM,mBAAmB,QAA6B,CAAC;AAC9D,eAAO,MAAM,cAAc,IAAI,CAAC;AAGhC,eAAO,MAAM,YAAY,QAAe,CAAC;AACzC,eAAO,MAAM,cAAc,IAAI,CAAC;AAChC,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;CAkB5B,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe;;;;;;;CAOlB,CAAC;AAEX,gGAAgG;AAChG,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7F,wFAAwF;AACxF,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,YAAY,EAAE,EACxB,SAAS,EAAE,UAAU,EACrB,WAAW,EAAE,WAAW,EACxB,IAAI,EAAE,UAAU,GACf,YAAY,GAAG,SAAS,CAO1B;AAED,wBAAgB,sBAAsB,CACpC,gBAAgB,EAAE,wBAAwB,EAC1C,cAAc,EAAE,MAAM,EACtB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,MAAM,CAAC,CAkBjB;AAED,wBAAsB,oBAAoB,CAAC,EACzC,MAAM,EACN,MAAM,EACP,EAAE;IACD,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,OAAO,CAAC,SAAS,KAAK,MAAM,EAAE,EAAE,CAAC,CAepC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,wBAAwB,CAAC,EACvC,UAAU,EACV,UAAU,EACV,cAAc,EACd,MAAM,EACN,YAAY,EACZ,cAAoB,EACrB,EAAE;IACD,UAAU,EAAE,mBAAmB,CAAC;IAChC,UAAU,EAAE,gBAAgB,CAAC;IAC7B,cAAc,EAAE,UAAU,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,GAAG,OAAO,CAAC,UAAU,CAAC,CA4BtB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,4BAA4B,CAAC,EAC3C,UAAU,EACV,UAAU,EACV,cAAc,EACd,MAAM,EACN,WAAgB,EAChB,WAAe,EAChB,EAAE;IACD,UAAU,EAAE,mBAAmB,CAAC;IAChC,UAAU,EAAE,gBAAgB,CAAC;IAC7B,cAAc,EAAE,UAAU,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,GAAG,OAAO,CAAC;IAAE,WAAW,EAAE,WAAW,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC,CAmChE;AAED,wBAAsB,oBAAoB,CAAC,EACzC,MAAM,EACN,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,qBAAqB,EACrB,cAAoB,EACrB,EAAE;IACD,SAAS,EAAE,cAAc,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,+CAoBA;AAED;;;GAGG;AACH,wBAAsB,oBAAoB,CAAC,EACzC,MAAM,EACN,UAAU,EACV,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,MAAM,EACN,YAAY,EACb,EAAE;IACD,MAAM,EAAE,cAAc,CAAC;IACvB,UAAU,EAAE,gBAAgB,CAAC;IAC7B,SAAS,EAAE,SAAS,KAAK,MAAM,EAAE,EAAE,CAAC;IACpC,gBAAgB,EAAE,wBAAwB,GAAG,SAAS,CAAC;IACvD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;CACtB,iBA4DA;AAED,uGAAuG;AACvG,wBAAsB,YAAY,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE;IAAE,QAAQ,IAAI,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAU1G;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,oBAAoB,EAC1B,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,MAAM,EAAE,CAAC,CAInB;AAED,OAAO,EAAE,IAAI,EAAE,CAAC"}

package/dest/multi-node/slashing/setup.js

@@ -0,0 +1,275 @@
+import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { unique } from '@aztec/foundation/collection';
+import { retryUntil } from '@aztec/foundation/retry';
+import { pluralize } from '@aztec/foundation/string';
+import { getRoundForOffense } from '@aztec/slasher';
+import { jest } from '@jest/globals';
+import { testSpan } from '../../fixtures/timing.js';
+import { submitTxsTo } from '../../shared/submit-transactions.js';
+const TEST_TIMEOUT = 600_000; // 10 minutes
+jest.setTimeout(TEST_TIMEOUT);
+export const NUM_VALIDATORS = 4;
+export const COMMITTEE_SIZE = NUM_VALIDATORS;
+export const ETHEREUM_SLOT_DURATION = 8;
+export const AZTEC_SLOT_DURATION = ETHEREUM_SLOT_DURATION * 3;
+export const BLOCK_DURATION = 4;
+// Small slashing unit so we don't kick anyone out.
+export const slashingUnit = BigInt(1e14);
+export const slashingQuorum = 3;
+export const slashingRoundSize = 4;
+export const aztecEpochDuration = 2;
+/**
+ * The shared per-test slashing config for the offense-detection suites (`duplicate_proposal`,
+ * `duplicate_attestation`). Spread into a {@link MultiNodeTestContext.setup} call alongside
+ * {@link SLASHER_ENABLED_MULTI_VALIDATOR_OPTS} and `initialValidators` (from `buildMockGossipValidators`).
+ */ export const baseSlashingOpts = {
+    anvilSlotsInAnEpoch: 4,
+    listenAddress: '127.0.0.1',
+    aztecEpochDuration,
+    ethereumSlotDuration: ETHEREUM_SLOT_DURATION,
+    aztecSlotDuration: AZTEC_SLOT_DURATION,
+    aztecTargetCommitteeSize: COMMITTEE_SIZE,
+    aztecProofSubmissionEpochs: 1024,
+    slashInactivityConsecutiveEpochThreshold: 32,
+    minTxsPerBlock: 0,
+    slashingQuorum,
+    slashingRoundSizeInEpochs: slashingRoundSize / aztecEpochDuration,
+    slashAmountSmall: slashingUnit,
+    slashAmountMedium: slashingUnit * 2n,
+    slashAmountLarge: slashingUnit * 3n,
+    blockDurationMs: BLOCK_DURATION * 1000,
+    slashDuplicateProposalPenalty: slashingUnit,
+    slashingOffsetInRounds: 1
+};
+/**
+ * The fast slot timing shared by the sentinel-observation suites (`sentinel_status_slash`,
+ * `validators_sentinel`, `multiple_validators_sentinel`, `slash_veto_demo`). Slots are 8s (eth 4s ×
+ * epoch 2), which fit a checkpoint comfortably at the fast mocked-p2p operational budgets used at
+ * eth<8, keeping wall-clock down for tests whose bodies advance through real L2 slots. Spread into a
+ * {@link MultiNodeTestContext.setup} call alongside {@link SLASHER_ENABLED_MULTI_VALIDATOR_OPTS},
+ * `initialValidators`, and the per-test slash/penalty config. Non-sentinel offense-detection files
+ * that only need the same fast timing spread this and override `sentinelEnabled: false`.
+ */ export const SENTINEL_TIMING = {
+    anvilSlotsInAnEpoch: 4,
+    listenAddress: '127.0.0.1',
+    ethereumSlotDuration: 4,
+    aztecSlotDuration: 8,
+    aztecEpochDuration: 2,
+    sentinelEnabled: true
+};
+/** Looks up the offense recorded for `validator` of `offenseType` at `slot`, if any. */ export function findSlashOffense(offenses, validator, offenseType, slot) {
+    return offenses.find((offense)=>offense.validator.equals(validator) && offense.offenseType === offenseType && offense.epochOrSlot === BigInt(slot));
+}
+export function awaitProposalExecution(slashingProposer, timeoutSeconds, logger) {
+    return testSpan('wait:slash-execution', ()=>new Promise((resolve, reject)=>{
+            const timeout = setTimeout(()=>{
+                logger.warn(`Timed out waiting for proposal execution`);
+                reject(new Error(`Timeout waiting for proposal execution after ${timeoutSeconds}s`));
+            }, timeoutSeconds * 1000);
+            const unwatch = slashingProposer.listenToRoundExecuted((args)=>{
+                logger.warn(`Slash from round ${args.round} executed`);
+                clearTimeout(timeout);
+                unwatch();
+                resolve(args.round);
+            });
+        }));
+}
+export async function awaitCommitteeExists({ rollup, logger }) {
+    logger.info(`Waiting for committee to be set`);
+    let committee;
+    await testSpan('wait:committee', ()=>retryUntil(async ()=>{
+            committee = await rollup.getCurrentEpochCommittee();
+            return committee && committee.length > 0;
+        }, 'non-empty committee', 60));
+    logger.warn(`Committee has been formed`, {
+        committee: committee.map((c)=>c.toString())
+    });
+    return committee.map((c)=>c.toString());
+}
+/**
+ * Scans L2 slots forward from `minLeadSlots` ahead of the current slot, returning the first slot in
+ * which `targetProposer` is the proposer.
+ *
+ * Scanning starts at `currentSlot + minLeadSlots` and only ever moves forward, so every returned slot
+ * is at least `minLeadSlots` ahead — a caller can safely warp to `targetSlot - minLeadSlots` for a
+ * settle buffer without risking a backwards warp. Stepping by a single slot examines both epoch
+ * parities, which matters because the per-slot proposer is a different RANDAO-shuffled committee
+ * member: searching only a fixed offset within each epoch can leave a 1-of-N target unexamined when
+ * the epoch is short. A candidate in an epoch whose committee isn't sampled yet makes the proposer
+ * lookup revert with EpochNotStable; this warps one epoch forward and continues, keeping the
+ * candidate at least `minLeadSlots` ahead of the new current slot. Throws after `maxSlotsToScan`.
+ *
+ * Unlike {@link advanceToEpochBeforeProposer}, this does not stop an epoch early — callers that want
+ * to warp close to the target (rather than stage sequencers an epoch ahead) use this and warp the
+ * final `minLeadSlots` in themselves.
+ */ export function findUpcomingProposerSlot({ epochCache, cheatCodes, targetProposer, logger, minLeadSlots, maxSlotsToScan = 100 }) {
+    return testSpan('warp:find-proposer', async ()=>{
+        let candidate = Number(await cheatCodes.getSlot()) + minLeadSlots;
+        for(let scanned = 0; scanned < maxSlotsToScan; scanned++){
+            let proposer;
+            try {
+                proposer = await epochCache.getProposerAttesterAddressInSlot(SlotNumber(candidate));
+            } catch (err) {
+                if (!(err instanceof Error) || !err.message.includes('EpochNotStable')) {
+                    throw err;
+                }
+                await cheatCodes.advanceToNextEpoch();
+                const newCurrentSlot = Number(await cheatCodes.getSlot());
+                // Keep the lead after the warp: never return a slot we could no longer warp ahead of.
+                candidate = Math.max(candidate, newCurrentSlot + minLeadSlots);
+                continue;
+            }
+            if (proposer && proposer.equals(targetProposer)) {
+                logger.warn(`Found target proposer ${targetProposer} at slot ${candidate}`);
+                return SlotNumber(candidate);
+            }
+            candidate++;
+        }
+        throw new Error(`Target proposer ${targetProposer} not found within ${maxSlotsToScan} slots`);
+    });
+}
+/**
+ * Advance epochs until we find one where the target proposer is selected for a slot at least
+ * `warmupSlots` into the epoch, then stop one epoch before it. This leaves time for the caller to
+ * start sequencers before warping to the target epoch, avoiding the race where the target epoch
+ * passes before sequencers are ready.
+ *
+ * The first `warmupSlots` slots of the epoch are skipped on purpose. Callers warp to one slot
+ * before the target epoch and, under proposer pipelining, the proposer begins building one slot
+ * before its proposal slot. If the proposer were in the first slot of the epoch, that build would
+ * begin at the exact instant of the warp, leaving the freshly-started sequencer no warm-up margin;
+ * it then serializes its (often AVM-heavy) proposal past the slot boundary and honest receivers
+ * reject it as late. Picking a slot at least `warmupSlots` into the epoch guarantees that many full
+ * slots of wall-clock between the warp and the start of the proposer's build.
+ *
+ * Returns the target epoch and the concrete target slot so the caller can warp to it after starting
+ * sequencers.
+ *
+ * The default `maxAttempts` accounts for the worst-case caller: with a 2-slot epoch and
+ * `warmupSlots = 1`, each attempt checks a single slot, and with a 4-member committee the target is
+ * the proposer with probability 1/4 per attempt (proposer index is keccak(epoch, slot, seed) mod
+ * committee size, so attempts are independent). 50 attempts bound the miss probability at
+ * (3/4)^50 ≈ 6e-7; each attempt is just a committee query plus an anvil warp, so the extra headroom
+ * costs almost nothing.
+ */ export function advanceToEpochBeforeProposer({ epochCache, cheatCodes, targetProposer, logger, maxAttempts = 50, warmupSlots = 1 }) {
+    return testSpan('warp:find-proposer', async ()=>{
+        const { epochDuration } = await cheatCodes.getConfig();
+        for(let attempt = 0; attempt < maxAttempts; attempt++){
+            const currentEpoch = await cheatCodes.getEpoch();
+            // Check the NEXT epoch's slots so we stay one epoch before the target,
+            // giving the caller time to start sequencers before the target epoch arrives.
+            const nextEpoch = Number(currentEpoch) + 1;
+            const epochStartSlot = nextEpoch * Number(epochDuration);
+            // Skip the first `warmupSlots` slots so the caller keeps a warm-up margin after warping to one
+            // slot before the epoch (see the doc comment above).
+            const startSlot = epochStartSlot + warmupSlots;
+            const endSlot = epochStartSlot + Number(epochDuration);
+            logger.info(`Checking next epoch ${nextEpoch} (slots ${startSlot}-${endSlot - 1}) for proposer ${targetProposer} (current epoch: ${currentEpoch})`);
+            for(let s = startSlot; s < endSlot; s++){
+                const proposer = await epochCache.getProposerAttesterAddressInSlot(SlotNumber(s));
+                if (proposer && proposer.equals(targetProposer)) {
+                    logger.warn(`Found target proposer ${targetProposer} in slot ${s} of epoch ${nextEpoch}. Staying at epoch ${currentEpoch} to allow sequencer startup.`);
+                    return {
+                        targetEpoch: EpochNumber(nextEpoch),
+                        targetSlot: SlotNumber(s)
+                    };
+                }
+            }
+            logger.info(`Target proposer not found in epoch ${nextEpoch}, advancing to next epoch`);
+            await cheatCodes.advanceToNextEpoch();
+        }
+        throw new Error(`Target proposer ${targetProposer} not found in any slot after ${maxAttempts} epoch attempts`);
+    });
+}
+export async function awaitOffenseDetected({ logger, nodeAdmin, slashingRoundSize, epochDuration, waitUntilOffenseCount, timeoutSeconds = 120 }) {
+    const targetOffenseCount = waitUntilOffenseCount ?? 1;
+    logger.warn(`Waiting for ${pluralize('offense', targetOffenseCount)} to be detected`);
+    const offenses = await testSpan('wait:offense', ()=>retryUntil(async ()=>{
+            const offenses = await nodeAdmin.getSlashOffenses('all');
+            if (offenses.length >= targetOffenseCount) {
+                return offenses;
+            }
+        }, 'non-empty offenses', timeoutSeconds));
+    logger.info(`Hit ${offenses.length} offenses on rounds ${unique(offenses.map((o)=>getRoundForOffense(o, {
+            slashingRoundSize,
+            epochDuration
+        })))}`, {
+        offenses
+    });
+    return offenses;
+}
+/**
+ * Await the committee to be slashed out of the validator set.
+ * Currently assumes that the committee is the same size as the validator set.
+ */ export async function awaitCommitteeKicked({ rollup, cheatCodes, committee, slashingProposer, slashingRoundSize, aztecSlotDuration, aztecEpochDuration, logger, offenseEpoch }) {
+    if (!slashingProposer) {
+        throw new Error('No slashing proposer configured. Cannot test slashing.');
+    }
+    await testSpan('wait:committee-kicked', async ()=>{
+        await cheatCodes.debugRollup();
+        // Use the slash offset to ensure we are in the right epoch for tally
+        const slashOffsetInRounds = await slashingProposer.getSlashOffsetInRounds();
+        const slashingRoundSizeInEpochs = slashingRoundSize / aztecEpochDuration;
+        const slashingOffsetInEpochs = Number(slashOffsetInRounds) * slashingRoundSizeInEpochs;
+        const firstEpochInOffenseRound = offenseEpoch - offenseEpoch % slashingRoundSizeInEpochs;
+        const targetEpoch = firstEpochInOffenseRound + slashingOffsetInEpochs;
+        logger.info(`Advancing to epoch ${targetEpoch} so we start slashing`);
+        await cheatCodes.advanceToEpoch(EpochNumber(targetEpoch), {
+            offset: -aztecSlotDuration / 2
+        });
+        const attestersPre = await rollup.getAttesters();
+        expect(attestersPre.length).toBe(committee.length);
+        for (const attester of attestersPre){
+            const attesterInfo = await rollup.getAttesterView(attester);
+            expect(attesterInfo.status).toEqual(1); // Validating
+        }
+        // Allow up to four round-lengths so that under proposer pipelining, where individual rounds
+        // sometimes fail to gather quorum because parts of the committee miss votes due to chain-state
+        // races, we still see a later round execute the slash.
+        const timeout = slashingRoundSize * 4 * aztecSlotDuration + 30;
+        logger.info(`Waiting for slash to be executed (timeout ${timeout}s)`);
+        await awaitProposalExecution(slashingProposer, timeout, logger);
+        // The attesters should still form the committee but they should be reduced to the "living" status
+        await cheatCodes.debugRollup();
+        const committeePostSlashing = await rollup.getCurrentEpochCommittee();
+        expect(committeePostSlashing?.length).toBe(attestersPre.length);
+        const attestersPostSlashing = await rollup.getAttesters();
+        expect(attestersPostSlashing.length).toBe(0);
+        for (const attester of attestersPre){
+            const attesterInfo = await rollup.getAttesterView(attester);
+            expect(attesterInfo.status).toEqual(2); // Living
+        }
+        logger.info(`Advancing to check current committee`);
+        await cheatCodes.debugRollup();
+        await cheatCodes.advanceToEpoch(EpochNumber(await cheatCodes.getEpoch() + await rollup.getLagInEpochsForValidatorSet() + 1));
+        await cheatCodes.debugRollup();
+        const committeeNextEpoch = await rollup.getCurrentEpochCommittee();
+        // The committee should be undefined, since the validator set is empty
+        // and the tests currently using this helper always set a target committee size.
+        expect(committeeNextEpoch).toBeUndefined();
+        const attestersNextEpoch = await rollup.getAttesters();
+        expect(attestersNextEpoch.length).toBe(0);
+    });
+}
+/** Resolves the slot at which `node` includes `txHash`, by reading the tx receipt and block header. */ export async function getMinedSlot(node, txHash) {
+    const receipt = await node.getTxReceipt(txHash);
+    if (!receipt.blockNumber) {
+        throw new Error(`Tx ${txHash} has no block number on receipt`);
+    }
+    const block = await node.getBlock(receipt.blockNumber);
+    if (!block) {
+        throw new Error(`Block ${receipt.blockNumber} not found`);
+    }
+    return Number(block.header.getSlot());
+}
+/**
+ * Submits `numTxs` account-deployment transactions through `node`, paying with the funded hardcoded
+ * account (`context.accounts[0]`). Repoints the context wallet at `node` so the txs land in that node's
+ * mempool. The mock-gossip equivalent of the old `submitTransactions(logger, node, numTxs, fundedAccount)`
+ * helper, which built a fresh wallet from the funded account.
+ */ export function submitTxsThroughNode(test, node, numTxs) {
+    const wallet = test.context.wallet;
+    wallet.updateNode(node);
+    return submitTxsTo(wallet, test.context.accounts[0], numTxs, test.logger);
+}
+export { jest };