@aztec/stdlib 0.77.0-testnet-ignition.17

package/dest/rollup/previous_rollup_block_data.d.ts

@@ -0,0 +1,58 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, VK_TREE_HEIGHT } from '@aztec/constants';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { MembershipWitness } from '@aztec/foundation/trees';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { VerificationKeyAsFields } from '../vks/verification_key.js';
+import { BlockRootOrBlockMergePublicInputs } from './block_root_or_block_merge_public_inputs.js';
+/**
+ * Represents the data of a previous block merge or block root rollup circuit.
+ */
+export declare class PreviousRollupBlockData {
+    /**
+     * Public inputs to the block merge or block root rollup circuit.
+     */
+    blockRootOrBlockMergePublicInputs: BlockRootOrBlockMergePublicInputs;
+    /**
+     * The proof of the block merge or block root rollup circuit.
+     */
+    proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    /**
+     * The verification key of the block merge or block root rollup circuit.
+     */
+    vk: VerificationKeyAsFields;
+    /**
+     * Sibling path of the rollup circuit's vk in a big tree of rollup circuit vks.
+     */
+    vkWitness: MembershipWitness<typeof VK_TREE_HEIGHT>;
+    constructor(
+    /**
+     * Public inputs to the block merge or block root rollup circuit.
+     */
+    blockRootOrBlockMergePublicInputs: BlockRootOrBlockMergePublicInputs, 
+    /**
+     * The proof of the block merge or block root rollup circuit.
+     */
+    proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>, 
+    /**
+     * The verification key of the block merge or block root rollup circuit.
+     */
+    vk: VerificationKeyAsFields, 
+    /**
+     * Sibling path of the rollup circuit's vk in a big tree of rollup circuit vks.
+     */
+    vkWitness: MembershipWitness<typeof VK_TREE_HEIGHT>);
+    /**
+     * Serializes previous rollup data to a buffer.
+     * @returns The buffer of the serialized previous rollup data.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Deserializes previous rollup data from a buffer.
+     * @param buffer - A buffer to deserialize from.
+     * @returns A new PreviousRollupData instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): PreviousRollupBlockData;
+}
+//# sourceMappingURL=previous_rollup_block_data.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"previous_rollup_block_data.d.ts","sourceRoot":"","sources":["../../src/rollup/previous_rollup_block_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,yCAAyC,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC7F,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,iCAAiC,EAAE,MAAM,8CAA8C,CAAC;AAEjG;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;OAEG;IACI,iCAAiC,EAAE,iCAAiC;IAC3E;;OAEG;IACI,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC;IAC9E;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAClC;;OAEG;IACI,SAAS,EAAE,iBAAiB,CAAC,OAAO,cAAc,CAAC;;IAf1D;;OAEG;IACI,iCAAiC,EAAE,iCAAiC;IAC3E;;OAEG;IACI,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC;IAC9E;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAClC;;OAEG;IACI,SAAS,EAAE,iBAAiB,CAAC,OAAO,cAAc,CAAC;IAG5D;;;OAGG;IACI,QAAQ,IAAI,MAAM;IAIzB;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;CASjF"}

package/dest/rollup/previous_rollup_block_data.js

@@ -0,0 +1,42 @@
+import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, VK_TREE_HEIGHT } from '@aztec/constants';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { MembershipWitness } from '@aztec/foundation/trees';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { VerificationKeyAsFields } from '../vks/verification_key.js';
+import { BlockRootOrBlockMergePublicInputs } from './block_root_or_block_merge_public_inputs.js';
+/**
+ * Represents the data of a previous block merge or block root rollup circuit.
+ */ export class PreviousRollupBlockData {
+    blockRootOrBlockMergePublicInputs;
+    proof;
+    vk;
+    vkWitness;
+    constructor(/**
+     * Public inputs to the block merge or block root rollup circuit.
+     */ blockRootOrBlockMergePublicInputs, /**
+     * The proof of the block merge or block root rollup circuit.
+     */ proof, /**
+     * The verification key of the block merge or block root rollup circuit.
+     */ vk, /**
+     * Sibling path of the rollup circuit's vk in a big tree of rollup circuit vks.
+     */ vkWitness){
+        this.blockRootOrBlockMergePublicInputs = blockRootOrBlockMergePublicInputs;
+        this.proof = proof;
+        this.vk = vk;
+        this.vkWitness = vkWitness;
+    }
+    /**
+   * Serializes previous rollup data to a buffer.
+   * @returns The buffer of the serialized previous rollup data.
+   */ toBuffer() {
+        return serializeToBuffer(this.blockRootOrBlockMergePublicInputs, this.proof, this.vk, this.vkWitness);
+    }
+    /**
+   * Deserializes previous rollup data from a buffer.
+   * @param buffer - A buffer to deserialize from.
+   * @returns A new PreviousRollupData instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PreviousRollupBlockData(reader.readObject(BlockRootOrBlockMergePublicInputs), RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), reader.readObject(VerificationKeyAsFields), MembershipWitness.fromBuffer(reader, VK_TREE_HEIGHT));
+    }
+}

package/dest/rollup/previous_rollup_data.d.ts

@@ -0,0 +1,58 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, VK_TREE_HEIGHT } from '@aztec/constants';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { MembershipWitness } from '@aztec/foundation/trees';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { VerificationKeyAsFields } from '../vks/verification_key.js';
+import { BaseOrMergeRollupPublicInputs } from './base_or_merge_rollup_public_inputs.js';
+/**
+ * Represents the data of a previous merge or base rollup circuit.
+ */
+export declare class PreviousRollupData {
+    /**
+     * Public inputs to the base or merge rollup circuit.
+     */
+    baseOrMergeRollupPublicInputs: BaseOrMergeRollupPublicInputs;
+    /**
+     * The proof of the base or merge rollup circuit.
+     */
+    proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    /**
+     * The verification key of the base or merge rollup circuit.
+     */
+    vk: VerificationKeyAsFields;
+    /**
+     * Sibling path of the rollup circuit's vk in a big tree of rollup circuit vks.
+     */
+    vkWitness: MembershipWitness<typeof VK_TREE_HEIGHT>;
+    constructor(
+    /**
+     * Public inputs to the base or merge rollup circuit.
+     */
+    baseOrMergeRollupPublicInputs: BaseOrMergeRollupPublicInputs, 
+    /**
+     * The proof of the base or merge rollup circuit.
+     */
+    proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>, 
+    /**
+     * The verification key of the base or merge rollup circuit.
+     */
+    vk: VerificationKeyAsFields, 
+    /**
+     * Sibling path of the rollup circuit's vk in a big tree of rollup circuit vks.
+     */
+    vkWitness: MembershipWitness<typeof VK_TREE_HEIGHT>);
+    /**
+     * Serializes previous rollup data to a buffer.
+     * @returns The buffer of the serialized previous rollup data.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Deserializes previous rollup data from a buffer.
+     * @param buffer - A buffer to deserialize from.
+     * @returns A new PreviousRollupData instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): PreviousRollupData;
+}
+//# sourceMappingURL=previous_rollup_data.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"previous_rollup_data.d.ts","sourceRoot":"","sources":["../../src/rollup/previous_rollup_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,yCAAyC,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC7F,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,6BAA6B,EAAE,MAAM,yCAAyC,CAAC;AAExF;;GAEG;AACH,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,6BAA6B,EAAE,6BAA6B;IACnE;;OAEG;IACI,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC;IAC9E;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAClC;;OAEG;IACI,SAAS,EAAE,iBAAiB,CAAC,OAAO,cAAc,CAAC;;IAf1D;;OAEG;IACI,6BAA6B,EAAE,6BAA6B;IACnE;;OAEG;IACI,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC;IAC9E;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAClC;;OAEG;IACI,SAAS,EAAE,iBAAiB,CAAC,OAAO,cAAc,CAAC;IAG5D;;;OAGG;IACI,QAAQ,IAAI,MAAM;IAIzB;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,kBAAkB;CAS5E"}

package/dest/rollup/previous_rollup_data.js

@@ -0,0 +1,42 @@
+import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, VK_TREE_HEIGHT } from '@aztec/constants';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { MembershipWitness } from '@aztec/foundation/trees';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { VerificationKeyAsFields } from '../vks/verification_key.js';
+import { BaseOrMergeRollupPublicInputs } from './base_or_merge_rollup_public_inputs.js';
+/**
+ * Represents the data of a previous merge or base rollup circuit.
+ */ export class PreviousRollupData {
+    baseOrMergeRollupPublicInputs;
+    proof;
+    vk;
+    vkWitness;
+    constructor(/**
+     * Public inputs to the base or merge rollup circuit.
+     */ baseOrMergeRollupPublicInputs, /**
+     * The proof of the base or merge rollup circuit.
+     */ proof, /**
+     * The verification key of the base or merge rollup circuit.
+     */ vk, /**
+     * Sibling path of the rollup circuit's vk in a big tree of rollup circuit vks.
+     */ vkWitness){
+        this.baseOrMergeRollupPublicInputs = baseOrMergeRollupPublicInputs;
+        this.proof = proof;
+        this.vk = vk;
+        this.vkWitness = vkWitness;
+    }
+    /**
+   * Serializes previous rollup data to a buffer.
+   * @returns The buffer of the serialized previous rollup data.
+   */ toBuffer() {
+        return serializeToBuffer(this.baseOrMergeRollupPublicInputs, this.proof, this.vk, this.vkWitness);
+    }
+    /**
+   * Deserializes previous rollup data from a buffer.
+   * @param buffer - A buffer to deserialize from.
+   * @returns A new PreviousRollupData instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PreviousRollupData(reader.readObject(BaseOrMergeRollupPublicInputs), RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), reader.readObject(VerificationKeyAsFields), MembershipWitness.fromBuffer(reader, VK_TREE_HEIGHT));
+    }
+}

package/dest/rollup/private_base_rollup_inputs.d.ts

@@ -0,0 +1,23 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { PrivateBaseRollupHints } from './base_rollup_hints.js';
+import { PrivateTubeData } from './private_tube_data.js';
+export declare class PrivateBaseRollupInputs {
+    tubeData: PrivateTubeData;
+    hints: PrivateBaseRollupHints;
+    constructor(tubeData: PrivateTubeData, hints: PrivateBaseRollupHints);
+    static from(fields: FieldsOf<PrivateBaseRollupInputs>): PrivateBaseRollupInputs;
+    static getFields(fields: FieldsOf<PrivateBaseRollupInputs>): readonly [PrivateTubeData, PrivateBaseRollupHints];
+    static fromBuffer(buffer: Buffer | BufferReader): PrivateBaseRollupInputs;
+    toBuffer(): Buffer;
+    static fromString(str: string): PrivateBaseRollupInputs;
+    toString(): `0x${string}`;
+    static empty(): PrivateBaseRollupInputs;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<PrivateBaseRollupInputs, any, string>;
+}
+//# sourceMappingURL=private_base_rollup_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"private_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/private_base_rollup_inputs.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,qBAAa,uBAAuB;IACf,QAAQ,EAAE,eAAe;IAAS,KAAK,EAAE,sBAAsB;gBAA/D,QAAQ,EAAE,eAAe,EAAS,KAAK,EAAE,sBAAsB;IAElF,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,GAAG,uBAAuB;IAI/E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAKzE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,gEAEhB;CACF"}

package/dest/rollup/private_base_rollup_inputs.js

@@ -0,0 +1,44 @@
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { PrivateBaseRollupHints } from './base_rollup_hints.js';
+import { PrivateTubeData } from './private_tube_data.js';
+export class PrivateBaseRollupInputs {
+    tubeData;
+    hints;
+    constructor(tubeData, hints){
+        this.tubeData = tubeData;
+        this.hints = hints;
+    }
+    static from(fields) {
+        return new PrivateBaseRollupInputs(...PrivateBaseRollupInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.tubeData,
+            fields.hints
+        ];
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PrivateBaseRollupInputs(reader.readObject(PrivateTubeData), reader.readObject(PrivateBaseRollupHints));
+    }
+    toBuffer() {
+        return serializeToBuffer(...PrivateBaseRollupInputs.getFields(this));
+    }
+    static fromString(str) {
+        return PrivateBaseRollupInputs.fromBuffer(hexToBuffer(str));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static empty() {
+        return new PrivateBaseRollupInputs(PrivateTubeData.empty(), PrivateBaseRollupHints.empty());
+    }
+    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a hex string. */ static get schema() {
+        return bufferSchemaFor(PrivateBaseRollupInputs);
+    }
+}

package/dest/rollup/private_tube_data.d.ts

@@ -0,0 +1,17 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { PrivateToRollupKernelCircuitPublicInputs } from '../kernel/private_to_rollup_kernel_circuit_public_inputs.js';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { VkWitnessData } from '../vks/vk_witness_data.js';
+export declare class PrivateTubeData {
+    publicInputs: PrivateToRollupKernelCircuitPublicInputs;
+    proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    vkData: VkWitnessData;
+    constructor(publicInputs: PrivateToRollupKernelCircuitPublicInputs, proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>, vkData: VkWitnessData);
+    static empty(): PrivateTubeData;
+    static fromBuffer(buffer: Buffer | BufferReader): PrivateTubeData;
+    toBuffer(): Buffer;
+}
+//# sourceMappingURL=private_tube_data.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"private_tube_data.d.ts","sourceRoot":"","sources":["../../src/rollup/private_tube_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,yCAAyC,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,cAAc,EAA2B,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE1D,qBAAa,eAAe;IAEjB,YAAY,EAAE,wCAAwC;IACtD,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC;IACvE,MAAM,EAAE,aAAa;gBAFrB,YAAY,EAAE,wCAAwC,EACtD,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC,EACvE,MAAM,EAAE,aAAa;IAG9B,MAAM,CAAC,KAAK;IAQZ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,QAAQ;CAGT"}

package/dest/rollup/private_tube_data.js

@@ -0,0 +1,25 @@
+import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { PrivateToRollupKernelCircuitPublicInputs } from '../kernel/private_to_rollup_kernel_circuit_public_inputs.js';
+import { RecursiveProof, makeEmptyRecursiveProof } from '../proofs/recursive_proof.js';
+import { VkWitnessData } from '../vks/vk_witness_data.js';
+export class PrivateTubeData {
+    publicInputs;
+    proof;
+    vkData;
+    constructor(publicInputs, proof, vkData){
+        this.publicInputs = publicInputs;
+        this.proof = proof;
+        this.vkData = vkData;
+    }
+    static empty() {
+        return new PrivateTubeData(PrivateToRollupKernelCircuitPublicInputs.empty(), makeEmptyRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), VkWitnessData.empty());
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PrivateTubeData(reader.readObject(PrivateToRollupKernelCircuitPublicInputs), RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), reader.readObject(VkWitnessData));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.publicInputs, this.proof, this.vkData);
+    }
+}

