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

package/dest/rollup/block_root_rollup.d.ts

@@ -1,283 +1,247 @@
-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 { BLS12Point, Fr } from '@aztec/foundation/fields';
+import { SpongeBlob } from '@aztec/blob-lib/types';
+import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH } 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 { RootParityInput } from '../parity/root_parity_input.js';
-import { BlockHeader } from '../tx/block_header.js';
-import { PreviousRollupData } from './previous_rollup_data.js';
-export declare class BlockRootRollupData {
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { StateReference } from '../tx/state_reference.js';
+import type { UInt64 } from '../types/shared.js';
+import { BaseOrMergeRollupPublicInputs } from './base_or_merge_rollup_public_inputs.js';
+import { CheckpointConstantData } from './checkpoint_constant_data.js';
+import type { RollupProofData, RootParityProofData } from './rollup_proof_data.js';
+export declare class BlockRootFirstRollupPrivateInputs {
     /**
      * The original and converted roots of the L1 to L2 messages subtrees.
      */
-    l1ToL2Roots: RootParityInput<typeof NESTED_RECURSIVE_PROOF_LENGTH>;
+    l1ToL2Roots: RootParityProofData;
     /**
-     * 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.
+     * The previous rollup proof data from base or merge rollup circuits.
      */
-    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    previousRollups: [
+        RollupProofData<BaseOrMergeRollupPublicInputs>,
+        RollupProofData<BaseOrMergeRollupPublicInputs>
+    ];
     /**
-     * The header of the previous block.
+     * The l1 to l2 message tree snapshot immediately before this block.
      */
-    previousBlockHeader: BlockHeader;
+    previousL1ToL2: AppendOnlyTreeSnapshot;
     /**
-     * The current blob accumulation state across the epoch.
+     * Hint for inserting the new l1 to l2 message subtree into `previousL1ToL2`.
      */
-    startBlobAccumulator: BlobAccumulatorPublicInputs;
+    newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>;
     /**
-     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
-     */
-    finalBlobChallenges: FinalBlobBatchingChallenges;
-    /**
-     * Identifier of the prover.
+     * Hint for inserting the new block hash to the last archive.
      */
-    proverId: Fr;
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
     constructor(
     /**
      * The original and converted roots of the L1 to L2 messages subtrees.
      */
-    l1ToL2Roots: RootParityInput<typeof NESTED_RECURSIVE_PROOF_LENGTH>, 
+    l1ToL2Roots: RootParityProofData, 
     /**
-     * Hint for inserting the new l1 to l2 message subtree.
+     * The previous rollup proof data from base or merge rollup circuits.
      */
-    l1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>, 
+    previousRollups: [
+        RollupProofData<BaseOrMergeRollupPublicInputs>,
+        RollupProofData<BaseOrMergeRollupPublicInputs>
+    ], 
     /**
-     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
+     * The l1 to l2 message tree snapshot immediately before this block.
      */
-    previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>, 
+    previousL1ToL2: AppendOnlyTreeSnapshot, 
+    /**
+     * Hint for inserting the new l1 to l2 message subtree into `previousL1ToL2`.
+     */
+    newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>, 
     /**
      * Hint for inserting the new block hash to the last archive.
      */
-    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>, 
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootFirstRollupPrivateInputs>): BlockRootFirstRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootFirstRollupPrivateInputs>): readonly [RootParityProofData, [RollupProofData<BaseOrMergeRollupPublicInputs>, RollupProofData<BaseOrMergeRollupPublicInputs>], AppendOnlyTreeSnapshot, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootFirstRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<BlockRootFirstRollupPrivateInputs, any, string>;
+}
+export declare class BlockRootSingleTxFirstRollupPrivateInputs {
     /**
-     * The header of the previous block.
+     * The original and converted roots of the L1 to L2 messages subtrees.
      */
-    previousBlockHeader: BlockHeader, 
+    l1ToL2Roots: RootParityProofData;
     /**
-     * The current blob accumulation state across the epoch.
+     * The previous rollup proof data from base or merge rollup circuits.
      */
-    startBlobAccumulator: BlobAccumulatorPublicInputs, 
+    previousRollup: RollupProofData<BaseOrMergeRollupPublicInputs>;
     /**
-     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
+     * The l1 to l2 message tree snapshot immediately before this block.
      */
-    finalBlobChallenges: FinalBlobBatchingChallenges, 
+    previousL1ToL2: AppendOnlyTreeSnapshot;
     /**
-     * Identifier of the prover.
+     * Hint for inserting the new l1 to l2 message subtree.
      */
-    proverId: Fr);
+    newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>;
     /**
-     * Serializes the inputs to a buffer.
-     * @returns - The inputs serialized to a buffer.
+     * Hint for inserting the new block hash to the last archive.
      */
-    toBuffer(): Buffer<ArrayBufferLike>;
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    constructor(
     /**
-     * Serializes the inputs to a hex string.
-     * @returns The instance serialized to a hex string.
+     * The original and converted roots of the L1 to L2 messages subtrees.
      */
-    toString(): `0x${string}`;
+    l1ToL2Roots: RootParityProofData, 
     /**
-     * Creates a new instance from fields.
-     * @param fields - Fields to create the instance from.
-     * @returns A new RootRollupInputs instance.
+     * The previous rollup proof data from base or merge rollup circuits.
      */
-    static from(fields: FieldsOf<BlockRootRollupData>): BlockRootRollupData;
+    previousRollup: RollupProofData<BaseOrMergeRollupPublicInputs>, 
     /**
-     * Extracts fields from an instance.
-     * @param fields - Fields to create the instance from.
-     * @returns An array of fields.
+     * The l1 to l2 message tree snapshot immediately before this block.
      */
-    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];
+    previousL1ToL2: AppendOnlyTreeSnapshot, 
     /**
-     * Deserializes the inputs from a buffer.
-     * @param buffer - A buffer to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * Hint for inserting the new l1 to l2 message subtree.
      */
-    static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupData;
+    newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>, 
     /**
-     * Deserializes the inputs from a hex string.
-     * @param str - A hex string to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * Hint for inserting the new block hash to the last archive.
      */
-    static fromString(str: string): BlockRootRollupData;
-    /** Returns a buffer representation for JSON serialization. */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootSingleTxFirstRollupPrivateInputs>): BlockRootSingleTxFirstRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootSingleTxFirstRollupPrivateInputs>): readonly [RootParityProofData, RollupProofData<BaseOrMergeRollupPublicInputs>, AppendOnlyTreeSnapshot, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootSingleTxFirstRollupPrivateInputs;
     toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<BlockRootRollupData, any, string>;
+    static get schema(): import("zod").ZodType<BlockRootSingleTxFirstRollupPrivateInputs, any, string>;
 }
