@aztec/stdlib 3.0.0-nightly.20251026 → 3.0.0-nightly.20251030-2

package/src/tx/simulated_tx.ts

@@ -11,7 +11,7 @@ import {
 import { Gas } from '../gas/gas.js';
 import type { GasUsed } from '../gas/gas_used.js';
 import { PrivateKernelTailCircuitPublicInputs } from '../kernel/private_kernel_tail_circuit_public_inputs.js';
-import { ClientIvcProof } from '../proofs/client_ivc_proof.js';
+import { ChonkProof } from '../proofs/chonk_proof.js';
 import {
   PrivateCallExecutionResult,
   PrivateExecutionResult,
@@ -69,7 +69,7 @@ export class PrivateSimulationResult {
 
     return await Tx.create({
       data: this.publicInputs,
-      clientIvcProof: ClientIvcProof.empty(),
+      chonkProof: ChonkProof.empty(),
       contractClassLogFields: contractClassLogs,
       publicFunctionCalldata: this.privateExecutionResult.publicFunctionCalldata,
     });

package/src/tx/tx.ts

@@ -15,7 +15,7 @@ import { PrivateKernelTailCircuitPublicInputs } from '../kernel/private_kernel_t
 import { ContractClassLog, ContractClassLogFields } from '../logs/contract_class_log.js';
 import { Gossipable } from '../p2p/gossipable.js';
 import { TopicType } from '../p2p/topic_type.js';
-import { ClientIvcProof } from '../proofs/client_ivc_proof.js';
+import { ChonkProof } from '../proofs/chonk_proof.js';
 import type { TxStats } from '../stats/stats.js';
 import { HashedValues } from './hashed_values.js';
 import { PublicCallRequestWithCalldata } from './public_call_request_with_calldata.js';
@@ -39,7 +39,7 @@ export class Tx extends Gossipable {
     /**
      * Proof from the private kernel circuit.
      */
-    public readonly clientIvcProof: ClientIvcProof,
+    public readonly chonkProof: ChonkProof,
     /**
      * Contract class log fields emitted from the tx.
      * Their order should match the order of the log hashes returned from `this.data.getNonEmptyContractClassLogsHashes`.
@@ -108,7 +108,7 @@ export class Tx extends Gossipable {
     return new Tx(
       reader.readObject(TxHash),
       reader.readObject(PrivateKernelTailCircuitPublicInputs),
-      reader.readObject(ClientIvcProof),
+      reader.readObject(ChonkProof),
       reader.readVectorUint8Prefix(ContractClassLogFields),
       reader.readVectorUint8Prefix(HashedValues),
     );
@@ -122,7 +122,7 @@ export class Tx extends Gossipable {
     return serializeToBuffer([
       this.txHash,
       this.data,
-      this.clientIvcProof,
+      this.chonkProof,
       serializeArrayOfBufferableToVector(this.contractClassLogFields, 1),
       serializeArrayOfBufferableToVector(this.publicFunctionCalldata, 1),
     ]);
@@ -132,7 +132,7 @@ export class Tx extends Gossipable {
     return z
       .object({
         data: PrivateKernelTailCircuitPublicInputs.schema,
-        clientIvcProof: ClientIvcProof.schema,
+        chonkProof: ChonkProof.schema,
         contractClassLogFields: z.array(ContractClassLogFields.schema),
         publicFunctionCalldata: z.array(HashedValues.schema),
       })
@@ -155,7 +155,7 @@ export class Tx extends Gossipable {
     return new Tx(
       fields.txHash,
       fields.data,
-      fields.clientIvcProof,
+      fields.chonkProof,
       fields.contractClassLogFields,
       fields.publicFunctionCalldata,
     );
@@ -237,7 +237,7 @@ export class Tx extends Gossipable {
       classPublishedCount: this.data.getNonEmptyContractClassLogsHashes().length,
       contractClassLogSize: this.data.getEmittedContractClassLogsLength(),
 
-      proofSize: this.clientIvcProof.proof.length,
+      proofSize: this.chonkProof.fields.length,
       size: this.toBuffer().length,
 
       feePaymentMethod:
@@ -249,7 +249,7 @@ export class Tx extends Gossipable {
   getSize() {
     return (
       this.data.getSize() +
-      this.clientIvcProof.proof.length * Fr.SIZE_IN_BYTES +
+      this.chonkProof.fields.length * Fr.SIZE_IN_BYTES +
       arraySerializedSizeOfNonEmpty(this.contractClassLogFields) +
       this.publicFunctionCalldata.reduce((accum, cd) => accum + cd.getSize(), 0)
     );
@@ -275,10 +275,10 @@ export class Tx extends Gossipable {
    */
   static clone(tx: Tx): Tx {
     const publicInputs = PrivateKernelTailCircuitPublicInputs.fromBuffer(tx.data.toBuffer());
-    const clientIvcProof = ClientIvcProof.fromBuffer(tx.clientIvcProof.toBuffer());
+    const chonkProof = ChonkProof.fromBuffer(tx.chonkProof.toBuffer());
     const contractClassLogFields = tx.contractClassLogFields.map(p => p.clone());
     const publicFunctionCalldata = tx.publicFunctionCalldata.map(cd => HashedValues.fromBuffer(cd.toBuffer()));
-    const clonedTx = new Tx(tx.txHash, publicInputs, clientIvcProof, contractClassLogFields, publicFunctionCalldata);
+    const clonedTx = new Tx(tx.txHash, publicInputs, chonkProof, contractClassLogFields, publicFunctionCalldata);
 
     return clonedTx;
   }
@@ -292,7 +292,7 @@ export class Tx extends Gossipable {
     return Tx.from({
       txHash: (typeof args.txHash === 'string' ? TxHash.fromString(args.txHash) : args.txHash) ?? TxHash.random(),
       data: PrivateKernelTailCircuitPublicInputs.emptyWithNullifier(),
-      clientIvcProof: args.randomProof ? ClientIvcProof.random() : ClientIvcProof.empty(),
+      chonkProof: args.randomProof ? ChonkProof.random() : ChonkProof.empty(),
       contractClassLogFields: [ContractClassLogFields.random()],
       publicFunctionCalldata: [HashedValues.random()],
     });

package/dest/proofs/client_ivc_proof.d.ts

@@ -1,15 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader } from '@aztec/foundation/serialize';
-export declare class ClientIvcProof {
-    proof: Fr[];
-    constructor(proof: Fr[]);
-    isEmpty(): boolean;
-    static empty(): ClientIvcProof;
-    static random(proofSize?: number): ClientIvcProof;
-    static get schema(): import("zod").ZodType<ClientIvcProof, any, string>;
-    toJSON(): Buffer<ArrayBufferLike>;
-    static fromBuffer(buffer: Buffer | BufferReader): ClientIvcProof;
-    toBuffer(): Buffer<ArrayBufferLike>;
-    static fromBufferArray(fields: Uint8Array[]): ClientIvcProof;
-}
-//# sourceMappingURL=client_ivc_proof.d.ts.map

package/dest/proofs/client_ivc_proof.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"client_ivc_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/client_ivc_proof.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,qBAAa,cAAc;IAIhB,KAAK,EAAE,EAAE,EAAE;gBAAX,KAAK,EAAE,EAAE,EAAE;IAGb,OAAO;IAId,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,SAAS,SAAoB;IAW3C,MAAM,KAAK,MAAM,uDAEhB;IAED,MAAM;IAIN,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,cAAc;IAOzD,QAAQ;IAKf,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,cAAc;CAI7D"}

package/dest/proofs/client_ivc_proof.js

@@ -1,48 +0,0 @@
-import { CIVC_PROOF_LENGTH } from '@aztec/constants';
-import { randomBytes } from '@aztec/foundation/crypto';
-import { Fr } from '@aztec/foundation/fields';
-import { bufferSchemaFor } from '@aztec/foundation/schemas';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-export class ClientIvcProof {
-    proof;
-    constructor(// The proof fields with public inputs.
-    // For recursive verification, the public inputs (at the front of the array) must be removed.
-    proof){
-        this.proof = proof;
-    }
-    isEmpty() {
-        return this.proof.length === 0;
-    }
-    static empty() {
-        return new ClientIvcProof([]);
-    }
-    static random(proofSize = CIVC_PROOF_LENGTH) {
-        // NB: Not using Fr.random here because it slows down some tests that require a large number of txs significantly.
-        const reducedFrSize = Fr.SIZE_IN_BYTES - 1;
-        const randomFields = randomBytes(proofSize * reducedFrSize);
-        const proof = Array.from({
-            length: proofSize
-        }, (_, i)=>new Fr(randomFields.subarray(i * reducedFrSize, (i + 1) * reducedFrSize)));
-        return new ClientIvcProof(proof);
-    }
-    static get schema() {
-        return bufferSchemaFor(ClientIvcProof);
-    }
-    toJSON() {
-        return this.toBuffer();
-    }
-    static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        const proofLength = reader.readNumber();
-        const proof = reader.readArray(proofLength, Fr);
-        return new ClientIvcProof(proof);
-    }
-    toBuffer() {
-        return serializeToBuffer(this.proof.length, this.proof);
-    }
-    // Called when constructing a ClientIvcProof from proving results.
-    static fromBufferArray(fields) {
-        const proof = fields.map((field)=>Fr.fromBuffer(Buffer.from(field)));
-        return new ClientIvcProof(proof);
-    }
-}

package/dest/rollup/public_tube_private_inputs.d.ts

@@ -1,21 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader } from '@aztec/foundation/serialize';
-import type { FieldsOf } from '@aztec/foundation/types';
-import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
-import { type CivcProofData } from '../proofs/proof_data.js';
-export declare class PublicTubePrivateInputs {
-    hidingKernelProofData: CivcProofData<PrivateToPublicKernelCircuitPublicInputs>;
-    proverId: Fr;
-    constructor(hidingKernelProofData: CivcProofData<PrivateToPublicKernelCircuitPublicInputs>, proverId: Fr);
-    static from(fields: FieldsOf<PublicTubePrivateInputs>): PublicTubePrivateInputs;
-    static getFields(fields: FieldsOf<PublicTubePrivateInputs>): readonly [CivcProofData<PrivateToPublicKernelCircuitPublicInputs>, Fr];
-    static fromBuffer(buffer: Buffer | BufferReader): PublicTubePrivateInputs;
-    toBuffer(): Buffer<ArrayBufferLike>;
-    static fromString(str: string): PublicTubePrivateInputs;
-    toString(): `0x${string}`;
-    /** Returns a representation for JSON serialization. */
-    toJSON(): Buffer<ArrayBufferLike>;
-    /** Creates an instance from a string. */
-    static get schema(): import("zod").ZodType<PublicTubePrivateInputs, any, string>;
-}
-//# sourceMappingURL=public_tube_private_inputs.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"public_tube_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_tube_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,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;AAExE,qBAAa,uBAAuB;IAEzB,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC;IAC9E,QAAQ,EAAE,EAAE;gBADZ,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC,EAC9E,QAAQ,EAAE,EAAE;IAGrB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAIrD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,gEAEhB;CACF"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"public_tube_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_tube_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AAEvH,qBAAa,sBAAsB;IAExB,WAAW,EAAE,wCAAwC;IACrD,QAAQ,EAAE,EAAE;gBADZ,WAAW,EAAE,wCAAwC,EACrD,QAAQ,EAAE,EAAE;IAGrB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAIpD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAIzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;CACF"}

package/src/proofs/client_ivc_proof.ts

@@ -1,57 +0,0 @@
-import { CIVC_PROOF_LENGTH } from '@aztec/constants';
-import { randomBytes } from '@aztec/foundation/crypto';
-import { Fr } from '@aztec/foundation/fields';
-import { bufferSchemaFor } from '@aztec/foundation/schemas';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-
-export class ClientIvcProof {
-  constructor(
-    // The proof fields with public inputs.
-    // For recursive verification, the public inputs (at the front of the array) must be removed.
-    public proof: Fr[],
-  ) {}
-
-  public isEmpty() {
-    return this.proof.length === 0;
-  }
-
-  static empty() {
-    return new ClientIvcProof([]);
-  }
-
-  static random(proofSize = CIVC_PROOF_LENGTH) {
-    // NB: Not using Fr.random here because it slows down some tests that require a large number of txs significantly.
-    const reducedFrSize = Fr.SIZE_IN_BYTES - 1;
-    const randomFields = randomBytes(proofSize * reducedFrSize);
-    const proof = Array.from(
-      { length: proofSize },
-      (_, i) => new Fr(randomFields.subarray(i * reducedFrSize, (i + 1) * reducedFrSize)),
-    );
-    return new ClientIvcProof(proof);
-  }
-
-  static get schema() {
-    return bufferSchemaFor(ClientIvcProof);
-  }
-
-  toJSON() {
-    return this.toBuffer();
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader): ClientIvcProof {
-    const reader = BufferReader.asReader(buffer);
-    const proofLength = reader.readNumber();
-    const proof = reader.readArray(proofLength, Fr);
-    return new ClientIvcProof(proof);
-  }
-
-  public toBuffer() {
-    return serializeToBuffer(this.proof.length, this.proof);
-  }
-
-  // Called when constructing a ClientIvcProof from proving results.
-  static fromBufferArray(fields: Uint8Array[]): ClientIvcProof {
-    const proof = fields.map(field => Fr.fromBuffer(Buffer.from(field)));
-    return new ClientIvcProof(proof);
-  }
-}