package/dest/rollup/public_base_rollup_inputs.d.ts

@@ -0,0 +1,25 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { AvmProofData } from './avm_proof_data.js';
+import { PublicBaseRollupHints } from './base_rollup_hints.js';
+import { PublicTubeData } from './public_tube_data.js';
+export declare class PublicBaseRollupInputs {
+    tubeData: PublicTubeData;
+    avmProofData: AvmProofData;
+    hints: PublicBaseRollupHints;
+    constructor(tubeData: PublicTubeData, avmProofData: AvmProofData, hints: PublicBaseRollupHints);
+    static from(fields: FieldsOf<PublicBaseRollupInputs>): PublicBaseRollupInputs;
+    static getFields(fields: FieldsOf<PublicBaseRollupInputs>): readonly [PublicTubeData, AvmProofData, PublicBaseRollupHints];
+    static fromBuffer(buffer: Buffer | BufferReader): PublicBaseRollupInputs;
+    toBuffer(): Buffer;
+    static fromString(str: string): PublicBaseRollupInputs;
+    toString(): `0x${string}`;
+    static empty(): PublicBaseRollupInputs;
+    /** Returns a representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a string. */
+    static get schema(): import("zod").ZodType<PublicBaseRollupInputs, any, string>;
+}
+//# sourceMappingURL=public_base_rollup_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_base_rollup_inputs.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD,qBAAa,sBAAsB;IAExB,QAAQ,EAAE,cAAc;IACxB,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,qBAAqB;gBAF5B,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,qBAAqB;IAGrC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAIzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IASxE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;CACF"}

