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

package/src/rollup/private_base_rollup_inputs.ts

@@ -1,53 +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 { PrivateBaseRollupHints } from './base_rollup_hints.js';
-import { PrivateTubeData } from './private_tube_data.js';
-
-export class PrivateBaseRollupInputs {
-  constructor(
-    public tubeData: PrivateTubeData,
-    public hints: PrivateBaseRollupHints,
-  ) {}
-
-  static from(fields: FieldsOf<PrivateBaseRollupInputs>): PrivateBaseRollupInputs {
-    return new PrivateBaseRollupInputs(...PrivateBaseRollupInputs.getFields(fields));
-  }
-
-  static getFields(fields: FieldsOf<PrivateBaseRollupInputs>) {
-    return [fields.tubeData, fields.hints] as const;
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader): PrivateBaseRollupInputs {
-    const reader = BufferReader.asReader(buffer);
-    return new PrivateBaseRollupInputs(reader.readObject(PrivateTubeData), reader.readObject(PrivateBaseRollupHints));
-  }
-
-  toBuffer() {
-    return serializeToBuffer(...PrivateBaseRollupInputs.getFields(this));
-  }
-
-  static fromString(str: string) {
-    return PrivateBaseRollupInputs.fromBuffer(hexToBuffer(str));
-  }
-
-  toString() {
-    return bufferToHex(this.toBuffer());
-  }
-
-  static empty() {
-    return new PrivateBaseRollupInputs(PrivateTubeData.empty(), PrivateBaseRollupHints.empty());
-  }
-
-  /** Returns a buffer representation for JSON serialization. */
-  toJSON() {
-    return this.toBuffer();
-  }
-
-  /** Creates an instance from a hex string. */
-  static get schema() {
-    return bufferSchemaFor(PrivateBaseRollupInputs);
-  }
-}

package/src/rollup/private_tube_data.ts

@@ -1,35 +0,0 @@
-import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-
-import { PrivateToRollupKernelCircuitPublicInputs } from '../kernel/private_to_rollup_kernel_circuit_public_inputs.js';
-import { RecursiveProof, makeEmptyRecursiveProof } from '../proofs/recursive_proof.js';
-import { VkData } from '../vks/index.js';
-
-export class PrivateTubeData {
-  constructor(
-    public publicInputs: PrivateToRollupKernelCircuitPublicInputs,
-    public proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>,
-    public vkData: VkData,
-  ) {}
-
-  static empty() {
-    return new PrivateTubeData(
-      PrivateToRollupKernelCircuitPublicInputs.empty(),
-      makeEmptyRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
-      VkData.empty(),
-    );
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader) {
-    const reader = BufferReader.asReader(buffer);
-    return new PrivateTubeData(
-      reader.readObject(PrivateToRollupKernelCircuitPublicInputs),
-      RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
-      reader.readObject(VkData),
-    );
-  }
-
-  toBuffer() {
-    return serializeToBuffer(this.publicInputs, this.proof, this.vkData);
-  }
-}

package/src/rollup/public_base_rollup_inputs.ts

@@ -1,59 +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 { AvmProofData } from './avm_proof_data.js';
-import { PublicBaseRollupHints } from './base_rollup_hints.js';
-import { PublicTubeData } from './public_tube_data.js';
-
-export class PublicBaseRollupInputs {
-  constructor(
-    public tubeData: PublicTubeData,
-    public avmProofData: AvmProofData,
-    public hints: PublicBaseRollupHints,
-  ) {}
-
-  static from(fields: FieldsOf<PublicBaseRollupInputs>): PublicBaseRollupInputs {
-    return new PublicBaseRollupInputs(...PublicBaseRollupInputs.getFields(fields));
-  }
-
-  static getFields(fields: FieldsOf<PublicBaseRollupInputs>) {
-    return [fields.tubeData, fields.avmProofData, fields.hints] as const;
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader): PublicBaseRollupInputs {
-    const reader = BufferReader.asReader(buffer);
-    return new PublicBaseRollupInputs(
-      reader.readObject(PublicTubeData),
-      reader.readObject(AvmProofData),
-      reader.readObject(PublicBaseRollupHints),
-    );
-  }
-
-  toBuffer() {
-    return serializeToBuffer(...PublicBaseRollupInputs.getFields(this));
-  }
-
-  static fromString(str: string) {
-    return PublicBaseRollupInputs.fromBuffer(hexToBuffer(str));
-  }
-
-  toString() {
-    return bufferToHex(this.toBuffer());
-  }
-
-  static empty() {
-    return new PublicBaseRollupInputs(PublicTubeData.empty(), AvmProofData.empty(), PublicBaseRollupHints.empty());
-  }
-
-  /** Returns a representation for JSON serialization. */
-  toJSON() {
-    return this.toBuffer();
-  }
-
-  /** Creates an instance from a string. */
-  static get schema() {
-    return bufferSchemaFor(PublicBaseRollupInputs);
-  }
-}

