@aztec/stdlib 0.0.1-commit.b655e406 → 0.0.1-commit.b9865e97

package/dest/checkpoint/published_checkpoint.d.ts

@@ -0,0 +1,103 @@
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { z } from 'zod';
+import { CommitteeAttestation } from '../block/proposal/committee_attestation.js';
+import { Checkpoint } from './checkpoint.js';
+export declare class L1PublishedData {
+    blockNumber: bigint;
+    timestamp: bigint;
+    blockHash: string;
+    constructor(blockNumber: bigint, timestamp: bigint, blockHash: string);
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        blockHash: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<L1PublishedData, {
+        blockNumber: bigint;
+        timestamp: bigint;
+        blockHash: string;
+    }>>;
+    static random(): L1PublishedData;
+    static fromFields(fields: FieldsOf<L1PublishedData>): L1PublishedData;
+    static fromBuffer(bufferOrReader: Buffer | BufferReader): 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(
+    /** 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.ZodPipe<z.ZodObject<{
+        checkpoint: z.ZodPipe<z.ZodObject<{
+            archive: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                root: import("@aztec/foundation/schemas").Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            header: import("@aztec/foundation/schemas").ZodFor<import("../rollup/checkpoint_header.js").CheckpointHeader>;
+            blocks: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                archive: z.ZodPipe<z.ZodObject<{
+                    root: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
+                    root: import("@aztec/foundation/schemas").Fr;
+                    nextAvailableLeafIndex: number;
+                }>>;
+                header: import("@aztec/foundation/schemas").ZodFor<import("../tx/block_header.js").BlockHeader>;
+                body: import("@aztec/foundation/schemas").ZodFor<import("../block/body.js").Body>;
+                checkpointNumber: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<import("@aztec/foundation/branded-types").CheckpointNumber, number>>;
+                indexWithinCheckpoint: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<import("@aztec/foundation/branded-types").IndexWithinCheckpoint, number>>;
+            }, z.core.$strip>, z.ZodTransform<import("../block/l2_block.js").L2Block, {
+                archive: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+                header: import("../tx/block_header.js").BlockHeader;
+                body: import("../block/body.js").Body;
+                checkpointNumber: import("@aztec/foundation/branded-types").CheckpointNumber;
+                indexWithinCheckpoint: import("@aztec/foundation/branded-types").IndexWithinCheckpoint;
+            }>>>;
+            number: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<import("@aztec/foundation/branded-types").CheckpointNumber, number>>;
+            feeAssetPriceModifier: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Checkpoint, {
+            archive: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
+            header: import("../rollup/checkpoint_header.js").CheckpointHeader;
+            blocks: import("../block/l2_block.js").L2Block[];
+            number: import("@aztec/foundation/branded-types").CheckpointNumber;
+            feeAssetPriceModifier: bigint;
+        }>>;
+        l1: z.ZodPipe<z.ZodObject<{
+            blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            blockHash: z.ZodString;
+        }, z.core.$strip>, z.ZodTransform<L1PublishedData, {
+            blockNumber: bigint;
+            timestamp: bigint;
+            blockHash: string;
+        }>>;
+        attestations: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            address: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec/foundation/eth-address").EthAddress, string>>;
+            signature: z.ZodPipe<z.ZodString & z.ZodType<`0x${string}`, string, z.core.$ZodTypeInternals<`0x${string}`, string>>, z.ZodTransform<import("../block/proposal/committee_attestation.js").Signature, `0x${string}`>>;
+        }, z.core.$strip>, z.ZodTransform<CommitteeAttestation, {
+            address: import("@aztec/foundation/eth-address").EthAddress;
+            signature: import("../block/proposal/committee_attestation.js").Signature;
+        }>>>;
+    }, z.core.$strip>, z.ZodTransform<PublishedCheckpoint, {
+        checkpoint: Checkpoint;
+        l1: L1PublishedData;
+        attestations: CommitteeAttestation[];
+    }>>;
+    static getFields(fields: FieldsOf<PublishedCheckpoint>): readonly [Checkpoint, L1PublishedData, CommitteeAttestation[]];
+    static from(fields: FieldsOf<PublishedCheckpoint>): PublishedCheckpoint;
+    static fromBuffer(bufferOrReader: Buffer | BufferReader): PublishedCheckpoint;
+    toBuffer(): Buffer;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGlzaGVkX2NoZWNrcG9pbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L3B1Ymxpc2hlZF9jaGVja3BvaW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUlBLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFDOUUsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUVsRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFN0MscUJBQWEsZUFBZTtJQUVqQixXQUFXLEVBQUUsTUFBTTtJQUNuQixTQUFTLEVBQUUsTUFBTTtJQUNqQixTQUFTLEVBQUUsTUFBTTtJQUgxQixZQUNTLFdBQVcsRUFBRSxNQUFNLEVBQ25CLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLFNBQVMsRUFBRSxNQUFNLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7O1FBUWhCO0lBRUQsTUFBTSxDQUFDLE1BQU0sb0JBTVo7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsZUFBZSxDQUFDLG1CQUVsRDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsZUFBZSxDQU14RTtJQUVNLFFBQVEsSUFBSSxNQUFNLENBRXhCO0NBQ0Y7QUFFRCxxQkFBYSxtQkFBbUI7SUFFNUIsNkJBQTZCO0lBQ3RCLFVBQVUsRUFBRSxVQUFVO0lBQzdCLHdEQUF3RDtJQUNqRCxFQUFFLEVBQUUsZUFBZTtJQUMxQiw2REFBNkQ7SUFDdEQsWUFBWSxFQUFFLG9CQUFvQixFQUFFO0lBTjdDO0lBQ0UsNkJBQTZCO0lBQ3RCLFVBQVUsRUFBRSxVQUFVO0lBQzdCLHdEQUF3RDtJQUNqRCxFQUFFLEVBQUUsZUFBZTtJQUMxQiw2REFBNkQ7SUFDdEQsWUFBWSxFQUFFLG9CQUFvQixFQUFFLEVBQ3pDO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFRaEI7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsbUJBQW1CLENBQUMsa0VBRXJEO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLG1CQUFtQixDQUFDLHVCQUVoRDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsbUJBQW1CLENBWTVFO0lBRU0sUUFBUSxJQUFJLE1BQU0sQ0FTeEI7Q0FDRiJ9

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

@@ -0,0 +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;;;;;;;;QAQhB;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAQhB;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

@@ -0,0 +1,81 @@
+// Ignoring import issue to fix portable inferred type issue in zod schema
+import { Buffer32 } from '@aztec/foundation/buffer';
+import { randomBigInt } from '@aztec/foundation/crypto/random';
+import { schemas } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { z } from 'zod';
+import { CommitteeAttestation } from '../block/proposal/committee_attestation.js';
+import { MAX_BLOCK_HASH_STRING_LENGTH, MAX_COMMITTEE_SIZE } from '../deserialization/index.js';
+import { Checkpoint } from './checkpoint.js';
+export class L1PublishedData {
+    blockNumber;
+    timestamp;
+    blockHash;
+    constructor(blockNumber, timestamp, blockHash){
+        this.blockNumber = blockNumber;
+        this.timestamp = timestamp;
+        this.blockHash = blockHash;
+    }
+    static get schema() {
+        return z.object({
+            blockNumber: schemas.BigInt,
+            timestamp: schemas.BigInt,
+            blockHash: z.string()
+        }).transform((obj)=>L1PublishedData.fromFields(obj));
+    }
+    static random() {
+        return new L1PublishedData(randomBigInt(1000n) + 1n, BigInt(Math.floor(Date.now() / 1000)), Buffer32.random().toString());
+    }
+    static fromFields(fields) {
+        return new L1PublishedData(fields.blockNumber, fields.timestamp, fields.blockHash);
+    }
+    static fromBuffer(bufferOrReader) {
+        const reader = BufferReader.asReader(bufferOrReader);
+        const l1BlockNumber = reader.readBigInt();
+        const l1BlockHash = reader.readString(MAX_BLOCK_HASH_STRING_LENGTH);
+        const l1Timestamp = reader.readBigInt();
+        return new L1PublishedData(l1BlockNumber, l1Timestamp, l1BlockHash);
+    }
+    toBuffer() {
+        return serializeToBuffer(this.blockNumber, this.blockHash, this.timestamp);
+    }
+}
+export class PublishedCheckpoint {
+    checkpoint;
+    l1;
+    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;
+    }
+    static get schema() {
+        return z.object({
+            checkpoint: Checkpoint.schema,
+            l1: L1PublishedData.schema,
+            attestations: z.array(CommitteeAttestation.schema)
+        }).transform((obj)=>PublishedCheckpoint.from(obj));
+    }
+    static getFields(fields) {
+        return [
+            fields.checkpoint,
+            fields.l1,
+            fields.attestations
+        ];
+    }
+    static from(fields) {
+        return new PublishedCheckpoint(...PublishedCheckpoint.getFields(fields));
+    }
+    static fromBuffer(bufferOrReader) {
+        const reader = BufferReader.asReader(bufferOrReader);
+        const checkpoint = reader.readObject(Checkpoint);
+        const l1BlockNumber = reader.readBigInt();
+        const l1BlockHash = reader.readString(MAX_BLOCK_HASH_STRING_LENGTH);
+        const l1Timestamp = reader.readBigInt();
+        const attestations = reader.readVector(CommitteeAttestation, MAX_COMMITTEE_SIZE);
+        return new PublishedCheckpoint(checkpoint, new L1PublishedData(l1BlockNumber, l1Timestamp, l1BlockHash), attestations);
+    }
+    toBuffer() {
+        return serializeToBuffer(this.checkpoint, this.l1.blockNumber, this.l1.blockHash, this.l1.timestamp, this.attestations.length, this.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);
+        }
+    }
+}

package/dest/config/chain-config.d.ts

@@ -1,5 +1,5 @@
-import type { ConfigMappingsType } from '@aztec/foundation/config';
-import { EthAddress } from '@aztec/foundation/eth-address';
+import { type L1ContractAddresses } from '@aztec/ethereum/l1-contract-addresses';
+import { type ConfigMappingsType } from '@aztec/foundation/config';
 export { type SequencerConfig, SequencerConfigSchema } from '../interfaces/configs.js';
 export { type AllowedElement } from '../interfaces/allowed_element.js';
 export declare const emptyChainConfig: ChainConfig;
@@ -10,10 +10,5 @@ export type ChainConfig = {
     l1ChainId: number;
     /** The version of the rollup. */
     rollupVersion: number;
-    /** The address to the L1 contracts. */
-    l1Contracts: {
-        /** The address to rollup */
-        rollupAddress: EthAddress;
-    };
-};
-//# sourceMappingURL=chain-config.d.ts.map
+} & Pick<L1ContractAddresses, 'rollupAddress'>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hhaW4tY29uZmlnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29uZmlnL2NoYWluLWNvbmZpZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxtQkFBbUIsRUFBaUMsTUFBTSx1Q0FBdUMsQ0FBQztBQUNoSCxPQUFPLEVBQUUsS0FBSyxrQkFBa0IsRUFBc0IsTUFBTSwwQkFBMEIsQ0FBQztBQUd2RixPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQUUscUJBQXFCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUN2RixPQUFPLEVBQUUsS0FBSyxjQUFjLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUV2RSxlQUFPLE1BQU0sZ0JBQWdCLEVBQUUsV0FJOUIsQ0FBQztBQUVGLGVBQU8sTUFBTSxtQkFBbUIsRUFBRSxrQkFBa0IsQ0FBQyxXQUFXLENBa0IvRCxDQUFDO0FBRUYsMkJBQTJCO0FBQzNCLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIseUNBQXlDO0lBQ3pDLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsaUNBQWlDO0lBQ2pDLGFBQWEsRUFBRSxNQUFNLENBQUM7Q0FDdkIsR0FBRyxJQUFJLENBQUMsbUJBQW1CLEVBQUUsZUFBZSxDQUFDLENBQUMifQ==

