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

package/src/tx/tx.ts

@@ -38,7 +38,6 @@ export class Tx extends Gossipable {
     public readonly data: PrivateKernelTailCircuitPublicInputs,
     /**
      * Proof from the private kernel circuit.
-     * TODO(#7368): This client IVC object currently contains various VKs that will eventually be more like static data.
      */
     public readonly clientIvcProof: ClientIvcProof,
     /**
@@ -238,7 +237,7 @@ export class Tx extends Gossipable {
       classPublishedCount: this.data.getNonEmptyContractClassLogsHashes().length,
       contractClassLogSize: this.data.getEmittedContractClassLogsLength(),
 
-      proofSize: this.clientIvcProof.clientIvcProofBuffer.length,
+      proofSize: this.clientIvcProof.proof.length,
       size: this.toBuffer().length,
 
       feePaymentMethod:
@@ -250,7 +249,7 @@ export class Tx extends Gossipable {
   getSize() {
     return (
       this.data.getSize() +
-      this.clientIvcProof.clientIvcProofBuffer.length +
+      this.clientIvcProof.proof.length * Fr.SIZE_IN_BYTES +
       arraySerializedSizeOfNonEmpty(this.contractClassLogFields) +
       this.publicFunctionCalldata.reduce((accum, cd) => accum + cd.getSize(), 0)
     );

package/src/update-checker/update-checker.ts

@@ -43,7 +43,7 @@ export class UpdateChecker extends EventEmitter<EventMap> {
     private rollupVersion: bigint,
     private fetch: typeof globalThis.fetch,
     private getLatestRollupVersion: () => Promise<bigint>,
-    private checkIntervalMs = 60_000, // every minute
+    private checkIntervalMs = 10 * 60_000, // every 10 mins
     private log = createLogger('foundation:update-check'),
   ) {
     super();

package/dest/rollup/private_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 { PrivateToRollupKernelCircuitPublicInputs } from '../kernel/private_to_rollup_kernel_circuit_public_inputs.js';
-import { RecursiveProof } from '../proofs/recursive_proof.js';
-import { VkData } from '../vks/index.js';
-export declare class PrivateTubeData {
-    publicInputs: PrivateToRollupKernelCircuitPublicInputs;
-    proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
-    vkData: VkData;
-    constructor(publicInputs: PrivateToRollupKernelCircuitPublicInputs, proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>, vkData: VkData);
-    static empty(): PrivateTubeData;
-    static fromBuffer(buffer: Buffer | BufferReader): PrivateTubeData;
-    toBuffer(): Buffer<ArrayBufferLike>;
-}
-//# sourceMappingURL=private_tube_data.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"private_tube_data.d.ts","sourceRoot":"","sources":["../../src/rollup/private_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,eAAe;IAEjB,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/private_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 { 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 {
-    publicInputs;
-    proof;
-    vkData;
-    constructor(publicInputs, proof, vkData){
-        this.publicInputs = publicInputs;
-        this.proof = proof;
-        this.vkData = vkData;
-    }
-    static empty() {
-        return new PrivateTubeData(PrivateToRollupKernelCircuitPublicInputs.empty(), makeEmptyRecursiveProof(NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), VkData.empty());
-    }
-    static fromBuffer(buffer) {
-        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/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);
-  }
-}