package/src/rollup/public_tube_data.ts

@@ -1,35 +0,0 @@
-import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-
-import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
-import { RecursiveProof, makeEmptyRecursiveProof } from '../proofs/recursive_proof.js';
-import { VkData } from '../vks/index.js';
-
-export class PublicTubeData {
-  constructor(
-    public publicInputs: PrivateToPublicKernelCircuitPublicInputs,
-    public proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>,
-    public vkData: VkData,
-  ) {}
-
-  static empty() {
-    return new PublicTubeData(
-      PrivateToPublicKernelCircuitPublicInputs.empty(),
-      makeEmptyRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
-      VkData.empty(),
-    );
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader) {
-    const reader = BufferReader.asReader(buffer);
-    return new PublicTubeData(
-      reader.readObject(PrivateToPublicKernelCircuitPublicInputs),
-      RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH),
-      reader.readObject(VkData),
-    );
-  }
-
-  toBuffer() {
-    return serializeToBuffer(this.publicInputs, this.proof, this.vkData);
-  }
-}

package/src/rollup/root_rollup.ts

@@ -1,195 +0,0 @@
-import { FinalBlobAccumulatorPublicInputs } from '@aztec/blob-lib';
-import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
-import { makeTuple } from '@aztec/foundation/array';
-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 { FeeRecipient } from './block_root_or_block_merge_public_inputs.js';
-import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
-
-/**
- * Represents inputs of the root rollup circuit.
- */
-export class RootRollupInputs {
-  constructor(
-    /**
-     * The previous rollup data.
-     * Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
-     * from 2 block merge circuits.
-     */
-    public previousRollupData: [PreviousRollupBlockData, PreviousRollupBlockData],
-  ) {}
-
-  /**
-   * Serializes the inputs to a buffer.
-   * @returns - The inputs serialized to a buffer.
-   */
-  toBuffer() {
-    return serializeToBuffer(...RootRollupInputs.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<RootRollupInputs>): RootRollupInputs {
-    return new RootRollupInputs(...RootRollupInputs.getFields(fields));
-  }
-
-  /**
-   * Extracts fields from an instance.
-   * @param fields - Fields to create the instance from.
-   * @returns An array of fields.
-   */
-  static getFields(fields: FieldsOf<RootRollupInputs>) {
-    return [fields.previousRollupData] 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): RootRollupInputs {
-    const reader = BufferReader.asReader(buffer);
-    return new RootRollupInputs([
-      reader.readObject(PreviousRollupBlockData),
-      reader.readObject(PreviousRollupBlockData),
-    ]);
-  }
-
-  /**
-   * 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 RootRollupInputs.fromBuffer(hexToBuffer(str));
-  }
-
-  /** Returns a representation for JSON serialization. */
-  toJSON() {
-    return this.toBuffer();
-  }
-
-  /** Creates an instance from a string. */
-  static get schema() {
-    return bufferSchemaFor(RootRollupInputs);
-  }
-}
-
-/**
- * Represents public inputs of the root rollup circuit.
- *
- * NOTE: in practice, we'll hash all of this up into a single public input, for cheap on-chain verification.
- */
-export class RootRollupPublicInputs {
-  constructor(
-    /** Root of the archive tree before this rollup is processed */
-    public previousArchiveRoot: Fr,
-    /** Root of the archive tree after this rollup is processed */
-    public endArchiveRoot: Fr,
-    public proposedBlockHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>,
-    public fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>,
-    public chainId: Fr,
-    public version: Fr,
-    public vkTreeRoot: Fr,
-    public protocolContractTreeRoot: Fr,
-    public proverId: Fr,
-    public blobPublicInputs: FinalBlobAccumulatorPublicInputs,
-  ) {}
-
-  static getFields(fields: FieldsOf<RootRollupPublicInputs>) {
-    return [
-      fields.previousArchiveRoot,
-      fields.endArchiveRoot,
-      fields.proposedBlockHeaderHashes,
-      fields.fees,
-      fields.chainId,
-      fields.version,
-      fields.vkTreeRoot,
-      fields.protocolContractTreeRoot,
-      fields.proverId,
-      fields.blobPublicInputs,
-    ] as const;
-  }
-
-  toBuffer() {
-    return serializeToBuffer(...RootRollupPublicInputs.getFields(this));
-  }
-
-  toFields(): Fr[] {
-    return serializeToFields(...RootRollupPublicInputs.getFields(this));
-  }
-
-  static from(fields: FieldsOf<RootRollupPublicInputs>): RootRollupPublicInputs {
-    return new RootRollupPublicInputs(...RootRollupPublicInputs.getFields(fields));
-  }
-
-  /**
-   * Deserializes a buffer into a `RootRollupPublicInputs` object.
-   * @param buffer - The buffer to deserialize.
-   * @returns The deserialized `RootRollupPublicInputs` object.
-   */
-  public static fromBuffer(buffer: Buffer | BufferReader): RootRollupPublicInputs {
-    const reader = BufferReader.asReader(buffer);
-    return new RootRollupPublicInputs(
-      Fr.fromBuffer(reader),
-      Fr.fromBuffer(reader),
-      reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr),
-      reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient),
-      Fr.fromBuffer(reader),
-      Fr.fromBuffer(reader),
-      Fr.fromBuffer(reader),
-      Fr.fromBuffer(reader),
-      Fr.fromBuffer(reader),
-      reader.readObject(FinalBlobAccumulatorPublicInputs),
-    );
-  }
-
-  toString() {
-    return bufferToHex(this.toBuffer());
-  }
-
-  static fromString(str: string) {
-    return RootRollupPublicInputs.fromBuffer(hexToBuffer(str));
-  }
-
-  /** Returns a representation for JSON serialization. */
-  toJSON() {
-    return this.toBuffer();
-  }
-
-  /** Creates an instance from a string. */
-  static get schema() {
-    return bufferSchemaFor(RootRollupPublicInputs);
-  }
-
-  /** Creates a random instance. Used for testing only - will not prove/verify. */
-  static random() {
-    return new RootRollupPublicInputs(
-      Fr.random(),
-      Fr.random(),
-      makeTuple(AZTEC_MAX_EPOCH_DURATION, Fr.random),
-      makeTuple(AZTEC_MAX_EPOCH_DURATION, FeeRecipient.random),
-      Fr.random(),
-      Fr.random(),
-      Fr.random(),
-      Fr.random(),
-      Fr.random(),
-      FinalBlobAccumulatorPublicInputs.random(),
-    );
-  }
-}

