@aztec/stdlib 3.0.0-nightly.20250916 → 3.0.0-nightly.20250918

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;
+    protocolContractTreeRoot;
+    proverId;
+    slotNumber;
+    coinbase;
+    feeRecipient;
+    gasFees;
+    constructor(/** ChainId of the rollup. */ chainId, /** Version of the rollup. */ version, /** Root of the verification key tree. */ vkTreeRoot, /** Root of the protocol contract tree. */ protocolContractTreeRoot, /** 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.protocolContractTreeRoot = protocolContractTreeRoot;
+        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.protocolContractTreeRoot,
+            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/{tx/proposed_block_header.d.ts → rollup/checkpoint_header.d.ts}

@@ -7,10 +7,9 @@ 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';
-import { ContentCommitment } from './content_commitment.js';
-/** The proposed values of an L2 block. */
-export declare class ProposedBlockHeader {
+export declare class CheckpointHeader {
     /** Root of the archive tree before this block is added. */
     lastArchiveRoot: Fr;
     /** Content commitment of the L2 block. */
@@ -44,22 +43,22 @@ export declare class ProposedBlockHeader {
     gasFees: GasFees, 
     /** Total mana used in the block, computed by the root rollup circuit */
     totalManaUsed: Fr);
-    static get schema(): ZodFor<ProposedBlockHeader>;
-    static getFields(fields: FieldsOf<ProposedBlockHeader>): readonly [Fr, ContentCommitment, Fr, bigint, EthAddress, AztecAddress, GasFees, Fr];
-    static from(fields: FieldsOf<ProposedBlockHeader>): ProposedBlockHeader;
-    static fromBuffer(buffer: Buffer | BufferReader): ProposedBlockHeader;
+    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;
     toBuffer(): Buffer<ArrayBufferLike>;
     hash(): Fr;
-    static empty(fields?: Partial<FieldsOf<ProposedBlockHeader>>): ProposedBlockHeader;
-    static random(): ProposedBlockHeader;
+    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): ProposedBlockHeader;
-    static fromViem(header: ViemHeader): ProposedBlockHeader;
+    static fromString(str: string): CheckpointHeader;
+    static fromViem(header: ViemHeader): CheckpointHeader;
     toViem(): ViemHeader;
     toInspect(): {
         lastArchive: `0x${string}`;
@@ -80,4 +79,4 @@ export declare class ProposedBlockHeader {
     };
     [inspect.custom](): string;
 }
-//# sourceMappingURL=proposed_block_header.d.ts.map
+//# 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,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/{tx/proposed_block_header.js → rollup/checkpoint_header.js}

@@ -8,8 +8,8 @@ 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 './content_commitment.js';
-/** The proposed values of an L2 block. */ export class ProposedBlockHeader {
+import { ContentCommitment } from '../tx/content_commitment.js';
+export class CheckpointHeader {
     lastArchiveRoot;
     contentCommitment;
     slotNumber;
@@ -38,7 +38,7 @@ import { ContentCommitment } from './content_commitment.js';
             feeRecipient: schemas.AztecAddress,
             gasFees: GasFees.schema,
             totalManaUsed: schemas.Fr
-        }).transform(ProposedBlockHeader.from);
+        }).transform(CheckpointHeader.from);
     }
     static getFields(fields) {
         return [
@@ -53,11 +53,11 @@ import { ContentCommitment } from './content_commitment.js';
         ];
     }
     static from(fields) {
-        return new ProposedBlockHeader(...ProposedBlockHeader.getFields(fields));
+        return new CheckpointHeader(...CheckpointHeader.getFields(fields));
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new ProposedBlockHeader(reader.readObject(Fr), reader.readObject(ContentCommitment), Fr.fromBuffer(reader), reader.readUInt64(), reader.readObject(EthAddress), reader.readObject(AztecAddress), reader.readObject(GasFees), reader.readObject(Fr));
+        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));
     }
     toBuffer() {
         // Note: The order here must match the order in the ProposedHeaderLib solidity library.
@@ -78,7 +78,7 @@ import { ContentCommitment } from './content_commitment.js';
         ]);
     }
     static empty(fields = {}) {
-        return ProposedBlockHeader.from({
+        return CheckpointHeader.from({
             lastArchiveRoot: Fr.ZERO,
             contentCommitment: ContentCommitment.empty(),
             slotNumber: Fr.ZERO,
@@ -91,7 +91,7 @@ import { ContentCommitment } from './content_commitment.js';
         });
     }
     static random() {
-        return new ProposedBlockHeader(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))));
+        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();
@@ -103,10 +103,10 @@ import { ContentCommitment } from './content_commitment.js';
         return bufferToHex(this.toBuffer());
     }
     static fromString(str) {
-        return ProposedBlockHeader.fromBuffer(hexToBuffer(str));
+        return CheckpointHeader.fromBuffer(hexToBuffer(str));
     }
     static fromViem(header) {
-        return new ProposedBlockHeader(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));
+        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 {

package/dest/rollup/checkpoint_merge_rollup.d.ts

@@ -0,0 +1,30 @@
+import { BufferReader } from '@aztec/foundation/serialize';
+import { CheckpointRollupPublicInputs } from './checkpoint_rollup_public_inputs.js';
+import type { RollupProofData } from './rollup_proof_data.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: [
+        RollupProofData<CheckpointRollupPublicInputs>,
+        RollupProofData<CheckpointRollupPublicInputs>
+    ];
+    constructor(
+    /**
+     * Previous rollup data from the 2 checkpoint root or merge rollup circuits that preceded this checkpoint merge rollup circuit.
+     */
+    previousRollups: [
+        RollupProofData<CheckpointRollupPublicInputs>,
+        RollupProofData<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.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_merge_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_merge_rollup.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D;;GAEG;AACH,qBAAa,kCAAkC;IAE3C;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;;IAND;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;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"}

package/dest/rollup/checkpoint_merge_rollup.js

@@ -0,0 +1,37 @@
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { ProofData } from '../proofs/proof_data.js';
+import { CheckpointRollupPublicInputs } from './checkpoint_rollup_public_inputs.js';
+/**
+ * Represents inputs of the checkpoint merge rollup circuit.
+ */ export class CheckpointMergeRollupPrivateInputs {
+    previousRollups;
+    constructor(/**
+     * Previous rollup data from the 2 checkpoint root or merge rollup circuits that preceded this checkpoint merge rollup circuit.
+     */ previousRollups){
+        this.previousRollups = previousRollups;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.previousRollups);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointMergeRollupPrivateInputs([
+            ProofData.fromBuffer(reader, CheckpointRollupPublicInputs),
+            ProofData.fromBuffer(reader, CheckpointRollupPublicInputs)
+        ]);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return CheckpointMergeRollupPrivateInputs.fromBuffer(hexToBuffer(str));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(CheckpointMergeRollupPrivateInputs);
+    }
+}

package/dest/rollup/checkpoint_rollup_public_inputs.d.ts

@@ -0,0 +1,105 @@
+import { BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges } from '@aztec/blob-lib';
+import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { EpochConstantData } from './epoch_constant_data.js';
+/**
+ * Output of the checkpoint root and checkpoint merge rollup circuits.
+ */
+export declare class CheckpointRollupPublicInputs {
+    /**
+     * Constants for the entire epoch.
+     */
+    constants: EpochConstantData;
+    /**
+     * Archive tree immediately before this checkpoint range.
+     */
+    previousArchive: AppendOnlyTreeSnapshot;
+    /**
+     * Archive tree after adding this checkpoint range.
+     */
+    newArchive: AppendOnlyTreeSnapshot;
+    /**
+     * The hashes of the headers of the constituent checkpoints.
+     */
+    checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
+    /**
+     * The summed transaction fees and recipients of the constituent checkpoints.
+     */
+    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
+    /**
+     * Accumulated opening proofs for all blobs before this checkpoint range.
+     */
+    startBlobAccumulator: BlobAccumulatorPublicInputs;
+    /**
+     * Accumulated opening proofs for all blobs after applying this checkpoint range.
+     */
+    endBlobAccumulator: BlobAccumulatorPublicInputs;
+    /**
+     * Final values z and gamma, shared across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges;
+    constructor(
+    /**
+     * Constants for the entire epoch.
+     */
+    constants: EpochConstantData, 
+    /**
+     * Archive tree immediately before this checkpoint range.
+     */
+    previousArchive: AppendOnlyTreeSnapshot, 
+    /**
+     * Archive tree after adding this checkpoint range.
+     */
+    newArchive: AppendOnlyTreeSnapshot, 
+    /**
+     * The hashes of the headers of the constituent checkpoints.
+     */
+    checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>, 
+    /**
+     * The summed transaction fees and recipients of the constituent checkpoints.
+     */
+    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, 
+    /**
+     * Accumulated opening proofs for all blobs before this checkpoint range.
+     */
+    startBlobAccumulator: BlobAccumulatorPublicInputs, 
+    /**
+     * Accumulated opening proofs for all blobs after applying this checkpoint range.
+     */
+    endBlobAccumulator: BlobAccumulatorPublicInputs, 
+    /**
+     * Final values z and gamma, shared across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges);
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointRollupPublicInputs;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointRollupPublicInputs;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer<ArrayBufferLike>;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<CheckpointRollupPublicInputs, any, string>;
+}
+export declare class FeeRecipient {
+    recipient: EthAddress;
+    value: Fr;
+    constructor(recipient: EthAddress, value: Fr);
+    static fromBuffer(buffer: Buffer | BufferReader): FeeRecipient;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static getFields(fields: FieldsOf<FeeRecipient>): readonly [EthAddress, Fr];
+    toFields(): Fr[];
+    isEmpty(): boolean;
+    toFriendlyJSON(): {
+        recipient?: undefined;
+        value?: undefined;
+    } | {
+        recipient: `0x${string}`;
+        value: `0x${string}`;
+    };
+    static random(): FeeRecipient;
+}
+//# sourceMappingURL=checkpoint_rollup_public_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC3F,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,4BAA4B;IAErC;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACzE;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,kBAAkB,EAAE,2BAA2B;IACtD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;;IA/BvD;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACzE;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,kBAAkB,EAAE,2BAA2B;IACtD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IAGzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,QAAQ;IAaR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,YAAY;IAEd,SAAS,EAAE,UAAU;IACrB,KAAK,EAAE,EAAE;gBADT,SAAS,EAAE,UAAU,EACrB,KAAK,EAAE,EAAE;IAGlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY;IAK9D,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC;IAI/C,QAAQ;IAIR,OAAO;IAIP,cAAc;;;;;;;IAOd,MAAM,CAAC,MAAM;CAGd"}

package/dest/rollup/checkpoint_rollup_public_inputs.js

@@ -0,0 +1,105 @@
+import { BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges } from '@aztec/blob-lib';
+import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { EpochConstantData } from './epoch_constant_data.js';
+/**
+ * Output of the checkpoint root and checkpoint merge rollup circuits.
+ */ export class CheckpointRollupPublicInputs {
+    constants;
+    previousArchive;
+    newArchive;
+    checkpointHeaderHashes;
+    fees;
+    startBlobAccumulator;
+    endBlobAccumulator;
+    finalBlobChallenges;
+    constructor(/**
+     * Constants for the entire epoch.
+     */ constants, /**
+     * Archive tree immediately before this checkpoint range.
+     */ previousArchive, /**
+     * Archive tree after adding this checkpoint range.
+     */ newArchive, /**
+     * The hashes of the headers of the constituent checkpoints.
+     */ checkpointHeaderHashes, /**
+     * The summed transaction fees and recipients of the constituent checkpoints.
+     */ fees, /**
+     * Accumulated opening proofs for all blobs before this checkpoint range.
+     */ startBlobAccumulator, /**
+     * Accumulated opening proofs for all blobs after applying this checkpoint range.
+     */ endBlobAccumulator, /**
+     * Final values z and gamma, shared across the epoch.
+     */ finalBlobChallenges){
+        this.constants = constants;
+        this.previousArchive = previousArchive;
+        this.newArchive = newArchive;
+        this.checkpointHeaderHashes = checkpointHeaderHashes;
+        this.fees = fees;
+        this.startBlobAccumulator = startBlobAccumulator;
+        this.endBlobAccumulator = endBlobAccumulator;
+        this.finalBlobChallenges = finalBlobChallenges;
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointRollupPublicInputs(reader.readObject(EpochConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), reader.readObject(BlobAccumulatorPublicInputs), reader.readObject(BlobAccumulatorPublicInputs), reader.readObject(FinalBlobBatchingChallenges));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.checkpointHeaderHashes, this.fees, this.startBlobAccumulator, this.endBlobAccumulator, this.finalBlobChallenges);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return CheckpointRollupPublicInputs.fromBuffer(hexToBuffer(str));
+    }
+    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a hex string. */ static get schema() {
+        return bufferSchemaFor(CheckpointRollupPublicInputs);
+    }
+}
+export class FeeRecipient {
+    recipient;
+    value;
+    constructor(recipient, value){
+        this.recipient = recipient;
+        this.value = value;
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new FeeRecipient(reader.readObject(EthAddress), Fr.fromBuffer(reader));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.recipient, this.value);
+    }
+    static getFields(fields) {
+        return [
+            fields.recipient,
+            fields.value
+        ];
+    }
+    toFields() {
+        return serializeToFields(...FeeRecipient.getFields(this));
+    }
+    isEmpty() {
+        return this.value.isZero() && this.recipient.isZero();
+    }
+    toFriendlyJSON() {
+        if (this.isEmpty()) {
+            return {};
+        }
+        return {
+            recipient: this.recipient.toString(),
+            value: this.value.toString()
+        };
+    }
+    static random() {
+        return new FeeRecipient(EthAddress.random(), Fr.random());
+    }
+}

