@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/block/validate_block_result.d.ts

@@ -0,0 +1,65 @@
+import type { ViemCommitteeAttestations } from '@aztec-labs/ethereum/contracts';
+import { EpochNumber } from '@aztec-labs/foundation/branded-types';
+import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { type ZodFor } from '@aztec-labs/foundation/schemas';
+import { BufferReader } from '@aztec-labs/foundation/serialize';
+import { type CheckpointInfo } from '../checkpoint/checkpoint_info.js';
+import { CommitteeAttestation } from './proposal/committee_attestation.js';
+/** Subtype for invalid checkpoint validation results */
+export type ValidateCheckpointNegativeResult = {
+    valid: false;
+    /** Identifiers from the invalid checkpoint */
+    checkpoint: CheckpointInfo;
+    /** Committee members at the epoch this checkpoint was proposed */
+    committee: EthAddress[];
+    /** Epoch in which this checkpoint was proposed */
+    epoch: EpochNumber;
+    /** Proposer selection seed for the epoch */
+    seed: bigint;
+    /** List of committee members who signed this checkpoint proposal */
+    attestors: EthAddress[];
+    /** Committee attestations for this checkpoint as they were posted to L1 */
+    attestations: CommitteeAttestation[];
+    /**
+     * The exact packed `CommitteeAttestations` tuple as posted to L1 calldata, carried verbatim so the
+     * invalidation evidence is byte-faithful to the stored `attestationsHash`. A repack via
+     * `packAttestations` is not a round-trip inverse of `fromPacked`, so it would diverge from the hash
+     * and revert `invalidateBadAttestation`/`invalidateInsufficientAttestations`. Always populated on the
+     * calldata validation path, the only production source of invalidation evidence.
+     */
+    verbatimAttestations: ViemCommitteeAttestations;
+    /** Reason for the checkpoint being invalid: not enough attestations were posted */
+    reason: 'insufficient-attestations';
+} | {
+    valid: false;
+    /** Identifiers from the invalid checkpoint */
+    checkpoint: CheckpointInfo;
+    /** Committee members at the epoch this checkpoint was proposed */
+    committee: EthAddress[];
+    /** Epoch in which this checkpoint was proposed */
+    epoch: EpochNumber;
+    /** Proposer selection seed for the epoch */
+    seed: bigint;
+    /** List of committee members who signed this checkpoint proposal */
+    attestors: EthAddress[];
+    /** Committee attestations for this checkpoint as they were posted to L1 */
+    attestations: CommitteeAttestation[];
+    /**
+     * The exact packed `CommitteeAttestations` tuple as posted to L1 calldata, carried verbatim so the
+     * invalidation evidence is byte-faithful to the stored `attestationsHash`. See the same field on the
+     * insufficient-attestations variant for why a repack cannot be used.
+     */
+    verbatimAttestations: ViemCommitteeAttestations;
+    /** Reason for the checkpoint being invalid: an invalid attestation was posted */
+    reason: 'invalid-attestation';
+    /** Index in the attestations array of the invalid attestation posted */
+    invalidIndex: number;
+};
+/** Result type for validating checkpoint attestations */
+export type ValidateCheckpointResult = {
+    valid: true;
+} | ValidateCheckpointNegativeResult;
+export declare const ValidateCheckpointResultSchema: ZodFor<ValidateCheckpointResult>;
+export declare function serializeValidateCheckpointResult(result: ValidateCheckpointResult): Buffer;
+export declare function deserializeValidateCheckpointResult(bufferOrReader: Buffer | BufferReader): ValidateCheckpointResult;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdGVfYmxvY2tfcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvY2svdmFsaWRhdGVfYmxvY2tfcmVzdWx0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDaEYsT0FBTyxFQUFFLFdBQVcsRUFBcUIsTUFBTSxzQ0FBc0MsQ0FBQztBQUN0RixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDaEUsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFXLE1BQU0sZ0NBQWdDLENBQUM7QUFDdEUsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSxrQ0FBa0MsQ0FBQztBQUluRixPQUFPLEVBQ0wsS0FBSyxjQUFjLEVBSXBCLE1BQU0sa0NBQWtDLENBQUM7QUFFMUMsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFM0Usd0RBQXdEO0FBQ3hELE1BQU0sTUFBTSxnQ0FBZ0MsR0FDeEM7SUFDRSxLQUFLLEVBQUUsS0FBSyxDQUFDO0lBQ2IsOENBQThDO0lBQzlDLFVBQVUsRUFBRSxjQUFjLENBQUM7SUFDM0Isa0VBQWtFO0lBQ2xFLFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QixrREFBa0Q7SUFDbEQsS0FBSyxFQUFFLFdBQVcsQ0FBQztJQUNuQiw0Q0FBNEM7SUFDNUMsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiLG9FQUFvRTtJQUNwRSxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsMkVBQTJFO0lBQzNFLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDOzs7Ozs7T0FNRztJQUNILG9CQUFvQixFQUFFLHlCQUF5QixDQUFDO0lBQ2hELG1GQUFtRjtJQUNuRixNQUFNLEVBQUUsMkJBQTJCLENBQUM7Q0FDckMsR0FDRDtJQUNFLEtBQUssRUFBRSxLQUFLLENBQUM7SUFDYiw4Q0FBOEM7SUFDOUMsVUFBVSxFQUFFLGNBQWMsQ0FBQztJQUMzQixrRUFBa0U7SUFDbEUsU0FBUyxFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ3hCLGtEQUFrRDtJQUNsRCxLQUFLLEVBQUUsV0FBVyxDQUFDO0lBQ25CLDRDQUE0QztJQUM1QyxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ2Isb0VBQW9FO0lBQ3BFLFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QiwyRUFBMkU7SUFDM0UsWUFBWSxFQUFFLG9CQUFvQixFQUFFLENBQUM7SUFDckM7Ozs7T0FJRztJQUNILG9CQUFvQixFQUFFLHlCQUF5QixDQUFDO0lBQ2hELGlGQUFpRjtJQUNqRixNQUFNLEVBQUUscUJBQXFCLENBQUM7SUFDOUIsd0VBQXdFO0lBQ3hFLFlBQVksRUFBRSxNQUFNLENBQUM7Q0FDdEIsQ0FBQztBQUVOLHlEQUF5RDtBQUN6RCxNQUFNLE1BQU0sd0JBQXdCLEdBQUc7SUFBRSxLQUFLLEVBQUUsSUFBSSxDQUFBO0NBQUUsR0FBRyxnQ0FBZ0MsQ0FBQztBQVExRixlQUFPLE1BQU0sOEJBQThCLEVBQUUsTUFBTSxDQUFDLHdCQUF3QixDQXlCMUUsQ0FBQztBQUVILHdCQUFnQixpQ0FBaUMsQ0FBQyxNQUFNLEVBQUUsd0JBQXdCLEdBQUcsTUFBTSxDQTJCMUY7QUFFRCx3QkFBZ0IsbUNBQW1DLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsd0JBQXdCLENBc0NuSCJ9

