@aztec/pxe 3.0.0-devnet.2 → 3.0.0-manual.20251030

package/dest/contract_function_simulator/contract_function_simulator.d.ts

@@ -41,7 +41,7 @@ export declare class ContractFunctionSimulator {
     getStats(): import("./execution_data_provider.js").ExecutionStats;
 }
 /**
- * Generates the final public inputs of the tail kernel circuit, an empty ClientIVC proof
+ * Generates the final public inputs of the tail kernel circuit, an empty Chonk proof
  * and the execution steps for a `PrivateExecutionResult` as if it had been
  * processed by the private kernel prover. This skips many of the checks performed by the kernels
  * (allowing state overrides) and is much faster, while still generating a valid

package/dest/contract_function_simulator/contract_function_simulator.js

@@ -14,7 +14,7 @@ import { computeNoteHashNonce, computeUniqueNoteHash, siloNoteHash, siloNullifie
 import { PartialPrivateTailPublicInputsForPublic, PartialPrivateTailPublicInputsForRollup, PrivateKernelTailCircuitPublicInputs, PrivateToPublicAccumulatedData, PrivateToRollupAccumulatedData, PublicCallRequest, ScopedLogHash } from '@aztec/stdlib/kernel';
 import { PrivateLog } from '@aztec/stdlib/logs';
 import { ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
-import { ClientIvcProof } from '@aztec/stdlib/proofs';
+import { ChonkProof } from '@aztec/stdlib/proofs';
 import { CallContext, HashedValues, PrivateExecutionResult, TxConstantData, collectNested, getFinalMinRevertibleSideEffectCounter } from '@aztec/stdlib/tx';
 import { ExecutionNoteCache } from './execution_note_cache.js';
 import { ExecutionTaggingIndexCache } from './execution_tagging_index_cache.js';
@@ -146,7 +146,7 @@ class OrderedSideEffect {
     }
 }
 /**
- * Generates the final public inputs of the tail kernel circuit, an empty ClientIVC proof
+ * Generates the final public inputs of the tail kernel circuit, an empty Chonk proof
  * and the execution steps for a `PrivateExecutionResult` as if it had been
  * processed by the private kernel prover. This skips many of the checks performed by the kernels
  * (allowing state overrides) and is much faster, while still generating a valid
@@ -249,8 +249,8 @@ class OrderedSideEffect {
     })), /*feePayer=*/ AztecAddress.zero(), /*includeByTimestamp=*/ 0n, hasPublicCalls ? inputsForPublic : undefined, !hasPublicCalls ? inputsForRollup : undefined);
     return {
         publicInputs,
-        clientIvcProof: ClientIvcProof.empty(),
-        executionSteps: executionSteps
+        chonkProof: ChonkProof.empty(),
+        executionSteps
     };
 }
 function splitOrderedSideEffects(effects, minRevertibleSideEffectCounter) {

package/dest/contract_function_simulator/pxe_oracle_interface.js

@@ -48,7 +48,7 @@ import { NoteValidationRequest } from './noir-structs/note_validation_request.js
         const completeAddress = await this.addressDataProvider.getCompleteAddress(account);
         if (!completeAddress) {
             throw new Error(`No public key registered for address ${account}.
-        Register it by calling pxe.addAccount(...).\nSee docs for context: https://docs.aztec.network/developers/reference/debugging/aztecnr-errors#simulation-error-no-public-key-registered-for-address-0x0-register-it-by-calling-pxeregisterrecipient-or-pxeregisteraccount`);
+        Register it by calling pxe.addAccount(...).\nSee docs for context: https://docs.aztec.network/developers/resources/debugging/aztecnr-errors#simulation-error-no-public-key-registered-for-address-0x0-register-it-by-calling-pxeregisterrecipient-or-pxeregisteraccount`);
         }
         return completeAddress;
     }

package/dest/private_kernel/private_kernel_execution_prover.d.ts

