@aztec/stdlib 0.77.0-testnet-ignition.17

package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts

@@ -0,0 +1,159 @@
+/// <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';
+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 { GlobalVariables } from '../tx/global_variables.js';
+/**
+ * Output of the block root and block merge rollup circuits.
+ */
+export declare class BlockRootOrBlockMergePublicInputs {
+    /**
+     * Archive tree immediately before this block range.
+     */
+    previousArchive: AppendOnlyTreeSnapshot;
+    /**
+     * 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.
+     */
+    startGlobalVariables: GlobalVariables;
+    /**
+     * Global variables for the last block in the range.
+     */
+    endGlobalVariables: GlobalVariables;
+    /**
+     * 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: Fr;
+    /**
+     * The summed `transaction_fee`s and recipients of the constituent blocks.
+     */
+    fees: Tuple<FeeRecipient, 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
+     */
+    proverId: Fr;
+    /**
+     * Public inputs required to verify a blob (challenge point z, evaluation y = p(z), and the commitment to p() for each blob)
+     */
+    blobPublicInputs: Tuple<BlockBlobPublicInputs, typeof AZTEC_MAX_EPOCH_DURATION>;
+    constructor(
+    /**
+     * Archive tree immediately before this block range.
+     */
+    previousArchive: AppendOnlyTreeSnapshot, 
+    /**
+     * 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.
+     */
+    startGlobalVariables: GlobalVariables, 
+    /**
+     * Global variables for the last block in the range.
+     */
+    endGlobalVariables: GlobalVariables, 
+    /**
+     * 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: Fr, 
+    /**
+     * The summed `transaction_fee`s and recipients of the constituent blocks.
+     */
+    fees: Tuple<FeeRecipient, 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
+     */
+    proverId: Fr, 
+    /**
+     * Public inputs required to verify a blob (challenge point z, evaluation y = p(z), and the commitment to p() for each blob)
+     */
+    blobPublicInputs: Tuple<BlockBlobPublicInputs, typeof AZTEC_MAX_EPOCH_DURATION>);
+    /**
+     * Deserializes from a buffer or reader.
+     * @param buffer - Buffer or reader to read from.
+     * @returns The deserialized public inputs.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootOrBlockMergePublicInputs;
+    /**
+     * Serialize this as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Serialize this as a hex string.
+     * @returns - The hex string.
+     */
+    toString(): `0x${string}`;
+    /**
+     * Deserializes from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new BaseOrMergeRollupPublicInputs instance.
+     */
+    static fromString(str: string): BlockRootOrBlockMergePublicInputs;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<BlockRootOrBlockMergePublicInputs, any, string>;
+}
+export declare class FeeRecipient {
+    recipient: EthAddress;
+    value: Fr;
+    constructor(recipient: EthAddress, value: Fr);
+    static fromBuffer(buffer: Buffer | BufferReader): FeeRecipient;
+    toBuffer(): Buffer;
+    static getFields(fields: FieldsOf<FeeRecipient>): readonly [EthAddress, Fr];
+    toFields(): Fr[];
+    isEmpty(): boolean;
+    toFriendlyJSON(): {
+        recipient?: undefined;
+        value?: undefined;
+    } | {
+        recipient: `0x${string}`;
+        value: `0x${string}`;
+    };
+    static random(): FeeRecipient;
+}
+//# sourceMappingURL=block_root_or_block_merge_public_inputs.d.ts.map

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

@@ -0,0 +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"}

package/dest/rollup/block_root_or_block_merge_public_inputs.js

@@ -0,0 +1,136 @@
+import { BlockBlobPublicInputs } from '@aztec/blob-lib';
+import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { GlobalVariables } from '../tx/global_variables.js';
+/**
+ * Output of the block root and block merge rollup circuits.
+ */ export class BlockRootOrBlockMergePublicInputs {
+    previousArchive;
+    newArchive;
+    previousBlockHash;
+    endBlockHash;
+    startGlobalVariables;
+    endGlobalVariables;
+    outHash;
+    fees;
+    vkTreeRoot;
+    protocolContractTreeRoot;
+    proverId;
+    blobPublicInputs;
+    constructor(/**
+     * 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.
+     */ endGlobalVariables, /**
+     * 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 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)
+     */ blobPublicInputs){
+        this.previousArchive = previousArchive;
+        this.newArchive = newArchive;
+        this.previousBlockHash = previousBlockHash;
+        this.endBlockHash = endBlockHash;
+        this.startGlobalVariables = startGlobalVariables;
+        this.endGlobalVariables = endGlobalVariables;
+        this.outHash = outHash;
+        this.fees = fees;
+        this.vkTreeRoot = vkTreeRoot;
+        this.protocolContractTreeRoot = protocolContractTreeRoot;
+        this.proverId = proverId;
+        this.blobPublicInputs = blobPublicInputs;
+    }
+    /**
+   * Deserializes from a buffer or reader.
+   * @param buffer - Buffer or reader to read from.
+   * @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));
+    }
+    /**
+   * 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);
+    }
+    /**
+   * Serialize this as a hex string.
+   * @returns - The hex string.
+   */ toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /**
+   * Deserializes from a hex string.
+   * @param str - A hex string to deserialize from.
+   * @returns A new BaseOrMergeRollupPublicInputs instance.
+   */ static fromString(str) {
+        return BlockRootOrBlockMergePublicInputs.fromBuffer(hexToBuffer(str));
+    }
+    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a hex string. */ static get schema() {
+        return bufferSchemaFor(BlockRootOrBlockMergePublicInputs);
+    }
+}
+export class FeeRecipient {
+    recipient;
+    value;
+    constructor(recipient, value){
+        this.recipient = recipient;
+        this.value = value;
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new FeeRecipient(reader.readObject(EthAddress), Fr.fromBuffer(reader));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.recipient, this.value);
+    }
+    static getFields(fields) {
+        return [
+            fields.recipient,
+            fields.value
+        ];
+    }
+    toFields() {
+        return serializeToFields(...FeeRecipient.getFields(this));
+    }
+    isEmpty() {
+        return this.value.isZero() && this.recipient.isZero();
+    }
+    toFriendlyJSON() {
+        if (this.isEmpty()) {
+            return {};
+        }
+        return {
+            recipient: this.recipient.toString(),
+            value: this.value.toString()
+        };
+    }
+    static random() {
+        return new FeeRecipient(EthAddress.random(), Fr.random());
+    }
+}

