@aztec/validator-client 0.0.1-commit.04852196a → 0.0.1-commit.04d373f

package/dest/block_proposal_handler.d.ts

@@ -1,63 +0,0 @@
-import type { EpochCache } from '@aztec/epoch-cache';
-import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { DateProvider } from '@aztec/foundation/timer';
-import type { P2P, PeerId } from '@aztec/p2p';
-import { BlockProposalValidator } from '@aztec/p2p/msg_validators';
-import type { L2Block, L2BlockSink, L2BlockSource } from '@aztec/stdlib/block';
-import type { ITxProvider, ValidatorClientFullConfig, WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
-import { type L1ToL2MessageSource } from '@aztec/stdlib/messaging';
-import type { BlockProposal } from '@aztec/stdlib/p2p';
-import type { FailedTx, Tx } from '@aztec/stdlib/tx';
-import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
-import type { FullNodeCheckpointsBuilder } from './checkpoint_builder.js';
-import type { ValidatorMetrics } from './metrics.js';
-export type BlockProposalValidationFailureReason = 'invalid_proposal' | 'parent_block_not_found' | 'parent_block_wrong_slot' | 'in_hash_mismatch' | 'global_variables_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: BlockNumber;
-    reexecutionResult?: ReexecuteTransactionsResult;
-};
-export type BlockProposalValidationFailureResult = {
-    isValid: false;
-    reason: BlockProposalValidationFailureReason;
-    blockNumber?: BlockNumber;
-    reexecutionResult?: ReexecuteTransactionsResult;
-};
-export type BlockProposalValidationResult = BlockProposalValidationSuccessResult | BlockProposalValidationFailureResult;
-export declare class BlockProposalHandler {
-    private checkpointsBuilder;
-    private worldState;
-    private blockSource;
-    private l1ToL2MessageSource;
-    private txProvider;
-    private blockProposalValidator;
-    private epochCache;
-    private config;
-    private metrics?;
-    private dateProvider;
-    private log;
-    readonly tracer: Tracer;
-    constructor(checkpointsBuilder: FullNodeCheckpointsBuilder, worldState: WorldStateSynchronizer, blockSource: L2BlockSource & L2BlockSink, l1ToL2MessageSource: L1ToL2MessageSource, txProvider: ITxProvider, blockProposalValidator: BlockProposalValidator, epochCache: EpochCache, config: ValidatorClientFullConfig, metrics?: ValidatorMetrics | undefined, dateProvider?: DateProvider, telemetry?: TelemetryClient, log?: import("@aztec/foundation/log").Logger);
-    register(p2pClient: P2P, shouldReexecute: boolean): BlockProposalHandler;
-    handleBlockProposal(proposal: BlockProposal, proposalSender: PeerId, shouldReexecute: boolean): Promise<BlockProposalValidationResult>;
-    private getParentBlock;
-    private computeCheckpointNumber;
-    /**
-     * Validates that a non-first block in a checkpoint has consistent global variables with its parent.
-     * For blocks with indexWithinCheckpoint > 0, all global variables except blockNumber must match the parent.
-     * @returns A failure result if validation fails, undefined if validation passes
-     */
-    private validateNonFirstBlockInCheckpoint;
-    private getReexecutionDeadline;
-    private getReexecuteFailureReason;
-    reexecuteTransactions(proposal: BlockProposal, blockNumber: BlockNumber, checkpointNumber: CheckpointNumber, txs: Tx[], l1ToL2Messages: Fr[], previousCheckpointOutHashes: Fr[]): Promise<ReexecuteTransactionsResult>;
-}
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcHJvcG9zYWxfaGFuZGxlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2Jsb2NrX3Byb3Bvc2FsX2hhbmRsZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDckQsT0FBTyxFQUFFLFdBQVcsRUFBRSxnQkFBZ0IsRUFBYyxNQUFNLGlDQUFpQyxDQUFDO0FBRTVGLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUlwRCxPQUFPLEVBQUUsWUFBWSxFQUFTLE1BQU0seUJBQXlCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsR0FBRyxFQUFFLE1BQU0sRUFBRSxNQUFNLFlBQVksQ0FBQztBQUM5QyxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNuRSxPQUFPLEtBQUssRUFBYSxPQUFPLEVBQUUsV0FBVyxFQUFFLGFBQWEsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRzFGLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSx5QkFBeUIsRUFBRSxzQkFBc0IsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ3RILE9BQU8sRUFBRSxLQUFLLG1CQUFtQixFQUFtQyxNQUFNLHlCQUF5QixDQUFDO0FBQ3BHLE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ3ZELE9BQU8sS0FBSyxFQUE2QixRQUFRLEVBQUUsRUFBRSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFPaEYsT0FBTyxFQUFFLEtBQUssZUFBZSxFQUFFLEtBQUssTUFBTSxFQUFzQixNQUFNLHlCQUF5QixDQUFDO0FBRWhHLE9BQU8sS0FBSyxFQUFFLDBCQUEwQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDMUUsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFckQsTUFBTSxNQUFNLG9DQUFvQyxHQUM1QyxrQkFBa0IsR0FDbEIsd0JBQXdCLEdBQ3hCLHlCQUF5QixHQUN6QixrQkFBa0IsR0FDbEIsMkJBQTJCLEdBQzNCLDZCQUE2QixHQUM3QixtQkFBbUIsR0FDbkIsZ0JBQWdCLEdBQ2hCLFlBQVksR0FDWixTQUFTLEdBQ1QsZUFBZSxDQUFDO0FBRXBCLEtBQUssMkJBQTJCLEdBQUc7SUFDakMsS0FBSyxFQUFFLE9BQU8sQ0FBQztJQUNmLFNBQVMsRUFBRSxRQUFRLEVBQUUsQ0FBQztJQUN0QixpQkFBaUIsRUFBRSxNQUFNLENBQUM7SUFDMUIsYUFBYSxFQUFFLE1BQU0sQ0FBQztDQUN2QixDQUFDO0FBRUYsTUFBTSxNQUFNLG9DQUFvQyxHQUFHO0lBQ2pELE9BQU8sRUFBRSxJQUFJLENBQUM7SUFDZCxXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLGlCQUFpQixDQUFDLEVBQUUsMkJBQTJCLENBQUM7Q0FDakQsQ0FBQztBQUVGLE1BQU0sTUFBTSxvQ0FBb0MsR0FBRztJQUNqRCxPQUFPLEVBQUUsS0FBSyxDQUFDO0lBQ2YsTUFBTSxFQUFFLG9DQUFvQyxDQUFDO0lBQzdDLFdBQVcsQ0FBQyxFQUFFLFdBQVcsQ0FBQztJQUMxQixpQkFBaUIsQ0FBQyxFQUFFLDJCQUEyQixDQUFDO0NBQ2pELENBQUM7QUFFRixNQUFNLE1BQU0sNkJBQTZCLEdBQUcsb0NBQW9DLEdBQUcsb0NBQW9DLENBQUM7QUFNeEgscUJBQWEsb0JBQW9CO0lBSTdCLE9BQU8sQ0FBQyxrQkFBa0I7SUFDMUIsT0FBTyxDQUFDLFVBQVU7SUFDbEIsT0FBTyxDQUFDLFdBQVc7SUFDbkIsT0FBTyxDQUFDLG1CQUFtQjtJQUMzQixPQUFPLENBQUMsVUFBVTtJQUNsQixPQUFPLENBQUMsc0JBQXNCO0lBQzlCLE9BQU8sQ0FBQyxVQUFVO0lBQ2xCLE9BQU8sQ0FBQyxNQUFNO0lBQ2QsT0FBTyxDQUFDLE9BQU8sQ0FBQztJQUNoQixPQUFPLENBQUMsWUFBWTtJQUVwQixPQUFPLENBQUMsR0FBRztJQWRiLFNBQWdCLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFFL0IsWUFDVSxrQkFBa0IsRUFBRSwwQkFBMEIsRUFDOUMsVUFBVSxFQUFFLHNCQUFzQixFQUNsQyxXQUFXLEVBQUUsYUFBYSxHQUFHLFdBQVcsRUFDeEMsbUJBQW1CLEVBQUUsbUJBQW1CLEVBQ3hDLFVBQVUsRUFBRSxXQUFXLEVBQ3ZCLHNCQUFzQixFQUFFLHNCQUFzQixFQUM5QyxVQUFVLEVBQUUsVUFBVSxFQUN0QixNQUFNLEVBQUUseUJBQXlCLEVBQ2pDLE9BQU8sQ0FBQyw4QkFBa0IsRUFDMUIsWUFBWSxHQUFFLFlBQWlDLEVBQ3ZELFNBQVMsR0FBRSxlQUFzQyxFQUN6QyxHQUFHLHlDQUFtRCxFQU0vRDtJQUVELFFBQVEsQ0FBQyxTQUFTLEVBQUUsR0FBRyxFQUFFLGVBQWUsRUFBRSxPQUFPLEdBQUcsb0JBQW9CLENBZ0N2RTtJQUVLLG1CQUFtQixDQUN2QixRQUFRLEVBQUUsYUFBYSxFQUN2QixjQUFjLEVBQUUsTUFBTSxFQUN0QixlQUFlLEVBQUUsT0FBTyxHQUN2QixPQUFPLENBQUMsNkJBQTZCLENBQUMsQ0FvSXhDO1lBRWEsY0FBYztJQW9DNUIsT0FBTyxDQUFDLHVCQUF1QjtJQTBDL0I7Ozs7T0FJRztJQUNILE9BQU8sQ0FBQyxpQ0FBaUM7SUE0RXpDLE9BQU8sQ0FBQyxzQkFBc0I7SUFLOUIsT0FBTyxDQUFDLHlCQUF5QjtJQVkzQixxQkFBcUIsQ0FDekIsUUFBUSxFQUFFLGFBQWEsRUFDdkIsV0FBVyxFQUFFLFdBQVcsRUFDeEIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQ2xDLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFDVCxjQUFjLEVBQUUsRUFBRSxFQUFFLEVBQ3BCLDJCQUEyQixFQUFFLEVBQUUsRUFBRSxHQUNoQyxPQUFPLENBQUMsMkJBQTJCLENBQUMsQ0EwR3RDO0NBQ0YifQ==

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":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAc,MAAM,iCAAiC,CAAC;AAE5F,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAIpD,OAAO,EAAE,YAAY,EAAS,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAa,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAG1F,OAAO,KAAK,EAAE,WAAW,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACtH,OAAO,EAAE,KAAK,mBAAmB,EAAmC,MAAM,yBAAyB,CAAC;AACpG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAA6B,QAAQ,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAOhF,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,MAAM,EAAsB,MAAM,yBAAyB,CAAC;AAEhG,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,MAAM,MAAM,oCAAoC,GAC5C,kBAAkB,GAClB,wBAAwB,GACxB,yBAAyB,GACzB,kBAAkB,GAClB,2BAA2B,GAC3B,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,WAAW,CAAC;IACzB,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,WAAW,CAAC;IAC1B,iBAAiB,CAAC,EAAE,2BAA2B,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG,oCAAoC,GAAG,oCAAoC,CAAC;AAMxH,qBAAa,oBAAoB;IAI7B,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,OAAO,CAAC;IAChB,OAAO,CAAC,YAAY;IAEpB,OAAO,CAAC,GAAG;IAdb,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,YACU,kBAAkB,EAAE,0BAA0B,EAC9C,UAAU,EAAE,sBAAsB,EAClC,WAAW,EAAE,aAAa,GAAG,WAAW,EACxC,mBAAmB,EAAE,mBAAmB,EACxC,UAAU,EAAE,WAAW,EACvB,sBAAsB,EAAE,sBAAsB,EAC9C,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,yBAAyB,EACjC,OAAO,CAAC,8BAAkB,EAC1B,YAAY,GAAE,YAAiC,EACvD,SAAS,GAAE,eAAsC,EACzC,GAAG,yCAAmD,EAM/D;IAED,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE,eAAe,EAAE,OAAO,GAAG,oBAAoB,CAgCvE;IAEK,mBAAmB,CACvB,QAAQ,EAAE,aAAa,EACvB,cAAc,EAAE,MAAM,EACtB,eAAe,EAAE,OAAO,GACvB,OAAO,CAAC,6BAA6B,CAAC,CAoIxC;YAEa,cAAc;IAoC5B,OAAO,CAAC,uBAAuB;IA0C/B;;;;OAIG;IACH,OAAO,CAAC,iCAAiC;IA4EzC,OAAO,CAAC,sBAAsB;IAK9B,OAAO,CAAC,yBAAyB;IAY3B,qBAAqB,CACzB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,gBAAgB,EAClC,GAAG,EAAE,EAAE,EAAE,EACT,cAAc,EAAE,EAAE,EAAE,EACpB,2BAA2B,EAAE,EAAE,EAAE,GAChC,OAAO,CAAC,2BAA2B,CAAC,CA0GtC;CACF"}

