@aztec/stdlib 0.0.1-commit.e6bd8901 → 0.0.1-commit.ec7ac5448

package/dest/checkpoint/checkpoint.js

@@ -1,23 +1,26 @@
 import { encodeCheckpointBlobDataFromBlocks } from '@aztec/blob-lib/encoding';
 import { BlockNumber, CheckpointNumber, CheckpointNumberSchema, IndexWithinCheckpoint } from '@aztec/foundation/branded-types';
-import { sum } from '@aztec/foundation/collection';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { pick, sum } from '@aztec/foundation/collection';
+import { BufferReader, serializeSignedBigInt, serializeToBuffer } from '@aztec/foundation/serialize';
 import { z } from 'zod';
 import { L2Block } from '../block/l2_block.js';
 import { MAX_BLOCKS_PER_CHECKPOINT } from '../deserialization/index.js';
 import { computeCheckpointOutHash } from '../messaging/out_hash.js';
 import { CheckpointHeader } from '../rollup/checkpoint_header.js';
+import { schemas } from '../schemas/schemas.js';
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 export class Checkpoint {
     archive;
     header;
     blocks;
     number;
-    constructor(/** Snapshot of archive tree after the checkpoint is added. */ archive, /** Header of the checkpoint. */ header, /** L2 blocks in the checkpoint. */ blocks, /** Number of the checkpoint. */ number){
+    feeAssetPriceModifier;
+    constructor(/** Snapshot of archive tree after the checkpoint is added. */ archive, /** Header of the checkpoint. */ header, /** L2 blocks in the checkpoint. */ blocks, /** Number of the checkpoint. */ number, /** Fee asset price modifier in basis points (from oracle). Defaults to 0 (no change). */ feeAssetPriceModifier = 0n){
         this.archive = archive;
         this.header = header;
         this.blocks = blocks;
         this.number = number;
+        this.feeAssetPriceModifier = feeAssetPriceModifier;
     }
     get slot() {
         return this.header.slotNumber;
@@ -27,8 +30,9 @@ export class Checkpoint {
             archive: AppendOnlyTreeSnapshot.schema,
             header: CheckpointHeader.schema,
             blocks: z.array(L2Block.schema),
-            number: CheckpointNumberSchema
-        }).transform(({ archive, header, blocks, number })=>new Checkpoint(archive, header, blocks, number));
+            number: CheckpointNumberSchema,
+            feeAssetPriceModifier: schemas.BigInt
+        }).transform(({ archive, header, blocks, number, feeAssetPriceModifier })=>new Checkpoint(archive, header, blocks, number, feeAssetPriceModifier));
     }
     static from(fields) {
         return new Checkpoint(...Checkpoint.getFields(fields));
@@ -38,15 +42,21 @@ export class Checkpoint {
             fields.archive,
             fields.header,
             fields.blocks,
-            fields.number
+            fields.number,
+            fields.feeAssetPriceModifier
         ];
     }
     static fromBuffer(buf) {
         const reader = BufferReader.asReader(buf);
-        return new Checkpoint(reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(CheckpointHeader), reader.readVector(L2Block, MAX_BLOCKS_PER_CHECKPOINT), CheckpointNumber(reader.readNumber()));
+        const archive = reader.readObject(AppendOnlyTreeSnapshot);
+        const header = reader.readObject(CheckpointHeader);
+        const blocks = reader.readVector(L2Block, MAX_BLOCKS_PER_CHECKPOINT);
+        const number = CheckpointNumber(reader.readNumber());
+        const feeAssetPriceModifier = reader.readInt256();
+        return new Checkpoint(archive, header, blocks, number, feeAssetPriceModifier);
     }
     toBuffer() {
-        return serializeToBuffer(this.archive, this.header, this.blocks.length, this.blocks, this.number);
+        return serializeToBuffer(this.archive, this.header, this.blocks.length, this.blocks, this.number, serializeSignedBigInt(this.feeAssetPriceModifier));
     }
     toBlobFields() {
         const blocks = this.blocks.map((block)=>block.toBlockBlobData());
@@ -55,11 +65,19 @@ export class Checkpoint {
     hash() {
         return this.header.hash();
     }
-    // Returns the out hash computed from all l2-to-l1 messages in this checkpoint.
-    // Note: This value is different from the out hash in the header, which is the **accumulated** out hash over all
-    // checkpoints up to and including this one in the epoch.
-    getCheckpointOutHash() {
-        const msgs = this.blocks.map((block)=>block.body.txEffects.map((txEffect)=>txEffect.l2ToL1Msgs));
+    /**
+   * Returns the out hash computed from all l2-to-l1 messages in this checkpoint.
+   * Note: This value is different from the out hash in the header, which is the **accumulated** out hash over all
+   * checkpoints up to and including this one in the epoch.
+   */ getCheckpointOutHash() {
+        return Checkpoint.getCheckpointOutHash(this.blocks);
+    }
+    /**
+   * Returns the out hash computed from all l2-to-l1 messages in this checkpoint.
+   * Note: This value is different from the out hash in the header, which is the **accumulated** out hash over all
+   * checkpoints up to and including this one in the epoch.
+   */ static getCheckpointOutHash(blocks) {
+        const msgs = blocks.map((block)=>block.body.txEffects.map((txEffect)=>txEffect.l2ToL1Msgs));
         return computeCheckpointOutHash(msgs);
     }
     getState() {
@@ -91,23 +109,29 @@ export class Checkpoint {
             ...logsStats
         };
     }
-    static async random(checkpointNumber = CheckpointNumber(1), { numBlocks = 1, startBlockNumber = 1, previousArchive, ...options } = {}) {
-        const header = CheckpointHeader.random(options);
+    static async random(checkpointNumber = CheckpointNumber(1), { numBlocks = 1, startBlockNumber = 1, previousArchive, feeAssetPriceModifier = 0n, ...options } = {}) {
+        const headerOptions = previousArchive ? {
+            lastArchiveRoot: previousArchive.root,
+            ...options
+        } : options;
+        const header = CheckpointHeader.random(headerOptions);
         // Create blocks sequentially to chain archive roots properly.
         // Each block's header.lastArchive must equal the previous block's archive.
         const blocks = [];
         let lastArchive = previousArchive;
         for(let i = 0; i < numBlocks; i++){
             const block = await L2Block.random(BlockNumber(startBlockNumber + i), {
+                checkpointNumber,
                 indexWithinCheckpoint: IndexWithinCheckpoint(i),
                 ...options,
                 ...lastArchive ? {
                     lastArchive
-                } : {}
+                } : {},
+                ...pick(header, 'slotNumber', 'timestamp', 'coinbase', 'feeRecipient', 'gasFees')
             });
             lastArchive = block.archive;
             blocks.push(block);
         }
-        return new Checkpoint(AppendOnlyTreeSnapshot.random(), header, blocks, checkpointNumber);
+        return new Checkpoint(options.archive ?? AppendOnlyTreeSnapshot.random(), header, blocks, checkpointNumber, feeAssetPriceModifier);
     }
 }

package/dest/checkpoint/checkpoint_data.d.ts

@@ -0,0 +1,186 @@
+import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { z } from 'zod';
+import { CommitteeAttestation } from '../block/proposal/committee_attestation.js';
+import { CheckpointHeader } from '../rollup/checkpoint_header.js';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { L1PublishedData } from './published_checkpoint.js';
+/** Base type for checkpoint data */
+export type CommonCheckpointData = {
+    checkpointNumber: CheckpointNumber;
+    header: CheckpointHeader;
+    startBlock: BlockNumber;
+    blockCount: number;
+};
+/** Data stored with checkpoint data after publishing on l1 */
+export type L1EnrichedCheckpointData = {
+    attestations: CommitteeAttestation[];
+    l1: L1PublishedData;
+};
+/** Data stored alongside checkpoint data in storage */
+export type StorageEnrichedCheckpointData = {
+    archive: AppendOnlyTreeSnapshot;
+    checkpointOutHash: Fr;
+};
+/** Data stored only with proposed checkpoint data  */
+export type ProposedOnlyCheckpointData = {
+    totalManaUsed: bigint;
+    feeAssetPriceModifier: bigint;
+};
+/** Lightweight checkpoint metadata without full block data. */
+export type CheckpointData = CommonCheckpointData & StorageEnrichedCheckpointData & L1EnrichedCheckpointData;
+/** Input for setting a proposed checkpoint. The archive and checkpointOutHash are computed
+ *  internally by the block store from the stored blocks. */
+export type ProposedCheckpointInput = CommonCheckpointData & ProposedOnlyCheckpointData;
+/** Full data for a proposed checkpoint (proposed but not yet L1-confirmed).
+ *  Includes fee-relevant fields used during pipelining to compute the fee header override. */
+export type ProposedCheckpointData = ProposedCheckpointInput & StorageEnrichedCheckpointData;
+export declare const ProposedCheckpointDataSchema: z.ZodObject<{
+    checkpointNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
+    header: import("@aztec/foundation/schemas").ZodFor<CheckpointHeader>;
+    archive: z.ZodEffects<z.ZodObject<{
+        root: z.ZodType<Fr, any, string>;
+        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        root: Fr;
+        nextAvailableLeafIndex: number;
+    }, {
+        root: string;
+        nextAvailableLeafIndex: string | number | bigint;
+    }>, AppendOnlyTreeSnapshot, {
+        root: string;
+        nextAvailableLeafIndex: string | number | bigint;
+    }>;
+    checkpointOutHash: z.ZodType<Fr, any, string>;
+    startBlock: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
+    blockCount: z.ZodNumber;
+    totalManaUsed: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    feeAssetPriceModifier: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+}, "strip", z.ZodTypeAny, {
+    checkpointNumber: number & {
+        _branding: "CheckpointNumber";
+    };
+    header: CheckpointHeader;
+    archive: AppendOnlyTreeSnapshot;
+    checkpointOutHash: Fr;
+    startBlock: number & {
+        _branding: "BlockNumber";
+    };
+    blockCount: number;
+    totalManaUsed: bigint;
+    feeAssetPriceModifier: bigint;
+}, {
+    checkpointNumber: string | number | bigint;
+    header?: any;
+    archive: {
+        root: string;
+        nextAvailableLeafIndex: string | number | bigint;
+    };
+    checkpointOutHash: string;
+    startBlock: string | number | bigint;
+    blockCount: number;
+    totalManaUsed: string | number | bigint;
+    feeAssetPriceModifier: string | number | bigint;
+}>;
+export declare const CheckpointDataSchema: z.ZodEffects<z.ZodObject<{
+    checkpointNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
+    header: import("@aztec/foundation/schemas").ZodFor<CheckpointHeader>;
+    archive: z.ZodEffects<z.ZodObject<{
+        root: z.ZodType<Fr, any, string>;
+        nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        root: Fr;
+        nextAvailableLeafIndex: number;
+    }, {
+        root: string;
+        nextAvailableLeafIndex: string | number | bigint;
+    }>, AppendOnlyTreeSnapshot, {
+        root: string;
+        nextAvailableLeafIndex: string | number | bigint;
+    }>;
+    checkpointOutHash: z.ZodType<Fr, any, string>;
+    startBlock: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, BlockNumber, string | number | bigint>;
+    blockCount: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+    attestations: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        address: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, any, string>;
+        signature: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, `0x${string}`, string>, `0x${string}`, string>, import("../block/proposal/committee_attestation.js").Signature, string>;
+    }, "strip", z.ZodTypeAny, {
+        address: import("@aztec/foundation/eth-address").EthAddress;
+        signature: import("../block/proposal/committee_attestation.js").Signature;
+    }, {
+        address: string;
+        signature: string;
+    }>, CommitteeAttestation, {
+        address: string;
+        signature: string;
+    }>, "many">;
+    l1: z.ZodEffects<z.ZodObject<{
+        blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+        timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+        blockHash: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        blockNumber: bigint;
+        timestamp: bigint;
+        blockHash: string;
+    }, {
+        blockNumber: string | number | bigint;
+        timestamp: string | number | bigint;
+        blockHash: string;
+    }>, L1PublishedData, {
+        blockNumber: string | number | bigint;
+        timestamp: string | number | bigint;
+        blockHash: string;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    checkpointNumber: number & {
+        _branding: "CheckpointNumber";
+    };
+    header: CheckpointHeader;
+    archive: AppendOnlyTreeSnapshot;
+    checkpointOutHash: Fr;
+    startBlock: number & {
+        _branding: "BlockNumber";
+    };
+    blockCount: number;
+    attestations: CommitteeAttestation[];
+    l1: L1PublishedData;
+}, {
+    checkpointNumber: string | number | bigint;
+    header?: any;
+    archive: {
+        root: string;
+        nextAvailableLeafIndex: string | number | bigint;
+    };
+    checkpointOutHash: string;
+    startBlock: string | number | bigint;
+    blockCount: string | number | bigint;
+    attestations: {
+        address: string;
+        signature: string;
+    }[];
+    l1: {
+        blockNumber: string | number | bigint;
+        timestamp: string | number | bigint;
+        blockHash: string;
+    };
+}>, CheckpointData, {
+    checkpointNumber: string | number | bigint;
+    header?: any;
+    archive: {
+        root: string;
+        nextAvailableLeafIndex: string | number | bigint;
+    };
+    checkpointOutHash: string;
+    startBlock: string | number | bigint;
+    blockCount: string | number | bigint;
+    attestations: {
+        address: string;
+        signature: string;
+    }[];
+    l1: {
+        blockNumber: string | number | bigint;
+        timestamp: string | number | bigint;
+        blockHash: string;
+    };
+}>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFFWCxnQkFBZ0IsRUFFakIsTUFBTSxpQ0FBaUMsQ0FBQztBQUN6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFHcEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUNsRixPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFNUQsb0NBQW9DO0FBQ3BDLE1BQU0sTUFBTSxvQkFBb0IsR0FBRztJQUNqQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQztJQUNuQyxNQUFNLEVBQUUsZ0JBQWdCLENBQUM7SUFDekIsVUFBVSxFQUFFLFdBQVcsQ0FBQztJQUN4QixVQUFVLEVBQUUsTUFBTSxDQUFDO0NBQ3BCLENBQUM7QUFFRiw4REFBOEQ7QUFDOUQsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQ3JDLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLEVBQUUsRUFBRSxlQUFlLENBQUM7Q0FDckIsQ0FBQztBQUVGLHVEQUF1RDtBQUN2RCxNQUFNLE1BQU0sNkJBQTZCLEdBQUc7SUFDMUMsT0FBTyxFQUFFLHNCQUFzQixDQUFDO0lBQ2hDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQztDQUN2QixDQUFDO0FBRUYsc0RBQXNEO0FBQ3RELE1BQU0sTUFBTSwwQkFBMEIsR0FBRztJQUN2QyxhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLHFCQUFxQixFQUFFLE1BQU0sQ0FBQztDQUMvQixDQUFDO0FBRUYsK0RBQStEO0FBQy9ELE1BQU0sTUFBTSxjQUFjLEdBQUcsb0JBQW9CLEdBQUcsNkJBQTZCLEdBQUcsd0JBQXdCLENBQUM7QUFFN0c7NERBQzREO0FBQzVELE1BQU0sTUFBTSx1QkFBdUIsR0FBRyxvQkFBb0IsR0FBRywwQkFBMEIsQ0FBQztBQUV4Rjs4RkFDOEY7QUFDOUYsTUFBTSxNQUFNLHNCQUFzQixHQUFHLHVCQUF1QixHQUFHLDZCQUE2QixDQUFDO0FBRTdGLGVBQU8sTUFBTSw0QkFBNEI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFTdkMsQ0FBQztBQUVILGVBQU8sTUFBTSxvQkFBb0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFzQjlCLENBQUMifQ==

package/dest/checkpoint/checkpoint_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_data.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EAEX,gBAAgB,EAEjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,oCAAoC;AACpC,MAAM,MAAM,oBAAoB,GAAG;IACjC,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,WAAW,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,8DAA8D;AAC9D,MAAM,MAAM,wBAAwB,GAAG;IACrC,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,EAAE,EAAE,eAAe,CAAC;CACrB,CAAC;AAEF,uDAAuD;AACvD,MAAM,MAAM,6BAA6B,GAAG;IAC1C,OAAO,EAAE,sBAAsB,CAAC;IAChC,iBAAiB,EAAE,EAAE,CAAC;CACvB,CAAC;AAEF,sDAAsD;AACtD,MAAM,MAAM,0BAA0B,GAAG;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,+DAA+D;AAC/D,MAAM,MAAM,cAAc,GAAG,oBAAoB,GAAG,6BAA6B,GAAG,wBAAwB,CAAC;AAE7G;4DAC4D;AAC5D,MAAM,MAAM,uBAAuB,GAAG,oBAAoB,GAAG,0BAA0B,CAAC;AAExF;8FAC8F;AAC9F,MAAM,MAAM,sBAAsB,GAAG,uBAAuB,GAAG,6BAA6B,CAAC;AAE7F,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASvC,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsB9B,CAAC"}

package/dest/checkpoint/checkpoint_data.js

@@ -0,0 +1,36 @@
+import { BlockNumberSchema, CheckpointNumberSchema } from '@aztec/foundation/branded-types';
+import { schemas } from '@aztec/foundation/schemas';
+import { z } from 'zod';
+import { CommitteeAttestation } from '../block/proposal/committee_attestation.js';
+import { CheckpointHeader } from '../rollup/checkpoint_header.js';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { L1PublishedData } from './published_checkpoint.js';
+export const ProposedCheckpointDataSchema = z.object({
+    checkpointNumber: CheckpointNumberSchema,
+    header: CheckpointHeader.schema,
+    archive: AppendOnlyTreeSnapshot.schema,
+    checkpointOutHash: schemas.Fr,
+    startBlock: BlockNumberSchema,
+    blockCount: z.number(),
+    totalManaUsed: schemas.BigInt,
+    feeAssetPriceModifier: schemas.BigInt
+});
+export const CheckpointDataSchema = z.object({
+    checkpointNumber: CheckpointNumberSchema,
+    header: CheckpointHeader.schema,
+    archive: AppendOnlyTreeSnapshot.schema,
+    checkpointOutHash: schemas.Fr,
+    startBlock: BlockNumberSchema,
+    blockCount: schemas.Integer,
+    attestations: z.array(CommitteeAttestation.schema),
+    l1: L1PublishedData.schema
+}).transform((obj)=>({
+        checkpointNumber: obj.checkpointNumber,
+        header: obj.header,
+        archive: obj.archive,
+        checkpointOutHash: obj.checkpointOutHash,
+        startBlock: obj.startBlock,
+        blockCount: obj.blockCount,
+        attestations: obj.attestations,
+        l1: obj.l1
+    }));

package/dest/checkpoint/index.d.ts

@@ -1,4 +1,6 @@
 export * from './checkpoint.js';
+export * from './checkpoint_data.js';
 export * from './checkpoint_info.js';
 export * from './published_checkpoint.js';
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLDJCQUEyQixDQUFDIn0=
+export * from './validate.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsMkJBQTJCLENBQUM7QUFDMUMsY0FBYyxlQUFlLENBQUMifQ==

package/dest/checkpoint/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checkpoint/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,sBAAsB,CAAC;AACrC,cAAc,2BAA2B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checkpoint/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,eAAe,CAAC"}

package/dest/checkpoint/index.js

@@ -1,3 +1,5 @@
 export * from './checkpoint.js';
+export * from './checkpoint_data.js';
 export * from './checkpoint_info.js';
 export * from './published_checkpoint.js';
+export * from './validate.js';

package/dest/checkpoint/published_checkpoint.d.ts

@@ -31,10 +31,19 @@ export declare class L1PublishedData {
     toBuffer(): Buffer;
 }
 export declare class PublishedCheckpoint {
+    /** The checkpoint itself. */
     checkpoint: Checkpoint;
+    /** Info on when this checkpoint was published on L1. */
     l1: L1PublishedData;
+    /** The attestations for the last block in the checkpoint. */
     attestations: CommitteeAttestation[];
-    constructor(checkpoint: Checkpoint, l1: L1PublishedData, attestations: CommitteeAttestation[]);
+    constructor(
+    /** The checkpoint itself. */
+    checkpoint: Checkpoint, 
+    /** Info on when this checkpoint was published on L1. */
+    l1: L1PublishedData, 
+    /** The attestations for the last block in the checkpoint. */
+    attestations: CommitteeAttestation[]);
     static get schema(): z.ZodEffects<z.ZodObject<{
         checkpoint: z.ZodEffects<z.ZodObject<{
             archive: z.ZodEffects<z.ZodObject<{
@@ -99,6 +108,7 @@ export declare class PublishedCheckpoint {
                 indexWithinCheckpoint: string | number | bigint;
             }>, "many">;
             number: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, import("@aztec/foundation/branded-types").CheckpointNumber, string | number | bigint>;
+            feeAssetPriceModifier: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         }, "strip", z.ZodTypeAny, {
             archive: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             header: import("../rollup/checkpoint_header.js").CheckpointHeader;
@@ -106,6 +116,7 @@ export declare class PublishedCheckpoint {
             number: number & {
                 _branding: "CheckpointNumber";
             };
+            feeAssetPriceModifier: bigint;
         }, {
             archive: {
                 root: string;
@@ -123,6 +134,7 @@ export declare class PublishedCheckpoint {
                 indexWithinCheckpoint: string | number | bigint;
             }[];
             number: string | number | bigint;
+            feeAssetPriceModifier: string | number | bigint;
         }>, Checkpoint, {
             archive: {
                 root: string;
@@ -140,6 +152,7 @@ export declare class PublishedCheckpoint {
                 indexWithinCheckpoint: string | number | bigint;
             }[];
             number: string | number | bigint;
+            feeAssetPriceModifier: string | number | bigint;
         }>;
         l1: z.ZodEffects<z.ZodObject<{
             blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
@@ -193,6 +206,7 @@ export declare class PublishedCheckpoint {
                 indexWithinCheckpoint: string | number | bigint;
             }[];
             number: string | number | bigint;
+            feeAssetPriceModifier: string | number | bigint;
         };
         l1: {
             blockNumber: string | number | bigint;
@@ -221,6 +235,7 @@ export declare class PublishedCheckpoint {
                 indexWithinCheckpoint: string | number | bigint;
             }[];
             number: string | number | bigint;
+            feeAssetPriceModifier: string | number | bigint;
         };
         l1: {
             blockNumber: string | number | bigint;
@@ -237,4 +252,4 @@ export declare class PublishedCheckpoint {
     static fromBuffer(bufferOrReader: Buffer | BufferReader): PublishedCheckpoint;
     toBuffer(): Buffer;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGlzaGVkX2NoZWNrcG9pbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L3B1Ymxpc2hlZF9jaGVja3BvaW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUlBLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFDOUUsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUVsRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFN0MscUJBQWEsZUFBZTtJQUVqQixXQUFXLEVBQUUsTUFBTTtJQUNuQixTQUFTLEVBQUUsTUFBTTtJQUNqQixTQUFTLEVBQUUsTUFBTTtJQUgxQixZQUNTLFdBQVcsRUFBRSxNQUFNLEVBQ25CLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLFNBQVMsRUFBRSxNQUFNLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7T0FRaEI7SUFFRCxNQUFNLENBQUMsTUFBTSxvQkFNWjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxlQUFlLENBQUMsbUJBRWxEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxjQUFjLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxlQUFlLENBTXhFO0lBRU0sUUFBUSxJQUFJLE1BQU0sQ0FFeEI7Q0FDRjtBQUVELHFCQUFhLG1CQUFtQjtJQUVyQixVQUFVLEVBQUUsVUFBVTtJQUN0QixFQUFFLEVBQUUsZUFBZTtJQUVuQixZQUFZLEVBQUUsb0JBQW9CLEVBQUU7SUFKN0MsWUFDUyxVQUFVLEVBQUUsVUFBVSxFQUN0QixFQUFFLEVBQUUsZUFBZSxFQUVuQixZQUFZLEVBQUUsb0JBQW9CLEVBQUUsRUFDekM7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQVFoQjtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxtQkFBbUIsQ0FBQyxrRUFFckQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsbUJBQW1CLENBQUMsdUJBRWhEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxjQUFjLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxtQkFBbUIsQ0FZNUU7SUFFTSxRQUFRLElBQUksTUFBTSxDQVN4QjtDQUNGIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGlzaGVkX2NoZWNrcG9pbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L3B1Ymxpc2hlZF9jaGVja3BvaW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUlBLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFDOUUsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUVsRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFN0MscUJBQWEsZUFBZTtJQUVqQixXQUFXLEVBQUUsTUFBTTtJQUNuQixTQUFTLEVBQUUsTUFBTTtJQUNqQixTQUFTLEVBQUUsTUFBTTtJQUgxQixZQUNTLFdBQVcsRUFBRSxNQUFNLEVBQ25CLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLFNBQVMsRUFBRSxNQUFNLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7T0FRaEI7SUFFRCxNQUFNLENBQUMsTUFBTSxvQkFNWjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxlQUFlLENBQUMsbUJBRWxEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxjQUFjLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxlQUFlLENBTXhFO0lBRU0sUUFBUSxJQUFJLE1BQU0sQ0FFeEI7Q0FDRjtBQUVELHFCQUFhLG1CQUFtQjtJQUU1Qiw2QkFBNkI7SUFDdEIsVUFBVSxFQUFFLFVBQVU7SUFDN0Isd0RBQXdEO0lBQ2pELEVBQUUsRUFBRSxlQUFlO0lBQzFCLDZEQUE2RDtJQUN0RCxZQUFZLEVBQUUsb0JBQW9CLEVBQUU7SUFON0M7SUFDRSw2QkFBNkI7SUFDdEIsVUFBVSxFQUFFLFVBQVU7SUFDN0Isd0RBQXdEO0lBQ2pELEVBQUUsRUFBRSxlQUFlO0lBQzFCLDZEQUE2RDtJQUN0RCxZQUFZLEVBQUUsb0JBQW9CLEVBQUUsRUFDekM7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQVFoQjtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxtQkFBbUIsQ0FBQyxrRUFFckQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsbUJBQW1CLENBQUMsdUJBRWhEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxjQUFjLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxtQkFBbUIsQ0FZNUU7SUFFTSxRQUFRLElBQUksTUFBTSxDQVN4QjtDQUNGIn0=

package/dest/checkpoint/published_checkpoint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"published_checkpoint.d.ts","sourceRoot":"","sources":["../../src/checkpoint/published_checkpoint.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAElF,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,qBAAa,eAAe;IAEjB,WAAW,EAAE,MAAM;IACnB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IAH1B,YACS,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACtB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,MAAM,oBAMZ;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,mBAElD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAMxE;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,qBAAa,mBAAmB;IAErB,UAAU,EAAE,UAAU;IACtB,EAAE,EAAE,eAAe;IAEnB,YAAY,EAAE,oBAAoB,EAAE;IAJ7C,YACS,UAAU,EAAE,UAAU,EACtB,EAAE,EAAE,eAAe,EAEnB,YAAY,EAAE,oBAAoB,EAAE,EACzC;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,kEAErD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,uBAEhD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAY5E;IAEM,QAAQ,IAAI,MAAM,CASxB;CACF"}
+{"version":3,"file":"published_checkpoint.d.ts","sourceRoot":"","sources":["../../src/checkpoint/published_checkpoint.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAElF,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,qBAAa,eAAe;IAEjB,WAAW,EAAE,MAAM;IACnB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IAH1B,YACS,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACtB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,MAAM,oBAMZ;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,mBAElD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAMxE;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,qBAAa,mBAAmB;IAE5B,6BAA6B;IACtB,UAAU,EAAE,UAAU;IAC7B,wDAAwD;IACjD,EAAE,EAAE,eAAe;IAC1B,6DAA6D;IACtD,YAAY,EAAE,oBAAoB,EAAE;IAN7C;IACE,6BAA6B;IACtB,UAAU,EAAE,UAAU;IAC7B,wDAAwD;IACjD,EAAE,EAAE,eAAe;IAC1B,6DAA6D;IACtD,YAAY,EAAE,oBAAoB,EAAE,EACzC;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,kEAErD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,uBAEhD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAY5E;IAEM,QAAQ,IAAI,MAAM,CASxB;CACF"}

package/dest/checkpoint/published_checkpoint.js

@@ -44,8 +44,7 @@ export class PublishedCheckpoint {
     checkpoint;
     l1;
     attestations;
-    constructor(checkpoint, l1, // The attestations for the last block in the checkpoint.
-    attestations){
+    constructor(/** The checkpoint itself. */ checkpoint, /** Info on when this checkpoint was published on L1. */ l1, /** The attestations for the last block in the checkpoint. */ attestations){
         this.checkpoint = checkpoint;
         this.l1 = l1;
         this.attestations = attestations;

package/dest/checkpoint/validate.d.ts

@@ -0,0 +1,36 @@
+import type { CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import type { Checkpoint } from './checkpoint.js';
+export declare class CheckpointValidationError extends Error {
+    readonly checkpointNumber: CheckpointNumber;
+    readonly slot: SlotNumber;
+    constructor(message: string, checkpointNumber: CheckpointNumber, slot: SlotNumber);
+}
+/**
+ * Validates a checkpoint. Throws a CheckpointValidationError if any validation fails.
+ * - Validates structural integrity (non-empty, block count, sequential numbers, archive chaining, slot consistency)
+ * - Validates checkpoint blob field count against maxBlobFields limit
+ * - Validates total L2 gas used by checkpoint blocks against the Rollup contract mana limit
+ * - Validates total DA gas used by checkpoint blocks against MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT
+ * - Validates individual block L2 gas and DA gas against maxL2BlockGas and maxDABlockGas limits
+ */
+export declare function validateCheckpoint(checkpoint: Checkpoint, opts: {
+    rollupManaLimit?: number;
+    maxL2BlockGas?: number;
+    maxDABlockGas?: number;
+    maxTxsPerCheckpoint?: number;
+    maxTxsPerBlock?: number;
+}): void;
+/**
+ * Validates structural integrity of a checkpoint.
+ * - Non-empty block list
+ * - Block count within MAX_BLOCKS_PER_CHECKPOINT
+ * - Checkpoint slot matches the first block's slot
+ * - Checkpoint lastArchiveRoot matches the first block's lastArchive root
+ * - Sequential block numbers without gaps
+ * - Sequential indexWithinCheckpoint starting at 0
+ * - Archive root chaining between consecutive blocks
+ * - Consistent slot number across all blocks
+ * - Global variables (slot, timestamp, coinbase, feeRecipient, gasFees) match checkpoint header for each block
+ */
+export declare function validateCheckpointStructure(checkpoint: Checkpoint): void;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L3ZhbGlkYXRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBSXBGLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRWxELHFCQUFhLHlCQUEwQixTQUFRLEtBQUs7YUFHaEMsZ0JBQWdCLEVBQUUsZ0JBQWdCO2FBQ2xDLElBQUksRUFBRSxVQUFVO0lBSGxDLFlBQ0UsT0FBTyxFQUFFLE1BQU0sRUFDQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsSUFBSSxFQUFFLFVBQVUsRUFJakM7Q0FDRjtBQUVEOzs7Ozs7O0dBT0c7QUFDSCx3QkFBZ0Isa0JBQWtCLENBQ2hDLFVBQVUsRUFBRSxVQUFVLEVBQ3RCLElBQUksRUFBRTtJQUNKLGVBQWUsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUN6QixhQUFhLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDdkIsYUFBYSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3ZCLG1CQUFtQixDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQzdCLGNBQWMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUN6QixHQUNBLElBQUksQ0FJTjtBQUVEOzs7Ozs7Ozs7OztHQVdHO0FBQ0gsd0JBQWdCLDJCQUEyQixDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsSUFBSSxDQXVFeEUifQ==

package/dest/checkpoint/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/checkpoint/validate.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAIpF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,qBAAa,yBAA0B,SAAQ,KAAK;aAGhC,gBAAgB,EAAE,gBAAgB;aAClC,IAAI,EAAE,UAAU;IAHlC,YACE,OAAO,EAAE,MAAM,EACC,gBAAgB,EAAE,gBAAgB,EAClC,IAAI,EAAE,UAAU,EAIjC;CACF;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE;IACJ,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,GACA,IAAI,CAIN;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAuExE"}

package/dest/checkpoint/validate.js

@@ -0,0 +1,120 @@
+import { BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB, MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT } from '@aztec/constants';
+import { sum } from '@aztec/foundation/collection';
+import { MAX_BLOCKS_PER_CHECKPOINT } from '../deserialization/index.js';
+export class CheckpointValidationError extends Error {
+    checkpointNumber;
+    slot;
+    constructor(message, checkpointNumber, slot){
+        super(message), this.checkpointNumber = checkpointNumber, this.slot = slot;
+        this.name = 'CheckpointValidationError';
+    }
+}
+/**
+ * Validates a checkpoint. Throws a CheckpointValidationError if any validation fails.
+ * - Validates structural integrity (non-empty, block count, sequential numbers, archive chaining, slot consistency)
+ * - Validates checkpoint blob field count against maxBlobFields limit
+ * - Validates total L2 gas used by checkpoint blocks against the Rollup contract mana limit
+ * - Validates total DA gas used by checkpoint blocks against MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT
+ * - Validates individual block L2 gas and DA gas against maxL2BlockGas and maxDABlockGas limits
+ */ export function validateCheckpoint(checkpoint, opts) {
+    validateCheckpointStructure(checkpoint);
+    validateCheckpointLimits(checkpoint, opts);
+    validateCheckpointBlocksLimits(checkpoint, opts);
+}
+/**
+ * Validates structural integrity of a checkpoint.
+ * - Non-empty block list
+ * - Block count within MAX_BLOCKS_PER_CHECKPOINT
+ * - Checkpoint slot matches the first block's slot
+ * - Checkpoint lastArchiveRoot matches the first block's lastArchive root
+ * - Sequential block numbers without gaps
+ * - Sequential indexWithinCheckpoint starting at 0
+ * - Archive root chaining between consecutive blocks
+ * - Consistent slot number across all blocks
+ * - Global variables (slot, timestamp, coinbase, feeRecipient, gasFees) match checkpoint header for each block
+ */ export function validateCheckpointStructure(checkpoint) {
+    const { blocks, number, slot } = checkpoint;
+    if (blocks.length === 0) {
+        throw new CheckpointValidationError('Checkpoint has no blocks', number, slot);
+    }
+    if (blocks.length > MAX_BLOCKS_PER_CHECKPOINT) {
+        throw new CheckpointValidationError(`Checkpoint has ${blocks.length} blocks, exceeding limit of ${MAX_BLOCKS_PER_CHECKPOINT}`, number, slot);
+    }
+    const firstBlock = blocks[0];
+    if (!checkpoint.header.lastArchiveRoot.equals(firstBlock.header.lastArchive.root)) {
+        throw new CheckpointValidationError(`Checkpoint lastArchiveRoot does not match first block's lastArchive root`, number, slot);
+    }
+    for(let i = 0; i < blocks.length; i++){
+        const block = blocks[i];
+        if (block.indexWithinCheckpoint !== i) {
+            throw new CheckpointValidationError(`Block at index ${i} has indexWithinCheckpoint ${block.indexWithinCheckpoint}, expected ${i}`, number, slot);
+        }
+        if (block.slot !== slot) {
+            throw new CheckpointValidationError(`Block ${block.number} has slot ${block.slot}, expected ${slot} (all blocks must share the same slot)`, number, slot);
+        }
+        if (!checkpoint.header.matchesGlobalVariables(block.header.globalVariables)) {
+            throw new CheckpointValidationError(`Block ${block.number} global variables (slot, timestamp, coinbase, feeRecipient, gasFees) do not match checkpoint header`, number, slot);
+        }
+        if (i > 0) {
+            const prev = blocks[i - 1];
+            if (block.number !== prev.number + 1) {
+                throw new CheckpointValidationError(`Block numbers are not sequential: block at index ${i - 1} has number ${prev.number}, block at index ${i} has number ${block.number}`, number, slot);
+            }
+            if (!block.header.lastArchive.root.equals(prev.archive.root)) {
+                throw new CheckpointValidationError(`Block ${block.number} lastArchive root does not match archive root of block ${prev.number}`, number, slot);
+            }
+        }
+    }
+}
+/** Validates checkpoint blocks gas limits */ function validateCheckpointBlocksLimits(checkpoint, opts) {
+    const { maxL2BlockGas, maxDABlockGas, maxTxsPerBlock } = opts;
+    if (maxL2BlockGas !== undefined) {
+        for (const block of checkpoint.blocks){
+            const blockL2Gas = block.header.totalManaUsed.toNumber();
+            if (blockL2Gas > maxL2BlockGas) {
+                throw new CheckpointValidationError(`Block ${block.number} in checkpoint has L2 gas used ${blockL2Gas} exceeding limit of ${maxL2BlockGas}`, checkpoint.number, checkpoint.slot);
+            }
+        }
+    }
+    if (maxDABlockGas !== undefined) {
+        for (const block of checkpoint.blocks){
+            const blockDAGas = block.computeDAGasUsed();
+            if (blockDAGas > maxDABlockGas) {
+                throw new CheckpointValidationError(`Block ${block.number} in checkpoint has DA gas used ${blockDAGas} exceeding limit of ${maxDABlockGas}`, checkpoint.number, checkpoint.slot);
+            }
+        }
+    }
+    if (maxTxsPerBlock !== undefined) {
+        for (const block of checkpoint.blocks){
+            const blockTxCount = block.body.txEffects.length;
+            if (blockTxCount > maxTxsPerBlock) {
+                throw new CheckpointValidationError(`Block ${block.number} in checkpoint has ${blockTxCount} txs exceeding limit of ${maxTxsPerBlock}`, checkpoint.number, checkpoint.slot);
+            }
+        }
+    }
+}
+/** Validates checkpoint max blob fields, gas limits, and tx limits */ function validateCheckpointLimits(checkpoint, opts) {
+    const { rollupManaLimit, maxTxsPerCheckpoint } = opts;
+    const maxBlobFields = BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB;
+    const maxDAGas = MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT;
+    if (rollupManaLimit !== undefined) {
+        const checkpointMana = sum(checkpoint.blocks.map((block)=>block.header.totalManaUsed.toNumber()));
+        if (checkpointMana > rollupManaLimit) {
+            throw new CheckpointValidationError(`Checkpoint mana cost ${checkpointMana} exceeds rollup limit of ${rollupManaLimit}`, checkpoint.number, checkpoint.slot);
+        }
+    }
+    const checkpointDAGas = sum(checkpoint.blocks.map((block)=>block.computeDAGasUsed()));
+    if (checkpointDAGas > maxDAGas) {
+        throw new CheckpointValidationError(`Checkpoint DA gas cost ${checkpointDAGas} exceeds limit of ${maxDAGas}`, checkpoint.number, checkpoint.slot);
+    }
+    const checkpointBlobFields = checkpoint.toBlobFields().length;
+    if (checkpointBlobFields > maxBlobFields) {
+        throw new CheckpointValidationError(`Checkpoint blob field count ${checkpointBlobFields} exceeds limit of ${maxBlobFields}`, checkpoint.number, checkpoint.slot);
+    }
+    if (maxTxsPerCheckpoint !== undefined) {
+        const checkpointTxCount = sum(checkpoint.blocks.map((block)=>block.body.txEffects.length));
+        if (checkpointTxCount > maxTxsPerCheckpoint) {
+            throw new CheckpointValidationError(`Checkpoint tx count ${checkpointTxCount} exceeds limit of ${maxTxsPerCheckpoint}`, checkpoint.number, checkpoint.slot);
+        }
+    }
+}