@aztec/stdlib 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108

package/src/note/extended_note.ts

@@ -1,149 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-
-import { z } from 'zod';
-
-import { AztecAddress } from '../aztec-address/index.js';
-import { type ZodFor, schemas } from '../schemas/index.js';
-import { TxHash } from '../tx/tx_hash.js';
-import { Note } from './note.js';
-
-/**
- * A note with contextual data.
- */
-export class ExtendedNote {
-  constructor(
-    /** The note as emitted from the Noir contract. */
-    public note: Note,
-    /** The address whose public key was used to encrypt the note. */
-    public recipient: AztecAddress,
-    /** The contract address this note is created in. */
-    public contractAddress: AztecAddress,
-    /** The specific storage location of the note on the contract. */
-    public storageSlot: Fr,
-    /** The hash of the tx the note was created in. */
-    public txHash: TxHash,
-  ) {}
-
-  toBuffer(): Buffer {
-    return serializeToBuffer([this.note, this.recipient, this.contractAddress, this.storageSlot, this.txHash]);
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader) {
-    const reader = BufferReader.asReader(buffer);
-
-    const note = reader.readObject(Note);
-    const recipient = reader.readObject(AztecAddress);
-    const contractAddress = reader.readObject(AztecAddress);
-    const storageSlot = reader.readObject(Fr);
-    const txHash = reader.readObject(TxHash);
-
-    return new this(note, recipient, contractAddress, storageSlot, txHash);
-  }
-
-  static get schema(): ZodFor<ExtendedNote> {
-    return z
-      .object({
-        note: Note.schema,
-        recipient: schemas.AztecAddress,
-        contractAddress: schemas.AztecAddress,
-        storageSlot: schemas.Fr,
-        txHash: TxHash.schema,
-      })
-      .transform(({ note, recipient, contractAddress, storageSlot, txHash }) => {
-        return new ExtendedNote(note, recipient, contractAddress, storageSlot, txHash);
-      });
-  }
-
-  toString() {
-    return bufferToHex(this.toBuffer());
-  }
-
-  static fromString(str: string) {
-    return ExtendedNote.fromBuffer(hexToBuffer(str));
-  }
-
-  static async random() {
-    return new ExtendedNote(
-      Note.random(),
-      await AztecAddress.random(),
-      await AztecAddress.random(),
-      Fr.random(),
-      TxHash.random(),
-    );
-  }
-}
-
-export class UniqueNote extends ExtendedNote {
-  constructor(
-    /** The note as emitted from the Noir contract. */
-    note: Note,
-    /** The recipient whose public key was used to encrypt the note. */
-    recipient: AztecAddress,
-    /** The contract address this note is created in. */
-    contractAddress: AztecAddress,
-    /** The specific storage location of the note on the contract. */
-    storageSlot: Fr,
-    /** The hash of the tx the note was created in. */
-    txHash: TxHash,
-    /** The nonce that was injected into the note hash preimage in order to guarantee uniqueness. */
-    public noteNonce: Fr,
-  ) {
-    super(note, recipient, contractAddress, storageSlot, txHash);
-  }
-
-  static override get schema() {
-    return z
-      .object({
-        note: Note.schema,
-        recipient: schemas.AztecAddress,
-        contractAddress: schemas.AztecAddress,
-        storageSlot: schemas.Fr,
-        txHash: TxHash.schema,
-        noteNonce: schemas.Fr,
-      })
-      .transform(({ note, recipient, contractAddress, storageSlot, txHash, noteNonce }) => {
-        return new UniqueNote(note, recipient, contractAddress, storageSlot, txHash, noteNonce);
-      });
-  }
-
-  override toBuffer(): Buffer {
-    return serializeToBuffer([
-      this.note,
-      this.recipient,
-      this.contractAddress,
-      this.storageSlot,
-      this.txHash,
-      this.noteNonce,
-    ]);
-  }
-
-  static override async random() {
-    return new UniqueNote(
-      Note.random(),
-      await AztecAddress.random(),
-      await AztecAddress.random(),
-      Fr.random(),
-      TxHash.random(),
-      Fr.random(),
-    );
-  }
-
-  static override fromBuffer(buffer: Buffer | BufferReader) {
-    const reader = BufferReader.asReader(buffer);
-
-    const note = reader.readObject(Note);
-    const recipient = reader.readObject(AztecAddress);
-    const contractAddress = reader.readObject(AztecAddress);
-    const storageSlot = reader.readObject(Fr);
-    const txHash = reader.readObject(TxHash);
-    const noteNonce = reader.readObject(Fr);
-
-    return new this(note, recipient, contractAddress, storageSlot, txHash, noteNonce);
-  }
-
-  static override fromString(str: string) {
-    return UniqueNote.fromBuffer(hexToBuffer(str));
-  }
-}

package/src/parity/root_parity_input.ts

@@ -1,71 +0,0 @@
-import { VK_TREE_HEIGHT } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
-import { schemas } 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 { RecursiveProof } from '../proofs/recursive_proof.js';
-import { VerificationKeyAsFields } from '../vks/verification_key.js';
-import { ParityPublicInputs } from './parity_public_inputs.js';
-
-export class RootParityInput<PROOF_LENGTH extends number> {
-  constructor(
-    /** The proof of the execution of the parity circuit. */
-    public readonly proof: RecursiveProof<PROOF_LENGTH>,
-    /** The circuit's verification key */
-    public readonly verificationKey: VerificationKeyAsFields,
-    /** The vk path in the vk tree*/
-    public readonly vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>,
-    /** The public inputs of the parity circuit. */
-    public readonly publicInputs: ParityPublicInputs,
-  ) {}
-
-  toBuffer() {
-    return serializeToBuffer(...RootParityInput.getFields(this));
-  }
-
-  toString() {
-    return bufferToHex(this.toBuffer());
-  }
-
-  static from<PROOF_LENGTH extends number>(
-    fields: FieldsOf<RootParityInput<PROOF_LENGTH>>,
-  ): RootParityInput<PROOF_LENGTH> {
-    return new RootParityInput(...RootParityInput.getFields(fields));
-  }
-
-  static getFields<PROOF_LENGTH extends number>(fields: FieldsOf<RootParityInput<PROOF_LENGTH>>) {
-    return [fields.proof, fields.verificationKey, fields.vkPath, fields.publicInputs] as const;
-  }
-
-  static fromBuffer<PROOF_LENGTH extends number>(
-    buffer: Buffer | BufferReader,
-    expectedSize?: PROOF_LENGTH,
-  ): RootParityInput<PROOF_LENGTH> {
-    const reader = BufferReader.asReader(buffer);
-    return new RootParityInput(
-      RecursiveProof.fromBuffer<PROOF_LENGTH>(reader, expectedSize),
-      reader.readObject(VerificationKeyAsFields),
-      reader.readArray(VK_TREE_HEIGHT, Fr),
-      reader.readObject(ParityPublicInputs),
-    );
-  }
-
-  static fromString<PROOF_LENGTH extends number>(
-    str: string,
-    expectedSize?: PROOF_LENGTH,
-  ): RootParityInput<PROOF_LENGTH> {
-    return RootParityInput.fromBuffer(hexToBuffer(str), expectedSize);
-  }
-
-  /** Returns a hex representation for JSON serialization. */
-  toJSON() {
-    return this.toBuffer();
-  }
-
-  /** Creates an instance from a hex string with expected size. */
-  static schemaFor<N extends number>(expectedSize?: N) {
-    return schemas.Buffer.transform(buf => RootParityInput.fromBuffer(buf, expectedSize));
-  }
-}

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);
-  }
-}