package/dest/block/validate_block_result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate_block_result.d.ts","sourceRoot":"","sources":["../../src/block/validate_block_result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,WAAW,EAAqB,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAInF,OAAO,EACL,KAAK,cAAc,EAIpB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,wDAAwD;AACxD,MAAM,MAAM,gCAAgC,GACxC;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;;;;;;OAMG;IACH,oBAAoB,EAAE,yBAAyB,CAAC;IAChD,mFAAmF;IACnF,MAAM,EAAE,2BAA2B,CAAC;CACrC,GACD;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;;;;OAIG;IACH,oBAAoB,EAAE,yBAAyB,CAAC;IAChD,iFAAiF;IACjF,MAAM,EAAE,qBAAqB,CAAC;IAC9B,wEAAwE;IACxE,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,yDAAyD;AACzD,MAAM,MAAM,wBAAwB,GAAG;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG,gCAAgC,CAAC;AAQ1F,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,wBAAwB,CAyB1E,CAAC;AAEH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,wBAAwB,GAAG,MAAM,CA2B1F;AAED,wBAAgB,mCAAmC,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,wBAAwB,CAsCnH"}

package/dest/block/validate_block_result.js

@@ -0,0 +1,100 @@
+import { EpochNumber, EpochNumberSchema } from '@aztec-labs/foundation/branded-types';
+import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { schemas } from '@aztec-labs/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+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';
+/** Zod schema for the raw packed `CommitteeAttestations` viem tuple (two 0x-prefixed hex strings). */ const ViemCommitteeAttestationsSchema = z.object({
+    signatureIndices: schemas.HexStringWith0x,
+    signaturesOrAddresses: schemas.HexStringWith0x
+});
+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),
+        verbatimAttestations: ViemCommitteeAttestationsSchema,
+        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),
+        verbatimAttestations: ViemCommitteeAttestationsSchema,
+        reason: z.literal('invalid-attestation'),
+        invalidIndex: z.number()
+    })
+]);
+export function serializeValidateCheckpointResult(result) {
+    if (result.valid) {
+        return serializeToBuffer(true);
+    }
+    const checkpointBuffer = serializeCheckpointInfo(result.checkpoint);
+    const signatureIndices = hexToBuffer(result.verbatimAttestations.signatureIndices);
+    const signaturesOrAddresses = hexToBuffer(result.verbatimAttestations.signaturesOrAddresses);
+    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, signatureIndices.length, signatureIndices, signaturesOrAddresses.length, signaturesOrAddresses);
+}
+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();
+    const verbatimAttestations = {
+        signatureIndices: bufferToHex(reader.readBuffer()),
+        signaturesOrAddresses: bufferToHex(reader.readBuffer())
+    };
+    if (reason === 'insufficient-attestations') {
+        return {
+            valid,
+            reason,
+            checkpoint,
+            committee,
+            epoch,
+            seed,
+            attestors,
+            attestations,
+            verbatimAttestations
+        };
+    } else if (reason === 'invalid-attestation') {
+        return {
+            valid,
+            reason,
+            checkpoint,
+            committee,
+            epoch,
+            seed,
+            attestors,
+            invalidIndex,
+            attestations,
+            verbatimAttestations
+        };
+    } else {
+        const _ = reason;
+        throw new Error(`Unknown reason: ${reason}`);
+    }
+}

