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

package/dest/block/proposal/attestations_and_signers.d.ts

@@ -1,16 +1,16 @@
-import type { ViemCommitteeAttestations } from '@aztec/ethereum';
+import type { ViemCommitteeAttestations } from '@aztec/ethereum/contracts';
 import { z } from 'zod';
 import type { Signable, SignatureDomainSeparator } from '../../p2p/signature_utils.js';
-import { CommitteeAttestation } from './committee_attestation.js';
+import { CommitteeAttestation, EthAddress } from './committee_attestation.js';
 export declare class CommitteeAttestationsAndSigners implements Signable {
     attestations: CommitteeAttestation[];
     constructor(attestations: CommitteeAttestation[]);
     static get schema(): z.ZodEffects<z.ZodObject<{
         attestations: z.ZodArray<z.ZodEffects<z.ZodObject<{
-            address: z.ZodType<import("./committee_attestation.js").EthAddress, any, string>;
+            address: z.ZodType<EthAddress, any, string>;
             signature: z.ZodEffects<z.ZodEffects<z.ZodEffects<z.ZodString, `0x${string}`, string>, `0x${string}`, string>, import("./committee_attestation.js").Signature, string>;
         }, "strip", z.ZodTypeAny, {
-            address: import("./committee_attestation.js").EthAddress;
+            address: EthAddress;
             signature: import("./committee_attestation.js").Signature;
         }, {
             address: string;
@@ -35,7 +35,7 @@ export declare class CommitteeAttestationsAndSigners implements Signable {
     getPayloadToSign(domainSeparator: SignatureDomainSeparator): Buffer;
     static empty(): CommitteeAttestationsAndSigners;
     toString(): void;
-    getSigners(): import("./committee_attestation.js").EthAddress[];
+    getSigners(): EthAddress[];
     getSignedAttestations(): CommitteeAttestation[];
     /**
      * Packs an array of committee attestations into the format expected by the Solidity contract
@@ -45,4 +45,15 @@ export declare class CommitteeAttestationsAndSigners implements Signable {
      */
     getPackedAttestations(): ViemCommitteeAttestations;
 }
-//# sourceMappingURL=attestations_and_signers.d.ts.map
+/**
+ * Malicious extension of CommitteeAttestationsAndSigners that keeps separate attestations and
+ * signers. Used for tricking the L1 contract into accepting attestations by reconstructing
+ * the correct committee commitment (which relies on the signers, ignoring the signatures)
+ * with an invalid set of attestation signatures.
+ */
+export declare class MaliciousCommitteeAttestationsAndSigners extends CommitteeAttestationsAndSigners {
+    private signers;
+    constructor(attestations: CommitteeAttestation[], signers: EthAddress[]);
+    getSigners(): EthAddress[];
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXR0ZXN0YXRpb25zX2FuZF9zaWduZXJzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svcHJvcG9zYWwvYXR0ZXN0YXRpb25zX2FuZF9zaWduZXJzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFJM0UsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUN2RixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsVUFBVSxFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFFOUUscUJBQWEsK0JBQWdDLFlBQVcsUUFBUTtJQUMzQyxZQUFZLEVBQUUsb0JBQW9CLEVBQUU7SUFBdkQsWUFBbUIsWUFBWSxFQUFFLG9CQUFvQixFQUFFLEVBQUk7SUFFM0QsTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O09BTWhCO0lBRUQsZ0JBQWdCLENBQUMsZUFBZSxFQUFFLHdCQUF3QixHQUFHLE1BQU0sQ0FXbEU7SUFFRCxNQUFNLENBQUMsS0FBSyxJQUFJLCtCQUErQixDQUU5QztJQUVELFFBQVEsU0FFUDtJQUVELFVBQVUsaUJBRVQ7SUFFRCxxQkFBcUIsMkJBRXBCO0lBRUQ7Ozs7O09BS0c7SUFDSCxxQkFBcUIsSUFBSSx5QkFBeUIsQ0FnRWpEO0NBQ0Y7QUFFRDs7Ozs7R0FLRztBQUNILHFCQUFhLHdDQUF5QyxTQUFRLCtCQUErQjtJQUd6RixPQUFPLENBQUMsT0FBTztJQUZqQixZQUNFLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxFQUM1QixPQUFPLEVBQUUsVUFBVSxFQUFFLEVBRzlCO0lBRVEsVUFBVSxJQUFJLFVBQVUsRUFBRSxDQUVsQztDQUNGIn0=

package/dest/block/proposal/attestations_and_signers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"attestations_and_signers.d.ts","sourceRoot":"","sources":["../../../src/block/proposal/attestations_and_signers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAIjE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,QAAQ,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElE,qBAAa,+BAAgC,YAAW,QAAQ;IAC3C,YAAY,EAAE,oBAAoB,EAAE;gBAApC,YAAY,EAAE,oBAAoB,EAAE;IAEvD,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;OAMhB;IAED,gBAAgB,CAAC,eAAe,EAAE,wBAAwB,GAAG,MAAM;IAanE,MAAM,CAAC,KAAK,IAAI,+BAA+B;IAI/C,QAAQ;IAIR,UAAU;IAIV,qBAAqB;IAIrB;;;;;OAKG;IACH,qBAAqB,IAAI,yBAAyB;CAiEnD"}
+{"version":3,"file":"attestations_and_signers.d.ts","sourceRoot":"","sources":["../../../src/block/proposal/attestations_and_signers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAI3E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,QAAQ,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAE9E,qBAAa,+BAAgC,YAAW,QAAQ;IAC3C,YAAY,EAAE,oBAAoB,EAAE;IAAvD,YAAmB,YAAY,EAAE,oBAAoB,EAAE,EAAI;IAE3D,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;OAMhB;IAED,gBAAgB,CAAC,eAAe,EAAE,wBAAwB,GAAG,MAAM,CAWlE;IAED,MAAM,CAAC,KAAK,IAAI,+BAA+B,CAE9C;IAED,QAAQ,SAEP;IAED,UAAU,iBAET;IAED,qBAAqB,2BAEpB;IAED;;;;;OAKG;IACH,qBAAqB,IAAI,yBAAyB,CAgEjD;CACF;AAED;;;;;GAKG;AACH,qBAAa,wCAAyC,SAAQ,+BAA+B;IAGzF,OAAO,CAAC,OAAO;IAFjB,YACE,YAAY,EAAE,oBAAoB,EAAE,EAC5B,OAAO,EAAE,UAAU,EAAE,EAG9B;IAEQ,UAAU,IAAI,UAAU,EAAE,CAElC;CACF"}

package/dest/block/proposal/attestations_and_signers.js

@@ -97,3 +97,17 @@ export class CommitteeAttestationsAndSigners {
         };
     }
 }
+/**
+ * Malicious extension of CommitteeAttestationsAndSigners that keeps separate attestations and
+ * signers. Used for tricking the L1 contract into accepting attestations by reconstructing
+ * the correct committee commitment (which relies on the signers, ignoring the signatures)
+ * with an invalid set of attestation signatures.
+ */ export class MaliciousCommitteeAttestationsAndSigners extends CommitteeAttestationsAndSigners {
+    signers;
+    constructor(attestations, signers){
+        super(attestations), this.signers = signers;
+    }
+    getSigners() {
+        return this.signers;
+    }
+}

package/dest/block/proposal/committee_attestation.d.ts

@@ -1,4 +1,4 @@
-import type { ViemCommitteeAttestation, ViemCommitteeAttestations } from '@aztec/ethereum';
+import type { ViemCommitteeAttestation, ViemCommitteeAttestations } from '@aztec/ethereum/contracts';
 import { EthAddress } from '@aztec/foundation/eth-address';
 import { Signature } from '@aztec/foundation/eth-signature';
 import { BufferReader } from '@aztec/foundation/serialize';
@@ -33,4 +33,4 @@ export declare class CommitteeAttestation {
     equals(other: CommitteeAttestation): boolean;
     toViem(): ViemCommitteeAttestation;
 }
-//# sourceMappingURL=committee_attestation.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29tbWl0dGVlX2F0dGVzdGF0aW9uLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svcHJvcG9zYWwvY29tbWl0dGVlX2F0dGVzdGF0aW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLHdCQUF3QixFQUFFLHlCQUF5QixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDckcsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQzNELE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM1RCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRTlFLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLFVBQVUsRUFBRSxTQUFTLEVBQUUsQ0FBQztBQUVqQyxxQkFBYSxvQkFBb0I7YUFFYixPQUFPLEVBQUUsVUFBVTthQUNuQixTQUFTLEVBQUUsU0FBUztJQUZ0QyxZQUNrQixPQUFPLEVBQUUsVUFBVSxFQUNuQixTQUFTLEVBQUUsU0FBUyxFQUNsQztJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7T0FPaEI7SUFHRCxNQUFNLENBQUMsV0FBVyxDQUFDLE9BQU8sRUFBRSxVQUFVLEdBQUcsb0JBQW9CLENBRTVEO0lBR0QsTUFBTSxDQUFDLHVCQUF1QixDQUFDLE9BQU8sRUFBRSxVQUFVLEVBQUUsU0FBUyxFQUFFLFNBQVMsR0FBRyxvQkFBb0IsQ0FFOUY7SUFFRCxNQUFNLENBQUMsYUFBYSxDQUFDLFNBQVMsRUFBRSxTQUFTLEdBQUcsb0JBQW9CLENBRS9EO0lBRUQsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsd0JBQXdCLEdBQUcsb0JBQW9CLENBRXBFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxvQkFBb0IsQ0FLckU7SUFFRCxNQUFNLENBQUMsTUFBTSxJQUFJLG9CQUFvQixDQUdwQztJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUksb0JBQW9CLENBRW5DO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUseUJBQXlCLEVBQUUsYUFBYSxFQUFFLE1BQU0sR0FBRyxvQkFBb0IsRUFBRSxDQTZDbEc7SUFFRCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELE1BQU0sQ0FBQyxLQUFLLEVBQUUsb0JBQW9CLEdBQUcsT0FBTyxDQUUzQztJQUVELE1BQU0sSUFBSSx3QkFBd0IsQ0FLakM7Q0FDRiJ9

package/dest/block/proposal/committee_attestation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"committee_attestation.d.ts","sourceRoot":"","sources":["../../../src/block/proposal/committee_attestation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAC3F,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AAEjC,qBAAa,oBAAoB;aAEb,OAAO,EAAE,UAAU;aACnB,SAAS,EAAE,SAAS;gBADpB,OAAO,EAAE,UAAU,EACnB,SAAS,EAAE,SAAS;IAGtC,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;IAGD,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,GAAG,oBAAoB;IAK7D,MAAM,CAAC,uBAAuB,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,GAAG,oBAAoB;IAI/F,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,SAAS,GAAG,oBAAoB;IAIhE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,GAAG,oBAAoB;IAIrE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB;IAOtE,MAAM,CAAC,MAAM,IAAI,oBAAoB;IAKrC,MAAM,CAAC,KAAK,IAAI,oBAAoB;IAIpC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,yBAAyB,EAAE,aAAa,EAAE,MAAM,GAAG,oBAAoB,EAAE;IA+CnG,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO;IAI5C,MAAM,IAAI,wBAAwB;CAMnC"}
+{"version":3,"file":"committee_attestation.d.ts","sourceRoot":"","sources":["../../../src/block/proposal/committee_attestation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AACrG,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AAEjC,qBAAa,oBAAoB;aAEb,OAAO,EAAE,UAAU;aACnB,SAAS,EAAE,SAAS;IAFtC,YACkB,OAAO,EAAE,UAAU,EACnB,SAAS,EAAE,SAAS,EAClC;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;IAGD,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,GAAG,oBAAoB,CAE5D;IAGD,MAAM,CAAC,uBAAuB,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,GAAG,oBAAoB,CAE9F;IAED,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,SAAS,GAAG,oBAAoB,CAE/D;IAED,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,GAAG,oBAAoB,CAEpE;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB,CAKrE;IAED,MAAM,CAAC,MAAM,IAAI,oBAAoB,CAGpC;IAED,MAAM,CAAC,KAAK,IAAI,oBAAoB,CAEnC;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,yBAAyB,EAAE,aAAa,EAAE,MAAM,GAAG,oBAAoB,EAAE,CA6ClG;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAE3C;IAED,MAAM,IAAI,wBAAwB,CAKjC;CACF"}

package/dest/block/proposal/index.d.ts

@@ -1,3 +1,3 @@
 export * from './committee_attestation.js';
 export * from './attestations_and_signers.js';
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ibG9jay9wcm9wb3NhbC9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLDRCQUE0QixDQUFDO0FBQzNDLGNBQWMsK0JBQStCLENBQUMifQ==

package/dest/block/test/index.d.ts

@@ -1,2 +1,2 @@
 export * from './l2_tips_store_test_suite.js';
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ibG9jay90ZXN0L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsK0JBQStCLENBQUMifQ==

package/dest/block/test/l2_tips_store_test_suite.d.ts

@@ -1,3 +1,3 @@
 import type { L2TipsStore } from '../l2_block_stream/index.js';
 export declare function testL2TipsStore(makeTipsStore: () => Promise<L2TipsStore>): void;
-//# sourceMappingURL=l2_tips_store_test_suite.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibDJfdGlwc19zdG9yZV90ZXN0X3N1aXRlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svdGVzdC9sMl90aXBzX3N0b3JlX3Rlc3Rfc3VpdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBU0EsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFL0Qsd0JBQWdCLGVBQWUsQ0FBQyxhQUFhLEVBQUUsTUFBTSxPQUFPLENBQUMsV0FBVyxDQUFDLFFBaUZ4RSJ9

package/dest/block/test/l2_tips_store_test_suite.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"l2_tips_store_test_suite.d.ts","sourceRoot":"","sources":["../../../src/block/test/l2_tips_store_test_suite.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE/D,wBAAgB,eAAe,CAAC,aAAa,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,QA8ExE"}
+{"version":3,"file":"l2_tips_store_test_suite.d.ts","sourceRoot":"","sources":["../../../src/block/test/l2_tips_store_test_suite.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE/D,wBAAgB,eAAe,CAAC,aAAa,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,QAiFxE"}

package/dest/block/test/l2_tips_store_test_suite.js

@@ -1,6 +1,9 @@
+import { GENESIS_BLOCK_HEADER_HASH } from '@aztec/constants';
+import { BlockNumber } from '@aztec/foundation/branded-types';
 import { times } from '@aztec/foundation/collection';
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { PublishedL2Block } from '@aztec/stdlib/block';
+import { L1PublishedData } from '@aztec/stdlib/checkpoint';
 import { jestExpect as expect } from '@jest/expect';
 export function testL2TipsStore(makeTipsStore) {
     let tipsStore;
@@ -9,23 +12,19 @@ export function testL2TipsStore(makeTipsStore) {
     });
     const makeBlock = (number)=>PublishedL2Block.fromFields({
             block: {
-                number,
+                number: BlockNumber(number),
                 hash: ()=>Promise.resolve(new Fr(number))
             },
-            l1: {
-                blockNumber: BigInt(number),
-                blockHash: `0x${number}`,
-                timestamp: BigInt(number)
-            },
+            l1: new L1PublishedData(BigInt(number), BigInt(number), `0x${number}`),
             attestations: []
         });
     const makeBlockId = (number)=>({
-            number,
+            number: BlockNumber(number),
             hash: new Fr(number).toString()
         });
     const makeTip = (number)=>({
-            number,
-            hash: number === 0 ? undefined : new Fr(number).toString()
+            number: BlockNumber(number),
+            hash: number === 0 ? GENESIS_BLOCK_HEADER_HASH.toString() : new Fr(number).toString()
         });
     const makeTips = (latest, proven, finalized)=>({
             latest: makeTip(latest),

package/dest/block/validate_block_result.d.ts

@@ -1,6 +1,7 @@
+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 { CommitteeAttestation } from './proposal/committee_attestation.js';
 /** Subtype for invalid block validation results */
@@ -11,7 +12,7 @@ export type ValidateBlockNegativeResult = {
     /** Committee members at the epoch this block was proposed */
     committee: EthAddress[];
     /** Epoch in which this block was proposed */
-    epoch: bigint;
+    epoch: EpochNumber;
     /** Proposer selection seed for the epoch */
     seed: bigint;
     /** List of committee members who signed this block proposal */
@@ -27,7 +28,7 @@ export type ValidateBlockNegativeResult = {
     /** Committee members at the epoch this block was proposed */
     committee: EthAddress[];
     /** Epoch in which this block was proposed */
-    epoch: bigint;
+    epoch: EpochNumber;
     /** Proposer selection seed for the epoch */
     seed: bigint;
     /** List of committee members who signed this block proposal */
@@ -43,180 +44,7 @@ export type ValidateBlockNegativeResult = {
 export type ValidateBlockResult = {
     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 const ValidateBlockResultSchema: ZodFor<ValidateBlockResult>;
 export declare function serializeValidateBlockResult(result: ValidateBlockResult): Buffer;
 export declare function deserializeValidateBlockResult(bufferOrReader: Buffer | BufferReader): ValidateBlockResult;
-//# sourceMappingURL=validate_block_result.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdGVfYmxvY2tfcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvY2svdmFsaWRhdGVfYmxvY2tfcmVzdWx0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQXFCLE1BQU0saUNBQWlDLENBQUM7QUFDakYsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQzNELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBVyxNQUFNLDJCQUEyQixDQUFDO0FBQ2pFLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFJOUUsT0FBTyxFQUFtQixLQUFLLFdBQVcsRUFBNEMsTUFBTSxvQkFBb0IsQ0FBQztBQUNqSCxPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUUzRSxtREFBbUQ7QUFDbkQsTUFBTSxNQUFNLDJCQUEyQixHQUNuQztJQUNFLEtBQUssRUFBRSxLQUFLLENBQUM7SUFDYix5Q0FBeUM7SUFDekMsS0FBSyxFQUFFLFdBQVcsQ0FBQztJQUNuQiw2REFBNkQ7SUFDN0QsU0FBUyxFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ3hCLDZDQUE2QztJQUM3QyxLQUFLLEVBQUUsV0FBVyxDQUFDO0lBQ25CLDRDQUE0QztJQUM1QyxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ2IsK0RBQStEO0lBQy9ELFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QixzRUFBc0U7SUFDdEUsWUFBWSxFQUFFLG9CQUFvQixFQUFFLENBQUM7SUFDckMsOEVBQThFO0lBQzlFLE1BQU0sRUFBRSwyQkFBMkIsQ0FBQztDQUNyQyxHQUNEO0lBQ0UsS0FBSyxFQUFFLEtBQUssQ0FBQztJQUNiLHlDQUF5QztJQUN6QyxLQUFLLEVBQUUsV0FBVyxDQUFDO0lBQ25CLDZEQUE2RDtJQUM3RCxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsNkNBQTZDO0lBQzdDLEtBQUssRUFBRSxXQUFXLENBQUM7SUFDbkIsNENBQTRDO0lBQzVDLElBQUksRUFBRSxNQUFNLENBQUM7SUFDYiwrREFBK0Q7SUFDL0QsU0FBUyxFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ3hCLHNFQUFzRTtJQUN0RSxZQUFZLEVBQUUsb0JBQW9CLEVBQUUsQ0FBQztJQUNyQyw0RUFBNEU7SUFDNUUsTUFBTSxFQUFFLHFCQUFxQixDQUFDO0lBQzlCLHdFQUF3RTtJQUN4RSxZQUFZLEVBQUUsTUFBTSxDQUFDO0NBQ3RCLENBQUM7QUFHTixzREFBc0Q7QUFDdEQsTUFBTSxNQUFNLG1CQUFtQixHQUFHO0lBQUUsS0FBSyxFQUFFLElBQUksQ0FBQTtDQUFFLEdBQUcsMkJBQTJCLENBQUM7QUFFaEYsZUFBTyxNQUFNLHlCQUF5QixFQUFFLE1BQU0sQ0FBQyxtQkFBbUIsQ0F1QmhFLENBQUM7QUFFSCx3QkFBZ0IsNEJBQTRCLENBQUMsTUFBTSxFQUFFLG1CQUFtQixHQUFHLE1BQU0sQ0FxQmhGO0FBRUQsd0JBQWdCLDhCQUE4QixDQUFDLGNBQWMsRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLG1CQUFtQixDQXNCekcifQ==

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,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,WAAW,CAAC;IACnB,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,WAAW,CAAC;IACnB,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;AAGN,sDAAsD;AACtD,MAAM,MAAM,mBAAmB,GAAG;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG,2BAA2B,CAAC;AAEhF,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,mBAAmB,CAuBhE,CAAC;AAEH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,mBAAmB,GAAG,MAAM,CAqBhF;AAED,wBAAgB,8BAA8B,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAsBzG"}

package/dest/block/validate_block_result.js

@@ -1,3 +1,4 @@
+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';
@@ -12,7 +13,7 @@ export const ValidateBlockResultSchema = z.union([
         valid: z.literal(false),
         block: BlockInfoSchema,
         committee: z.array(schemas.EthAddress),
-        epoch: schemas.BigInt,
+        epoch: EpochNumberSchema,
         seed: schemas.BigInt,
         attestors: z.array(schemas.EthAddress),
         attestations: z.array(CommitteeAttestation.schema),
@@ -22,7 +23,7 @@ export const ValidateBlockResultSchema = z.union([
         valid: z.literal(false),
         block: BlockInfoSchema,
         committee: z.array(schemas.EthAddress),
-        epoch: schemas.BigInt,
+        epoch: EpochNumberSchema,
         seed: schemas.BigInt,
         attestors: z.array(schemas.EthAddress),
         attestations: z.array(CommitteeAttestation.schema),
@@ -48,7 +49,7 @@ export function deserializeValidateBlockResult(bufferOrReader) {
     const reason = reader.readString();
     const block = deserializeBlockInfo(reader.readBuffer());
     const committee = reader.readVector(EthAddress);
-    const epoch = reader.readBigInt();
+    const epoch = EpochNumber(reader.readNumber());
     const seed = reader.readBigInt();
     const attestors = reader.readVector(EthAddress);
     const attestations = reader.readVector(CommitteeAttestation);

package/dest/checkpoint/checkpoint.d.ts

@@ -0,0 +1,153 @@
+import { CheckpointNumber } 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 { L2BlockNew } from '../block/l2_block_new.js';
+import { CheckpointHeader } from '../rollup/checkpoint_header.js';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import type { CheckpointInfo } from './checkpoint_info.js';
+export declare class Checkpoint {
+    archive: AppendOnlyTreeSnapshot;
+    header: CheckpointHeader;
+    blocks: L2BlockNew[];
+    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: L2BlockNew[], 
+    /** Number of the checkpoint. */
+    number: CheckpointNumber);
+    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.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            archive: AppendOnlyTreeSnapshot;
+            header: import("../tx/block_header.js").BlockHeader;
+            body: import("../block/body.js").Body;
+            checkpointNumber: number & {
+                _branding: "CheckpointNumber";
+            };
+            indexWithinCheckpoint: number;
+        }, {
+            archive: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            header?: any;
+            body?: any;
+            checkpointNumber: string | number | bigint;
+            indexWithinCheckpoint: number;
+        }>, L2BlockNew, {
+            archive: {
+                root: string;
+                nextAvailableLeafIndex: string | number | bigint;
+            };
+            header?: any;
+            body?: any;
+            checkpointNumber: string | number | bigint;
+            indexWithinCheckpoint: number;
+        }>, "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: L2BlockNew[];
+        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: number;
+        }[];
+        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: number;
+        }[];
+        number: string | number | bigint;
+    }>;
+    static from(fields: FieldsOf<Checkpoint>): Checkpoint;
+    static getFields(fields: FieldsOf<Checkpoint>): readonly [AppendOnlyTreeSnapshot, CheckpointHeader, L2BlockNew[], CheckpointNumber];
+    static fromBuffer(buf: Buffer | BufferReader): Checkpoint;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    toBlobFields(): Fr[];
+    hash(): 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: import("@aztec/foundation/branded-types").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 L2BlockNew.random>[1]>): Promise<Checkpoint>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NoZWNrcG9pbnQvY2hlY2twb2ludC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQWUsZ0JBQWdCLEVBQTBCLE1BQU0saUNBQWlDLENBQUM7QUFFeEcsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFDOUUsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDdEQsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDbEUsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sdUNBQXVDLENBQUM7QUFDL0UsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFFM0QscUJBQWEsVUFBVTtJQUdaLE9BQU8sRUFBRSxzQkFBc0I7SUFFL0IsTUFBTSxFQUFFLGdCQUFnQjtJQUV4QixNQUFNLEVBQUUsVUFBVSxFQUFFO0lBRXBCLE1BQU0sRUFBRSxnQkFBZ0I7SUFSakM7SUFDRSw4REFBOEQ7SUFDdkQsT0FBTyxFQUFFLHNCQUFzQjtJQUN0QyxnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQjtJQUMvQixtQ0FBbUM7SUFDNUIsTUFBTSxFQUFFLFVBQVUsRUFBRTtJQUMzQixnQ0FBZ0M7SUFDekIsTUFBTSxFQUFFLGdCQUFnQixFQUM3QjtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7T0FTaEI7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsVUFBVSxDQUFDLGNBRXZDO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLFVBQVUsQ0FBQyx1RkFFNUM7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsWUFBWSxjQVEzQztJQUVNLFFBQVEsNEJBRWQ7SUFFTSxZQUFZLElBQUksRUFBRSxFQUFFLENBRzFCO0lBRU0sSUFBSSxJQUFJLEVBQUUsQ0FFaEI7SUFFTSxRQUFRLHNEQUVkO0lBRU0sZ0JBQWdCLElBQUksY0FBYyxDQU94QztJQUVELHFDQUFxQztJQUM5QixRQUFROzs7Ozs7Ozs7O01Ba0JkO0lBRUQsT0FBYSxNQUFNLENBQ2pCLGdCQUFnQixtQkFBc0IsRUFDdEMsRUFDRSxTQUFhLEVBQ2IsZ0JBQW9CLEVBQ3BCLGVBQWUsRUFDZixHQUFHLE9BQU8sRUFDWCxHQUFFO1FBQ0QsU0FBUyxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQ25CLGdCQUFnQixDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQzFCLGVBQWUsQ0FBQyxFQUFFLHNCQUFzQixDQUFDO0tBQzFDLEdBQUcsT0FBTyxDQUFDLFVBQVUsQ0FBQyxPQUFPLGdCQUFnQixDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEdBQ3hELE9BQU8sQ0FBQyxVQUFVLENBQUMsT0FBTyxVQUFVLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQU0sdUJBbUJ4RDtDQUNGIn0=

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,EAAe,gBAAgB,EAA0B,MAAM,iCAAiC,CAAC;AAExG,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,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,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,qBAAa,UAAU;IAGZ,OAAO,EAAE,sBAAsB;IAE/B,MAAM,EAAE,gBAAgB;IAExB,MAAM,EAAE,UAAU,EAAE;IAEpB,MAAM,EAAE,gBAAgB;IARjC;IACE,8DAA8D;IACvD,OAAO,EAAE,sBAAsB;IACtC,gCAAgC;IACzB,MAAM,EAAE,gBAAgB;IAC/B,mCAAmC;IAC5B,MAAM,EAAE,UAAU,EAAE;IAC3B,gCAAgC;IACzB,MAAM,EAAE,gBAAgB,EAC7B;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAShB;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,cAEvC;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,uFAE5C;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;IAEM,QAAQ,sDAEd;IAEM,gBAAgB,IAAI,cAAc,CAOxC;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,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAM,uBAmBxD;CACF"}