package/src/rollup/tube_inputs.ts

@@ -1,77 +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 { ClientIvcProof } from '../proofs/client_ivc_proof.js';
-
-/**
- * Inputs for the tube circuit, which turns a client IVC proof folding stack into an ultrahonk proof.
- * 'usePublicTailVk' signifies if we should prove this with the public or private kernel tail client IVC VKs.
- */
-export class TubeInputs {
-  constructor(
-    public usePublicTailVk: boolean,
-    public clientIVCData: ClientIvcProof,
-  ) {}
-
-  static from(fields: FieldsOf<TubeInputs>): TubeInputs {
-    return new TubeInputs(...TubeInputs.getFields(fields));
-  }
-
-  static getFields(fields: FieldsOf<TubeInputs>) {
-    return [fields.usePublicTailVk, fields.clientIVCData] as const;
-  }
-
-  /**
-   * Serializes the inputs to a buffer.
-   * @returns The inputs serialized to a buffer.
-   */
-  toBuffer() {
-    return serializeToBuffer(...TubeInputs.getFields(this));
-  }
-
-  /**
-   * Serializes the inputs to a hex string.
-   * @returns The instance serialized to a hex string.
-   */
-  toString() {
-    return bufferToHex(this.toBuffer());
-  }
-
-  /**
-   * Deserializes the inputs from a buffer.
-   * @param buffer - The buffer to deserialize from.
-   * @returns A new TubeInputs instance.
-   */
-  static fromBuffer(buffer: Buffer | BufferReader): TubeInputs {
-    const reader = BufferReader.asReader(buffer);
-    return new TubeInputs(reader.readBoolean(), reader.readObject(ClientIvcProof));
-  }
-
-  isEmpty(): boolean {
-    return this.clientIVCData.isEmpty();
-  }
-  /**
-   * Deserializes the inputs from a hex string.
-   * @param str - A hex string to deserialize from.
-   * @returns A new TubeInputs instance.
-   */
-  static fromString(str: string) {
-    return TubeInputs.fromBuffer(hexToBuffer(str));
-  }
-
-  static empty() {
-    return new TubeInputs(false, ClientIvcProof.empty());
-  }
-
-  /** Returns a hex representation for JSON serialization. */
-  toJSON() {
-    return this.toBuffer();
-  }
-
-  /** Creates an instance from a hex string. */
-  static get schema() {
-    return bufferSchemaFor(TubeInputs);
-  }
-}

