@aztec/stdlib 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108

package/dest/rollup/block_root_rollup_private_inputs.js

@@ -0,0 +1,249 @@
+import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import { ProofData } from '../proofs/proof_data.js';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { StateReference } from '../tx/state_reference.js';
+import { CheckpointConstantData } from './checkpoint_constant_data.js';
+import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js';
+export class BlockRootFirstRollupPrivateInputs {
+    l1ToL2Roots;
+    previousRollups;
+    previousL1ToL2;
+    newL1ToL2MessageSubtreeRootSiblingPath;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */ l1ToL2Roots, /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollups, /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */ previousL1ToL2, /**
+     * Hint for inserting the new l1 to l2 message subtree root into `previousL1ToL2`.
+     */ newL1ToL2MessageSubtreeRootSiblingPath, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.l1ToL2Roots = l1ToL2Roots;
+        this.previousRollups = previousRollups;
+        this.previousL1ToL2 = previousL1ToL2;
+        this.newL1ToL2MessageSubtreeRootSiblingPath = newL1ToL2MessageSubtreeRootSiblingPath;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootFirstRollupPrivateInputs(...BlockRootFirstRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.l1ToL2Roots,
+            fields.previousRollups,
+            fields.previousL1ToL2,
+            fields.newL1ToL2MessageSubtreeRootSiblingPath,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockRootFirstRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), [
+            ProofData.fromBuffer(reader, TxRollupPublicInputs),
+            ProofData.fromBuffer(reader, TxRollupPublicInputs)
+        ], AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readArray(L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootFirstRollupPrivateInputs);
+    }
+}
+export class BlockRootSingleTxFirstRollupPrivateInputs {
+    l1ToL2Roots;
+    previousRollup;
+    previousL1ToL2;
+    newL1ToL2MessageSubtreeRootSiblingPath;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */ l1ToL2Roots, /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollup, /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */ previousL1ToL2, /**
+     * Hint for inserting the new l1 to l2 message subtree root.
+     */ newL1ToL2MessageSubtreeRootSiblingPath, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.l1ToL2Roots = l1ToL2Roots;
+        this.previousRollup = previousRollup;
+        this.previousL1ToL2 = previousL1ToL2;
+        this.newL1ToL2MessageSubtreeRootSiblingPath = newL1ToL2MessageSubtreeRootSiblingPath;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootSingleTxFirstRollupPrivateInputs(...BlockRootSingleTxFirstRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.l1ToL2Roots,
+            fields.previousRollup,
+            fields.previousL1ToL2,
+            fields.newL1ToL2MessageSubtreeRootSiblingPath,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockRootSingleTxFirstRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootSingleTxFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), ProofData.fromBuffer(reader, TxRollupPublicInputs), AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readArray(L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootSingleTxFirstRollupPrivateInputs);
+    }
+}
+export class BlockRootEmptyTxFirstRollupPrivateInputs {
+    l1ToL2Roots;
+    previousArchive;
+    previousState;
+    constants;
+    timestamp;
+    newL1ToL2MessageSubtreeRootSiblingPath;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */ l1ToL2Roots, /**
+     * The archive after applying the previous block.
+     */ previousArchive, /**
+     * The state reference of the previous block.
+     */ previousState, /**
+     * The constants of the checkpoint.
+     */ constants, /**
+     * The timestamp of this block.
+     */ timestamp, /**
+     * Hint for inserting the new l1 to l2 message subtree root.
+     */ newL1ToL2MessageSubtreeRootSiblingPath, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.l1ToL2Roots = l1ToL2Roots;
+        this.previousArchive = previousArchive;
+        this.previousState = previousState;
+        this.constants = constants;
+        this.timestamp = timestamp;
+        this.newL1ToL2MessageSubtreeRootSiblingPath = newL1ToL2MessageSubtreeRootSiblingPath;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootEmptyTxFirstRollupPrivateInputs(...BlockRootEmptyTxFirstRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.l1ToL2Roots,
+            fields.previousArchive,
+            fields.previousState,
+            fields.constants,
+            fields.timestamp,
+            fields.newL1ToL2MessageSubtreeRootSiblingPath,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer([
+            this.l1ToL2Roots,
+            this.previousArchive,
+            this.previousState,
+            this.constants,
+            bigintToUInt64BE(this.timestamp),
+            this.newL1ToL2MessageSubtreeRootSiblingPath,
+            this.newArchiveSiblingPath
+        ]);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootEmptyTxFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), AppendOnlyTreeSnapshot.fromBuffer(reader), StateReference.fromBuffer(reader), CheckpointConstantData.fromBuffer(reader), reader.readUInt64(), reader.readArray(L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootEmptyTxFirstRollupPrivateInputs);
+    }
+}
+export class BlockRootRollupPrivateInputs {
+    previousRollups;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollups, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.previousRollups = previousRollups;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootRollupPrivateInputs(...BlockRootRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.previousRollups,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockRootRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootRollupPrivateInputs([
+            ProofData.fromBuffer(reader, TxRollupPublicInputs),
+            ProofData.fromBuffer(reader, TxRollupPublicInputs)
+        ], reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootRollupPrivateInputs);
+    }
+}
+export class BlockRootSingleTxRollupPrivateInputs {
+    previousRollup;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollup, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.previousRollup = previousRollup;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootSingleTxRollupPrivateInputs(...BlockRootSingleTxRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.previousRollup,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockRootSingleTxRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootSingleTxRollupPrivateInputs(ProofData.fromBuffer(reader, TxRollupPublicInputs), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootSingleTxRollupPrivateInputs);
+    }
+}

