@aztec/stdlib 0.0.1-commit.86469d5 → 0.0.1-commit.8655d4a

package/dest/block/l2_block_source.d.ts

@@ -3,17 +3,67 @@ import type { Fr } from '@aztec/foundation/curves/bn254';
 import type { EthAddress } from '@aztec/foundation/eth-address';
 import type { TypedEventEmitter } from '@aztec/foundation/types';
 import { z } from 'zod';
-import type { Checkpoint } from '../checkpoint/checkpoint.js';
+import type { CheckpointData, ProposedCheckpointData, ProposedCheckpointInput } from '../checkpoint/checkpoint_data.js';
+import type { CheckpointInfo } from '../checkpoint/checkpoint_info.js';
 import type { PublishedCheckpoint } from '../checkpoint/published_checkpoint.js';
 import type { L1RollupConstants } from '../epoch-helpers/index.js';
-import type { BlockHeader } from '../tx/block_header.js';
 import type { IndexedTxEffect } from '../tx/indexed_tx_effect.js';
 import type { TxHash } from '../tx/tx_hash.js';
 import type { TxReceipt } from '../tx/tx_receipt.js';
-import type { BlockHash } from './block_hash.js';
-import type { CheckpointedL2Block } from './checkpointed_l2_block.js';
+import type { BlockData } from './block_data.js';
+import { BlockHash } from './block_hash.js';
+import { type NormalizedBlockParameter } from './block_parameter.js';
 import type { L2Block } from './l2_block.js';
 import type { ValidateCheckpointNegativeResult, ValidateCheckpointResult } from './validate_block_result.js';
+/** Lookup a single block by block number, hash, archive root, or chain-tip tag. */
+export type BlockQuery = NormalizedBlockParameter;
+/**
+ * Query a range of blocks by start/limit or by epoch.
+ *
+ * The `epoch` variant requires `onlyCheckpointed: true` because epoch boundaries are only
+ * meaningful for the checkpointed chain — the proposed chain may include uncheckpointed
+ * blocks past the epoch boundary that callers should not receive.
+ */
+export type BlocksQuery = {
+    from: BlockNumber;
+    limit: number;
+    onlyCheckpointed?: boolean;
+} | {
+    epoch: EpochNumber;
+    onlyCheckpointed: true;
+};
+export declare const BlockQuerySchema: z.ZodType<BlockQuery, unknown>;
+export declare const BlocksQuerySchema: z.ZodType<BlocksQuery, unknown>;
+/** Lookup a single confirmed checkpoint by checkpoint number, slot, or chain-tip tag. */
+export type CheckpointQuery = {
+    number: CheckpointNumber;
+} | {
+    slot: SlotNumber;
+} | {
+    tag: 'checkpointed' | 'proven' | 'finalized';
+};
+/** Query a range of confirmed checkpoints by start/limit or by epoch. */
+export type CheckpointsQuery = {
+    from: CheckpointNumber;
+    limit: number;
+} | {
+    epoch: EpochNumber;
+};
+/**
+ * Lookup a proposed (archiver-internal, not-yet-L1-confirmed) checkpoint.
+ * Distinct from CheckpointQuery because proposed checkpoints have a different shape
+ * (no l1, no attestations, but carries totalManaUsed) and live in their own LMDB map.
+ */
+export type ProposedCheckpointQuery = {
+    number: CheckpointNumber;
+} | {
+    slot: SlotNumber;
+} | {
+    tag: 'proposed';
+};
+export declare const CheckpointQuerySchema: z.ZodType<CheckpointQuery, unknown>;
+export declare const CheckpointsQuerySchema: z.ZodType<CheckpointsQuery, unknown>;
+export declare const ProposedCheckpointQuerySchema: z.ZodType<ProposedCheckpointQuery, unknown>;
 /**
  * Interface of classes allowing for the retrieval of L2 blocks.
  */
