@aztec/stdlib 3.0.0-canary.a9708bd → 3.0.0-manual.20251030

package/src/proofs/client_ivc_proof.ts

@@ -1,51 +0,0 @@
-import { randomBytes } from '@aztec/foundation/crypto';
-import { bufferSchemaFor } from '@aztec/foundation/schemas';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-
-const CLIENT_IVC_PROOF_LENGTH = 172052;
-
-/**
- * TODO(https://github.com/AztecProtocol/aztec-packages/issues/7370) refactor this to
- * eventually we read all these VKs from the data tree instead of passing them
- */
-export class ClientIvcProof {
-  constructor(
-    // produced by the sequencer when making the tube proof
-    // TODO(https://github.com/AztecProtocol/aztec-packages/issues/7370): Need to precompute private kernel tail VK so we can verify this immediately in the tx pool
-    // which parts of these are needed to quickly verify that we have a correct IVC proof
-    public clientIvcProofBuffer: Buffer,
-  ) {}
-
-  public isEmpty() {
-    return this.clientIvcProofBuffer.length === 0;
-  }
-
-  static empty() {
-    return new ClientIvcProof(Buffer.from(''));
-  }
-
-  static fake(fill = Math.floor(Math.random() * 255)) {
-    return new ClientIvcProof(Buffer.alloc(1, fill));
-  }
-
-  static random() {
-    return new ClientIvcProof(Buffer.from(randomBytes(CLIENT_IVC_PROOF_LENGTH)));
-  }
-
-  static get schema() {
-    return bufferSchemaFor(ClientIvcProof);
-  }
-
-  toJSON() {
-    return this.toBuffer();
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader): ClientIvcProof {
-    const reader = BufferReader.asReader(buffer);
-    return new ClientIvcProof(reader.readBuffer());
-  }
-
-  public toBuffer() {
-    return serializeToBuffer(this.clientIvcProofBuffer.length, this.clientIvcProofBuffer);
-  }
-}

package/src/rollup/block_root_rollup.ts

@@ -1,380 +0,0 @@
-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 { BLS12Point, 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 checking the hash of previous_block_header is the last leaf of the previous archive.
-     */
-    public previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>,
-    /**
-     * 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,
-    /**
-     * The current blob accumulation state across the epoch.
-     */
-    public startBlobAccumulator: BlobAccumulatorPublicInputs,
-    /**
-     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
-     */
-    public finalBlobChallenges: FinalBlobBatchingChallenges,
-    /**
-     * Identifier of the prover.
-     */
-    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.previousArchiveSiblingPath,
-      fields.newArchiveSiblingPath,
-      fields.previousBlockHeader,
-      fields.startBlobAccumulator,
-      fields.finalBlobChallenges,
-      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),
-      reader.readArray(ARCHIVE_HEIGHT, Fr),
-      BlockHeader.fromBuffer(reader),
-      reader.readObject(BlobAccumulatorPublicInputs),
-      reader.readObject(FinalBlobBatchingChallenges),
-      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).
-     */
-    public 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
-     */
-    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, BLS12Point),
-      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/empty_block_root_rollup_inputs.ts

