@aztec/validator-client 0.0.1-commit.9b94fc1 → 0.0.1-commit.9badcec54

package/dest/block_proposal_handler.d.ts

@@ -1,52 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { DateProvider } from '@aztec/foundation/timer';
-import type { P2P, PeerId } from '@aztec/p2p';
-import { TxProvider } from '@aztec/p2p';
-import { BlockProposalValidator } from '@aztec/p2p/msg_validators';
-import type { L2Block, L2BlockSource } from '@aztec/stdlib/block';
-import type { IFullNodeBlockBuilder, ValidatorClientFullConfig } from '@aztec/stdlib/interfaces/server';
-import { type L1ToL2MessageSource } from '@aztec/stdlib/messaging';
-import { type BlockProposal } from '@aztec/stdlib/p2p';
-import { type FailedTx, type Tx } from '@aztec/stdlib/tx';
-import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
-import type { ValidatorMetrics } from './metrics.js';
-export type BlockProposalValidationFailureReason = 'invalid_proposal' | 'parent_block_not_found' | 'parent_block_wrong_slot' | 'in_hash_mismatch' | 'block_number_already_exists' | 'txs_not_available' | 'state_mismatch' | 'failed_txs' | 'timeout' | 'unknown_error';
-type ReexecuteTransactionsResult = {
-    block: L2Block;
-    failedTxs: FailedTx[];
-    reexecutionTimeMs: number;
-    totalManaUsed: number;
-};
-export type BlockProposalValidationSuccessResult = {
-    isValid: true;
-    blockNumber: number;
-    reexecutionResult?: ReexecuteTransactionsResult;
-};
-export type BlockProposalValidationFailureResult = {
-    isValid: false;
-    reason: BlockProposalValidationFailureReason;
-    blockNumber?: number;
-    reexecutionResult?: ReexecuteTransactionsResult;
-};
-export type BlockProposalValidationResult = BlockProposalValidationSuccessResult | BlockProposalValidationFailureResult;
-export declare class BlockProposalHandler {
-    private blockBuilder;
-    private blockSource;
-    private l1ToL2MessageSource;
-    private txProvider;
-    private blockProposalValidator;
-    private config;
-    private metrics?;
-    private dateProvider;
-    private log;
-    readonly tracer: Tracer;
-    constructor(blockBuilder: IFullNodeBlockBuilder, blockSource: L2BlockSource, l1ToL2MessageSource: L1ToL2MessageSource, txProvider: TxProvider, blockProposalValidator: BlockProposalValidator, config: ValidatorClientFullConfig, metrics?: ValidatorMetrics | undefined, dateProvider?: DateProvider, telemetry?: TelemetryClient, log?: import("@aztec/foundation/log").Logger);
-    registerForReexecution(p2pClient: P2P): BlockProposalHandler;
-    handleBlockProposal(proposal: BlockProposal, proposalSender: PeerId, shouldReexecute: boolean): Promise<BlockProposalValidationResult>;
-    private getParentBlock;
-    private getReexecutionDeadline;
-    private getReexecuteFailureReason;
-    reexecuteTransactions(proposal: BlockProposal, blockNumber: number, txs: Tx[], l1ToL2Messages: Fr[]): Promise<ReexecuteTransactionsResult>;
-}
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcHJvcG9zYWxfaGFuZGxlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2Jsb2NrX3Byb3Bvc2FsX2hhbmRsZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRzlDLE9BQU8sRUFBRSxZQUFZLEVBQVMsTUFBTSx5QkFBeUIsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxHQUFHLEVBQUUsTUFBTSxFQUFFLE1BQU0sWUFBWSxDQUFDO0FBQzlDLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxZQUFZLENBQUM7QUFDeEMsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDbkUsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRWxFLE9BQU8sS0FBSyxFQUFFLHFCQUFxQixFQUFFLHlCQUF5QixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDeEcsT0FBTyxFQUFFLEtBQUssbUJBQW1CLEVBQW1DLE1BQU0seUJBQXlCLENBQUM7QUFDcEcsT0FBTyxFQUFFLEtBQUssYUFBYSxFQUFvQixNQUFNLG1CQUFtQixDQUFDO0FBQ3pFLE9BQU8sRUFBZSxLQUFLLFFBQVEsRUFBbUIsS0FBSyxFQUFFLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQU94RixPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQUUsS0FBSyxNQUFNLEVBQXNCLE1BQU0seUJBQXlCLENBQUM7QUFFaEcsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFckQsTUFBTSxNQUFNLG9DQUFvQyxHQUM1QyxrQkFBa0IsR0FDbEIsd0JBQXdCLEdBQ3hCLHlCQUF5QixHQUN6QixrQkFBa0IsR0FDbEIsNkJBQTZCLEdBQzdCLG1CQUFtQixHQUNuQixnQkFBZ0IsR0FDaEIsWUFBWSxHQUNaLFNBQVMsR0FDVCxlQUFlLENBQUM7QUFFcEIsS0FBSywyQkFBMkIsR0FBRztJQUNqQyxLQUFLLEVBQUUsT0FBTyxDQUFDO0lBQ2YsU0FBUyxFQUFFLFFBQVEsRUFBRSxDQUFDO0lBQ3RCLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUMxQixhQUFhLEVBQUUsTUFBTSxDQUFDO0NBQ3ZCLENBQUM7QUFFRixNQUFNLE1BQU0sb0NBQW9DLEdBQUc7SUFDakQsT0FBTyxFQUFFLElBQUksQ0FBQztJQUNkLFdBQVcsRUFBRSxNQUFNLENBQUM7SUFDcEIsaUJBQWlCLENBQUMsRUFBRSwyQkFBMkIsQ0FBQztDQUNqRCxDQUFDO0FBRUYsTUFBTSxNQUFNLG9DQUFvQyxHQUFHO0lBQ2pELE9BQU8sRUFBRSxLQUFLLENBQUM7SUFDZixNQUFNLEVBQUUsb0NBQW9DLENBQUM7SUFDN0MsV0FBVyxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3JCLGlCQUFpQixDQUFDLEVBQUUsMkJBQTJCLENBQUM7Q0FDakQsQ0FBQztBQUVGLE1BQU0sTUFBTSw2QkFBNkIsR0FBRyxvQ0FBb0MsR0FBRyxvQ0FBb0MsQ0FBQztBQUV4SCxxQkFBYSxvQkFBb0I7SUFJN0IsT0FBTyxDQUFDLFlBQVk7SUFDcEIsT0FBTyxDQUFDLFdBQVc7SUFDbkIsT0FBTyxDQUFDLG1CQUFtQjtJQUMzQixPQUFPLENBQUMsVUFBVTtJQUNsQixPQUFPLENBQUMsc0JBQXNCO0lBQzlCLE9BQU8sQ0FBQyxNQUFNO0lBQ2QsT0FBTyxDQUFDLE9BQU8sQ0FBQztJQUNoQixPQUFPLENBQUMsWUFBWTtJQUVwQixPQUFPLENBQUMsR0FBRztJQVpiLFNBQWdCLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFFL0IsWUFDVSxZQUFZLEVBQUUscUJBQXFCLEVBQ25DLFdBQVcsRUFBRSxhQUFhLEVBQzFCLG1CQUFtQixFQUFFLG1CQUFtQixFQUN4QyxVQUFVLEVBQUUsVUFBVSxFQUN0QixzQkFBc0IsRUFBRSxzQkFBc0IsRUFDOUMsTUFBTSxFQUFFLHlCQUF5QixFQUNqQyxPQUFPLENBQUMsOEJBQWtCLEVBQzFCLFlBQVksR0FBRSxZQUFpQyxFQUN2RCxTQUFTLEdBQUUsZUFBc0MsRUFDekMsR0FBRyx5Q0FBbUQsRUFNL0Q7SUFFRCxzQkFBc0IsQ0FBQyxTQUFTLEVBQUUsR0FBRyxHQUFHLG9CQUFvQixDQXlCM0Q7SUFFSyxtQkFBbUIsQ0FDdkIsUUFBUSxFQUFFLGFBQWEsRUFDdkIsY0FBYyxFQUFFLE1BQU0sRUFDdEIsZUFBZSxFQUFFLE9BQU8sR0FDdkIsT0FBTyxDQUFDLDZCQUE2QixDQUFDLENBNkZ4QztZQUVhLGNBQWM7SUFxQzVCLE9BQU8sQ0FBQyxzQkFBc0I7SUFNOUIsT0FBTyxDQUFDLHlCQUF5QjtJQVkzQixxQkFBcUIsQ0FDekIsUUFBUSxFQUFFLGFBQWEsRUFDdkIsV0FBVyxFQUFFLE1BQU0sRUFDbkIsR0FBRyxFQUFFLEVBQUUsRUFBRSxFQUNULGNBQWMsRUFBRSxFQUFFLEVBQUUsR0FDbkIsT0FBTyxDQUFDLDJCQUEyQixDQUFDLENBd0V0QztDQUNGIn0=

