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

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;AAGxD,OAAO,EAAkC,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACnG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAE3F,qBAAa,+BAA+B;IAEjC,4BAA4B,EAAE,mBAAmB,CAAC,+BAA+B,CAAC;IAClF,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,qBAAqB;IAHrC,YACS,4BAA4B,EAAE,mBAAmB,CAAC,+BAA+B,CAAC,EAClF,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,qBAAqB,EACjC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,+BAA+B,CAAC,GAAG,+BAA+B,CAE9F;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,+BAA+B,CAAC,wGAEjE;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,+BAA+B,CAOhF;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,mCAE5B;IAED,QAAQ,kBAEP;IAED,uDAAuD;IACvD,MAAM,4BAEL;IAED,yCAAyC;IACzC,MAAM,KAAK,MAAM,wEAEhB;CACF"}

package/dest/rollup/public_tx_base_rollup_private_inputs.js

@@ -0,0 +1,46 @@
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { AvmCircuitPublicInputs } from '../avm/avm_circuit_public_inputs.js';
+import { ProofData, ProofDataForFixedVk } from '../proofs/proof_data.js';
+import { PublicBaseRollupHints } from './base_rollup_hints.js';
+import { PublicChonkVerifierPublicInputs } from './public_chonk_verifier_public_inputs.js';
+export class PublicTxBaseRollupPrivateInputs {
+    publicChonkVerifierProofData;
+    avmProofData;
+    hints;
+    constructor(publicChonkVerifierProofData, avmProofData, hints){
+        this.publicChonkVerifierProofData = publicChonkVerifierProofData;
+        this.avmProofData = avmProofData;
+        this.hints = hints;
+    }
+    static from(fields) {
+        return new PublicTxBaseRollupPrivateInputs(...PublicTxBaseRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.publicChonkVerifierProofData,
+            fields.avmProofData,
+            fields.hints
+        ];
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PublicTxBaseRollupPrivateInputs(ProofData.fromBuffer(reader, PublicChonkVerifierPublicInputs), ProofDataForFixedVk.fromBuffer(reader, AvmCircuitPublicInputs), reader.readObject(PublicBaseRollupHints));
+    }
+    toBuffer() {
+        return serializeToBuffer(...PublicTxBaseRollupPrivateInputs.getFields(this));
+    }
+    static fromString(str) {
+        return PublicTxBaseRollupPrivateInputs.fromBuffer(hexToBuffer(str));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /** Returns a representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a string. */ static get schema() {
+        return bufferSchemaFor(PublicTxBaseRollupPrivateInputs);
+    }
+}

package/dest/rollup/root_rollup_private_inputs.d.ts

@@ -0,0 +1,62 @@
+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 {
+    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=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicm9vdF9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvcm9vdF9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUU5RSxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQWEsS0FBSyxtQkFBbUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzlFLE9BQU8sRUFBRSw0QkFBNEIsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBRXBGOztHQUVHO0FBQ0gscUJBQWEsdUJBQXVCO0lBT3pCLGVBQWUsRUFBRTtRQUN0QixtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztRQUNqRCxtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztLQUNsRDtJQVRIO0lBQ0U7Ozs7T0FJRztJQUNJLGVBQWUsRUFBRTtRQUN0QixtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztRQUNqRCxtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztLQUNsRCxFQUNDO0lBRUo7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVEOzs7T0FHRztJQUNILFFBQVEsa0JBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHVCQUF1QixDQUFDLDJCQUVwRDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsdUJBQXVCLENBQUMscUhBRXpEO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLDJCQU05QztJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDJCQUU1QjtJQUVELHVEQUF1RDtJQUN2RCxNQUFNLDRCQUVMO0lBRUQseUNBQXlDO0lBQ3pDLE1BQU0sS0FBSyxNQUFNLGdFQUVoQjtDQUNGIn0=

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;IAOzB,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD;IATH;IACE;;;;OAIG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD,EACC;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,2BAEpD;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,qHAEzD;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,2BAM9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,2BAE5B;IAED,uDAAuD;IACvD,MAAM,4BAEL;IAED,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,44 @@
+import { FinalBlobAccumulator } from '@aztec/blob-lib/types';
+import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+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 {
+    previousArchiveRoot: Fr;
+    endArchiveRoot: Fr;
+    checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
+    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
+    constants: EpochConstantData;
+    blobPublicInputs: FinalBlobAccumulator;
+    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: FinalBlobAccumulator);
+    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, FinalBlobAccumulator];
+    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=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicm9vdF9yb2xsdXBfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9yb290X3JvbGx1cF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQzdELE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRTVELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssS0FBSyxFQUF3QyxNQUFNLDZCQUE2QixDQUFDO0FBRTdHLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUNwRSxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUU3RDs7OztHQUlHO0FBQ0gscUJBQWEsc0JBQXNCO0lBR3hCLG1CQUFtQixFQUFFLEVBQUU7SUFFdkIsY0FBYyxFQUFFLEVBQUU7SUFDbEIsc0JBQXNCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHdCQUF3QixDQUFDO0lBQ2xFLElBQUksRUFBRSxLQUFLLENBQUMsWUFBWSxFQUFFLE9BQU8sd0JBQXdCLENBQUM7SUFDMUQsU0FBUyxFQUFFLGlCQUFpQjtJQUM1QixnQkFBZ0IsRUFBRSxvQkFBb0I7SUFSL0M7SUFDRSwrREFBK0Q7SUFDeEQsbUJBQW1CLEVBQUUsRUFBRTtJQUM5Qiw4REFBOEQ7SUFDdkQsY0FBYyxFQUFFLEVBQUUsRUFDbEIsc0JBQXNCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHdCQUF3QixDQUFDLEVBQ2xFLElBQUksRUFBRSxLQUFLLENBQUMsWUFBWSxFQUFFLE9BQU8sd0JBQXdCLENBQUMsRUFDMUQsU0FBUyxFQUFFLGlCQUFpQixFQUM1QixnQkFBZ0IsRUFBRSxvQkFBb0IsRUFDM0M7SUFFSixNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsc0JBQXNCLENBQUMsazZCQVN4RDtJQUVELFFBQVEsNEJBRVA7SUFFRCxRQUFRLElBQUksRUFBRSxFQUFFLENBRWY7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsc0JBQXNCLENBQUMsR0FBRyxzQkFBc0IsQ0FFNUU7SUFFRDs7OztPQUlHO0lBQ0gsT0FBYyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsc0JBQXNCLENBVTlFO0lBRUQsUUFBUSxrQkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sMEJBRTVCO0lBRUQsdURBQXVEO0lBQ3ZELE1BQU0sNEJBRUw7SUFFRCx5Q0FBeUM7SUFDekMsTUFBTSxLQUFLLE1BQU0sK0RBRWhCO0lBRUQsZ0ZBQWdGO0lBQ2hGLE1BQU0sQ0FBQyxNQUFNLDJCQVNaO0NBQ0YifQ==

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,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,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;IAGxB,mBAAmB,EAAE,EAAE;IAEvB,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,oBAAoB;IAR/C;IACE,+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,oBAAoB,EAC3C;IAEJ,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,k6BASxD;IAED,QAAQ,4BAEP;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB,CAE5E;IAED;;;;OAIG;IACH,OAAc,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB,CAU9E;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,0BAE5B;IAED,uDAAuD;IACvD,MAAM,4BAEL;IAED,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,gFAAgF;IAChF,MAAM,CAAC,MAAM,2BASZ;CACF"}

package/dest/rollup/root_rollup_public_inputs.js

@@ -0,0 +1,71 @@
+import { FinalBlobAccumulator } from '@aztec/blob-lib/types';
+import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { Fr } from '@aztec/foundation/curves/bn254';
+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(FinalBlobAccumulator));
+    }
+    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()), FinalBlobAccumulator.random());
+    }
+}

