@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/rollup/tree_snapshot_diff_hints.d.ts

@@ -0,0 +1,87 @@
+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-labs/constants';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, type Tuple } from '@aztec-labs/foundation/serialize';
+import { MembershipWitness } from '@aztec-labs/foundation/trees';
+import type { FieldsOf } from '@aztec-labs/foundation/types';
+import { NullifierLeafPreimage } from '../trees/index.js';
+/**
+ * Hints used while proving state diff validity for the private base rollup.
+ */
+export declare class TreeSnapshotDiffHints {
+    /**
+     * 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>;
+    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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHJlZV9zbmFwc2hvdF9kaWZmX2hpbnRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL3RyZWVfc25hcHNob3RfZGlmZl9oaW50cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wscUJBQXFCLEVBQ3JCLDBDQUEwQyxFQUMxQywwQ0FBMEMsRUFDMUMscUJBQXFCLEVBQ3JCLHVCQUF1QixFQUN4QixNQUFNLHVCQUF1QixDQUFDO0FBRS9CLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUN6RCxPQUFPLEVBQUUsWUFBWSxFQUFFLEtBQUssS0FBSyxFQUFxQixNQUFNLGtDQUFrQyxDQUFDO0FBQy9GLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBQ2pFLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRTdELE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRTFEOztHQUVHO0FBQ0gscUJBQWEscUJBQXFCO0lBRTlCOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDBDQUEwQyxDQUFDO0lBQ25HOzs7T0FHRztJQUNJLDZCQUE2QixFQUFFLEtBQUssQ0FBQyxxQkFBcUIsRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQ2hHOzs7T0FHRztJQUNJLHVDQUF1QyxFQUFFLEtBQUssQ0FDbkQsaUJBQWlCLENBQUMsT0FBTyxxQkFBcUIsQ0FBQyxFQUMvQyxPQUFPLHFCQUFxQixDQUM3QjtJQUNEOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQ2hFOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLHFCQUFxQixDQUFDO0lBQzFFOztPQUVHO0lBQ0ksK0JBQStCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLDBDQUEwQyxDQUFDO0lBQ3BHOztPQUVHO0lBQ0ksZ0NBQWdDLEVBQUUsaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQztJQWpDNUY7SUFDRTs7T0FFRztJQUNJLDhCQUE4QixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTywwQ0FBMEMsQ0FBQztJQUNuRzs7O09BR0c7SUFDSSw2QkFBNkIsRUFBRSxLQUFLLENBQUMscUJBQXFCLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQztJQUNoRzs7O09BR0c7SUFDSSx1Q0FBdUMsRUFBRSxLQUFLLENBQ25ELGlCQUFpQixDQUFDLE9BQU8scUJBQXFCLENBQUMsRUFDL0MsT0FBTyxxQkFBcUIsQ0FDN0I7SUFDRDs7T0FFRztJQUNJLGdCQUFnQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQztJQUNoRTs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsT0FBTyxxQkFBcUIsQ0FBQztJQUMxRTs7T0FFRztJQUNJLCtCQUErQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTywwQ0FBMEMsQ0FBQztJQUNwRzs7T0FFRztJQUNJLGdDQUFnQyxFQUFFLGlCQUFpQixDQUFDLE9BQU8sdUJBQXVCLENBQUMsRUFDeEY7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMscUJBQXFCLENBQUMsR0FBRyxxQkFBcUIsQ0FFMUU7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMscUJBQXFCLENBQUMsZzlIQVV2RDtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcscUJBQXFCLENBYXRFO0lBRUQsTUFBTSxDQUFDLEtBQUssMEJBVVg7Q0FDRiJ9

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,uBAAuB,CAAC;AAE/B,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,kCAAkC,CAAC;AAC/F,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAE7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE1D;;GAEG;AACH,qBAAa,qBAAqB;IAE9B;;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;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-labs/constants';
+import { makeTuple } from '@aztec-labs/foundation/array';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { MembershipWitness } from '@aztec-labs/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,44 @@
+import { BufferReader } from '@aztec-labs/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 {
+    /**
+     * Previous rollup data from the 2 merge or base rollup circuits that preceded this merge rollup circuit.
+     */
+    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, string, import("zod/v4/core").$ZodTypeInternals<TxMergeRollupPrivateInputs, string>>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfbWVyZ2Vfcm9sbHVwX3ByaXZhdGVfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcm9sbHVwL3R4X21lcmdlX3JvbGx1cF9wcml2YXRlX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLGtDQUFrQyxDQUFDO0FBR25GLE9BQU8sRUFBYSxLQUFLLG1CQUFtQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDOUUsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFFcEU7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFFbkM7O09BRUc7SUFDSSxlQUFlLEVBQUUsQ0FBQyxtQkFBbUIsQ0FBQyxvQkFBb0IsQ0FBQyxFQUFFLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLENBQUM7SUFKaEg7SUFDRTs7T0FFRztJQUNJLGVBQWUsRUFBRSxDQUFDLG1CQUFtQixDQUFDLG9CQUFvQixDQUFDLEVBQUUsbUJBQW1CLENBQUMsb0JBQW9CLENBQUMsQ0FBQyxFQUM1RztJQUVKOzs7T0FHRztJQUNILFFBQVEsNEJBRVA7SUFFRDs7O09BR0c7SUFDSCxRQUFRLGtCQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLDhCQU05QztJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLDhCQUU1QjtJQUVELDhEQUE4RDtJQUM5RCxNQUFNLDRCQUVMO0lBRUQseUNBQXlDO0lBQ3pDLE1BQU0sS0FBSyxNQUFNLDJJQUVoQjtDQUNGIn0=

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,kCAAkC,CAAC;AAGnF,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;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,2IAEhB;CACF"}

package/dest/rollup/tx_merge_rollup_private_inputs.js

@@ -0,0 +1,51 @@
+import { bufferSchemaFor } from '@aztec-labs/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+import { ProofData } from '../proofs/proof_data.js';
+import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js';
+/**
+ * Represents inputs of the merge rollup circuit.
+ */ export class TxMergeRollupPrivateInputs {
+    previousRollups;
+    constructor(/**
+     * Previous rollup data from the 2 merge or base rollup circuits that preceded this merge rollup circuit.
+     */ previousRollups){
+        this.previousRollups = previousRollups;
+    }
+    /**
+   * Serializes the inputs to a buffer.
+   * @returns The inputs serialized to a buffer.
+   */ toBuffer() {
+        return serializeToBuffer(this.previousRollups);
+    }
+    /**
+   * Serializes the inputs to a hex string.
+   * @returns The instance serialized to a hex string.
+   */ toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - The buffer to deserialize from.
+   * @returns A new TxMergeRollupPrivateInputs instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        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 TxMergeRollupPrivateInputs instance.
+   */ static fromString(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(TxMergeRollupPrivateInputs);
+    }
+}

package/dest/rollup/tx_rollup_public_inputs.d.ts

@@ -0,0 +1,115 @@
+import { SpongeBlob } from '@aztec-labs/blob-lib/types';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader } from '@aztec-labs/foundation/serialize';
+import { PartialStateReference } from '../tx/partial_state_reference.js';
+import { BlockConstantData } from './block_constant_data.js';
+/**
+ * Output of the base and merge rollup circuits.
+ */
+export declare class TxRollupPublicInputs {
+    /**
+     * Number of txs in this rollup.
+     */
+    numTxs: number;
+    /**
+     * Data which is forwarded through the rollup circuits unchanged.
+     */
+    constants: BlockConstantData;
+    /**
+     * Partial state reference at the start of the rollup circuit.
+     */
+    startTreeSnapshots: PartialStateReference;
+    /**
+     * Partial state reference at the end of the rollup circuit.
+     */
+    endTreeSnapshots: PartialStateReference;
+    /**
+     * Sponge state to absorb blob inputs at the start of the rollup circuit.
+     */
+    startSpongeBlob: SpongeBlob;
+    /**
+     * Sponge state to absorb blob inputs at the end of the rollup circuit.
+     */
+    endSpongeBlob: SpongeBlob;
+    /**
+     * SHA256 hash of L2 to L1 messages. Used to make public inputs constant-sized (to then be opened onchain).
+     * Note: Truncated to 31 bytes to fit in Fr.
+     */
+    outHash: Fr;
+    /**
+     * The summed `transaction_fee` of the constituent transactions.
+     */
+    accumulatedFees: Fr;
+    /**
+     * The summed `mana_used` of the constituent transactions.
+     */
+    accumulatedManaUsed: Fr;
+    constructor(
+    /**
+     * Number of txs in this rollup.
+     */
+    numTxs: number, 
+    /**
+     * Data which is forwarded through the rollup circuits unchanged.
+     */
+    constants: BlockConstantData, 
+    /**
+     * Partial state reference at the start of the rollup circuit.
+     */
+    startTreeSnapshots: PartialStateReference, 
+    /**
+     * Partial state reference at the end of the rollup circuit.
+     */
+    endTreeSnapshots: PartialStateReference, 
+    /**
+     * Sponge state to absorb blob inputs at the start of the rollup circuit.
+     */
+    startSpongeBlob: SpongeBlob, 
+    /**
+     * Sponge state to absorb blob inputs at the end of the rollup circuit.
+     */
+    endSpongeBlob: SpongeBlob, 
+    /**
+     * SHA256 hash of L2 to L1 messages. Used to make public inputs constant-sized (to then be opened onchain).
+     * Note: Truncated to 31 bytes to fit in Fr.
+     */
+    outHash: Fr, 
+    /**
+     * The summed `transaction_fee` of the constituent transactions.
+     */
+    accumulatedFees: Fr, 
+    /**
+     * The summed `mana_used` of the constituent transactions.
+     */
+    accumulatedManaUsed: Fr);
+    /** Returns an empty instance. */
+    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): TxRollupPublicInputs;
+    /**
+     * Serialize this as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer<ArrayBufferLike>;
+    /**
+     * Serialize this as a hex string.
+     * @returns - The hex string.
+     */
+    toString(): `0x${string}`;
+    /**
+     * Deserializes from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new TxRollupPublicInputs instance.
+     */
+    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<TxRollupPublicInputs, string, import("zod/v4/core").$ZodTypeInternals<TxRollupPublicInputs, string>>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcm9sbHVwX3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvdHhfcm9sbHVwX3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ3hELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUV6RCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLGtDQUFrQyxDQUFDO0FBR25GLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBQ3pFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRTdEOztHQUVHO0FBQ0gscUJBQWEsb0JBQW9CO0lBRTdCOztPQUVHO0lBQ0ksTUFBTSxFQUFFLE1BQU07SUFDckI7O09BRUc7SUFDSSxTQUFTLEVBQUUsaUJBQWlCO0lBQ25DOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUscUJBQXFCO0lBQ2hEOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUscUJBQXFCO0lBQzlDOztPQUVHO0lBQ0ksZUFBZSxFQUFFLFVBQVU7SUFDbEM7O09BRUc7SUFDSSxhQUFhLEVBQUUsVUFBVTtJQUNoQzs7O09BR0c7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLGVBQWUsRUFBRSxFQUFFO0lBQzFCOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsRUFBRTtJQXJDaEM7SUFDRTs7T0FFRztJQUNJLE1BQU0sRUFBRSxNQUFNO0lBQ3JCOztPQUVHO0lBQ0ksU0FBUyxFQUFFLGlCQUFpQjtJQUNuQzs7T0FFRztJQUNJLGtCQUFrQixFQUFFLHFCQUFxQjtJQUNoRDs7T0FFRztJQUNJLGdCQUFnQixFQUFFLHFCQUFxQjtJQUM5Qzs7T0FFRztJQUNJLGVBQWUsRUFBRSxVQUFVO0lBQ2xDOztPQUVHO0lBQ0ksYUFBYSxFQUFFLFVBQVU7SUFDaEM7OztPQUdHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxlQUFlLEVBQUUsRUFBRTtJQUMxQjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLEVBQUUsRUFDNUI7SUFFSixpQ0FBaUM7SUFDakMsTUFBTSxDQUFDLEtBQUsseUJBWVg7SUFFRDs7Ozs7T0FLRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsb0JBQW9CLENBYXJFO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFnQlA7SUFFRDs7O09BR0c7SUFDSCxRQUFRLGtCQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sd0JBRTVCO0lBRUQsOERBQThEO0lBQzlELE1BQU0sNEJBRUw7SUFFRCw2Q0FBNkM7SUFDN0MsTUFBTSxLQUFLLE1BQU0sK0hBRWhCO0NBQ0YifQ==

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,4BAA4B,CAAC;AACxD,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAGnF,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,kBAAkB,EAAE,qBAAqB;IAChD;;OAEG;IACI,gBAAgB,EAAE,qBAAqB;IAC9C;;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;IArChC;IACE;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,kBAAkB,EAAE,qBAAqB;IAChD;;OAEG;IACI,gBAAgB,EAAE,qBAAqB;IAC9C;;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,EAC5B;IAEJ,iCAAiC;IACjC,MAAM,CAAC,KAAK,yBAYX;IAED;;;;;OAKG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB,CAarE;IAED;;;OAGG;IACH,QAAQ,4BAgBP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,wBAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,+HAEhB;CACF"}

