@aztec/validator-client 0.0.1-commit.b655e406 → 0.0.1-commit.c0b82b2

package/dest/block_proposal_handler.js

@@ -1,67 +1,142 @@
+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 { Fr } from '@aztec/foundation/curves/bn254';
 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 { computeInHashFromL1ToL2Messages } from '@aztec/prover-client/helpers';
-import { getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
-import { ConsensusPayload } from '@aztec/stdlib/p2p';
-import { GlobalVariables } from '@aztec/stdlib/tx';
+import { getEpochAtSlot, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
+import { computeInHashFromL1ToL2Messages } from '@aztec/stdlib/messaging';
 import { ReExFailedTxsError, ReExStateMismatchError, ReExTimeoutError, TransactionsNotAvailableError } from '@aztec/stdlib/validators';
 import { getTelemetryClient } from '@aztec/telemetry-client';
 export class BlockProposalHandler {
-    blockBuilder;
+    checkpointsBuilder;
+    worldState;
     blockSource;
     l1ToL2MessageSource;
     txProvider;
     blockProposalValidator;
+    epochCache;
     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;
+    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');
     }
     registerForReexecution(p2pClient) {
+        // Non-validator handler that re-executes for monitoring but does not attest.
+        // Returns boolean indicating whether the proposal was valid.
         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.toBigInt()}`, {
+                    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
                     });
+                    return true;
                 } else {
-                    this.log.warn(`Non-validator reexecution failed for slot ${proposal.slotNumber.toBigInt()}`, {
+                    this.log.warn(`Non-validator reexecution failed for slot ${proposal.slotNumber}`, {
                         blockNumber: result.blockNumber,
                         reason: result.reason
                     });
+                    return false;
                 }
             } catch (error) {
                 this.log.error('Error processing block proposal in non-validator handler', error);
+                return false;
             }
-            return undefined; // Non-validator nodes don't return attestations
         };
         p2pClient.registerBlockProposalHandler(handler);
         return this;
     }
     async handleBlockProposal(proposal, proposalSender, shouldReexecute) {
-        const slotNumber = proposal.slotNumber.toBigInt();
+        const slotNumber = proposal.slotNumber;
         const proposer = proposal.getSender();
-        const config = this.blockBuilder.getConfig();
+        const config = this.checkpointsBuilder.getConfig();
         // Reject proposals with invalid signatures
         if (!proposer) {
             this.log.warn(`Received proposal with invalid signature for slot ${slotNumber}`);
@@ -80,8 +155,8 @@ export class BlockProposalHandler {
         });
         // 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) {
+        const validationResult = await this.blockProposalValidator.validate(proposal);
+        if (validationResult.result !== 'accept') {
             this.log.warn(`Proposal is not valid, skipping processing`, proposalInfo);
             return {
                 isValid: false,
@@ -89,18 +164,18 @@ export class BlockProposalHandler {
             };
         }
         // Check that the parent proposal is a block we know, otherwise reexecution would fail
-        const parentBlockHeader = await this.getParentBlock(proposal);
-        if (parentBlockHeader === undefined) {
+        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 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(),
+        // 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
             });
@@ -110,7 +185,7 @@ export class BlockProposalHandler {
             };
         }
         // Compute the block number based on the parent block
-        const blockNumber = parentBlockHeader === 'genesis' ? INITIAL_L2_BLOCK_NUM : parentBlockHeader.getBlockNumber() + 1;
+        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) {
@@ -127,10 +202,20 @@ export class BlockProposalHandler {
             pinnedPeer: proposalSender,
             deadline: this.getReexecutionDeadline(slotNumber, config)
         });
+        // 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(blockNumber);
-        const computedInHash = await computeInHashFromL1ToL2Messages(l1ToL2Messages);
-        const proposalInHash = proposal.payload.header.contentCommitment.inHash;
+        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(),
@@ -158,9 +243,12 @@ export class BlockProposalHandler {
         // Try re-executing the transactions in the proposal if needed
         let reexecutionResult;
         if (shouldReexecute) {
+            // 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 {
                 this.log.verbose(`Re-executing transactions in the proposal`, proposalInfo);
-                reexecutionResult = await this.reexecuteTransactions(proposal, blockNumber, txs, l1ToL2Messages);
+                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);
@@ -172,7 +260,11 @@ export class BlockProposalHandler {
                 };
             }
         }
-        this.log.info(`Successfully processed proposal for slot ${slotNumber}`, proposalInfo);
+        // 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 processed block ${blockNumber} proposal at index ${proposal.indexWithinCheckpoint} on slot ${slotNumber}`, proposalInfo);
         return {
             isValid: true,
             blockNumber,
@@ -180,9 +272,9 @@ export class BlockProposalHandler {
         };
     }
     async getParentBlock(proposal) {
-        const parentArchive = proposal.payload.header.lastArchiveRoot;
-        const slot = proposal.slotNumber.toBigInt();
-        const config = this.blockBuilder.getConfig();
+        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';
@@ -191,7 +283,7 @@ export class BlockProposalHandler {
         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));
+            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`, {
@@ -205,10 +297,137 @@ export class BlockProposalHandler {
             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(slot + 1n, config));
-        const msNeededForPropagationAndPublishing = this.config.validatorReexecuteDeadlineMs;
-        return new Date(nextSlotTimestampSeconds * 1000 - msNeededForPropagationAndPublishing);
+        const nextSlotTimestampSeconds = Number(getTimestampForSlot(SlotNumber(slot + 1), config));
+        return new Date(nextSlotTimestampSeconds * 1000);
     }
     getReexecuteFailureReason(err) {
         if (err instanceof ReExStateMismatchError) {
@@ -221,66 +440,93 @@ export class BlockProposalHandler {
             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.toBigInt(), config)
-        });
-        const numFailedTxs = failedTxs.length;
-        const slot = proposal.slotNumber.toBigInt();
-        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()
+    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 result = await checkpointBuilder.buildBlock(txs, blockNumber, blockHeader.globalVariables.timestamp, {
+                deadline,
+                expectedEndState: blockHeader.state
             });
-            this.metrics?.recordFailedReexecution(proposal);
-            throw new ReExStateMismatchError(proposal.archive, block.archive.root, proposal.payload.stateReference, block.header.state);
+            const { block, failedTxs } = result;
+            const numFailedTxs = failedTxs.length;
+            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
+            // 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;
         }
-        const reexecutionTimeMs = timer.ms();
-        const totalManaUsed = block.header.totalManaUsed.toNumber() / 1e6;
-        this.metrics?.recordReex(reexecutionTimeMs, txs.length, totalManaUsed);
-        return {
-            block,
-            failedTxs,
-            reexecutionTimeMs,
-            totalManaUsed
-        };
     }
 }

package/dest/checkpoint_builder.d.ts

@@ -0,0 +1,69 @@
+import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { type LoggerBindings } from '@aztec/foundation/log';
+import { DateProvider } from '@aztec/foundation/timer';
+import { LightweightCheckpointBuilder } from '@aztec/prover-client/light';
+import { PublicProcessor } from '@aztec/simulator/server';
+import { L2Block } from '@aztec/stdlib/block';
+import { Checkpoint } from '@aztec/stdlib/checkpoint';
+import type { ContractDataSource } from '@aztec/stdlib/contract';
+import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
+import { type BuildBlockInCheckpointResult, type FullNodeBlockBuilderConfig, type ICheckpointBlockBuilder, type ICheckpointsBuilder, type MerkleTreeWriteOperations, type PublicProcessorLimits, type WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
+import { type DebugLogStore } from '@aztec/stdlib/logs';
+import { type CheckpointGlobalVariables, GlobalVariables, StateReference, Tx } from '@aztec/stdlib/tx';
+import { type TelemetryClient } from '@aztec/telemetry-client';
+export type { BuildBlockInCheckpointResult } from '@aztec/stdlib/interfaces/server';
+/**
+ * Builder for a single checkpoint. Handles building blocks within the checkpoint
+ * and completing it.
+ */
+export declare class CheckpointBuilder implements ICheckpointBlockBuilder {
+    private checkpointBuilder;
+    private fork;
+    private config;
+    private contractDataSource;
+    private dateProvider;
+    private telemetryClient;
+    private debugLogStore;
+    private log;
+    constructor(checkpointBuilder: LightweightCheckpointBuilder, fork: MerkleTreeWriteOperations, config: FullNodeBlockBuilderConfig, contractDataSource: ContractDataSource, dateProvider: DateProvider, telemetryClient: TelemetryClient, bindings?: LoggerBindings, debugLogStore?: DebugLogStore);
+    getConstantData(): CheckpointGlobalVariables;
+    /**
+     * Builds a single block within this checkpoint.
+     */
+    buildBlock(pendingTxs: Iterable<Tx> | AsyncIterable<Tx>, blockNumber: BlockNumber, timestamp: bigint, opts?: PublicProcessorLimits & {
+        expectedEndState?: StateReference;
+    }): Promise<BuildBlockInCheckpointResult>;
+    /** Completes the checkpoint and returns it. */
+    completeCheckpoint(): Promise<Checkpoint>;
+    /** Gets the checkpoint currently in progress. */
+    getCheckpoint(): Promise<Checkpoint>;
+    protected makeBlockBuilderDeps(globalVariables: GlobalVariables, fork: MerkleTreeWriteOperations): Promise<{
+        processor: PublicProcessor;
+        validator: import("@aztec/stdlib/interfaces/server").PublicProcessorValidator;
+    }>;
+}
+/** Factory for creating checkpoint builders. */
+export declare class FullNodeCheckpointsBuilder implements ICheckpointsBuilder {
+    private config;
+    private worldState;
+    private contractDataSource;
+    private dateProvider;
+    private telemetryClient;
+    private debugLogStore;
+    private log;
+    constructor(config: FullNodeBlockBuilderConfig & Pick<L1RollupConstants, 'l1GenesisTime' | 'slotDuration'>, worldState: WorldStateSynchronizer, contractDataSource: ContractDataSource, dateProvider: DateProvider, telemetryClient?: TelemetryClient, debugLogStore?: DebugLogStore);
+    getConfig(): FullNodeBlockBuilderConfig;
+    updateConfig(config: Partial<FullNodeBlockBuilderConfig>): void;
+    /**
+     * Starts a new checkpoint and returns a CheckpointBuilder to build blocks within it.
+     */
+    startCheckpoint(checkpointNumber: CheckpointNumber, constants: CheckpointGlobalVariables, feeAssetPriceModifier: bigint, l1ToL2Messages: Fr[], previousCheckpointOutHashes: Fr[], fork: MerkleTreeWriteOperations, bindings?: LoggerBindings): Promise<CheckpointBuilder>;
+    /**
+     * Opens a checkpoint, either starting fresh or resuming from existing blocks.
+     */
+    openCheckpoint(checkpointNumber: CheckpointNumber, constants: CheckpointGlobalVariables, feeAssetPriceModifier: bigint, l1ToL2Messages: Fr[], previousCheckpointOutHashes: Fr[], fork: MerkleTreeWriteOperations, existingBlocks?: L2Block[], bindings?: LoggerBindings): Promise<CheckpointBuilder>;
+    /** Returns a fork of the world state at the given block number. */
+    getFork(blockNumber: BlockNumber): Promise<MerkleTreeWriteOperations>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9idWlsZGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvY2hlY2twb2ludF9idWlsZGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUVoRixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFlLEtBQUssY0FBYyxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBRXZGLE9BQU8sRUFBRSxZQUFZLEVBQVcsTUFBTSx5QkFBeUIsQ0FBQztBQUVoRSxPQUFPLEVBQUUsNEJBQTRCLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUMxRSxPQUFPLEVBR0wsZUFBZSxFQUVoQixNQUFNLHlCQUF5QixDQUFDO0FBQ2pDLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUM5QyxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDdEQsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBRXJFLE9BQU8sRUFDTCxLQUFLLDRCQUE0QixFQUNqQyxLQUFLLDBCQUEwQixFQUUvQixLQUFLLHVCQUF1QixFQUM1QixLQUFLLG1CQUFtQixFQUN4QixLQUFLLHlCQUF5QixFQUU5QixLQUFLLHFCQUFxQixFQUMxQixLQUFLLHNCQUFzQixFQUM1QixNQUFNLGlDQUFpQyxDQUFDO0FBQ3pDLE9BQU8sRUFBRSxLQUFLLGFBQWEsRUFBcUIsTUFBTSxvQkFBb0IsQ0FBQztBQUUzRSxPQUFPLEVBQUUsS0FBSyx5QkFBeUIsRUFBRSxlQUFlLEVBQUUsY0FBYyxFQUFFLEVBQUUsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQ3ZHLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBc0IsTUFBTSx5QkFBeUIsQ0FBQztBQUduRixZQUFZLEVBQUUsNEJBQTRCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUVwRjs7O0dBR0c7QUFDSCxxQkFBYSxpQkFBa0IsWUFBVyx1QkFBdUI7SUFJN0QsT0FBTyxDQUFDLGlCQUFpQjtJQUN6QixPQUFPLENBQUMsSUFBSTtJQUNaLE9BQU8sQ0FBQyxNQUFNO0lBQ2QsT0FBTyxDQUFDLGtCQUFrQjtJQUMxQixPQUFPLENBQUMsWUFBWTtJQUNwQixPQUFPLENBQUMsZUFBZTtJQUV2QixPQUFPLENBQUMsYUFBYTtJQVZ2QixPQUFPLENBQUMsR0FBRyxDQUFTO0lBRXBCLFlBQ1UsaUJBQWlCLEVBQUUsNEJBQTRCLEVBQy9DLElBQUksRUFBRSx5QkFBeUIsRUFDL0IsTUFBTSxFQUFFLDBCQUEwQixFQUNsQyxrQkFBa0IsRUFBRSxrQkFBa0IsRUFDdEMsWUFBWSxFQUFFLFlBQVksRUFDMUIsZUFBZSxFQUFFLGVBQWUsRUFDeEMsUUFBUSxDQUFDLEVBQUUsY0FBYyxFQUNqQixhQUFhLEdBQUUsYUFBdUMsRUFNL0Q7SUFFRCxlQUFlLElBQUkseUJBQXlCLENBRTNDO0lBRUQ7O09BRUc7SUFDRyxVQUFVLENBQ2QsVUFBVSxFQUFFLFFBQVEsQ0FBQyxFQUFFLENBQUMsR0FBRyxhQUFhLENBQUMsRUFBRSxDQUFDLEVBQzVDLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLElBQUksR0FBRSxxQkFBcUIsR0FBRztRQUFFLGdCQUFnQixDQUFDLEVBQUUsY0FBYyxDQUFBO0tBQU8sR0FDdkUsT0FBTyxDQUFDLDRCQUE0QixDQUFDLENBd0R2QztJQUVELCtDQUErQztJQUN6QyxrQkFBa0IsSUFBSSxPQUFPLENBQUMsVUFBVSxDQUFDLENBVTlDO0lBRUQsaURBQWlEO0lBQ2pELGFBQWEsSUFBSSxPQUFPLENBQUMsVUFBVSxDQUFDLENBRW5DO0lBRUQsVUFBZ0Isb0JBQW9CLENBQUMsZUFBZSxFQUFFLGVBQWUsRUFBRSxJQUFJLEVBQUUseUJBQXlCOzs7T0F5Q3JHO0NBQ0Y7QUFFRCxnREFBZ0Q7QUFDaEQscUJBQWEsMEJBQTJCLFlBQVcsbUJBQW1CO0lBSWxFLE9BQU8sQ0FBQyxNQUFNO0lBQ2QsT0FBTyxDQUFDLFVBQVU7SUFDbEIsT0FBTyxDQUFDLGtCQUFrQjtJQUMxQixPQUFPLENBQUMsWUFBWTtJQUNwQixPQUFPLENBQUMsZUFBZTtJQUN2QixPQUFPLENBQUMsYUFBYTtJQVJ2QixPQUFPLENBQUMsR0FBRyxDQUFTO0lBRXBCLFlBQ1UsTUFBTSxFQUFFLDBCQUEwQixHQUFHLElBQUksQ0FBQyxpQkFBaUIsRUFBRSxlQUFlLEdBQUcsY0FBYyxDQUFDLEVBQzlGLFVBQVUsRUFBRSxzQkFBc0IsRUFDbEMsa0JBQWtCLEVBQUUsa0JBQWtCLEVBQ3RDLFlBQVksRUFBRSxZQUFZLEVBQzFCLGVBQWUsR0FBRSxlQUFzQyxFQUN2RCxhQUFhLEdBQUUsYUFBdUMsRUFHL0Q7SUFFTSxTQUFTLElBQUksMEJBQTBCLENBRTdDO0lBRU0sWUFBWSxDQUFDLE1BQU0sRUFBRSxPQUFPLENBQUMsMEJBQTBCLENBQUMsUUFFOUQ7SUFFRDs7T0FFRztJQUNHLGVBQWUsQ0FDbkIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQ2xDLFNBQVMsRUFBRSx5QkFBeUIsRUFDcEMscUJBQXFCLEVBQUUsTUFBTSxFQUM3QixjQUFjLEVBQUUsRUFBRSxFQUFFLEVBQ3BCLDJCQUEyQixFQUFFLEVBQUUsRUFBRSxFQUNqQyxJQUFJLEVBQUUseUJBQXlCLEVBQy9CLFFBQVEsQ0FBQyxFQUFFLGNBQWMsR0FDeEIsT0FBTyxDQUFDLGlCQUFpQixDQUFDLENBaUM1QjtJQUVEOztPQUVHO0lBQ0csY0FBYyxDQUNsQixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsU0FBUyxFQUFFLHlCQUF5QixFQUNwQyxxQkFBcUIsRUFBRSxNQUFNLEVBQzdCLGNBQWMsRUFBRSxFQUFFLEVBQUUsRUFDcEIsMkJBQTJCLEVBQUUsRUFBRSxFQUFFLEVBQ2pDLElBQUksRUFBRSx5QkFBeUIsRUFDL0IsY0FBYyxHQUFFLE9BQU8sRUFBTyxFQUM5QixRQUFRLENBQUMsRUFBRSxjQUFjLEdBQ3hCLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxDQStDNUI7SUFFRCxtRUFBbUU7SUFDbkUsT0FBTyxDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLHlCQUF5QixDQUFDLENBRXBFO0NBQ0YifQ==

package/dest/checkpoint_builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_builder.d.ts","sourceRoot":"","sources":["../src/checkpoint_builder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAEhF,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAe,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AAEvF,OAAO,EAAE,YAAY,EAAW,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAGL,eAAe,EAEhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAErE,OAAO,EACL,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAE/B,KAAK,uBAAuB,EAC5B,KAAK,mBAAmB,EACxB,KAAK,yBAAyB,EAE9B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC5B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,KAAK,aAAa,EAAqB,MAAM,oBAAoB,CAAC;AAE3E,OAAO,EAAE,KAAK,yBAAyB,EAAE,eAAe,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACvG,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAGnF,YAAY,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AAEpF;;;GAGG;AACH,qBAAa,iBAAkB,YAAW,uBAAuB;IAI7D,OAAO,CAAC,iBAAiB;IACzB,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,eAAe;IAEvB,OAAO,CAAC,aAAa;IAVvB,OAAO,CAAC,GAAG,CAAS;IAEpB,YACU,iBAAiB,EAAE,4BAA4B,EAC/C,IAAI,EAAE,yBAAyB,EAC/B,MAAM,EAAE,0BAA0B,EAClC,kBAAkB,EAAE,kBAAkB,EACtC,YAAY,EAAE,YAAY,EAC1B,eAAe,EAAE,eAAe,EACxC,QAAQ,CAAC,EAAE,cAAc,EACjB,aAAa,GAAE,aAAuC,EAM/D;IAED,eAAe,IAAI,yBAAyB,CAE3C;IAED;;OAEG;IACG,UAAU,CACd,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,EAC5C,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,MAAM,EACjB,IAAI,GAAE,qBAAqB,GAAG;QAAE,gBAAgB,CAAC,EAAE,cAAc,CAAA;KAAO,GACvE,OAAO,CAAC,4BAA4B,CAAC,CAwDvC;IAED,+CAA+C;IACzC,kBAAkB,IAAI,OAAO,CAAC,UAAU,CAAC,CAU9C;IAED,iDAAiD;IACjD,aAAa,IAAI,OAAO,CAAC,UAAU,CAAC,CAEnC;IAED,UAAgB,oBAAoB,CAAC,eAAe,EAAE,eAAe,EAAE,IAAI,EAAE,yBAAyB;;;OAyCrG;CACF;AAED,gDAAgD;AAChD,qBAAa,0BAA2B,YAAW,mBAAmB;IAIlE,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,aAAa;IARvB,OAAO,CAAC,GAAG,CAAS;IAEpB,YACU,MAAM,EAAE,0BAA0B,GAAG,IAAI,CAAC,iBAAiB,EAAE,eAAe,GAAG,cAAc,CAAC,EAC9F,UAAU,EAAE,sBAAsB,EAClC,kBAAkB,EAAE,kBAAkB,EACtC,YAAY,EAAE,YAAY,EAC1B,eAAe,GAAE,eAAsC,EACvD,aAAa,GAAE,aAAuC,EAG/D;IAEM,SAAS,IAAI,0BAA0B,CAE7C;IAEM,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,0BAA0B,CAAC,QAE9D;IAED;;OAEG;IACG,eAAe,CACnB,gBAAgB,EAAE,gBAAgB,EAClC,SAAS,EAAE,yBAAyB,EACpC,qBAAqB,EAAE,MAAM,EAC7B,cAAc,EAAE,EAAE,EAAE,EACpB,2BAA2B,EAAE,EAAE,EAAE,EACjC,IAAI,EAAE,yBAAyB,EAC/B,QAAQ,CAAC,EAAE,cAAc,GACxB,OAAO,CAAC,iBAAiB,CAAC,CAiC5B;IAED;;OAEG;IACG,cAAc,CAClB,gBAAgB,EAAE,gBAAgB,EAClC,SAAS,EAAE,yBAAyB,EACpC,qBAAqB,EAAE,MAAM,EAC7B,cAAc,EAAE,EAAE,EAAE,EACpB,2BAA2B,EAAE,EAAE,EAAE,EACjC,IAAI,EAAE,yBAAyB,EAC/B,cAAc,GAAE,OAAO,EAAO,EAC9B,QAAQ,CAAC,EAAE,cAAc,GACxB,OAAO,CAAC,iBAAiB,CAAC,CA+C5B;IAED,mEAAmE;IACnE,OAAO,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAEpE;CACF"}