@@ -34,78 +84,41 @@ export interface L2BlockSource {
      */
     getBlockNumber(): Promise<BlockNumber>;
     /**
-     * Gets the number of the latest L2 block proven seen by the block source implementation.
-     * @returns The number of the latest L2 block proven seen by the block source implementation.
-     */
-    getProvenBlockNumber(): Promise<BlockNumber>;
-    /**
-     * Gets the number of the latest L2 block checkpointed seen by the block source implementation.
-     * @returns The number of the latest L2 block checkpointed seen by the block source implementation.
-     */
-    getCheckpointedL2BlockNumber(): Promise<BlockNumber>;
-    /**
-     * Computes the finalized block number based on the proven block number.
-     * A block is considered finalized when it's 2 epochs behind the proven block.
-     * TODO(#13569): Compute proper finalized block number based on L1 finalized block.
-     * @returns The finalized block number.
-     */
-    getFinalizedL2BlockNumber(): Promise<BlockNumber>;
-    /**
-     * Gets an l2 block header.
-     * @param number - The block number to return or 'latest' for the most recent one.
-     * @returns The requested L2 block header.
+     * Resolves a {@link BlockQuery} to its concrete L2 block number.
+     * @param query - Lookup by block number, hash, archive root, or chain-tip tag.
+     * @returns The block number, or undefined if no block matches the query.
      */
-    getBlockHeader(number: BlockNumber | 'latest'): Promise<BlockHeader | undefined>;
+    getBlockNumber(query: BlockQuery): Promise<BlockNumber | undefined>;
+    getBlockNumber(query?: BlockQuery): Promise<BlockNumber | undefined>;
     /**
-     * Gets a checkpointed L2 block by block number.
-     * Returns undefined if the block doesn't exist or hasn't been checkpointed yet.
-     * @param number - The block number to retrieve.
-     * @returns The requested checkpointed L2 block (or undefined if not found or not checkpointed).
+     * Gets the number of the latest L2 checkpoint processed by the block source implementation.
+     * @returns The number of the latest L2 checkpoint processed by the block source implementation.
      */
-    getCheckpointedBlock(number: BlockNumber): Promise<CheckpointedL2Block | undefined>;
-    getCheckpointedBlocks(from: BlockNumber, limit: number): Promise<CheckpointedL2Block[]>;
+    getCheckpointNumber(): Promise<CheckpointNumber>;
     /**
-     * Retrieves a collection of checkpoints.
-     * @param checkpointNumber The first checkpoint to be retrieved.
-     * @param limit The number of checkpoints to be retrieved.
-     * @returns The collection of complete checkpoints.
+     * Gets a single confirmed checkpoint matching the given query.
+     * Heavy shape: includes nested full `L2Block`s with transaction bodies.
+     * @param query - Lookup by checkpoint number, slot, or chain-tip tag.
      */
-    getCheckpoints(checkpointNumber: CheckpointNumber, limit: number): Promise<PublishedCheckpoint[]>;
+    getCheckpoint(query: CheckpointQuery): Promise<PublishedCheckpoint | undefined>;
     /**
-     * Gets the checkpoints for a given epoch
-     * @param epochNumber - Epoch for which we want checkpoint data
+     * Gets a collection of confirmed checkpoints matching the given query.
+     * Heavy shape: includes nested full `L2Block`s with transaction bodies.
+     * @param query - Range by start/limit or by epoch.
      */
-    getCheckpointsForEpoch(epochNumber: EpochNumber): Promise<Checkpoint[]>;
+    getCheckpoints(query: CheckpointsQuery): Promise<PublishedCheckpoint[]>;
     /**
-     * Gets a block header by its hash.
-     * @param blockHash - The block hash to retrieve.
-     * @returns The requested block header (or undefined if not found).
+     * Gets lightweight checkpoint metadata for a single checkpoint.
+     * Cheap passthrough for metadata-only queries (no block body reads).
+     * @param query - Lookup by checkpoint number, slot, or chain-tip tag.
      */
-    getBlockHeaderByHash(blockHash: BlockHash): Promise<BlockHeader | undefined>;
+    getCheckpointData(query: CheckpointQuery): Promise<CheckpointData | undefined>;
     /**
-     * Gets a block header by its archive root.
-     * @param archive - The archive root to retrieve.
-     * @returns The requested block header (or undefined if not found).
+     * Gets a collection of lightweight checkpoint metadata entries matching the given query.
+     * Cheap passthrough for metadata-only queries (no block body reads).
+     * @param query - Range by start/limit or by epoch.
      */
-    getBlockHeaderByArchive(archive: Fr): Promise<BlockHeader | undefined>;
-    /**
-     * Gets an L2 block by block number.
-     * @param number - The block number to return.
-     * @returns The requested L2 block (or undefined if not found).
-     */
-    getL2Block(number: BlockNumber): Promise<L2Block | undefined>;
-    /**
-     * Gets an L2 block by its hash.
-     * @param blockHash - The block hash to retrieve.
-     * @returns The requested L2 block (or undefined if not found).
-     */
-    getL2BlockByHash(blockHash: BlockHash): Promise<L2Block | undefined>;
-    /**
-     * Gets an L2 block by its archive root.
-     * @param archive - The archive root to retrieve.
-     * @returns The requested L2 block (or undefined if not found).
-     */
-    getL2BlockByArchive(archive: Fr): Promise<L2Block | undefined>;
+    getCheckpointsData(query: CheckpointsQuery): Promise<CheckpointData[]>;
     /**
      * Gets a tx effect.
      * @param txHash - The hash of the tx corresponding to the tx effect.
@@ -119,19 +132,17 @@ export interface L2BlockSource {
      */
     getSettledTxReceipt(txHash: TxHash): Promise<TxReceipt | undefined>;
     /**
-     * Returns the current L2 slot number based on the currently synced L1 timestamp.
-     */
-    getL2SlotNumber(): Promise<SlotNumber | undefined>;
-    /**
-     * Returns the current L2 epoch number based on the currently synced L1 timestamp.
+     * Returns the last L2 slot number for which we have all L1 data needed to build the next checkpoint.
+     * Determined by the max of two signals: L1 block sync progress and latest synced checkpoint slot.
+     * The checkpoint signal handles missed L1 blocks, since a published checkpoint seals the message tree
+     * for the next checkpoint via the inbox LAG mechanism.
      */
-    getL2EpochNumber(): Promise<EpochNumber | undefined>;
+    getSyncedL2SlotNumber(): Promise<SlotNumber | undefined>;
     /**
-     * Returns all checkpointed block headers for a given epoch.
-     * @dev Use this method only with recent epochs, since it walks the block list backwards.
-     * @param epochNumber - The epoch number to return headers for.
+     * Returns the last L2 epoch number that has been fully synchronized from L1.
+     * An epoch is fully synced when all its L2 slots have been fully synced.
      */
-    getCheckpointedBlockHeadersForEpoch(epochNumber: EpochNumber): Promise<BlockHeader[]>;
+    getSyncedL2EpochNumber(): Promise<EpochNumber | undefined>;
     /**
      * Returns whether the given epoch is completed on L1, based on the current L1 and L2 block numbers.
      * @param epochNumber - The epoch number to check.
@@ -145,10 +156,21 @@ export interface L2BlockSource {
      * Returns the rollup constants for the current chain.
      */
     getL1Constants(): Promise<L1RollupConstants>;
+    /**
+     * Returns true iff `canPruneAtTime` would be true at the latest L1 timestamp inside
+     * the L2 slot's window. Computed entirely from local archiver state (no L1 RPC).
+     * @param slot - The L2 slot to check.
+     */
+    isPruneDueAtSlot(slot: SlotNumber): Promise<boolean>;
     /** Returns values for the genesis block */
     getGenesisValues(): Promise<{
         genesisArchiveRoot: Fr;
     }>;
+    /**
+     * Returns the precomputed hash of the genesis block header. Synchronous because the hash
+     * is derived from the initial block header at construction time and cached by implementers.
+     */
+    getGenesisBlockHash(): BlockHash;
     /** Latest synced L1 timestamp. */
     getL1Timestamp(): Promise<bigint | undefined>;
     /**
@@ -161,45 +183,41 @@ export interface L2BlockSource {
      * checkpoint that is invalid, along with the reason for being invalid, which can be used to trigger an invalidation.
      */
     getPendingChainValidationStatus(): Promise<ValidateCheckpointResult>;
-    /** Force a sync. */
-    syncImmediate(): Promise<void>;
     /**
-     * Gets an l2 block. If a negative number is passed, the block returned is the most recent.
-     * @param number - The block number to return (inclusive).
-     * @returns The requested L2 block.
+     * Looks up a proposed (archiver-internal, not-yet-L1-confirmed) checkpoint.
+     * Returns the latest proposed entry when called with no args or `{ tag: 'proposed' }`.
+     * With `{ number }` or `{ slot }`, returns the matching entry or undefined.
+     * Never falls back to confirmed checkpoints.
      */
-    getBlock(number: BlockNumber): Promise<L2Block | undefined>;
+    getProposedCheckpointData(query?: ProposedCheckpointQuery): Promise<ProposedCheckpointData | undefined>;
+    /** Force a sync. */
+    syncImmediate(): Promise<void>;
     /**
-     * Returns all checkpointed blocks for a given epoch.
-     * @dev Use this method only with recent epochs, since it walks the block list backwards.
-     * @param epochNumber - The epoch number to return blocks for.
+     * Gets an L2 block matching the given query.
+     * @param query - Lookup by block number, hash, or archive root.
      */
-    getCheckpointedBlocksForEpoch(epochNumber: EpochNumber): Promise<CheckpointedL2Block[]>;
+    getBlock(query: BlockQuery): Promise<L2Block | undefined>;
     /**
-     * Returns all blocks for a given slot.
-     * @dev Use this method only with recent slots, since it walks the block list backwards.
-     * @param slotNumber - The slot number to return blocks for.
+     * Gets a collection of L2 blocks matching the given query.
+     * @param query - Range by start/limit or by epoch; optionally restricted to checkpointed blocks.
      */
-    getBlocksForSlot(slotNumber: SlotNumber): Promise<L2Block[]>;
+    getBlocks(query: BlocksQuery): Promise<L2Block[]>;
     /**
-     * Gets a checkpointed block by its block hash.
-     * @param blockHash - The block hash to retrieve.
-     * @returns The requested block (or undefined if not found).
+     * Gets block metadata (without tx data) matching the given query.
+     * @param query - Lookup by block number, hash, or archive root.
      */
-    getCheckpointedBlockByHash(blockHash: BlockHash): Promise<CheckpointedL2Block | undefined>;
+    getBlockData(query: BlockQuery): Promise<BlockData | undefined>;
     /**
-     * Gets a checkpointed block by its archive root.
-     * @param archive - The archive root to retrieve.
-     * @returns The requested block (or undefined if not found).
+     * Gets a collection of block metadata entries matching the given query.
+     * @param query - Range by start/limit or by epoch; optionally restricted to checkpointed blocks.
      */
-    getCheckpointedBlockByArchive(archive: Fr): Promise<CheckpointedL2Block | undefined>;
+    getBlocksData(query: BlocksQuery): Promise<BlockData[]>;
     /**
-     * Gets up to `limit` amount of L2 blocks starting from `from`.
-     * @param from - Number of the first block to return (inclusive).
-     * @param limit - The maximum number of blocks to return.
-     * @returns The requested L2 blocks.
+     * Returns all blocks for a given slot.
+     * @dev Use this method only with recent slots, since it walks the block list backwards.
+     * @param slotNumber - The slot number to return blocks for.
      */
-    getBlocks(from: BlockNumber, limit: number): Promise<L2Block[]>;
+    getBlocksForSlot(slotNumber: SlotNumber): Promise<L2Block[]>;
 }
 /**
  * Interface for classes that can receive and store L2 blocks.
@@ -212,6 +230,18 @@ export interface L2BlockSink {
      */
     addBlock(block: L2Block): Promise<void>;
 }