package/dest/rollup/tx_rollup_public_inputs.js

@@ -0,0 +1,87 @@
+import { SpongeBlob } from '@aztec-labs/blob-lib/types';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { bufferSchemaFor } from '@aztec-labs/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+import { PartialStateReference } from '../tx/partial_state_reference.js';
+import { BlockConstantData } from './block_constant_data.js';
+/**
+ * Output of the base and merge rollup circuits.
+ */ export class TxRollupPublicInputs {
+    numTxs;
+    constants;
+    startTreeSnapshots;
+    endTreeSnapshots;
+    startSpongeBlob;
+    endSpongeBlob;
+    outHash;
+    accumulatedFees;
+    accumulatedManaUsed;
+    constructor(/**
+     * Number of txs in this rollup.
+     */ numTxs, /**
+     * Data which is forwarded through the rollup circuits unchanged.
+     */ constants, /**
+     * Partial state reference at the start of the rollup circuit.
+     */ startTreeSnapshots, /**
+     * Partial state reference at the end of the rollup circuit.
+     */ endTreeSnapshots, /**
+     * Sponge state to absorb blob inputs at the start of the rollup circuit.
+     */ startSpongeBlob, /**
+     * Sponge state to absorb blob inputs at the end of the rollup circuit.
+     */ endSpongeBlob, /**
+     * SHA256 hash of L2 to L1 messages. Used to make public inputs constant-sized (to then be opened onchain).
+     * Note: Truncated to 31 bytes to fit in Fr.
+     */ outHash, /**
+     * The summed `transaction_fee` of the constituent transactions.
+     */ accumulatedFees, /**
+     * The summed `mana_used` of the constituent transactions.
+     */ accumulatedManaUsed){
+        this.numTxs = numTxs;
+        this.constants = constants;
+        this.startTreeSnapshots = startTreeSnapshots;
+        this.endTreeSnapshots = endTreeSnapshots;
+        this.startSpongeBlob = startSpongeBlob;
+        this.endSpongeBlob = endSpongeBlob;
+        this.outHash = outHash;
+        this.accumulatedFees = accumulatedFees;
+        this.accumulatedManaUsed = accumulatedManaUsed;
+    }
+    /** Returns an empty instance. */ static empty() {
+        return new TxRollupPublicInputs(0, BlockConstantData.empty(), PartialStateReference.empty(), PartialStateReference.empty(), SpongeBlob.empty(), SpongeBlob.empty(), Fr.zero(), Fr.zero(), Fr.zero());
+    }
+    /**
+   * 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) {
+        const reader = BufferReader.asReader(buffer);
+        return new TxRollupPublicInputs(reader.readNumber(), reader.readObject(BlockConstantData), reader.readObject(PartialStateReference), reader.readObject(PartialStateReference), reader.readObject(SpongeBlob), reader.readObject(SpongeBlob), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
+    }
+    /**
+   * Serialize this as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(this.numTxs, this.constants, this.startTreeSnapshots, this.endTreeSnapshots, this.startSpongeBlob, this.endSpongeBlob, this.outHash, this.accumulatedFees, this.accumulatedManaUsed);
+    }
+    /**
+   * Serialize this as a hex string.
+   * @returns - The hex string.
+   */ toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /**
+   * Deserializes from a hex string.
+   * @param str - A hex string to deserialize from.
+   * @returns A new TxRollupPublicInputs instance.
+   */ static fromString(str) {
+        return TxRollupPublicInputs.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(TxRollupPublicInputs);
+    }
+}