package/dest/config/chain-config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"chain-config.d.ts","sourceRoot":"","sources":["../../src/config/chain-config.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,KAAK,eAAe,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAEvE,eAAO,MAAM,gBAAgB,EAAE,WAI9B,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,kBAAkB,CAAC,WAAW,CAgB/D,CAAC;AAEF,2BAA2B;AAC3B,MAAM,MAAM,WAAW,GAAG;IACxB,yCAAyC;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB,iCAAiC;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,uCAAuC;IACvC,WAAW,EAAE;QACX,4BAA4B;QAC5B,aAAa,EAAE,UAAU,CAAC;KAC3B,CAAC;CACH,CAAC"}
+{"version":3,"file":"chain-config.d.ts","sourceRoot":"","sources":["../../src/config/chain-config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,mBAAmB,EAAiC,MAAM,uCAAuC,CAAC;AAChH,OAAO,EAAE,KAAK,kBAAkB,EAAsB,MAAM,0BAA0B,CAAC;AAGvF,OAAO,EAAE,KAAK,eAAe,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAEvE,eAAO,MAAM,gBAAgB,EAAE,WAI9B,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,kBAAkB,CAAC,WAAW,CAkB/D,CAAC;AAEF,2BAA2B;AAC3B,MAAM,MAAM,WAAW,GAAG;IACxB,yCAAyC;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB,iCAAiC;IACjC,aAAa,EAAE,MAAM,CAAC;CACvB,GAAG,IAAI,CAAC,mBAAmB,EAAE,eAAe,CAAC,CAAC"}

package/dest/config/chain-config.js

@@ -1,27 +1,28 @@
-import { l1ContractAddressesMapping } from '@aztec/ethereum/l1-contract-addresses';
+import { pickL1ContractAddressMappings } from '@aztec/ethereum/l1-contract-addresses';
+import { numberConfigHelper } from '@aztec/foundation/config';
 import { EthAddress } from '@aztec/foundation/eth-address';
 export { SequencerConfigSchema } from '../interfaces/configs.js';
 export const emptyChainConfig = {
     l1ChainId: 0,
-    l1Contracts: {
-        rollupAddress: EthAddress.ZERO
-    },
-    rollupVersion: 0
+    rollupVersion: 0,
+    rollupAddress: EthAddress.ZERO
 };
 export const chainConfigMappings = {
     l1ChainId: {
         env: 'L1_CHAIN_ID',
-        parseEnv: (val)=>+val,
-        defaultValue: 31337,
+        ...numberConfigHelper(31337),
         description: 'The chain ID of the ethereum host.'
     },
     rollupVersion: {
         env: 'ROLLUP_VERSION',
         description: 'The version of the rollup.',
-        parseEnv: (val)=>Number.isSafeInteger(parseInt(val, 10)) ? parseInt(val, 10) : undefined
+        parseEnv: (val)=>{
+            const parsed = parseInt(val, 10);
+            if (!Number.isSafeInteger(parsed)) {
+                throw new Error(`Invalid rollup version: ${val}`);
+            }
+            return parsed;
+        }
     },
-    l1Contracts: {
-        description: 'The deployed L1 contract addresses',
-        nested: l1ContractAddressesMapping
-    }
+    ...pickL1ContractAddressMappings('rollupAddress')
 };

package/dest/config/index.d.ts

@@ -1,3 +1,4 @@
 export * from './chain-config.js';
 export * from './node-rpc-config.js';
-//# sourceMappingURL=index.d.ts.map
+export * from './sequencer-config.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb25maWcvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsdUJBQXVCLENBQUMifQ==

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/config/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/config/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC"}

package/dest/config/index.js

@@ -1,2 +1,3 @@
 export * from './chain-config.js';
 export * from './node-rpc-config.js';
+export * from './sequencer-config.js';

package/dest/config/node-rpc-config.d.ts

@@ -10,4 +10,4 @@ export type NodeRPCConfig = {
     /** The maximum body size the RPC server will accept */
     rpcMaxBodySize: string;
 };
-//# sourceMappingURL=node-rpc-config.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm9kZS1ycGMtY29uZmlnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29uZmlnL25vZGUtcnBjLWNvbmZpZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsS0FBSyxrQkFBa0IsRUFBc0IsTUFBTSwwQkFBMEIsQ0FBQztBQUV2RixlQUFPLE1BQU0scUJBQXFCLEVBQUUsa0JBQWtCLENBQUMsYUFBYSxDQXNCbkUsQ0FBQztBQUVGLE1BQU0sTUFBTSxhQUFhLEdBQUc7SUFDMUIsdUZBQXVGO0lBQ3ZGLDRCQUE0QixFQUFFLE1BQU0sQ0FBQztJQUNyQyxtSEFBbUg7SUFDbkgsdUNBQXVDLEVBQUUsTUFBTSxDQUFDO0lBQ2hELDhEQUE4RDtJQUM5RCxlQUFlLEVBQUUsTUFBTSxDQUFDO0lBQ3hCLHVEQUF1RDtJQUN2RCxjQUFjLEVBQUUsTUFBTSxDQUFDO0NBQ3hCLENBQUMifQ==

package/dest/config/node-rpc-config.js

@@ -19,6 +19,6 @@ export const nodeRpcConfigMappings = {
     rpcMaxBodySize: {
         env: 'RPC_MAX_BODY_SIZE',
         description: 'Maximum allowed batch size for JSON RPC batch requests.',
-        defaultValue: '50mb'
+        defaultValue: '1mb'
     }
 };

package/dest/config/sequencer-config.d.ts

@@ -0,0 +1,14 @@
+import { type ConfigMappingsType } from '@aztec/foundation/config';
+import type { SequencerConfig } from '../interfaces/configs.js';
+/** Default maximum number of transactions per block. */
+export declare const DEFAULT_MAX_TXS_PER_BLOCK = 32;
+/** Default maximum number of blocks the sequencer packs into a single checkpoint. */
+export declare const DEFAULT_MAX_BLOCKS_PER_CHECKPOINT = 24;
+/**
+ * Partial sequencer config mappings for fields that need to be shared across packages.
+ * The full sequencer config mappings remain in sequencer-client, but shared fields
+ * (like blockDurationMs needed by both p2p and sequencer-client) are defined here
+ * to avoid duplication.
+ */
+export declare const sharedSequencerConfigMappings: ConfigMappingsType<Pick<SequencerConfig, 'blockDurationMs' | 'expectedBlockProposalsPerSlot' | 'maxTxsPerBlock' | 'attestationPropagationTime' | 'maxBlocksPerCheckpoint'>>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VxdWVuY2VyLWNvbmZpZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbmZpZy9zZXF1ZW5jZXItY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxLQUFLLGtCQUFrQixFQUl4QixNQUFNLDBCQUEwQixDQUFDO0FBRWxDLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBR2hFLHdEQUF3RDtBQUN4RCxlQUFPLE1BQU0seUJBQXlCLEtBQUssQ0FBQztBQUU1QyxxRkFBcUY7QUFDckYsZUFBTyxNQUFNLGlDQUFpQyxLQUFLLENBQUM7QUFFcEQ7Ozs7O0dBS0c7QUFDSCxlQUFPLE1BQU0sNkJBQTZCLEVBQUUsa0JBQWtCLENBQzVELElBQUksQ0FDRixlQUFlLEVBQ2IsaUJBQWlCLEdBQ2pCLCtCQUErQixHQUMvQixnQkFBZ0IsR0FDaEIsNEJBQTRCLEdBQzVCLHdCQUF3QixDQUMzQixDQWtDRixDQUFDIn0=

package/dest/config/sequencer-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sequencer-config.d.ts","sourceRoot":"","sources":["../../src/config/sequencer-config.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,kBAAkB,EAIxB,MAAM,0BAA0B,CAAC;AAElC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAGhE,wDAAwD;AACxD,eAAO,MAAM,yBAAyB,KAAK,CAAC;AAE5C,qFAAqF;AACrF,eAAO,MAAM,iCAAiC,KAAK,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAC5D,IAAI,CACF,eAAe,EACb,iBAAiB,GACjB,+BAA+B,GAC/B,gBAAgB,GAChB,4BAA4B,GAC5B,wBAAwB,CAC3B,CAkCF,CAAC"}

package/dest/config/sequencer-config.js

@@ -0,0 +1,38 @@
+import { floatConfigHelper, numberConfigHelper, optionalNumberConfigHelper } from '@aztec/foundation/config';
+import { DEFAULT_P2P_PROPAGATION_TIME } from '../timetable/index.js';
+/** Default maximum number of transactions per block. */ export const DEFAULT_MAX_TXS_PER_BLOCK = 32;
+/** Default maximum number of blocks the sequencer packs into a single checkpoint. */ export const DEFAULT_MAX_BLOCKS_PER_CHECKPOINT = 24;
+/**
+ * Partial sequencer config mappings for fields that need to be shared across packages.
+ * The full sequencer config mappings remain in sequencer-client, but shared fields
+ * (like blockDurationMs needed by both p2p and sequencer-client) are defined here
+ * to avoid duplication.
+ */ export const sharedSequencerConfigMappings = {
+    blockDurationMs: {
+        env: 'SEQ_BLOCK_DURATION_MS',
+        description: 'Duration per block in milliseconds when building multiple blocks per slot. ' + 'If undefined (default), builds a single block per slot using the full slot duration.',
+        ...optionalNumberConfigHelper()
+    },
+    expectedBlockProposalsPerSlot: {
+        env: 'SEQ_EXPECTED_BLOCK_PROPOSALS_PER_SLOT',
+        description: 'Expected number of block proposals per slot for P2P peer scoring. ' + '0 (default) disables block proposal scoring. Set to a positive value to enable.',
+        ...numberConfigHelper(0)
+    },
+    maxTxsPerBlock: {
+        env: 'SEQ_MAX_TX_PER_BLOCK',
+        description: 'The maximum number of txs to include in a block.',
+        ...optionalNumberConfigHelper()
+    },
+    attestationPropagationTime: {
+        env: 'SEQ_ATTESTATION_PROPAGATION_TIME',
+        description: 'How many seconds it takes for proposals and attestations to travel across the p2p layer (one-way).',
+        defaultValue: DEFAULT_P2P_PROPAGATION_TIME,
+        ...floatConfigHelper(DEFAULT_P2P_PROPAGATION_TIME)
+    },
+    maxBlocksPerCheckpoint: {
+        env: 'MAX_BLOCKS_PER_CHECKPOINT',
+        description: 'Maximum number of blocks the sequencer packs into a single checkpoint, and the maximum indexWithinCheckpoint accepted on inbound block proposals.',
+        parseEnv: (val)=>parseInt(val, 10),
+        defaultValue: DEFAULT_MAX_BLOCKS_PER_CHECKPOINT
+    }
+};

package/dest/contract/artifact_hash.d.ts

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { MerkleTree } from '@aztec/foundation/trees';
 import { type ContractArtifact, type FunctionArtifact, FunctionSelector, FunctionType } from '../abi/index.js';
 /**
@@ -41,5 +41,5 @@ export declare function computeFunctionArtifactHash(fn: FunctionArtifact | (Pick
     selector: FunctionSelector;
 })): Promise<Fr>;
 export declare function computeFunctionMetadataHash(fn: FunctionArtifact): Fr;
-export declare function getArtifactMerkleTreeHasher(): (l: Buffer, r: Buffer) => Promise<Buffer<ArrayBuffer>>;
-//# sourceMappingURL=artifact_hash.d.ts.map
+export declare function getArtifactMerkleTreeHasher(): (l: Buffer<ArrayBufferLike>, r: Buffer<ArrayBufferLike>) => Promise<Buffer<ArrayBuffer>>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXJ0aWZhY3RfaGFzaC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbnRyYWN0L2FydGlmYWN0X2hhc2gudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBWSxNQUFNLGdDQUFnQyxDQUFDO0FBRzlELE9BQU8sRUFBRSxVQUFVLEVBQXdCLE1BQU0seUJBQXlCLENBQUM7QUFJM0UsT0FBTyxFQUFFLEtBQUssZ0JBQWdCLEVBQUUsS0FBSyxnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFBRSxZQUFZLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQVMvRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBcUJHO0FBQ0gsd0JBQXNCLG1CQUFtQixDQUN2QyxRQUFRLEVBQUUsZ0JBQWdCLEdBQUc7SUFBRSxtQkFBbUIsRUFBRSxFQUFFLENBQUM7SUFBQyxtQkFBbUIsRUFBRSxFQUFFLENBQUM7SUFBQyxZQUFZLEVBQUUsRUFBRSxDQUFBO0NBQUUsR0FDbEcsT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQVdiO0FBRUQsd0JBQXNCLDJCQUEyQixDQUFDLFFBQVEsRUFBRSxnQkFBZ0I7Ozs7R0FLM0U7QUFFRCx3QkFBZ0IsMkJBQTJCLENBQUMsUUFBUSxFQUFFLGdCQUFnQixNQUVyRTtBQUVELHdCQUFzQiwrQkFBK0IsQ0FBQyxRQUFRLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxFQUFFLFlBQVksZUFHckc7QUFFRCx3QkFBc0IsMkJBQTJCLENBQy9DLFFBQVEsRUFBRSxnQkFBZ0IsRUFDMUIsTUFBTSxFQUFFLFlBQVksR0FDbkIsT0FBTyxDQUFDLFVBQVUsR0FBRyxTQUFTLENBQUMsQ0FTakM7QUFZRCx3QkFBc0IsMkJBQTJCLENBQy9DLEVBQUUsRUFDRSxnQkFBZ0IsR0FDaEIsQ0FBQyxJQUFJLENBQUMsZ0JBQWdCLEVBQUUsVUFBVSxDQUFDLEdBQUc7SUFBRSxvQkFBb0IsRUFBRSxFQUFFLENBQUM7SUFBQyxRQUFRLEVBQUUsZ0JBQWdCLENBQUE7Q0FBRSxDQUFDLGVBT3BHO0FBRUQsd0JBQWdCLDJCQUEyQixDQUFDLEVBQUUsRUFBRSxnQkFBZ0IsTUFFL0Q7QUFNRCx3QkFBZ0IsMkJBQTJCLDZGQUUxQyJ9

package/dest/contract/artifact_hash.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"artifact_hash.d.ts","sourceRoot":"","sources":["../../src/contract/artifact_hash.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAY,MAAM,0BAA0B,CAAC;AAGxD,OAAO,EAAE,UAAU,EAAwB,MAAM,yBAAyB,CAAC;AAI3E,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAS/G;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,gBAAgB,GAAG;IAAE,mBAAmB,EAAE,EAAE,CAAC;IAAC,mBAAmB,EAAE,EAAE,CAAC;IAAC,YAAY,EAAE,EAAE,CAAA;CAAE,GAClG,OAAO,CAAC,EAAE,CAAC,CAWb;AAED,wBAAsB,2BAA2B,CAAC,QAAQ,EAAE,gBAAgB;;;;GAK3E;AAED,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,gBAAgB,MAErE;AAED,wBAAsB,+BAA+B,CAAC,QAAQ,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY,eAGrG;AAED,wBAAsB,2BAA2B,CAC/C,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,YAAY,GACnB,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CASjC;AAYD,wBAAsB,2BAA2B,CAC/C,EAAE,EACE,gBAAgB,GAChB,CAAC,IAAI,CAAC,gBAAgB,EAAE,UAAU,CAAC,GAAG;IAAE,oBAAoB,EAAE,EAAE,CAAC;IAAC,QAAQ,EAAE,gBAAgB,CAAA;CAAE,CAAC,eAOpG;AAED,wBAAgB,2BAA2B,CAAC,EAAE,EAAE,gBAAgB,MAE/D;AAMD,wBAAgB,2BAA2B,KACjC,GAAG,MAAM,EAAE,GAAG,MAAM,kCAC7B"}
+{"version":3,"file":"artifact_hash.d.ts","sourceRoot":"","sources":["../../src/contract/artifact_hash.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAY,MAAM,gCAAgC,CAAC;AAG9D,OAAO,EAAE,UAAU,EAAwB,MAAM,yBAAyB,CAAC;AAI3E,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAS/G;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,gBAAgB,GAAG;IAAE,mBAAmB,EAAE,EAAE,CAAC;IAAC,mBAAmB,EAAE,EAAE,CAAC;IAAC,YAAY,EAAE,EAAE,CAAA;CAAE,GAClG,OAAO,CAAC,EAAE,CAAC,CAWb;AAED,wBAAsB,2BAA2B,CAAC,QAAQ,EAAE,gBAAgB;;;;GAK3E;AAED,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,gBAAgB,MAErE;AAED,wBAAsB,+BAA+B,CAAC,QAAQ,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY,eAGrG;AAED,wBAAsB,2BAA2B,CAC/C,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,YAAY,GACnB,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CASjC;AAYD,wBAAsB,2BAA2B,CAC/C,EAAE,EACE,gBAAgB,GAChB,CAAC,IAAI,CAAC,gBAAgB,EAAE,UAAU,CAAC,GAAG;IAAE,oBAAoB,EAAE,EAAE,CAAC;IAAC,QAAQ,EAAE,gBAAgB,CAAA;CAAE,CAAC,eAOpG;AAED,wBAAgB,2BAA2B,CAAC,EAAE,EAAE,gBAAgB,MAE/D;AAMD,wBAAgB,2BAA2B,6FAE1C"}

package/dest/contract/artifact_hash.js

@@ -1,5 +1,5 @@
-import { sha256 } from '@aztec/foundation/crypto';
-import { Fr, reduceFn } from '@aztec/foundation/fields';
+import { sha256 } from '@aztec/foundation/crypto/sha256';
+import { Fr, reduceFn } from '@aztec/foundation/curves/bn254';
 import { createLogger } from '@aztec/foundation/log';
 import { numToUInt8 } from '@aztec/foundation/serialize';
 import { MerkleTreeCalculator } from '@aztec/foundation/trees';

package/dest/contract/complete_address.d.ts

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { AztecAddress } from '../aztec-address/index.js';
 import { PublicKeys } from '../keys/public_keys.js';
@@ -23,10 +23,11 @@ export declare class CompleteAddress {
     static create(address: AztecAddress, publicKeys: PublicKeys, partialAddress: PartialAddress): Promise<CompleteAddress>;
     /** Size in bytes of an instance */
     static readonly SIZE_IN_BYTES: number;
-    static get schema(): import("zod").ZodType<never, any, string>;
+    static get schema(): import("zod").ZodType<never, string, import("zod/v4/core").$ZodTypeInternals<never, string>>;
     toJSON(): string;
     static random(): Promise<CompleteAddress>;
     static fromSecretKeyAndPartialAddress(secretKey: Fr, partialAddress: Fr): Promise<CompleteAddress>;
+    static fromPublicKeysAndPartialAddress(publicKeys: PublicKeys, partialAddress: Fr): Promise<CompleteAddress>;
     getPreaddress(): Promise<Fr>;
     static fromSecretKeyAndInstance(secretKey: Fr, instance: Parameters<typeof computePartialAddress>[0]): Promise<CompleteAddress>;
     /** Throws if the address is not correctly derived from the public key and partial address.*/
@@ -77,4 +78,4 @@ export declare class CompleteAddress {
      */
     toString(): string;
 }
-//# sourceMappingURL=complete_address.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29tcGxldGVfYWRkcmVzcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbnRyYWN0L2NvbXBsZXRlX2FkZHJlc3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFHOUUsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRXpELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNwRCxPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUUzRDs7Ozs7OztHQU9HO0FBQ0gscUJBQWEsZUFBZTtJQUV4QiwwREFBMEQ7SUFDbkQsT0FBTyxFQUFFLFlBQVk7SUFDNUIsdUJBQXVCO0lBQ2hCLFVBQVUsRUFBRSxVQUFVO0lBQzdCLGtFQUFrRTtJQUMzRCxjQUFjLEVBQUUsY0FBYztJQU52QyxPQUFPLGVBT0g7SUFFSixPQUFhLE1BQU0sQ0FDakIsT0FBTyxFQUFFLFlBQVksRUFDckIsVUFBVSxFQUFFLFVBQVUsRUFDdEIsY0FBYyxFQUFFLGNBQWMsR0FDN0IsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQUkxQjtJQUVELG1DQUFtQztJQUVuQyxNQUFNLENBQUMsUUFBUSxDQUFDLGFBQWEsU0FBVTtJQUV2QyxNQUFNLEtBQUssTUFBTSxpR0FFaEI7SUFFRCxNQUFNLFdBRUw7SUFFRCxPQUFhLE1BQU0sSUFBSSxPQUFPLENBQUMsZUFBZSxDQUFDLENBRTlDO0lBRUQsT0FBYSw4QkFBOEIsQ0FBQyxTQUFTLEVBQUUsRUFBRSxFQUFFLGNBQWMsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQUd2RztJQUVELE9BQWEsK0JBQStCLENBQUMsVUFBVSxFQUFFLFVBQVUsRUFBRSxjQUFjLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxlQUFlLENBQUMsQ0FHakg7SUFFSyxhQUFhLGdCQUVsQjtJQUVELE9BQWEsd0JBQXdCLENBQ25DLFNBQVMsRUFBRSxFQUFFLEVBQ2IsUUFBUSxFQUFFLFVBQVUsQ0FBQyxPQUFPLHFCQUFxQixDQUFDLENBQUMsQ0FBQyxDQUFDLEdBQ3BELE9BQU8sQ0FBQyxlQUFlLENBQUMsQ0FHMUI7SUFFRCw2RkFBNkY7SUFDaEYsUUFBUSxrQkFRcEI7SUFFRDs7O09BR0c7SUFDSSxnQkFBZ0IsSUFBSSxNQUFNLENBRWhDO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLEtBQUssRUFBRSxlQUFlLEdBQUcsT0FBTyxDQU10QztJQUVEOzs7OztPQUtHO0lBQ0gsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRDs7Ozs7OztPQU9HO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxPQUFPLENBQUMsZUFBZSxDQUFDLENBTXpFO0lBRUQ7Ozs7Ozs7T0FPRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsZUFBZSxDQUFDLENBRTNEO0lBRUQ7Ozs7O09BS0c7SUFDSCxRQUFRLElBQUksTUFBTSxDQUVqQjtDQUNGIn0=

package/dest/contract/complete_address.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"complete_address.d.ts","sourceRoot":"","sources":["../../src/contract/complete_address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;;;;;;GAOG;AACH,qBAAa,eAAe;IAExB,0DAA0D;IACnD,OAAO,EAAE,YAAY;IAC5B,uBAAuB;IAChB,UAAU,EAAE,UAAU;IAC7B,kEAAkE;IAC3D,cAAc,EAAE,cAAc;IANvC,OAAO;WASM,MAAM,CACjB,OAAO,EAAE,YAAY,EACrB,UAAU,EAAE,UAAU,EACtB,cAAc,EAAE,cAAc,GAC7B,OAAO,CAAC,eAAe,CAAC;IAM3B,mCAAmC;IACnC,MAAM,CAAC,QAAQ,CAAC,aAAa,SAAW;IAExC,MAAM,KAAK,MAAM,8CAEhB;IAED,MAAM;WAIO,MAAM,IAAI,OAAO,CAAC,eAAe,CAAC;WAIlC,8BAA8B,CAAC,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC;IAOlG,aAAa;WAIN,wBAAwB,CACnC,SAAS,EAAE,EAAE,EACb,QAAQ,EAAE,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC,CAAC,GACpD,OAAO,CAAC,eAAe,CAAC;IAK3B,6FAA6F;IAChF,QAAQ;IAUrB;;;OAGG;IACI,gBAAgB,IAAI,MAAM;IAIjC;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO;IAQvC;;;;;OAKG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;;;;OAOG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC;IAQ1E;;;;;;;OAOG;IACH,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;IAI5D;;;;;OAKG;IACH,QAAQ,IAAI,MAAM;CAGnB"}
+{"version":3,"file":"complete_address.d.ts","sourceRoot":"","sources":["../../src/contract/complete_address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;;;;;;GAOG;AACH,qBAAa,eAAe;IAExB,0DAA0D;IACnD,OAAO,EAAE,YAAY;IAC5B,uBAAuB;IAChB,UAAU,EAAE,UAAU;IAC7B,kEAAkE;IAC3D,cAAc,EAAE,cAAc;IANvC,OAAO,eAOH;IAEJ,OAAa,MAAM,CACjB,OAAO,EAAE,YAAY,EACrB,UAAU,EAAE,UAAU,EACtB,cAAc,EAAE,cAAc,GAC7B,OAAO,CAAC,eAAe,CAAC,CAI1B;IAED,mCAAmC;IAEnC,MAAM,CAAC,QAAQ,CAAC,aAAa,SAAU;IAEvC,MAAM,KAAK,MAAM,iGAEhB;IAED,MAAM,WAEL;IAED,OAAa,MAAM,IAAI,OAAO,CAAC,eAAe,CAAC,CAE9C;IAED,OAAa,8BAA8B,CAAC,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,CAGvG;IAED,OAAa,+BAA+B,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,CAGjH;IAEK,aAAa,gBAElB;IAED,OAAa,wBAAwB,CACnC,SAAS,EAAE,EAAE,EACb,QAAQ,EAAE,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC,CAAC,GACpD,OAAO,CAAC,eAAe,CAAC,CAG1B;IAED,6FAA6F;IAChF,QAAQ,kBAQpB;IAED;;;OAGG;IACI,gBAAgB,IAAI,MAAM,CAEhC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAMtC;IAED;;;;;OAKG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC,CAMzE;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAE3D;IAED;;;;;OAKG;IACH,QAAQ,IAAI,MAAM,CAEjB;CACF"}