package/dest/rollup/public_base_rollup_inputs.js

@@ -0,0 +1,48 @@
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { AvmProofData } from './avm_proof_data.js';
+import { PublicBaseRollupHints } from './base_rollup_hints.js';
+import { PublicTubeData } from './public_tube_data.js';
+export class PublicBaseRollupInputs {
+    tubeData;
+    avmProofData;
+    hints;
+    constructor(tubeData, avmProofData, hints){
+        this.tubeData = tubeData;
+        this.avmProofData = avmProofData;
+        this.hints = hints;
+    }
+    static from(fields) {
+        return new PublicBaseRollupInputs(...PublicBaseRollupInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.tubeData,
+            fields.avmProofData,
+            fields.hints
+        ];
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PublicBaseRollupInputs(reader.readObject(PublicTubeData), reader.readObject(AvmProofData), reader.readObject(PublicBaseRollupHints));
+    }
+    toBuffer() {
+        return serializeToBuffer(...PublicBaseRollupInputs.getFields(this));
+    }
+    static fromString(str) {
+        return PublicBaseRollupInputs.fromBuffer(hexToBuffer(str));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static empty() {
+        return new PublicBaseRollupInputs(PublicTubeData.empty(), AvmProofData.empty(), PublicBaseRollupHints.empty());
+    }
+    /** Returns a representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a string. */ static get schema() {
+        return bufferSchemaFor(PublicBaseRollupInputs);
+    }
+}

package/dest/rollup/public_tube_data.d.ts

@@ -0,0 +1,17 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { VkWitnessData } from '../vks/vk_witness_data.js';
+export declare class PublicTubeData {
+    publicInputs: PrivateToPublicKernelCircuitPublicInputs;
+    proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+    vkData: VkWitnessData;
+    constructor(publicInputs: PrivateToPublicKernelCircuitPublicInputs, proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>, vkData: VkWitnessData);
+    static empty(): PublicTubeData;
+    static fromBuffer(buffer: Buffer | BufferReader): PublicTubeData;
+    toBuffer(): Buffer;
+}
+//# sourceMappingURL=public_tube_data.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public_tube_data.d.ts","sourceRoot":"","sources":["../../src/rollup/public_tube_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,yCAAyC,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,cAAc,EAA2B,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE1D,qBAAa,cAAc;IAEhB,YAAY,EAAE,wCAAwC;IACtD,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC;IACvE,MAAM,EAAE,aAAa;gBAFrB,YAAY,EAAE,wCAAwC,EACtD,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC,EACvE,MAAM,EAAE,aAAa;IAG9B,MAAM,CAAC,KAAK;IAQZ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,QAAQ;CAGT"}

package/dest/rollup/public_tube_data.js

@@ -0,0 +1,25 @@
+import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
+import { RecursiveProof, makeEmptyRecursiveProof } from '../proofs/recursive_proof.js';
+import { VkWitnessData } from '../vks/vk_witness_data.js';
+export class PublicTubeData {
+    publicInputs;
+    proof;
+    vkData;
+    constructor(publicInputs, proof, vkData){
+        this.publicInputs = publicInputs;
+        this.proof = proof;
+        this.vkData = vkData;
+    }
+    static empty() {
+        return new PublicTubeData(PrivateToPublicKernelCircuitPublicInputs.empty(), makeEmptyRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), VkWitnessData.empty());
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PublicTubeData(reader.readObject(PrivateToPublicKernelCircuitPublicInputs), RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), reader.readObject(VkWitnessData));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.publicInputs, this.proof, this.vkData);
+    }
+}