package/dest/rollup/checkpoint_constant_data.d.ts

@@ -0,0 +1,68 @@
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { inspect } from 'util';
+import { AztecAddress } from '../aztec-address/index.js';
+import { GasFees } from '../gas/gas_fees.js';
+/**
+ * Constants that are the same for the entire checkpoint.
+ * Used in circuits during rollup proving.
+ */
+export declare class CheckpointConstantData {
+    chainId: Fr;
+    version: Fr;
+    vkTreeRoot: Fr;
+    protocolContractsHash: Fr;
+    proverId: Fr;
+    slotNumber: SlotNumber;
+    coinbase: EthAddress;
+    feeRecipient: AztecAddress;
+    gasFees: GasFees;
+    constructor(
+    /** ChainId of the rollup. */
+    chainId: Fr, 
+    /** Version of the rollup. */
+    version: Fr, 
+    /** Root of the verification key tree. */
+    vkTreeRoot: Fr, 
+    /** Hash of the protocol contracts list. */
+    protocolContractsHash: Fr, 
+    /** Identifier of the prover. */
+    proverId: Fr, 
+    /** Slot number of the checkpoint. */
+    slotNumber: SlotNumber, 
+    /** Coinbase address of the rollup. */
+    coinbase: EthAddress, 
+    /** Address to receive fees. */
+    feeRecipient: AztecAddress, 
+    /** Global gas fees for this checkpoint. */
+    gasFees: GasFees);
+    static from(fields: FieldsOf<CheckpointConstantData>): CheckpointConstantData;
+    static getFields(fields: FieldsOf<CheckpointConstantData>): readonly [Fr, Fr, Fr, Fr, Fr, SlotNumber, EthAddress, AztecAddress, GasFees];
+    static empty(): CheckpointConstantData;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointConstantData;
+    /**
+     * Returns the slot number as a SlotNumber branded type.
+     * @deprecated Use slotNumber directly instead.
+     */
+    getSlotNumber(): SlotNumber;
+    toInspect(): {
+        chainId: number;
+        version: number;
+        vkTreeRoot: `0x${string}`;
+        protocolContractsHash: `0x${string}`;
+        proverId: `0x${string}`;
+        slotNumber: SlotNumber;
+        coinbase: `0x${string}`;
+        feeRecipient: `0x${string}`;
+        gasFees: {
+            feePerDaGas: bigint;
+            feePerL2Gas: bigint;
+        };
+    };
+    [inspect.custom](): string;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9jb25zdGFudF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL2NoZWNrcG9pbnRfY29uc3RhbnRfZGF0YS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDN0QsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUMzRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBQzlFLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxNQUFNLENBQUM7QUFFL0IsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUU3Qzs7O0dBR0c7QUFDSCxxQkFBYSxzQkFBc0I7SUFHeEIsT0FBTyxFQUFFLEVBQUU7SUFFWCxPQUFPLEVBQUUsRUFBRTtJQUVYLFVBQVUsRUFBRSxFQUFFO0lBRWQscUJBQXFCLEVBQUUsRUFBRTtJQUV6QixRQUFRLEVBQUUsRUFBRTtJQUVaLFVBQVUsRUFBRSxVQUFVO0lBRXRCLFFBQVEsRUFBRSxVQUFVO0lBRXBCLFlBQVksRUFBRSxZQUFZO0lBRTFCLE9BQU8sRUFBRSxPQUFPO0lBbEJ6QjtJQUNFLDZCQUE2QjtJQUN0QixPQUFPLEVBQUUsRUFBRTtJQUNsQiw2QkFBNkI7SUFDdEIsT0FBTyxFQUFFLEVBQUU7SUFDbEIseUNBQXlDO0lBQ2xDLFVBQVUsRUFBRSxFQUFFO0lBQ3JCLDJDQUEyQztJQUNwQyxxQkFBcUIsRUFBRSxFQUFFO0lBQ2hDLGdDQUFnQztJQUN6QixRQUFRLEVBQUUsRUFBRTtJQUNuQixxQ0FBcUM7SUFDOUIsVUFBVSxFQUFFLFVBQVU7SUFDN0Isc0NBQXNDO0lBQy9CLFFBQVEsRUFBRSxVQUFVO0lBQzNCLCtCQUErQjtJQUN4QixZQUFZLEVBQUUsWUFBWTtJQUNqQywyQ0FBMkM7SUFDcEMsT0FBTyxFQUFFLE9BQU8sRUFDckI7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsc0JBQXNCLENBQUMsMEJBRW5EO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHNCQUFzQixDQUFDLGdGQVl4RDtJQUVELE1BQU0sQ0FBQyxLQUFLLDJCQVlYO0lBRUQsUUFBUSw0QkFZUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLDBCQWE5QztJQUVEOzs7T0FHRztJQUNILGFBQWEsSUFBSSxVQUFVLENBRTFCO0lBRUQsU0FBUzs7Ozs7Ozs7Ozs7OztNQVlSO0lBRUQsQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDLFdBRWY7Q0FDRiJ9

package/dest/rollup/checkpoint_constant_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_constant_data.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_constant_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC7D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAE7C;;;GAGG;AACH,qBAAa,sBAAsB;IAGxB,OAAO,EAAE,EAAE;IAEX,OAAO,EAAE,EAAE;IAEX,UAAU,EAAE,EAAE;IAEd,qBAAqB,EAAE,EAAE;IAEzB,QAAQ,EAAE,EAAE;IAEZ,UAAU,EAAE,UAAU;IAEtB,QAAQ,EAAE,UAAU;IAEpB,YAAY,EAAE,YAAY;IAE1B,OAAO,EAAE,OAAO;IAlBzB;IACE,6BAA6B;IACtB,OAAO,EAAE,EAAE;IAClB,6BAA6B;IACtB,OAAO,EAAE,EAAE;IAClB,yCAAyC;IAClC,UAAU,EAAE,EAAE;IACrB,2CAA2C;IACpC,qBAAqB,EAAE,EAAE;IAChC,gCAAgC;IACzB,QAAQ,EAAE,EAAE;IACnB,qCAAqC;IAC9B,UAAU,EAAE,UAAU;IAC7B,sCAAsC;IAC/B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,2CAA2C;IACpC,OAAO,EAAE,OAAO,EACrB;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,0BAEnD;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,gFAYxD;IAED,MAAM,CAAC,KAAK,2BAYX;IAED,QAAQ,4BAYP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,0BAa9C;IAED;;;OAGG;IACH,aAAa,IAAI,UAAU,CAE1B;IAED,SAAS;;;;;;;;;;;;;MAYR;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAEf;CACF"}

package/dest/rollup/checkpoint_constant_data.js

@@ -0,0 +1,82 @@
+var _computedKey;
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { inspect } from 'util';
+import { AztecAddress } from '../aztec-address/index.js';
+import { GasFees } from '../gas/gas_fees.js';
+_computedKey = inspect.custom;
+/**
+ * Constants that are the same for the entire checkpoint.
+ * Used in circuits during rollup proving.
+ */ export class CheckpointConstantData {
+    chainId;
+    version;
+    vkTreeRoot;
+    protocolContractsHash;
+    proverId;
+    slotNumber;
+    coinbase;
+    feeRecipient;
+    gasFees;
+    constructor(/** ChainId of the rollup. */ chainId, /** Version of the rollup. */ version, /** Root of the verification key tree. */ vkTreeRoot, /** Hash of the protocol contracts list. */ protocolContractsHash, /** Identifier of the prover. */ proverId, /** Slot number of the checkpoint. */ slotNumber, /** Coinbase address of the rollup. */ coinbase, /** Address to receive fees. */ feeRecipient, /** Global gas fees for this checkpoint. */ gasFees){
+        this.chainId = chainId;
+        this.version = version;
+        this.vkTreeRoot = vkTreeRoot;
+        this.protocolContractsHash = protocolContractsHash;
+        this.proverId = proverId;
+        this.slotNumber = slotNumber;
+        this.coinbase = coinbase;
+        this.feeRecipient = feeRecipient;
+        this.gasFees = gasFees;
+    }
+    static from(fields) {
+        return new CheckpointConstantData(...CheckpointConstantData.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.chainId,
+            fields.version,
+            fields.vkTreeRoot,
+            fields.protocolContractsHash,
+            fields.proverId,
+            fields.slotNumber,
+            fields.coinbase,
+            fields.feeRecipient,
+            fields.gasFees
+        ];
+    }
+    static empty() {
+        return new CheckpointConstantData(Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, SlotNumber.ZERO, EthAddress.ZERO, AztecAddress.ZERO, GasFees.empty());
+    }
+    toBuffer() {
+        return serializeToBuffer(this.chainId, this.version, this.vkTreeRoot, this.protocolContractsHash, this.proverId, new Fr(this.slotNumber), this.coinbase, this.feeRecipient, this.gasFees);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointConstantData(Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), SlotNumber(Fr.fromBuffer(reader).toNumber()), reader.readObject(EthAddress), reader.readObject(AztecAddress), reader.readObject(GasFees));
+    }
+    /**
+   * Returns the slot number as a SlotNumber branded type.
+   * @deprecated Use slotNumber directly instead.
+   */ getSlotNumber() {
+        return this.slotNumber;
+    }
+    toInspect() {
+        return {
+            chainId: this.chainId.toNumber(),
+            version: this.version.toNumber(),
+            vkTreeRoot: this.vkTreeRoot.toString(),
+            protocolContractsHash: this.protocolContractsHash.toString(),
+            proverId: this.proverId.toString(),
+            slotNumber: this.slotNumber,
+            coinbase: this.coinbase.toString(),
+            feeRecipient: this.feeRecipient.toString(),
+            gasFees: this.gasFees.toInspect()
+        };
+    }
+    [_computedKey]() {
+        return `CheckpointConstantData ${inspect(this.toInspect())}`;
+    }
+}