package/dest/block_proposal_handler.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"block_proposal_handler.d.ts","sourceRoot":"","sources":["../src/block_proposal_handler.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,EAAE,YAAY,EAAS,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAElE,OAAO,KAAK,EAAE,qBAAqB,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AACxG,OAAO,EAAE,KAAK,mBAAmB,EAAmC,MAAM,yBAAyB,CAAC;AACpG,OAAO,EAAE,KAAK,aAAa,EAAoB,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAe,KAAK,QAAQ,EAAmB,KAAK,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAOxF,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,MAAM,EAAsB,MAAM,yBAAyB,CAAC;AAEhG,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,MAAM,MAAM,oCAAoC,GAC5C,kBAAkB,GAClB,wBAAwB,GACxB,yBAAyB,GACzB,kBAAkB,GAClB,6BAA6B,GAC7B,mBAAmB,GACnB,gBAAgB,GAChB,YAAY,GACZ,SAAS,GACT,eAAe,CAAC;AAEpB,KAAK,2BAA2B,GAAG;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG;IACjD,OAAO,EAAE,IAAI,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,CAAC,EAAE,2BAA2B,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG;IACjD,OAAO,EAAE,KAAK,CAAC;IACf,MAAM,EAAE,oCAAoC,CAAC;IAC7C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,2BAA2B,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG,oCAAoC,GAAG,oCAAoC,CAAC;AAExH,qBAAa,oBAAoB;IAI7B,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,OAAO,CAAC;IAChB,OAAO,CAAC,YAAY;IAEpB,OAAO,CAAC,GAAG;IAZb,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,YACU,YAAY,EAAE,qBAAqB,EACnC,WAAW,EAAE,aAAa,EAC1B,mBAAmB,EAAE,mBAAmB,EACxC,UAAU,EAAE,UAAU,EACtB,sBAAsB,EAAE,sBAAsB,EAC9C,MAAM,EAAE,yBAAyB,EACjC,OAAO,CAAC,8BAAkB,EAC1B,YAAY,GAAE,YAAiC,EACvD,SAAS,GAAE,eAAsC,EACzC,GAAG,yCAAmD,EAM/D;IAED,sBAAsB,CAAC,SAAS,EAAE,GAAG,GAAG,oBAAoB,CAyB3D;IAEK,mBAAmB,CACvB,QAAQ,EAAE,aAAa,EACvB,cAAc,EAAE,MAAM,EACtB,eAAe,EAAE,OAAO,GACvB,OAAO,CAAC,6BAA6B,CAAC,CA6FxC;YAEa,cAAc;IAqC5B,OAAO,CAAC,sBAAsB;IAM9B,OAAO,CAAC,yBAAyB;IAY3B,qBAAqB,CACzB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,EAAE,EAAE,EACT,cAAc,EAAE,EAAE,EAAE,GACnB,OAAO,CAAC,2BAA2B,CAAC,CAwEtC;CACF"}