package/src/trees/protocol_contract_leaf.ts

@@ -1,128 +0,0 @@
-import { MAX_PROTOCOL_CONTRACTS } from '@aztec/constants';
-import { toBigIntBE } from '@aztec/foundation/bigint-buffer';
-import { Fr } from '@aztec/foundation/fields';
-import { schemas } from '@aztec/foundation/schemas';
-import { BufferReader } from '@aztec/foundation/serialize';
-import type { IndexedTreeLeaf, IndexedTreeLeafPreimage } from '@aztec/foundation/trees';
-
-import { z } from 'zod';
-
-/**
- * Class containing the data of a preimage of a single leaf in the protocol contract tree.
- * Note: It's called preimage because this data gets hashed before being inserted as a node into the `IndexedTree`.
- * Note: Though this tree contains addresses, they are converted to fields to avoid unnecessary conversions in the tree.
- */
-export class ProtocolContractLeafPreimage implements IndexedTreeLeafPreimage {
-  constructor(
-    /**
-     * Leaf value inside the indexed tree's linked list.
-     */
-    public address: Fr,
-    /**
-     * Next value inside the indexed tree's linked list.
-     */
-    public nextAddress: Fr,
-    /**
-     * Index of the next leaf in the indexed tree's linked list.
-     */
-    public nextIndex: bigint,
-  ) {}
-
-  static get schema() {
-    return z
-      .object({
-        address: schemas.Fr,
-        nextAddress: schemas.Fr,
-        nextIndex: schemas.BigInt,
-      })
-      .transform(
-        ({ address, nextAddress, nextIndex }) => new ProtocolContractLeafPreimage(address, nextAddress, nextIndex),
-      );
-  }
-
-  getKey(): bigint {
-    return this.address.toBigInt();
-  }
-
-  getNextKey(): bigint {
-    return this.nextAddress.toBigInt();
-  }
-
-  getNextIndex(): bigint {
-    return this.nextIndex;
-  }
-
-  asLeaf(): ProtocolContractLeaf {
-    return new ProtocolContractLeaf(this.address);
-  }
-
-  toBuffer(): Buffer {
-    return Buffer.concat(this.toHashInputs());
-  }
-
-  toHashInputs(): Buffer[] {
-    // Note: the protocol contract leaves only hash the value and next value.
-    return [Buffer.from(this.address.toBuffer()), Buffer.from(this.nextAddress.toBuffer())];
-  }
-
-  toFields(): Fr[] {
-    return [this.address, this.nextAddress, new Fr(this.nextIndex)];
-  }
-
-  static random() {
-    return new ProtocolContractLeafPreimage(
-      Fr.random(),
-      Fr.random(),
-      BigInt(Math.floor(Math.random() * 1000) % MAX_PROTOCOL_CONTRACTS),
-    );
-  }
-
-  static empty(): ProtocolContractLeafPreimage {
-    return new ProtocolContractLeafPreimage(Fr.ZERO, Fr.ZERO, 0n);
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader): ProtocolContractLeafPreimage {
-    const reader = BufferReader.asReader(buffer);
-    return new ProtocolContractLeafPreimage(
-      reader.readObject(Fr),
-      reader.readObject(Fr),
-      toBigIntBE(reader.readBytes(32)),
-    );
-  }
-}
-
-/**
- * An address to be inserted or checked in the protocol contract tree.
- */
-export class ProtocolContractLeaf implements IndexedTreeLeaf {
-  constructor(
-    /**
-     * Address value.
-     */
-    public address: Fr,
-  ) {}
-
-  getKey(): bigint {
-    return this.address.toBigInt();
-  }
-
-  toBuffer(): Buffer {
-    return this.address.toBuffer();
-  }
-
-  isEmpty(): boolean {
-    return this.address.isZero();
-  }
-
-  updateTo(_another: ProtocolContractLeaf): ProtocolContractLeaf {
-    throw new Error('Protocol contract tree is insert only');
-  }
-
-  static buildDummy(key: bigint): ProtocolContractLeaf {
-    return new ProtocolContractLeaf(new Fr(key));
-  }
-
-  static fromBuffer(buf: Buffer): ProtocolContractLeaf {
-    return new ProtocolContractLeaf(Fr.fromBuffer(buf));
-  }
-}