package/dest/checkpoint/checkpoint.d.ts

@@ -0,0 +1,112 @@
+import { CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader } from '@aztec-labs/foundation/serialize';
+import type { FieldsOf } from '@aztec-labs/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;
+    /** Fee asset price modifier in basis points (from oracle). Defaults to 0 (no change). */
+    feeAssetPriceModifier: bigint;
+    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, 
+    /** Fee asset price modifier in basis points (from oracle). Defaults to 0 (no change). */
+    feeAssetPriceModifier?: bigint);
+    get slot(): SlotNumber;
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        archive: z.ZodPipe<z.ZodObject<{
+            root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+            root: Fr;
+            nextAvailableLeafIndex: number;
+        }>>;
+        header: import("../schemas/schemas.js").ZodFor<CheckpointHeader>;
+        blocks: z.ZodArray<z.ZodPipe<z.ZodObject<{
+            archive: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+                root: Fr;
+                nextAvailableLeafIndex: number;
+            }>>;
+            header: import("../schemas/schemas.js").ZodFor<import("../tx/block_header.js").BlockHeader>;
+            body: import("../schemas/schemas.js").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<CheckpointNumber, number>>;
+            indexWithinCheckpoint: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<IndexWithinCheckpoint, number>>;
+        }, z.core.$strip>, z.ZodTransform<L2Block, {
+            archive: AppendOnlyTreeSnapshot;
+            header: import("../tx/block_header.js").BlockHeader;
+            body: import("../block/body.js").Body;
+            checkpointNumber: CheckpointNumber;
+            indexWithinCheckpoint: IndexWithinCheckpoint;
+        }>>>;
+        number: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<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: AppendOnlyTreeSnapshot;
+        header: CheckpointHeader;
+        blocks: L2Block[];
+        number: CheckpointNumber;
+        feeAssetPriceModifier: bigint;
+    }>>;
+    static from(fields: FieldsOfCheckpoint): Checkpoint;
+    static getFields(fields: FieldsOfCheckpoint): readonly [AppendOnlyTreeSnapshot, CheckpointHeader, L2Block[], CheckpointNumber, bigint];
+    static fromBuffer(buf: Buffer | BufferReader): Checkpoint;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    toBlobFields(): Fr[];
+    hash(): Fr;
+    /**
+     * 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(): Fr;
+    /**
+     * 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: L2Block[]): 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, feeAssetPriceModifier, ...options }?: {
+        numBlocks?: number;
+        startBlockNumber?: number;
+        previousArchive?: AppendOnlyTreeSnapshot;
+        feeAssetPriceModifier?: bigint;
+        archive?: AppendOnlyTreeSnapshot;
+    } & Partial<Parameters<typeof CheckpointHeader.random>[0]> & Partial<Parameters<typeof L2Block.random>[1]>): Promise<Checkpoint>;
+}
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NoZWNrcG9pbnQvY2hlY2twb2ludC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBRUwsZ0JBQWdCLEVBRWhCLHFCQUFxQixFQUNyQixVQUFVLEVBQ1gsTUFBTSxzQ0FBc0MsQ0FBQztBQUU5QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDekQsT0FBTyxFQUFFLFlBQVksRUFBNEMsTUFBTSxrQ0FBa0MsQ0FBQztBQUMxRyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUM3RCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUcvQyxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUUzRCxLQUFLLGtCQUFrQixHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsVUFBVSxDQUFDLEVBQUUsTUFBTSxDQUFDLENBQUM7QUFFN0QscUJBQWEsVUFBVTtJQUVuQiw4REFBOEQ7SUFDdkQsT0FBTyxFQUFFLHNCQUFzQjtJQUN0QyxnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQixtQ0FBbUM7SUFDNUIsTUFBTSxFQUFFLE9BQU8sRUFBRTtJQUN4QixnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQix5RkFBeUY7SUFDbEYscUJBQXFCLEVBQUUsTUFBTTtJQVZ0QztJQUNFLDhEQUE4RDtJQUN2RCxPQUFPLEVBQUUsc0JBQXNCO0lBQ3RDLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCO0lBQy9CLG1DQUFtQztJQUM1QixNQUFNLEVBQUUsT0FBTyxFQUFFO0lBQ3hCLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCO0lBQy9CLHlGQUF5RjtJQUNsRixxQkFBcUIsR0FBRSxNQUFXLEVBQ3ZDO0lBRUosSUFBSSxJQUFJLElBQUksVUFBVSxDQUVyQjtJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFhaEI7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsY0FFckM7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsNEZBRTFDO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLFlBQVksY0FRM0M7SUFFTSxRQUFRLDRCQVNkO0lBRU0sWUFBWSxJQUFJLEVBQUUsRUFBRSxDQUcxQjtJQUVNLElBQUksSUFBSSxFQUFFLENBRWhCO0lBRUQ7Ozs7T0FJRztJQUNJLG9CQUFvQixJQUFJLEVBQUUsQ0FFaEM7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLG9CQUFvQixDQUFDLE1BQU0sRUFBRSxPQUFPLEVBQUUsR0FBRyxFQUFFLENBR2pEO0lBRU0sUUFBUSxzREFFZDtJQUVNLGdCQUFnQixJQUFJLGNBQWMsQ0FReEM7SUFFRCxxQ0FBcUM7SUFDOUIsUUFBUTs7Ozs7Ozs7OztNQWtCZDtJQUVELE9BQWEsTUFBTSxDQUNqQixnQkFBZ0IsbUJBQXNCLEVBQ3RDLEVBQ0UsU0FBYSxFQUNiLGdCQUFvQixFQUNwQixlQUFlLEVBQ2YscUJBQTBCLEVBQzFCLEdBQUcsT0FBTyxFQUNYLEdBQUU7UUFDRCxTQUFTLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDbkIsZ0JBQWdCLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDMUIsZUFBZSxDQUFDLEVBQUUsc0JBQXNCLENBQUM7UUFDekMscUJBQXFCLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDL0IsT0FBTyxDQUFDLEVBQUUsc0JBQXNCLENBQUM7S0FDbEMsR0FBRyxPQUFPLENBQUMsVUFBVSxDQUFDLE9BQU8sZ0JBQWdCLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FDeEQsT0FBTyxDQUFDLFVBQVUsQ0FBQyxPQUFPLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBTSx1QkE0QnJEO0NBQ0YifQ==

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,sCAAsC,CAAC;AAE9C,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,YAAY,EAA4C,MAAM,kCAAkC,CAAC;AAC1G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAG/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAElE,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;IAC/B,yFAAyF;IAClF,qBAAqB,EAAE,MAAM;IAVtC;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;IAC/B,yFAAyF;IAClF,qBAAqB,GAAE,MAAW,EACvC;IAEJ,IAAI,IAAI,IAAI,UAAU,CAErB;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAahB;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,kBAAkB,cAErC;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,kBAAkB,4FAE1C;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,cAQ3C;IAEM,QAAQ,4BASd;IAEM,YAAY,IAAI,EAAE,EAAE,CAG1B;IAEM,IAAI,IAAI,EAAE,CAEhB;IAED;;;;OAIG;IACI,oBAAoB,IAAI,EAAE,CAEhC;IAED;;;;OAIG;IACH,MAAM,CAAC,oBAAoB,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAGjD;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,qBAA0B,EAC1B,GAAG,OAAO,EACX,GAAE;QACD,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,gBAAgB,CAAC,EAAE,MAAM,CAAC;QAC1B,eAAe,CAAC,EAAE,sBAAsB,CAAC;QACzC,qBAAqB,CAAC,EAAE,MAAM,CAAC;QAC/B,OAAO,CAAC,EAAE,sBAAsB,CAAC;KAClC,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,uBA4BrD;CACF"}

package/dest/checkpoint/checkpoint.js

@@ -0,0 +1,137 @@
+import { encodeCheckpointBlobDataFromBlocks } from '@aztec-labs/blob-lib/encoding';
+import { BlockNumber, CheckpointNumber, CheckpointNumberSchema, IndexWithinCheckpoint } from '@aztec-labs/foundation/branded-types';
+import { pick, sum } from '@aztec-labs/foundation/collection';
+import { BufferReader, serializeSignedBigInt, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { z } from 'zod';
+import { L2Block } from '../block/l2_block.js';
+import { MAX_CAPACITY_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;
+    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;
+    }
+    static get schema() {
+        return z.object({
+            archive: AppendOnlyTreeSnapshot.schema,
+            header: CheckpointHeader.schema,
+            blocks: z.array(L2Block.schema),
+            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));
+    }
+    static getFields(fields) {
+        return [
+            fields.archive,
+            fields.header,
+            fields.blocks,
+            fields.number,
+            fields.feeAssetPriceModifier
+        ];
+    }
+    static fromBuffer(buf) {
+        const reader = BufferReader.asReader(buf);
+        const archive = reader.readObject(AppendOnlyTreeSnapshot);
+        const header = reader.readObject(CheckpointHeader);
+        const blocks = reader.readVector(L2Block, MAX_CAPACITY_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, serializeSignedBigInt(this.feeAssetPriceModifier));
+    }
+    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() {
+        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() {
+        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, 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(options.archive ?? AppendOnlyTreeSnapshot.random(), header, blocks, checkpointNumber, feeAssetPriceModifier);
+    }
+}

package/dest/checkpoint/checkpoint_data.d.ts

@@ -0,0 +1,109 @@
+import { BlockNumber, CheckpointNumber } from '@aztec-labs/foundation/branded-types';
+import { Fr } from '@aztec-labs/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;
+    /** Fee asset price modifier in basis points. Defaults to 0 (no change) when not explicitly set. */
+    feeAssetPriceModifier: bigint;
+};
+/** Data stored only with proposed checkpoint data  */
+export type ProposedOnlyCheckpointData = {
+    totalManaUsed: bigint;
+    feeAssetPriceModifier: bigint;
+};
+/** Inbox consumption record of a proposed checkpoint, mirroring what `propose` writes for it on L1. */
+export type ProposedInboxConsumption = {
+    /**
+     * Cumulative Inbox message count consumed as of this checkpoint: its last block's L1-to-L2 message tree leaf count
+     * under compact indexing. L1 records this per checkpoint and reads it back as the parent total
+     * when validating the next checkpoint's consumption, so a simulation against a not-yet-mined parent must override
+     * the parent's cell with it — otherwise the parent reads as having consumed nothing and the child's consumption
+     * looks larger than it is.
+     */
+    inboxMsgTotal: 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 & ProposedInboxConsumption;
+export declare const ProposedCheckpointDataSchema: z.ZodObject<{
+    checkpointNumber: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<CheckpointNumber, number>>;
+    header: import("@aztec-labs/foundation/schemas").ZodFor<CheckpointHeader>;
+    archive: z.ZodPipe<z.ZodObject<{
+        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+        root: Fr;
+        nextAvailableLeafIndex: number;
+    }>>;
+    checkpointOutHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+    startBlock: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<BlockNumber, number>>;
+    blockCount: z.ZodNumber;
+    totalManaUsed: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    feeAssetPriceModifier: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    inboxMsgTotal: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+}, z.core.$strip>;
+export declare const CheckpointDataSchema: z.ZodPipe<z.ZodObject<{
+    checkpointNumber: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<CheckpointNumber, number>>;
+    header: import("@aztec-labs/foundation/schemas").ZodFor<CheckpointHeader>;
+    archive: z.ZodPipe<z.ZodObject<{
+        root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+    }, z.core.$strip>, z.ZodTransform<AppendOnlyTreeSnapshot, {
+        root: Fr;
+        nextAvailableLeafIndex: number;
+    }>>;
+    checkpointOutHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+    startBlock: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<BlockNumber, number>>;
+    blockCount: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+    feeAssetPriceModifier: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    attestations: z.ZodArray<z.ZodPipe<z.ZodObject<{
+        address: z.ZodType<import("@aztec-labs/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec-labs/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-labs/foundation/eth-address").EthAddress;
+        signature: import("../block/proposal/committee_attestation.js").Signature;
+    }>>>;
+    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;
+    }>>;
+}, z.core.$strip>, z.ZodTransform<CheckpointData, {
+    checkpointNumber: CheckpointNumber;
+    header: CheckpointHeader;
+    archive: AppendOnlyTreeSnapshot;
+    checkpointOutHash: Fr;
+    startBlock: BlockNumber;
+    blockCount: number;
+    feeAssetPriceModifier: bigint;
+    attestations: CommitteeAttestation[];
+    l1: L1PublishedData;
+}>>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFFWCxnQkFBZ0IsRUFFakIsTUFBTSxzQ0FBc0MsQ0FBQztBQUM5QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFekQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUNsRixPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFNUQsb0NBQW9DO0FBQ3BDLE1BQU0sTUFBTSxvQkFBb0IsR0FBRztJQUNqQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQztJQUNuQyxNQUFNLEVBQUUsZ0JBQWdCLENBQUM7SUFDekIsVUFBVSxFQUFFLFdBQVcsQ0FBQztJQUN4QixVQUFVLEVBQUUsTUFBTSxDQUFDO0NBQ3BCLENBQUM7QUFFRiw4REFBOEQ7QUFDOUQsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQ3JDLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLEVBQUUsRUFBRSxlQUFlLENBQUM7Q0FDckIsQ0FBQztBQUVGLHVEQUF1RDtBQUN2RCxNQUFNLE1BQU0sNkJBQTZCLEdBQUc7SUFDMUMsT0FBTyxFQUFFLHNCQUFzQixDQUFDO0lBQ2hDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQztJQUN0QixtR0FBbUc7SUFDbkcscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0NBQy9CLENBQUM7QUFFRixzREFBc0Q7QUFDdEQsTUFBTSxNQUFNLDBCQUEwQixHQUFHO0lBQ3ZDLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0NBQy9CLENBQUM7QUFFRix1R0FBdUc7QUFDdkcsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQ3JDOzs7Ozs7T0FNRztJQUNILGFBQWEsRUFBRSxNQUFNLENBQUM7Q0FDdkIsQ0FBQztBQUVGLCtEQUErRDtBQUMvRCxNQUFNLE1BQU0sY0FBYyxHQUFHLG9CQUFvQixHQUFHLDZCQUE2QixHQUFHLHdCQUF3QixDQUFDO0FBRTdHOzREQUM0RDtBQUM1RCxNQUFNLE1BQU0sdUJBQXVCLEdBQUcsb0JBQW9CLEdBQUcsMEJBQTBCLENBQUM7QUFFeEY7OEZBQzhGO0FBQzlGLE1BQU0sTUFBTSxzQkFBc0IsR0FBRyx1QkFBdUIsR0FBRyw2QkFBNkIsR0FBRyx3QkFBd0IsQ0FBQztBQUV4SCxlQUFPLE1BQU0sNEJBQTRCOzs7Ozs7Ozs7Ozs7Ozs7O2lCQVV2QyxDQUFDO0FBRUgsZUFBTyxNQUFNLG9CQUFvQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztHQXdCOUIsQ0FBQyJ9

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,sCAAsC,CAAC;AAC9C,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,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;IACtB,mGAAmG;IACnG,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,sDAAsD;AACtD,MAAM,MAAM,0BAA0B,GAAG;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,uGAAuG;AACvG,MAAM,MAAM,wBAAwB,GAAG;IACrC;;;;;;OAMG;IACH,aAAa,EAAE,MAAM,CAAC;CACvB,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,GAAG,wBAAwB,CAAC;AAExH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;iBAUvC,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwB9B,CAAC"}