package/dest/block_proposal_handler.js

@@ -1,290 +0,0 @@
-import { INITIAL_L2_BLOCK_NUM } from '@aztec/constants';
-import { SlotNumber } from '@aztec/foundation/branded-types';
-import { TimeoutError } from '@aztec/foundation/error';
-import { Fr } from '@aztec/foundation/fields';
-import { createLogger } from '@aztec/foundation/log';
-import { retryUntil } from '@aztec/foundation/retry';
-import { DateProvider, Timer } from '@aztec/foundation/timer';
-import { getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
-import { computeInHashFromL1ToL2Messages } from '@aztec/stdlib/messaging';
-import { ConsensusPayload } from '@aztec/stdlib/p2p';
-import { GlobalVariables } from '@aztec/stdlib/tx';
-import { ReExFailedTxsError, ReExStateMismatchError, ReExTimeoutError, TransactionsNotAvailableError } from '@aztec/stdlib/validators';
-import { getTelemetryClient } from '@aztec/telemetry-client';
-export class BlockProposalHandler {
-    blockBuilder;
-    blockSource;
-    l1ToL2MessageSource;
-    txProvider;
-    blockProposalValidator;
-    config;
-    metrics;
-    dateProvider;
-    log;
-    tracer;
-    constructor(blockBuilder, blockSource, l1ToL2MessageSource, txProvider, blockProposalValidator, config, metrics, dateProvider = new DateProvider(), telemetry = getTelemetryClient(), log = createLogger('validator:block-proposal-handler')){
-        this.blockBuilder = blockBuilder;
-        this.blockSource = blockSource;
-        this.l1ToL2MessageSource = l1ToL2MessageSource;
-        this.txProvider = txProvider;
-        this.blockProposalValidator = blockProposalValidator;
-        this.config = config;
-        this.metrics = metrics;
-        this.dateProvider = dateProvider;
-        this.log = log;
-        if (config.fishermanMode) {
-            this.log = this.log.createChild('[FISHERMAN]');
-        }
-        this.tracer = telemetry.getTracer('BlockProposalHandler');
-    }
-    registerForReexecution(p2pClient) {
-        const handler = async (proposal, proposalSender)=>{
-            try {
-                const result = await this.handleBlockProposal(proposal, proposalSender, true);
-                if (result.isValid) {
-                    this.log.info(`Non-validator reexecution completed for slot ${proposal.slotNumber}`, {
-                        blockNumber: result.blockNumber,
-                        reexecutionTimeMs: result.reexecutionResult?.reexecutionTimeMs,
-                        totalManaUsed: result.reexecutionResult?.totalManaUsed,
-                        numTxs: result.reexecutionResult?.block?.body?.txEffects?.length ?? 0
-                    });
-                } else {
-                    this.log.warn(`Non-validator reexecution failed for slot ${proposal.slotNumber}`, {
-                        blockNumber: result.blockNumber,
-                        reason: result.reason
-                    });
-                }
-            } catch (error) {
-                this.log.error('Error processing block proposal in non-validator handler', error);
-            }
-            return undefined; // Non-validator nodes don't return attestations
-        };
-        p2pClient.registerBlockProposalHandler(handler);
-        return this;
-    }
-    async handleBlockProposal(proposal, proposalSender, shouldReexecute) {
-        const slotNumber = proposal.slotNumber;
-        const proposer = proposal.getSender();
-        const config = this.blockBuilder.getConfig();
-        // Reject proposals with invalid signatures
-        if (!proposer) {
-            this.log.warn(`Received proposal with invalid signature for slot ${slotNumber}`);
-            return {
-                isValid: false,
-                reason: 'invalid_proposal'
-            };
-        }
-        const proposalInfo = {
-            ...proposal.toBlockInfo(),
-            proposer: proposer.toString()
-        };
-        this.log.info(`Processing proposal for slot ${slotNumber}`, {
-            ...proposalInfo,
-            txHashes: proposal.txHashes.map((t)=>t.toString())
-        });
-        // Check that the proposal is from the current proposer, or the next proposer
-        // This should have been handled by the p2p layer, but we double check here out of caution
-        const invalidProposal = await this.blockProposalValidator.validate(proposal);
-        if (invalidProposal) {
-            this.log.warn(`Proposal is not valid, skipping processing`, proposalInfo);
-            return {
-                isValid: false,
-                reason: 'invalid_proposal'
-            };
-        }
-        // Check that the parent proposal is a block we know, otherwise reexecution would fail
-        const parentBlockHeader = await this.getParentBlock(proposal);
-        if (parentBlockHeader === undefined) {
-            this.log.warn(`Parent block for proposal not found, skipping processing`, proposalInfo);
-            return {
-                isValid: false,
-                reason: 'parent_block_not_found'
-            };
-        }
-        // Check that the parent block's slot is less than the proposal's slot (should not happen, but we check anyway)
-        if (parentBlockHeader !== 'genesis' && parentBlockHeader.getSlot() >= slotNumber) {
-            this.log.warn(`Parent block slot is greater than or equal to proposal slot, skipping processing`, {
-                parentBlockSlot: parentBlockHeader.getSlot().toString(),
-                proposalSlot: slotNumber.toString(),
-                ...proposalInfo
-            });
-            return {
-                isValid: false,
-                reason: 'parent_block_wrong_slot'
-            };
-        }
-        // Compute the block number based on the parent block
-        const blockNumber = parentBlockHeader === 'genesis' ? INITIAL_L2_BLOCK_NUM : parentBlockHeader.getBlockNumber() + 1;
-        // Check that this block number does not exist already
-        const existingBlock = await this.blockSource.getBlockHeader(blockNumber);
-        if (existingBlock) {
-            this.log.warn(`Block number ${blockNumber} already exists, skipping processing`, proposalInfo);
-            return {
-                isValid: false,
-                blockNumber,
-                reason: 'block_number_already_exists'
-            };
-        }
-        // Collect txs from the proposal. We start doing this as early as possible,
-        // and we do it even if we don't plan to re-execute the txs, so that we have them if another node needs them.
-        const { txs, missingTxs } = await this.txProvider.getTxsForBlockProposal(proposal, blockNumber, {
-            pinnedPeer: proposalSender,
-            deadline: this.getReexecutionDeadline(slotNumber, config)
-        });
-        // Check that I have the same set of l1ToL2Messages as the proposal
-        const l1ToL2Messages = await this.l1ToL2MessageSource.getL1ToL2Messages(blockNumber);
-        const computedInHash = computeInHashFromL1ToL2Messages(l1ToL2Messages);
-        const proposalInHash = proposal.payload.header.contentCommitment.inHash;
-        if (!computedInHash.equals(proposalInHash)) {
-            this.log.warn(`L1 to L2 messages in hash mismatch, skipping processing`, {
-                proposalInHash: proposalInHash.toString(),
-                computedInHash: computedInHash.toString(),
-                ...proposalInfo
-            });
-            return {
-                isValid: false,
-                blockNumber,
-                reason: 'in_hash_mismatch'
-            };
-        }
-        // Check that all of the transactions in the proposal are available
-        if (missingTxs.length > 0) {
-            this.log.warn(`Missing ${missingTxs.length} txs to process proposal`, {
-                ...proposalInfo,
-                missingTxs
-            });
-            return {
-                isValid: false,
-                blockNumber,
-                reason: 'txs_not_available'
-            };
-        }
-        // Try re-executing the transactions in the proposal if needed
-        let reexecutionResult;
-        if (shouldReexecute) {
-            try {
-                this.log.verbose(`Re-executing transactions in the proposal`, proposalInfo);
-                reexecutionResult = await this.reexecuteTransactions(proposal, blockNumber, txs, l1ToL2Messages);
-            } catch (error) {
-                this.log.error(`Error reexecuting txs while processing block proposal`, error, proposalInfo);
-                const reason = this.getReexecuteFailureReason(error);
-                return {
-                    isValid: false,
-                    blockNumber,
-                    reason,
-                    reexecutionResult
-                };
-            }
-        }
-        this.log.info(`Successfully processed proposal for slot ${slotNumber}`, proposalInfo);
-        return {
-            isValid: true,
-            blockNumber,
-            reexecutionResult
-        };
-    }
-    async getParentBlock(proposal) {
-        const parentArchive = proposal.payload.header.lastArchiveRoot;
-        const slot = proposal.slotNumber;
-        const config = this.blockBuilder.getConfig();
-        const { genesisArchiveRoot } = await this.blockSource.getGenesisValues();
-        if (parentArchive.equals(genesisArchiveRoot)) {
-            return 'genesis';
-        }
-        const deadline = this.getReexecutionDeadline(slot, config);
-        const currentTime = this.dateProvider.now();
-        const timeoutDurationMs = deadline.getTime() - currentTime;
-        try {
-            return await this.blockSource.getBlockHeaderByArchive(parentArchive) ?? (timeoutDurationMs <= 0 ? undefined : await retryUntil(()=>this.blockSource.syncImmediate().then(()=>this.blockSource.getBlockHeaderByArchive(parentArchive)), 'force archiver sync', timeoutDurationMs / 1000, 0.5));
-        } catch (err) {
-            if (err instanceof TimeoutError) {
-                this.log.debug(`Timed out getting parent block by archive root`, {
-                    parentArchive
-                });
-            } else {
-                this.log.error('Error getting parent block by archive root', err, {
-                    parentArchive
-                });
-            }
-            return undefined;
-        }
-    }
-    getReexecutionDeadline(slot, config) {
-        const nextSlotTimestampSeconds = Number(getTimestampForSlot(SlotNumber(slot + 1), config));
-        const msNeededForPropagationAndPublishing = this.config.validatorReexecuteDeadlineMs;
-        return new Date(nextSlotTimestampSeconds * 1000 - msNeededForPropagationAndPublishing);
-    }
-    getReexecuteFailureReason(err) {
-        if (err instanceof ReExStateMismatchError) {
-            return 'state_mismatch';
-        } else if (err instanceof ReExFailedTxsError) {
-            return 'failed_txs';
-        } else if (err instanceof ReExTimeoutError) {
-            return 'timeout';
-        } else {
-            return 'unknown_error';
-        }
-    }
-    async reexecuteTransactions(proposal, blockNumber, txs, l1ToL2Messages) {
-        const { header } = proposal.payload;
-        const { txHashes } = proposal;
-        // If we do not have all of the transactions, then we should fail
-        if (txs.length !== txHashes.length) {
-            const foundTxHashes = txs.map((tx)=>tx.getTxHash());
-            const missingTxHashes = txHashes.filter((txHash)=>!foundTxHashes.includes(txHash));
-            throw new TransactionsNotAvailableError(missingTxHashes);
-        }
-        // Use the sequencer's block building logic to re-execute the transactions
-        const timer = new Timer();
-        const config = this.blockBuilder.getConfig();
-        // We source most global variables from the proposal
-        const globalVariables = GlobalVariables.from({
-            slotNumber: proposal.payload.header.slotNumber,
-            coinbase: proposal.payload.header.coinbase,
-            feeRecipient: proposal.payload.header.feeRecipient,
-            gasFees: proposal.payload.header.gasFees,
-            blockNumber,
-            timestamp: header.timestamp,
-            chainId: new Fr(config.l1ChainId),
-            version: new Fr(config.rollupVersion)
-        });
-        const { block, failedTxs } = await this.blockBuilder.buildBlock(txs, l1ToL2Messages, globalVariables, {
-            deadline: this.getReexecutionDeadline(proposal.payload.header.slotNumber, config)
-        });
-        const numFailedTxs = failedTxs.length;
-        const slot = proposal.slotNumber;
-        this.log.verbose(`Transaction re-execution complete for slot ${slot}`, {
-            numFailedTxs,
-            numProposalTxs: txHashes.length,
-            numProcessedTxs: block.body.txEffects.length,
-            slot
-        });
-        if (numFailedTxs > 0) {
-            this.metrics?.recordFailedReexecution(proposal);
-            throw new ReExFailedTxsError(numFailedTxs);
-        }
-        if (block.body.txEffects.length !== txHashes.length) {
-            this.metrics?.recordFailedReexecution(proposal);
-            throw new ReExTimeoutError();
-        }
-        // Throw a ReExStateMismatchError error if state updates do not match
-        const blockPayload = ConsensusPayload.fromBlock(block);
-        if (!blockPayload.equals(proposal.payload)) {
-            this.log.warn(`Re-execution state mismatch for slot ${slot}`, {
-                expected: blockPayload.toInspect(),
-                actual: proposal.payload.toInspect()
-            });
-            this.metrics?.recordFailedReexecution(proposal);
-            throw new ReExStateMismatchError(proposal.archive, block.archive.root);
-        }
-        const reexecutionTimeMs = timer.ms();
-        const totalManaUsed = block.header.totalManaUsed.toNumber() / 1e6;
-        this.metrics?.recordReex(reexecutionTimeMs, txs.length, totalManaUsed);
-        return {
-            block,
-            failedTxs,
-            reexecutionTimeMs,
-            totalManaUsed
-        };
-    }
-}