package/dest/rollup/block_root_rollup.d.ts

@@ -0,0 +1,262 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+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 { 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 {
+    /**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */
+    l1ToL2Roots: RootParityInput<typeof NESTED_RECURSIVE_PROOF_LENGTH>;
+    /**
+     * Hint for inserting the new l1 to l2 message subtree.
+     */
+    l1ToL2MessageSubtreeSiblingPath: 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>;
+    /**
+     * The header of the previous block.
+     */
+    previousBlockHeader: BlockHeader;
+    /**
+     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
+     */
+    proverId: Fr;
+    constructor(
+    /**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */
+    l1ToL2Roots: RootParityInput<typeof NESTED_RECURSIVE_PROOF_LENGTH>, 
+    /**
+     * Hint for inserting the new l1 to l2 message subtree.
+     */
+    l1ToL2MessageSubtreeSiblingPath: 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>, 
+    /**
+     * The header of the previous block.
+     */
+    previousBlockHeader: BlockHeader, 
+    /**
+     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
+     */
+    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<BlockRootRollupData>): BlockRootRollupData;
+    /**
+     * Extracts fields from an instance.
+     * @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];
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - A buffer to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupData;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromString(str: string): BlockRootRollupData;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<BlockRootRollupData, any, string>;
+}
+export declare class BlockRootRollupBlobData {
+    /**
+     * 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>
+     */
+    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>;
+    /**
+     * The hash of eth blob hashes for this block
+     * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
+     */
+    blobsHash: Fr;
+    constructor(
+    /**
+     * 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>
+     */
+    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>, 
+    /**
+     * The hash of eth blob hashes for this block
+     * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
+     */
+    blobsHash: 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<BlockRootRollupBlobData>): BlockRootRollupBlobData;
+    /**
+     * Extracts fields from an instance.
+     * @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];
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - A buffer to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupBlobData;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromString(str: string): BlockRootRollupBlobData;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** 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 {
+    /**
+     * The previous rollup data from 2 merge or base rollup circuits.
+     */
+    previousRollupData: [PreviousRollupData, PreviousRollupData];
+    data: BlockRootRollupData;
+    blobData: BlockRootRollupBlobData;
+    constructor(
+    /**
+     * The previous rollup data from 2 merge or base rollup circuits.
+     */
+    previousRollupData: [PreviousRollupData, PreviousRollupData], data: BlockRootRollupData, blobData: BlockRootRollupBlobData);
+    /**
+     * 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<BlockRootRollupInputs>): BlockRootRollupInputs;
+    /**
+     * Extracts fields from an instance.
+     * @param fields - Fields to create the instance from.
+     * @returns An array of fields.
+     */
+    static getFields(fields: FieldsOf<BlockRootRollupInputs>): readonly [[PreviousRollupData, PreviousRollupData], BlockRootRollupData, BlockRootRollupBlobData];
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - A buffer to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupInputs;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromString(str: string): BlockRootRollupInputs;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<BlockRootRollupInputs, 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;
+    /**
+     * 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<SingleTxBlockRootRollupInputs>): SingleTxBlockRootRollupInputs;
+    /**
+     * Extracts fields from an instance.
+     * @param fields - Fields to create the instance from.
+     * @returns An array of fields.
+     */
+    static getFields(fields: FieldsOf<SingleTxBlockRootRollupInputs>): readonly [[PreviousRollupData], BlockRootRollupData, BlockRootRollupBlobData];
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - A buffer to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): SingleTxBlockRootRollupInputs;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new RootRollupInputs instance.
+     */
+    static fromString(str: string): SingleTxBlockRootRollupInputs;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<SingleTxBlockRootRollupInputs, any, string>;
+}
+//# sourceMappingURL=block_root_rollup.d.ts.map

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

@@ -0,0 +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"}