@aztec/stdlib 0.0.0-test.0 → 0.0.1-commit.0208eb9

package/dest/block/validate_block_result.js

@@ -0,0 +1,85 @@
+import { EpochNumber, EpochNumberSchema } from '@aztec/foundation/branded-types';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { schemas } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { z } from 'zod';
+import { CheckpointInfoSchema, deserializeCheckpointInfo, serializeCheckpointInfo } from '../checkpoint/checkpoint_info.js';
+import { MAX_COMMITTEE_SIZE } from '../deserialization/index.js';
+import { CommitteeAttestation } from './proposal/committee_attestation.js';
+export const ValidateCheckpointResultSchema = z.union([
+    z.object({
+        valid: z.literal(true)
+    }),
+    z.object({
+        valid: z.literal(false),
+        checkpoint: CheckpointInfoSchema,
+        committee: z.array(schemas.EthAddress),
+        epoch: EpochNumberSchema,
+        seed: schemas.BigInt,
+        attestors: z.array(schemas.EthAddress),
+        attestations: z.array(CommitteeAttestation.schema),
+        reason: z.literal('insufficient-attestations')
+    }),
+    z.object({
+        valid: z.literal(false),
+        checkpoint: CheckpointInfoSchema,
+        committee: z.array(schemas.EthAddress),
+        epoch: EpochNumberSchema,
+        seed: schemas.BigInt,
+        attestors: z.array(schemas.EthAddress),
+        attestations: z.array(CommitteeAttestation.schema),
+        reason: z.literal('invalid-attestation'),
+        invalidIndex: z.number()
+    })
+]);
+export function serializeValidateCheckpointResult(result) {
+    if (result.valid) {
+        return serializeToBuffer(true);
+    }
+    const checkpointBuffer = serializeCheckpointInfo(result.checkpoint);
+    return serializeToBuffer(result.valid, result.reason, checkpointBuffer.length, checkpointBuffer, result.committee.length, result.committee, result.epoch, result.seed ?? 0n, result.attestors.length, result.attestors, result.attestations.length, result.attestations, result.reason === 'invalid-attestation' ? result.invalidIndex : 0);
+}
+export function deserializeValidateCheckpointResult(bufferOrReader) {
+    const reader = BufferReader.asReader(bufferOrReader);
+    const valid = reader.readBoolean();
+    if (valid) {
+        return {
+            valid
+        };
+    }
+    const reason = reader.readString(64);
+    const checkpoint = deserializeCheckpointInfo(reader.readBuffer());
+    const committee = reader.readVector(EthAddress, MAX_COMMITTEE_SIZE);
+    const epoch = EpochNumber(reader.readNumber());
+    const seed = reader.readBigInt();
+    const attestors = reader.readVector(EthAddress, MAX_COMMITTEE_SIZE);
+    const attestations = reader.readVector(CommitteeAttestation, MAX_COMMITTEE_SIZE);
+    const invalidIndex = reader.readNumber();
+    if (reason === 'insufficient-attestations') {
+        return {
+            valid,
+            reason,
+            checkpoint,
+            committee,
+            epoch,
+            seed,
+            attestors,
+            attestations
+        };
+    } else if (reason === 'invalid-attestation') {
+        return {
+            valid,
+            reason,
+            checkpoint,
+            committee,
+            epoch,
+            seed,
+            attestors,
+            invalidIndex,
+            attestations
+        };
+    } else {
+        const _ = reason;
+        throw new Error(`Unknown reason: ${reason}`);
+    }
+}

package/dest/checkpoint/checkpoint.d.ts