@@ -1,80 +0,0 @@
-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 { BlockConstantData } from './block_constant_data.js';
-import { BlockRootRollupData } from './block_root_rollup.js';
-
-/**
- * Represents inputs of the empty block root rollup circuit.
- */
-export class EmptyBlockRootRollupInputs {
-  constructor(
-    public readonly data: BlockRootRollupData,
-    public readonly constants: BlockConstantData,
-  ) {}
-
-  /**
-   * 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] 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(BlockConstantData));
-  }
-
-  /**
-   * 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/padding_block_root_rollup_inputs.ts

@@ -1,47 +0,0 @@
-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 { EpochConstantData } from './epoch_constant_data.js';
-
-/**
- * Inputs of the padding block root rollup circuit.
- */
-export class PaddingBlockRootRollupInputs {
-  constructor(public readonly constants: EpochConstantData) {}
-
-  static from(fields: FieldsOf<PaddingBlockRootRollupInputs>): PaddingBlockRootRollupInputs {
-    return new PaddingBlockRootRollupInputs(...PaddingBlockRootRollupInputs.getFields(fields));
-  }
-
-  static getFields(fields: FieldsOf<PaddingBlockRootRollupInputs>) {
-    return [fields.constants] as const;
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader): PaddingBlockRootRollupInputs {
-    const reader = BufferReader.asReader(buffer);
-    return new PaddingBlockRootRollupInputs(reader.readObject(EpochConstantData));
-  }
-
-  toBuffer() {
-    return serializeToBuffer(...PaddingBlockRootRollupInputs.getFields(this));
-  }
-
-  static fromString(str: string) {
-    return PaddingBlockRootRollupInputs.fromBuffer(hexToBuffer(str));
-  }
-
-  toString() {
-    return bufferToHex(this.toBuffer());
-  }
-
-  /** Returns a buffer representation for JSON serialization. */
-  toJSON() {
-    return this.toBuffer();
-  }
-
-  static get schema() {
-    return bufferSchemaFor(PaddingBlockRootRollupInputs);
-  }
-}

package/src/rollup/previous_rollup_block_data.ts

@@ -1,48 +0,0 @@
-import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-
-import { RecursiveProof } from '../proofs/recursive_proof.js';
-import { VkData } from '../vks/index.js';
-import { BlockRootOrBlockMergePublicInputs } from './block_root_or_block_merge_public_inputs.js';
-
-/**
- * Represents the data of a previous block merge or block root rollup circuit.
- */
-export class PreviousRollupBlockData {
-  constructor(
-    /**
-     * Public inputs to the block merge or block root rollup circuit.
-     */
-    public blockRootOrBlockMergePublicInputs: BlockRootOrBlockMergePublicInputs,
-    /**
-     * The proof of the block merge or block root rollup circuit.
-     */
-    public proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>,
-    /**
-     * The verification key and the witness of the vk in the vk tree.
-     */
-    public vkData: VkData,
-  ) {}
-
-  /**
-   * Serializes previous rollup data to a buffer.
-   * @returns The buffer of the serialized previous rollup data.
-   */
-  public toBuffer(): Buffer {
-    return serializeToBuffer(this.blockRootOrBlockMergePublicInputs, this.proof, this.vkData);
-  }
-
-  /**
-   * Deserializes previous rollup data from a buffer.
-   * @param buffer - A buffer to deserialize from.
-   * @returns A new PreviousRollupData instance.
-   */
-  public static fromBuffer(buffer: Buffer | BufferReader): PreviousRollupBlockData {
-    const reader = BufferReader.asReader(buffer);
-    return new PreviousRollupBlockData(
-      reader.readObject(BlockRootOrBlockMergePublicInputs),
-      RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
-      reader.readObject(VkData),
-    );
-  }
-}

package/src/rollup/previous_rollup_data.ts

@@ -1,48 +0,0 @@
-import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-
-import { RecursiveProof } from '../proofs/recursive_proof.js';
-import { VkData } from '../vks/index.js';
-import { BaseOrMergeRollupPublicInputs } from './base_or_merge_rollup_public_inputs.js';
-
-/**
- * Represents the data of a previous merge or base rollup circuit.
- */
-export class PreviousRollupData {
-  constructor(
-    /**
-     * Public inputs to the base or merge rollup circuit.
-     */
-    public baseOrMergeRollupPublicInputs: BaseOrMergeRollupPublicInputs,
-    /**
-     * The proof of the base or merge rollup circuit.
-     */
-    public proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>,
-    /**
-     * The verification key and the witness of the vk in the vk tree.
-     */
-    public vkData: VkData,
-  ) {}
-
-  /**
-   * Serializes previous rollup data to a buffer.
-   * @returns The buffer of the serialized previous rollup data.
-   */
-  public toBuffer(): Buffer {
-    return serializeToBuffer(this.baseOrMergeRollupPublicInputs, this.proof, this.vkData);
-  }
-
-  /**
-   * Deserializes previous rollup data from a buffer.
-   * @param buffer - A buffer to deserialize from.
-   * @returns A new PreviousRollupData instance.
-   */
-  public static fromBuffer(buffer: Buffer | BufferReader): PreviousRollupData {
-    const reader = BufferReader.asReader(buffer);
-    return new PreviousRollupData(
-      reader.readObject(BaseOrMergeRollupPublicInputs),
-      RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
-      reader.readObject(VkData),
-    );
-  }
-}