@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.b655e406

package/dest/rollup/block_root_rollup_private_inputs.js

@@ -0,0 +1,257 @@
+import { SpongeBlob } from '@aztec/blob-lib/types';
+import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+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;
+    startSpongeBlob;
+    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 start sponge blob of this block. No data has been absorbed into it yet, since it's the first block. But the
+     * number of expected fields must be set to the total number of fields in the entire checkpoint.
+     */ startSpongeBlob, /**
+     * 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.startSpongeBlob = startSpongeBlob;
+        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.startSpongeBlob,
+            fields.timestamp,
+            fields.newL1ToL2MessageSubtreeRootSiblingPath,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer([
+            this.l1ToL2Roots,
+            this.previousArchive,
+            this.previousState,
+            this.constants,
+            this.startSpongeBlob,
+            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), SpongeBlob.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,54 @@
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { AztecAddress } from '../aztec-address/index.js';
+import { GasFees } from '../gas/gas_fees.js';
+/**
+ * Constants that are the same for the entire checkpoint.
+ */
+export declare class CheckpointConstantData {
+    /** 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: Fr;
+    /** Coinbase address of the rollup. */
+    coinbase: EthAddress;
+    /** Address to receive fees. */
+    feeRecipient: AztecAddress;
+    /** Global gas fees for this checkpoint. */
+    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: Fr, 
+    /** 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, Fr, EthAddress, AztecAddress, GasFees];
+    static empty(): CheckpointConstantData;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointConstantData;
+}
+//# sourceMappingURL=checkpoint_constant_data.d.ts.map

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,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAE7C;;GAEG;AACH,qBAAa,sBAAsB;IAE/B,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,EAAE;IACrB,sCAAsC;IAC/B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,2CAA2C;IACpC,OAAO,EAAE,OAAO;;IAjBvB,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,EAAE;IACrB,sCAAsC;IAC/B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,2CAA2C;IACpC,OAAO,EAAE,OAAO;IAGzB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAIpD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAczD,MAAM,CAAC,KAAK;IAcZ,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;CAchD"}

package/dest/rollup/checkpoint_constant_data.js

@@ -0,0 +1,55 @@
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { AztecAddress } from '../aztec-address/index.js';
+import { GasFees } from '../gas/gas_fees.js';
+/**
+ * Constants that are the same for the entire checkpoint.
+ */ 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, Fr.ZERO, EthAddress.ZERO, AztecAddress.ZERO, GasFees.empty());
+    }
+    toBuffer() {
+        return serializeToBuffer(...CheckpointConstantData.getFields(this));
+    }
+    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), Fr.fromBuffer(reader), reader.readObject(EthAddress), reader.readObject(AztecAddress), reader.readObject(GasFees));
+    }
+}

package/dest/rollup/checkpoint_header.d.ts