@@ -0,0 +1,163 @@
+import { CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { z } from 'zod';
+import { L2Block } from '../block/l2_block.js';
+import { CheckpointHeader } from '../rollup/checkpoint_header.js';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import type { CheckpointInfo } from './checkpoint_info.js';
+type FieldsOfCheckpoint = Omit<FieldsOf<Checkpoint>, 'slot'>;
+export declare class Checkpoint {
+    /** Snapshot of archive tree after the checkpoint is added. */
+    archive: AppendOnlyTreeSnapshot;
+    /** Header of the checkpoint. */
+    header: CheckpointHeader;
+    /** L2 blocks in the checkpoint. */
+    blocks: L2Block[];
+    /** Number of the checkpoint. */
+    number: CheckpointNumber;
+    constructor(
+    /** Snapshot of archive tree after the checkpoint is added. */
+    archive: AppendOnlyTreeSnapshot, 
+    /** Header of the checkpoint. */
+    header: CheckpointHeader, 
+    /** L2 blocks in the checkpoint. */
+    blocks: L2Block[], 
+    /** Number of the checkpoint. */
+    number: CheckpointNumber);
+    get slot(): SlotNumber;
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        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;
+        }>;
+        header: import("@aztec/foundation/schemas").ZodFor<CheckpointHeader>;
+        blocks: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            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;
+            }>;
+            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.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
+            indexWithinCheckpoint: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, IndexWithinCheckpoint, string | number | bigint>;
+        }, "strip", z.ZodTypeAny, {
+            archive: AppendOnlyTreeSnapshot;
+            header: import("../tx/block_header.js").BlockHeader;
+            body: import("../block/body.js").Body;
+            checkpointNumber: number & {
+                _branding: "CheckpointNumber";
+            };
+            indexWithinCheckpoint: number & {
+                _branding: "IndexWithinCheckpoint";
+            };
+        }, {
+            archive: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            header?: any;
+            body?: any;
+            checkpointNumber: string | number | bigint;
+            indexWithinCheckpoint: string | number | bigint;
+        }>, L2Block, {
+            archive: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            header?: any;
+            body?: any;
+            checkpointNumber: string | number | bigint;
+            indexWithinCheckpoint: string | number | bigint;
+        }>, "many">;
+        number: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
+    }, "strip", z.ZodTypeAny, {
+        archive: AppendOnlyTreeSnapshot;
+        header: CheckpointHeader;
+        blocks: L2Block[];
+        number: number & {
+            _branding: "CheckpointNumber";
+        };
+    }, {
+        archive: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        header?: any;
+        blocks: {
+            archive: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            header?: any;
+            body?: any;
+            checkpointNumber: string | number | bigint;
+            indexWithinCheckpoint: string | number | bigint;
+        }[];
+        number: string | number | bigint;
+    }>, Checkpoint, {
+        archive: {
+            root: string;
+            nextAvailableLeafIndex: string | number | bigint;
+        };
+        header?: any;
+        blocks: {
+            archive: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            header?: any;
+            body?: any;
+            checkpointNumber: string | number | bigint;
+            indexWithinCheckpoint: string | number | bigint;
+        }[];
+        number: string | number | bigint;
+    }>;
+    static from(fields: FieldsOfCheckpoint): Checkpoint;
+    static getFields(fields: FieldsOfCheckpoint): readonly [AppendOnlyTreeSnapshot, CheckpointHeader, L2Block[], CheckpointNumber];
+    static fromBuffer(buf: Buffer | BufferReader): Checkpoint;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    toBlobFields(): Fr[];
+    hash(): Fr;
+    getCheckpointOutHash(): Fr;
+    getState(): import("../tx/state_reference.js").StateReference;
+    toCheckpointInfo(): CheckpointInfo;
+    /** Returns stats used for logging */
+    getStats(): {
+        privateLogCount: number;
+        publicLogCount: number;
+        contractClassLogCount: number;
+        contractClassLogSize: number;
+        txCount: number;
+        blockCount: number;
+        slotNumber: SlotNumber;
+        checkpointNumber: CheckpointNumber;
+        timestamp: bigint;
+    };
+    static random(checkpointNumber?: CheckpointNumber, { numBlocks, startBlockNumber, previousArchive, ...options }?: {
+        numBlocks?: number;
+        startBlockNumber?: number;
+        previousArchive?: AppendOnlyTreeSnapshot;
+    } & Partial<Parameters<typeof CheckpointHeader.random>[0]> & Partial<Parameters<typeof L2Block.random>[1]>): Promise<Checkpoint>;
+}
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NoZWNrcG9pbnQvY2hlY2twb2ludC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBRUwsZ0JBQWdCLEVBRWhCLHFCQUFxQixFQUNyQixVQUFVLEVBQ1gsTUFBTSxpQ0FBaUMsQ0FBQztBQUV6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUM5RSxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUcvQyxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUUzRCxLQUFLLGtCQUFrQixHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsVUFBVSxDQUFDLEVBQUUsTUFBTSxDQUFDLENBQUM7QUFFN0QscUJBQWEsVUFBVTtJQUVuQiw4REFBOEQ7SUFDdkQsT0FBTyxFQUFFLHNCQUFzQjtJQUN0QyxnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQixtQ0FBbUM7SUFDNUIsTUFBTSxFQUFFLE9BQU8sRUFBRTtJQUN4QixnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQVJqQztJQUNFLDhEQUE4RDtJQUN2RCxPQUFPLEVBQUUsc0JBQXNCO0lBQ3RDLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCO0lBQy9CLG1DQUFtQztJQUM1QixNQUFNLEVBQUUsT0FBTyxFQUFFO0lBQ3hCLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCLEVBQzdCO0lBRUosSUFBSSxJQUFJLElBQUksVUFBVSxDQUVyQjtJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQVNoQjtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLGtCQUFrQixjQUVyQztJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLGtCQUFrQixvRkFFMUM7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsWUFBWSxjQVEzQztJQUVNLFFBQVEsNEJBRWQ7SUFFTSxZQUFZLElBQUksRUFBRSxFQUFFLENBRzFCO0lBRU0sSUFBSSxJQUFJLEVBQUUsQ0FFaEI7SUFLTSxvQkFBb0IsSUFBSSxFQUFFLENBR2hDO0lBRU0sUUFBUSxzREFFZDtJQUVNLGdCQUFnQixJQUFJLGNBQWMsQ0FReEM7SUFFRCxxQ0FBcUM7SUFDOUIsUUFBUTs7Ozs7Ozs7OztNQWtCZDtJQUVELE9BQWEsTUFBTSxDQUNqQixnQkFBZ0IsbUJBQXNCLEVBQ3RDLEVBQ0UsU0FBYSxFQUNiLGdCQUFvQixFQUNwQixlQUFlLEVBQ2YsR0FBRyxPQUFPLEVBQ1gsR0FBRTtRQUNELFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUNuQixnQkFBZ0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUMxQixlQUFlLENBQUMsRUFBRSxzQkFBc0IsQ0FBQztLQUMxQyxHQUFHLE9BQU8sQ0FBQyxVQUFVLENBQUMsT0FBTyxnQkFBZ0IsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUN4RCxPQUFPLENBQUMsVUFBVSxDQUFDLE9BQU8sT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFNLHVCQW1CckQ7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,gBAAgB,EAEhB,qBAAqB,EACrB,UAAU,EACX,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,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,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAG/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,KAAK,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;AAE7D,qBAAa,UAAU;IAEnB,8DAA8D;IACvD,OAAO,EAAE,sBAAsB;IACtC,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,mCAAmC;IAC5B,MAAM,EAAE,OAAO,EAAE;IACxB,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IARjC;IACE,8DAA8D;IACvD,OAAO,EAAE,sBAAsB;IACtC,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,mCAAmC;IAC5B,MAAM,EAAE,OAAO,EAAE;IACxB,gCAAgC;IACzB,MAAM,EAAE,gBAAgB,EAC7B;IAEJ,IAAI,IAAI,IAAI,UAAU,CAErB;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAShB;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,kBAAkB,cAErC;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,kBAAkB,oFAE1C;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,cAQ3C;IAEM,QAAQ,4BAEd;IAEM,YAAY,IAAI,EAAE,EAAE,CAG1B;IAEM,IAAI,IAAI,EAAE,CAEhB;IAKM,oBAAoB,IAAI,EAAE,CAGhC;IAEM,QAAQ,sDAEd;IAEM,gBAAgB,IAAI,cAAc,CAQxC;IAED,qCAAqC;IAC9B,QAAQ;;;;;;;;;;MAkBd;IAED,OAAa,MAAM,CACjB,gBAAgB,mBAAsB,EACtC,EACE,SAAa,EACb,gBAAoB,EACpB,eAAe,EACf,GAAG,OAAO,EACX,GAAE;QACD,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,gBAAgB,CAAC,EAAE,MAAM,CAAC;QAC1B,eAAe,CAAC,EAAE,sBAAsB,CAAC;KAC1C,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GACxD,OAAO,CAAC,UAAU,CAAC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAM,uBAmBrD;CACF"}