package/dest/checkpoint/checkpoint_data.js

@@ -0,0 +1,39 @@
+import { BlockNumberSchema, CheckpointNumberSchema } from '@aztec-labs/foundation/branded-types';
+import { schemas } from '@aztec-labs/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,
+    inboxMsgTotal: schemas.BigInt
+});
+export const CheckpointDataSchema = z.object({
+    checkpointNumber: CheckpointNumberSchema,
+    header: CheckpointHeader.schema,
+    archive: AppendOnlyTreeSnapshot.schema,
+    checkpointOutHash: schemas.Fr,
+    startBlock: BlockNumberSchema,
+    blockCount: schemas.Integer,
+    feeAssetPriceModifier: schemas.BigInt,
+    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,
+        feeAssetPriceModifier: obj.feeAssetPriceModifier,
+        attestations: obj.attestations,
+        l1: obj.l1
+    }));

package/dest/checkpoint/checkpoint_info.d.ts

@@ -0,0 +1,22 @@
+import { CheckpointNumber, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader } from '@aztec-labs/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, string, z.core.$ZodTypeInternals<Fr, string>>;
+    lastArchive: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+    slotNumber: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<SlotNumber, number>>;
+    checkpointNumber: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<CheckpointNumber, number>>;
+    timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+}, z.core.$strip>;
+export declare function serializeCheckpointInfo(info: CheckpointInfo): Buffer;
+export declare function deserializeCheckpointInfo(buffer: Buffer | BufferReader): CheckpointInfo;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9pbmZvLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2luZm8udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLGdCQUFnQixFQUVoQixVQUFVLEVBRVgsTUFBTSxzQ0FBc0MsQ0FBQztBQUM5QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFekQsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSxrQ0FBa0MsQ0FBQztBQUNuRixPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE1BQU0sTUFBTSxjQUFjLEdBQUc7SUFDM0IsT0FBTyxFQUFFLEVBQUUsQ0FBQztJQUNaLFdBQVcsRUFBRSxFQUFFLENBQUM7SUFDaEIsVUFBVSxFQUFFLFVBQVUsQ0FBQztJQUN2QixnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQztJQUNuQyxTQUFTLEVBQUUsTUFBTSxDQUFDO0NBQ25CLENBQUM7QUFFRix3QkFBZ0Isb0JBQW9CLENBQUMsZ0JBQWdCLENBQUMsRUFBRSxnQkFBZ0IsR0FBRyxNQUFNLEdBQUcsY0FBYyxDQVFqRztBQUVELGVBQU8sTUFBTSxvQkFBb0I7Ozs7OztpQkFNL0IsQ0FBQztBQUVILHdCQUFnQix1QkFBdUIsQ0FBQyxJQUFJLEVBQUUsY0FBYyxHQUFHLE1BQU0sQ0FFcEU7QUFFRCx3QkFBZ0IseUJBQXlCLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsY0FBYyxDQVN2RiJ9

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,sCAAsC,CAAC;AAC9C,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AACnF,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;;;;;;iBAM/B,CAAC;AAEH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAEpE;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,cAAc,CASvF"}