@@ -0,0 +1,83 @@
+import type { ViemHeader } from '@aztec/ethereum';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+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';
+export declare class CheckpointHeader {
+    /** Root of the archive tree before this block is added. */
+    lastArchiveRoot: Fr;
+    /** Content commitment of the L2 block. */
+    contentCommitment: ContentCommitment;
+    /** Slot number of the L2 block */
+    slotNumber: Fr;
+    /** 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;
+    constructor(
+    /** Root of the archive tree before this block is added. */
+    lastArchiveRoot: Fr, 
+    /** Content commitment of the L2 block. */
+    contentCommitment: ContentCommitment, 
+    /** Slot number of the L2 block */
+    slotNumber: Fr, 
+    /** 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, ContentCommitment, Fr, 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(): 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;
+    toViem(): ViemHeader;
+    toInspect(): {
+        lastArchive: `0x${string}`;
+        contentCommitment: {
+            blobsHash: `0x${string}`;
+            inHash: `0x${string}`;
+            outHash: `0x${string}`;
+        };
+        slotNumber: bigint;
+        timestamp: bigint;
+        coinbase: `0x${string}`;
+        feeRecipient: `0x${string}`;
+        gasFees: {
+            feePerDaGas: bigint;
+            feePerL2Gas: bigint;
+        };
+        totalManaUsed: bigint;
+    };
+    [inspect.custom](): string;
+}
+//# sourceMappingURL=checkpoint_header.d.ts.map

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,iBAAiB,CAAC;AAElD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,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,qBAAa,gBAAgB;IAEzB,2DAA2D;IACpD,eAAe,EAAE,EAAE;IAC1B,0CAA0C;IACnC,iBAAiB,EAAE,iBAAiB;IAC3C,kCAAkC;IAC3B,UAAU,EAAE,EAAE;IACrB,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;;IAfxB,2DAA2D;IACpD,eAAe,EAAE,EAAE;IAC1B,0CAA0C;IACnC,iBAAiB,EAAE,iBAAiB;IAC3C,kCAAkC;IAC3B,UAAU,EAAE,EAAE;IACrB,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;IAG1B,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAa5C;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAanD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAI9C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAe/C,MAAM,CAAC,KAAK,EAAE,gBAAgB;IAa9B,QAAQ;IAcR,IAAI,IAAI,EAAE;IAIV,MAAM,CAAC,KAAK,CAAC,MAAM,GAAE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAM;IAc7D,MAAM,CAAC,MAAM,IAAI,gBAAgB;IAajC,OAAO,IAAI,OAAO;IAalB;;;OAGG;IACI,QAAQ;IAIf,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU;IAalC,MAAM,IAAI,UAAU;IAgBpB,SAAS;;;;;;;;;;;;;;;;;IAaT,CAAC,OAAO,CAAC,MAAM,CAAC;CAajB"}

package/dest/rollup/checkpoint_header.js

@@ -0,0 +1,154 @@
+import { sha256ToField } from '@aztec/foundation/crypto';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { inspect } from 'util';
+import { z } from 'zod';
+import { AztecAddress } from '../aztec-address/index.js';
+import { GasFees } from '../gas/index.js';
+import { schemas } from '../schemas/index.js';
+import { ContentCommitment } from '../tx/content_commitment.js';
+export class CheckpointHeader {
+    lastArchiveRoot;
+    contentCommitment;
+    slotNumber;
+    timestamp;
+    coinbase;
+    feeRecipient;
+    gasFees;
+    totalManaUsed;
+    constructor(/** Root of the archive tree before this block is added. */ lastArchiveRoot, /** Content commitment of the L2 block. */ contentCommitment, /** Slot number of the L2 block */ slotNumber, /** Timestamp of the L2 block. */ timestamp, /** Recipient of block reward. */ coinbase, /** Address to receive fees. */ feeRecipient, /** Global gas prices for this block. */ gasFees, /** Total mana used in the block, computed by the root rollup circuit */ totalManaUsed){
+        this.lastArchiveRoot = lastArchiveRoot;
+        this.contentCommitment = contentCommitment;
+        this.slotNumber = slotNumber;
+        this.timestamp = timestamp;
+        this.coinbase = coinbase;
+        this.feeRecipient = feeRecipient;
+        this.gasFees = gasFees;
+        this.totalManaUsed = totalManaUsed;
+    }
+    static get schema() {
+        return z.object({
+            lastArchiveRoot: schemas.Fr,
+            contentCommitment: ContentCommitment.schema,
+            slotNumber: schemas.Fr,
+            timestamp: schemas.BigInt,
+            coinbase: schemas.EthAddress,
+            feeRecipient: schemas.AztecAddress,
+            gasFees: GasFees.schema,
+            totalManaUsed: schemas.Fr
+        }).transform(CheckpointHeader.from);
+    }
+    static getFields(fields) {
+        return [
+            fields.lastArchiveRoot,
+            fields.contentCommitment,
+            fields.slotNumber,
+            fields.timestamp,
+            fields.coinbase,
+            fields.feeRecipient,
+            fields.gasFees,
+            fields.totalManaUsed
+        ];
+    }
+    static from(fields) {
+        return new CheckpointHeader(...CheckpointHeader.getFields(fields));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointHeader(reader.readObject(Fr), reader.readObject(ContentCommitment), Fr.fromBuffer(reader), reader.readUInt64(), reader.readObject(EthAddress), reader.readObject(AztecAddress), reader.readObject(GasFees), reader.readObject(Fr));
+    }
+    equals(other) {
+        return this.lastArchiveRoot.equals(other.lastArchiveRoot) && this.contentCommitment.equals(other.contentCommitment) && this.slotNumber.equals(other.slotNumber) && this.timestamp === other.timestamp && this.coinbase.equals(other.coinbase) && this.feeRecipient.equals(other.feeRecipient) && this.gasFees.equals(other.gasFees) && this.totalManaUsed.equals(other.totalManaUsed);
+    }
+    toBuffer() {
+        // Note: The order here must match the order in the ProposedHeaderLib solidity library.
+        return serializeToBuffer([
+            this.lastArchiveRoot,
+            this.contentCommitment,
+            this.slotNumber,
+            bigintToUInt64BE(this.timestamp),
+            this.coinbase,
+            this.feeRecipient,
+            this.gasFees,
+            this.totalManaUsed
+        ]);
+    }
+    hash() {
+        return sha256ToField([
+            this.toBuffer()
+        ]);
+    }
+    static empty(fields = {}) {
+        return CheckpointHeader.from({
+            lastArchiveRoot: Fr.ZERO,
+            contentCommitment: ContentCommitment.empty(),
+            slotNumber: Fr.ZERO,
+            timestamp: 0n,
+            coinbase: EthAddress.ZERO,
+            feeRecipient: AztecAddress.ZERO,
+            gasFees: GasFees.empty(),
+            totalManaUsed: Fr.ZERO,
+            ...fields
+        });
+    }
+    static random() {
+        return new CheckpointHeader(Fr.random(), ContentCommitment.random(), new Fr(BigInt(Math.floor(Math.random() * 1000) + 1)), BigInt(Math.floor(Date.now() / 1000)), EthAddress.random(), new AztecAddress(Fr.random()), GasFees.random(), new Fr(BigInt(Math.floor(Math.random() * 1000000))));
+    }
+    isEmpty() {
+        return this.lastArchiveRoot.isZero() && this.contentCommitment.isEmpty() && this.slotNumber.isZero() && this.timestamp === 0n && this.coinbase.isZero() && this.feeRecipient.isZero() && this.gasFees.isEmpty() && this.totalManaUsed.isZero();
+    }
+    /**
+   * Serializes this instance into a string.
+   * @returns Encoded string.
+   */ toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return CheckpointHeader.fromBuffer(hexToBuffer(str));
+    }
+    static fromViem(header) {
+        return new CheckpointHeader(Fr.fromString(header.lastArchiveRoot), ContentCommitment.fromViem(header.contentCommitment), new Fr(header.slotNumber), header.timestamp, new EthAddress(hexToBuffer(header.coinbase)), new AztecAddress(hexToBuffer(header.feeRecipient)), new GasFees(header.gasFees.feePerDaGas, header.gasFees.feePerL2Gas), new Fr(header.totalManaUsed));
+    }
+    toViem() {
+        return {
+            lastArchiveRoot: this.lastArchiveRoot.toString(),
+            contentCommitment: this.contentCommitment.toViem(),
+            slotNumber: this.slotNumber.toBigInt(),
+            timestamp: this.timestamp,
+            coinbase: this.coinbase.toString(),
+            feeRecipient: `0x${this.feeRecipient.toBuffer().toString('hex').padStart(64, '0')}`,
+            gasFees: {
+                feePerDaGas: this.gasFees.feePerDaGas,
+                feePerL2Gas: this.gasFees.feePerL2Gas
+            },
+            totalManaUsed: this.totalManaUsed.toBigInt()
+        };
+    }
+    toInspect() {
+        return {
+            lastArchive: this.lastArchiveRoot.toString(),
+            contentCommitment: this.contentCommitment.toInspect(),
+            slotNumber: this.slotNumber.toBigInt(),
+            timestamp: this.timestamp,
+            coinbase: this.coinbase.toString(),
+            feeRecipient: this.feeRecipient.toString(),
+            gasFees: this.gasFees.toInspect(),
+            totalManaUsed: this.totalManaUsed.toBigInt()
+        };
+    }
+    [inspect.custom]() {
+        const gasfees = `da:${this.gasFees.feePerDaGas}, l2:${this.gasFees.feePerL2Gas}`;
+        return `Header {
+  lastArchiveRoot: ${this.lastArchiveRoot.toString()},
+  contentCommitment: ${inspect(this.contentCommitment)},
+  slotNumber: ${this.slotNumber.toBigInt()},
+  timestamp: ${this.timestamp},
+  coinbase: ${this.coinbase.toString()},
+  feeRecipient: ${this.feeRecipient.toString()},
+  gasFees: ${gasfees},
+  totalManaUsed: ${this.totalManaUsed.toBigInt()},
+}`;
+    }
+}