package/dest/checkpoint/checkpoint.js

@@ -0,0 +1,113 @@
+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 { 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 { 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){
+        this.archive = archive;
+        this.header = header;
+        this.blocks = blocks;
+        this.number = number;
+    }
+    get slot() {
+        return this.header.slotNumber;
+    }
+    static get schema() {
+        return z.object({
+            archive: AppendOnlyTreeSnapshot.schema,
+            header: CheckpointHeader.schema,
+            blocks: z.array(L2Block.schema),
+            number: CheckpointNumberSchema
+        }).transform(({ archive, header, blocks, number })=>new Checkpoint(archive, header, blocks, number));
+    }
+    static from(fields) {
+        return new Checkpoint(...Checkpoint.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.archive,
+            fields.header,
+            fields.blocks,
+            fields.number
+        ];
+    }
+    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()));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.archive, this.header, this.blocks.length, this.blocks, this.number);
+    }
+    toBlobFields() {
+        const blocks = this.blocks.map((block)=>block.toBlockBlobData());
+        return encodeCheckpointBlobDataFromBlocks(blocks);
+    }
+    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));
+        return computeCheckpointOutHash(msgs);
+    }
+    getState() {
+        return this.blocks.at(-1).header.state;
+    }
+    toCheckpointInfo() {
+        return {
+            archive: this.archive.root,
+            lastArchive: this.header.lastArchiveRoot,
+            slotNumber: this.header.slotNumber,
+            checkpointNumber: this.number,
+            timestamp: this.header.timestamp
+        };
+    }
+    /** Returns stats used for logging */ getStats() {
+        const txEffects = this.blocks.flatMap((block)=>block.body.txEffects);
+        const logsStats = {
+            privateLogCount: sum(txEffects.map((tx)=>tx.privateLogs.length)),
+            publicLogCount: sum(txEffects.map((tx)=>tx.publicLogs.length)),
+            contractClassLogCount: sum(txEffects.map((tx)=>tx.contractClassLogs.length)),
+            contractClassLogSize: sum(txEffects.map((tx)=>sum(tx.contractClassLogs.map((log)=>log.emittedLength))))
+        };
+        return {
+            txCount: txEffects.length,
+            blockCount: this.blocks.length,
+            slotNumber: this.header.slotNumber,
+            checkpointNumber: this.number,
+            timestamp: this.header.timestamp,
+            ...logsStats
+        };
+    }
+    static async random(checkpointNumber = CheckpointNumber(1), { numBlocks = 1, startBlockNumber = 1, previousArchive, ...options } = {}) {
+        const header = CheckpointHeader.random(options);
+        // 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), {
+                indexWithinCheckpoint: IndexWithinCheckpoint(i),
+                ...options,
+                ...lastArchive ? {
+                    lastArchive
+                } : {}
+            });
+            lastArchive = block.archive;
+            blocks.push(block);
+        }
+        return new Checkpoint(AppendOnlyTreeSnapshot.random(), header, blocks, checkpointNumber);
+    }
+}

