@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.b655e406

package/dest/kernel/private_kernel_data.d.ts

@@ -1,10 +1,5 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { VK_TREE_HEIGHT } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
-import type { UInt32 } from '../types/shared.js';
-import { VerificationKeyAsFields } from '../vks/verification_key.js';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { VkData } from '../vks/index.js';
 import { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
 /**
  * Data of the previous kernel iteration in the chain of kernels.
@@ -15,39 +10,23 @@ export declare class PrivateKernelData {
      */
     publicInputs: PrivateKernelCircuitPublicInputs;
     /**
-     * Verification key of the previous kernel.
+     * The verification key and the witness of the vk in the vk tree.
      */
-    vk: VerificationKeyAsFields;
-    /**
-     * Index of the previous kernel's vk in a tree of vks.
-     */
-    vkIndex: UInt32;
-    /**
-     * Sibling path of the previous kernel's vk in a tree of vks.
-     */
-    vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>;
+    vkData: VkData;
     constructor(
     /**
      * Public inputs of the previous kernel.
      */
     publicInputs: PrivateKernelCircuitPublicInputs, 
     /**
-     * Verification key of the previous kernel.
-     */
-    vk: VerificationKeyAsFields, 
-    /**
-     * Index of the previous kernel's vk in a tree of vks.
-     */
-    vkIndex: UInt32, 
-    /**
-     * Sibling path of the previous kernel's vk in a tree of vks.
+     * The verification key and the witness of the vk in the vk tree.
      */
-    vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>);
+    vkData: VkData);
     /**
      * Serialize this as a buffer.
      * @returns The buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelData;
     static empty(): PrivateKernelData;
 }

package/dest/kernel/private_kernel_data.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAgD,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEhG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAE7F;;GAEG;AACH,qBAAa,iBAAiB;IAI1B;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAClC;;OAEG;IACI,OAAO,EAAE,MAAM;IACtB;;OAEG;IACI,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAf/C;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAClC;;OAEG;IACI,OAAO,EAAE,MAAM;IACtB;;OAEG;IACI,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGjD;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAUnE,MAAM,CAAC,KAAK,IAAI,iBAAiB;CAQlC"}
+{"version":3,"file":"private_kernel_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAE7F;;GAEG;AACH,qBAAa,iBAAiB;IAI1B;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,MAAM,EAAE,MAAM;;IAPrB;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,MAAM,EAAE,MAAM;IAGvB;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAKnE,MAAM,CAAC,KAAK,IAAI,iBAAiB;CAGlC"}

package/dest/kernel/private_kernel_data.js

@@ -1,43 +1,32 @@
-import { CLIENT_IVC_VERIFICATION_KEY_LENGTH_IN_FIELDS, VK_TREE_HEIGHT } from '@aztec/constants';
-import { makeTuple } from '@aztec/foundation/array';
-import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-import { VerificationKeyAsFields } from '../vks/verification_key.js';
+import { VkData } from '../vks/index.js';
 import { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
 /**
  * Data of the previous kernel iteration in the chain of kernels.
  */ export class PrivateKernelData {
     publicInputs;
-    vk;
-    vkIndex;
-    vkPath;
-    // NOTE: as of move to honk and client IVC, previous private kernels no longer come with their proof
-    // as we do client IVC not recursive verification. We need to ensure the public inputs here is properly constrained, TODO(https://github.com/AztecProtocol/barretenberg/issues/1048)
+    vkData;
+    // NOTE: as of move to honk and chonk, previous private kernels no longer come with their proof
+    // as we do chonk not recursive verification. We need to ensure the public inputs here is properly constrained, TODO(https://github.com/AztecProtocol/barretenberg/issues/1048)
     constructor(/**
      * Public inputs of the previous kernel.
      */ publicInputs, /**
-     * Verification key of the previous kernel.
-     */ vk, /**
-     * Index of the previous kernel's vk in a tree of vks.
-     */ vkIndex, /**
-     * Sibling path of the previous kernel's vk in a tree of vks.
-     */ vkPath){
+     * The verification key and the witness of the vk in the vk tree.
+     */ vkData){
         this.publicInputs = publicInputs;
-        this.vk = vk;
-        this.vkIndex = vkIndex;
-        this.vkPath = vkPath;
+        this.vkData = vkData;
     }
     /**
    * Serialize this as a buffer.
    * @returns The buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.publicInputs, this.vk, this.vkIndex, this.vkPath);
+        return serializeToBuffer(this.publicInputs, this.vkData);
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new this(reader.readObject(PrivateKernelCircuitPublicInputs), reader.readObject(VerificationKeyAsFields), reader.readNumber(), reader.readArray(VK_TREE_HEIGHT, Fr));
+        return new this(reader.readObject(PrivateKernelCircuitPublicInputs), reader.readObject(VkData));
     }
     static empty() {
-        return new PrivateKernelData(PrivateKernelCircuitPublicInputs.empty(), VerificationKeyAsFields.makeFake(CLIENT_IVC_VERIFICATION_KEY_LENGTH_IN_FIELDS), 0, makeTuple(VK_TREE_HEIGHT, Fr.zero));
+        return new PrivateKernelData(PrivateKernelCircuitPublicInputs.empty(), VkData.empty());
     }
 }

package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts

@@ -1,7 +1,6 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader } from '@aztec/foundation/serialize';
+import { ProtocolContracts } from '../tx/protocol_contracts.js';
 import { TxRequest } from '../tx/tx_request.js';
 import { PrivateCallData } from './private_call_data.js';
 /**
@@ -17,9 +16,9 @@ export declare class PrivateKernelInitCircuitPrivateInputs {
      */
     vkTreeRoot: Fr;
     /**
-     * The root of the protocol contract tree.
+     * The protocol contracts.
      */
-    protocolContractTreeRoot: Fr;
+    protocolContracts: ProtocolContracts;
     /**
      * Private calldata corresponding to this iteration of the kernel.
      */
@@ -42,9 +41,9 @@ export declare class PrivateKernelInitCircuitPrivateInputs {
      */
     vkTreeRoot: Fr, 
     /**
-     * The root of the protocol contract tree.
+     * The protocol contracts.
      */
-    protocolContractTreeRoot: Fr, 
+    protocolContracts: ProtocolContracts, 
     /**
      * Private calldata corresponding to this iteration of the kernel.
      */
@@ -61,7 +60,7 @@ export declare class PrivateKernelInitCircuitPrivateInputs {
      * Serialize this as a buffer.
      * @returns The buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Deserializes from a buffer or reader.
      * @param buffer - Buffer or reader to read from.

package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_init_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_circuit_private_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;GAEG;AACH,qBAAa,qCAAqC;IAE9C;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,WAAW,EAAE,eAAe;IACnC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,kBAAkB,EAAE,EAAE;;IAvB7B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,WAAW,EAAE,eAAe;IACnC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,kBAAkB,EAAE,EAAE;IAG/B;;;OAGG;IACH,QAAQ;IAUR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC;CAWxF"}
+{"version":3,"file":"private_kernel_init_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_init_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;GAEG;AACH,qBAAa,qCAAqC;IAE9C;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,iBAAiB,EAAE,iBAAiB;IAC3C;;OAEG;IACI,WAAW,EAAE,eAAe;IACnC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,kBAAkB,EAAE,EAAE;;IAvB7B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,iBAAiB,EAAE,iBAAiB;IAC3C;;OAEG;IACI,WAAW,EAAE,eAAe;IACnC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,kBAAkB,EAAE,EAAE;IAG/B;;;OAGG;IACH,QAAQ;IAUR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC;CAWxF"}

package/dest/kernel/private_kernel_init_circuit_private_inputs.js

@@ -1,5 +1,6 @@
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { ProtocolContracts } from '../tx/protocol_contracts.js';
 import { TxRequest } from '../tx/tx_request.js';
 import { PrivateCallData } from './private_call_data.js';
 /**
@@ -7,7 +8,7 @@ import { PrivateCallData } from './private_call_data.js';
  */ export class PrivateKernelInitCircuitPrivateInputs {
     txRequest;
     vkTreeRoot;
-    protocolContractTreeRoot;
+    protocolContracts;
     privateCall;
     isPrivateOnly;
     firstNullifierHint;
@@ -16,8 +17,8 @@ import { PrivateCallData } from './private_call_data.js';
      */ txRequest, /**
      * The root of the vk tree.
      */ vkTreeRoot, /**
-     * The root of the protocol contract tree.
-     */ protocolContractTreeRoot, /**
+     * The protocol contracts.
+     */ protocolContracts, /**
      * Private calldata corresponding to this iteration of the kernel.
      */ privateCall, /**
      * Wether this tx will make public calls or not.
@@ -26,7 +27,7 @@ import { PrivateCallData } from './private_call_data.js';
      */ firstNullifierHint){
         this.txRequest = txRequest;
         this.vkTreeRoot = vkTreeRoot;
-        this.protocolContractTreeRoot = protocolContractTreeRoot;
+        this.protocolContracts = protocolContracts;
         this.privateCall = privateCall;
         this.isPrivateOnly = isPrivateOnly;
         this.firstNullifierHint = firstNullifierHint;
@@ -35,7 +36,7 @@ import { PrivateCallData } from './private_call_data.js';
    * Serialize this as a buffer.
    * @returns The buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.txRequest, this.vkTreeRoot, this.protocolContractTreeRoot, this.privateCall, this.firstNullifierHint);
+        return serializeToBuffer(this.txRequest, this.vkTreeRoot, this.protocolContracts, this.privateCall, this.firstNullifierHint);
     }
     /**
    * Deserializes from a buffer or reader.
@@ -43,6 +44,6 @@ import { PrivateCallData } from './private_call_data.js';
    * @returns The deserialized instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateKernelInitCircuitPrivateInputs(reader.readObject(TxRequest), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readObject(PrivateCallData), reader.readBoolean(), Fr.fromBuffer(reader));
+        return new PrivateKernelInitCircuitPrivateInputs(reader.readObject(TxRequest), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts), reader.readObject(PrivateCallData), reader.readBoolean(), Fr.fromBuffer(reader));
     }
 }

package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts

@@ -1,5 +1,3 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { BufferReader } from '@aztec/foundation/serialize';
 import { PrivateCallData } from './private_call_data.js';
 import { PrivateKernelData } from './private_kernel_data.js';
@@ -28,7 +26,7 @@ export declare class PrivateKernelInnerCircuitPrivateInputs {
      * Serialize this as a buffer.
      * @returns The buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Deserializes from a buffer or reader.
      * @param buffer - Buffer or reader to read from.

package/dest/kernel/private_kernel_inner_circuit_private_inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_inner_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_inner_circuit_private_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,sCAAsC;IAE/C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,WAAW,EAAE,eAAe;;IAPnC;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,WAAW,EAAE,eAAe;IAGrC;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC;CAOzF"}
+{"version":3,"file":"private_kernel_inner_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_inner_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,sCAAsC;IAE/C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,WAAW,EAAE,eAAe;;IAPnC;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,WAAW,EAAE,eAAe;IAGrC;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC;CAOzF"}

package/dest/kernel/private_kernel_prover_output.d.ts

@@ -0,0 +1,79 @@
+import type { WitnessMap } from '@aztec/noir-acvm_js';
+import { z } from 'zod';
+import type { ChonkProof } from '../proofs/chonk_proof.js';
+import type { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
+import type { PrivateKernelTailCircuitPublicInputs } from './private_kernel_tail_circuit_public_inputs.js';
+export declare const PrivateExecutionStepSchema: z.ZodObject<{
+    functionName: z.ZodString;
+    gateCount: z.ZodOptional<z.ZodNumber>;
+    bytecode: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, string>;
+    witness: import("@aztec/foundation/schemas").ZodFor<Map<number, string>>;
+    vk: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, string>;
+    timings: z.ZodObject<{
+        witgen: z.ZodNumber;
+        gateCount: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        witgen: number;
+        gateCount?: number | undefined;
+    }, {
+        witgen: number;
+        gateCount?: number | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    bytecode: Buffer<ArrayBuffer>;
+    vk: Buffer<ArrayBuffer>;
+    functionName: string;
+    witness: Map<number, string>;
+    timings: {
+        witgen: number;
+        gateCount?: number | undefined;
+    };
+    gateCount?: number | undefined;
+}, {
+    bytecode: string;
+    vk: string;
+    functionName: string;
+    timings: {
+        witgen: number;
+        gateCount?: number | undefined;
+    };
+    gateCount?: number | undefined;
+    witness?: any;
+}>;
+/**
+ *  Represents either a simulated private kernel circuit or one of our application function circuits.
+ */
+export interface PrivateExecutionStep {
+    functionName: string;
+    gateCount?: number;
+    bytecode: Buffer;
+    witness: WitnessMap;
+    vk: Buffer;
+    timings: {
+        witgen: number;
+        gateCount?: number;
+        oracles?: Record<string, {
+            times: number[];
+        }>;
+    };
+}
+/** Represents the output of proven PrivateKernelSimulateOutput.*/
+export interface PrivateKernelExecutionProofOutput<PublicInputsType extends PrivateKernelCircuitPublicInputs | PrivateKernelTailCircuitPublicInputs> {
+    /** The public inputs used by the proof generation process. */
+    publicInputs: PublicInputsType;
+    /** The private IVC proof optimized for user devices. It will be consumed by an Aztec prover,
+     * which recursively verifies it through the "private tx base" or the "public chonk verifier" circuit.*/
+    chonkProof: ChonkProof;
+    /**
+     * The trace the chonkProof corresponds to.
+     * A trace of app circuits interleaved with private kernel circuits.
+     * If simulate is ran with profiling mode, also includes gate counts.
+     */
+    executionSteps: PrivateExecutionStep[];
+    /** Performance metrics */
+    timings?: {
+        proving: number;
+    };
+}
+export declare function serializePrivateExecutionSteps(steps: PrivateExecutionStep[]): Buffer<ArrayBufferLike>;
+//# sourceMappingURL=private_kernel_prover_output.d.ts.map

package/dest/kernel/private_kernel_prover_output.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private_kernel_prover_output.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_prover_output.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAItD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAClG,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,gDAAgD,CAAC;AAE3G,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUrC,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,UAAU,CAAC;IAEpB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE;QACP,MAAM,EAAE,MAAM,CAAC;QACf,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,KAAK,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAC;KAC/C,CAAC;CACH;AAED,kEAAkE;AAClE,MAAM,WAAW,iCAAiC,CAChD,gBAAgB,SAAS,gCAAgC,GAAG,oCAAoC;IAEhG,8DAA8D;IAC9D,YAAY,EAAE,gBAAgB,CAAC;IAC/B;4GACwG;IACxG,UAAU,EAAE,UAAU,CAAC;IACvB;;;;OAIG;IACH,cAAc,EAAE,oBAAoB,EAAE,CAAC;IACvC,0BAA0B;IAC1B,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/B;AAED,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,oBAAoB,EAAE,2BAU3E"}

package/dest/kernel/private_kernel_prover_output.js

@@ -0,0 +1,28 @@
+import { bufferSchema, mapSchema } from '@aztec/foundation/schemas';
+import { serializeWitness } from '@aztec/noir-noirc_abi';
+import { Encoder } from 'msgpackr';
+import { z } from 'zod';
+export const PrivateExecutionStepSchema = z.object({
+    functionName: z.string(),
+    gateCount: z.number().optional(),
+    bytecode: bufferSchema,
+    witness: mapSchema(z.number(), z.string()),
+    vk: bufferSchema,
+    timings: z.object({
+        witgen: z.number(),
+        gateCount: z.number().optional()
+    })
+});
+export function serializePrivateExecutionSteps(steps) {
+    const stepToStruct = (step)=>{
+        return {
+            bytecode: step.bytecode,
+            witness: serializeWitness(step.witness),
+            vk: step.vk,
+            functionName: step.functionName
+        };
+    };
+    return new Encoder({
+        useRecords: false
+    }).pack(steps.map(stepToStruct));
+}

package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts

@@ -1,14 +1,14 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import type { MAX_KEY_VALIDATION_REQUESTS_PER_TX, MAX_NOTE_HASH_READ_REQUESTS_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_NULLIFIER_READ_REQUESTS_PER_TX } from '@aztec/constants';
 import type { PrivateKernelResetHints } from './hints/private_kernel_reset_hints.js';
+import type { PaddedSideEffects } from './padded_side_effects.js';
 import type { PrivateKernelData } from './private_kernel_data.js';
 import type { PrivateKernelResetDimensions } from './private_kernel_reset_dimensions.js';
-export declare class PrivateKernelResetCircuitPrivateInputsVariants<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_REQUESTS extends number, NUM_TRANSIENT_DATA_INDEX_HINTS extends number> {
+export declare class PrivateKernelResetCircuitPrivateInputsVariants<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_HINTS_LEN extends number, TRANSIENT_DATA_HINTS_LEN extends number> {
     previousKernel: PrivateKernelData;
-    hints: PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_REQUESTS, NUM_TRANSIENT_DATA_INDEX_HINTS>;
-    constructor(previousKernel: PrivateKernelData, hints: PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_REQUESTS, NUM_TRANSIENT_DATA_INDEX_HINTS>);
-    toBuffer(): Buffer;
+    paddedSideEffects: PaddedSideEffects;
+    hints: PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_HINTS_LEN, TRANSIENT_DATA_HINTS_LEN>;
+    constructor(previousKernel: PrivateKernelData, paddedSideEffects: PaddedSideEffects, hints: PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_HINTS_LEN, TRANSIENT_DATA_HINTS_LEN>);
+    toBuffer(): Buffer<ArrayBufferLike>;
 }
 /**
  * Input to the private kernel circuit - reset call.
@@ -18,18 +18,19 @@ export declare class PrivateKernelResetCircuitPrivateInputs {
      * The previous kernel data
      */
     previousKernel: PrivateKernelData;
+    paddedSideEffects: PaddedSideEffects;
     hints: PrivateKernelResetHints<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX, typeof MAX_NULLIFIERS_PER_TX>;
     dimensions: PrivateKernelResetDimensions;
     constructor(
     /**
      * The previous kernel data
      */
-    previousKernel: PrivateKernelData, hints: PrivateKernelResetHints<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX, typeof MAX_NULLIFIERS_PER_TX>, dimensions: PrivateKernelResetDimensions);
+    previousKernel: PrivateKernelData, paddedSideEffects: PaddedSideEffects, hints: PrivateKernelResetHints<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_NULLIFIER_READ_REQUESTS_PER_TX, typeof MAX_KEY_VALIDATION_REQUESTS_PER_TX, typeof MAX_NULLIFIERS_PER_TX>, dimensions: PrivateKernelResetDimensions);
     /**
      * Serialize this as a buffer.
      * @returns The buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     trimToSizes(): PrivateKernelResetCircuitPrivateInputsVariants<number, number, number, number, number, number>;
 }
 //# sourceMappingURL=private_kernel_reset_circuit_private_inputs.d.ts.map

package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_reset_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_reset_circuit_private_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EACV,kCAAkC,EAClC,kCAAkC,EAClC,qBAAqB,EACrB,kCAAkC,EACnC,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEzF,qBAAa,8CAA8C,CACzD,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,uBAAuB,SAAS,MAAM,EACtC,8BAA8B,SAAS,MAAM;IAGpC,cAAc,EAAE,iBAAiB;IACjC,KAAK,EAAE,uBAAuB,CACnC,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,8BAA8B,CAC/B;gBARM,cAAc,EAAE,iBAAiB,EACjC,KAAK,EAAE,uBAAuB,CACnC,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,8BAA8B,CAC/B;IAGH,QAAQ;CAGT;AAED;;GAEG;AACH,qBAAa,sCAAsC;IAE/C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACjC,KAAK,EAAE,uBAAuB,CACnC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,qBAAqB,CAC7B;IACM,UAAU,EAAE,4BAA4B;;IAZ/C;;OAEG;IACI,cAAc,EAAE,iBAAiB,EACjC,KAAK,EAAE,uBAAuB,CACnC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,qBAAqB,CAC7B,EACM,UAAU,EAAE,4BAA4B;IAGjD;;;OAGG;IACH,QAAQ;IAIR,WAAW;CAWZ"}
+{"version":3,"file":"private_kernel_reset_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_reset_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kCAAkC,EAClC,kCAAkC,EAClC,qBAAqB,EACrB,kCAAkC,EACnC,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEzF,qBAAa,8CAA8C,CACzD,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM;IAG9B,cAAc,EAAE,iBAAiB;IACjC,iBAAiB,EAAE,iBAAiB;IACpC,KAAK,EAAE,uBAAuB,CACnC,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,wBAAwB,CACzB;gBATM,cAAc,EAAE,iBAAiB,EACjC,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,uBAAuB,CACnC,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,wBAAwB,CACzB;IAGH,QAAQ;CAGT;AAED;;GAEG;AACH,qBAAa,sCAAsC;IAE/C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACjC,iBAAiB,EAAE,iBAAiB;IACpC,KAAK,EAAE,uBAAuB,CACnC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,qBAAqB,CAC7B;IACM,UAAU,EAAE,4BAA4B;;IAb/C;;OAEG;IACI,cAAc,EAAE,iBAAiB,EACjC,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,uBAAuB,CACnC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,kCAAkC,EACzC,OAAO,qBAAqB,CAC7B,EACM,UAAU,EAAE,4BAA4B;IAGjD;;;OAGG;IACH,QAAQ;IAIR,WAAW;CAWZ"}

package/dest/kernel/private_kernel_reset_circuit_private_inputs.js

@@ -1,25 +1,29 @@
 import { serializeToBuffer } from '@aztec/foundation/serialize';
 export class PrivateKernelResetCircuitPrivateInputsVariants {
     previousKernel;
+    paddedSideEffects;
     hints;
-    constructor(previousKernel, hints){
+    constructor(previousKernel, paddedSideEffects, hints){
         this.previousKernel = previousKernel;
+        this.paddedSideEffects = paddedSideEffects;
         this.hints = hints;
     }
     toBuffer() {
-        return serializeToBuffer(this.previousKernel, this.hints);
+        return serializeToBuffer(this.previousKernel, this.paddedSideEffects, this.hints);
     }
 }
 /**
  * Input to the private kernel circuit - reset call.
  */ export class PrivateKernelResetCircuitPrivateInputs {
     previousKernel;
+    paddedSideEffects;
     hints;
     dimensions;
     constructor(/**
      * The previous kernel data
-     */ previousKernel, hints, dimensions){
+     */ previousKernel, paddedSideEffects, hints, dimensions){
         this.previousKernel = previousKernel;
+        this.paddedSideEffects = paddedSideEffects;
         this.hints = hints;
         this.dimensions = dimensions;
     }
@@ -27,10 +31,10 @@ export class PrivateKernelResetCircuitPrivateInputsVariants {
    * Serialize this as a buffer.
    * @returns The buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.previousKernel, this.hints, this.dimensions);
+        return serializeToBuffer(this.previousKernel, this.paddedSideEffects, this.hints, this.dimensions);
     }
     trimToSizes() {
-        const hints = this.hints.trimToSizes(this.dimensions.NOTE_HASH_PENDING_AMOUNT, this.dimensions.NOTE_HASH_SETTLED_AMOUNT, this.dimensions.NULLIFIER_PENDING_AMOUNT, this.dimensions.NULLIFIER_SETTLED_AMOUNT, this.dimensions.NULLIFIER_KEYS, this.dimensions.TRANSIENT_DATA_AMOUNT);
-        return new PrivateKernelResetCircuitPrivateInputsVariants(this.previousKernel, hints);
+        const hints = this.hints.trimToSizes(this.dimensions.NOTE_HASH_PENDING_READ, this.dimensions.NOTE_HASH_SETTLED_READ, this.dimensions.NULLIFIER_PENDING_READ, this.dimensions.NULLIFIER_SETTLED_READ, this.dimensions.KEY_VALIDATION, this.dimensions.TRANSIENT_DATA_SQUASHING);
+        return new PrivateKernelResetCircuitPrivateInputsVariants(this.previousKernel, this.paddedSideEffects, hints);
     }
 }

package/dest/kernel/private_kernel_reset_dimensions.d.ts

@@ -1,18 +1,16 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import type { FieldsOf } from '@aztec/foundation/types';
 export declare class PrivateKernelResetDimensions {
-    NOTE_HASH_PENDING_AMOUNT: number;
-    NOTE_HASH_SETTLED_AMOUNT: number;
-    NULLIFIER_PENDING_AMOUNT: number;
-    NULLIFIER_SETTLED_AMOUNT: number;
-    NULLIFIER_KEYS: number;
-    TRANSIENT_DATA_AMOUNT: number;
-    NOTE_HASH_SILOING_AMOUNT: number;
-    NULLIFIER_SILOING_AMOUNT: number;
-    PRIVATE_LOG_SILOING_AMOUNT: number;
-    constructor(NOTE_HASH_PENDING_AMOUNT: number, NOTE_HASH_SETTLED_AMOUNT: number, NULLIFIER_PENDING_AMOUNT: number, NULLIFIER_SETTLED_AMOUNT: number, NULLIFIER_KEYS: number, TRANSIENT_DATA_AMOUNT: number, NOTE_HASH_SILOING_AMOUNT: number, NULLIFIER_SILOING_AMOUNT: number, PRIVATE_LOG_SILOING_AMOUNT: number);
-    toBuffer(): Buffer;
+    NOTE_HASH_PENDING_READ: number;
+    NOTE_HASH_SETTLED_READ: number;
+    NULLIFIER_PENDING_READ: number;
+    NULLIFIER_SETTLED_READ: number;
+    KEY_VALIDATION: number;
+    TRANSIENT_DATA_SQUASHING: number;
+    NOTE_HASH_SILOING: number;
+    NULLIFIER_SILOING: number;
+    PRIVATE_LOG_SILOING: number;
+    constructor(NOTE_HASH_PENDING_READ: number, NOTE_HASH_SETTLED_READ: number, NULLIFIER_PENDING_READ: number, NULLIFIER_SETTLED_READ: number, KEY_VALIDATION: number, TRANSIENT_DATA_SQUASHING: number, NOTE_HASH_SILOING: number, NULLIFIER_SILOING: number, PRIVATE_LOG_SILOING: number);
+    toBuffer(): Buffer<ArrayBufferLike>;
     static empty(): PrivateKernelResetDimensions;
     static from(fields: Partial<FieldsOf<PrivateKernelResetDimensions>>): PrivateKernelResetDimensions;
     static fromValues(values: number[]): PrivateKernelResetDimensions;

package/dest/kernel/private_kernel_reset_dimensions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_reset_dimensions.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_reset_dimensions.ts"],"names":[],"mappings":";;AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,qBAAa,4BAA4B;IAE9B,wBAAwB,EAAE,MAAM;IAChC,wBAAwB,EAAE,MAAM;IAChC,wBAAwB,EAAE,MAAM;IAChC,wBAAwB,EAAE,MAAM;IAChC,cAAc,EAAE,MAAM;IACtB,qBAAqB,EAAE,MAAM;IAC7B,wBAAwB,EAAE,MAAM;IAChC,wBAAwB,EAAE,MAAM;IAChC,0BAA0B,EAAE,MAAM;gBARlC,wBAAwB,EAAE,MAAM,EAChC,wBAAwB,EAAE,MAAM,EAChC,wBAAwB,EAAE,MAAM,EAChC,wBAAwB,EAAE,MAAM,EAChC,cAAc,EAAE,MAAM,EACtB,qBAAqB,EAAE,MAAM,EAC7B,wBAAwB,EAAE,MAAM,EAChC,wBAAwB,EAAE,MAAM,EAChC,0BAA0B,EAAE,MAAM;IAG3C,QAAQ;IAcR,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IAMnE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE;IAWlC,QAAQ;CAGT;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,QAAQ,CAAC,4BAA4B,CAAC,CAAC;AAEzE,eAAO,MAAM,gCAAgC,EAAE,aAAa,EAU3D,CAAC;AAEF,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAGD,MAAM,WAAW,kCAAkC;IACjD,UAAU,EAAE;SAAG,CAAC,IAAI,aAAa,GAAG,eAAe;KAAE,CAAC;IACtD,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC;CAC1B"}
+{"version":3,"file":"private_kernel_reset_dimensions.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_reset_dimensions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,qBAAa,4BAA4B;IAE9B,sBAAsB,EAAE,MAAM;IAC9B,sBAAsB,EAAE,MAAM;IAC9B,sBAAsB,EAAE,MAAM;IAC9B,sBAAsB,EAAE,MAAM;IAC9B,cAAc,EAAE,MAAM;IACtB,wBAAwB,EAAE,MAAM;IAChC,iBAAiB,EAAE,MAAM;IACzB,iBAAiB,EAAE,MAAM;IACzB,mBAAmB,EAAE,MAAM;gBAR3B,sBAAsB,EAAE,MAAM,EAC9B,sBAAsB,EAAE,MAAM,EAC9B,sBAAsB,EAAE,MAAM,EAC9B,sBAAsB,EAAE,MAAM,EAC9B,cAAc,EAAE,MAAM,EACtB,wBAAwB,EAAE,MAAM,EAChC,iBAAiB,EAAE,MAAM,EACzB,iBAAiB,EAAE,MAAM,EACzB,mBAAmB,EAAE,MAAM;IAGpC,QAAQ;IAcR,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IAMnE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE;IAWlC,QAAQ;CAGT;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,QAAQ,CAAC,4BAA4B,CAAC,CAAC;AAEzE,eAAO,MAAM,gCAAgC,EAAE,aAAa,EAU3D,CAAC;AAEF,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAGD,MAAM,WAAW,kCAAkC;IACjD,UAAU,EAAE;SAAG,CAAC,IAAI,aAAa,GAAG,eAAe;KAAE,CAAC;IACtD,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC;CAC1B"}

package/dest/kernel/private_kernel_reset_dimensions.js

@@ -1,27 +1,27 @@
 import { serializeToBuffer } from '@aztec/foundation/serialize';
 export class PrivateKernelResetDimensions {
-    NOTE_HASH_PENDING_AMOUNT;
-    NOTE_HASH_SETTLED_AMOUNT;
-    NULLIFIER_PENDING_AMOUNT;
-    NULLIFIER_SETTLED_AMOUNT;
-    NULLIFIER_KEYS;
-    TRANSIENT_DATA_AMOUNT;
-    NOTE_HASH_SILOING_AMOUNT;
-    NULLIFIER_SILOING_AMOUNT;
-    PRIVATE_LOG_SILOING_AMOUNT;
-    constructor(NOTE_HASH_PENDING_AMOUNT, NOTE_HASH_SETTLED_AMOUNT, NULLIFIER_PENDING_AMOUNT, NULLIFIER_SETTLED_AMOUNT, NULLIFIER_KEYS, TRANSIENT_DATA_AMOUNT, NOTE_HASH_SILOING_AMOUNT, NULLIFIER_SILOING_AMOUNT, PRIVATE_LOG_SILOING_AMOUNT){
-        this.NOTE_HASH_PENDING_AMOUNT = NOTE_HASH_PENDING_AMOUNT;
-        this.NOTE_HASH_SETTLED_AMOUNT = NOTE_HASH_SETTLED_AMOUNT;
-        this.NULLIFIER_PENDING_AMOUNT = NULLIFIER_PENDING_AMOUNT;
-        this.NULLIFIER_SETTLED_AMOUNT = NULLIFIER_SETTLED_AMOUNT;
-        this.NULLIFIER_KEYS = NULLIFIER_KEYS;
-        this.TRANSIENT_DATA_AMOUNT = TRANSIENT_DATA_AMOUNT;
-        this.NOTE_HASH_SILOING_AMOUNT = NOTE_HASH_SILOING_AMOUNT;
-        this.NULLIFIER_SILOING_AMOUNT = NULLIFIER_SILOING_AMOUNT;
-        this.PRIVATE_LOG_SILOING_AMOUNT = PRIVATE_LOG_SILOING_AMOUNT;
+    NOTE_HASH_PENDING_READ;
+    NOTE_HASH_SETTLED_READ;
+    NULLIFIER_PENDING_READ;
+    NULLIFIER_SETTLED_READ;
+    KEY_VALIDATION;
+    TRANSIENT_DATA_SQUASHING;
+    NOTE_HASH_SILOING;
+    NULLIFIER_SILOING;
+    PRIVATE_LOG_SILOING;
+    constructor(NOTE_HASH_PENDING_READ, NOTE_HASH_SETTLED_READ, NULLIFIER_PENDING_READ, NULLIFIER_SETTLED_READ, KEY_VALIDATION, TRANSIENT_DATA_SQUASHING, NOTE_HASH_SILOING, NULLIFIER_SILOING, PRIVATE_LOG_SILOING){
+        this.NOTE_HASH_PENDING_READ = NOTE_HASH_PENDING_READ;
+        this.NOTE_HASH_SETTLED_READ = NOTE_HASH_SETTLED_READ;
+        this.NULLIFIER_PENDING_READ = NULLIFIER_PENDING_READ;
+        this.NULLIFIER_SETTLED_READ = NULLIFIER_SETTLED_READ;
+        this.KEY_VALIDATION = KEY_VALIDATION;
+        this.TRANSIENT_DATA_SQUASHING = TRANSIENT_DATA_SQUASHING;
+        this.NOTE_HASH_SILOING = NOTE_HASH_SILOING;
+        this.NULLIFIER_SILOING = NULLIFIER_SILOING;
+        this.PRIVATE_LOG_SILOING = PRIVATE_LOG_SILOING;
     }
     toBuffer() {
-        return serializeToBuffer(this.NOTE_HASH_PENDING_AMOUNT, this.NOTE_HASH_SETTLED_AMOUNT, this.NULLIFIER_PENDING_AMOUNT, this.NULLIFIER_SETTLED_AMOUNT, this.NULLIFIER_KEYS, this.TRANSIENT_DATA_AMOUNT, this.NOTE_HASH_SILOING_AMOUNT, this.NULLIFIER_SILOING_AMOUNT, this.PRIVATE_LOG_SILOING_AMOUNT);
+        return serializeToBuffer(this.NOTE_HASH_PENDING_READ, this.NOTE_HASH_SETTLED_READ, this.NULLIFIER_PENDING_READ, this.NULLIFIER_SETTLED_READ, this.KEY_VALIDATION, this.TRANSIENT_DATA_SQUASHING, this.NOTE_HASH_SILOING, this.NULLIFIER_SILOING, this.PRIVATE_LOG_SILOING);
     }
     static empty() {
         return new PrivateKernelResetDimensions(0, 0, 0, 0, 0, 0, 0, 0, 0);
@@ -44,13 +44,13 @@ export class PrivateKernelResetDimensions {
     }
 }
 export const privateKernelResetDimensionNames = [
-    'NOTE_HASH_PENDING_AMOUNT',
-    'NOTE_HASH_SETTLED_AMOUNT',
-    'NULLIFIER_PENDING_AMOUNT',
-    'NULLIFIER_SETTLED_AMOUNT',
-    'NULLIFIER_KEYS',
-    'TRANSIENT_DATA_AMOUNT',
-    'NOTE_HASH_SILOING_AMOUNT',
-    'NULLIFIER_SILOING_AMOUNT',
-    'PRIVATE_LOG_SILOING_AMOUNT'
+    'NOTE_HASH_PENDING_READ',
+    'NOTE_HASH_SETTLED_READ',
+    'NULLIFIER_PENDING_READ',
+    'NULLIFIER_SETTLED_READ',
+    'KEY_VALIDATION',
+    'TRANSIENT_DATA_SQUASHING',
+    'NOTE_HASH_SILOING',
+    'NULLIFIER_SILOING',
+    'PRIVATE_LOG_SILOING'
 ];

package/dest/kernel/private_kernel_simulated_output.d.ts

@@ -1,28 +1,22 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import type { WitnessMap } from '@noir-lang/acvm_js';
-import type { ClientIvcProof } from '../proofs/client_ivc_proof.js';
-import type { VerificationKeyAsFields } from '../vks/verification_key.js';
+import type { WitnessMap } from '@aztec/noir-acvm_js';
+import type { VerificationKeyData } from '../vks/verification_key.js';
 import type { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
-import type { PrivateKernelProverProfileResult } from './private_kernel_prover_profile_result.js';
 import type { PrivateKernelTailCircuitPublicInputs } from './private_kernel_tail_circuit_public_inputs.js';
 /**
  * Represents the output of the proof creation process for init and inner private kernel circuit.
  * Contains the public inputs required for the init and inner private kernel circuit and the generated proof.
  */
-export type PrivateKernelSimulateOutput<PublicInputsType extends PrivateKernelCircuitPublicInputs | PrivateKernelTailCircuitPublicInputs> = {
+export interface PrivateKernelSimulateOutput<PublicInputsType extends PrivateKernelCircuitPublicInputs | PrivateKernelTailCircuitPublicInputs> {
     /** The public inputs required for the proof generation process. */
     publicInputs: PublicInputsType;
-    clientIvcProof?: ClientIvcProof;
-    verificationKey: VerificationKeyAsFields;
     outputWitness: WitnessMap;
+    verificationKey: VerificationKeyData;
     bytecode: Buffer;
-    profileResult?: PrivateKernelProverProfileResult;
-};
+}
 /**
  * Represents the output of the circuit simulation process for init and inner private kernel circuit.
  */
 export type AppCircuitSimulateOutput = {
-    verificationKey: VerificationKeyAsFields;
+    verificationKey: VerificationKeyData;
 };
 //# sourceMappingURL=private_kernel_simulated_output.d.ts.map

package/dest/kernel/private_kernel_simulated_output.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_simulated_output.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_simulated_output.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAClG,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAClG,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,gDAAgD,CAAC;AAE3G;;;GAGG;AACH,MAAM,MAAM,2BAA2B,CACrC,gBAAgB,SAAS,gCAAgC,GAAG,oCAAoC,IAC9F;IACF,mEAAmE;IACnE,YAAY,EAAE,gBAAgB,CAAC;IAE/B,cAAc,CAAC,EAAE,cAAc,CAAC;IAEhC,eAAe,EAAE,uBAAuB,CAAC;IAEzC,aAAa,EAAE,UAAU,CAAC;IAE1B,QAAQ,EAAE,MAAM,CAAC;IAEjB,aAAa,CAAC,EAAE,gCAAgC,CAAC;CAClD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,eAAe,EAAE,uBAAuB,CAAC;CAC1C,CAAC"}
+{"version":3,"file":"private_kernel_simulated_output.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_simulated_output.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAClG,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,gDAAgD,CAAC;AAE3G;;;GAGG;AACH,MAAM,WAAW,2BAA2B,CAC1C,gBAAgB,SAAS,gCAAgC,GAAG,oCAAoC;IAEhG,mEAAmE;IACnE,YAAY,EAAE,gBAAgB,CAAC;IAC/B,aAAa,EAAE,UAAU,CAAC;IAC1B,eAAe,EAAE,mBAAmB,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC"}