-export declare class BlockRootRollupBlobData {
+export declare class BlockRootEmptyTxFirstRollupPrivateInputs {
     /**
-     * Flat list of all tx effects which will be added to the blob.
-     * Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
-     * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_BLOCK>
+     * The original and converted roots of the L1 to L2 messages subtrees.
      */
-    blobFields: Fr[];
+    l1ToL2Roots: RootParityProofData;
     /**
-     * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
+     * The archive after applying the previous block.
      */
-    blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_BLOCK>;
+    previousArchive: AppendOnlyTreeSnapshot;
     /**
-     * The hash of eth blob hashes for this block
-     * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
+     * The state reference of the previous block.
      */
-    blobsHash: Fr;
-    constructor(
+    previousState: StateReference;
     /**
-     * Flat list of all tx effects which will be added to the blob.
-     * Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
-     * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_BLOCK>
+     * The constants of the checkpoint.
      */
-    blobFields: Fr[], 
+    constants: CheckpointConstantData;
     /**
-     * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
+     * The start sponge blob of this block. No data has been absorbed into it yet, since it's the first block. But the
+     * number of expected fields must be set to the total number of fields in the entire checkpoint.
      */
-    blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_BLOCK>, 
+    startSpongeBlob: SpongeBlob;
     /**
-     * The hash of eth blob hashes for this block
-     * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
+     * The timestamp of this block.
      */
-    blobsHash: Fr);
+    timestamp: UInt64;
     /**
-     * Serializes the inputs to a buffer.
-     * @returns - The inputs serialized to a buffer.
+     * Hint for inserting the new l1 to l2 message subtree.
      */
-    toBuffer(): Buffer<ArrayBufferLike>;
+    newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>;
     /**
-     * Serializes the inputs to a hex string.
-     * @returns The instance serialized to a hex string.
+     * Hint for inserting the new block hash to the last archive.
      */
-    toString(): `0x${string}`;
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    constructor(
     /**
-     * Creates a new instance from fields.
-     * @param fields - Fields to create the instance from.
-     * @returns A new RootRollupInputs instance.
+     * The original and converted roots of the L1 to L2 messages subtrees.
      */
-    static from(fields: FieldsOf<BlockRootRollupBlobData>): BlockRootRollupBlobData;
+    l1ToL2Roots: RootParityProofData, 
     /**
-     * Extracts fields from an instance.
-     * @param fields - Fields to create the instance from.
-     * @returns An array of fields.
+     * The archive after applying the previous block.
      */
-    static getFields(fields: FieldsOf<BlockRootRollupBlobData>): readonly [Fr[], [BLS12Point, BLS12Point, BLS12Point], Fr];
+    previousArchive: AppendOnlyTreeSnapshot, 
     /**
-     * Deserializes the inputs from a buffer.
-     * @param buffer - A buffer to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * The state reference of the previous block.
      */
-    static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupBlobData;
+    previousState: StateReference, 
     /**
-     * Deserializes the inputs from a hex string.
-     * @param str - A hex string to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * The constants of the checkpoint.
      */
-    static fromString(str: string): BlockRootRollupBlobData;
-    /** Returns a buffer representation for JSON serialization. */
-    toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<BlockRootRollupBlobData, any, string>;
-}
-/**
- * Represents inputs of the block root rollup circuit.
- */
-export declare class BlockRootRollupInputs {
+    constants: CheckpointConstantData, 
     /**
-     * The previous rollup data from 2 merge or base rollup circuits.
+     * The start sponge blob of this block. No data has been absorbed into it yet, since it's the first block. But the
+     * number of expected fields must be set to the total number of fields in the entire checkpoint.
      */
-    previousRollupData: [PreviousRollupData, PreviousRollupData];
-    data: BlockRootRollupData;
-    blobData: BlockRootRollupBlobData;
-    constructor(
+    startSpongeBlob: SpongeBlob, 
     /**
-     * The previous rollup data from 2 merge or base rollup circuits.
+     * The timestamp of this block.
      */
-    previousRollupData: [PreviousRollupData, PreviousRollupData], data: BlockRootRollupData, blobData: BlockRootRollupBlobData);
+    timestamp: UInt64, 
     /**
-     * Serializes the inputs to a buffer.
-     * @returns - The inputs serialized to a buffer.
+     * Hint for inserting the new l1 to l2 message subtree.
      */
-    toBuffer(): Buffer<ArrayBufferLike>;
+    newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>, 
     /**
-     * Serializes the inputs to a hex string.
-     * @returns The instance serialized to a hex string.
+     * Hint for inserting the new block hash to the last archive.
      */
-    toString(): `0x${string}`;
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootEmptyTxFirstRollupPrivateInputs>): BlockRootEmptyTxFirstRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootEmptyTxFirstRollupPrivateInputs>): readonly [RootParityProofData, AppendOnlyTreeSnapshot, StateReference, CheckpointConstantData, SpongeBlob, bigint, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootEmptyTxFirstRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<BlockRootEmptyTxFirstRollupPrivateInputs, any, string>;
+}
+export declare class BlockRootRollupPrivateInputs {
     /**
-     * Creates a new instance from fields.
-     * @param fields - Fields to create the instance from.
-     * @returns A new RootRollupInputs instance.
+     * The previous rollup proof data from base or merge rollup circuits.
      */
-    static from(fields: FieldsOf<BlockRootRollupInputs>): BlockRootRollupInputs;
+    previousRollups: [
+        RollupProofData<BaseOrMergeRollupPublicInputs>,
+        RollupProofData<BaseOrMergeRollupPublicInputs>
+    ];
     /**
-     * Extracts fields from an instance.
-     * @param fields - Fields to create the instance from.
-     * @returns An array of fields.
+     * Hint for inserting the new block hash to the last archive.
      */
-    static getFields(fields: FieldsOf<BlockRootRollupInputs>): readonly [[PreviousRollupData, PreviousRollupData], BlockRootRollupData, BlockRootRollupBlobData];
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    constructor(
     /**
-     * Deserializes the inputs from a buffer.
-     * @param buffer - A buffer to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * The previous rollup proof data from base or merge rollup circuits.
      */
-    static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupInputs;
+    previousRollups: [
+        RollupProofData<BaseOrMergeRollupPublicInputs>,
+        RollupProofData<BaseOrMergeRollupPublicInputs>
+    ], 
     /**
-     * Deserializes the inputs from a hex string.
-     * @param str - A hex string to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * Hint for inserting the new block hash to the last archive.
      */
-    static fromString(str: string): BlockRootRollupInputs;
-    /** Returns a buffer representation for JSON serialization. */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootRollupPrivateInputs>): BlockRootRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootRollupPrivateInputs>): readonly [[RollupProofData<BaseOrMergeRollupPublicInputs>, RollupProofData<BaseOrMergeRollupPublicInputs>], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupPrivateInputs;
     toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<BlockRootRollupInputs, any, string>;
+    static get schema(): import("zod").ZodType<BlockRootRollupPrivateInputs, any, string>;
 }
-export declare class SingleTxBlockRootRollupInputs {
-    previousRollupData: [PreviousRollupData];
-    data: BlockRootRollupData;
-    blobData: BlockRootRollupBlobData;
-    constructor(previousRollupData: [PreviousRollupData], data: BlockRootRollupData, blobData: BlockRootRollupBlobData);
-    /**
-     * Serializes the inputs to a buffer.
-     * @returns - The inputs serialized to a buffer.
-     */
-    toBuffer(): Buffer<ArrayBufferLike>;
+export declare class BlockRootSingleTxRollupPrivateInputs {
     /**
-     * Serializes the inputs to a hex string.
-     * @returns The instance serialized to a hex string.
+     * The previous rollup proof data from base or merge rollup circuits.
      */
-    toString(): `0x${string}`;
+    previousRollup: RollupProofData<BaseOrMergeRollupPublicInputs>;
     /**
-     * Creates a new instance from fields.
-     * @param fields - Fields to create the instance from.
-     * @returns A new RootRollupInputs instance.
-     */
-    static from(fields: FieldsOf<SingleTxBlockRootRollupInputs>): SingleTxBlockRootRollupInputs;
-    /**
-     * Extracts fields from an instance.
-     * @param fields - Fields to create the instance from.
-     * @returns An array of fields.
+     * Hint for inserting the new block hash to the last archive.
      */
-    static getFields(fields: FieldsOf<SingleTxBlockRootRollupInputs>): readonly [[PreviousRollupData], BlockRootRollupData, BlockRootRollupBlobData];
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    constructor(
     /**
-     * Deserializes the inputs from a buffer.
-     * @param buffer - A buffer to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * The previous rollup proof data from base or merge rollup circuits.
      */
-    static fromBuffer(buffer: Buffer | BufferReader): SingleTxBlockRootRollupInputs;
+    previousRollup: RollupProofData<BaseOrMergeRollupPublicInputs>, 
     /**
-     * Deserializes the inputs from a hex string.
-     * @param str - A hex string to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * Hint for inserting the new block hash to the last archive.
      */
-    static fromString(str: string): SingleTxBlockRootRollupInputs;
-    /** Returns a buffer representation for JSON serialization. */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootSingleTxRollupPrivateInputs>): BlockRootSingleTxRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootSingleTxRollupPrivateInputs>): readonly [RollupProofData<BaseOrMergeRollupPublicInputs>, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootSingleTxRollupPrivateInputs;
     toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<SingleTxBlockRootRollupInputs, any, string>;
+    static get schema(): import("zod").ZodType<BlockRootSingleTxRollupPrivateInputs, any, string>;
 }
 //# sourceMappingURL=block_root_rollup.d.ts.map

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,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"}
+{"version":3,"file":"block_root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,wCAAwC,EAAE,MAAM,kBAAkB,CAAC;AAC5F,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAuC,MAAM,6BAA6B,CAAC;AAC5G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAIxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,6BAA6B,EAAE,MAAM,yCAAyC,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAEnF,qBAAa,iCAAiC;IAE1C;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAtB9D;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAI/D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAUpE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,MAAM;IAIN,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,yCAAyC;IAElD;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAnB9D;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAMvE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAU5E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,kFAEhB;CACF;AAED,qBAAa,wCAAwC;IAEjD;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAhC9D;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAItE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAa3E,QAAQ;IAaR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,MAAM;IAIN,MAAM,KAAK,MAAM,iFAEhB;CACF;AAED,qBAAa,4BAA4B;IAErC;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAV9D;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI1D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI/D,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAP9D;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIlE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIvE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,MAAM;IAIN,MAAM,KAAK,MAAM,6EAEhB;CACF"}