+/**
+ * Interface for classes that can receive and store proposed (not-yet-L1-confirmed) checkpoints.
+ */
+export interface ProposedCheckpointSink {
+    /**
+     * Adds a proposed checkpoint to the store. The archive and checkpointOutHash are computed
+     * internally from the already-stored blocks, so every block in the checkpoint must be added
+     * (via {@link L2BlockSink.addBlock}) before calling this.
+     * @param checkpoint - The proposed checkpoint metadata.
+     */
+    addProposedCheckpoint(checkpoint: ProposedCheckpointInput): Promise<void>;
+}
 /**
  * L2BlockSource that emits events upon pending / proven chain changes.
  * see L2BlockSourceEvents for the events emitted.
@@ -222,22 +252,32 @@ export type ArchiverEmitter = TypedEventEmitter<{
     [L2BlockSourceEvents.L2BlockProven]: (args: L2BlockProvenEvent) => void;
     [L2BlockSourceEvents.InvalidAttestationsCheckpointDetected]: (args: InvalidCheckpointDetectedEvent) => void;
     [L2BlockSourceEvents.L2BlocksCheckpointed]: (args: L2CheckpointEvent) => void;
+    [L2BlockSourceEvents.CheckpointEquivocationDetected]: (args: CheckpointEquivocationDetectedEvent) => void;
+    [L2BlockSourceEvents.DescendentOfInvalidAttestationsCheckpointDetected]: (args: DescendentOfInvalidAttestationsCheckpointEvent) => void;
 }>;
 export interface L2BlockSourceEventEmitter extends L2BlockSource {
     events: ArchiverEmitter;
 }
 /**
- * Identifier for L2 block tags.
+ * Identifier for L2 block tags. Internal counterpart to {@link BlockTag} that exposes
+ * the additional `proposedCheckpoint` value (used for the optimistic chain tip on the
+ * archiver side) and omits `latest` (which is an alias for `proposed` accepted only at
+ * the public RPC surface).
+ *
  * - proposed: Latest block proposed on L2.
- * - checkpointed: Checkpointed block on L1.
- * - proven: Proven block on L1.
- * - finalized: Proven block on a finalized L1 block (not implemented, set to proven for now).
+ * - proposedCheckpoint: Latest block in the most recent proposed checkpoint (archiver-internal).
+ * - checkpointed: Latest block whose enclosing checkpoint has been published on L1.
+ * - proven: Latest block whose enclosing checkpoint has been proven on L1.
+ * - finalized: Latest block whose proving L1 transaction has reached L1 finality.
+ *
+ * TODO(palla): Remove `proposedCheckpoint` and unify with `proposed`.
  */
-export type L2BlockTag = 'proposed' | 'checkpointed' | 'proven' | 'finalized';
+export type L2BlockTag = 'proposed' | 'proposedCheckpoint' | 'checkpointed' | 'proven' | 'finalized';
 /** Tips of the L2 chain. */
 export type L2Tips = {
     proposed: L2BlockId;
     checkpointed: L2TipId;
+    proposedCheckpoint: L2TipId;
     proven: L2TipId;
     finalized: L2TipId;
 };