package/dest/checkpoint/checkpoint_info.d.ts

@@ -0,0 +1,38 @@
+import { CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { z } from 'zod';
+export type CheckpointInfo = {
+    archive: Fr;
+    lastArchive: Fr;
+    slotNumber: SlotNumber;
+    checkpointNumber: CheckpointNumber;
+    timestamp: bigint;
+};
+export declare function randomCheckpointInfo(checkpointNumber?: CheckpointNumber | number): CheckpointInfo;
+export declare const CheckpointInfoSchema: z.ZodObject<{
+    archive: z.ZodType<Fr, any, string>;
+    lastArchive: z.ZodType<Fr, any, string>;
+    slotNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, SlotNumber, string | number | bigint>;
+    checkpointNumber: z.ZodEffects<z.ZodPipeline<z.ZodUnion<[z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodNumber>, CheckpointNumber, string | number | bigint>;
+    timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+}, "strip", z.ZodTypeAny, {
+    archive: Fr;
+    lastArchive: Fr;
+    slotNumber: number & {
+        _branding: "SlotNumber";
+    };
+    checkpointNumber: number & {
+        _branding: "CheckpointNumber";
+    };
+    timestamp: bigint;
+}, {
+    archive: string;
+    lastArchive: string;
+    slotNumber: string | number | bigint;
+    checkpointNumber: string | number | bigint;
+    timestamp: string | number | bigint;
+}>;
+export declare function serializeCheckpointInfo(info: CheckpointInfo): Buffer;
+export declare function deserializeCheckpointInfo(buffer: Buffer | BufferReader): CheckpointInfo;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9pbmZvLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2luZm8udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLGdCQUFnQixFQUVoQixVQUFVLEVBRVgsTUFBTSxpQ0FBaUMsQ0FBQztBQUN6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUU5RSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE1BQU0sTUFBTSxjQUFjLEdBQUc7SUFDM0IsT0FBTyxFQUFFLEVBQUUsQ0FBQztJQUNaLFdBQVcsRUFBRSxFQUFFLENBQUM7SUFDaEIsVUFBVSxFQUFFLFVBQVUsQ0FBQztJQUN2QixnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQztJQUNuQyxTQUFTLEVBQUUsTUFBTSxDQUFDO0NBQ25CLENBQUM7QUFFRix3QkFBZ0Isb0JBQW9CLENBQUMsZ0JBQWdCLENBQUMsRUFBRSxnQkFBZ0IsR0FBRyxNQUFNLEdBQUcsY0FBYyxDQVFqRztBQUVELGVBQU8sTUFBTSxvQkFBb0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFNL0IsQ0FBQztBQUVILHdCQUFnQix1QkFBdUIsQ0FBQyxJQUFJLEVBQUUsY0FBYyxHQUFHLE1BQU0sQ0FFcEU7QUFFRCx3QkFBZ0IseUJBQXlCLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsY0FBYyxDQVN2RiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_info.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint_info.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAEhB,UAAU,EAEX,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,MAAM,cAAc,GAAG;IAC3B,OAAO,EAAE,EAAE,CAAC;IACZ,WAAW,EAAE,EAAE,CAAC;IAChB,UAAU,EAAE,UAAU,CAAC;IACvB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,wBAAgB,oBAAoB,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,GAAG,MAAM,GAAG,cAAc,CAQjG;AAED,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;EAM/B,CAAC;AAEH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAEpE;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,cAAc,CASvF"}

package/dest/checkpoint/checkpoint_info.js

@@ -0,0 +1,34 @@
+import { CheckpointNumber, CheckpointNumberSchema, SlotNumber, SlotNumberSchema } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { schemas } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { z } from 'zod';
+export function randomCheckpointInfo(checkpointNumber) {
+    return {
+        archive: Fr.random(),
+        lastArchive: Fr.random(),
+        slotNumber: SlotNumber(Math.floor(Math.random() * 100000) + 1),
+        checkpointNumber: CheckpointNumber(checkpointNumber ?? Math.floor(Math.random() * 100000) + 1),
+        timestamp: BigInt(Math.floor(Date.now() / 1000))
+    };
+}
+export const CheckpointInfoSchema = z.object({
+    archive: schemas.Fr,
+    lastArchive: schemas.Fr,
+    slotNumber: SlotNumberSchema,
+    checkpointNumber: CheckpointNumberSchema,
+    timestamp: schemas.BigInt
+});
+export function serializeCheckpointInfo(info) {
+    return serializeToBuffer(info.archive, info.lastArchive, info.slotNumber, info.checkpointNumber, info.timestamp);
+}
+export function deserializeCheckpointInfo(buffer) {
+    const reader = BufferReader.asReader(buffer);
+    return {
+        archive: reader.readObject(Fr),
+        lastArchive: reader.readObject(Fr),
+        slotNumber: SlotNumber(reader.readNumber()),
+        checkpointNumber: CheckpointNumber(reader.readNumber()),
+        timestamp: reader.readBigInt()
+    };
+}

package/dest/checkpoint/index.d.ts

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

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

@@ -0,0 +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"}

package/dest/checkpoint/index.js

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