@aztec/stdlib 0.0.0-test.1 → 0.0.1-fake-ceab37513c

package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts

@@ -1,5 +1,3 @@
-/// <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 { EthAddress } from '@aztec/foundation/eth-address';
@@ -8,10 +6,15 @@ 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 { GlobalVariables } from '../tx/global_variables.js';
+import { EpochConstantData } from './epoch_constant_data.js';
 /**
  * Output of the block root and block merge rollup circuits.
  */
 export declare class BlockRootOrBlockMergePublicInputs {
+    /**
+     * Constants for the entire epoch.
+     */
+    constants: EpochConstantData;
     /**
      * Archive tree immediately before this block range.
      */
@@ -20,14 +23,6 @@ export declare class BlockRootOrBlockMergePublicInputs {
      * Archive tree after adding this block range.
      */
     newArchive: AppendOnlyTreeSnapshot;
-    /**
-     * Identifier of the previous block before the range.
-     */
-    previousBlockHash: Fr;
-    /**
-     * Identifier of the last block in the range.
-     */
-    endBlockHash: Fr;
     /**
      * Global variables for the first block in the range.
      */
@@ -42,26 +37,22 @@ export declare class BlockRootOrBlockMergePublicInputs {
      */
     outHash: Fr;
     /**
-     * The summed `transaction_fee`s and recipients of the constituent blocks.
+     * The hashes of the proposed block headers of the constituent blocks.
      */
-    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
-    /**
-     * Root of the verification key tree.
-     */
-    vkTreeRoot: Fr;
+    proposedBlockHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
     /**
-     * Root of the protocol contract tree.
+     * The summed `transaction_fee`s and recipients of the constituent blocks.
      */
-    protocolContractTreeRoot: Fr;
+    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
     /**
-     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
+     * Public inputs required to verify a batch of blobs.
      */
-    proverId: Fr;
+    blobPublicInputs: BlockBlobPublicInputs;
+    constructor(
     /**
-     * Public inputs required to verify a blob (challenge point z, evaluation y = p(z), and the commitment to p() for each blob)
+     * Constants for the entire epoch.
      */
-    blobPublicInputs: Tuple<BlockBlobPublicInputs, typeof AZTEC_MAX_EPOCH_DURATION>;
-    constructor(
+    constants: EpochConstantData, 
     /**
      * Archive tree immediately before this block range.
      */
@@ -70,14 +61,6 @@ export declare class BlockRootOrBlockMergePublicInputs {
      * Archive tree after adding this block range.
      */
     newArchive: AppendOnlyTreeSnapshot, 
-    /**
-     * Identifier of the previous block before the range.
-     */
-    previousBlockHash: Fr, 
-    /**
-     * Identifier of the last block in the range.
-     */
-    endBlockHash: Fr, 
     /**
      * Global variables for the first block in the range.
      */
@@ -92,25 +75,17 @@ export declare class BlockRootOrBlockMergePublicInputs {
      */
     outHash: Fr, 
     /**
-     * The summed `transaction_fee`s and recipients of the constituent blocks.
+     * The hashes of the proposed block headers of the constituent blocks.
      */
-    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, 
+    proposedBlockHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>, 
     /**
-     * Root of the verification key tree.
-     */
-    vkTreeRoot: Fr, 
-    /**
-     * Root of the protocol contract tree.
-     */
-    protocolContractTreeRoot: Fr, 
-    /**
-     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
+     * The summed `transaction_fee`s and recipients of the constituent blocks.
      */
-    proverId: Fr, 
+    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, 
     /**
-     * Public inputs required to verify a blob (challenge point z, evaluation y = p(z), and the commitment to p() for each blob)
+     * Public inputs required to verify a batch of blobs.
      */
-    blobPublicInputs: Tuple<BlockBlobPublicInputs, typeof AZTEC_MAX_EPOCH_DURATION>);
+    blobPublicInputs: BlockBlobPublicInputs);
     /**
      * Deserializes from a buffer or reader.
      * @param buffer - Buffer or reader to read from.
@@ -121,7 +96,7 @@ export declare class BlockRootOrBlockMergePublicInputs {
      * Serialize this as a buffer.
      * @returns The buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Serialize this as a hex string.
      * @returns - The hex string.
@@ -134,7 +109,7 @@ export declare class BlockRootOrBlockMergePublicInputs {
      */
     static fromString(str: string): BlockRootOrBlockMergePublicInputs;
     /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a hex string. */
     static get schema(): import("zod").ZodType<BlockRootOrBlockMergePublicInputs, any, string>;
 }
@@ -143,7 +118,7 @@ export declare class FeeRecipient {
     value: Fr;
     constructor(recipient: EthAddress, value: Fr);
     static fromBuffer(buffer: Buffer | BufferReader): FeeRecipient;
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     static getFields(fields: FieldsOf<FeeRecipient>): readonly [EthAddress, Fr];
     toFields(): Fr[];
     isEmpty(): boolean;

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

@@ -1 +1 @@
-{"version":3,"file":"block_root_or_block_merge_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_or_block_merge_public_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;;GAEG;AACH,qBAAa,iCAAiC;IAE1C;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;IACvB;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,wBAAwB,CAAC;;IAhDtF;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;IACvB;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,wBAAwB,CAAC;IAGxF;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iCAAiC;IAkBnF;;;OAGG;IACH,QAAQ;IAiBR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,YAAY;IACJ,SAAS,EAAE,UAAU;IAAS,KAAK,EAAE,EAAE;gBAAvC,SAAS,EAAE,UAAU,EAAS,KAAK,EAAE,EAAE;IAE1D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY;IAK9D,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC;IAI/C,QAAQ;IAIR,OAAO;IAIP,cAAc;;;;;;;IAOd,MAAM,CAAC,MAAM;CAGd"}
+{"version":3,"file":"block_root_or_block_merge_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_or_block_merge_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,iCAAiC;IAE1C;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,yBAAyB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAC5E;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,gBAAgB,EAAE,qBAAqB;;IApC9C;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,yBAAyB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAC5E;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,gBAAgB,EAAE,qBAAqB;IAGhD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iCAAiC;IAenF;;;OAGG;IACH,QAAQ;IAcR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,YAAY;IAEd,SAAS,EAAE,UAAU;IACrB,KAAK,EAAE,EAAE;gBADT,SAAS,EAAE,UAAU,EACrB,KAAK,EAAE,EAAE;IAGlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY;IAK9D,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC;IAI/C,QAAQ;IAIR,OAAO;IAIP,cAAc;;;;;;;IAOd,MAAM,CAAC,MAAM;CAGd"}

package/dest/rollup/block_root_or_block_merge_public_inputs.js

@@ -7,30 +7,26 @@ import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/found
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
 import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 import { GlobalVariables } from '../tx/global_variables.js';
+import { EpochConstantData } from './epoch_constant_data.js';
 /**
  * Output of the block root and block merge rollup circuits.
  */ export class BlockRootOrBlockMergePublicInputs {
+    constants;
     previousArchive;
     newArchive;
-    previousBlockHash;
-    endBlockHash;
     startGlobalVariables;
     endGlobalVariables;
     outHash;
+    proposedBlockHeaderHashes;
     fees;
-    vkTreeRoot;
-    protocolContractTreeRoot;
-    proverId;
     blobPublicInputs;
     constructor(/**
+     * Constants for the entire epoch.
+     */ constants, /**
      * Archive tree immediately before this block range.
      */ previousArchive, /**
      * Archive tree after adding this block range.
      */ newArchive, /**
-     * Identifier of the previous block before the range.
-     */ previousBlockHash, /**
-     * Identifier of the last block in the range.
-     */ endBlockHash, /**
      * Global variables for the first block in the range.
      */ startGlobalVariables, /**
      * Global variables for the last block in the range.
@@ -38,27 +34,20 @@ import { GlobalVariables } from '../tx/global_variables.js';
      * SHA256 hash of L2 to L1 messages. Used to make public inputs constant-sized (to then be opened on-chain).
      * Note: Truncated to 31 bytes to fit in Fr.
      */ outHash, /**
+     * The hashes of the proposed block headers of the constituent blocks.
+     */ proposedBlockHeaderHashes, /**
      * The summed `transaction_fee`s and recipients of the constituent blocks.
      */ fees, /**
-     * Root of the verification key tree.
-     */ vkTreeRoot, /**
-     * Root of the protocol contract tree.
-     */ protocolContractTreeRoot, /**
-     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
-     */ proverId, /**
-     * Public inputs required to verify a blob (challenge point z, evaluation y = p(z), and the commitment to p() for each blob)
+     * Public inputs required to verify a batch of blobs.
      */ blobPublicInputs){
+        this.constants = constants;
         this.previousArchive = previousArchive;
         this.newArchive = newArchive;
-        this.previousBlockHash = previousBlockHash;
-        this.endBlockHash = endBlockHash;
         this.startGlobalVariables = startGlobalVariables;
         this.endGlobalVariables = endGlobalVariables;
         this.outHash = outHash;
+        this.proposedBlockHeaderHashes = proposedBlockHeaderHashes;
         this.fees = fees;
-        this.vkTreeRoot = vkTreeRoot;
-        this.protocolContractTreeRoot = protocolContractTreeRoot;
-        this.proverId = proverId;
         this.blobPublicInputs = blobPublicInputs;
     }
     /**
@@ -67,13 +56,13 @@ import { GlobalVariables } from '../tx/global_variables.js';
    * @returns The deserialized public inputs.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new BlockRootOrBlockMergePublicInputs(reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readObject(GlobalVariables), reader.readObject(GlobalVariables), Fr.fromBuffer(reader), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readArray(AZTEC_MAX_EPOCH_DURATION, BlockBlobPublicInputs));
+        return new BlockRootOrBlockMergePublicInputs(reader.readObject(EpochConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(GlobalVariables), reader.readObject(GlobalVariables), Fr.fromBuffer(reader), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), reader.readObject(BlockBlobPublicInputs));
     }
     /**
    * Serialize this as a buffer.
    * @returns The buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.previousArchive, this.newArchive, this.previousBlockHash, this.endBlockHash, this.startGlobalVariables, this.endGlobalVariables, this.outHash, this.fees, this.vkTreeRoot, this.protocolContractTreeRoot, this.proverId, this.blobPublicInputs);
+        return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.startGlobalVariables, this.endGlobalVariables, this.outHash, this.proposedBlockHeaderHashes, this.fees, this.blobPublicInputs);
     }
     /**
    * Serialize this as a hex string.

package/dest/rollup/block_root_rollup.d.ts

@@ -1,7 +1,6 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
+import { BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges } from '@aztec/blob-lib';
 import { ARCHIVE_HEIGHT, BLOBS_PER_BLOCK, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, NESTED_RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
+import { BLS12Point, Fr } from '@aztec/foundation/fields';
 import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
 import type { FieldsOf } from '@aztec/foundation/types';
 import { RootParityInput } from '../parity/root_parity_input.js';
@@ -16,6 +15,10 @@ export declare class BlockRootRollupData {
      * Hint for inserting the new l1 to l2 message subtree.
      */
     l1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>;
+    /**
+     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
+     */
+    previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
     /**
      * Hint for inserting the new block hash to the last archive.
      */
@@ -25,7 +28,15 @@ export declare class BlockRootRollupData {
      */
     previousBlockHeader: BlockHeader;
     /**
-     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
+     * The current blob accumulation state across the epoch.
+     */
+    startBlobAccumulator: BlobAccumulatorPublicInputs;
+    /**
+     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges;
+    /**
+     * Identifier of the prover.
      */
     proverId: Fr;
     constructor(
@@ -37,6 +48,10 @@ export declare class BlockRootRollupData {
      * Hint for inserting the new l1 to l2 message subtree.
      */
     l1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>, 
+    /**
+     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
+     */
+    previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>, 
     /**
      * Hint for inserting the new block hash to the last archive.
      */
@@ -46,14 +61,22 @@ export declare class BlockRootRollupData {
      */
     previousBlockHeader: BlockHeader, 
     /**
-     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
+     * The current blob accumulation state across the epoch.
+     */
+    startBlobAccumulator: BlobAccumulatorPublicInputs, 
+    /**
+     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges, 
+    /**
+     * Identifier of the prover.
      */
     proverId: Fr);
     /**
      * Serializes the inputs to a buffer.
      * @returns - The inputs serialized to a buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Serializes the inputs to a hex string.
      * @returns The instance serialized to a hex string.
@@ -70,7 +93,7 @@ export declare class BlockRootRollupData {
      * @param fields - Fields to create the instance from.
      * @returns An array of fields.
      */
-    static getFields(fields: FieldsOf<BlockRootRollupData>): readonly [RootParityInput<459>, [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], BlockHeader, Fr];
+    static getFields(fields: FieldsOf<BlockRootRollupData>): readonly [RootParityInput<457>, [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], [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], BlockHeader, BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges, Fr];
     /**
      * Deserializes the inputs from a buffer.
      * @param buffer - A buffer to deserialize from.
@@ -84,7 +107,7 @@ export declare class BlockRootRollupData {
      */
     static fromString(str: string): BlockRootRollupData;
     /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a hex string. */
     static get schema(): import("zod").ZodType<BlockRootRollupData, any, string>;
 }
@@ -97,9 +120,8 @@ export declare class BlockRootRollupBlobData {
     blobFields: Fr[];
     /**
      * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
-     * TODO(Miranda): Rename to kzg_commitment to match BlobPublicInputs?
      */
-    blobCommitments: Tuple<Tuple<Fr, 2>, typeof BLOBS_PER_BLOCK>;
+    blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_BLOCK>;
     /**
      * The hash of eth blob hashes for this block
      * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
@@ -114,9 +136,8 @@ export declare class BlockRootRollupBlobData {
     blobFields: Fr[], 
     /**
      * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
-     * TODO(Miranda): Rename to kzg_commitment to match BlobPublicInputs?
      */
-    blobCommitments: Tuple<Tuple<Fr, 2>, typeof BLOBS_PER_BLOCK>, 
+    blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_BLOCK>, 
     /**
      * The hash of eth blob hashes for this block
      * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
@@ -126,7 +147,7 @@ export declare class BlockRootRollupBlobData {
      * Serializes the inputs to a buffer.
      * @returns - The inputs serialized to a buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Serializes the inputs to a hex string.
      * @returns The instance serialized to a hex string.
@@ -143,7 +164,7 @@ export declare class BlockRootRollupBlobData {
      * @param fields - Fields to create the instance from.
      * @returns An array of fields.
      */
-    static getFields(fields: FieldsOf<BlockRootRollupBlobData>): readonly [Fr[], [[Fr, Fr], [Fr, Fr], [Fr, Fr]], Fr];
+    static getFields(fields: FieldsOf<BlockRootRollupBlobData>): readonly [Fr[], [BLS12Point, BLS12Point, BLS12Point], Fr];
     /**
      * Deserializes the inputs from a buffer.
      * @param buffer - A buffer to deserialize from.
@@ -157,7 +178,7 @@ export declare class BlockRootRollupBlobData {
      */
     static fromString(str: string): BlockRootRollupBlobData;
     /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a hex string. */
     static get schema(): import("zod").ZodType<BlockRootRollupBlobData, any, string>;
 }
@@ -180,7 +201,7 @@ export declare class BlockRootRollupInputs {
      * Serializes the inputs to a buffer.
      * @returns - The inputs serialized to a buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Serializes the inputs to a hex string.
      * @returns The instance serialized to a hex string.
@@ -211,7 +232,7 @@ export declare class BlockRootRollupInputs {
      */
     static fromString(str: string): BlockRootRollupInputs;
     /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a hex string. */
     static get schema(): import("zod").ZodType<BlockRootRollupInputs, any, string>;
 }
@@ -224,7 +245,7 @@ export declare class SingleTxBlockRootRollupInputs {
      * Serializes the inputs to a buffer.
      * @returns - The inputs serialized to a buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Serializes the inputs to a hex string.
      * @returns The instance serialized to a hex string.
@@ -255,7 +276,7 @@ export declare class SingleTxBlockRootRollupInputs {
      */
     static fromString(str: string): SingleTxBlockRootRollupInputs;
     /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a hex string. */
     static get schema(): import("zod").ZodType<SingleTxBlockRootRollupInputs, any, string>;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"block_root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_rollup.ts"],"names":[],"mappings":";;AAAA,OAAO,EACL,cAAc,EACd,eAAe,EAEf,wCAAwC,EACxC,6BAA6B,EAC9B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,qBAAa,mBAAmB;IAE5B;;OAEG;IACI,WAAW,EAAE,eAAe,CAAC,OAAO,6BAA6B,CAAC;IACzE;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IAClG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAC9D;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,QAAQ,EAAE,EAAE;;IAnBnB;;OAEG;IACI,WAAW,EAAE,eAAe,CAAC,OAAO,6BAA6B,CAAC;IACzE;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IAClG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAC9D;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,QAAQ,EAAE,EAAE;IAGrB;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,mBAAmB;IAIvE;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC;IAUtD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;IAWrE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF;AAED,qBAAa,uBAAuB;IAEhC;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;;OAGG;IACI,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,eAAe,CAAC;IACnE;;;OAGG;IACI,SAAS,EAAE,EAAE;;IAfpB;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;;OAGG;IACI,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,eAAe,CAAC;IACnE;;;OAGG;IACI,SAAS,EAAE,EAAE;IAGtB;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,GAAG,uBAAuB;IAI/E;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAWzE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,gEAEhB;CACF;AAED;;GAEG;AACH,qBAAa,qBAAqB;IAE9B;;OAEG;IACI,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAC5D,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,uBAAuB;;IALxC;;OAEG;IACI,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,EAC5D,IAAI,EAAE,mBAAmB,EACzB,QAAQ,EAAE,uBAAuB;IAG1C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB;IAI3E;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC;IAIxD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB;IASvE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,8DAEhB;CACF;AAED,qBAAa,6BAA6B;IAE/B,kBAAkB,EAAE,CAAC,kBAAkB,CAAC;IACxC,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,uBAAuB;gBAFjC,kBAAkB,EAAE,CAAC,kBAAkB,CAAC,EACxC,IAAI,EAAE,mBAAmB,EACzB,QAAQ,EAAE,uBAAuB;IAG1C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC,GAAG,6BAA6B;IAI3F;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC;IAIhE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,6BAA6B;IAS/E;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}
+{"version":3,"file":"block_root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC3F,OAAO,EACL,cAAc,EACd,eAAe,EAEf,wCAAwC,EACxC,6BAA6B,EAC9B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,qBAAa,mBAAmB;IAE5B;;OAEG;IACI,WAAW,EAAE,eAAe,CAAC,OAAO,6BAA6B,CAAC;IACzE;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IAClG;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAC9D;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;OAEG;IACI,QAAQ,EAAE,EAAE;;IA/BnB;;OAEG;IACI,WAAW,EAAE,eAAe,CAAC,OAAO,6BAA6B,CAAC;IACzE;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IAClG;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAC9D;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;OAEG;IACI,QAAQ,EAAE,EAAE;IAGrB;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,mBAAmB;IAIvE;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC;IAatD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;IAcrE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF;AAED,qBAAa,uBAAuB;IAEhC;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,eAAe,CAAC;IACjE;;;OAGG;IACI,SAAS,EAAE,EAAE;;IAdpB;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,eAAe,CAAC;IACjE;;;OAGG;IACI,SAAS,EAAE,EAAE;IAGtB;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,GAAG,uBAAuB;IAI/E;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAWzE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,gEAEhB;CACF;AAED;;GAEG;AACH,qBAAa,qBAAqB;IAE9B;;OAEG;IACI,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAC5D,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,uBAAuB;;IALxC;;OAEG;IACI,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,EAC5D,IAAI,EAAE,mBAAmB,EACzB,QAAQ,EAAE,uBAAuB;IAG1C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB;IAI3E;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC;IAIxD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB;IASvE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,8DAEhB;CACF;AAED,qBAAa,6BAA6B;IAE/B,kBAAkB,EAAE,CAAC,kBAAkB,CAAC;IACxC,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,uBAAuB;gBAFjC,kBAAkB,EAAE,CAAC,kBAAkB,CAAC,EACxC,IAAI,EAAE,mBAAmB,EACzB,QAAQ,EAAE,uBAAuB;IAG1C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC,GAAG,6BAA6B;IAI3F;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC;IAIhE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,6BAA6B;IAS/E;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}

package/dest/rollup/block_root_rollup.js

@@ -1,5 +1,6 @@
+import { BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges } from '@aztec/blob-lib';
 import { ARCHIVE_HEIGHT, BLOBS_PER_BLOCK, FIELDS_PER_BLOB, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, NESTED_RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
+import { BLS12Point, Fr } from '@aztec/foundation/fields';
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
@@ -9,24 +10,36 @@ import { PreviousRollupData } from './previous_rollup_data.js';
 export class BlockRootRollupData {
     l1ToL2Roots;
     l1ToL2MessageSubtreeSiblingPath;
+    previousArchiveSiblingPath;
     newArchiveSiblingPath;
     previousBlockHeader;
+    startBlobAccumulator;
+    finalBlobChallenges;
     proverId;
     constructor(/**
      * The original and converted roots of the L1 to L2 messages subtrees.
      */ l1ToL2Roots, /**
      * Hint for inserting the new l1 to l2 message subtree.
      */ l1ToL2MessageSubtreeSiblingPath, /**
+     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
+     */ previousArchiveSiblingPath, /**
      * Hint for inserting the new block hash to the last archive.
      */ newArchiveSiblingPath, /**
      * The header of the previous block.
      */ previousBlockHeader, /**
-     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
+     * The current blob accumulation state across the epoch.
+     */ startBlobAccumulator, /**
+     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
+     */ finalBlobChallenges, /**
+     * Identifier of the prover.
      */ proverId){
         this.l1ToL2Roots = l1ToL2Roots;
         this.l1ToL2MessageSubtreeSiblingPath = l1ToL2MessageSubtreeSiblingPath;
+        this.previousArchiveSiblingPath = previousArchiveSiblingPath;
         this.newArchiveSiblingPath = newArchiveSiblingPath;
         this.previousBlockHeader = previousBlockHeader;
+        this.startBlobAccumulator = startBlobAccumulator;
+        this.finalBlobChallenges = finalBlobChallenges;
         this.proverId = proverId;
     }
     /**
@@ -56,8 +69,11 @@ export class BlockRootRollupData {
         return [
             fields.l1ToL2Roots,
             fields.l1ToL2MessageSubtreeSiblingPath,
+            fields.previousArchiveSiblingPath,
             fields.newArchiveSiblingPath,
             fields.previousBlockHeader,
+            fields.startBlobAccumulator,
+            fields.finalBlobChallenges,
             fields.proverId
         ];
     }
@@ -67,7 +83,7 @@ export class BlockRootRollupData {
    * @returns A new RootRollupInputs instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new BlockRootRollupData(RootParityInput.fromBuffer(reader, NESTED_RECURSIVE_PROOF_LENGTH), reader.readArray(L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr), BlockHeader.fromBuffer(reader), Fr.fromBuffer(reader));
+        return new BlockRootRollupData(RootParityInput.fromBuffer(reader, NESTED_RECURSIVE_PROOF_LENGTH), reader.readArray(L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr), BlockHeader.fromBuffer(reader), reader.readObject(BlobAccumulatorPublicInputs), reader.readObject(FinalBlobBatchingChallenges), Fr.fromBuffer(reader));
     }
     /**
    * Deserializes the inputs from a hex string.
@@ -93,7 +109,6 @@ export class BlockRootRollupBlobData {
      * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_BLOCK>
      */ blobFields, /**
      * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
-     * TODO(Miranda): Rename to kzg_commitment to match BlobPublicInputs?
      */ blobCommitments, /**
      * The hash of eth blob hashes for this block
      * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
@@ -142,9 +157,7 @@ export class BlockRootRollupBlobData {
         // reader.readArray(FIELDS_PER_BLOB, Fr),
         Array.from({
             length: FIELDS_PER_BLOB * BLOBS_PER_BLOCK
-        }, ()=>Fr.fromBuffer(reader)), reader.readArray(BLOBS_PER_BLOCK, {
-            fromBuffer: ()=>reader.readArray(2, Fr)
-        }), Fr.fromBuffer(reader));
+        }, ()=>Fr.fromBuffer(reader)), reader.readArray(BLOBS_PER_BLOCK, BLS12Point), Fr.fromBuffer(reader));
     }
     /**
    * Deserializes the inputs from a hex string.

package/dest/rollup/empty_block_root_rollup_inputs.d.ts

@@ -1,22 +1,19 @@
-/// <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 { BlockConstantData } from './block_constant_data.js';
 import { BlockRootRollupData } from './block_root_rollup.js';
-import { ConstantRollupData } from './constant_rollup_data.js';
 /**
  * Represents inputs of the empty block root rollup circuit.
  */
 export declare class EmptyBlockRootRollupInputs {
     readonly data: BlockRootRollupData;
-    readonly constants: ConstantRollupData;
-    readonly isPadding: boolean;
-    constructor(data: BlockRootRollupData, constants: ConstantRollupData, isPadding: boolean);
+    readonly constants: BlockConstantData;
+    constructor(data: BlockRootRollupData, constants: BlockConstantData);
     /**
      * Serializes the inputs to a buffer.
      * @returns - The inputs serialized to a buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Serializes the inputs to a hex string.
      * @returns The instance serialized to a hex string.
@@ -33,7 +30,7 @@ export declare class EmptyBlockRootRollupInputs {
      * @param fields - Fields to create the instance from.
      * @returns An array of fields.
      */
-    static getFields(fields: FieldsOf<EmptyBlockRootRollupInputs>): readonly [BlockRootRollupData, ConstantRollupData, boolean];
+    static getFields(fields: FieldsOf<EmptyBlockRootRollupInputs>): readonly [BlockRootRollupData, BlockConstantData];
     /**
      * Deserializes the inputs from a buffer.
      * @param buffer - A buffer to deserialize from.
@@ -47,7 +44,7 @@ export declare class EmptyBlockRootRollupInputs {
      */
     static fromString(str: string): EmptyBlockRootRollupInputs;
     /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a buffer string. */
     static get schema(): import("zod").ZodType<EmptyBlockRootRollupInputs, any, string>;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"empty_block_root_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/empty_block_root_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,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D;;GAEG;AACH,qBAAa,0BAA0B;aAEnB,IAAI,EAAE,mBAAmB;aACzB,SAAS,EAAE,kBAAkB;aAC7B,SAAS,EAAE,OAAO;gBAFlB,IAAI,EAAE,mBAAmB,EACzB,SAAS,EAAE,kBAAkB,EAC7B,SAAS,EAAE,OAAO;IAGpC;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IAI7D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IAS5E;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,gDAAgD;IAChD,MAAM,KAAK,MAAM,mEAEhB;CACF"}
+{"version":3,"file":"empty_block_root_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/empty_block_root_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,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAE7D;;GAEG;AACH,qBAAa,0BAA0B;aAEnB,IAAI,EAAE,mBAAmB;aACzB,SAAS,EAAE,iBAAiB;gBAD5B,IAAI,EAAE,mBAAmB,EACzB,SAAS,EAAE,iBAAiB;IAG9C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IAI7D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IAK5E;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,gDAAgD;IAChD,MAAM,KAAK,MAAM,mEAEhB;CACF"}

package/dest/rollup/empty_block_root_rollup_inputs.js

@@ -1,18 +1,16 @@
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { BlockConstantData } from './block_constant_data.js';
 import { BlockRootRollupData } from './block_root_rollup.js';
-import { ConstantRollupData } from './constant_rollup_data.js';
 /**
  * Represents inputs of the empty block root rollup circuit.
  */ export class EmptyBlockRootRollupInputs {
     data;
     constants;
-    isPadding;
-    constructor(data, constants, isPadding){
+    constructor(data, constants){
         this.data = data;
         this.constants = constants;
-        this.isPadding = isPadding;
     }
     /**
    * Serializes the inputs to a buffer.
@@ -40,8 +38,7 @@ import { ConstantRollupData } from './constant_rollup_data.js';
    */ static getFields(fields) {
         return [
             fields.data,
-            fields.constants,
-            fields.isPadding
+            fields.constants
         ];
     }
     /**
@@ -50,7 +47,7 @@ import { ConstantRollupData } from './constant_rollup_data.js';
    * @returns A new RootRollupInputs instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new EmptyBlockRootRollupInputs(reader.readObject(BlockRootRollupData), reader.readObject(ConstantRollupData), reader.readBoolean());
+        return new EmptyBlockRootRollupInputs(reader.readObject(BlockRootRollupData), reader.readObject(BlockConstantData));
     }
     /**
    * Deserializes the inputs from a hex string.

package/dest/rollup/epoch_constant_data.d.ts

@@ -0,0 +1,39 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+/**
+ * Constants that are the same for the entire epoch.
+ */
+export declare class EpochConstantData {
+    /**
+     * Root of the verification key tree.
+     */
+    vkTreeRoot: Fr;
+    /**
+     * Root of the protocol contract tree.
+     */
+    protocolContractTreeRoot: Fr;
+    /**
+     * Identifier of the prover of the epoch.
+     */
+    proverId: Fr;
+    constructor(
+    /**
+     * Root of the verification key tree.
+     */
+    vkTreeRoot: Fr, 
+    /**
+     * Root of the protocol contract tree.
+     */
+    protocolContractTreeRoot: Fr, 
+    /**
+     * Identifier of the prover of the epoch.
+     */
+    proverId: Fr);
+    static from(fields: FieldsOf<EpochConstantData>): EpochConstantData;
+    static fromBuffer(buffer: Buffer | BufferReader): EpochConstantData;
+    static getFields(fields: FieldsOf<EpochConstantData>): readonly [Fr, Fr, Fr];
+    static empty(): EpochConstantData;
+    toBuffer(): Buffer<ArrayBufferLike>;
+}
+//# sourceMappingURL=epoch_constant_data.d.ts.map