package/dest/block_proposal_handler.js

@@ -1,551 +0,0 @@
-function _ts_add_disposable_resource(env, value, async) {
-    if (value !== null && value !== void 0) {
-        if (typeof value !== "object" && typeof value !== "function") throw new TypeError("Object expected.");
-        var dispose, inner;
-        if (async) {
-            if (!Symbol.asyncDispose) throw new TypeError("Symbol.asyncDispose is not defined.");
-            dispose = value[Symbol.asyncDispose];
-        }
-        if (dispose === void 0) {
-            if (!Symbol.dispose) throw new TypeError("Symbol.dispose is not defined.");
-            dispose = value[Symbol.dispose];
-            if (async) inner = dispose;
-        }
-        if (typeof dispose !== "function") throw new TypeError("Object not disposable.");
-        if (inner) dispose = function() {
-            try {
-                inner.call(this);
-            } catch (e) {
-                return Promise.reject(e);
-            }
-        };
-        env.stack.push({
-            value: value,
-            dispose: dispose,
-            async: async
-        });
-    } else if (async) {
-        env.stack.push({
-            async: true
-        });
-    }
-    return value;
-}
-function _ts_dispose_resources(env) {
-    var _SuppressedError = typeof SuppressedError === "function" ? SuppressedError : function(error, suppressed, message) {
-        var e = new Error(message);
-        return e.name = "SuppressedError", e.error = error, e.suppressed = suppressed, e;
-    };
-    return (_ts_dispose_resources = function _ts_dispose_resources(env) {
-        function fail(e) {
-            env.error = env.hasError ? new _SuppressedError(e, env.error, "An error was suppressed during disposal.") : e;
-            env.hasError = true;
-        }
-        var r, s = 0;
-        function next() {
-            while(r = env.stack.pop()){
-                try {
-                    if (!r.async && s === 1) return s = 0, env.stack.push(r), Promise.resolve().then(next);
-                    if (r.dispose) {
-                        var result = r.dispose.call(r.value);
-                        if (r.async) return s |= 2, Promise.resolve(result).then(next, function(e) {
-                            fail(e);
-                            return next();
-                        });
-                    } else s |= 1;
-                } catch (e) {
-                    fail(e);
-                }
-            }
-            if (s === 1) return env.hasError ? Promise.reject(env.error) : Promise.resolve();
-            if (env.hasError) throw env.error;
-        }
-        return next();
-    })(env);
-}
-import { INITIAL_L2_BLOCK_NUM } from '@aztec/constants';
-import { BlockNumber, CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
-import { pick } from '@aztec/foundation/collection';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { TimeoutError } from '@aztec/foundation/error';
-import { createLogger } from '@aztec/foundation/log';
-import { retryUntil } from '@aztec/foundation/retry';
-import { DateProvider, Timer } from '@aztec/foundation/timer';
-import { getEpochAtSlot, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
-import { Gas } from '@aztec/stdlib/gas';
-import { computeInHashFromL1ToL2Messages } from '@aztec/stdlib/messaging';
-import { ReExFailedTxsError, ReExStateMismatchError, ReExTimeoutError, TransactionsNotAvailableError } from '@aztec/stdlib/validators';
-import { getTelemetryClient } from '@aztec/telemetry-client';
-export class BlockProposalHandler {
-    checkpointsBuilder;
-    worldState;
-    blockSource;
-    l1ToL2MessageSource;
-    txProvider;
-    blockProposalValidator;
-    epochCache;
-    config;
-    metrics;
-    dateProvider;
-    log;
-    tracer;
-    constructor(checkpointsBuilder, worldState, blockSource, l1ToL2MessageSource, txProvider, blockProposalValidator, epochCache, config, metrics, dateProvider = new DateProvider(), telemetry = getTelemetryClient(), log = createLogger('validator:block-proposal-handler')){
-        this.checkpointsBuilder = checkpointsBuilder;
-        this.worldState = worldState;
-        this.blockSource = blockSource;
-        this.l1ToL2MessageSource = l1ToL2MessageSource;
-        this.txProvider = txProvider;
-        this.blockProposalValidator = blockProposalValidator;
-        this.epochCache = epochCache;
-        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');
-    }
-    register(p2pClient, shouldReexecute) {
-        // Non-validator handler that processes or re-executes for monitoring but does not attest.
-        // Returns boolean indicating whether the proposal was valid.
-        const handler = async (proposal, proposalSender)=>{
-            try {
-                const { slotNumber, blockNumber } = proposal;
-                const result = await this.handleBlockProposal(proposal, proposalSender, shouldReexecute);
-                if (result.isValid) {
-                    this.log.info(`Non-validator block proposal ${blockNumber} at slot ${slotNumber} handled`, {
-                        blockNumber: result.blockNumber,
-                        slotNumber,
-                        reexecutionTimeMs: result.reexecutionResult?.reexecutionTimeMs,
-                        totalManaUsed: result.reexecutionResult?.totalManaUsed,
-                        numTxs: result.reexecutionResult?.block?.body?.txEffects?.length ?? 0,
-                        reexecuted: shouldReexecute
-                    });
-                    return true;
-                } else {
-                    this.log.warn(`Non-validator block proposal ${blockNumber} at slot ${slotNumber} failed processing with ${result.reason}`, {
-                        blockNumber: result.blockNumber,
-                        slotNumber,
-                        reason: result.reason
-                    });
-                    return false;
-                }
-            } catch (error) {
-                this.log.error('Error processing block proposal in non-validator handler', error);
-                return false;
-            }
-        };
-        p2pClient.registerBlockProposalHandler(handler);
-        return this;
-    }
-    async handleBlockProposal(proposal, proposalSender, shouldReexecute) {
-        const slotNumber = proposal.slotNumber;
-        const proposer = proposal.getSender();
-        const config = this.checkpointsBuilder.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 validationResult = await this.blockProposalValidator.validate(proposal);
-        if (validationResult.result !== 'accept') {
-            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 parentBlock = await this.getParentBlock(proposal);
-        if (parentBlock === 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 not greater than the proposal's slot.
-        if (parentBlock !== 'genesis' && parentBlock.header.getSlot() > slotNumber) {
-            this.log.warn(`Parent block slot is greater than proposal slot, skipping processing`, {
-                parentBlockSlot: parentBlock.header.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 = parentBlock === 'genesis' ? BlockNumber(INITIAL_L2_BLOCK_NUM) : BlockNumber(parentBlock.header.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)
-        });
-        // If reexecution is disabled, bail. We are just interested in triggering tx collection.
-        if (!shouldReexecute) {
-            this.log.info(`Received valid block ${blockNumber} proposal at index ${proposal.indexWithinCheckpoint} on slot ${slotNumber}`, proposalInfo);
-            return {
-                isValid: true,
-                blockNumber
-            };
-        }
-        // Compute the checkpoint number for this block and validate checkpoint consistency
-        const checkpointResult = this.computeCheckpointNumber(proposal, parentBlock, proposalInfo);
-        if (checkpointResult.reason) {
-            return {
-                isValid: false,
-                blockNumber,
-                reason: checkpointResult.reason
-            };
-        }
-        const checkpointNumber = checkpointResult.checkpointNumber;
-        // Check that I have the same set of l1ToL2Messages as the proposal
-        const l1ToL2Messages = await this.l1ToL2MessageSource.getL1ToL2Messages(checkpointNumber);
-        const computedInHash = computeInHashFromL1ToL2Messages(l1ToL2Messages);
-        const proposalInHash = proposal.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'
-            };
-        }
-        // Collect the out hashes of all the checkpoints before this one in the same epoch
-        const epoch = getEpochAtSlot(slotNumber, this.epochCache.getL1Constants());
-        const previousCheckpointOutHashes = (await this.blockSource.getCheckpointsDataForEpoch(epoch)).filter((c)=>c.checkpointNumber < checkpointNumber).map((c)=>c.checkpointOutHash);
-        // Try re-executing the transactions in the proposal if needed
-        let reexecutionResult;
-        try {
-            this.log.verbose(`Re-executing transactions in the proposal`, proposalInfo);
-            reexecutionResult = await this.reexecuteTransactions(proposal, blockNumber, checkpointNumber, txs, l1ToL2Messages, previousCheckpointOutHashes);
-        } 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
-            };
-        }
-        // If we succeeded, push this block into the archiver (unless disabled)
-        if (reexecutionResult?.block && this.config.skipPushProposedBlocksToArchiver === false) {
-            await this.blockSource.addBlock(reexecutionResult?.block);
-        }
-        this.log.info(`Successfully re-executed block ${blockNumber} proposal at index ${proposal.indexWithinCheckpoint} on slot ${slotNumber}`, {
-            ...proposalInfo,
-            ...pick(reexecutionResult, 'reexecutionTimeMs', 'totalManaUsed')
-        });
-        return {
-            isValid: true,
-            blockNumber,
-            reexecutionResult
-        };
-    }
-    async getParentBlock(proposal) {
-        const parentArchive = proposal.blockHeader.lastArchive.root;
-        const slot = proposal.slotNumber;
-        const config = this.checkpointsBuilder.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.getBlockDataByArchive(parentArchive) ?? (timeoutDurationMs <= 0 ? undefined : await retryUntil(()=>this.blockSource.syncImmediate().then(()=>this.blockSource.getBlockDataByArchive(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;
-        }
-    }
-    computeCheckpointNumber(proposal, parentBlock, proposalInfo) {
-        if (parentBlock === 'genesis') {
-            // First block is in checkpoint 1
-            if (proposal.indexWithinCheckpoint !== 0) {
-                this.log.warn(`First block proposal has non-zero indexWithinCheckpoint`, proposalInfo);
-                return {
-                    reason: 'invalid_proposal'
-                };
-            }
-            return {
-                checkpointNumber: CheckpointNumber.INITIAL
-            };
-        }
-        if (proposal.indexWithinCheckpoint === 0) {
-            // If this is the first block in a new checkpoint, increment the checkpoint number
-            if (!(proposal.blockHeader.getSlot() > parentBlock.header.getSlot())) {
-                this.log.warn(`Slot should be greater than parent block slot for first block in checkpoint`, proposalInfo);
-                return {
-                    reason: 'invalid_proposal'
-                };
-            }
-            return {
-                checkpointNumber: CheckpointNumber(parentBlock.checkpointNumber + 1)
-            };
-        }
-        // Otherwise it should follow the previous block in the same checkpoint
-        if (proposal.indexWithinCheckpoint !== parentBlock.indexWithinCheckpoint + 1) {
-            this.log.warn(`Non-sequential indexWithinCheckpoint`, proposalInfo);
-            return {
-                reason: 'invalid_proposal'
-            };
-        }
-        if (proposal.blockHeader.getSlot() !== parentBlock.header.getSlot()) {
-            this.log.warn(`Slot should be equal to parent block slot for non-first block in checkpoint`, proposalInfo);
-            return {
-                reason: 'invalid_proposal'
-            };
-        }
-        // For non-first blocks in a checkpoint, validate global variables match parent (except blockNumber)
-        const validationResult = this.validateNonFirstBlockInCheckpoint(proposal, parentBlock, proposalInfo);
-        if (validationResult) {
-            return validationResult;
-        }
-        return {
-            checkpointNumber: parentBlock.checkpointNumber
-        };
-    }
-    /**
-   * Validates that a non-first block in a checkpoint has consistent global variables with its parent.
-   * For blocks with indexWithinCheckpoint > 0, all global variables except blockNumber must match the parent.
-   * @returns A failure result if validation fails, undefined if validation passes
-   */ validateNonFirstBlockInCheckpoint(proposal, parentBlock, proposalInfo) {
-        const proposalGlobals = proposal.blockHeader.globalVariables;
-        const parentGlobals = parentBlock.header.globalVariables;
-        // All global variables except blockNumber should match the parent
-        // blockNumber naturally increments between blocks
-        if (!proposalGlobals.chainId.equals(parentGlobals.chainId)) {
-            this.log.warn(`Non-first block in checkpoint has mismatched chainId`, {
-                ...proposalInfo,
-                proposalChainId: proposalGlobals.chainId.toString(),
-                parentChainId: parentGlobals.chainId.toString()
-            });
-            return {
-                reason: 'global_variables_mismatch'
-            };
-        }
-        if (!proposalGlobals.version.equals(parentGlobals.version)) {
-            this.log.warn(`Non-first block in checkpoint has mismatched version`, {
-                ...proposalInfo,
-                proposalVersion: proposalGlobals.version.toString(),
-                parentVersion: parentGlobals.version.toString()
-            });
-            return {
-                reason: 'global_variables_mismatch'
-            };
-        }
-        if (proposalGlobals.slotNumber !== parentGlobals.slotNumber) {
-            this.log.warn(`Non-first block in checkpoint has mismatched slotNumber`, {
-                ...proposalInfo,
-                proposalSlotNumber: proposalGlobals.slotNumber,
-                parentSlotNumber: parentGlobals.slotNumber
-            });
-            return {
-                reason: 'global_variables_mismatch'
-            };
-        }
-        if (proposalGlobals.timestamp !== parentGlobals.timestamp) {
-            this.log.warn(`Non-first block in checkpoint has mismatched timestamp`, {
-                ...proposalInfo,
-                proposalTimestamp: proposalGlobals.timestamp.toString(),
-                parentTimestamp: parentGlobals.timestamp.toString()
-            });
-            return {
-                reason: 'global_variables_mismatch'
-            };
-        }
-        if (!proposalGlobals.coinbase.equals(parentGlobals.coinbase)) {
-            this.log.warn(`Non-first block in checkpoint has mismatched coinbase`, {
-                ...proposalInfo,
-                proposalCoinbase: proposalGlobals.coinbase.toString(),
-                parentCoinbase: parentGlobals.coinbase.toString()
-            });
-            return {
-                reason: 'global_variables_mismatch'
-            };
-        }
-        if (!proposalGlobals.feeRecipient.equals(parentGlobals.feeRecipient)) {
-            this.log.warn(`Non-first block in checkpoint has mismatched feeRecipient`, {
-                ...proposalInfo,
-                proposalFeeRecipient: proposalGlobals.feeRecipient.toString(),
-                parentFeeRecipient: parentGlobals.feeRecipient.toString()
-            });
-            return {
-                reason: 'global_variables_mismatch'
-            };
-        }
-        if (!proposalGlobals.gasFees.equals(parentGlobals.gasFees)) {
-            this.log.warn(`Non-first block in checkpoint has mismatched gasFees`, {
-                ...proposalInfo,
-                proposalGasFees: proposalGlobals.gasFees.toInspect(),
-                parentGasFees: parentGlobals.gasFees.toInspect()
-            });
-            return {
-                reason: 'global_variables_mismatch'
-            };
-        }
-        return undefined;
-    }
-    getReexecutionDeadline(slot, config) {
-        const nextSlotTimestampSeconds = Number(getTimestampForSlot(SlotNumber(slot + 1), config));
-        return new Date(nextSlotTimestampSeconds * 1000);
-    }
-    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, checkpointNumber, txs, l1ToL2Messages, previousCheckpointOutHashes) {
-        const env = {
-            stack: [],
-            error: void 0,
-            hasError: false
-        };
-        try {
-            const { blockHeader, 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);
-            }
-            const timer = new Timer();
-            const slot = proposal.slotNumber;
-            const config = this.checkpointsBuilder.getConfig();
-            // Get prior blocks in this checkpoint (same slot before current block)
-            const allBlocksInSlot = await this.blockSource.getBlocksForSlot(slot);
-            const priorBlocks = allBlocksInSlot.filter((b)=>b.number < blockNumber && b.header.getSlot() === slot);
-            // Fork before the block to be built
-            const parentBlockNumber = BlockNumber(blockNumber - 1);
-            await this.worldState.syncImmediate(parentBlockNumber);
-            const fork = _ts_add_disposable_resource(env, await this.worldState.fork(parentBlockNumber), true);
-            // Build checkpoint constants from proposal (excludes blockNumber which is per-block)
-            const constants = {
-                chainId: new Fr(config.l1ChainId),
-                version: new Fr(config.rollupVersion),
-                slotNumber: slot,
-                timestamp: blockHeader.globalVariables.timestamp,
-                coinbase: blockHeader.globalVariables.coinbase,
-                feeRecipient: blockHeader.globalVariables.feeRecipient,
-                gasFees: blockHeader.globalVariables.gasFees
-            };
-            // Create checkpoint builder with prior blocks
-            const checkpointBuilder = await this.checkpointsBuilder.openCheckpoint(checkpointNumber, constants, 0n, l1ToL2Messages, previousCheckpointOutHashes, fork, priorBlocks, this.log.getBindings());
-            // Build the new block
-            const deadline = this.getReexecutionDeadline(slot, config);
-            const maxBlockGas = this.config.validateMaxL2BlockGas !== undefined || this.config.validateMaxDABlockGas !== undefined ? new Gas(this.config.validateMaxDABlockGas ?? Infinity, this.config.validateMaxL2BlockGas ?? Infinity) : undefined;
-            const result = await checkpointBuilder.buildBlock(txs, blockNumber, blockHeader.globalVariables.timestamp, {
-                deadline,
-                expectedEndState: blockHeader.state,
-                maxTransactions: this.config.validateMaxTxsPerBlock,
-                maxBlockGas
-            });
-            const { block, failedTxs } = result;
-            const numFailedTxs = failedTxs.length;
-            this.log.verbose(`Block proposal ${blockNumber} at slot ${slot} transaction re-execution complete`, {
-                numFailedTxs,
-                numProposalTxs: txHashes.length,
-                numProcessedTxs: block.body.txEffects.length,
-                blockNumber,
-                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
-            // Compare the full block structure (archive and header) from the built block with the proposal
-            const archiveMatches = proposal.archive.equals(block.archive.root);
-            const headerMatches = proposal.blockHeader.equals(block.header);
-            if (!archiveMatches || !headerMatches) {
-                this.log.warn(`Re-execution state mismatch for slot ${slot}`, {
-                    expectedArchive: block.archive.root.toString(),
-                    actualArchive: proposal.archive.toString(),
-                    expectedHeader: block.header.toInspect(),
-                    actualHeader: proposal.blockHeader.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
-            };
-        } catch (e) {
-            env.error = e;
-            env.hasError = true;
-        } finally{
-            const result = _ts_dispose_resources(env);
-            if (result) await result;
-        }
-    }
-}