package/dest/rollup/checkpoint_root_rollup.d.ts

@@ -0,0 +1,117 @@
+import { BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges } from '@aztec/blob-lib';
+import { ARCHIVE_HEIGHT, BLOBS_PER_BLOCK } from '@aztec/constants';
+import { BLS12Point, Fr } from '@aztec/foundation/fields';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { BlockHeader } from '../tx/block_header.js';
+import { BlockRollupPublicInputs } from './block_rollup_public_inputs.js';
+import type { RollupProofData } from './rollup_proof_data.js';
+export declare class CheckpointRootRollupHints {
+    /**
+     * The header of the previous block before this checkpoint.
+     */
+    previousBlockHeader: BlockHeader;
+    /**
+     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
+     */
+    previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    /**
+     * The current blob accumulation state across the epoch.
+     */
+    startBlobAccumulator: BlobAccumulatorPublicInputs;
+    /**
+     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges;
+    /**
+     * Flat list of all tx effects which will be added to the blob.
+     * Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
+     * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_BLOCK>
+     */
+    blobFields: Fr[];
+    /**
+     * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
+     */
+    blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_BLOCK>;
+    /**
+     * The hash of eth blob hashes for this block
+     * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
+     */
+    blobsHash: Fr;
+    constructor(
+    /**
+     * The header of the previous block before this checkpoint.
+     */
+    previousBlockHeader: BlockHeader, 
+    /**
+     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
+     */
+    previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>, 
+    /**
+     * The current blob accumulation state across the epoch.
+     */
+    startBlobAccumulator: BlobAccumulatorPublicInputs, 
+    /**
+     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges, 
+    /**
+     * Flat list of all tx effects which will be added to the blob.
+     * Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
+     * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_BLOCK>
+     */
+    blobFields: Fr[], 
+    /**
+     * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
+     */
+    blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_BLOCK>, 
+    /**
+     * The hash of eth blob hashes for this block
+     * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
+     */
+    blobsHash: Fr);
+    static from(fields: FieldsOf<CheckpointRootRollupHints>): CheckpointRootRollupHints;
+    static getFields(fields: FieldsOf<CheckpointRootRollupHints>): readonly [BlockHeader, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges, Fr[], [BLS12Point, BLS12Point, BLS12Point], Fr];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointRootRollupHints;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointRootRollupHints;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<CheckpointRootRollupHints, any, string>;
+}
+export declare class CheckpointRootRollupPrivateInputs {
+    previousRollups: [RollupProofData<BlockRollupPublicInputs>, RollupProofData<BlockRollupPublicInputs>];
+    hints: CheckpointRootRollupHints;
+    constructor(previousRollups: [RollupProofData<BlockRollupPublicInputs>, RollupProofData<BlockRollupPublicInputs>], hints: CheckpointRootRollupHints);
+    static from(fields: FieldsOf<CheckpointRootRollupPrivateInputs>): CheckpointRootRollupPrivateInputs;
+    static getFields(fields: FieldsOf<CheckpointRootRollupPrivateInputs>): readonly [[RollupProofData<BlockRollupPublicInputs>, RollupProofData<BlockRollupPublicInputs>], CheckpointRootRollupHints];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointRootRollupPrivateInputs;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointRootRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<CheckpointRootRollupPrivateInputs, any, string>;
+}
+export declare class CheckpointRootSingleBlockRollupPrivateInputs {
+    previousRollup: RollupProofData<BlockRollupPublicInputs>;
+    hints: CheckpointRootRollupHints;
+    constructor(previousRollup: RollupProofData<BlockRollupPublicInputs>, hints: CheckpointRootRollupHints);
+    static from(fields: FieldsOf<CheckpointRootSingleBlockRollupPrivateInputs>): CheckpointRootSingleBlockRollupPrivateInputs;
+    static getFields(fields: FieldsOf<CheckpointRootSingleBlockRollupPrivateInputs>): readonly [RollupProofData<BlockRollupPublicInputs>, CheckpointRootRollupHints];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointRootSingleBlockRollupPrivateInputs;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointRootSingleBlockRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<CheckpointRootSingleBlockRollupPrivateInputs, any, string>;
+}
+export declare class CheckpointPaddingRollupPrivateInputs {
+    constructor();
+    toBuffer(): Buffer<ArrayBuffer>;
+    static fromBuffer(_buffer: Buffer | BufferReader): CheckpointPaddingRollupPrivateInputs;
+    toString(): `0x${string}`;
+    static fromString(_str: string): CheckpointPaddingRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBuffer>;
+    static get schema(): import("zod").ZodType<CheckpointPaddingRollupPrivateInputs, any, string>;
+}
+//# sourceMappingURL=checkpoint_root_rollup.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,eAAe,EAAmB,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGxD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,qBAAa,yBAAyB;IAElC;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,eAAe,CAAC;IACjE;;;OAGG;IACI,SAAS,EAAE,EAAE;;IA9BpB;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,eAAe,CAAC;IACjE;;;OAGG;IACI,SAAS,EAAE,EAAE;IAGtB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC;IAIvD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC;IAY5D,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAe/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM;IAIN,MAAM,KAAK,MAAM,kEAEhB;CACF;AAED,qBAAa,iCAAiC;IAEnC,eAAe,EAAE,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,eAAe,CAAC,uBAAuB,CAAC,CAAC;IACrG,KAAK,EAAE,yBAAyB;gBADhC,eAAe,EAAE,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,eAAe,CAAC,uBAAuB,CAAC,CAAC,EACrG,KAAK,EAAE,yBAAyB;IAGzC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAI/D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAIpE,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,0EAEhB;CACF;AAED,qBAAa,4CAA4C;IAE9C,cAAc,EAAE,eAAe,CAAC,uBAAuB,CAAC;IACxD,KAAK,EAAE,yBAAyB;gBADhC,cAAc,EAAE,eAAe,CAAC,uBAAuB,CAAC,EACxD,KAAK,EAAE,yBAAyB;IAGzC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC;IAM1E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC;IAI/E,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,qFAEhB;CACF;AAGD,qBAAa,oCAAoC;;IAG/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY;IAIhD,QAAQ,IAAI,KAAK,MAAM,EAAE;IAIzB,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM;IAI9B,MAAM;IAIN,MAAM,KAAK,MAAM,6EAEhB;CACF"}