@aztec/stdlib 3.0.0-nightly.20250908 → 3.0.0-nightly.20250910

package/dest/rollup/public_tube_data.d.ts

@@ -1,15 +0,0 @@
-import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
-import { BufferReader } from '@aztec/foundation/serialize';
-import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
-import { RecursiveProof } from '../proofs/recursive_proof.js';
-import { VkData } from '../vks/index.js';
-export declare class PublicTubeData {
-    publicInputs: PrivateToPublicKernelCircuitPublicInputs;
-    proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-    vkData: VkData;
-    constructor(publicInputs: PrivateToPublicKernelCircuitPublicInputs, proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>, vkData: VkData);
-    static empty(): PublicTubeData;
-    static fromBuffer(buffer: Buffer | BufferReader): PublicTubeData;
-    toBuffer(): Buffer<ArrayBufferLike>;
-}
-//# sourceMappingURL=public_tube_data.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"public_tube_data.d.ts","sourceRoot":"","sources":["../../src/rollup/public_tube_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yCAAyC,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,cAAc,EAA2B,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAEzC,qBAAa,cAAc;IAEhB,YAAY,EAAE,wCAAwC;IACtD,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC;IACvE,MAAM,EAAE,MAAM;gBAFd,YAAY,EAAE,wCAAwC,EACtD,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC,EACvE,MAAM,EAAE,MAAM;IAGvB,MAAM,CAAC,KAAK;IAQZ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,QAAQ;CAGT"}

package/dest/rollup/public_tube_data.js

@@ -1,25 +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 {
-    publicInputs;
-    proof;
-    vkData;
-    constructor(publicInputs, proof, vkData){
-        this.publicInputs = publicInputs;
-        this.proof = proof;
-        this.vkData = vkData;
-    }
-    static empty() {
-        return new PublicTubeData(PrivateToPublicKernelCircuitPublicInputs.empty(), makeEmptyRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), VkData.empty());
-    }
-    static fromBuffer(buffer) {
-        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/dest/rollup/tube_inputs.d.ts

@@ -1,43 +0,0 @@
-import { BufferReader } from '@aztec/foundation/serialize';
-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 declare class TubeInputs {
-    usePublicTailVk: boolean;
-    clientIVCData: ClientIvcProof;
-    constructor(usePublicTailVk: boolean, clientIVCData: ClientIvcProof);
-    static from(fields: FieldsOf<TubeInputs>): TubeInputs;
-    static getFields(fields: FieldsOf<TubeInputs>): readonly [boolean, ClientIvcProof];
-    /**
-     * Serializes the inputs to a buffer.
-     * @returns The inputs serialized to a buffer.
-     */
-    toBuffer(): Buffer<ArrayBufferLike>;
-    /**
-     * Serializes the inputs to a hex string.
-     * @returns The instance serialized to a hex string.
-     */
-    toString(): `0x${string}`;
-    /**
-     * Deserializes the inputs from a buffer.
-     * @param buffer - The buffer to deserialize from.
-     * @returns A new TubeInputs instance.
-     */
-    static fromBuffer(buffer: Buffer | BufferReader): TubeInputs;
-    isEmpty(): boolean;
-    /**
-     * Deserializes the inputs from a hex string.
-     * @param str - A hex string to deserialize from.
-     * @returns A new TubeInputs instance.
-     */
-    static fromString(str: string): TubeInputs;
-    static empty(): TubeInputs;
-    /** Returns a hex representation for JSON serialization. */
-    toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<TubeInputs, any, string>;
-}
-//# sourceMappingURL=tube_inputs.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"tube_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/tube_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D;;;GAGG;AACH,qBAAa,UAAU;IAEZ,eAAe,EAAE,OAAO;IACxB,aAAa,EAAE,cAAc;gBAD7B,eAAe,EAAE,OAAO,EACxB,aAAa,EAAE,cAAc;IAGtC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,UAAU;IAIrD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAI7C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU;IAK5D,OAAO,IAAI,OAAO;IAGlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;IAIZ,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,mDAEhB;CACF"}

package/dest/rollup/tube_inputs.js

@@ -1,63 +0,0 @@
-import { bufferSchemaFor } from '@aztec/foundation/schemas';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-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 {
-    usePublicTailVk;
-    clientIVCData;
-    constructor(usePublicTailVk, clientIVCData){
-        this.usePublicTailVk = usePublicTailVk;
-        this.clientIVCData = clientIVCData;
-    }
-    static from(fields) {
-        return new TubeInputs(...TubeInputs.getFields(fields));
-    }
-    static getFields(fields) {
-        return [
-            fields.usePublicTailVk,
-            fields.clientIVCData
-        ];
-    }
-    /**
-   * 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) {
-        const reader = BufferReader.asReader(buffer);
-        return new TubeInputs(reader.readBoolean(), reader.readObject(ClientIvcProof));
-    }
-    isEmpty() {
-        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) {
-        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/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_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/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);
-  }
-}