package/dest/rollup/tree_snapshot_diff_hints.d.ts

@@ -0,0 +1,64 @@
+import { MAX_NULLIFIERS_PER_TX, NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH, NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH, NULLIFIER_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import { MembershipWitness } from '@aztec/foundation/trees';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { NullifierLeafPreimage } from '../trees/index.js';
+/**
+ * Hints used while proving state diff validity for the private base rollup.
+ */
+export declare class TreeSnapshotDiffHints {
+    noteHashSubtreeRootSiblingPath: Tuple<Fr, typeof NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
+    nullifierPredecessorPreimages: Tuple<NullifierLeafPreimage, typeof MAX_NULLIFIERS_PER_TX>;
+    nullifierPredecessorMembershipWitnesses: Tuple<MembershipWitness<typeof NULLIFIER_TREE_HEIGHT>, typeof MAX_NULLIFIERS_PER_TX>;
+    sortedNullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>;
+    sortedNullifierIndexes: Tuple<number, typeof MAX_NULLIFIERS_PER_TX>;
+    nullifierSubtreeRootSiblingPath: Tuple<Fr, typeof NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
+    feePayerBalanceMembershipWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>;
+    constructor(
+    /**
+     * Sibling path "pointing to" where the new note hash subtree should be inserted into the note hash tree.
+     */
+    noteHashSubtreeRootSiblingPath: Tuple<Fr, typeof NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH>, 
+    /**
+     * The nullifiers which need to be updated to perform the batch insertion of the new nullifiers.
+     * See `StandardIndexedTree.batchInsert` function for more details.
+     */
+    nullifierPredecessorPreimages: Tuple<NullifierLeafPreimage, typeof MAX_NULLIFIERS_PER_TX>, 
+    /**
+     * Membership witnesses for the nullifiers which need to be updated to perform the batch insertion of the new
+     * nullifiers.
+     */
+    nullifierPredecessorMembershipWitnesses: Tuple<MembershipWitness<typeof NULLIFIER_TREE_HEIGHT>, typeof MAX_NULLIFIERS_PER_TX>, 
+    /**
+     * The nullifiers to be inserted in the tree, sorted high to low.
+     */
+    sortedNullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>, 
+    /**
+     * The indexes of the sorted nullifiers to the original ones.
+     */
+    sortedNullifierIndexes: Tuple<number, typeof MAX_NULLIFIERS_PER_TX>, 
+    /**
+     * Sibling path "pointing to" where the new nullifiers subtree should be inserted into the nullifier tree.
+     */
+    nullifierSubtreeRootSiblingPath: Tuple<Fr, typeof NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH>, 
+    /**
+     * Membership witness for the fee payer's balance leaf in the public data tree.
+     */
+    feePayerBalanceMembershipWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>);
+    static from(fields: FieldsOf<TreeSnapshotDiffHints>): TreeSnapshotDiffHints;
+    static getFields(fields: FieldsOf<TreeSnapshotDiffHints>): 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], [NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage, NullifierLeafPreimage], [MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>, MembershipWitness<42>], [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, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number], [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], MembershipWitness<40>];
+    /**
+     * Serializes the state diff hints to a buffer.
+     * @returns A buffer of the serialized state diff hints.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Deserializes the state diff hints from a buffer.
+     * @param buffer - A buffer to deserialize from.
+     * @returns A new TreeSnapshotDiffHints instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): TreeSnapshotDiffHints;
+    static empty(): TreeSnapshotDiffHints;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHJlZV9zbmFwc2hvdF9kaWZmX2hpbnRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL3RyZWVfc25hcHNob3RfZGlmZl9oaW50cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wscUJBQXFCLEVBQ3JCLDBDQUEwQyxFQUMxQywwQ0FBMEMsRUFDMUMscUJBQXFCLEVBQ3JCLHVCQUF1QixFQUN4QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssS0FBSyxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBQzFGLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRTFEOztHQUVHO0FBQ0gscUJBQWEscUJBQXFCO0lBS3ZCLDhCQUE4QixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTywwQ0FBMEMsQ0FBQztJQUs1Riw2QkFBNkIsRUFBRSxLQUFLLENBQUMscUJBQXFCLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQztJQUt6Rix1Q0FBdUMsRUFBRSxLQUFLLENBQ25ELGlCQUFpQixDQUFDLE9BQU8scUJBQXFCLENBQUMsRUFDL0MsT0FBTyxxQkFBcUIsQ0FDN0I7SUFJTSxnQkFBZ0IsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8scUJBQXFCLENBQUM7SUFJekQsc0JBQXNCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBSW5FLCtCQUErQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTywwQ0FBMEMsQ0FBQztJQUk3RixnQ0FBZ0MsRUFBRSxpQkFBaUIsQ0FBQyxPQUFPLHVCQUF1QixDQUFDO0lBakM1RjtJQUNFOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDBDQUEwQyxDQUFDO0lBQ25HOzs7T0FHRztJQUNJLDZCQUE2QixFQUFFLEtBQUssQ0FBQyxxQkFBcUIsRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQ2hHOzs7T0FHRztJQUNJLHVDQUF1QyxFQUFFLEtBQUssQ0FDbkQsaUJBQWlCLENBQUMsT0FBTyxxQkFBcUIsQ0FBQyxFQUMvQyxPQUFPLHFCQUFxQixDQUM3QjtJQUNEOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQ2hFOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQzFFOztPQUVHO0lBQ0ksK0JBQStCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDBDQUEwQyxDQUFDO0lBQ3BHOztPQUVHO0lBQ0ksZ0NBQWdDLEVBQUUsaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQyxFQUN4RjtJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyxHQUFHLHFCQUFxQixDQUUxRTtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyxnOUhBVXZEO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxxQkFBcUIsQ0FhdEU7SUFFRCxNQUFNLENBQUMsS0FBSywwQkFVWDtDQUNGIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"tree_snapshot_diff_hints.d.ts","sourceRoot":"","sources":["../../src/rollup/tree_snapshot_diff_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,0CAA0C,EAC1C,0CAA0C,EAC1C,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE1D;;GAEG;AACH,qBAAa,qBAAqB;IAKvB,8BAA8B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IAK5F,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAKzF,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IAIM,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAIzD,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAInE,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IAI7F,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IAjC5F;IACE;;OAEG;IACI,8BAA8B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IACnG;;;OAGG;IACI,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAChG;;;OAGG;IACI,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IACD;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAChE;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC1E;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0CAA0C,CAAC;IACpG;;OAEG;IACI,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACxF;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB,CAE1E;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,g9HAUvD;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAatE;IAED,MAAM,CAAC,KAAK,0BAUX;CACF"}

package/dest/rollup/tree_snapshot_diff_hints.js

@@ -0,0 +1,75 @@
+import { MAX_NULLIFIERS_PER_TX, NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH, NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH, NULLIFIER_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { MembershipWitness } from '@aztec/foundation/trees';
+import { NullifierLeafPreimage } from '../trees/index.js';
+/**
+ * Hints used while proving state diff validity for the private base rollup.
+ */ export class TreeSnapshotDiffHints {
+    noteHashSubtreeRootSiblingPath;
+    nullifierPredecessorPreimages;
+    nullifierPredecessorMembershipWitnesses;
+    sortedNullifiers;
+    sortedNullifierIndexes;
+    nullifierSubtreeRootSiblingPath;
+    feePayerBalanceMembershipWitness;
+    constructor(/**
+     * Sibling path "pointing to" where the new note hash subtree should be inserted into the note hash tree.
+     */ noteHashSubtreeRootSiblingPath, /**
+     * The nullifiers which need to be updated to perform the batch insertion of the new nullifiers.
+     * See `StandardIndexedTree.batchInsert` function for more details.
+     */ nullifierPredecessorPreimages, /**
+     * Membership witnesses for the nullifiers which need to be updated to perform the batch insertion of the new
+     * nullifiers.
+     */ nullifierPredecessorMembershipWitnesses, /**
+     * The nullifiers to be inserted in the tree, sorted high to low.
+     */ sortedNullifiers, /**
+     * The indexes of the sorted nullifiers to the original ones.
+     */ sortedNullifierIndexes, /**
+     * Sibling path "pointing to" where the new nullifiers subtree should be inserted into the nullifier tree.
+     */ nullifierSubtreeRootSiblingPath, /**
+     * Membership witness for the fee payer's balance leaf in the public data tree.
+     */ feePayerBalanceMembershipWitness){
+        this.noteHashSubtreeRootSiblingPath = noteHashSubtreeRootSiblingPath;
+        this.nullifierPredecessorPreimages = nullifierPredecessorPreimages;
+        this.nullifierPredecessorMembershipWitnesses = nullifierPredecessorMembershipWitnesses;
+        this.sortedNullifiers = sortedNullifiers;
+        this.sortedNullifierIndexes = sortedNullifierIndexes;
+        this.nullifierSubtreeRootSiblingPath = nullifierSubtreeRootSiblingPath;
+        this.feePayerBalanceMembershipWitness = feePayerBalanceMembershipWitness;
+    }
+    static from(fields) {
+        return new TreeSnapshotDiffHints(...TreeSnapshotDiffHints.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.noteHashSubtreeRootSiblingPath,
+            fields.nullifierPredecessorPreimages,
+            fields.nullifierPredecessorMembershipWitnesses,
+            fields.sortedNullifiers,
+            fields.sortedNullifierIndexes,
+            fields.nullifierSubtreeRootSiblingPath,
+            fields.feePayerBalanceMembershipWitness
+        ];
+    }
+    /**
+   * Serializes the state diff hints to a buffer.
+   * @returns A buffer of the serialized state diff hints.
+   */ toBuffer() {
+        return serializeToBuffer(...TreeSnapshotDiffHints.getFields(this));
+    }
+    /**
+   * Deserializes the state diff hints from a buffer.
+   * @param buffer - A buffer to deserialize from.
+   * @returns A new TreeSnapshotDiffHints instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new TreeSnapshotDiffHints(reader.readArray(NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(MAX_NULLIFIERS_PER_TX, NullifierLeafPreimage), reader.readArray(MAX_NULLIFIERS_PER_TX, {
+            fromBuffer: (buffer)=>MembershipWitness.fromBuffer(buffer, NULLIFIER_TREE_HEIGHT)
+        }), reader.readArray(MAX_NULLIFIERS_PER_TX, Fr), reader.readNumbers(MAX_NULLIFIERS_PER_TX), reader.readArray(NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), MembershipWitness.fromBuffer(reader, PUBLIC_DATA_TREE_HEIGHT));
+    }
+    static empty() {
+        return new TreeSnapshotDiffHints(makeTuple(NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr.zero), makeTuple(MAX_NULLIFIERS_PER_TX, NullifierLeafPreimage.empty), makeTuple(MAX_NULLIFIERS_PER_TX, ()=>MembershipWitness.empty(NULLIFIER_TREE_HEIGHT)), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.zero), makeTuple(MAX_NULLIFIERS_PER_TX, ()=>0), makeTuple(NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr.zero), MembershipWitness.empty(PUBLIC_DATA_TREE_HEIGHT));
+    }
+}

package/dest/rollup/tx_merge_rollup_private_inputs.d.ts

@@ -0,0 +1,41 @@
+import { BufferReader } from '@aztec/foundation/serialize';
+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 TxMergeRollupPrivateInputs {
+    previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>];
+    constructor(
+    /**
+     * Previous rollup data from the 2 merge or base rollup circuits that preceded this merge rollup circuit.
+     */
+    previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>]);
+    /**
+     * 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}`;
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - The buffer to deserialize from.
+     * @returns A new TxMergeRollupPrivateInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): TxMergeRollupPrivateInputs;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new TxMergeRollupPrivateInputs instance.
+     */
+    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<TxMergeRollupPrivateInputs, any, string>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfbWVyZ2Vfcm9sbHVwX3ByaXZhdGVfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL3R4X21lcmdlX3JvbGx1cF9wcml2YXRlX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRzlFLE9BQU8sRUFBYSxLQUFLLG1CQUFtQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDOUUsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFFcEU7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFLNUIsZUFBZSxFQUFFLENBQUMsbUJBQW1CLENBQUMsb0JBQW9CLENBQUMsRUFBRSxtQkFBbUIsQ0FBQyxvQkFBb0IsQ0FBQyxDQUFDO0lBSmhIO0lBQ0U7O09BRUc7SUFDSSxlQUFlLEVBQUUsQ0FBQyxtQkFBbUIsQ0FBQyxvQkFBb0IsQ0FBQyxFQUFFLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLENBQUMsRUFDNUc7SUFFSjs7O09BR0c7SUFDSCxRQUFRLDRCQUVQO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxrQkFFUDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSw4QkFNOUM7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSw4QkFFNUI7SUFFRCw4REFBOEQ7SUFDOUQsTUFBTSw0QkFFTDtJQUVELHlDQUF5QztJQUN6QyxNQUFNLEtBQUssTUFBTSxtRUFFaEI7Q0FDRiJ9

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;IAK5B,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAJhH;IACE;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,EAC5G;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,8BAM9C;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,8BAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,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);
     }
 }