@@ -10,7 +10,7 @@ export interface PrivateKernelExecutionProverConfig {
 /**
  * The PrivateKernelExecutionProver class is responsible for taking a transaction request and sequencing the
  * the execution of the private functions within, sequenced with private kernel "glue" to check protocol rules.
- * The result can be a client IVC proof of the private transaction portion, or just a simulation that can e.g.
+ * The result can be a chonk proof of the private transaction portion, or just a simulation that can e.g.
  * inform state tree updates.
  */
 export declare class PrivateKernelExecutionProver {
@@ -32,9 +32,9 @@ export declare class PrivateKernelExecutionProver {
      */
     proveWithKernels(txRequest: TxRequest, executionResult: PrivateExecutionResult, { simulate, skipFeeEnforcement, profileMode }?: PrivateKernelExecutionProverConfig): Promise<PrivateKernelExecutionProofOutput<PrivateKernelTailCircuitPublicInputs>>;
     /**
-     * Checks that the public inputs of the civc proof match the public inputs of the tail circuit.
+     * Checks that the public inputs of the chonk proof match the public inputs of the tail circuit.
      * This can only mismatch if there is a circuit / noir / bb bug.
-     * @param civcProof - The civc proof with public inputs.
+     * @param chonkProof - The chonk proof with public inputs.
      * @param tailPublicInputs - The public inputs resulting from witness generation of the tail circuit.
      */
     private ensurePublicInputsMatch;

package/dest/private_kernel/private_kernel_execution_prover.js

@@ -7,7 +7,7 @@ import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vk-tree';
 import { ProtocolContractsList } from '@aztec/protocol-contracts';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import { HidingKernelToPublicPrivateInputs, HidingKernelToRollupPrivateInputs, PaddedSideEffectAmounts, PrivateCallData, PrivateKernelCircuitPublicInputs, PrivateKernelData, PrivateKernelInitCircuitPrivateInputs, PrivateKernelInnerCircuitPrivateInputs, PrivateKernelTailCircuitPrivateInputs, PrivateVerificationKeyHints } from '@aztec/stdlib/kernel';
-import { ClientIvcProof } from '@aztec/stdlib/proofs';
+import { ChonkProof } from '@aztec/stdlib/proofs';
 import { collectNoteHashLeafIndexMap, collectNoteHashNullifierCounterMap, getFinalMinRevertibleSideEffectCounter } from '@aztec/stdlib/tx';
 import { VerificationKeyAsFields, VerificationKeyData, VkData } from '@aztec/stdlib/vks';
 import { PrivateKernelResetPrivateInputsBuilder } from './hints/build_private_kernel_reset_private_inputs.js';
@@ -20,7 +20,7 @@ const NULL_SIMULATE_OUTPUT = {
 /**
  * The PrivateKernelExecutionProver class is responsible for taking a transaction request and sequencing the
  * the execution of the private functions within, sequenced with private kernel "glue" to check protocol rules.
- * The result can be a client IVC proof of the private transaction portion, or just a simulation that can e.g.
+ * The result can be a chonk proof of the private transaction portion, or just a simulation that can e.g.
  * inform state tree updates.
  */ export class PrivateKernelExecutionProver {
     oracle;
@@ -221,40 +221,40 @@ const NULL_SIMULATE_OUTPUT = {
         if (generateWitnesses) {
             this.log.info(`Private kernel witness generation took ${timer.ms()}ms`);
         }
-        let clientIvcProof;
+        let chonkProof;
         // TODO(#7368) how do we 'bincode' encode these inputs?
         let provingTime;
         if (!skipProofGeneration) {
             const provingTimer = new Timer();
-            const proofWithPublicInputs = await this.proofCreator.createClientIvcProof(executionSteps);
+            const proofWithPublicInputs = await this.proofCreator.createChonkProof(executionSteps);
             provingTime = provingTimer.ms();
             this.ensurePublicInputsMatch(proofWithPublicInputs, tailOutput.publicInputs);
-            clientIvcProof = proofWithPublicInputs.removePublicInputs();
+            chonkProof = proofWithPublicInputs.removePublicInputs();
         } else {
-            clientIvcProof = ClientIvcProof.random();
+            chonkProof = ChonkProof.random();
         }
         return {
             publicInputs: tailOutput.publicInputs,
             executionSteps,
-            clientIvcProof,
+            chonkProof,
             timings: provingTime ? {
                 proving: provingTime
             } : undefined
         };
     }
     /**
-   * Checks that the public inputs of the civc proof match the public inputs of the tail circuit.
+   * Checks that the public inputs of the chonk proof match the public inputs of the tail circuit.
    * This can only mismatch if there is a circuit / noir / bb bug.
-   * @param civcProof - The civc proof with public inputs.
+   * @param chonkProof - The chonk proof with public inputs.
    * @param tailPublicInputs - The public inputs resulting from witness generation of the tail circuit.
-   */ ensurePublicInputsMatch(civcProof, tailPublicInputs) {
-        const serializedCivcProofPublicInputs = civcProof.getPublicInputs();
+   */ ensurePublicInputsMatch(chonkProof, tailPublicInputs) {
+        const serializedChonkProofPublicInputs = chonkProof.getPublicInputs();
         const serializedTailPublicInputs = tailPublicInputs.publicInputs().toFields();
-        if (serializedCivcProofPublicInputs.length !== serializedTailPublicInputs.length) {
-            throw new Error(`Public inputs length mismatch: ${serializedCivcProofPublicInputs.length} !== ${serializedTailPublicInputs.length}`);
+        if (serializedChonkProofPublicInputs.length !== serializedTailPublicInputs.length) {
+            throw new Error(`Public inputs length mismatch: ${serializedChonkProofPublicInputs.length} !== ${serializedTailPublicInputs.length}`);
         }
-        if (!serializedCivcProofPublicInputs.every((input, index)=>input.equals(serializedTailPublicInputs[index]))) {
-            throw new Error(`Public inputs mismatch between kernel and civc proof`);
+        if (!serializedChonkProofPublicInputs.every((input, index)=>input.equals(serializedTailPublicInputs[index]))) {
+            throw new Error(`Public inputs mismatch between kernel and chonk proof`);
         }
     }
     async getVkData(verificationKey) {

package/dest/pxe.js

@@ -146,7 +146,7 @@ import { Synchronizer } from './synchronizer/index.js';
     async #getFunctionCall(functionName, args, to) {
         const contract = await this.contractDataProvider.getContract(to);
         if (!contract) {
-            throw new Error(`Unknown contract ${to}: add it to PXE by calling server.addContracts(...).\nSee docs for context: https://docs.aztec.network/developers/reference/debugging/aztecnr-errors#unknown-contract-0x0-add-it-to-pxe-by-calling-serveraddcontracts`);
+            throw new Error(`Unknown contract ${to}: add it to PXE by calling server.addContracts(...).\nSee docs for context: https://docs.aztec.network/developers/resources/debugging/aztecnr-errors#unknown-contract-0x0-add-it-to-pxe-by-calling-serveraddcontracts`);
         }
         const functionDao = contract.functions.find((f)=>f.name === functionName);
         if (!functionDao) {
@@ -232,7 +232,7 @@ import { Synchronizer } from './synchronizer/index.js';
    * @param proofCreator - The proof creator to use for proving the execution.
    * @param privateExecutionResult - The result of the private execution
    * @param config - The configuration for the kernel execution prover.
-   * @returns An object that contains the output of the kernel execution, including the ClientIvcProof if proving is enabled.
+   * @returns An object that contains the output of the kernel execution, including the ChonkProof if proving is enabled.
    */ async #prove(txExecutionRequest, proofCreator, privateExecutionResult, config) {
         const simulationAnchorBlock = privateExecutionResult.getSimulationAnchorBlockNumber();
         const kernelOracle = new PrivateKernelOracleImpl(this.contractDataProvider, this.keyStore, this.node, simulationAnchorBlock);
@@ -488,7 +488,7 @@ import { Synchronizer } from './synchronizer/index.js';
                 const syncTime = syncTimer.ms();
                 const contractFunctionSimulator = this.#getSimulatorForTx();
                 privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest);
-                const { publicInputs, clientIvcProof, executionSteps, timings: { proving } = {} } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, {
+                const { publicInputs, chonkProof, executionSteps, timings: { proving } = {} } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, {
                     simulate: false,
                     skipFeeEnforcement: false,
                     profileMode: 'none'
@@ -509,7 +509,7 @@ import { Synchronizer } from './synchronizer/index.js';
                 this.log.debug(`Proving completed in ${totalTime}ms`, {
                     timings
                 });
-                const txProvingResult = new TxProvingResult(privateExecutionResult, publicInputs, clientIvcProof, {
+                const txProvingResult = new TxProvingResult(privateExecutionResult, publicInputs, chonkProof, {
                     timings,
                     nodeRPCCalls: contractFunctionSimulator?.getStats().nodeRPCCalls
                 });

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/pxe",
-  "version": "3.0.0-devnet.2",
+  "version": "3.0.0-manual.20251030",
   "type": "module",
   "exports": {
     "./server": "./dest/entrypoints/server/index.js",
@@ -61,19 +61,19 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb-prover": "3.0.0-devnet.2",
-    "@aztec/bb.js": "3.0.0-devnet.2",
-    "@aztec/builder": "3.0.0-devnet.2",
-    "@aztec/constants": "3.0.0-devnet.2",
-    "@aztec/ethereum": "3.0.0-devnet.2",
-    "@aztec/foundation": "3.0.0-devnet.2",
-    "@aztec/key-store": "3.0.0-devnet.2",
-    "@aztec/kv-store": "3.0.0-devnet.2",
-    "@aztec/noir-protocol-circuits-types": "3.0.0-devnet.2",
-    "@aztec/noir-types": "3.0.0-devnet.2",
-    "@aztec/protocol-contracts": "3.0.0-devnet.2",
-    "@aztec/simulator": "3.0.0-devnet.2",
-    "@aztec/stdlib": "3.0.0-devnet.2",
+    "@aztec/bb-prover": "3.0.0-manual.20251030",
+    "@aztec/bb.js": "3.0.0-manual.20251030",
+    "@aztec/builder": "3.0.0-manual.20251030",
+    "@aztec/constants": "3.0.0-manual.20251030",
+    "@aztec/ethereum": "3.0.0-manual.20251030",
+    "@aztec/foundation": "3.0.0-manual.20251030",
+    "@aztec/key-store": "3.0.0-manual.20251030",
+    "@aztec/kv-store": "3.0.0-manual.20251030",
+    "@aztec/noir-protocol-circuits-types": "3.0.0-manual.20251030",
+    "@aztec/noir-types": "3.0.0-manual.20251030",
+    "@aztec/protocol-contracts": "3.0.0-manual.20251030",
+    "@aztec/simulator": "3.0.0-manual.20251030",
+    "@aztec/stdlib": "3.0.0-manual.20251030",
     "koa": "^2.16.1",
     "koa-router": "^13.1.1",
     "lodash.omit": "^4.5.0",
@@ -82,8 +82,8 @@
     "viem": "npm:@spalladino/viem@2.38.2-eip7594.0"
   },
   "devDependencies": {
-    "@aztec/merkle-tree": "3.0.0-devnet.2",
-    "@aztec/noir-test-contracts.js": "3.0.0-devnet.2",
+    "@aztec/merkle-tree": "3.0.0-manual.20251030",
+    "@aztec/noir-test-contracts.js": "3.0.0-manual.20251030",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/lodash.omit": "^4.5.7",

package/src/contract_function_simulator/contract_function_simulator.ts

@@ -51,7 +51,7 @@ import {
 } from '@aztec/stdlib/kernel';
 import { PrivateLog } from '@aztec/stdlib/logs';
 import { ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
-import { ClientIvcProof } from '@aztec/stdlib/proofs';
+import { ChonkProof } from '@aztec/stdlib/proofs';
 import {
   CallContext,
   HashedValues,
@@ -269,7 +269,7 @@ class OrderedSideEffect<T> {
 }
 
 /**
- * Generates the final public inputs of the tail kernel circuit, an empty ClientIVC proof
+ * Generates the final public inputs of the tail kernel circuit, an empty Chonk proof
  * and the execution steps for a `PrivateExecutionResult` as if it had been
  * processed by the private kernel prover. This skips many of the checks performed by the kernels
  * (allowing state overrides) and is much faster, while still generating a valid
@@ -489,8 +489,8 @@ export async function generateSimulatedProvingResult(
 
   return {
     publicInputs,
-    clientIvcProof: ClientIvcProof.empty(),
-    executionSteps: executionSteps,
+    chonkProof: ChonkProof.empty(),
+    executionSteps,
   };
 }
 

package/src/contract_function_simulator/pxe_oracle_interface.ts

@@ -81,7 +81,7 @@ export class PXEOracleInterface implements ExecutionDataProvider {
     if (!completeAddress) {
       throw new Error(
         `No public key registered for address ${account}.
-        Register it by calling pxe.addAccount(...).\nSee docs for context: https://docs.aztec.network/developers/reference/debugging/aztecnr-errors#simulation-error-no-public-key-registered-for-address-0x0-register-it-by-calling-pxeregisterrecipient-or-pxeregisteraccount`,
+        Register it by calling pxe.addAccount(...).\nSee docs for context: https://docs.aztec.network/developers/resources/debugging/aztecnr-errors#simulation-error-no-public-key-registered-for-address-0x0-register-it-by-calling-pxeregisterrecipient-or-pxeregisteraccount`,
       );
     }
     return completeAddress;

package/src/private_kernel/private_kernel_execution_prover.ts

@@ -23,7 +23,7 @@ import {
   type PrivateKernelTailCircuitPublicInputs,
   PrivateVerificationKeyHints,
 } from '@aztec/stdlib/kernel';
-import { ClientIvcProof, ClientIvcProofWithPublicInputs } from '@aztec/stdlib/proofs';
+import { ChonkProof, ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
 import {
   type PrivateCallExecutionResult,
   type PrivateExecutionResult,
@@ -53,7 +53,7 @@ export interface PrivateKernelExecutionProverConfig {
 /**
  * The PrivateKernelExecutionProver class is responsible for taking a transaction request and sequencing the
  * the execution of the private functions within, sequenced with private kernel "glue" to check protocol rules.
- * The result can be a client IVC proof of the private transaction portion, or just a simulation that can e.g.
+ * The result can be a chonk proof of the private transaction portion, or just a simulation that can e.g.
  * inform state tree updates.
  */
 export class PrivateKernelExecutionProver {
@@ -347,50 +347,50 @@ export class PrivateKernelExecutionProver {
       this.log.info(`Private kernel witness generation took ${timer.ms()}ms`);
     }
 
-    let clientIvcProof: ClientIvcProof;
+    let chonkProof: ChonkProof;
     // TODO(#7368) how do we 'bincode' encode these inputs?
     let provingTime;
     if (!skipProofGeneration) {
       const provingTimer = new Timer();
-      const proofWithPublicInputs = await this.proofCreator.createClientIvcProof(executionSteps);
+      const proofWithPublicInputs = await this.proofCreator.createChonkProof(executionSteps);
       provingTime = provingTimer.ms();
       this.ensurePublicInputsMatch(proofWithPublicInputs, tailOutput.publicInputs);
-      clientIvcProof = proofWithPublicInputs.removePublicInputs();
+      chonkProof = proofWithPublicInputs.removePublicInputs();
     } else {
-      clientIvcProof = ClientIvcProof.random();
+      chonkProof = ChonkProof.random();
     }
 
     return {
       publicInputs: tailOutput.publicInputs,
       executionSteps,
-      clientIvcProof,
+      chonkProof,
       timings: provingTime ? { proving: provingTime } : undefined,
     };
   }
 
   /**
-   * Checks that the public inputs of the civc proof match the public inputs of the tail circuit.
+   * Checks that the public inputs of the chonk proof match the public inputs of the tail circuit.
    * This can only mismatch if there is a circuit / noir / bb bug.
-   * @param civcProof - The civc proof with public inputs.
+   * @param chonkProof - The chonk proof with public inputs.
    * @param tailPublicInputs - The public inputs resulting from witness generation of the tail circuit.
    */
   private ensurePublicInputsMatch(
-    civcProof: ClientIvcProofWithPublicInputs,
+    chonkProof: ChonkProofWithPublicInputs,
     tailPublicInputs: PrivateKernelTailCircuitPublicInputs,
   ) {
-    const serializedCivcProofPublicInputs = civcProof.getPublicInputs();
+    const serializedChonkProofPublicInputs = chonkProof.getPublicInputs();
     const serializedTailPublicInputs = tailPublicInputs.publicInputs().toFields();
-    if (serializedCivcProofPublicInputs.length !== serializedTailPublicInputs.length) {
+    if (serializedChonkProofPublicInputs.length !== serializedTailPublicInputs.length) {
       throw new Error(
-        `Public inputs length mismatch: ${serializedCivcProofPublicInputs.length} !== ${serializedTailPublicInputs.length}`,
+        `Public inputs length mismatch: ${serializedChonkProofPublicInputs.length} !== ${serializedTailPublicInputs.length}`,
       );
     }
     if (
-      !serializedCivcProofPublicInputs.every((input: Fr, index: number) =>
+      !serializedChonkProofPublicInputs.every((input: Fr, index: number) =>
         input.equals(serializedTailPublicInputs[index]),
       )
     ) {
-      throw new Error(`Public inputs mismatch between kernel and civc proof`);
+      throw new Error(`Public inputs mismatch between kernel and chonk proof`);
     }
   }
 

package/src/pxe.ts

@@ -250,7 +250,7 @@ export class PXE {
     const contract = await this.contractDataProvider.getContract(to);
     if (!contract) {
       throw new Error(
-        `Unknown contract ${to}: add it to PXE by calling server.addContracts(...).\nSee docs for context: https://docs.aztec.network/developers/reference/debugging/aztecnr-errors#unknown-contract-0x0-add-it-to-pxe-by-calling-serveraddcontracts`,
+        `Unknown contract ${to}: add it to PXE by calling server.addContracts(...).\nSee docs for context: https://docs.aztec.network/developers/resources/debugging/aztecnr-errors#unknown-contract-0x0-add-it-to-pxe-by-calling-serveraddcontracts`,
       );
     }
 
@@ -362,7 +362,7 @@ export class PXE {
    * @param proofCreator - The proof creator to use for proving the execution.
    * @param privateExecutionResult - The result of the private execution
    * @param config - The configuration for the kernel execution prover.
-   * @returns An object that contains the output of the kernel execution, including the ClientIvcProof if proving is enabled.
+   * @returns An object that contains the output of the kernel execution, including the ChonkProof if proving is enabled.
    */
   async #prove(
     txExecutionRequest: TxExecutionRequest,
@@ -707,7 +707,7 @@ export class PXE {
 
         const {
           publicInputs,
-          clientIvcProof,
+          chonkProof,
           executionSteps,
           timings: { proving } = {},
         } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, {
@@ -735,7 +735,7 @@ export class PXE {
 
         this.log.debug(`Proving completed in ${totalTime}ms`, { timings });
 
-        const txProvingResult = new TxProvingResult(privateExecutionResult, publicInputs, clientIvcProof!, {
+        const txProvingResult = new TxProvingResult(privateExecutionResult, publicInputs, chonkProof!, {
           timings,
           nodeRPCCalls: contractFunctionSimulator?.getStats().nodeRPCCalls,
         });