@aztec/stdlib 0.77.0-testnet-ignition.17

package/src/rollup/block_root_or_block_merge_public_inputs.ts

@@ -0,0 +1,175 @@
+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, type Tuple, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+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 class BlockRootOrBlockMergePublicInputs {
+  constructor(
+    /**
+     * Archive tree immediately before this block range.
+     */
+    public previousArchive: AppendOnlyTreeSnapshot,
+    /**
+     * Archive tree after adding this block range.
+     */
+    public newArchive: AppendOnlyTreeSnapshot,
+    /**
+     * Identifier of the previous block before the range.
+     */
+    public previousBlockHash: Fr,
+    /**
+     * Identifier of the last block in the range.
+     */
+    public endBlockHash: Fr,
+    /**
+     * Global variables for the first block in the range.
+     */
+    public startGlobalVariables: GlobalVariables,
+    /**
+     * Global variables for the last block in the range.
+     */
+    public 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.
+     */
+    public outHash: Fr,
+    /**
+     * The summed `transaction_fee`s and recipients of the constituent blocks.
+     */
+    public fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>,
+    /**
+     * Root of the verification key tree.
+     */
+    public vkTreeRoot: Fr,
+    /**
+     * Root of the protocol contract tree.
+     */
+    public protocolContractTreeRoot: Fr,
+    /**
+     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
+     */
+    public proverId: Fr,
+    /**
+     * Public inputs required to verify a blob (challenge point z, evaluation y = p(z), and the commitment to p() for each blob)
+     */
+    public 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 {
+    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: string) {
+    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 {
+  constructor(public recipient: EthAddress, public value: Fr) {}
+
+  static fromBuffer(buffer: Buffer | BufferReader): FeeRecipient {
+    const reader = BufferReader.asReader(buffer);
+    return new FeeRecipient(reader.readObject(EthAddress), Fr.fromBuffer(reader));
+  }
+
+  toBuffer() {
+    return serializeToBuffer(this.recipient, this.value);
+  }
+
+  static getFields(fields: FieldsOf<FeeRecipient>) {
+    return [fields.recipient, fields.value] as const;
+  }
+
+  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/src/rollup/block_root_rollup.ts

@@ -0,0 +1,362 @@
+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 { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, type Tuple, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+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 class BlockRootRollupData {
+  constructor(
+    /**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */
+    public l1ToL2Roots: RootParityInput<typeof NESTED_RECURSIVE_PROOF_LENGTH>,
+    /**
+     * Hint for inserting the new l1 to l2 message subtree.
+     */
+    public l1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>,
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    public newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>,
+    /**
+     * The header of the previous block.
+     */
+    public previousBlockHeader: BlockHeader,
+    /**
+     * TODO(#7346): Temporarily added prover_id while we verify block-root proofs on L1
+     */
+    public proverId: Fr,
+  ) {}
+
+  /**
+   * Serializes the inputs to a buffer.
+   * @returns - The inputs serialized to a buffer.
+   */
+  toBuffer() {
+    return serializeToBuffer(...BlockRootRollupData.getFields(this));
+  }
+
+  /**
+   * Serializes the inputs to a hex string.
+   * @returns The instance serialized to a hex string.
+   */
+  toString() {
+    return bufferToHex(this.toBuffer());
+  }
+
+  /**
+   * 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 {
+    return new BlockRootRollupData(...BlockRootRollupData.getFields(fields));
+  }
+
+  /**
+   * Extracts fields from an instance.
+   * @param fields - Fields to create the instance from.
+   * @returns An array of fields.
+   */
+  static getFields(fields: FieldsOf<BlockRootRollupData>) {
+    return [
+      fields.l1ToL2Roots,
+      fields.l1ToL2MessageSubtreeSiblingPath,
+      fields.newArchiveSiblingPath,
+      fields.previousBlockHeader,
+      fields.proverId,
+    ] as const;
+  }
+
+  /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - A buffer to deserialize from.
+   * @returns A new RootRollupInputs instance.
+   */
+  static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupData {
+    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),
+    );
+  }
+
+  /**
+   * Deserializes the inputs from a hex string.
+   * @param str - A hex string to deserialize from.
+   * @returns A new RootRollupInputs instance.
+   */
+  static fromString(str: string) {
+    return BlockRootRollupData.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(BlockRootRollupData);
+  }
+}
+
+export class BlockRootRollupBlobData {
+  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>
+     */
+    public blobFields: Fr[],
+    /**
+     * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
+     * TODO(Miranda): Rename to kzg_commitment to match BlobPublicInputs?
+     */
+    public 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
+     */
+    public blobsHash: Fr,
+  ) {}
+
+  /**
+   * Serializes the inputs to a buffer.
+   * @returns - The inputs serialized to a buffer.
+   */
+  toBuffer() {
+    return serializeToBuffer(...BlockRootRollupBlobData.getFields(this));
+  }
+
+  /**
+   * Serializes the inputs to a hex string.
+   * @returns The instance serialized to a hex string.
+   */
+  toString() {
+    return bufferToHex(this.toBuffer());
+  }
+
+  /**
+   * 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 {
+    return new BlockRootRollupBlobData(...BlockRootRollupBlobData.getFields(fields));
+  }
+
+  /**
+   * Extracts fields from an instance.
+   * @param fields - Fields to create the instance from.
+   * @returns An array of fields.
+   */
+  static getFields(fields: FieldsOf<BlockRootRollupBlobData>) {
+    return [fields.blobFields, fields.blobCommitments, fields.blobsHash] as const;
+  }
+
+  /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - A buffer to deserialize from.
+   * @returns A new RootRollupInputs instance.
+   */
+  static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupBlobData {
+    const reader = BufferReader.asReader(buffer);
+    return new BlockRootRollupBlobData(
+      // Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
+      // 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),
+    );
+  }
+
+  /**
+   * Deserializes the inputs from a hex string.
+   * @param str - A hex string to deserialize from.
+   * @returns A new RootRollupInputs instance.
+   */
+  static fromString(str: string) {
+    return BlockRootRollupBlobData.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(BlockRootRollupBlobData);
+  }
+}
+
+/**
+ * Represents inputs of the block root rollup circuit.
+ */
+export class BlockRootRollupInputs {
+  constructor(
+    /**
+     * The previous rollup data from 2 merge or base rollup circuits.
+     */
+    public previousRollupData: [PreviousRollupData, PreviousRollupData],
+    public data: BlockRootRollupData,
+    public blobData: BlockRootRollupBlobData,
+  ) {}
+
+  /**
+   * Serializes the inputs to a buffer.
+   * @returns - The inputs serialized to a buffer.
+   */
+  toBuffer() {
+    return serializeToBuffer(...BlockRootRollupInputs.getFields(this));
+  }
+
+  /**
+   * Serializes the inputs to a hex string.
+   * @returns The instance serialized to a hex string.
+   */
+  toString() {
+    return bufferToHex(this.toBuffer());
+  }
+
+  /**
+   * 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 {
+    return new BlockRootRollupInputs(...BlockRootRollupInputs.getFields(fields));
+  }
+
+  /**
+   * Extracts fields from an instance.
+   * @param fields - Fields to create the instance from.
+   * @returns An array of fields.
+   */
+  static getFields(fields: FieldsOf<BlockRootRollupInputs>) {
+    return [fields.previousRollupData, fields.data, fields.blobData] as const;
+  }
+
+  /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - A buffer to deserialize from.
+   * @returns A new RootRollupInputs instance.
+   */
+  static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupInputs {
+    const reader = BufferReader.asReader(buffer);
+    return new BlockRootRollupInputs(
+      [reader.readObject(PreviousRollupData), reader.readObject(PreviousRollupData)],
+      reader.readObject(BlockRootRollupData),
+      reader.readObject(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) {
+    return BlockRootRollupInputs.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(BlockRootRollupInputs);
+  }
+}
+
+export class SingleTxBlockRootRollupInputs {
+  constructor(
+    public previousRollupData: [PreviousRollupData],
+    public data: BlockRootRollupData,
+    public blobData: BlockRootRollupBlobData,
+  ) {}
+
+  /**
+   * Serializes the inputs to a buffer.
+   * @returns - The inputs serialized to a buffer.
+   */
+  toBuffer() {
+    return serializeToBuffer(...SingleTxBlockRootRollupInputs.getFields(this));
+  }
+
+  /**
+   * Serializes the inputs to a hex string.
+   * @returns The instance serialized to a hex string.
+   */
+  toString() {
+    return bufferToHex(this.toBuffer());
+  }
+
+  /**
+   * 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 {
+    return new SingleTxBlockRootRollupInputs(...SingleTxBlockRootRollupInputs.getFields(fields));
+  }
+
+  /**
+   * Extracts fields from an instance.
+   * @param fields - Fields to create the instance from.
+   * @returns An array of fields.
+   */
+  static getFields(fields: FieldsOf<SingleTxBlockRootRollupInputs>) {
+    return [fields.previousRollupData, fields.data, fields.blobData] as const;
+  }
+
+  /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - A buffer to deserialize from.
+   * @returns A new RootRollupInputs instance.
+   */
+  static fromBuffer(buffer: Buffer | BufferReader): SingleTxBlockRootRollupInputs {
+    const reader = BufferReader.asReader(buffer);
+    return new SingleTxBlockRootRollupInputs(
+      [reader.readObject(PreviousRollupData)],
+      reader.readObject(BlockRootRollupData),
+      reader.readObject(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) {
+    return SingleTxBlockRootRollupInputs.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(SingleTxBlockRootRollupInputs);
+  }
+}

package/src/rollup/constant_rollup_data.ts

@@ -0,0 +1,54 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, serializeToBuffer } 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';
+
+/**
+ * Data which is forwarded through the base rollup circuits unchanged.
+ */
+export class ConstantRollupData {
+  constructor(
+    /** Archive tree snapshot at the very beginning of the entire rollup. */
+    public lastArchive: AppendOnlyTreeSnapshot,
+    /**
+     * Root of the verification key tree.
+     */
+    public vkTreeRoot: Fr,
+    /**
+     * Root of the protocol contract tree.
+     */
+    public protocolContractTreeRoot: Fr,
+    /**
+     * Global variables for the block
+     */
+    public globalVariables: GlobalVariables,
+  ) {}
+
+  static from(fields: FieldsOf<ConstantRollupData>): ConstantRollupData {
+    return new ConstantRollupData(...ConstantRollupData.getFields(fields));
+  }
+
+  static fromBuffer(buffer: Buffer | BufferReader): ConstantRollupData {
+    const reader = BufferReader.asReader(buffer);
+    return new ConstantRollupData(
+      reader.readObject(AppendOnlyTreeSnapshot),
+      Fr.fromBuffer(reader),
+      Fr.fromBuffer(reader),
+      reader.readObject(GlobalVariables),
+    );
+  }
+
+  static getFields(fields: FieldsOf<ConstantRollupData>) {
+    return [fields.lastArchive, fields.vkTreeRoot, fields.protocolContractTreeRoot, fields.globalVariables] as const;
+  }
+
+  static empty() {
+    return new ConstantRollupData(AppendOnlyTreeSnapshot.zero(), Fr.ZERO, Fr.ZERO, GlobalVariables.empty());
+  }
+
+  toBuffer() {
+    return serializeToBuffer(...ConstantRollupData.getFields(this));
+  }
+}

package/src/rollup/empty_block_root_rollup_inputs.ts

@@ -0,0 +1,85 @@
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import type { FieldsOf } from '@aztec/foundation/types';
+
+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 {
+  constructor(
+    public readonly data: BlockRootRollupData,
+    public readonly constants: ConstantRollupData,
+    public readonly isPadding: boolean,
+  ) {}
+
+  /**
+   * Serializes the inputs to a buffer.
+   * @returns - The inputs serialized to a buffer.
+   */
+  toBuffer() {
+    return serializeToBuffer(...EmptyBlockRootRollupInputs.getFields(this));
+  }
+
+  /**
+   * Serializes the inputs to a hex string.
+   * @returns The instance serialized to a hex string.
+   */
+  toString() {
+    return bufferToHex(this.toBuffer());
+  }
+
+  /**
+   * Creates a new instance from fields.
+   * @param fields - Fields to create the instance from.
+   * @returns A new instance.
+   */
+  static from(fields: FieldsOf<EmptyBlockRootRollupInputs>): EmptyBlockRootRollupInputs {
+    return new EmptyBlockRootRollupInputs(...EmptyBlockRootRollupInputs.getFields(fields));
+  }
+
+  /**
+   * Extracts fields from an instance.
+   * @param fields - Fields to create the instance from.
+   * @returns An array of fields.
+   */
+  static getFields(fields: FieldsOf<EmptyBlockRootRollupInputs>) {
+    return [fields.data, fields.constants, fields.isPadding] as const;
+  }
+
+  /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - A buffer to deserialize from.
+   * @returns A new RootRollupInputs instance.
+   */
+  static fromBuffer(buffer: Buffer | BufferReader): EmptyBlockRootRollupInputs {
+    const reader = BufferReader.asReader(buffer);
+    return new EmptyBlockRootRollupInputs(
+      reader.readObject(BlockRootRollupData),
+      reader.readObject(ConstantRollupData),
+      reader.readBoolean(),
+    );
+  }
+
+  /**
+   * Deserializes the inputs from a hex string.
+   * @param str - A hex string to deserialize from.
+   * @returns A new RootRollupInputs instance.
+   */
+  static fromString(str: string) {
+    return EmptyBlockRootRollupInputs.fromBuffer(hexToBuffer(str));
+  }
+
+  /** Returns a buffer representation for JSON serialization. */
+  toJSON() {
+    return this.toBuffer();
+  }
+
+  /** Creates an instance from a buffer string. */
+  static get schema() {
+    return bufferSchemaFor(EmptyBlockRootRollupInputs);
+  }
+}

package/src/rollup/index.ts

@@ -0,0 +1,18 @@
+export * from './avm_proof_data.js';
+export * from './base_or_merge_rollup_public_inputs.js';
+export * from './base_rollup_hints.js';
+export * from './block_merge_rollup.js';
+export * from './block_root_or_block_merge_public_inputs.js';
+export * from './constant_rollup_data.js';
+export * from './empty_block_root_rollup_inputs.js';
+export * from './block_root_rollup.js';
+export * from './merge_rollup.js';
+export * from './previous_rollup_block_data.js';
+export * from './previous_rollup_data.js';
+export * from './private_base_rollup_inputs.js';
+export * from './private_tube_data.js';
+export * from './public_base_rollup_inputs.js';
+export * from './public_tube_data.js';
+export * from './root_rollup.js';
+export * from './state_diff_hints.js';
+export * from './tube_inputs.js';