@aztec/stdlib 3.0.0-nightly.20250918 → 3.0.0-nightly.20250919

package/dest/rollup/previous_rollup_data.js

@@ -1,37 +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 {
-    baseOrMergeRollupPublicInputs;
-    proof;
-    vkData;
-    constructor(/**
-     * Public inputs to the base or merge rollup circuit.
-     */ baseOrMergeRollupPublicInputs, /**
-     * The proof of the base or merge rollup circuit.
-     */ proof, /**
-     * The verification key and the witness of the vk in the vk tree.
-     */ vkData){
-        this.baseOrMergeRollupPublicInputs = baseOrMergeRollupPublicInputs;
-        this.proof = proof;
-        this.vkData = vkData;
-    }
-    /**
-   * Serializes previous rollup data to a buffer.
-   * @returns The buffer of the serialized previous rollup data.
-   */ toBuffer() {
-        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.
-   */ static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new PreviousRollupData(reader.readObject(BaseOrMergeRollupPublicInputs), RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), reader.readObject(VkData));
-    }
-}

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

@@ -1 +0,0 @@
-{"version":3,"file":"private_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/private_base_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,KAAK,aAAa,EAAa,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,qBAAa,uBAAuB;IAEzB,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC;IAC9E,KAAK,EAAE,sBAAsB;gBAD7B,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC,EAC9E,KAAK,EAAE,sBAAsB;IAGtC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,GAAG,uBAAuB;IAI/E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAQzE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,gEAEhB;CACF"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"public_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_base_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,qBAAa,sBAAsB;IAExB,mBAAmB,EAAE,mBAAmB,CAAC,wCAAwC,CAAC;IAClF,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,qBAAqB;gBAF5B,mBAAmB,EAAE,mBAAmB,CAAC,wCAAwC,CAAC,EAClF,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,qBAAqB;IAGrC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAIzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IASxE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;CACF"}

package/dest/rollup/rollup_proof_data.d.ts

@@ -1,10 +0,0 @@
-import { NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
-import type { Bufferable } from '@aztec/foundation/serialize';
-import type { ParityPublicInputs } from '../parity/index.js';
-import { ProofData } from '../proofs/index.js';
-/**
- * Represents the data of a nested recursive rollup proof.
- */
-export type RollupProofData<T extends Bufferable> = ProofData<T, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-export type RootParityProofData = ProofData<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>;
-//# sourceMappingURL=rollup_proof_data.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"rollup_proof_data.d.ts","sourceRoot":"","sources":["../../src/rollup/rollup_proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,yCAAyC,EAAE,MAAM,kBAAkB,CAAC;AAC5G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAE9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAAC,CAAC,EAAE,OAAO,yCAAyC,CAAC,CAAC;AAEnH,MAAM,MAAM,mBAAmB,GAAG,SAAS,CAAC,kBAAkB,EAAE,OAAO,6BAA6B,CAAC,CAAC"}

package/dest/rollup/rollup_proof_data.js

@@ -1 +0,0 @@
-export { };

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

@@ -1 +0,0 @@
-{"version":3,"file":"root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gCAAgC,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,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;AAGxD,OAAO,EAAE,4BAA4B,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AAClG,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;;;OAIG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;;IARD;;;;OAIG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;IAGH;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAIrD;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,gEAEhB;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE;IAClB,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IAC1D,SAAS,EAAE,iBAAiB;IAC5B,gBAAgB,EAAE,gCAAgC;;IAPzD,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE,EAClB,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC,EAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,EAC1D,SAAS,EAAE,iBAAiB,EAC5B,gBAAgB,EAAE,gCAAgC;IAG3D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAWzD,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAY/E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,gFAAgF;IAChF,MAAM,CAAC,MAAM;CAUd"}

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

package/src/rollup/rollup_proof_data.ts

@@ -1,12 +0,0 @@
-import { NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
-import type { Bufferable } from '@aztec/foundation/serialize';
-
-import type { ParityPublicInputs } from '../parity/index.js';
-import { ProofData } from '../proofs/index.js';
-
-/**
- * Represents the data of a nested recursive rollup proof.
- */
-export type RollupProofData<T extends Bufferable> = ProofData<T, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-
-export type RootParityProofData = ProofData<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>;