@aztec/stdlib 3.0.0-nightly.20250917 → 3.0.0-nightly.20250919

package/dest/rollup/{private_base_rollup_inputs.js → private_tx_base_rollup_private_inputs.js}

@@ -4,7 +4,7 @@ import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
 import { PrivateToRollupKernelCircuitPublicInputs } from '../kernel/private_to_rollup_kernel_circuit_public_inputs.js';
 import { ProofData } from '../proofs/proof_data.js';
 import { PrivateBaseRollupHints } from './base_rollup_hints.js';
-export class PrivateBaseRollupInputs {
+export class PrivateTxBaseRollupPrivateInputs {
     hidingKernelProofData;
     hints;
     constructor(hidingKernelProofData, hints){
@@ -12,7 +12,7 @@ export class PrivateBaseRollupInputs {
         this.hints = hints;
     }
     static from(fields) {
-        return new PrivateBaseRollupInputs(...PrivateBaseRollupInputs.getFields(fields));
+        return new PrivateTxBaseRollupPrivateInputs(...PrivateTxBaseRollupPrivateInputs.getFields(fields));
     }
     static getFields(fields) {
         return [
@@ -22,13 +22,13 @@ export class PrivateBaseRollupInputs {
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateBaseRollupInputs(ProofData.fromBuffer(reader, PrivateToRollupKernelCircuitPublicInputs), reader.readObject(PrivateBaseRollupHints));
+        return new PrivateTxBaseRollupPrivateInputs(ProofData.fromBuffer(reader, PrivateToRollupKernelCircuitPublicInputs), reader.readObject(PrivateBaseRollupHints));
     }
     toBuffer() {
-        return serializeToBuffer(...PrivateBaseRollupInputs.getFields(this));
+        return serializeToBuffer(...PrivateTxBaseRollupPrivateInputs.getFields(this));
     }
     static fromString(str) {
-        return PrivateBaseRollupInputs.fromBuffer(hexToBuffer(str));
+        return PrivateTxBaseRollupPrivateInputs.fromBuffer(hexToBuffer(str));
     }
     toString() {
         return bufferToHex(this.toBuffer());
@@ -37,6 +37,6 @@ export class PrivateBaseRollupInputs {
         return this.toBuffer();
     }
     /** Creates an instance from a hex string. */ static get schema() {
-        return bufferSchemaFor(PrivateBaseRollupInputs);
+        return bufferSchemaFor(PrivateTxBaseRollupPrivateInputs);
     }
 }

package/dest/rollup/{public_base_rollup_inputs.d.ts → public_tx_base_rollup_private_inputs.d.ts}

@@ -4,20 +4,20 @@ import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_p
 import { type RollupHonkProofData } from '../proofs/proof_data.js';
 import { AvmProofData } from './avm_proof_data.js';
 import { PublicBaseRollupHints } from './base_rollup_hints.js';
-export declare class PublicBaseRollupInputs {
+export declare class PublicTxBaseRollupPrivateInputs {
     publicTubeProofData: RollupHonkProofData<PrivateToPublicKernelCircuitPublicInputs>;
     avmProofData: AvmProofData;
     hints: PublicBaseRollupHints;
     constructor(publicTubeProofData: RollupHonkProofData<PrivateToPublicKernelCircuitPublicInputs>, avmProofData: AvmProofData, hints: PublicBaseRollupHints);
-    static from(fields: FieldsOf<PublicBaseRollupInputs>): PublicBaseRollupInputs;
-    static getFields(fields: FieldsOf<PublicBaseRollupInputs>): readonly [RollupHonkProofData<PrivateToPublicKernelCircuitPublicInputs>, AvmProofData, PublicBaseRollupHints];
-    static fromBuffer(buffer: Buffer | BufferReader): PublicBaseRollupInputs;
+    static from(fields: FieldsOf<PublicTxBaseRollupPrivateInputs>): PublicTxBaseRollupPrivateInputs;
+    static getFields(fields: FieldsOf<PublicTxBaseRollupPrivateInputs>): readonly [RollupHonkProofData<PrivateToPublicKernelCircuitPublicInputs>, AvmProofData, PublicBaseRollupHints];
+    static fromBuffer(buffer: Buffer | BufferReader): PublicTxBaseRollupPrivateInputs;
     toBuffer(): Buffer<ArrayBufferLike>;
-    static fromString(str: string): PublicBaseRollupInputs;
+    static fromString(str: string): PublicTxBaseRollupPrivateInputs;
     toString(): `0x${string}`;
     /** Returns a representation for JSON serialization. */
     toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a string. */
-    static get schema(): import("zod").ZodType<PublicBaseRollupInputs, any, string>;
+    static get schema(): import("zod").ZodType<PublicTxBaseRollupPrivateInputs, any, string>;
 }
-//# sourceMappingURL=public_base_rollup_inputs.d.ts.map
+//# sourceMappingURL=public_tx_base_rollup_private_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public_tx_base_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_tx_base_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,qBAAa,+BAA+B;IAEjC,mBAAmB,EAAE,mBAAmB,CAAC,wCAAwC,CAAC;IAClF,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,qBAAqB;gBAF5B,mBAAmB,EAAE,mBAAmB,CAAC,wCAAwC,CAAC,EAClF,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,qBAAqB;IAGrC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,+BAA+B,CAAC,GAAG,+BAA+B;IAI/F,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,+BAA+B,CAAC;IAIlE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,+BAA+B;IASjF,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,wEAEhB;CACF"}

package/dest/rollup/{public_base_rollup_inputs.js → public_tx_base_rollup_private_inputs.js}

@@ -5,7 +5,7 @@ import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_p
 import { ProofData } from '../proofs/proof_data.js';
 import { AvmProofData } from './avm_proof_data.js';
 import { PublicBaseRollupHints } from './base_rollup_hints.js';
-export class PublicBaseRollupInputs {
+export class PublicTxBaseRollupPrivateInputs {
     publicTubeProofData;
     avmProofData;
     hints;
@@ -15,7 +15,7 @@ export class PublicBaseRollupInputs {
         this.hints = hints;
     }
     static from(fields) {
-        return new PublicBaseRollupInputs(...PublicBaseRollupInputs.getFields(fields));
+        return new PublicTxBaseRollupPrivateInputs(...PublicTxBaseRollupPrivateInputs.getFields(fields));
     }
     static getFields(fields) {
         return [
@@ -26,13 +26,13 @@ export class PublicBaseRollupInputs {
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PublicBaseRollupInputs(ProofData.fromBuffer(reader, PrivateToPublicKernelCircuitPublicInputs), reader.readObject(AvmProofData), reader.readObject(PublicBaseRollupHints));
+        return new PublicTxBaseRollupPrivateInputs(ProofData.fromBuffer(reader, PrivateToPublicKernelCircuitPublicInputs), reader.readObject(AvmProofData), reader.readObject(PublicBaseRollupHints));
     }
     toBuffer() {
-        return serializeToBuffer(...PublicBaseRollupInputs.getFields(this));
+        return serializeToBuffer(...PublicTxBaseRollupPrivateInputs.getFields(this));
     }
     static fromString(str) {
-        return PublicBaseRollupInputs.fromBuffer(hexToBuffer(str));
+        return PublicTxBaseRollupPrivateInputs.fromBuffer(hexToBuffer(str));
     }
     toString() {
         return bufferToHex(this.toBuffer());
@@ -41,6 +41,6 @@ export class PublicBaseRollupInputs {
         return this.toBuffer();
     }
     /** Creates an instance from a string. */ static get schema() {
-        return bufferSchemaFor(PublicBaseRollupInputs);
+        return bufferSchemaFor(PublicTxBaseRollupPrivateInputs);
     }
 }

package/dest/rollup/root_rollup_private_inputs.d.ts

@@ -0,0 +1,67 @@
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { type RollupHonkProofData } from '../proofs/proof_data.js';
+import { CheckpointRollupPublicInputs } from './checkpoint_rollup_public_inputs.js';
+/**
+ * Represents inputs of the root rollup circuit.
+ */
+export declare class RootRollupPrivateInputs {
+    /**
+     * The previous rollup data.
+     * Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
+     * from 2 checkpoint root/merge/padding circuits.
+     */
+    previousRollups: [
+        RollupHonkProofData<CheckpointRollupPublicInputs>,
+        RollupHonkProofData<CheckpointRollupPublicInputs>
+    ];
+    constructor(
+    /**
+     * The previous rollup data.
+     * Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
+     * from 2 checkpoint root/merge/padding circuits.
+     */
+    previousRollups: [
+        RollupHonkProofData<CheckpointRollupPublicInputs>,
+        RollupHonkProofData<CheckpointRollupPublicInputs>
+    ]);
+    /**
+     * Serializes the inputs to a buffer.
+     * @returns - The inputs serialized to a buffer.
+     */
+    toBuffer(): Buffer<ArrayBufferLike>;
+    /**
+     * Serializes the inputs to a hex string.
+     * @returns The instance serialized to a hex string.
+     */
+    toString(): `0x${string}`;
+    /**
+     * Creates a new instance from fields.
+     * @param fields - Fields to create the instance from.
+     * @returns A new RootRollupPrivateInputs instance.
+     */
+    static from(fields: FieldsOf<RootRollupPrivateInputs>): RootRollupPrivateInputs;
+    /**
+     * Extracts fields from an instance.
+     * @param fields - Fields to create the instance from.
+     * @returns An array of fields.
+     */
+    static getFields(fields: FieldsOf<RootRollupPrivateInputs>): readonly [[RollupHonkProofData<CheckpointRollupPublicInputs>, RollupHonkProofData<CheckpointRollupPublicInputs>]];
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - A buffer to deserialize from.
+     * @returns A new RootRollupPrivateInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): RootRollupPrivateInputs;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new RootRollupPrivateInputs instance.
+     */
+    static fromString(str: string): RootRollupPrivateInputs;
+    /** Returns a representation for JSON serialization. */
+    toJSON(): Buffer<ArrayBufferLike>;
+    /** Creates an instance from a string. */
+    static get schema(): import("zod").ZodType<RootRollupPrivateInputs, any, string>;
+}
+//# sourceMappingURL=root_rollup_private_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"root_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEpF;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;;;OAIG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD;;IARD;;;;OAIG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD;IAGH;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAIrD;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,gEAEhB;CACF"}

package/dest/rollup/root_rollup_private_inputs.js

@@ -0,0 +1,69 @@
+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 root rollup circuit.
+ */ export class RootRollupPrivateInputs {
+    previousRollups;
+    constructor(/**
+     * The previous rollup data.
+     * Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
+     * from 2 checkpoint root/merge/padding circuits.
+     */ previousRollups){
+        this.previousRollups = previousRollups;
+    }
+    /**
+   * Serializes the inputs to a buffer.
+   * @returns - The inputs serialized to a buffer.
+   */ toBuffer() {
+        return serializeToBuffer(...RootRollupPrivateInputs.getFields(this));
+    }
+    /**
+   * Serializes the inputs to a hex string.
+   * @returns The instance serialized to a hex string.
+   */ toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /**
+   * Creates a new instance from fields.
+   * @param fields - Fields to create the instance from.
+   * @returns A new RootRollupPrivateInputs instance.
+   */ static from(fields) {
+        return new RootRollupPrivateInputs(...RootRollupPrivateInputs.getFields(fields));
+    }
+    /**
+   * Extracts fields from an instance.
+   * @param fields - Fields to create the instance from.
+   * @returns An array of fields.
+   */ static getFields(fields) {
+        return [
+            fields.previousRollups
+        ];
+    }
+    /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - A buffer to deserialize from.
+   * @returns A new RootRollupPrivateInputs instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new RootRollupPrivateInputs([
+            ProofData.fromBuffer(reader, CheckpointRollupPublicInputs),
+            ProofData.fromBuffer(reader, CheckpointRollupPublicInputs)
+        ]);
+    }
+    /**
+   * Deserializes the inputs from a hex string.
+   * @param str - A hex string to deserialize from.
+   * @returns A new RootRollupPrivateInputs instance.
+   */ static fromString(str) {
+        return RootRollupPrivateInputs.fromBuffer(hexToBuffer(str));
+    }
+    /** Returns a representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a string. */ static get schema() {
+        return bufferSchemaFor(RootRollupPrivateInputs);
+    }
+}

package/dest/rollup/root_rollup_public_inputs.d.ts

@@ -0,0 +1,46 @@
+import { FinalBlobAccumulatorPublicInputs } from '@aztec/blob-lib';
+import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { FeeRecipient } from './checkpoint_rollup_public_inputs.js';
+import { EpochConstantData } from './epoch_constant_data.js';
+/**
+ * Represents public inputs of the root rollup circuit.
+ *
+ * NOTE: in practice, we'll hash all of this up into a single public input, for cheap onchain verification.
+ */
+export declare class RootRollupPublicInputs {
+    /** Root of the archive tree before this rollup is processed */
+    previousArchiveRoot: Fr;
+    /** Root of the archive tree after this rollup is processed */
+    endArchiveRoot: Fr;
+    checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
+    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
+    constants: EpochConstantData;
+    blobPublicInputs: FinalBlobAccumulatorPublicInputs;
+    constructor(
+    /** Root of the archive tree before this rollup is processed */
+    previousArchiveRoot: Fr, 
+    /** Root of the archive tree after this rollup is processed */
+    endArchiveRoot: Fr, checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>, fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, constants: EpochConstantData, blobPublicInputs: FinalBlobAccumulatorPublicInputs);
+    static getFields(fields: FieldsOf<RootRollupPublicInputs>): readonly [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, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient], EpochConstantData, FinalBlobAccumulatorPublicInputs];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    toFields(): Fr[];
+    static from(fields: FieldsOf<RootRollupPublicInputs>): RootRollupPublicInputs;
+    /**
+     * Deserializes a buffer into a `RootRollupPublicInputs` object.
+     * @param buffer - The buffer to deserialize.
+     * @returns The deserialized `RootRollupPublicInputs` object.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): RootRollupPublicInputs;
+    toString(): `0x${string}`;
+    static fromString(str: string): RootRollupPublicInputs;
+    /** Returns a representation for JSON serialization. */
+    toJSON(): Buffer<ArrayBufferLike>;
+    /** Creates an instance from a string. */
+    static get schema(): import("zod").ZodType<RootRollupPublicInputs, any, string>;
+    /** Creates a random instance. Used for testing only - will not prove/verify. */
+    static random(): RootRollupPublicInputs;
+}
+//# sourceMappingURL=root_rollup_public_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"root_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gCAAgC,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,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,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE;IAClB,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IAC1D,SAAS,EAAE,iBAAiB;IAC5B,gBAAgB,EAAE,gCAAgC;;IAPzD,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE,EAClB,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC,EAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,EAC1D,SAAS,EAAE,iBAAiB,EAC5B,gBAAgB,EAAE,gCAAgC;IAG3D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAWzD,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAY/E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,gFAAgF;IAChF,MAAM,CAAC,MAAM;CAUd"}

package/dest/rollup/root_rollup_public_inputs.js

@@ -0,0 +1,71 @@
+import { FinalBlobAccumulatorPublicInputs } from '@aztec/blob-lib';
+import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+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 { FeeRecipient } from './checkpoint_rollup_public_inputs.js';
+import { EpochConstantData } from './epoch_constant_data.js';
+/**
+ * Represents public inputs of the root rollup circuit.
+ *
+ * NOTE: in practice, we'll hash all of this up into a single public input, for cheap onchain verification.
+ */ export class RootRollupPublicInputs {
+    previousArchiveRoot;
+    endArchiveRoot;
+    checkpointHeaderHashes;
+    fees;
+    constants;
+    blobPublicInputs;
+    constructor(/** Root of the archive tree before this rollup is processed */ previousArchiveRoot, /** Root of the archive tree after this rollup is processed */ endArchiveRoot, checkpointHeaderHashes, fees, constants, blobPublicInputs){
+        this.previousArchiveRoot = previousArchiveRoot;
+        this.endArchiveRoot = endArchiveRoot;
+        this.checkpointHeaderHashes = checkpointHeaderHashes;
+        this.fees = fees;
+        this.constants = constants;
+        this.blobPublicInputs = blobPublicInputs;
+    }
+    static getFields(fields) {
+        return [
+            fields.previousArchiveRoot,
+            fields.endArchiveRoot,
+            fields.checkpointHeaderHashes,
+            fields.fees,
+            fields.constants,
+            fields.blobPublicInputs
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...RootRollupPublicInputs.getFields(this));
+    }
+    toFields() {
+        return serializeToFields(...RootRollupPublicInputs.getFields(this));
+    }
+    static from(fields) {
+        return new RootRollupPublicInputs(...RootRollupPublicInputs.getFields(fields));
+    }
+    /**
+   * Deserializes a buffer into a `RootRollupPublicInputs` object.
+   * @param buffer - The buffer to deserialize.
+   * @returns The deserialized `RootRollupPublicInputs` object.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new RootRollupPublicInputs(Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), EpochConstantData.fromBuffer(reader), reader.readObject(FinalBlobAccumulatorPublicInputs));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return RootRollupPublicInputs.fromBuffer(hexToBuffer(str));
+    }
+    /** Returns a representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a string. */ static get schema() {
+        return bufferSchemaFor(RootRollupPublicInputs);
+    }
+    /** Creates a random instance. Used for testing only - will not prove/verify. */ static random() {
+        return new RootRollupPublicInputs(Fr.random(), Fr.random(), makeTuple(AZTEC_MAX_EPOCH_DURATION, Fr.random), makeTuple(AZTEC_MAX_EPOCH_DURATION, FeeRecipient.random), new EpochConstantData(Fr.random(), Fr.random(), Fr.random(), Fr.random(), Fr.random()), FinalBlobAccumulatorPublicInputs.random());
+    }
+}

package/dest/rollup/{merge_rollup.d.ts → tx_merge_rollup_private_inputs.d.ts}

@@ -1,18 +1,19 @@
 import { BufferReader } from '@aztec/foundation/serialize';
-import { PreviousRollupData } from './previous_rollup_data.js';
+import { type RollupHonkProofData } from '../proofs/proof_data.js';
+import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js';
 /**
  * Represents inputs of the merge rollup circuit.
  */
-export declare class MergeRollupInputs {
+export declare class TxMergeRollupPrivateInputs {
     /**
      * Previous rollup data from the 2 merge or base rollup circuits that preceded this merge rollup circuit.
      */
-    previousRollupData: [PreviousRollupData, PreviousRollupData];
+    previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>];
     constructor(
     /**
      * Previous rollup data from the 2 merge or base rollup circuits that preceded this merge rollup circuit.
      */
-    previousRollupData: [PreviousRollupData, PreviousRollupData]);
+    previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>]);
     /**
      * Serializes the inputs to a buffer.
      * @returns The inputs serialized to a buffer.
@@ -26,18 +27,18 @@ export declare class MergeRollupInputs {
     /**
      * Deserializes the inputs from a buffer.
      * @param buffer - The buffer to deserialize from.
-     * @returns A new MergeRollupInputs instance.
+     * @returns A new TxMergeRollupPrivateInputs instance.
      */
-    static fromBuffer(buffer: Buffer | BufferReader): MergeRollupInputs;
+    static fromBuffer(buffer: Buffer | BufferReader): TxMergeRollupPrivateInputs;
     /**
      * Deserializes the inputs from a hex string.
      * @param str - A hex string to deserialize from.
-     * @returns A new MergeRollupInputs instance.
+     * @returns A new TxMergeRollupPrivateInputs instance.
      */
-    static fromString(str: string): MergeRollupInputs;
+    static fromString(str: string): TxMergeRollupPrivateInputs;
     /** Returns a buffer representation for JSON serialization. */
     toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a string. */
-    static get schema(): import("zod").ZodType<MergeRollupInputs, any, string>;
+    static get schema(): import("zod").ZodType<TxMergeRollupPrivateInputs, any, string>;
 }
-//# sourceMappingURL=merge_rollup.d.ts.map
+//# sourceMappingURL=tx_merge_rollup_private_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tx_merge_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/tx_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,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;;IAH9G;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAGhH;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,mEAEhB;CACF"}

package/dest/rollup/{merge_rollup.js → tx_merge_rollup_private_inputs.js}

@@ -1,21 +1,22 @@
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-import { PreviousRollupData } from './previous_rollup_data.js';
+import { ProofData } from '../proofs/proof_data.js';
+import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js';
 /**
  * Represents inputs of the merge rollup circuit.
- */ export class MergeRollupInputs {
-    previousRollupData;
+ */ export class TxMergeRollupPrivateInputs {
+    previousRollups;
     constructor(/**
      * Previous rollup data from the 2 merge or base rollup circuits that preceded this merge rollup circuit.
-     */ previousRollupData){
-        this.previousRollupData = previousRollupData;
+     */ previousRollups){
+        this.previousRollups = previousRollups;
     }
     /**
    * Serializes the inputs to a buffer.
    * @returns The inputs serialized to a buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.previousRollupData);
+        return serializeToBuffer(this.previousRollups);
     }
     /**
    * Serializes the inputs to a hex string.
@@ -26,25 +27,25 @@ import { PreviousRollupData } from './previous_rollup_data.js';
     /**
    * Deserializes the inputs from a buffer.
    * @param buffer - The buffer to deserialize from.
-   * @returns A new MergeRollupInputs instance.
+   * @returns A new TxMergeRollupPrivateInputs instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new MergeRollupInputs([
-            reader.readObject(PreviousRollupData),
-            reader.readObject(PreviousRollupData)
+        return new TxMergeRollupPrivateInputs([
+            ProofData.fromBuffer(reader, TxRollupPublicInputs),
+            ProofData.fromBuffer(reader, TxRollupPublicInputs)
         ]);
     }
     /**
    * Deserializes the inputs from a hex string.
    * @param str - A hex string to deserialize from.
-   * @returns A new MergeRollupInputs instance.
+   * @returns A new TxMergeRollupPrivateInputs instance.
    */ static fromString(str) {
-        return MergeRollupInputs.fromBuffer(hexToBuffer(str));
+        return TxMergeRollupPrivateInputs.fromBuffer(hexToBuffer(str));
     }
     /** Returns a buffer representation for JSON serialization. */ toJSON() {
         return this.toBuffer();
     }
     /** Creates an instance from a string. */ static get schema() {
-        return bufferSchemaFor(MergeRollupInputs);
+        return bufferSchemaFor(TxMergeRollupPrivateInputs);
     }
 }

package/dest/rollup/{base_or_merge_rollup_public_inputs.d.ts → tx_rollup_public_inputs.d.ts}

@@ -1,4 +1,4 @@
-import { SpongeBlob } from '@aztec/blob-lib';
+import { SpongeBlob } from '@aztec/blob-lib/types';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { PartialStateReference } from '../tx/partial_state_reference.js';
@@ -6,7 +6,7 @@ import { BlockConstantData } from './block_constant_data.js';
 /**
  * Output of the base and merge rollup circuits.
  */
-export declare class BaseOrMergeRollupPublicInputs {
+export declare class TxRollupPublicInputs {
     /**
      * Number of txs in this rollup.
      */
@@ -18,11 +18,11 @@ export declare class BaseOrMergeRollupPublicInputs {
     /**
      * Partial state reference at the start of the rollup circuit.
      */
-    start: PartialStateReference;
+    startPartialState: PartialStateReference;
     /**
      * Partial state reference at the end of the rollup circuit.
      */
-    end: PartialStateReference;
+    endPartialState: PartialStateReference;
     /**
      * Sponge state to absorb blob inputs at the start of the rollup circuit.
      */
@@ -56,11 +56,11 @@ export declare class BaseOrMergeRollupPublicInputs {
     /**
      * Partial state reference at the start of the rollup circuit.
      */
-    start: PartialStateReference, 
+    startPartialState: PartialStateReference, 
     /**
      * Partial state reference at the end of the rollup circuit.
      */
-    end: PartialStateReference, 
+    endPartialState: PartialStateReference, 
     /**
      * Sponge state to absorb blob inputs at the start of the rollup circuit.
      */
@@ -83,14 +83,14 @@ export declare class BaseOrMergeRollupPublicInputs {
      */
     accumulatedManaUsed: Fr);
     /** Returns an empty instance. */
-    static empty(): BaseOrMergeRollupPublicInputs;
+    static empty(): TxRollupPublicInputs;
     /**
      * Deserializes from a buffer or reader.
      * Note: Corresponds to a write in cpp.
      * @param buffer - Buffer or reader to read from.
      * @returns The deserialized public inputs.
      */
-    static fromBuffer(buffer: Buffer | BufferReader): BaseOrMergeRollupPublicInputs;
+    static fromBuffer(buffer: Buffer | BufferReader): TxRollupPublicInputs;
     /**
      * Serialize this as a buffer.
      * @returns The buffer.
@@ -104,12 +104,12 @@ export declare class BaseOrMergeRollupPublicInputs {
     /**
      * Deserializes from a hex string.
      * @param str - A hex string to deserialize from.
-     * @returns A new BaseOrMergeRollupPublicInputs instance.
+     * @returns A new TxRollupPublicInputs instance.
      */
-    static fromString(str: string): BaseOrMergeRollupPublicInputs;
+    static fromString(str: string): TxRollupPublicInputs;
     /** Returns a buffer representation for JSON serialization. */
     toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<BaseOrMergeRollupPublicInputs, any, string>;
+    static get schema(): import("zod").ZodType<TxRollupPublicInputs, any, string>;
 }
-//# sourceMappingURL=base_or_merge_rollup_public_inputs.d.ts.map
+//# sourceMappingURL=tx_rollup_public_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tx_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/tx_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,oBAAoB;IAE7B;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,iBAAiB,EAAE,qBAAqB;IAC/C;;OAEG;IACI,eAAe,EAAE,qBAAqB;IAC7C;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;;IApC9B;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,iBAAiB,EAAE,qBAAqB;IAC/C;;OAEG;IACI,eAAe,EAAE,qBAAqB;IAC7C;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IAGhC,iCAAiC;IACjC,MAAM,CAAC,KAAK;IAcZ;;;;;OAKG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB;IAetE;;;OAGG;IACH,QAAQ;IAkBR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,6DAEhB;CACF"}