@@ -261,252 +301,58 @@ export declare function makeL2BlockId(number: BlockNumber, hash?: string): L2Blo
 export declare function makeL2CheckpointId(number: CheckpointNumber, hash: string): CheckpointId;
 export declare const L2TipsSchema: z.ZodObject<{
     proposed: z.ZodObject<{
-        number: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
+        number: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<BlockNumber, number>>;
         hash: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        number: number & {
-            _branding: "BlockNumber";
-        };
-        hash: string;
-    }, {
-        number: string | number | bigint;
-        hash: string;
-    }>;
+    }, z.core.$strip>;
     checkpointed: z.ZodObject<{
         block: z.ZodObject<{
-            number: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
+            number: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<BlockNumber, number>>;
             hash: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            number: number & {
-                _branding: "BlockNumber";
-            };
-            hash: string;
-        }, {
-            number: string | number | bigint;
-            hash: string;
-        }>;
+        }, z.core.$strip>;
         checkpoint: z.ZodObject<{
-            number: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
+            number: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<CheckpointNumber, number>>;
             hash: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            number: number & {
-                _branding: "CheckpointNumber";
-            };
-            hash: string;
-        }, {
-            number: string | number | bigint;
-            hash: string;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        block: {
-            number: number & {
-                _branding: "BlockNumber";
-            };
-            hash: string;
-        };
-        checkpoint: {
-            number: number & {
-                _branding: "CheckpointNumber";
-            };
-            hash: string;
-        };
-    }, {
-        block: {
-            number: string | number | bigint;
-            hash: string;
-        };
-        checkpoint: {
-            number: string | number | bigint;
-            hash: string;
-        };
-    }>;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+    proposedCheckpoint: z.ZodObject<{
+        block: z.ZodObject<{
+            number: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<BlockNumber, number>>;
+            hash: z.ZodString;
+        }, z.core.$strip>;
+        checkpoint: z.ZodObject<{
+            number: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<CheckpointNumber, number>>;
+            hash: z.ZodString;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
     proven: z.ZodObject<{
         block: z.ZodObject<{
-            number: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
+            number: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<BlockNumber, number>>;
             hash: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            number: number & {
-                _branding: "BlockNumber";
-            };
-            hash: string;
-        }, {
-            number: string | number | bigint;
-            hash: string;
-        }>;
+        }, z.core.$strip>;
         checkpoint: z.ZodObject<{
-            number: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
+            number: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<CheckpointNumber, number>>;
             hash: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            number: number & {
-                _branding: "CheckpointNumber";
-            };
-            hash: string;
-        }, {
-            number: string | number | bigint;
-            hash: string;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        block: {
-            number: number & {
-                _branding: "BlockNumber";
-            };
-            hash: string;
-        };
-        checkpoint: {
-            number: number & {
-                _branding: "CheckpointNumber";
-            };
-            hash: string;
-        };
-    }, {
-        block: {
-            number: string | number | bigint;
-            hash: string;
-        };
-        checkpoint: {
-            number: string | number | bigint;
-            hash: string;
-        };
-    }>;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
     finalized: z.ZodObject<{
         block: z.ZodObject<{
-            number: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
+            number: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<BlockNumber, number>>;
             hash: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            number: number & {
-                _branding: "BlockNumber";
-            };
-            hash: string;
-        }, {
-            number: string | number | bigint;
-            hash: string;
-        }>;
+        }, z.core.$strip>;
         checkpoint: z.ZodObject<{
-            number: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
+            number: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<CheckpointNumber, number>>;
             hash: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            number: number & {
-                _branding: "CheckpointNumber";
-            };
-            hash: string;
-        }, {
-            number: string | number | bigint;
-            hash: string;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        block: {
-            number: number & {
-                _branding: "BlockNumber";
-            };
-            hash: string;
-        };
-        checkpoint: {
-            number: number & {
-                _branding: "CheckpointNumber";
-            };
-            hash: string;
-        };
-    }, {
-        block: {
-            number: string | number | bigint;
-            hash: string;
-        };
-        checkpoint: {
-            number: string | number | bigint;
-            hash: string;
-        };
-    }>;
-}, "strip", z.ZodTypeAny, {
-    proposed: {
-        number: number & {
-            _branding: "BlockNumber";
-        };
-        hash: string;
-    };
-    checkpointed: {
-        block: {
-            number: number & {
-                _branding: "BlockNumber";
-            };
-            hash: string;
-        };
-        checkpoint: {
-            number: number & {
-                _branding: "CheckpointNumber";
-            };
-            hash: string;
-        };
-    };
-    proven: {
-        block: {
-            number: number & {
-                _branding: "BlockNumber";
-            };
-            hash: string;
-        };
-        checkpoint: {
-            number: number & {
-                _branding: "CheckpointNumber";
-            };
-            hash: string;
-        };
-    };
-    finalized: {
-        block: {
-            number: number & {
-                _branding: "BlockNumber";
-            };
-            hash: string;
-        };
-        checkpoint: {
-            number: number & {
-                _branding: "CheckpointNumber";
-            };
-            hash: string;
-        };
-    };
-}, {
-    proposed: {
-        number: string | number | bigint;
-        hash: string;
-    };
-    checkpointed: {
-        block: {
-            number: string | number | bigint;
-            hash: string;
-        };
-        checkpoint: {
-            number: string | number | bigint;
-            hash: string;
-        };
-    };
-    proven: {
-        block: {
-            number: string | number | bigint;
-            hash: string;
-        };
-        checkpoint: {
-            number: string | number | bigint;
-            hash: string;
-        };
-    };
-    finalized: {
-        block: {
-            number: string | number | bigint;
-            hash: string;
-        };
-        checkpoint: {
-            number: string | number | bigint;
-            hash: string;
-        };
-    };
-}>;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
 export declare enum L2BlockSourceEvents {
     L2PruneUnproven = "l2PruneUnproven",
     L2PruneUncheckpointed = "l2PruneUncheckpointed",
     L2BlockProven = "l2BlockProven",
     L2BlocksCheckpointed = "l2BlocksCheckpointed",
-    InvalidAttestationsCheckpointDetected = "invalidCheckpointDetected"
+    InvalidAttestationsCheckpointDetected = "invalidCheckpointDetected",
+    CheckpointEquivocationDetected = "checkpointEquivocationDetected",
+    DescendentOfInvalidAttestationsCheckpointDetected = "descendentOfInvalidAttestationsCheckpointDetected"
 }
 export type L2BlockProvenEvent = {
     type: 'l2BlockProven';
@@ -532,4 +378,30 @@ export type InvalidCheckpointDetectedEvent = {
     type: 'invalidCheckpointDetected';
     validationResult: ValidateCheckpointNegativeResult;
 };
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibDJfYmxvY2tfc291cmNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvY2svbDJfYmxvY2tfc291cmNlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxXQUFXLEVBRVgsZ0JBQWdCLEVBRWhCLEtBQUssV0FBVyxFQUNoQixLQUFLLFVBQVUsRUFDaEIsTUFBTSxpQ0FBaUMsQ0FBQztBQUN6QyxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNoRSxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRWpFLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRW5FLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ2xFLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQy9DLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ3JELE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ2pELE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDdEUsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sZUFBZSxDQUFDO0FBQzdDLE9BQU8sS0FBSyxFQUFFLGdDQUFnQyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFFN0c7O0dBRUc7QUFDSCxNQUFNLFdBQVcsYUFBYTtJQUM1Qjs7O09BR0c7SUFDSCxnQkFBZ0IsSUFBSSxPQUFPLENBQUMsVUFBVSxDQUFDLENBQUM7SUFFeEM7OztPQUdHO0lBQ0gsa0JBQWtCLElBQUksT0FBTyxDQUFDLFVBQVUsQ0FBQyxDQUFDO0lBRTFDOzs7T0FHRztJQUNILGNBQWMsSUFBSSxPQUFPLENBQUMsV0FBVyxDQUFDLENBQUM7SUFFdkM7OztPQUdHO0lBQ0gsb0JBQW9CLElBQUksT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQUFDO0lBRTdDOzs7T0FHRztJQUNILDRCQUE0QixJQUFJLE9BQU8sQ0FBQyxXQUFXLENBQUMsQ0FBQztJQUVyRDs7Ozs7T0FLRztJQUNILHlCQUF5QixJQUFJLE9BQU8sQ0FBQyxXQUFXLENBQUMsQ0FBQztJQUVsRDs7OztPQUlHO0lBQ0gsY0FBYyxDQUFDLE1BQU0sRUFBRSxXQUFXLEdBQUcsUUFBUSxHQUFHLE9BQU8sQ0FBQyxXQUFXLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFakY7Ozs7O09BS0c7SUFDSCxvQkFBb0IsQ0FBQyxNQUFNLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxtQkFBbUIsR0FBRyxTQUFTLENBQUMsQ0FBQztJQUVwRixxQkFBcUIsQ0FBQyxJQUFJLEVBQUUsV0FBVyxFQUFFLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixFQUFFLENBQUMsQ0FBQztJQUV4Rjs7Ozs7T0FLRztJQUNILGNBQWMsQ0FBQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFBRSxLQUFLLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxtQkFBbUIsRUFBRSxDQUFDLENBQUM7SUFFbEc7OztPQUdHO0lBQ0gsc0JBQXNCLENBQUMsV0FBVyxFQUFFLFdBQVcsR0FBRyxPQUFPLENBQUMsVUFBVSxFQUFFLENBQUMsQ0FBQztJQUV4RTs7OztPQUlHO0lBQ0gsb0JBQW9CLENBQUMsU0FBUyxFQUFFLFNBQVMsR0FBRyxPQUFPLENBQUMsV0FBVyxHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRTdFOzs7O09BSUc7SUFDSCx1QkFBdUIsQ0FBQyxPQUFPLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxXQUFXLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFdkU7Ozs7T0FJRztJQUNILFVBQVUsQ0FBQyxNQUFNLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxPQUFPLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFOUQ7Ozs7T0FJRztJQUNILGdCQUFnQixDQUFDLFNBQVMsRUFBRSxTQUFTLEdBQUcsT0FBTyxDQUFDLE9BQU8sR0FBRyxTQUFTLENBQUMsQ0FBQztJQUVyRTs7OztPQUlHO0lBQ0gsbUJBQW1CLENBQUMsT0FBTyxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsT0FBTyxHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRS9EOzs7O09BSUc7SUFDSCxXQUFXLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsZUFBZSxHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRWxFOzs7O09BSUc7SUFDSCxtQkFBbUIsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxTQUFTLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFcEU7O09BRUc7SUFDSCxlQUFlLElBQUksT0FBTyxDQUFDLFVBQVUsR0FBRyxTQUFTLENBQUMsQ0FBQztJQUVuRDs7T0FFRztJQUNILGdCQUFnQixJQUFJLE9BQU8sQ0FBQyxXQUFXLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFckQ7Ozs7T0FJRztJQUNILG1DQUFtQyxDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLFdBQVcsRUFBRSxDQUFDLENBQUM7SUFFdEY7OztPQUdHO0lBQ0gsZUFBZSxDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFDO0lBRTVEOztPQUVHO0lBQ0gsU0FBUyxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUU3Qjs7T0FFRztJQUNILGNBQWMsSUFBSSxPQUFPLENBQUMsaUJBQWlCLENBQUMsQ0FBQztJQUU3QywyQ0FBMkM7SUFDM0MsZ0JBQWdCLElBQUksT0FBTyxDQUFDO1FBQUUsa0JBQWtCLEVBQUUsRUFBRSxDQUFBO0tBQUUsQ0FBQyxDQUFDO0lBRXhELGtDQUFrQztJQUNsQyxjQUFjLElBQUksT0FBTyxDQUFDLE1BQU0sR0FBRyxTQUFTLENBQUMsQ0FBQztJQUU5Qzs7O09BR0c7SUFDSCxxQkFBcUIsSUFBSSxPQUFPLENBQUMsT0FBTyxDQUFDLENBQUM7SUFFMUM7OztPQUdHO0lBQ0gsK0JBQStCLElBQUksT0FBTyxDQUFDLHdCQUF3QixDQUFDLENBQUM7SUFFckUsb0JBQW9CO0lBQ3BCLGFBQWEsSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7SUFJL0I7Ozs7T0FJRztJQUNILFFBQVEsQ0FBQyxNQUFNLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxPQUFPLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFNUQ7Ozs7T0FJRztJQUNILDZCQUE2QixDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixFQUFFLENBQUMsQ0FBQztJQUV4Rjs7OztPQUlHO0lBQ0gsZ0JBQWdCLENBQUMsVUFBVSxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsT0FBTyxFQUFFLENBQUMsQ0FBQztJQUU3RDs7OztPQUlHO0lBQ0gsMEJBQTBCLENBQUMsU0FBUyxFQUFFLFNBQVMsR0FBRyxPQUFPLENBQUMsbUJBQW1CLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFM0Y7Ozs7T0FJRztJQUNILDZCQUE2QixDQUFDLE9BQU8sRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRXJGOzs7OztPQUtHO0lBQ0gsU0FBUyxDQUFDLElBQUksRUFBRSxXQUFXLEVBQUUsS0FBSyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsT0FBTyxFQUFFLENBQUMsQ0FBQztDQUNqRTtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLFdBQVc7SUFDMUI7Ozs7T0FJRztJQUNILFFBQVEsQ0FBQyxLQUFLLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztDQUN6QztBQUVEOzs7R0FHRztBQUNILE1BQU0sTUFBTSxlQUFlLEdBQUcsaUJBQWlCLENBQUM7SUFDOUMsQ0FBQyxtQkFBbUIsQ0FBQyxlQUFlLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRSxvQkFBb0IsS0FBSyxJQUFJLENBQUM7SUFDNUUsQ0FBQyxtQkFBbUIsQ0FBQyxxQkFBcUIsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFLDBCQUEwQixLQUFLLElBQUksQ0FBQztJQUN4RixDQUFDLG1CQUFtQixDQUFDLGFBQWEsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFLGtCQUFrQixLQUFLLElBQUksQ0FBQztJQUN4RSxDQUFDLG1CQUFtQixDQUFDLHFDQUFxQyxDQUFDLEVBQUUsQ0FBQyxJQUFJLEVBQUUsOEJBQThCLEtBQUssSUFBSSxDQUFDO0lBQzVHLENBQUMsbUJBQW1CLENBQUMsb0JBQW9CLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRSxpQkFBaUIsS0FBSyxJQUFJLENBQUM7Q0FDL0UsQ0FBQyxDQUFDO0FBQ0gsTUFBTSxXQUFXLHlCQUEwQixTQUFRLGFBQWE7SUFDOUQsTUFBTSxFQUFFLGVBQWUsQ0FBQztDQUN6QjtBQUVEOzs7Ozs7R0FNRztBQUNILE1BQU0sTUFBTSxVQUFVLEdBQUcsVUFBVSxHQUFHLGNBQWMsR0FBRyxRQUFRLEdBQUcsV0FBVyxDQUFDO0FBRTlFLDRCQUE0QjtBQUM1QixNQUFNLE1BQU0sTUFBTSxHQUFHO0lBQ25CLFFBQVEsRUFBRSxTQUFTLENBQUM7SUFDcEIsWUFBWSxFQUFFLE9BQU8sQ0FBQztJQUN0QixNQUFNLEVBQUUsT0FBTyxDQUFDO0lBQ2hCLFNBQVMsRUFBRSxPQUFPLENBQUM7Q0FDcEIsQ0FBQztBQUVGLGVBQU8sTUFBTSw4QkFBOEIsSUFBa0MsQ0FBQztBQUU5RSw2Q0FBNkM7QUFDN0MsTUFBTSxNQUFNLFNBQVMsR0FBRztJQUFFLE1BQU0sRUFBRSxXQUFXLENBQUM7SUFBQyxJQUFJLEVBQUUsTUFBTSxDQUFBO0NBQUUsQ0FBQztBQUU5RCxNQUFNLE1BQU0sWUFBWSxHQUFHO0lBQUUsTUFBTSxFQUFFLGdCQUFnQixDQUFDO0lBQUMsSUFBSSxFQUFFLE1BQU0sQ0FBQTtDQUFFLENBQUM7QUFFdEUsTUFBTSxNQUFNLE9BQU8sR0FBRztJQUFFLEtBQUssRUFBRSxTQUFTLENBQUM7SUFBQyxVQUFVLEVBQUUsWUFBWSxDQUFBO0NBQUUsQ0FBQztBQUVyRSw2QkFBNkI7QUFDN0Isd0JBQWdCLGFBQWEsQ0FBQyxNQUFNLEVBQUUsV0FBVyxFQUFFLElBQUksQ0FBQyxFQUFFLE1BQU0sR0FBRyxTQUFTLENBSzNFO0FBRUQsa0NBQWtDO0FBQ2xDLHdCQUFnQixrQkFBa0IsQ0FBQyxNQUFNLEVBQUUsZ0JBQWdCLEVBQUUsSUFBSSxFQUFFLE1BQU0sR0FBRyxZQUFZLENBRXZGO0FBaUJELGVBQU8sTUFBTSxZQUFZOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0VBS3ZCLENBQUM7QUFFSCxvQkFBWSxtQkFBbUI7SUFDN0IsZUFBZSxvQkFBb0I7SUFDbkMscUJBQXFCLDBCQUEwQjtJQUMvQyxhQUFhLGtCQUFrQjtJQUMvQixvQkFBb0IseUJBQXlCO0lBQzdDLHFDQUFxQyw4QkFBOEI7Q0FDcEU7QUFFRCxNQUFNLE1BQU0sa0JBQWtCLEdBQUc7SUFDL0IsSUFBSSxFQUFFLGVBQWUsQ0FBQztJQUN0QixXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLFVBQVUsRUFBRSxVQUFVLENBQUM7SUFDdkIsV0FBVyxFQUFFLFdBQVcsQ0FBQztDQUMxQixDQUFDO0FBRUYsTUFBTSxNQUFNLG9CQUFvQixHQUFHO0lBQ2pDLElBQUksRUFBRSxpQkFBaUIsQ0FBQztJQUN4QixXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLE1BQU0sRUFBRSxPQUFPLEVBQUUsQ0FBQztDQUNuQixDQUFDO0FBRUYsTUFBTSxNQUFNLDBCQUEwQixHQUFHO0lBQ3ZDLElBQUksRUFBRSx1QkFBdUIsQ0FBQztJQUM5QixVQUFVLEVBQUUsVUFBVSxDQUFDO0lBQ3ZCLE1BQU0sRUFBRSxPQUFPLEVBQUUsQ0FBQztDQUNuQixDQUFDO0FBRUYsTUFBTSxNQUFNLGlCQUFpQixHQUFHO0lBQzlCLElBQUksRUFBRSxzQkFBc0IsQ0FBQztJQUM3QixVQUFVLEVBQUUsbUJBQW1CLENBQUM7Q0FDakMsQ0FBQztBQUVGLE1BQU0sTUFBTSw4QkFBOEIsR0FBRztJQUMzQyxJQUFJLEVBQUUsMkJBQTJCLENBQUM7SUFDbEMsZ0JBQWdCLEVBQUUsZ0NBQWdDLENBQUM7Q0FDcEQsQ0FBQyJ9
+/**
+ * Emitted when a local proposed checkpoint is found to disagree with the L1-confirmed
+ * checkpoint at the same slot. The slot proposer signed both — equivocation.
+ */
+export type CheckpointEquivocationDetectedEvent = {
+    type: 'checkpointEquivocationDetected';
+    slotNumber: SlotNumber;
+    checkpointNumber: CheckpointNumber;
+    l1ArchiveRoot: Fr;
+    proposedArchiveRoot: Fr;
+};
+/**
+ * Emitted when the archiver observes a checkpoint that builds on a previously-rejected
+ * ancestor (typically one with insufficient/invalid attestations). The descendant itself may
+ * have valid attestations, but it cannot be ingested because the chain it extends was
+ * skipped. The slasher uses this to slash the proposer of the descendant.
+ */
+export type DescendentOfInvalidAttestationsCheckpointEvent = {
+    type: 'descendentOfInvalidAttestationsCheckpointDetected';
+    /** The descendant checkpoint being rejected. */
+    checkpoint: CheckpointInfo;
+    /** Archive root of the rejected ancestor this descendant builds on. */
+    ancestorArchiveRoot: Fr;
+    /** Checkpoint number of the rejected ancestor. */
+    ancestorCheckpointNumber: CheckpointNumber;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibDJfYmxvY2tfc291cmNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvY2svbDJfYmxvY2tfc291cmNlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxXQUFXLEVBRVgsZ0JBQWdCLEVBRWhCLEtBQUssV0FBVyxFQUVoQixLQUFLLFVBQVUsRUFFaEIsTUFBTSxpQ0FBaUMsQ0FBQztBQUN6QyxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUVoRSxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRWpFLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLHNCQUFzQixFQUFFLHVCQUF1QixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDeEgsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDdkUsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRW5FLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ2xFLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQy9DLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ3JELE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ2pELE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUM1QyxPQUFPLEVBQStCLEtBQUssd0JBQXdCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNsRyxPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFDN0MsT0FBTyxLQUFLLEVBQUUsZ0NBQWdDLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUU3RyxtRkFBbUY7QUFDbkYsTUFBTSxNQUFNLFVBQVUsR0FBRyx3QkFBd0IsQ0FBQztBQUVsRDs7Ozs7O0dBTUc7QUFDSCxNQUFNLE1BQU0sV0FBVyxHQUNuQjtJQUFFLElBQUksRUFBRSxXQUFXLENBQUM7SUFBQyxLQUFLLEVBQUUsTUFBTSxDQUFDO0lBQUMsZ0JBQWdCLENBQUMsRUFBRSxPQUFPLENBQUE7Q0FBRSxHQUNoRTtJQUFFLEtBQUssRUFBRSxXQUFXLENBQUM7SUFBQyxnQkFBZ0IsRUFBRSxJQUFJLENBQUE7Q0FBRSxDQUFDO0FBRW5ELGVBQU8sTUFBTSxnQkFBZ0IsRUFBRSxDQUFDLENBQUMsT0FBTyxDQUFDLFVBQVUsRUFBRSxPQUFPLENBSzFELENBQUM7QUFFSCxlQUFPLE1BQU0saUJBQWlCLEVBQUUsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxXQUFXLEVBQUUsT0FBTyxDQUs1RCxDQUFDO0FBRUgseUZBQXlGO0FBQ3pGLE1BQU0sTUFBTSxlQUFlLEdBQ3ZCO0lBQUUsTUFBTSxFQUFFLGdCQUFnQixDQUFBO0NBQUUsR0FDNUI7SUFBRSxJQUFJLEVBQUUsVUFBVSxDQUFBO0NBQUUsR0FDcEI7SUFBRSxHQUFHLEVBQUUsY0FBYyxHQUFHLFFBQVEsR0FBRyxXQUFXLENBQUE7Q0FBRSxDQUFDO0FBRXJELHlFQUF5RTtBQUN6RSxNQUFNLE1BQU0sZ0JBQWdCLEdBQUc7SUFBRSxJQUFJLEVBQUUsZ0JBQWdCLENBQUM7SUFBQyxLQUFLLEVBQUUsTUFBTSxDQUFBO0NBQUUsR0FBRztJQUFFLEtBQUssRUFBRSxXQUFXLENBQUE7Q0FBRSxDQUFDO0FBRWxHOzs7O0dBSUc7QUFDSCxNQUFNLE1BQU0sdUJBQXVCLEdBQUc7SUFBRSxNQUFNLEVBQUUsZ0JBQWdCLENBQUE7Q0FBRSxHQUFHO0lBQUUsSUFBSSxFQUFFLFVBQVUsQ0FBQTtDQUFFLEdBQUc7SUFBRSxHQUFHLEVBQUUsVUFBVSxDQUFBO0NBQUUsQ0FBQztBQUVoSCxlQUFPLE1BQU0scUJBQXFCLEVBQUUsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxlQUFlLEVBQUUsT0FBTyxDQUlwRSxDQUFDO0FBRUgsZUFBTyxNQUFNLHNCQUFzQixFQUFFLENBQUMsQ0FBQyxPQUFPLENBQUMsZ0JBQWdCLEVBQUUsT0FBTyxDQUd0RSxDQUFDO0FBRUgsZUFBTyxNQUFNLDZCQUE2QixFQUFFLENBQUMsQ0FBQyxPQUFPLENBQUMsdUJBQXVCLEVBQUUsT0FBTyxDQUlwRixDQUFDO0FBRUg7O0dBRUc7QUFDSCxNQUFNLFdBQVcsYUFBYTtJQUM1Qjs7O09BR0c7SUFDSCxnQkFBZ0IsSUFBSSxPQUFPLENBQUMsVUFBVSxDQUFDLENBQUM7SUFFeEM7OztPQUdHO0lBQ0gsa0JBQWtCLElBQUksT0FBTyxDQUFDLFVBQVUsQ0FBQyxDQUFDO0lBRTFDOzs7T0FHRztJQUNILGNBQWMsSUFBSSxPQUFPLENBQUMsV0FBVyxDQUFDLENBQUM7SUFFdkM7Ozs7T0FJRztJQUNILGNBQWMsQ0FBQyxLQUFLLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxXQUFXLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFDcEUsY0FBYyxDQUFDLEtBQUssQ0FBQyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsV0FBVyxHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRXJFOzs7T0FHRztJQUNILG1CQUFtQixJQUFJLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDO0lBRWpEOzs7O09BSUc7SUFDSCxhQUFhLENBQUMsS0FBSyxFQUFFLGVBQWUsR0FBRyxPQUFPLENBQUMsbUJBQW1CLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFaEY7Ozs7T0FJRztJQUNILGNBQWMsQ0FBQyxLQUFLLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixFQUFFLENBQUMsQ0FBQztJQUV4RTs7OztPQUlHO0lBQ0gsaUJBQWlCLENBQUMsS0FBSyxFQUFFLGVBQWUsR0FBRyxPQUFPLENBQUMsY0FBYyxHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRS9FOzs7O09BSUc7SUFDSCxrQkFBa0IsQ0FBQyxLQUFLLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLGNBQWMsRUFBRSxDQUFDLENBQUM7SUFFdkU7Ozs7T0FJRztJQUNILFdBQVcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxlQUFlLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFbEU7Ozs7T0FJRztJQUNILG1CQUFtQixDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLFNBQVMsR0FBRyxTQUFTLENBQUMsQ0FBQztJQUVwRTs7Ozs7T0FLRztJQUNILHFCQUFxQixJQUFJLE9BQU8sQ0FBQyxVQUFVLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFekQ7OztPQUdHO0lBQ0gsc0JBQXNCLElBQUksT0FBTyxDQUFDLFdBQVcsR0FBRyxTQUFTLENBQUMsQ0FBQztJQUUzRDs7O09BR0c7SUFDSCxlQUFlLENBQUMsV0FBVyxFQUFFLFdBQVcsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLENBQUM7SUFFNUQ7O09BRUc7SUFDSCxTQUFTLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0lBRTdCOztPQUVHO0lBQ0gsY0FBYyxJQUFJLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDO0lBRTdDOzs7O09BSUc7SUFDSCxnQkFBZ0IsQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FBQztJQUVyRCwyQ0FBMkM7SUFDM0MsZ0JBQWdCLElBQUksT0FBTyxDQUFDO1FBQUUsa0JBQWtCLEVBQUUsRUFBRSxDQUFBO0tBQUUsQ0FBQyxDQUFDO0lBRXhEOzs7T0FHRztJQUNILG1CQUFtQixJQUFJLFNBQVMsQ0FBQztJQUVqQyxrQ0FBa0M7SUFDbEMsY0FBYyxJQUFJLE9BQU8sQ0FBQyxNQUFNLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFOUM7OztPQUdHO0lBQ0gscUJBQXFCLElBQUksT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFDO0lBRTFDOzs7T0FHRztJQUNILCtCQUErQixJQUFJLE9BQU8sQ0FBQyx3QkFBd0IsQ0FBQyxDQUFDO0lBRXJFOzs7OztPQUtHO0lBQ0gseUJBQXlCLENBQUMsS0FBSyxDQUFDLEVBQUUsdUJBQXVCLEdBQUcsT0FBTyxDQUFDLHNCQUFzQixHQUFHLFNBQVMsQ0FBQyxDQUFDO0lBRXhHLG9CQUFvQjtJQUNwQixhQUFhLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0lBRS9COzs7T0FHRztJQUNILFFBQVEsQ0FBQyxLQUFLLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxPQUFPLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFMUQ7OztPQUdHO0lBQ0gsU0FBUyxDQUFDLEtBQUssRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBQUM7SUFFbEQ7OztPQUdHO0lBQ0gsWUFBWSxDQUFDLEtBQUssRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLFNBQVMsR0FBRyxTQUFTLENBQUMsQ0FBQztJQUVoRTs7O09BR0c7SUFDSCxhQUFhLENBQUMsS0FBSyxFQUFFLFdBQVcsR0FBRyxPQUFPLENBQUMsU0FBUyxFQUFFLENBQUMsQ0FBQztJQUV4RDs7OztPQUlHO0lBQ0gsZ0JBQWdCLENBQUMsVUFBVSxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsT0FBTyxFQUFFLENBQUMsQ0FBQztDQUM5RDtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLFdBQVc7SUFDMUI7Ozs7T0FJRztJQUNILFFBQVEsQ0FBQyxLQUFLLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztDQUN6QztBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLHNCQUFzQjtJQUNyQzs7Ozs7T0FLRztJQUNILHFCQUFxQixDQUFDLFVBQVUsRUFBRSx1QkFBdUIsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7Q0FDM0U7QUFFRDs7O0dBR0c7QUFDSCxNQUFNLE1BQU0sZUFBZSxHQUFHLGlCQUFpQixDQUFDO0lBQzlDLENBQUMsbUJBQW1CLENBQUMsZUFBZSxDQUFDLEVBQUUsQ0FBQyxJQUFJLEVBQUUsb0JBQW9CLEtBQUssSUFBSSxDQUFDO0lBQzVFLENBQUMsbUJBQW1CLENBQUMscUJBQXFCLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRSwwQkFBMEIsS0FBSyxJQUFJLENBQUM7SUFDeEYsQ0FBQyxtQkFBbUIsQ0FBQyxhQUFhLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRSxrQkFBa0IsS0FBSyxJQUFJLENBQUM7SUFDeEUsQ0FBQyxtQkFBbUIsQ0FBQyxxQ0FBcUMsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFLDhCQUE4QixLQUFLLElBQUksQ0FBQztJQUM1RyxDQUFDLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLEVBQUUsQ0FBQyxJQUFJLEVBQUUsaUJBQWlCLEtBQUssSUFBSSxDQUFDO0lBQzlFLENBQUMsbUJBQW1CLENBQUMsOEJBQThCLENBQUMsRUFBRSxDQUFDLElBQUksRUFBRSxtQ0FBbUMsS0FBSyxJQUFJLENBQUM7SUFDMUcsQ0FBQyxtQkFBbUIsQ0FBQyxpREFBaUQsQ0FBQyxFQUFFLENBQ3ZFLElBQUksRUFBRSw4Q0FBOEMsS0FDakQsSUFBSSxDQUFDO0NBQ1gsQ0FBQyxDQUFDO0FBQ0gsTUFBTSxXQUFXLHlCQUEwQixTQUFRLGFBQWE7SUFDOUQsTUFBTSxFQUFFLGVBQWUsQ0FBQztDQUN6QjtBQUVEOzs7Ozs7Ozs7Ozs7O0dBYUc7QUFDSCxNQUFNLE1BQU0sVUFBVSxHQUFHLFVBQVUsR0FBRyxvQkFBb0IsR0FBRyxjQUFjLEdBQUcsUUFBUSxHQUFHLFdBQVcsQ0FBQztBQUVyRyw0QkFBNEI7QUFDNUIsTUFBTSxNQUFNLE1BQU0sR0FBRztJQUNuQixRQUFRLEVBQUUsU0FBUyxDQUFDO0lBQ3BCLFlBQVksRUFBRSxPQUFPLENBQUM7SUFDdEIsa0JBQWtCLEVBQUUsT0FBTyxDQUFDO0lBQzVCLE1BQU0sRUFBRSxPQUFPLENBQUM7SUFDaEIsU0FBUyxFQUFFLE9BQU8sQ0FBQztDQUNwQixDQUFDO0FBRUYsZUFBTyxNQUFNLDhCQUE4QixJQUFrQyxDQUFDO0FBRTlFLDZDQUE2QztBQUM3QyxNQUFNLE1BQU0sU0FBUyxHQUFHO0lBQUUsTUFBTSxFQUFFLFdBQVcsQ0FBQztJQUFDLElBQUksRUFBRSxNQUFNLENBQUE7Q0FBRSxDQUFDO0FBRTlELE1BQU0sTUFBTSxZQUFZLEdBQUc7SUFBRSxNQUFNLEVBQUUsZ0JBQWdCLENBQUM7SUFBQyxJQUFJLEVBQUUsTUFBTSxDQUFBO0NBQUUsQ0FBQztBQUV0RSxNQUFNLE1BQU0sT0FBTyxHQUFHO0lBQUUsS0FBSyxFQUFFLFNBQVMsQ0FBQztJQUFDLFVBQVUsRUFBRSxZQUFZLENBQUE7Q0FBRSxDQUFDO0FBRXJFLDZCQUE2QjtBQUM3Qix3QkFBZ0IsYUFBYSxDQUFDLE1BQU0sRUFBRSxXQUFXLEVBQUUsSUFBSSxDQUFDLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FLM0U7QUFFRCxrQ0FBa0M7QUFDbEMsd0JBQWdCLGtCQUFrQixDQUFDLE1BQU0sRUFBRSxnQkFBZ0IsRUFBRSxJQUFJLEVBQUUsTUFBTSxHQUFHLFlBQVksQ0FFdkY7QUFpQkQsZUFBTyxNQUFNLFlBQVk7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztpQkFNdkIsQ0FBQztBQUVILG9CQUFZLG1CQUFtQjtJQUM3QixlQUFlLG9CQUFvQjtJQUNuQyxxQkFBcUIsMEJBQTBCO0lBQy9DLGFBQWEsa0JBQWtCO0lBQy9CLG9CQUFvQix5QkFBeUI7SUFDN0MscUNBQXFDLDhCQUE4QjtJQUNuRSw4QkFBOEIsbUNBQW1DO0lBQ2pFLGlEQUFpRCxzREFBc0Q7Q0FDeEc7QUFFRCxNQUFNLE1BQU0sa0JBQWtCLEdBQUc7SUFDL0IsSUFBSSxFQUFFLGVBQWUsQ0FBQztJQUN0QixXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLFVBQVUsRUFBRSxVQUFVLENBQUM7SUFDdkIsV0FBVyxFQUFFLFdBQVcsQ0FBQztDQUMxQixDQUFDO0FBRUYsTUFBTSxNQUFNLG9CQUFvQixHQUFHO0lBQ2pDLElBQUksRUFBRSxpQkFBaUIsQ0FBQztJQUN4QixXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLE1BQU0sRUFBRSxPQUFPLEVBQUUsQ0FBQztDQUNuQixDQUFDO0FBRUYsTUFBTSxNQUFNLDBCQUEwQixHQUFHO0lBQ3ZDLElBQUksRUFBRSx1QkFBdUIsQ0FBQztJQUM5QixVQUFVLEVBQUUsVUFBVSxDQUFDO0lBQ3ZCLE1BQU0sRUFBRSxPQUFPLEVBQUUsQ0FBQztDQUNuQixDQUFDO0FBRUYsTUFBTSxNQUFNLGlCQUFpQixHQUFHO0lBQzlCLElBQUksRUFBRSxzQkFBc0IsQ0FBQztJQUM3QixVQUFVLEVBQUUsbUJBQW1CLENBQUM7Q0FDakMsQ0FBQztBQUVGLE1BQU0sTUFBTSw4QkFBOEIsR0FBRztJQUMzQyxJQUFJLEVBQUUsMkJBQTJCLENBQUM7SUFDbEMsZ0JBQWdCLEVBQUUsZ0NBQWdDLENBQUM7Q0FDcEQsQ0FBQztBQUVGOzs7R0FHRztBQUNILE1BQU0sTUFBTSxtQ0FBbUMsR0FBRztJQUNoRCxJQUFJLEVBQUUsZ0NBQWdDLENBQUM7SUFDdkMsVUFBVSxFQUFFLFVBQVUsQ0FBQztJQUN2QixnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQztJQUNuQyxhQUFhLEVBQUUsRUFBRSxDQUFDO0lBQ2xCLG1CQUFtQixFQUFFLEVBQUUsQ0FBQztDQUN6QixDQUFDO0FBRUY7Ozs7O0dBS0c7QUFDSCxNQUFNLE1BQU0sOENBQThDLEdBQUc7SUFDM0QsSUFBSSxFQUFFLG1EQUFtRCxDQUFDO0lBQzFELGdEQUFnRDtJQUNoRCxVQUFVLEVBQUUsY0FBYyxDQUFDO0lBQzNCLHVFQUF1RTtJQUN2RSxtQkFBbUIsRUFBRSxFQUFFLENBQUM7SUFDeEIsa0RBQWtEO0lBQ2xELHdCQUF3QixFQUFFLGdCQUFnQixDQUFDO0NBQzVDLENBQUMifQ==