package/dest/rollup/checkpoint_header.d.ts

@@ -0,0 +1,89 @@
+import type { ViemHeader } from '@aztec/ethereum/contracts';
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import type { ZodFor } from '@aztec/foundation/schemas';
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { inspect } from 'util';
+import { AztecAddress } from '../aztec-address/index.js';
+import { GasFees } from '../gas/index.js';
+import { ContentCommitment } from '../tx/content_commitment.js';
+import type { UInt64 } from '../types/shared.js';
+/**
+ * Header of a checkpoint. A checkpoint is a collection of blocks submitted to L1 all within the same slot.
+ * TODO(palla/mbps): Should this include chainId and version as well? Is this used just in circuits?
+ */
+export declare class CheckpointHeader {
+    lastArchiveRoot: Fr;
+    blockHeadersHash: Fr;
+    contentCommitment: ContentCommitment;
+    slotNumber: SlotNumber;
+    timestamp: UInt64;
+    coinbase: EthAddress;
+    feeRecipient: AztecAddress;
+    gasFees: GasFees;
+    totalManaUsed: Fr;
+    constructor(
+    /** Root of the archive tree before this block is added. */
+    lastArchiveRoot: Fr, 
+    /** Hash of the headers of all blocks in this checkpoint. */
+    blockHeadersHash: Fr, 
+    /** Content commitment of the L2 block. */
+    contentCommitment: ContentCommitment, 
+    /** Slot number of the L2 block */
+    slotNumber: SlotNumber, 
+    /** Timestamp of the L2 block. */
+    timestamp: UInt64, 
+    /** Recipient of block reward. */
+    coinbase: EthAddress, 
+    /** Address to receive fees. */
+    feeRecipient: AztecAddress, 
+    /** Global gas prices for this block. */
+    gasFees: GasFees, 
+    /** Total mana used in the block, computed by the root rollup circuit */
+    totalManaUsed: Fr);
+    static get schema(): ZodFor<CheckpointHeader>;
+    static getFields(fields: FieldsOf<CheckpointHeader>): readonly [Fr, Fr, ContentCommitment, SlotNumber, bigint, EthAddress, AztecAddress, GasFees, Fr];
+    static from(fields: FieldsOf<CheckpointHeader>): CheckpointHeader;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointHeader;
+    equals(other: CheckpointHeader): boolean;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    hash(): Fr;
+    static empty(fields?: Partial<FieldsOf<CheckpointHeader>>): CheckpointHeader;
+    static random(overrides?: Partial<FieldsOf<CheckpointHeader>> & Partial<FieldsOf<ContentCommitment>>): CheckpointHeader;
+    isEmpty(): boolean;
+    /**
+     * Serializes this instance into a string.
+     * @returns Encoded string.
+     */
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointHeader;
+    static fromViem(header: ViemHeader): CheckpointHeader;
+    /**
+     * Returns the slot number as a SlotNumber branded type.
+     * @deprecated Use slotNumber directly instead.
+     */
+    getSlotNumber(): SlotNumber;
+    toViem(): ViemHeader;
+    toInspect(): {
+        lastArchive: `0x${string}`;
+        blockHeadersHash: `0x${string}`;
+        contentCommitment: {
+            blobsHash: `0x${string}`;
+            inHash: `0x${string}`;
+            outHash: `0x${string}`;
+        };
+        slotNumber: SlotNumber;
+        timestamp: bigint;
+        coinbase: `0x${string}`;
+        feeRecipient: `0x${string}`;
+        gasFees: {
+            feePerDaGas: bigint;
+            feePerL2Gas: bigint;
+        };
+        totalManaUsed: bigint;
+    };
+    [inspect.custom](): string;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9oZWFkZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvY2hlY2twb2ludF9oZWFkZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDNUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRTdELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDeEQsT0FBTyxFQUFFLFlBQVksRUFBdUMsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRyxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRy9CLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUN6RCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFMUMsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFakQ7OztHQUdHO0FBQ0gscUJBQWEsZ0JBQWdCO0lBR2xCLGVBQWUsRUFBRSxFQUFFO0lBRW5CLGdCQUFnQixFQUFFLEVBQUU7SUFFcEIsaUJBQWlCLEVBQUUsaUJBQWlCO0lBRXBDLFVBQVUsRUFBRSxVQUFVO0lBRXRCLFNBQVMsRUFBRSxNQUFNO0lBRWpCLFFBQVEsRUFBRSxVQUFVO0lBRXBCLFlBQVksRUFBRSxZQUFZO0lBRTFCLE9BQU8sRUFBRSxPQUFPO0lBRWhCLGFBQWEsRUFBRSxFQUFFO0lBbEIxQjtJQUNFLDJEQUEyRDtJQUNwRCxlQUFlLEVBQUUsRUFBRTtJQUMxQiw0REFBNEQ7SUFDckQsZ0JBQWdCLEVBQUUsRUFBRTtJQUMzQiwwQ0FBMEM7SUFDbkMsaUJBQWlCLEVBQUUsaUJBQWlCO0lBQzNDLGtDQUFrQztJQUMzQixVQUFVLEVBQUUsVUFBVTtJQUM3QixpQ0FBaUM7SUFDMUIsU0FBUyxFQUFFLE1BQU07SUFDeEIsaUNBQWlDO0lBQzFCLFFBQVEsRUFBRSxVQUFVO0lBQzNCLCtCQUErQjtJQUN4QixZQUFZLEVBQUUsWUFBWTtJQUNqQyx3Q0FBd0M7SUFDakMsT0FBTyxFQUFFLE9BQU87SUFDdkIsd0VBQXdFO0lBQ2pFLGFBQWEsRUFBRSxFQUFFLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsZ0JBQWdCLENBQUMsQ0FjNUM7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsZ0JBQWdCLENBQUMsbUdBWWxEO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGdCQUFnQixDQUFDLG9CQUU3QztJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLG9CQWM5QztJQUVELE1BQU0sQ0FBQyxLQUFLLEVBQUUsZ0JBQWdCLFdBWTdCO0lBRUQsUUFBUSw0QkFhUDtJQUVELElBQUksSUFBSSxFQUFFLENBRVQ7SUFFRCxNQUFNLENBQUMsS0FBSyxDQUFDLE1BQU0sR0FBRSxPQUFPLENBQUMsUUFBUSxDQUFDLGdCQUFnQixDQUFDLENBQU0sb0JBYTVEO0lBRUQsTUFBTSxDQUFDLE1BQU0sQ0FDWCxTQUFTLEdBQUUsT0FBTyxDQUFDLFFBQVEsQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDLEdBQUcsT0FBTyxDQUFDLFFBQVEsQ0FBQyxpQkFBaUIsQ0FBQyxDQUFNLEdBQ3pGLGdCQUFnQixDQWFsQjtJQUVELE9BQU8sSUFBSSxPQUFPLENBWWpCO0lBRUQ7OztPQUdHO0lBQ0ksUUFBUSxrQkFFZDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sb0JBRTVCO0lBRUQsTUFBTSxDQUFDLFFBQVEsQ0FBQyxNQUFNLEVBQUUsVUFBVSxvQkFZakM7SUFFRDs7O09BR0c7SUFDSCxhQUFhLElBQUksVUFBVSxDQUUxQjtJQUVELE1BQU0sSUFBSSxVQUFVLENBZW5CO0lBRUQsU0FBUzs7Ozs7Ozs7Ozs7Ozs7Ozs7TUFZUjtJQUVELENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxXQWFmO0NBQ0YifQ==

package/dest/rollup/checkpoint_header.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_header.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_header.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE7D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;GAGG;AACH,qBAAa,gBAAgB;IAGlB,eAAe,EAAE,EAAE;IAEnB,gBAAgB,EAAE,EAAE;IAEpB,iBAAiB,EAAE,iBAAiB;IAEpC,UAAU,EAAE,UAAU;IAEtB,SAAS,EAAE,MAAM;IAEjB,QAAQ,EAAE,UAAU;IAEpB,YAAY,EAAE,YAAY;IAE1B,OAAO,EAAE,OAAO;IAEhB,aAAa,EAAE,EAAE;IAlB1B;IACE,2DAA2D;IACpD,eAAe,EAAE,EAAE;IAC1B,4DAA4D;IACrD,gBAAgB,EAAE,EAAE;IAC3B,0CAA0C;IACnC,iBAAiB,EAAE,iBAAiB;IAC3C,kCAAkC;IAC3B,UAAU,EAAE,UAAU;IAC7B,iCAAiC;IAC1B,SAAS,EAAE,MAAM;IACxB,iCAAiC;IAC1B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,wCAAwC;IACjC,OAAO,EAAE,OAAO;IACvB,wEAAwE;IACjE,aAAa,EAAE,EAAE,EACtB;IAEJ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAc5C;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,mGAYlD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,oBAE7C;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,oBAc9C;IAED,MAAM,CAAC,KAAK,EAAE,gBAAgB,WAY7B;IAED,QAAQ,4BAaP;IAED,IAAI,IAAI,EAAE,CAET;IAED,MAAM,CAAC,KAAK,CAAC,MAAM,GAAE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAM,oBAa5D;IAED,MAAM,CAAC,MAAM,CACX,SAAS,GAAE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAM,GACzF,gBAAgB,CAalB;IAED,OAAO,IAAI,OAAO,CAYjB;IAED;;;OAGG;IACI,QAAQ,kBAEd;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,oBAE5B;IAED,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,oBAYjC;IAED;;;OAGG;IACH,aAAa,IAAI,UAAU,CAE1B;IAED,MAAM,IAAI,UAAU,CAenB;IAED,SAAS;;;;;;;;;;;;;;;;;MAYR;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAaf;CACF"}