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

package/dest/block/validate_block_result.d.ts

@@ -1,222 +1,50 @@
+import { EpochNumber } from '@aztec/foundation/branded-types';
 import { EthAddress } from '@aztec/foundation/eth-address';
+import { type ZodFor } from '@aztec/foundation/schemas';
 import { BufferReader } from '@aztec/foundation/serialize';
-import { z } from 'zod';
-import { type L2BlockInfo } from './l2_block_info.js';
+import { type CheckpointInfo } from '../checkpoint/checkpoint_info.js';
 import { CommitteeAttestation } from './proposal/committee_attestation.js';
-/** Subtype for invalid block validation results */
-export type ValidateBlockNegativeResult = {
+/** Subtype for invalid checkpoint validation results */
+export type ValidateCheckpointNegativeResult = {
     valid: false;
-    /** Identifiers from the invalid block */
-    block: L2BlockInfo;
-    /** Committee members at the epoch this block was proposed */
+    /** Identifiers from the invalid checkpoint */
+    checkpoint: CheckpointInfo;
+    /** Committee members at the epoch this checkpoint was proposed */
     committee: EthAddress[];
-    /** Epoch in which this block was proposed */
-    epoch: bigint;
+    /** Epoch in which this checkpoint was proposed */
+    epoch: EpochNumber;
     /** Proposer selection seed for the epoch */
     seed: bigint;
-    /** List of committee members who signed this block proposal */
+    /** List of committee members who signed this checkpoint proposal */
     attestors: EthAddress[];
-    /** Committee attestations for this block as they were posted to L1 */
+    /** Committee attestations for this checkpoint as they were posted to L1 */
     attestations: CommitteeAttestation[];
-    /** Reason for the block being invalid: not enough attestations were posted */
+    /** Reason for the checkpoint being invalid: not enough attestations were posted */
     reason: 'insufficient-attestations';
 } | {
     valid: false;
-    /** Identifiers from the invalid block */
-    block: L2BlockInfo;
-    /** Committee members at the epoch this block was proposed */
+    /** Identifiers from the invalid checkpoint */
+    checkpoint: CheckpointInfo;
+    /** Committee members at the epoch this checkpoint was proposed */
     committee: EthAddress[];
-    /** Epoch in which this block was proposed */
-    epoch: bigint;
+    /** Epoch in which this checkpoint was proposed */
+    epoch: EpochNumber;
     /** Proposer selection seed for the epoch */
     seed: bigint;
-    /** List of committee members who signed this block proposal */
+    /** List of committee members who signed this checkpoint proposal */
     attestors: EthAddress[];
-    /** Committee attestations for this block as they were posted to L1 */
+    /** Committee attestations for this checkpoint as they were posted to L1 */
     attestations: CommitteeAttestation[];
-    /** Reason for the block being invalid: an invalid attestation was posted */
+    /** 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 a block attestations */
-export type ValidateBlockResult = {
+/** Result type for validating checkpoint attestations */
+export type ValidateCheckpointResult = {
     valid: true;
-} | ValidateBlockNegativeResult;
-export declare const ValidateBlockResultSchema: z.ZodUnion<[z.ZodObject<{
-    valid: z.ZodLiteral<true>;
-}, "strip", z.ZodTypeAny, {
-    valid: true;
-}, {
-    valid: true;
-}>, z.ZodObject<{
-    valid: z.ZodLiteral<false>;
-    block: z.ZodObject<{
-        blockHash: z.ZodOptional<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>>;
-        archive: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-        lastArchive: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-        blockNumber: z.ZodNumber;
-        slotNumber: z.ZodNumber;
-        txCount: z.ZodNumber;
-        timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    }, "strip", z.ZodTypeAny, {
-        blockNumber: number;
-        slotNumber: number;
-        timestamp: bigint;
-        lastArchive: import("@aztec/foundation/schemas").Fr;
-        archive: import("@aztec/foundation/schemas").Fr;
-        txCount: number;
-        blockHash?: import("@aztec/foundation/schemas").Fr | undefined;
-    }, {
-        blockNumber: number;
-        slotNumber: number;
-        timestamp: string | number | bigint;
-        lastArchive: string;
-        archive: string;
-        txCount: number;
-        blockHash?: string | undefined;
-    }>;
-    committee: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
-    epoch: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    seed: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    attestors: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
-    attestations: z.ZodArray<z.ZodEffects<z.ZodObject<{
-        address: z.ZodType<EthAddress, any, string>;
-        signature: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, `0x${string}`, string>, `0x${string}`, string>, import("./proposal/committee_attestation.js").Signature, string>;
-    }, "strip", z.ZodTypeAny, {
-        address: EthAddress;
-        signature: import("./proposal/committee_attestation.js").Signature;
-    }, {
-        address: string;
-        signature: string;
-    }>, CommitteeAttestation, {
-        address: string;
-        signature: string;
-    }>, "many">;
-    reason: z.ZodLiteral<"insufficient-attestations">;
-}, "strip", z.ZodTypeAny, {
-    valid: false;
-    block: {
-        blockNumber: number;
-        slotNumber: number;
-        timestamp: bigint;
-        lastArchive: import("@aztec/foundation/schemas").Fr;
-        archive: import("@aztec/foundation/schemas").Fr;
-        txCount: number;
-        blockHash?: import("@aztec/foundation/schemas").Fr | undefined;
-    };
-    attestations: CommitteeAttestation[];
-    committee: EthAddress[];
-    epoch: bigint;
-    seed: bigint;
-    attestors: EthAddress[];
-    reason: "insufficient-attestations";
-}, {
-    valid: false;
-    block: {
-        blockNumber: number;
-        slotNumber: number;
-        timestamp: string | number | bigint;
-        lastArchive: string;
-        archive: string;
-        txCount: number;
-        blockHash?: string | undefined;
-    };
-    attestations: {
-        address: string;
-        signature: string;
-    }[];
-    committee: string[];
-    epoch: string | number | bigint;
-    seed: string | number | bigint;
-    attestors: string[];
-    reason: "insufficient-attestations";
-}>, z.ZodObject<{
-    valid: z.ZodLiteral<false>;
-    block: z.ZodObject<{
-        blockHash: z.ZodOptional<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>>;
-        archive: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-        lastArchive: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
-        blockNumber: z.ZodNumber;
-        slotNumber: z.ZodNumber;
-        txCount: z.ZodNumber;
-        timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    }, "strip", z.ZodTypeAny, {
-        blockNumber: number;
-        slotNumber: number;
-        timestamp: bigint;
-        lastArchive: import("@aztec/foundation/schemas").Fr;
-        archive: import("@aztec/foundation/schemas").Fr;
-        txCount: number;
-        blockHash?: import("@aztec/foundation/schemas").Fr | undefined;
-    }, {
-        blockNumber: number;
-        slotNumber: number;
-        timestamp: string | number | bigint;
-        lastArchive: string;
-        archive: string;
-        txCount: number;
-        blockHash?: string | undefined;
-    }>;
-    committee: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
-    epoch: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    seed: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-    attestors: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
-    attestations: z.ZodArray<z.ZodEffects<z.ZodObject<{
-        address: z.ZodType<EthAddress, any, string>;
-        signature: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, `0x${string}`, string>, `0x${string}`, string>, import("./proposal/committee_attestation.js").Signature, string>;
-    }, "strip", z.ZodTypeAny, {
-        address: EthAddress;
-        signature: import("./proposal/committee_attestation.js").Signature;
-    }, {
-        address: string;
-        signature: string;
-    }>, CommitteeAttestation, {
-        address: string;
-        signature: string;
-    }>, "many">;
-    reason: z.ZodLiteral<"invalid-attestation">;
-    invalidIndex: z.ZodNumber;
-}, "strip", z.ZodTypeAny, {
-    valid: false;
-    block: {
-        blockNumber: number;
-        slotNumber: number;
-        timestamp: bigint;
-        lastArchive: import("@aztec/foundation/schemas").Fr;
-        archive: import("@aztec/foundation/schemas").Fr;
-        txCount: number;
-        blockHash?: import("@aztec/foundation/schemas").Fr | undefined;
-    };
-    attestations: CommitteeAttestation[];
-    committee: EthAddress[];
-    epoch: bigint;
-    seed: bigint;
-    attestors: EthAddress[];
-    reason: "invalid-attestation";
-    invalidIndex: number;
-}, {
-    valid: false;
-    block: {
-        blockNumber: number;
-        slotNumber: number;
-        timestamp: string | number | bigint;
-        lastArchive: string;
-        archive: string;
-        txCount: number;
-        blockHash?: string | undefined;
-    };
-    attestations: {
-        address: string;
-        signature: string;
-    }[];
-    committee: string[];
-    epoch: string | number | bigint;
-    seed: string | number | bigint;
-    attestors: string[];
-    reason: "invalid-attestation";
-    invalidIndex: number;
-}>]>;
-export declare function serializeValidateBlockResult(result: ValidateBlockResult): Buffer;
-export declare function deserializeValidateBlockResult(bufferOrReader: Buffer | BufferReader): ValidateBlockResult;
-//# sourceMappingURL=validate_block_result.d.ts.map
+} | 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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdGVfYmxvY2tfcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvY2svdmFsaWRhdGVfYmxvY2tfcmVzdWx0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQXFCLE1BQU0saUNBQWlDLENBQUM7QUFDakYsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQzNELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBVyxNQUFNLDJCQUEyQixDQUFDO0FBQ2pFLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFJOUUsT0FBTyxFQUNMLEtBQUssY0FBYyxFQUlwQixNQUFNLGtDQUFrQyxDQUFDO0FBRTFDLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBRTNFLHdEQUF3RDtBQUN4RCxNQUFNLE1BQU0sZ0NBQWdDLEdBQ3hDO0lBQ0UsS0FBSyxFQUFFLEtBQUssQ0FBQztJQUNiLDhDQUE4QztJQUM5QyxVQUFVLEVBQUUsY0FBYyxDQUFDO0lBQzNCLGtFQUFrRTtJQUNsRSxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsa0RBQWtEO0lBQ2xELEtBQUssRUFBRSxXQUFXLENBQUM7SUFDbkIsNENBQTRDO0lBQzVDLElBQUksRUFBRSxNQUFNLENBQUM7SUFDYixvRUFBb0U7SUFDcEUsU0FBUyxFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ3hCLDJFQUEyRTtJQUMzRSxZQUFZLEVBQUUsb0JBQW9CLEVBQUUsQ0FBQztJQUNyQyxtRkFBbUY7SUFDbkYsTUFBTSxFQUFFLDJCQUEyQixDQUFDO0NBQ3JDLEdBQ0Q7SUFDRSxLQUFLLEVBQUUsS0FBSyxDQUFDO0lBQ2IsOENBQThDO0lBQzlDLFVBQVUsRUFBRSxjQUFjLENBQUM7SUFDM0Isa0VBQWtFO0lBQ2xFLFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QixrREFBa0Q7SUFDbEQsS0FBSyxFQUFFLFdBQVcsQ0FBQztJQUNuQiw0Q0FBNEM7SUFDNUMsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiLG9FQUFvRTtJQUNwRSxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsMkVBQTJFO0lBQzNFLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLGlGQUFpRjtJQUNqRixNQUFNLEVBQUUscUJBQXFCLENBQUM7SUFDOUIsd0VBQXdFO0lBQ3hFLFlBQVksRUFBRSxNQUFNLENBQUM7Q0FDdEIsQ0FBQztBQUVOLHlEQUF5RDtBQUN6RCxNQUFNLE1BQU0sd0JBQXdCLEdBQUc7SUFBRSxLQUFLLEVBQUUsSUFBSSxDQUFBO0NBQUUsR0FBRyxnQ0FBZ0MsQ0FBQztBQUUxRixlQUFPLE1BQU0sOEJBQThCLEVBQUUsTUFBTSxDQUFDLHdCQUF3QixDQXVCMUUsQ0FBQztBQUVILHdCQUFnQixpQ0FBaUMsQ0FBQyxNQUFNLEVBQUUsd0JBQXdCLEdBQUcsTUFBTSxDQXFCMUY7QUFFRCx3QkFBZ0IsbUNBQW1DLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsd0JBQXdCLENBc0JuSCJ9

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

@@ -1 +1 @@
-{"version":3,"file":"validate_block_result.d.ts","sourceRoot":"","sources":["../../src/block/validate_block_result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAmB,KAAK,WAAW,EAA4C,MAAM,oBAAoB,CAAC;AACjH,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,mDAAmD;AACnD,MAAM,MAAM,2BAA2B,GACnC;IACE,KAAK,EAAE,KAAK,CAAC;IACb,yCAAyC;IACzC,KAAK,EAAE,WAAW,CAAC;IACnB,6DAA6D;IAC7D,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC;IACd,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,sEAAsE;IACtE,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,8EAA8E;IAC9E,MAAM,EAAE,2BAA2B,CAAC;CACrC,GACD;IACE,KAAK,EAAE,KAAK,CAAC;IACb,yCAAyC;IACzC,KAAK,EAAE,WAAW,CAAC;IACnB,6DAA6D;IAC7D,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC;IACd,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,sEAAsE;IACtE,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,4EAA4E;IAC5E,MAAM,EAAE,qBAAqB,CAAC;IAC9B,wEAAwE;IACxE,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,sDAAsD;AACtD,MAAM,MAAM,mBAAmB,GAAG;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG,2BAA2B,CAAC;AAEhF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAuBE,CAAC;AAEzC,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,mBAAmB,GAAG,MAAM,CAqBhF;AAED,wBAAgB,8BAA8B,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAsBzG"}
+{"version":3,"file":"validate_block_result.d.ts","sourceRoot":"","sources":["../../src/block/validate_block_result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,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,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,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;AAE1F,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,wBAAwB,CAuB1E,CAAC;AAEH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,wBAAwB,GAAG,MAAM,CAqB1F;AAED,wBAAgB,mCAAmC,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,wBAAwB,CAsBnH"}

package/dest/block/validate_block_result.js

@@ -1,18 +1,20 @@
+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 { BlockInfoSchema, deserializeBlockInfo, serializeBlockInfo } from './l2_block_info.js';
+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 ValidateBlockResultSchema = z.union([
+export const ValidateCheckpointResultSchema = z.union([
     z.object({
         valid: z.literal(true)
     }),
     z.object({
         valid: z.literal(false),
-        block: BlockInfoSchema,
+        checkpoint: CheckpointInfoSchema,
         committee: z.array(schemas.EthAddress),
-        epoch: schemas.BigInt,
+        epoch: EpochNumberSchema,
         seed: schemas.BigInt,
         attestors: z.array(schemas.EthAddress),
         attestations: z.array(CommitteeAttestation.schema),
@@ -20,9 +22,9 @@ export const ValidateBlockResultSchema = z.union([
     }),
     z.object({
         valid: z.literal(false),
-        block: BlockInfoSchema,
+        checkpoint: CheckpointInfoSchema,
         committee: z.array(schemas.EthAddress),
-        epoch: schemas.BigInt,
+        epoch: EpochNumberSchema,
         seed: schemas.BigInt,
         attestors: z.array(schemas.EthAddress),
         attestations: z.array(CommitteeAttestation.schema),
@@ -30,14 +32,14 @@ export const ValidateBlockResultSchema = z.union([
         invalidIndex: z.number()
     })
 ]);
-export function serializeValidateBlockResult(result) {
+export function serializeValidateCheckpointResult(result) {
     if (result.valid) {
         return serializeToBuffer(true);
     }
-    const l2Block = serializeBlockInfo(result.block);
-    return serializeToBuffer(result.valid, result.reason, l2Block.length, l2Block, 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);
+    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 deserializeValidateBlockResult(bufferOrReader) {
+export function deserializeValidateCheckpointResult(bufferOrReader) {
     const reader = BufferReader.asReader(bufferOrReader);
     const valid = reader.readBoolean();
     if (valid) {
@@ -45,36 +47,36 @@ export function deserializeValidateBlockResult(bufferOrReader) {
             valid
         };
     }
-    const reason = reader.readString();
-    const block = deserializeBlockInfo(reader.readBuffer());
-    const committee = reader.readVector(EthAddress);
-    const epoch = reader.readBigInt();
+    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);
-    const attestations = reader.readVector(CommitteeAttestation);
+    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,
-            block,
+            checkpoint,
             committee,
             epoch,
             seed,
             attestors,
-            attestations: attestations
+            attestations
         };
     } else if (reason === 'invalid-attestation') {
         return {
             valid,
             reason,
-            block,
+            checkpoint,
             committee,
             epoch,
             seed,
             attestors,
             invalidIndex,
-            attestations: attestations
+            attestations
         };
     } else {
         const _ = reason;

package/dest/checkpoint/checkpoint.d.ts

@@ -0,0 +1,177 @@
+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;
+    /** 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.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("../schemas/schemas.js").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("../schemas/schemas.js").ZodFor<import("../tx/block_header.js").BlockHeader>;
+            body: import("../schemas/schemas.js").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>;
+        feeAssetPriceModifier: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    }, "strip", z.ZodTypeAny, {
+        archive: AppendOnlyTreeSnapshot;
+        header: CheckpointHeader;
+        blocks: L2Block[];
+        number: number & {
+            _branding: "CheckpointNumber";
+        };
+        feeAssetPriceModifier: bigint;
+    }, {
+        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;
+        feeAssetPriceModifier: 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;
+        feeAssetPriceModifier: string | number | 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;
+    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;
+    } & Partial<Parameters<typeof CheckpointHeader.random>[0]> & Partial<Parameters<typeof L2Block.random>[1]>): Promise<Checkpoint>;
+}
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NoZWNrcG9pbnQvY2hlY2twb2ludC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBRUwsZ0JBQWdCLEVBRWhCLHFCQUFxQixFQUNyQixVQUFVLEVBQ1gsTUFBTSxpQ0FBaUMsQ0FBQztBQUV6QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBNEMsTUFBTSw2QkFBNkIsQ0FBQztBQUNyRyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUcvQyxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUUzRCxLQUFLLGtCQUFrQixHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsVUFBVSxDQUFDLEVBQUUsTUFBTSxDQUFDLENBQUM7QUFFN0QscUJBQWEsVUFBVTtJQUVuQiw4REFBOEQ7SUFDdkQsT0FBTyxFQUFFLHNCQUFzQjtJQUN0QyxnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQixtQ0FBbUM7SUFDNUIsTUFBTSxFQUFFLE9BQU8sRUFBRTtJQUN4QixnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQix5RkFBeUY7SUFDbEYscUJBQXFCLEVBQUUsTUFBTTtJQVZ0QztJQUNFLDhEQUE4RDtJQUN2RCxPQUFPLEVBQUUsc0JBQXNCO0lBQ3RDLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCO0lBQy9CLG1DQUFtQztJQUM1QixNQUFNLEVBQUUsT0FBTyxFQUFFO0lBQ3hCLGdDQUFnQztJQUN6QixNQUFNLEVBQUUsZ0JBQWdCO0lBQy9CLHlGQUF5RjtJQUNsRixxQkFBcUIsR0FBRSxNQUFXLEVBQ3ZDO0lBRUosSUFBSSxJQUFJLElBQUksVUFBVSxDQUVyQjtJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7T0FhaEI7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsY0FFckM7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsNEZBRTFDO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLFlBQVksY0FRM0M7SUFFTSxRQUFRLDRCQVNkO0lBRU0sWUFBWSxJQUFJLEVBQUUsRUFBRSxDQUcxQjtJQUVNLElBQUksSUFBSSxFQUFFLENBRWhCO0lBRUQ7Ozs7T0FJRztJQUNJLG9CQUFvQixJQUFJLEVBQUUsQ0FHaEM7SUFFTSxRQUFRLHNEQUVkO0lBRU0sZ0JBQWdCLElBQUksY0FBYyxDQVF4QztJQUVELHFDQUFxQztJQUM5QixRQUFROzs7Ozs7Ozs7O01Ba0JkO0lBRUQsT0FBYSxNQUFNLENBQ2pCLGdCQUFnQixtQkFBc0IsRUFDdEMsRUFDRSxTQUFhLEVBQ2IsZ0JBQW9CLEVBQ3BCLGVBQWUsRUFDZixxQkFBMEIsRUFDMUIsR0FBRyxPQUFPLEVBQ1gsR0FBRTtRQUNELFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUNuQixnQkFBZ0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUMxQixlQUFlLENBQUMsRUFBRSxzQkFBc0IsQ0FBQztRQUN6QyxxQkFBcUIsQ0FBQyxFQUFFLE1BQU0sQ0FBQztLQUNoQyxHQUFHLE9BQU8sQ0FBQyxVQUFVLENBQUMsT0FBTyxnQkFBZ0IsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUN4RCxPQUFPLENBQUMsVUFBVSxDQUFDLE9BQU8sT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFNLHVCQW1CckQ7Q0FDRiJ9

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,EAA4C,MAAM,6BAA6B,CAAC;AACrG,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;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;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,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,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;KAChC,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"}