package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts

@@ -0,0 +1,30 @@
+import { BufferReader } from '@aztec/foundation/serialize';
+import { type RollupHonkProofData } from '../proofs/proof_data.js';
+import { CheckpointRollupPublicInputs } from './checkpoint_rollup_public_inputs.js';
+/**
+ * Represents inputs of the checkpoint merge rollup circuit.
+ */
+export declare class CheckpointMergeRollupPrivateInputs {
+    /**
+     * Previous rollup data from the 2 checkpoint root or merge rollup circuits that preceded this checkpoint merge rollup circuit.
+     */
+    previousRollups: [
+        RollupHonkProofData<CheckpointRollupPublicInputs>,
+        RollupHonkProofData<CheckpointRollupPublicInputs>
+    ];
+    constructor(
+    /**
+     * Previous rollup data from the 2 checkpoint root or merge rollup circuits that preceded this checkpoint merge rollup circuit.
+     */
+    previousRollups: [
+        RollupHonkProofData<CheckpointRollupPublicInputs>,
+        RollupHonkProofData<CheckpointRollupPublicInputs>
+    ]);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointMergeRollupPrivateInputs;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointMergeRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<CheckpointMergeRollupPrivateInputs, any, string>;
+}
+//# sourceMappingURL=checkpoint_merge_rollup_private_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_merge_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_merge_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEpF;;GAEG;AACH,qBAAa,kCAAkC;IAE3C;;OAEG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD;;IAND;;OAEG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD;IAGH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM;IAIN,MAAM,KAAK,MAAM,2EAEhB;CACF"}