package/dest/schemas/index.d.ts

@@ -0,0 +1,2 @@
+export * from './schemas.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zY2hlbWFzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsY0FBYyxDQUFDIn0=

package/dest/schemas/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schemas/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC"}

package/dest/schemas/index.js

@@ -0,0 +1 @@
+export * from './schemas.js';

package/dest/schemas/schemas.d.ts

@@ -0,0 +1,91 @@
+import type { EpochNumber, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import type { Buffer32 } from '@aztec-labs/foundation/buffer';
+import type { Fq, Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { Point } from '@aztec-labs/foundation/curves/grumpkin';
+import type { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { type ZodFor } from '@aztec-labs/foundation/schemas';
+import { z } from 'zod';
+import type { AbiDecoded } from '../abi/decoder.js';
+import { EventSelector } from '../abi/event_selector.js';
+import { FunctionSelector } from '../abi/function_selector.js';
+import { NoteSelector } from '../abi/note_selector.js';
+import { AztecAddress } from '../aztec-address/index.js';
+import { Gas } from '../gas/gas.js';
+/**
+ * Validation schemas for common types. Every schema must match its toJSON.
+ * Foundation schemas are repeated here to aid type inference
+ * */
+export declare const schemas: {
+    /** Accepts a hex string. */
+    EthAddress: ZodFor<EthAddress>;
+    /** Accepts a hex string. */
+    Fr: ZodFor<Fr>;
+    /** Accepts a hex string. */
+    Fq: ZodFor<Fq>;
+    /** Point. Serialized as a hex string. */
+    Point: ZodFor<Point>;
+    /** Coerces any input to bigint. */
+    BigInt: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    /** Coerces any input to integer number. */
+    Integer: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+    /** Coerces input to UInt32. */
+    UInt32: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+    /** Coerces input to UInt64. */
+    UInt64: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    /** Accepts a hex string as a Buffer32 type. */
+    Buffer32: ZodFor<Buffer32>;
+    /** Accepts a base64 string or an object `{ type: 'Buffer', data: [byte, byte...] }` as a buffer. */
+    Buffer: ZodFor<Buffer<ArrayBufferLike>>;
+    /** Accepts a hex string as a buffer. */
+    BufferHex: z.ZodPipe<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>, z.ZodTransform<Buffer<ArrayBuffer>, string>>;
+    /** Hex string with an optional 0x prefix which gets removed as part of the parsing. */
+    HexString: z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>;
+    /** Schema for secret config value */
+    SecretValue: typeof import("@aztec-labs/foundation/config").SecretValue.schema;
+    /** Accepts a hex string. */
+    AztecAddress: ZodFor<AztecAddress>;
+    /** Accepts a hex string. */
+    NoteSelector: z.ZodType<NoteSelector, string, z.core.$ZodTypeInternals<NoteSelector, string>>;
+    /** Accepts a hex string. */
+    FunctionSelector: ZodFor<FunctionSelector>;
+    /** Accepts a hex string. */
+    EventSelector: z.ZodType<EventSelector, string, z.core.$ZodTypeInternals<EventSelector, string>>;
+    /** Accepts a number, bigint, or string and coerces to SlotNumber. */
+    SlotNumber: ZodFor<SlotNumber>;
+    /** Accepts a number, bigint, or string and coerces to EpochNumber. */
+    EpochNumber: ZodFor<EpochNumber>;
+    GasUsed: z.ZodObject<{
+        totalGas: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
+            daGas: number;
+            l2Gas: number;
+        }>>;
+        teardownGas: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
+            daGas: number;
+            l2Gas: number;
+        }>>;
+        publicGas: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
+            daGas: number;
+            l2Gas: number;
+        }>>;
+        billedGas: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
+            daGas: number;
+            l2Gas: number;
+        }>>;
+    }, z.core.$strip>;
+};
+export declare const AbiDecodedSchema: ZodFor<AbiDecoded>;
+export declare const NullishToUndefined: (schema: ZodFor<any>) => z.ZodPipe<z.ZodOptional<z.ZodNullable<ZodFor<any>>>, z.ZodTransform<any, any>>;
+export { type ZodFor, zodFor, bufferSchema, hexSchema, hexSchemaFor, bufferSchemaFor, type ApiSchemaFor, getSchemaParameters, getSchemaReturnType, optional, mapSchema, pickFromSchema, } from '@aztec-labs/foundation/schemas';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2NoZW1hcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NjaGVtYXMvc2NoZW1hcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsVUFBVSxFQUFFLE1BQU0sc0NBQXNDLENBQUM7QUFDcEYsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBQ2xFLE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLHdDQUF3QyxDQUFDO0FBQ3BFLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBQ3JFLE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBZ0MsTUFBTSxnQ0FBZ0MsQ0FBQztBQUMzRixPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ3BELE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUN6RCxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMvRCxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDdkQsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxHQUFHLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFFcEM7OztLQUdLO0FBQ0wsZUFBTyxNQUFNLE9BQU87SUFDbEIsNEJBQTRCOztJQUc1Qiw0QkFBNEI7O0lBRzVCLDRCQUE0Qjs7SUFHNUIseUNBQXlDOztJQUd6QyxtQ0FBbUM7O0lBR25DLDJDQUEyQzs7SUFHM0MsK0JBQStCOztJQUcvQiwrQkFBK0I7O0lBRy9CLCtDQUErQzs7SUFHL0Msb0dBQW9HOztJQUdwRyx3Q0FBd0M7O0lBR3hDLHVGQUF1Rjs7SUFHdkYscUNBQXFDOztJQUdyQyw0QkFBNEI7O0lBRzVCLDRCQUE0Qjs7SUFHNUIsNEJBQTRCOztJQUc1Qiw0QkFBNEI7O0lBRzVCLHFFQUFxRTs7SUFHckUsc0VBQXNFOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztDQVN2RSxDQUFDO0FBRUYsZUFBTyxNQUFNLGdCQUFnQixFQUFFLE1BQU0sQ0FBQyxVQUFVLENBUzlDLENBQUM7QUFHSCxlQUFPLE1BQU0sa0JBQWtCLHlHQUEyRSxDQUFDO0FBRTNHLE9BQU8sRUFDTCxLQUFLLE1BQU0sRUFDWCxNQUFNLEVBQ04sWUFBWSxFQUNaLFNBQVMsRUFDVCxZQUFZLEVBQ1osZUFBZSxFQUNmLEtBQUssWUFBWSxFQUNqQixtQkFBbUIsRUFDbkIsbUJBQW1CLEVBQ25CLFFBQVEsRUFDUixTQUFTLEVBQ1QsY0FBYyxHQUNmLE1BQU0sZ0NBQWdDLENBQUMifQ==