package/dest/rollup/root_rollup.d.ts

@@ -0,0 +1,112 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { BlockBlobPublicInputs } 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 { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { FeeRecipient } from './block_root_or_block_merge_public_inputs.js';
+import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
+/**
+ * Represents inputs of the root rollup circuit.
+ */
+export declare class RootRollupInputs {
+    /**
+     * 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 block merge circuits.
+     */
+    previousRollupData: [PreviousRollupBlockData, PreviousRollupBlockData];
+    /** Identifier of the prover for this root rollup. */
+    proverId: Fr;
+    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 block merge circuits.
+     */
+    previousRollupData: [PreviousRollupBlockData, PreviousRollupBlockData], 
+    /** Identifier of the prover for this root rollup. */
+    proverId: Fr);
+    /**
+     * Serializes the inputs to a buffer.
+     * @returns - The inputs serialized to a buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * 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 RootRollupInputs instance.
+     */
+    static from(fields: FieldsOf<RootRollupInputs>): RootRollupInputs;
+    /**
+     * Extracts fields from an instance.
+     * @param fields - Fields to create the instance from.
+     * @returns An array of fields.
+     */
+    static getFields(fields: FieldsOf<RootRollupInputs>): readonly [[PreviousRollupBlockData, PreviousRollupBlockData], Fr];
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - A buffer to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): RootRollupInputs;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromString(str: string): RootRollupInputs;
+    /** Returns a representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a string. */
+    static get schema(): import("zod").ZodType<RootRollupInputs, any, string>;
+}
+/**
+ * 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 on-chain verification.
+ */
+export declare class RootRollupPublicInputs {
+    /** Snapshot of archive tree before/after this rollup been processed */
+    previousArchive: AppendOnlyTreeSnapshot;
+    endArchive: AppendOnlyTreeSnapshot;
+    previousBlockHash: Fr;
+    endBlockHash: Fr;
+    endTimestamp: Fr;
+    endBlockNumber: Fr;
+    outHash: Fr;
+    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
+    vkTreeRoot: Fr;
+    protocolContractTreeRoot: Fr;
+    proverId: Fr;
+    blobPublicInputs: Tuple<BlockBlobPublicInputs, typeof AZTEC_MAX_EPOCH_DURATION>;
+    constructor(
+    /** Snapshot of archive tree before/after this rollup been processed */
+    previousArchive: AppendOnlyTreeSnapshot, endArchive: AppendOnlyTreeSnapshot, previousBlockHash: Fr, endBlockHash: Fr, endTimestamp: Fr, endBlockNumber: Fr, outHash: Fr, fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, vkTreeRoot: Fr, protocolContractTreeRoot: Fr, proverId: Fr, blobPublicInputs: Tuple<BlockBlobPublicInputs, typeof AZTEC_MAX_EPOCH_DURATION>);
+    static getFields(fields: FieldsOf<RootRollupPublicInputs>): readonly [AppendOnlyTreeSnapshot, AppendOnlyTreeSnapshot, 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], Fr, Fr, Fr, [BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs, BlockBlobPublicInputs]];
+    toBuffer(): Buffer;
+    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;
+    /** Creates an instance from a string. */
+    static get schema(): import("zod").ZodType<RootRollupPublicInputs, any, string>;
+    /** Creates a random instance. */
+    static random(): RootRollupPublicInputs;
+}
+//# sourceMappingURL=root_rollup.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,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,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E;;GAEG;AACH,qBAAa,gBAAgB;IAEzB;;;;OAIG;IACI,kBAAkB,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAC7E,qDAAqD;IAC9C,QAAQ,EAAE,EAAE;;IAPnB;;;;OAIG;IACI,kBAAkB,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAC7E,qDAAqD;IAC9C,QAAQ,EAAE,EAAE;IAGrB;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,GAAG,gBAAgB;IAIjE;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAInD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gBAAgB;IAQlE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,yDAEhB;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B,uEAAuE;IAChE,eAAe,EAAE,sBAAsB;IACvC,UAAU,EAAE,sBAAsB;IAClC,iBAAiB,EAAE,EAAE;IACrB,YAAY,EAAE,EAAE;IAEhB,YAAY,EAAE,EAAE;IAChB,cAAc,EAAE,EAAE;IAClB,OAAO,EAAE,EAAE;IACX,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IAC1D,UAAU,EAAE,EAAE;IACd,wBAAwB,EAAE,EAAE;IAC5B,QAAQ,EAAE,EAAE;IACZ,gBAAgB,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,wBAAwB,CAAC;;IAbtF,uEAAuE;IAChE,eAAe,EAAE,sBAAsB,EACvC,UAAU,EAAE,sBAAsB,EAClC,iBAAiB,EAAE,EAAE,EACrB,YAAY,EAAE,EAAE,EAEhB,YAAY,EAAE,EAAE,EAChB,cAAc,EAAE,EAAE,EAClB,OAAO,EAAE,EAAE,EACX,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,EAC1D,UAAU,EAAE,EAAE,EACd,wBAAwB,EAAE,EAAE,EAC5B,QAAQ,EAAE,EAAE,EACZ,gBAAgB,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,wBAAwB,CAAC;IAGxF,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAiBzD,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;IAkB/E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,iCAAiC;IACjC,MAAM,CAAC,MAAM;CAgBd"}