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

package/dest/multi-node/block-production/setup.d.ts

@@ -0,0 +1,97 @@
+import type { Archiver } from '@aztec/archiver';
+import type { AztecNodeConfig, AztecNodeService } from '@aztec/aztec-node';
+import { AztecAddress, EthAddress } from '@aztec/aztec.js/addresses';
+import { NO_WAIT } from '@aztec/aztec.js/contracts';
+import { generateClaimSecret } from '@aztec/aztec.js/ethereum';
+import { Fr } from '@aztec/aztec.js/fields';
+import type { Logger } from '@aztec/aztec.js/log';
+import { isL1ToL2MessageReady } from '@aztec/aztec.js/messaging';
+import { waitForTx } from '@aztec/aztec.js/node';
+import { RollupContract } from '@aztec/ethereum/contracts';
+import { waitUntilL1Timestamp } from '@aztec/ethereum/l1-tx-utils';
+import { asyncMap } from '@aztec/foundation/async-map';
+import { BlockNumber, CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { timesAsync } from '@aztec/foundation/collection';
+import { retryUntil } from '@aztec/foundation/retry';
+import { sleep } from '@aztec/foundation/sleep';
+import { executeTimeout } from '@aztec/foundation/timer';
+import { TestContract } from '@aztec/noir-test-contracts.js/Test';
+import type { SequencerEvents } from '@aztec/sequencer-client';
+import { getSlotAtTimestamp, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
+import { GasFees } from '@aztec/stdlib/gas';
+import { TxStatus } from '@aztec/stdlib/tx';
+import { jest } from '@jest/globals';
+import { sendL1ToL2Message } from '../../fixtures/l1_to_l2_messaging.js';
+import type { EndToEndContext } from '../../fixtures/utils.js';
+import { waitForBlockNumber, waitForTxs } from '../../fixtures/wait_helpers.js';
+import type { TestWallet } from '../../test-wallet/test_wallet.js';
+import { proveInteraction } from '../../test-wallet/utils.js';
+import { type BlockProposedEvent, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, MultiNodeTestContext, type MultiNodeTestOpts, type RegisteredValidator, type TrackedSequencerEvent, WIDE_SLOT_TIMING, buildMockGossipValidators } from '../multi_node_test_context.js';
+export declare const NODE_COUNT = 4;
+export declare const TX_COUNT = 10;
+/** The validator cluster + context produced by {@link setupSimpleBlockProduction}. */
+export type SimpleBlockProductionFixture = {
+    test: MultiNodeTestContext;
+    context: EndToEndContext;
+    logger: Logger;
+    validators: RegisteredValidator[];
+    nodes: AztecNodeService[];
+    from: AztecAddress;
+};
+/** State shared by the wide-slot `it`s (handles 4 validators + prover + a wallet pointed at node 0). */
+export type BlockProductionWithProverFixture = {
+    test: MultiNodeTestContext;
+    context: EndToEndContext;
+    logger: Logger;
+    rollup: RollupContract;
+    archiver: Archiver;
+    validators: RegisteredValidator[];
+    nodes: AztecNodeService[];
+    contract: TestContract;
+    wallet: TestWallet;
+    from: AztecAddress;
+    failEvents: TrackedSequencerEvent[];
+};
+/**
+ * Stands up the `block-production` validator cluster shared by the `MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING` tests
+ * (`simple`, `high_tps`): builds `nodeCount` mock-gossip validators, sets up the context with the
+ * block-production timing profile, spawns one validator node per validator, and returns the cluster. The
+ * per-test divergence (`fakeProcessingDelayPerTxMs`, `txDelayerMaxInclusionTimeIntoSlot`,
+ * min/maxTxsPerBlock, whether sequencers start eagerly, contract type) passes through `opts`. Mirrors
+ * how {@link setupBlockProductionWithProver} factors out the prover-backed setup; the test still registers its own contract.
+ */
+export declare function setupSimpleBlockProduction(opts: {
+    nodeCount: number;
+    setupOpts?: Partial<MultiNodeTestOpts>;
+    nodeOpts?: Partial<AztecNodeConfig> & {
+        dontStartSequencer?: boolean;
+    };
+}): Promise<SimpleBlockProductionFixture>;
+/**
+ * Creates validators and sets up a wide-slot test context with the pipelining timing profile and a prover
+ * node, then starts (paused) validator nodes and points the wallet at node 0. Mirrors the per-test
+ * setup from the dissolved `mbps.parallel` file. The blob-promotion and pipeline-prune suites layer their
+ * adverse-network shape on via `mockGossipSubNetworkLatency`, `maxTxsPerCheckpoint`, `clearInheritedCoinbase`,
+ * and `disableCheckpointPromotionOnFirstNode`.
+ */
+export declare function setupBlockProductionWithProver(opts: {
+    syncChainTip: 'proposed' | 'checkpointed';
+    minTxsPerBlock?: number;
+    maxTxsPerBlock?: number;
+    maxTxsPerCheckpoint?: number;
+    buildCheckpointIfEmpty?: boolean;
+    skipPushProposedBlocksToArchiver?: boolean;
+    /** Injects artificial mock-gossip propagation latency (ms) to model adverse network conditions. */
+    mockGossipSubNetworkLatency?: number;
+    /** Clears each validator node's inherited coinbase so it derives one from its own attester key. */
+    clearInheritedCoinbase?: boolean;
+    /**
+     * Disables checkpoint promotion on node 0 (`skipPromoteProposedCheckpointDuringL1Sync`), so node 0 fetches
+     * blobs during L1 sync while its peers promote their own proposed checkpoints and skip the blob fetch.
+     */
+    disableCheckpointPromotionOnFirstNode?: boolean;
+}): Promise<BlockProductionWithProverFixture>;
+/** Waits until a specific multi-block checkpoint is proven, verifying that proving succeeds with multiple-blocks-per-slot. */
+export declare function waitForProvenCheckpoint(fixture: BlockProductionWithProverFixture, targetCheckpoint: CheckpointNumber): Promise<void>;
+export { type Archiver, type AztecNodeConfig, type AztecNodeService, AztecAddress, EthAddress, NO_WAIT, generateClaimSecret, Fr, type Logger, isL1ToL2MessageReady, waitForTx, RollupContract, waitUntilL1Timestamp, asyncMap, BlockNumber, CheckpointNumber, SlotNumber, timesAsync, retryUntil, sleep, executeTimeout, TestContract, type SequencerEvents, getSlotAtTimestamp, getTimestampForSlot, GasFees, TxStatus, jest, sendL1ToL2Message, type EndToEndContext, waitForBlockNumber, waitForTxs, type TestWallet, proveInteraction, type BlockProposedEvent, WIDE_SLOT_TIMING, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, MultiNodeTestContext, type RegisteredValidator, type TrackedSequencerEvent, buildMockGossipValidators, };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9tdWx0aS1ub2RlL2Jsb2NrLXByb2R1Y3Rpb24vc2V0dXAudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDaEQsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLGdCQUFnQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDM0UsT0FBTyxFQUFFLFlBQVksRUFBRSxVQUFVLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNyRSxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDcEQsT0FBTyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDL0QsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQzVDLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2xELE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ2pFLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNqRCxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDM0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDbkUsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ3ZELE9BQU8sRUFBRSxXQUFXLEVBQUUsZ0JBQWdCLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDNUYsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBQzFELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNyRCxPQUFPLEVBQUUsS0FBSyxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDaEQsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ3pELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUNsRSxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUMvRCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUN0RixPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDNUMsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRTVDLE9BQU8sRUFBRSxJQUFJLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFFckMsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sc0NBQXNDLENBQUM7QUFFekUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDL0QsT0FBTyxFQUFFLGtCQUFrQixFQUFFLFVBQVUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ2hGLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBQ25FLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQzlELE9BQU8sRUFDTCxLQUFLLGtCQUFrQixFQUV2Qix1Q0FBdUMsRUFDdkMsb0JBQW9CLEVBQ3BCLEtBQUssaUJBQWlCLEVBQ3RCLEtBQUssbUJBQW1CLEVBQ3hCLEtBQUsscUJBQXFCLEVBQzFCLGdCQUFnQixFQUNoQix5QkFBeUIsRUFDMUIsTUFBTSwrQkFBK0IsQ0FBQztBQUl2QyxlQUFPLE1BQU0sVUFBVSxJQUFJLENBQUM7QUFPNUIsZUFBTyxNQUFNLFFBQVEsS0FBSyxDQUFDO0FBRTNCLHNGQUFzRjtBQUN0RixNQUFNLE1BQU0sNEJBQTRCLEdBQUc7SUFDekMsSUFBSSxFQUFFLG9CQUFvQixDQUFDO0lBQzNCLE9BQU8sRUFBRSxlQUFlLENBQUM7SUFDekIsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLFVBQVUsRUFBRSxtQkFBbUIsRUFBRSxDQUFDO0lBQ2xDLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxDQUFDO0lBQzFCLElBQUksRUFBRSxZQUFZLENBQUM7Q0FDcEIsQ0FBQztBQUVGLHdHQUF3RztBQUN4RyxNQUFNLE1BQU0sZ0NBQWdDLEdBQUc7SUFDN0MsSUFBSSxFQUFFLG9CQUFvQixDQUFDO0lBQzNCLE9BQU8sRUFBRSxlQUFlLENBQUM7SUFDekIsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLE1BQU0sRUFBRSxjQUFjLENBQUM7SUFDdkIsUUFBUSxFQUFFLFFBQVEsQ0FBQztJQUNuQixVQUFVLEVBQUUsbUJBQW1CLEVBQUUsQ0FBQztJQUNsQyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsQ0FBQztJQUMxQixRQUFRLEVBQUUsWUFBWSxDQUFDO0lBQ3ZCLE1BQU0sRUFBRSxVQUFVLENBQUM7SUFDbkIsSUFBSSxFQUFFLFlBQVksQ0FBQztJQUNuQixVQUFVLEVBQUUscUJBQXFCLEVBQUUsQ0FBQztDQUNyQyxDQUFDO0FBaUNGOzs7Ozs7O0dBT0c7QUFDSCx3QkFBZ0IsMEJBQTBCLENBQUMsSUFBSSxFQUFFO0lBQy9DLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsU0FBUyxDQUFDLEVBQUUsT0FBTyxDQUFDLGlCQUFpQixDQUFDLENBQUM7SUFDdkMsUUFBUSxDQUFDLEVBQUUsT0FBTyxDQUFDLGVBQWUsQ0FBQyxHQUFHO1FBQUUsa0JBQWtCLENBQUMsRUFBRSxPQUFPLENBQUE7S0FBRSxDQUFDO0NBQ3hFLEdBQUcsT0FBTyxDQUFDLDRCQUE0QixDQUFDLENBTXhDO0FBRUQ7Ozs7OztHQU1HO0FBQ0gsd0JBQXNCLDhCQUE4QixDQUFDLElBQUksRUFBRTtJQUN6RCxZQUFZLEVBQUUsVUFBVSxHQUFHLGNBQWMsQ0FBQztJQUMxQyxjQUFjLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDeEIsY0FBYyxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3hCLG1CQUFtQixDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQzdCLHNCQUFzQixDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQ2pDLGdDQUFnQyxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQzNDLG1HQUFtRztJQUNuRywyQkFBMkIsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNyQyxtR0FBbUc7SUFDbkcsc0JBQXNCLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDakM7OztPQUdHO0lBQ0gscUNBQXFDLENBQUMsRUFBRSxPQUFPLENBQUM7Q0FDakQsR0FBRyxPQUFPLENBQUMsZ0NBQWdDLENBQUMsQ0E4QzVDO0FBRUQsOEhBQThIO0FBQzlILHdCQUFzQix1QkFBdUIsQ0FDM0MsT0FBTyxFQUFFLGdDQUFnQyxFQUN6QyxnQkFBZ0IsRUFBRSxnQkFBZ0IsaUJBdUJuQztBQUVELE9BQU8sRUFDTCxLQUFLLFFBQVEsRUFDYixLQUFLLGVBQWUsRUFDcEIsS0FBSyxnQkFBZ0IsRUFDckIsWUFBWSxFQUNaLFVBQVUsRUFDVixPQUFPLEVBQ1AsbUJBQW1CLEVBQ25CLEVBQUUsRUFDRixLQUFLLE1BQU0sRUFDWCxvQkFBb0IsRUFDcEIsU0FBUyxFQUNULGNBQWMsRUFDZCxvQkFBb0IsRUFDcEIsUUFBUSxFQUNSLFdBQVcsRUFDWCxnQkFBZ0IsRUFDaEIsVUFBVSxFQUNWLFVBQVUsRUFDVixVQUFVLEVBQ1YsS0FBSyxFQUNMLGNBQWMsRUFDZCxZQUFZLEVBQ1osS0FBSyxlQUFlLEVBQ3BCLGtCQUFrQixFQUNsQixtQkFBbUIsRUFDbkIsT0FBTyxFQUNQLFFBQVEsRUFDUixJQUFJLEVBQ0osaUJBQWlCLEVBQ2pCLEtBQUssZUFBZSxFQUNwQixrQkFBa0IsRUFDbEIsVUFBVSxFQUNWLEtBQUssVUFBVSxFQUNmLGdCQUFnQixFQUNoQixLQUFLLGtCQUFrQixFQUN2QixnQkFBZ0IsRUFDaEIsdUNBQXVDLEVBQ3ZDLG9CQUFvQixFQUNwQixLQUFLLG1CQUFtQixFQUN4QixLQUFLLHFCQUFxQixFQUMxQix5QkFBeUIsR0FDMUIsQ0FBQyJ9

package/dest/multi-node/block-production/setup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/multi-node/block-production/setup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC5F,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AACtF,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAEzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EACL,KAAK,kBAAkB,EAEvB,uCAAuC,EACvC,oBAAoB,EACpB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,gBAAgB,EAChB,yBAAyB,EAC1B,MAAM,+BAA+B,CAAC;AAIvC,eAAO,MAAM,UAAU,IAAI,CAAC;AAO5B,eAAO,MAAM,QAAQ,KAAK,CAAC;AAE3B,sFAAsF;AACtF,MAAM,MAAM,4BAA4B,GAAG;IACzC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,OAAO,EAAE,eAAe,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,IAAI,EAAE,YAAY,CAAC;CACpB,CAAC;AAEF,wGAAwG;AACxG,MAAM,MAAM,gCAAgC,GAAG;IAC7C,IAAI,EAAE,oBAAoB,CAAC;IAC3B,OAAO,EAAE,eAAe,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,cAAc,CAAC;IACvB,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,UAAU,CAAC;IACnB,IAAI,EAAE,YAAY,CAAC;IACnB,UAAU,EAAE,qBAAqB,EAAE,CAAC;CACrC,CAAC;AAiCF;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACvC,QAAQ,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG;QAAE,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CACxE,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAMxC;AAED;;;;;;GAMG;AACH,wBAAsB,8BAA8B,CAAC,IAAI,EAAE;IACzD,YAAY,EAAE,UAAU,GAAG,cAAc,CAAC;IAC1C,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,gCAAgC,CAAC,EAAE,OAAO,CAAC;IAC3C,mGAAmG;IACnG,2BAA2B,CAAC,EAAE,MAAM,CAAC;IACrC,mGAAmG;IACnG,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC;;;OAGG;IACH,qCAAqC,CAAC,EAAE,OAAO,CAAC;CACjD,GAAG,OAAO,CAAC,gCAAgC,CAAC,CA8C5C;AAED,8HAA8H;AAC9H,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,gCAAgC,EACzC,gBAAgB,EAAE,gBAAgB,iBAuBnC;AAED,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,YAAY,EACZ,UAAU,EACV,OAAO,EACP,mBAAmB,EACnB,EAAE,EACF,KAAK,MAAM,EACX,oBAAoB,EACpB,SAAS,EACT,cAAc,EACd,oBAAoB,EACpB,QAAQ,EACR,WAAW,EACX,gBAAgB,EAChB,UAAU,EACV,UAAU,EACV,UAAU,EACV,KAAK,EACL,cAAc,EACd,YAAY,EACZ,KAAK,eAAe,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,iBAAiB,EACjB,KAAK,eAAe,EACpB,kBAAkB,EAClB,UAAU,EACV,KAAK,UAAU,EACf,gBAAgB,EAChB,KAAK,kBAAkB,EACvB,gBAAgB,EAChB,uCAAuC,EACvC,oBAAoB,EACpB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,yBAAyB,GAC1B,CAAC"}

package/dest/multi-node/block-production/setup.js

@@ -0,0 +1,158 @@
+import { AztecAddress, EthAddress } from '@aztec/aztec.js/addresses';
+import { NO_WAIT } from '@aztec/aztec.js/contracts';
+import { generateClaimSecret } from '@aztec/aztec.js/ethereum';
+import { Fr } from '@aztec/aztec.js/fields';
+import { isL1ToL2MessageReady } from '@aztec/aztec.js/messaging';
+import { waitForTx } from '@aztec/aztec.js/node';
+import { RollupContract } from '@aztec/ethereum/contracts';
+import { waitUntilL1Timestamp } from '@aztec/ethereum/l1-tx-utils';
+import { asyncMap } from '@aztec/foundation/async-map';
+import { BlockNumber, CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { timesAsync } from '@aztec/foundation/collection';
+import { retryUntil } from '@aztec/foundation/retry';
+import { sleep } from '@aztec/foundation/sleep';
+import { executeTimeout } from '@aztec/foundation/timer';
+import { TestContract } from '@aztec/noir-test-contracts.js/Test';
+import { getSlotAtTimestamp, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
+import { GasFees } from '@aztec/stdlib/gas';
+import { TxStatus } from '@aztec/stdlib/tx';
+import { jest } from '@jest/globals';
+import { sendL1ToL2Message } from '../../fixtures/l1_to_l2_messaging.js';
+import { testSpan } from '../../fixtures/timing.js';
+import { waitForBlockNumber, waitForTxs } from '../../fixtures/wait_helpers.js';
+import { proveInteraction } from '../../test-wallet/utils.js';
+import { MOCK_GOSSIP_MULTI_VALIDATOR_OPTS, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, MultiNodeTestContext, WIDE_SLOT_TIMING, buildMockGossipValidators } from '../multi_node_test_context.js';
+jest.setTimeout(1000 * 60 * 20);
+export const NODE_COUNT = 4;
+// Send enough transactions to trigger multiple blocks within a checkpoint assuming 2 txs per block.
+// If we start including txs at the 2nd block of a checkpoint, we can ensure a 3-block checkpoint
+// if we produce 10 txs:
+// - Checkpoint 1: Block 1 (0 txs), Block 2 (2 txs), Block 3 (2 txs)
+// - Checkpoint 2: Block 1 (2 txs), Block 2 (2 txs), Block 3 (2 txs)
+export const TX_COUNT = 10;
+/** Shared spine: builds N mock-gossip validators, sets up the context, spawns one node per validator. */ async function buildValidatorCluster(opts) {
+    const validators = buildMockGossipValidators(opts.nodeCount);
+    const test = await MultiNodeTestContext.setup({
+        ...opts.setupOpts,
+        initialValidators: validators
+    });
+    const { context, logger } = test;
+    const from = context.accounts[0];
+    logger.warn(`Initial setup complete. Starting ${opts.nodeCount} validator nodes.`);
+    const nodes = await asyncMap(validators, ({ privateKey }, i)=>test.createValidatorNode([
+            privateKey
+        ], typeof opts.nodeOpts === 'function' ? opts.nodeOpts(i) : {
+            ...opts.nodeOpts
+        }));
+    logger.warn(`Started ${opts.nodeCount} validator nodes.`, {
+        validators: validators.map((v)=>v.attester.toString())
+    });
+    return {
+        test,
+        context,
+        logger,
+        validators,
+        nodes,
+        from
+    };
+}
+/**
+ * Stands up the `block-production` validator cluster shared by the `MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING` tests
+ * (`simple`, `high_tps`): builds `nodeCount` mock-gossip validators, sets up the context with the
+ * block-production timing profile, spawns one validator node per validator, and returns the cluster. The
+ * per-test divergence (`fakeProcessingDelayPerTxMs`, `txDelayerMaxInclusionTimeIntoSlot`,
+ * min/maxTxsPerBlock, whether sequencers start eagerly, contract type) passes through `opts`. Mirrors
+ * how {@link setupBlockProductionWithProver} factors out the prover-backed setup; the test still registers its own contract.
+ */ export function setupSimpleBlockProduction(opts) {
+    return buildValidatorCluster({
+        nodeCount: opts.nodeCount,
+        setupOpts: {
+            ...MOCK_GOSSIP_MULTI_VALIDATOR_OPTS,
+            ...MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING,
+            ...opts.setupOpts
+        },
+        nodeOpts: opts.nodeOpts
+    });
+}
+/**
+ * Creates validators and sets up a wide-slot test context with the pipelining timing profile and a prover
+ * node, then starts (paused) validator nodes and points the wallet at node 0. Mirrors the per-test
+ * setup from the dissolved `mbps.parallel` file. The blob-promotion and pipeline-prune suites layer their
+ * adverse-network shape on via `mockGossipSubNetworkLatency`, `maxTxsPerCheckpoint`, `clearInheritedCoinbase`,
+ * and `disableCheckpointPromotionOnFirstNode`.
+ */ export async function setupBlockProductionWithProver(opts) {
+    const { syncChainTip = 'checkpointed', clearInheritedCoinbase = false, disableCheckpointPromotionOnFirstNode = false, ...setupOpts } = opts;
+    // WIDE_SLOT_TIMING is the wide 72s/12s pipelining cadence (see A-914 on why the tighter 36s/4s breaks
+    // non-proposer nodes); the JSDoc on the profile carries the full rationale.
+    const { test, context, logger, validators, nodes, from } = await buildValidatorCluster({
+        nodeCount: NODE_COUNT,
+        setupOpts: {
+            ...WIDE_SLOT_TIMING,
+            numberOfAccounts: 0,
+            mockGossipSubNetwork: true,
+            startProverNode: true,
+            ...setupOpts,
+            pxeOpts: {
+                syncChainTip
+            },
+            skipInitialSequencer: true,
+            inboxLag: 2
+        },
+        nodeOpts: (index)=>({
+                dontStartSequencer: true,
+                ...clearInheritedCoinbase ? {
+                    coinbase: undefined
+                } : {},
+                ...disableCheckpointPromotionOnFirstNode && index === 0 ? {
+                    skipPromoteProposedCheckpointDuringL1Sync: true
+                } : {}
+            })
+    });
+    const { rollup } = test;
+    const wallet = context.wallet;
+    const { failEvents } = test.watchNodeSequencerEvents(nodes);
+    // Point the wallet at a validator node. The initial node-0 has all validator keys in its config,
+    // so it rejects block proposals from validators thinking they come from itself. By redirecting
+    // the wallet to a validator node, the PXE correctly tracks proposed blocks.
+    wallet.updateNode(nodes[0]);
+    const archiver = nodes[0].getBlockSource();
+    // Register contract for sending txs.
+    const contract = await test.registerTestContract(wallet);
+    logger.warn(`Test setup completed.`, {
+        validators: validators.map((v)=>v.attester.toString())
+    });
+    return {
+        test,
+        context,
+        logger,
+        rollup,
+        archiver,
+        validators,
+        nodes,
+        contract,
+        wallet,
+        from,
+        failEvents
+    };
+}
+/** Waits until a specific multi-block checkpoint is proven, verifying that proving succeeds with multiple-blocks-per-slot. */ export async function waitForProvenCheckpoint(fixture, targetCheckpoint) {
+    const { test, nodes, logger, failEvents } = fixture;
+    test.assertNoFailuresFromSequencers(failEvents);
+    logger.warn(`Stopping validator sequencers before waiting for checkpoint ${targetCheckpoint} to be proven`);
+    await Promise.all(nodes.map((n)=>n.getSequencer()?.stop()));
+    // With the sequencers stopped, no further blocks are produced, so waiting out the rest of the epoch in
+    // wall-clock is dead time. Warp the L1 clock forward past the epoch boundary so the epoch containing
+    // targetCheckpoint closes and the fake prover can prove+submit it; the subsequent wait then only covers
+    // the (real-time) proving+submission. A single next-epoch jump stays inside the proof-submission window
+    // (proofSubmissionEpochs >= 1), so it never crosses the submission deadline. Skipped if already proven,
+    // and forward-only since advanceToNextEpoch never rewinds.
+    const { proven } = await test.context.cheatCodes.rollup.getTips();
+    if (proven < targetCheckpoint) {
+        await testSpan('warp:proven-checkpoint-epoch', ()=>test.context.cheatCodes.rollup.advanceToNextEpoch());
+    }
+    const provenTimeout = test.L2_SLOT_DURATION_IN_S * test.epochDuration * 4;
+    logger.warn(`Waiting for checkpoint ${targetCheckpoint} to be proven (timeout=${provenTimeout}s)`);
+    await test.waitUntilProvenCheckpointNumber(targetCheckpoint, provenTimeout);
+    logger.warn(`Proven checkpoint advanced to ${test.monitor.provenCheckpointNumber}`);
+}
+export { AztecAddress, EthAddress, NO_WAIT, generateClaimSecret, Fr, isL1ToL2MessageReady, waitForTx, RollupContract, waitUntilL1Timestamp, asyncMap, BlockNumber, CheckpointNumber, SlotNumber, timesAsync, retryUntil, sleep, executeTimeout, TestContract, getSlotAtTimestamp, getTimestampForSlot, GasFees, TxStatus, jest, sendL1ToL2Message, waitForBlockNumber, waitForTxs, proveInteraction, WIDE_SLOT_TIMING, MULTI_VALIDATOR_BLOCK_PRODUCTION_TIMING, MultiNodeTestContext, buildMockGossipValidators };

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

@@ -0,0 +1,67 @@
+import { RollupContract } from '@aztec/ethereum/contracts';
+import type { L1TxUtils } from '@aztec/ethereum/l1-tx-utils';
+import type { ExtendedViemWalletClient } from '@aztec/ethereum/types';
+import { GovernanceAbi, GovernanceProposerAbi } from '@aztec/l1-artifacts';
+import { jest } from '@jest/globals';
+import { type GetContractReturnType } from 'viem';
+import type { MultiNodeTestContext } from '../multi_node_test_context.js';
+/**
+ * The shortened block-time timing the governance tests run on: a 12s L2 slot, 4s L1 slot, and a long
+ * proof-submission window so unproven blocks are never pruned (the committee runs no prover). Spread into
+ * a {@link MultiNodeTestContext.setup} call alongside {@link MOCK_GOSSIP_MULTI_VALIDATOR_OPTS} and
+ * `initialValidators`.
+ */
+export declare const GOVERNANCE_TIMING: {
+    readonly aztecSlotDuration: 12;
+    readonly ethereumSlotDuration: 4;
+    readonly aztecProofSubmissionEpochs: 640;
+};
+/** The current round leader's payload and its signal count, as observed by {@link GovernanceTestDriver.govInfo}. */
+type GovRoundState = {
+    round: bigint;
+    leaderVotes: bigint;
+};
+/**
+ * Wraps the L1 governance-proposer / governance / rollup contracts and the round-driving mechanics shared by
+ * the governance suites (`add_rollup`, `upgrade_governance_proposer`): warping to round boundaries, polling
+ * round state, waiting for signal quorum, submitting the round winner, and voting a proposal through to
+ * executable. Scenario-specific payload construction, node signaling, and post-execution assertions stay in
+ * each test.
+ */
+export interface GovernanceTestDriver {
+    governanceProposer: GetContractReturnType<typeof GovernanceProposerAbi, ExtendedViemWalletClient>;
+    governance: GetContractReturnType<typeof GovernanceAbi, ExtendedViemWalletClient>;
+    rollup: RollupContract;
+    roundSize: bigint;
+    emperor: ExtendedViemWalletClient['account'];
+    /** Sends a 1-wei self-transfer to mine a fresh L1 block, so warped time takes effect. */
+    waitL1Block: () => Promise<void>;
+    /** Reads the current round's leading payload and its signal count. */
+    govInfo: () => Promise<GovRoundState>;
+    /** Warps L1 to the start of the next governance-proposer round. */
+    warpToNextRound: () => Promise<void>;
+    /** Polls once per L2 slot until the round leader reaches quorum, returning the round state at that point. */
+    waitForQuorum: (quorumSize: bigint, timeoutSeconds: number) => Promise<GovRoundState>;
+    /** Submits the winning payload of `round` to the governance proposer, creating the on-chain proposal. */
+    submitRoundWinner: (round: bigint) => Promise<void>;
+    /**
+     * Warps past the proposal's voting delay, casts a yes vote (asserting it lands), then warps past the
+     * voting duration and execution delay so the proposal becomes executable.
+     */
+    voteToExecutable: () => Promise<void>;
+}
+/** Builds a {@link GovernanceTestDriver} over the context's L1 governance contracts. */
+export declare function createGovernanceTestDriver(test: MultiNodeTestContext, l1TxUtils: L1TxUtils): Promise<GovernanceTestDriver>;
+/**
+ * Drives one governance round to an executable proposal: waits for the signaled payload to reach quorum,
+ * warps to the next round, submits the round winner, then votes the resulting proposal through its voting
+ * and execution delays. Returns the round state observed at quorum; the caller performs the scenario-specific
+ * execution and assertions.
+ */
+export declare function driveGovernanceRound(driver: GovernanceTestDriver, opts: {
+    quorumTimeoutSeconds: number;
+}): Promise<{
+    govData: GovRoundState;
+}>;
+export { jest };
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2V0dXAuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9tdWx0aS1ub2RlL2dvdmVybmFuY2Uvc2V0dXAudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQzNELE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQzdELE9BQU8sS0FBSyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFHdEUsT0FBTyxFQUFFLGFBQWEsRUFBRSxxQkFBcUIsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRTNFLE9BQU8sRUFBRSxJQUFJLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFDckMsT0FBTyxFQUFFLEtBQUsscUJBQXFCLEVBQStDLE1BQU0sTUFBTSxDQUFDO0FBRS9GLE9BQU8sS0FBSyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFJMUU7Ozs7O0dBS0c7QUFDSCxlQUFPLE1BQU0saUJBQWlCOzs7O0NBSXBCLENBQUM7QUFFWCxvSEFBb0g7QUFDcEgsS0FBSyxhQUFhLEdBQUc7SUFBRSxLQUFLLEVBQUUsTUFBTSxDQUFDO0lBQUMsV0FBVyxFQUFFLE1BQU0sQ0FBQTtDQUFFLENBQUM7QUFFNUQ7Ozs7OztHQU1HO0FBQ0gsTUFBTSxXQUFXLG9CQUFvQjtJQUNuQyxrQkFBa0IsRUFBRSxxQkFBcUIsQ0FBQyxPQUFPLHFCQUFxQixFQUFFLHdCQUF3QixDQUFDLENBQUM7SUFDbEcsVUFBVSxFQUFFLHFCQUFxQixDQUFDLE9BQU8sYUFBYSxFQUFFLHdCQUF3QixDQUFDLENBQUM7SUFDbEYsTUFBTSxFQUFFLGNBQWMsQ0FBQztJQUN2QixTQUFTLEVBQUUsTUFBTSxDQUFDO0lBQ2xCLE9BQU8sRUFBRSx3QkFBd0IsQ0FBQyxTQUFTLENBQUMsQ0FBQztJQUM3Qyx5RkFBeUY7SUFDekYsV0FBVyxFQUFFLE1BQU0sT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0lBQ2pDLHNFQUFzRTtJQUN0RSxPQUFPLEVBQUUsTUFBTSxPQUFPLENBQUMsYUFBYSxDQUFDLENBQUM7SUFDdEMsbUVBQW1FO0lBQ25FLGVBQWUsRUFBRSxNQUFNLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUNyQyw2R0FBNkc7SUFDN0csYUFBYSxFQUFFLENBQUMsVUFBVSxFQUFFLE1BQU0sRUFBRSxjQUFjLEVBQUUsTUFBTSxLQUFLLE9BQU8sQ0FBQyxhQUFhLENBQUMsQ0FBQztJQUN0Rix5R0FBeUc7SUFDekcsaUJBQWlCLEVBQUUsQ0FBQyxLQUFLLEVBQUUsTUFBTSxLQUFLLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUNwRDs7O09BR0c7SUFDSCxnQkFBZ0IsRUFBRSxNQUFNLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztDQUN2QztBQUVELHdGQUF3RjtBQUN4Rix3QkFBc0IsMEJBQTBCLENBQzlDLElBQUksRUFBRSxvQkFBb0IsRUFDMUIsU0FBUyxFQUFFLFNBQVMsR0FDbkIsT0FBTyxDQUFDLG9CQUFvQixDQUFDLENBdUYvQjtBQUVEOzs7OztHQUtHO0FBQ0gsd0JBQXNCLG9CQUFvQixDQUN4QyxNQUFNLEVBQUUsb0JBQW9CLEVBQzVCLElBQUksRUFBRTtJQUFFLG9CQUFvQixFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQ3JDLE9BQU8sQ0FBQztJQUFFLE9BQU8sRUFBRSxhQUFhLENBQUE7Q0FBRSxDQUFDLENBUXJDO0FBRUQsT0FBTyxFQUFFLElBQUksRUFBRSxDQUFDIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../../../src/multi-node/governance/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAGtE,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE3E,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,KAAK,qBAAqB,EAA+C,MAAM,MAAM,CAAC;AAE/F,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAI1E;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB;;;;CAIpB,CAAC;AAEX,oHAAoH;AACpH,KAAK,aAAa,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5D;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;IACnC,kBAAkB,EAAE,qBAAqB,CAAC,OAAO,qBAAqB,EAAE,wBAAwB,CAAC,CAAC;IAClG,UAAU,EAAE,qBAAqB,CAAC,OAAO,aAAa,EAAE,wBAAwB,CAAC,CAAC;IAClF,MAAM,EAAE,cAAc,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAC7C,yFAAyF;IACzF,WAAW,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,sEAAsE;IACtE,OAAO,EAAE,MAAM,OAAO,CAAC,aAAa,CAAC,CAAC;IACtC,mEAAmE;IACnE,eAAe,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,6GAA6G;IAC7G,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC;IACtF,yGAAyG;IACzG,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD;;;OAGG;IACH,gBAAgB,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CACvC;AAED,wFAAwF;AACxF,wBAAsB,0BAA0B,CAC9C,IAAI,EAAE,oBAAoB,EAC1B,SAAS,EAAE,SAAS,GACnB,OAAO,CAAC,oBAAoB,CAAC,CAuF/B;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,oBAAoB,EAC5B,IAAI,EAAE;IAAE,oBAAoB,EAAE,MAAM,CAAA;CAAE,GACrC,OAAO,CAAC;IAAE,OAAO,EAAE,aAAa,CAAA;CAAE,CAAC,CAQrC;AAED,OAAO,EAAE,IAAI,EAAE,CAAC"}

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

@@ -0,0 +1,126 @@
+import { RollupContract } from '@aztec/ethereum/contracts';
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import { retryUntil } from '@aztec/foundation/retry';
+import { GovernanceAbi, GovernanceProposerAbi } from '@aztec/l1-artifacts';
+import { jest } from '@jest/globals';
+import { encodeFunctionData, getAddress, getContract } from 'viem';
+jest.setTimeout(1000 * 60 * 10);
+/**
+ * The shortened block-time timing the governance tests run on: a 12s L2 slot, 4s L1 slot, and a long
+ * proof-submission window so unproven blocks are never pruned (the committee runs no prover). Spread into
+ * a {@link MultiNodeTestContext.setup} call alongside {@link MOCK_GOSSIP_MULTI_VALIDATOR_OPTS} and
+ * `initialValidators`.
+ */ export const GOVERNANCE_TIMING = {
+    aztecSlotDuration: 12,
+    ethereumSlotDuration: 4,
+    aztecProofSubmissionEpochs: 640
+};
+/** Builds a {@link GovernanceTestDriver} over the context's L1 governance contracts. */ export async function createGovernanceTestDriver(test, l1TxUtils) {
+    const { l1Client, l1ContractAddresses } = test.context.deployL1ContractsValues;
+    const rollupAddress = l1ContractAddresses.rollupAddress.toString();
+    const governanceProposer = getContract({
+        address: getAddress(l1ContractAddresses.governanceProposerAddress.toString()),
+        abi: GovernanceProposerAbi,
+        client: l1Client
+    });
+    const governance = getContract({
+        address: getAddress(l1ContractAddresses.governanceAddress.toString()),
+        abi: GovernanceAbi,
+        client: l1Client
+    });
+    const rollup = new RollupContract(l1Client, l1ContractAddresses.rollupAddress);
+    const roundSize = await governanceProposer.read.ROUND_SIZE();
+    const emperor = l1Client.account;
+    const waitL1Block = async ()=>{
+        await l1TxUtils.sendAndMonitorTransaction({
+            to: emperor.address,
+            value: 1n
+        });
+    };
+    const govInfo = async ()=>{
+        const bn = await test.context.cheatCodes.eth.blockNumber();
+        const slot = await rollup.getSlotNumber();
+        const round = await governanceProposer.read.computeRound([
+            BigInt(slot)
+        ]);
+        const info = await governanceProposer.read.getRoundData([
+            rollupAddress,
+            round
+        ]);
+        const leaderVotes = await governanceProposer.read.signalCount([
+            rollupAddress,
+            round,
+            info.payloadWithMostSignals
+        ]);
+        test.logger.info(`Governance stats for round ${round} (Slot: ${slot}, BN: ${bn}). Leader: ${info.payloadWithMostSignals} have ${leaderVotes} signals`);
+        return {
+            round,
+            leaderVotes
+        };
+    };
+    const warpToNextRound = async ()=>{
+        const currentSlot = await rollup.getSlotNumber();
+        const nextRoundSlot = SlotNumber.fromBigInt(BigInt(currentSlot) / roundSize * roundSize + roundSize);
+        const nextRoundTimestamp = await rollup.getTimestampForSlot(nextRoundSlot);
+        await test.context.cheatCodes.eth.warp(Number(nextRoundTimestamp));
+    };
+    const waitForQuorum = (quorumSize, timeoutSeconds)=>retryUntil(async ()=>{
+            const data = await govInfo();
+            return data.leaderVotes >= quorumSize ? data : undefined;
+        }, 'governance leader reaches quorum', timeoutSeconds, GOVERNANCE_TIMING.aztecSlotDuration);
+    const submitRoundWinner = async (round)=>{
+        await l1TxUtils.sendAndMonitorTransaction({
+            to: governanceProposer.address,
+            data: encodeFunctionData({
+                abi: GovernanceProposerAbi,
+                functionName: 'submitRoundWinner',
+                args: [
+                    round
+                ]
+            })
+        });
+    };
+    const voteToExecutable = async ()=>{
+        const proposal = await governance.read.getProposal([
+            0n
+        ]);
+        const timeToActive = proposal.creation + proposal.config.votingDelay;
+        await test.context.cheatCodes.eth.warp(Number(timeToActive + 1n));
+        await waitL1Block();
+        const voteTx = await rollup.vote(l1TxUtils, 0n);
+        expect(voteTx.receipt?.status).toBe('success');
+        const timeToExecutable = timeToActive + proposal.config.votingDuration + proposal.config.executionDelay + 1n;
+        await test.context.cheatCodes.eth.warp(Number(timeToExecutable));
+        await waitL1Block();
+    };
+    return {
+        governanceProposer,
+        governance,
+        rollup,
+        roundSize,
+        emperor,
+        waitL1Block,
+        govInfo,
+        warpToNextRound,
+        waitForQuorum,
+        submitRoundWinner,
+        voteToExecutable
+    };
+}
+/**
+ * Drives one governance round to an executable proposal: waits for the signaled payload to reach quorum,
+ * warps to the next round, submits the round winner, then votes the resulting proposal through its voting
+ * and execution delays. Returns the round state observed at quorum; the caller performs the scenario-specific
+ * execution and assertions.
+ */ export async function driveGovernanceRound(driver, opts) {
+    const quorumSize = await driver.governanceProposer.read.QUORUM_SIZE();
+    const govData = await driver.waitForQuorum(quorumSize, opts.quorumTimeoutSeconds);
+    await driver.warpToNextRound();
+    await driver.waitL1Block();
+    await driver.submitRoundWinner(govData.round);
+    await driver.voteToExecutable();
+    return {
+        govData
+    };
+}
+export { jest };