package/dest/schemas/schemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/schemas/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAClE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wCAAwC,CAAC;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,KAAK,MAAM,EAAgC,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAEpC;;;KAGK;AACL,eAAO,MAAM,OAAO;IAClB,4BAA4B;;IAG5B,4BAA4B;;IAG5B,4BAA4B;;IAG5B,yCAAyC;;IAGzC,mCAAmC;;IAGnC,2CAA2C;;IAG3C,+BAA+B;;IAG/B,+BAA+B;;IAG/B,+CAA+C;;IAG/C,oGAAoG;;IAGpG,wCAAwC;;IAGxC,uFAAuF;;IAGvF,qCAAqC;;IAGrC,4BAA4B;;IAG5B,4BAA4B;;IAG5B,4BAA4B;;IAG5B,4BAA4B;;IAG5B,qEAAqE;;IAGrE,sEAAsE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CASvE,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,UAAU,CAS9C,CAAC;AAGH,eAAO,MAAM,kBAAkB,yGAA2E,CAAC;AAE3G,OAAO,EACL,KAAK,MAAM,EACX,MAAM,EACN,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,eAAe,EACf,KAAK,YAAY,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,QAAQ,EACR,SAAS,EACT,cAAc,GACf,MAAM,gCAAgC,CAAC"}