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

package/dest/kernel/private_kernel_circuit_public_inputs.d.ts

@@ -1,9 +1,8 @@
-/// <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 { AztecAddress } from '../aztec-address/index.js';
-import { TxConstantData } from '../tx/tx_constant_data.js';
+import { PrivateTxConstantData } from '../tx/private_tx_constant_data.js';
+import type { UInt64 } from '../types/shared.js';
 import { PrivateAccumulatedData } from './private_accumulated_data.js';
 import { PrivateValidationRequests } from './private_validation_requests.js';
 import { PublicCallRequest } from './public_call_request.js';
@@ -11,43 +10,21 @@ import { PublicCallRequest } from './public_call_request.js';
  * Public inputs to the inner private kernel circuit
  */
 export declare class PrivateKernelCircuitPublicInputs {
-    /**
-     * Data which is not modified by the circuits.
-     */
-    constants: TxConstantData;
-    /**
-     * The side effect counter that non-revertible side effects are all beneath.
-     */
+    constants: PrivateTxConstantData;
     minRevertibleSideEffectCounter: Fr;
-    /**
-     * Validation requests accumulated from public functions.
-     */
     validationRequests: PrivateValidationRequests;
-    /**
-     * Data accumulated from both public and private circuits.
-     */
     end: PrivateAccumulatedData;
-    /**
-     * The call request for the public teardown function
-     */
     publicTeardownCallRequest: PublicCallRequest;
-    /**
-     * The address of the fee payer for the transaction
-     */
     feePayer: AztecAddress;
-    /**
-     * Wether this is a private only tx or not
-     */
+    includeByTimestamp: UInt64;
     isPrivateOnly: boolean;
-    /**
-     * The nullifier that will be used for nonce generation
-     */
     claimedFirstNullifier: Fr;
+    claimedRevertibleCounter: number;
     constructor(
     /**
      * Data which is not modified by the circuits.
      */
-    constants: TxConstantData, 
+    constants: PrivateTxConstantData, 
     /**
      * The side effect counter that non-revertible side effects are all beneath.
      */
@@ -68,6 +45,10 @@ export declare class PrivateKernelCircuitPublicInputs {
      * The address of the fee payer for the transaction
      */
     feePayer: AztecAddress, 
+    /**
+     * The timestamp by which the transaction must be included in a block.
+     */
+    includeByTimestamp: UInt64, 
     /**
      * Wether this is a private only tx or not
      */
@@ -75,10 +56,14 @@ export declare class PrivateKernelCircuitPublicInputs {
     /**
      * The nullifier that will be used for nonce generation
      */
-    claimedFirstNullifier: Fr);
+    claimedFirstNullifier: Fr, 
+    /**
+     * A claim to the final min revertible side effect counter of a tx.
+     */
+    claimedRevertibleCounter: number);
     static get schema(): import("zod").ZodType<PrivateKernelCircuitPublicInputs, any, string>;
-    toJSON(): Buffer;
-    toBuffer(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Deserializes from a buffer or reader, corresponding to a write in cpp.
      * @param buffer - Buffer or reader to read from.
@@ -87,4 +72,4 @@ export declare class PrivateKernelCircuitPublicInputs {
     static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelCircuitPublicInputs;
     static empty(): PrivateKernelCircuitPublicInputs;
 }
-//# sourceMappingURL=private_kernel_circuit_public_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfY2lyY3VpdF9wdWJsaWNfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMva2VybmVsL3ByaXZhdGVfa2VybmVsX2NpcmN1aXRfcHVibGljX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFOUMsT0FBTyxFQUFFLFlBQVksRUFBdUMsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDMUUsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDdkUsT0FBTyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDN0UsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0Q7O0dBRUc7QUFDSCxxQkFBYSxnQ0FBZ0M7SUFLbEMsU0FBUyxFQUFFLHFCQUFxQjtJQUloQyw4QkFBOEIsRUFBRSxFQUFFO0lBSWxDLGtCQUFrQixFQUFFLHlCQUF5QjtJQUk3QyxHQUFHLEVBQUUsc0JBQXNCO0lBSTNCLHlCQUF5QixFQUFFLGlCQUFpQjtJQUk1QyxRQUFRLEVBQUUsWUFBWTtJQUl0QixrQkFBa0IsRUFBRSxNQUFNO0lBSTFCLGFBQWEsRUFBRSxPQUFPO0lBSXRCLHFCQUFxQixFQUFFLEVBQUU7SUFJekIsd0JBQXdCLEVBQUUsTUFBTTtJQXhDekM7SUFDRTs7T0FFRztJQUNJLFNBQVMsRUFBRSxxQkFBcUI7SUFDdkM7O09BRUc7SUFDSSw4QkFBOEIsRUFBRSxFQUFFO0lBQ3pDOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUseUJBQXlCO0lBQ3BEOztPQUVHO0lBQ0ksR0FBRyxFQUFFLHNCQUFzQjtJQUNsQzs7T0FFRztJQUNJLHlCQUF5QixFQUFFLGlCQUFpQjtJQUNuRDs7T0FFRztJQUNJLFFBQVEsRUFBRSxZQUFZO0lBQzdCOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUsTUFBTTtJQUNqQzs7T0FFRztJQUNJLGFBQWEsRUFBRSxPQUFPO0lBQzdCOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsRUFBRTtJQUNoQzs7T0FFRztJQUNJLHdCQUF3QixFQUFFLE1BQU0sRUFDckM7SUFFSixNQUFNLEtBQUssTUFBTSx5RUFFaEI7SUFFRCxNQUFNLDRCQUVMO0lBRUQsUUFBUSw0QkFhUDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGdDQUFnQyxDQWNqRjtJQUVELE1BQU0sQ0FBQyxLQUFLLHFDQWFYO0NBQ0YifQ==

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

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_circuit_public_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,gCAAgC;IAEzC;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;;IA/BhC;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAGlC,MAAM,KAAK,MAAM,yEAEhB;IAED,MAAM;IAIN,QAAQ;IAaR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC;IAclF,MAAM,CAAC,KAAK;CAYb"}
+{"version":3,"file":"private_kernel_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,gCAAgC;IAKlC,SAAS,EAAE,qBAAqB;IAIhC,8BAA8B,EAAE,EAAE;IAIlC,kBAAkB,EAAE,yBAAyB;IAI7C,GAAG,EAAE,sBAAsB;IAI3B,yBAAyB,EAAE,iBAAiB;IAI5C,QAAQ,EAAE,YAAY;IAItB,kBAAkB,EAAE,MAAM;IAI1B,aAAa,EAAE,OAAO;IAItB,qBAAqB,EAAE,EAAE;IAIzB,wBAAwB,EAAE,MAAM;IAxCzC;IACE;;OAEG;IACI,SAAS,EAAE,qBAAqB;IACvC;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,kBAAkB,EAAE,yBAAyB;IACpD;;OAEG;IACI,GAAG,EAAE,sBAAsB;IAClC;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,aAAa,EAAE,OAAO;IAC7B;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,wBAAwB,EAAE,MAAM,EACrC;IAEJ,MAAM,KAAK,MAAM,yEAEhB;IAED,MAAM,4BAEL;IAED,QAAQ,4BAaP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC,CAcjF;IAED,MAAM,CAAC,KAAK,qCAaX;CACF"}

package/dest/kernel/private_kernel_circuit_public_inputs.js

@@ -1,8 +1,8 @@
 import { Fr } from '@aztec/foundation/fields';
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
 import { AztecAddress } from '../aztec-address/index.js';
-import { TxConstantData } from '../tx/tx_constant_data.js';
+import { PrivateTxConstantData } from '../tx/private_tx_constant_data.js';
 import { PrivateAccumulatedData } from './private_accumulated_data.js';
 import { PrivateValidationRequests } from './private_validation_requests.js';
 import { PublicCallRequest } from './public_call_request.js';
@@ -15,8 +15,10 @@ import { PublicCallRequest } from './public_call_request.js';
     end;
     publicTeardownCallRequest;
     feePayer;
+    includeByTimestamp;
     isPrivateOnly;
     claimedFirstNullifier;
+    claimedRevertibleCounter;
     constructor(/**
      * Data which is not modified by the circuits.
      */ constants, /**
@@ -30,18 +32,24 @@ import { PublicCallRequest } from './public_call_request.js';
      */ publicTeardownCallRequest, /**
      * The address of the fee payer for the transaction
      */ feePayer, /**
+     * The timestamp by which the transaction must be included in a block.
+     */ includeByTimestamp, /**
      * Wether this is a private only tx or not
      */ isPrivateOnly, /**
      * The nullifier that will be used for nonce generation
-     */ claimedFirstNullifier){
+     */ claimedFirstNullifier, /**
+     * A claim to the final min revertible side effect counter of a tx.
+     */ claimedRevertibleCounter){
         this.constants = constants;
         this.minRevertibleSideEffectCounter = minRevertibleSideEffectCounter;
         this.validationRequests = validationRequests;
         this.end = end;
         this.publicTeardownCallRequest = publicTeardownCallRequest;
         this.feePayer = feePayer;
+        this.includeByTimestamp = includeByTimestamp;
         this.isPrivateOnly = isPrivateOnly;
         this.claimedFirstNullifier = claimedFirstNullifier;
+        this.claimedRevertibleCounter = claimedRevertibleCounter;
     }
     static get schema() {
         return bufferSchemaFor(PrivateKernelCircuitPublicInputs);
@@ -50,7 +58,7 @@ import { PublicCallRequest } from './public_call_request.js';
         return this.toBuffer();
     }
     toBuffer() {
-        return serializeToBuffer(this.constants, this.minRevertibleSideEffectCounter, this.validationRequests, this.end, this.publicTeardownCallRequest, this.feePayer, this.isPrivateOnly, this.claimedFirstNullifier);
+        return serializeToBuffer(this.constants, this.minRevertibleSideEffectCounter, this.validationRequests, this.end, this.publicTeardownCallRequest, this.feePayer, bigintToUInt64BE(this.includeByTimestamp), this.isPrivateOnly, this.claimedFirstNullifier, this.claimedRevertibleCounter);
     }
     /**
    * Deserializes from a buffer or reader, corresponding to a write in cpp.
@@ -58,9 +66,9 @@ import { PublicCallRequest } from './public_call_request.js';
    * @returns A new instance of PrivateKernelInnerCircuitPublicInputs.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateKernelCircuitPublicInputs(reader.readObject(TxConstantData), reader.readObject(Fr), reader.readObject(PrivateValidationRequests), reader.readObject(PrivateAccumulatedData), reader.readObject(PublicCallRequest), reader.readObject(AztecAddress), reader.readBoolean(), reader.readObject(Fr));
+        return new PrivateKernelCircuitPublicInputs(reader.readObject(PrivateTxConstantData), reader.readObject(Fr), reader.readObject(PrivateValidationRequests), reader.readObject(PrivateAccumulatedData), reader.readObject(PublicCallRequest), reader.readObject(AztecAddress), reader.readUInt64(), reader.readBoolean(), reader.readObject(Fr), reader.readNumber());
     }
     static empty() {
-        return new PrivateKernelCircuitPublicInputs(TxConstantData.empty(), Fr.zero(), PrivateValidationRequests.empty(), PrivateAccumulatedData.empty(), PublicCallRequest.empty(), AztecAddress.ZERO, false, Fr.zero());
+        return new PrivateKernelCircuitPublicInputs(PrivateTxConstantData.empty(), Fr.zero(), PrivateValidationRequests.empty(), PrivateAccumulatedData.empty(), PublicCallRequest.empty(), AztecAddress.ZERO, 0n, false, Fr.zero(), 0);
     }
 }

package/dest/kernel/private_kernel_data.d.ts

@@ -1,54 +1,27 @@
-/// <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.
  */
 export declare class PrivateKernelData {
-    /**
-     * 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.
-     */
-    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;
 }
-//# sourceMappingURL=private_kernel_data.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfZGF0YS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wcml2YXRlX2tlcm5lbF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ3pDLE9BQU8sRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLDJDQUEyQyxDQUFDO0FBRTdGOztHQUVHO0FBQ0gscUJBQWEsaUJBQWlCO0lBS25CLFlBQVksRUFBRSxnQ0FBZ0M7SUFJOUMsTUFBTSxFQUFFLE1BQU07SUFSdkI7SUFDRTs7T0FFRztJQUNJLFlBQVksRUFBRSxnQ0FBZ0M7SUFDckQ7O09BRUc7SUFDSSxNQUFNLEVBQUUsTUFBTSxFQUNuQjtJQUVKOzs7T0FHRztJQUNILFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGlCQUFpQixDQUdsRTtJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUksaUJBQWlCLENBRWhDO0NBQ0YifQ==

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;IAKnB,YAAY,EAAE,gCAAgC;IAI9C,MAAM,EAAE,MAAM;IARvB;IACE;;OAEG;IACI,YAAY,EAAE,gCAAgC;IACrD;;OAEG;IACI,MAAM,EAAE,MAAM,EACnB;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB,CAGlE;IAED,MAAM,CAAC,KAAK,IAAI,iBAAiB,CAEhC;CACF"}

package/dest/kernel/private_kernel_data.js

@@ -1,43 +1,30 @@
-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;
     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,37 +1,19 @@
-/// <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';
 /**
  * Input to the private kernel circuit - initial call.
  */
 export declare class PrivateKernelInitCircuitPrivateInputs {
-    /**
-     * The transaction request which led to the creation of these inputs.
-     */
     txRequest: TxRequest;
-    /**
-     * The root of the vk tree.
-     */
     vkTreeRoot: Fr;
-    /**
-     * The root of the protocol contract tree.
-     */
-    protocolContractTreeRoot: Fr;
-    /**
-     * Private calldata corresponding to this iteration of the kernel.
-     */
+    protocolContracts: ProtocolContracts;
     privateCall: PrivateCallData;
-    /**
-     * Wether this tx will make public calls or not.
-     */
     isPrivateOnly: boolean;
-    /**
-     * A hint to what will be the first nullifier of the transaction, used for nonce generation.
-     */
     firstNullifierHint: Fr;
+    revertibleCounterHint: number;
     constructor(
     /**
      * The transaction request which led to the creation of these inputs.
@@ -42,9 +24,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.
      */
@@ -56,12 +38,16 @@ export declare class PrivateKernelInitCircuitPrivateInputs {
     /**
      * A hint to what will be the first nullifier of the transaction, used for nonce generation.
      */
-    firstNullifierHint: Fr);
+    firstNullifierHint: Fr, 
+    /**
+     * A claim to the final min revertible side effect counter of a tx.
+     */
+    revertibleCounterHint: number);
     /**
      * 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.
@@ -69,4 +55,4 @@ export declare class PrivateKernelInitCircuitPrivateInputs {
      */
     static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelInitCircuitPrivateInputs;
 }
-//# sourceMappingURL=private_kernel_init_circuit_private_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5pdF9jaXJjdWl0X3ByaXZhdGVfaW5wdXRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMva2VybmVsL3ByaXZhdGVfa2VybmVsX2luaXRfY2lyY3VpdF9wcml2YXRlX2lucHV0cy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDOUMsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUU5RSxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUNoRSxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDaEQsT0FBTyxFQUFFLGVBQWUsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRXpEOztHQUVHO0FBQ0gscUJBQWEscUNBQXFDO0lBS3ZDLFNBQVMsRUFBRSxTQUFTO0lBSXBCLFVBQVUsRUFBRSxFQUFFO0lBSWQsaUJBQWlCLEVBQUUsaUJBQWlCO0lBSXBDLFdBQVcsRUFBRSxlQUFlO0lBSTVCLGFBQWEsRUFBRSxPQUFPO0lBSXRCLGtCQUFrQixFQUFFLEVBQUU7SUFJdEIscUJBQXFCLEVBQUUsTUFBTTtJQTVCdEM7SUFDRTs7T0FFRztJQUNJLFNBQVMsRUFBRSxTQUFTO0lBQzNCOztPQUVHO0lBQ0ksVUFBVSxFQUFFLEVBQUU7SUFDckI7O09BRUc7SUFDSSxpQkFBaUIsRUFBRSxpQkFBaUI7SUFDM0M7O09BRUc7SUFDSSxXQUFXLEVBQUUsZUFBZTtJQUNuQzs7T0FFRztJQUNJLGFBQWEsRUFBRSxPQUFPO0lBQzdCOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUsRUFBRTtJQUM3Qjs7T0FFRztJQUNJLHFCQUFxQixFQUFFLE1BQU0sRUFDbEM7SUFFSjs7O09BR0c7SUFDSCxRQUFRLDRCQVNQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcscUNBQXFDLENBV3RGO0NBQ0YifQ==

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;IAKvC,SAAS,EAAE,SAAS;IAIpB,UAAU,EAAE,EAAE;IAId,iBAAiB,EAAE,iBAAiB;IAIpC,WAAW,EAAE,eAAe;IAI5B,aAAa,EAAE,OAAO;IAItB,kBAAkB,EAAE,EAAE;IAItB,qBAAqB,EAAE,MAAM;IA5BtC;IACE;;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;IAC7B;;OAEG;IACI,qBAAqB,EAAE,MAAM,EAClC;IAEJ;;;OAGG;IACH,QAAQ,4BASP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC,CAWtF;CACF"}

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,35 +8,39 @@ import { PrivateCallData } from './private_call_data.js';
  */ export class PrivateKernelInitCircuitPrivateInputs {
     txRequest;
     vkTreeRoot;
-    protocolContractTreeRoot;
+    protocolContracts;
     privateCall;
     isPrivateOnly;
     firstNullifierHint;
+    revertibleCounterHint;
     constructor(/**
      * The transaction request which led to the creation of these inputs.
      */ 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.
      */ isPrivateOnly, /**
      * A hint to what will be the first nullifier of the transaction, used for nonce generation.
-     */ firstNullifierHint){
+     */ firstNullifierHint, /**
+     * A claim to the final min revertible side effect counter of a tx.
+     */ revertibleCounterHint){
         this.txRequest = txRequest;
         this.vkTreeRoot = vkTreeRoot;
-        this.protocolContractTreeRoot = protocolContractTreeRoot;
+        this.protocolContracts = protocolContracts;
         this.privateCall = privateCall;
         this.isPrivateOnly = isPrivateOnly;
         this.firstNullifierHint = firstNullifierHint;
+        this.revertibleCounterHint = revertibleCounterHint;
     }
     /**
    * 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, this.revertibleCounterHint);
     }
     /**
    * Deserializes from a buffer or reader.
@@ -43,6 +48,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), reader.readNumber());
     }
 }

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';
@@ -7,13 +5,7 @@ import { PrivateKernelData } from './private_kernel_data.js';
  * Input to the private kernel circuit - Inner call.
  */
 export declare class PrivateKernelInnerCircuitPrivateInputs {
-    /**
-     * The previous kernel data
-     */
     previousKernel: PrivateKernelData;
-    /**
-     * Private calldata corresponding to this iteration of the kernel.
-     */
     privateCall: PrivateCallData;
     constructor(
     /**
@@ -28,7 +20,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.
@@ -36,4 +28,4 @@ export declare class PrivateKernelInnerCircuitPrivateInputs {
      */
     static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelInnerCircuitPrivateInputs;
 }
-//# sourceMappingURL=private_kernel_inner_circuit_private_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfaW5uZXJfY2lyY3VpdF9wcml2YXRlX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wcml2YXRlX2tlcm5lbF9pbm5lcl9jaXJjdWl0X3ByaXZhdGVfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLGVBQWUsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3pELE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRTdEOztHQUVHO0FBQ0gscUJBQWEsc0NBQXNDO0lBS3hDLGNBQWMsRUFBRSxpQkFBaUI7SUFJakMsV0FBVyxFQUFFLGVBQWU7SUFSckM7SUFDRTs7T0FFRztJQUNJLGNBQWMsRUFBRSxpQkFBaUI7SUFDeEM7O09BRUc7SUFDSSxXQUFXLEVBQUUsZUFBZSxFQUNqQztJQUVKOzs7T0FHRztJQUNILFFBQVEsNEJBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxzQ0FBc0MsQ0FNdkY7Q0FDRiJ9

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;IAKxC,cAAc,EAAE,iBAAiB;IAIjC,WAAW,EAAE,eAAe;IARrC;IACE;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,WAAW,EAAE,eAAe,EACjC;IAEJ;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sCAAsC,CAMvF;CACF"}

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: import("@aztec/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
+    witness: import("@aztec/foundation/schemas").ZodFor<Map<number, string>>;
+    vk: import("@aztec/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
+    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, {
+    functionName: string;
+    gateCount?: number | undefined;
+    bytecode: Buffer<ArrayBufferLike>;
+    witness: Map<number, string>;
+    vk: Buffer<ArrayBufferLike>;
+    timings: {
+        witgen: number;
+        gateCount?: number | undefined;
+    };
+}, {
+    functionName: string;
+    gateCount?: number | undefined;
+    bytecode?: any;
+    witness?: any;
+    vk?: any;
+    timings: {
+        witgen: number;
+        gateCount?: number | undefined;
+    };
+}>;
+/**
+ *  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=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfcHJvdmVyX291dHB1dC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wcml2YXRlX2tlcm5lbF9wcm92ZXJfb3V0cHV0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBSXRELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDM0QsT0FBTyxLQUFLLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSwyQ0FBMkMsQ0FBQztBQUNsRyxPQUFPLEtBQUssRUFBRSxvQ0FBb0MsRUFBRSxNQUFNLGdEQUFnRCxDQUFDO0FBRTNHLGVBQU8sTUFBTSwwQkFBMEI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztFQVVyQyxDQUFDO0FBRUg7O0dBRUc7QUFDSCxNQUFNLFdBQVcsb0JBQW9CO0lBQ25DLFlBQVksRUFBRSxNQUFNLENBQUM7SUFDckIsU0FBUyxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ25CLFFBQVEsRUFBRSxNQUFNLENBQUM7SUFDakIsT0FBTyxFQUFFLFVBQVUsQ0FBQztJQUVwQixFQUFFLEVBQUUsTUFBTSxDQUFDO0lBQ1gsT0FBTyxFQUFFO1FBQ1AsTUFBTSxFQUFFLE1BQU0sQ0FBQztRQUNmLFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztRQUNuQixPQUFPLENBQUMsRUFBRSxNQUFNLENBQUMsTUFBTSxFQUFFO1lBQUUsS0FBSyxFQUFFLE1BQU0sRUFBRSxDQUFBO1NBQUUsQ0FBQyxDQUFDO0tBQy9DLENBQUM7Q0FDSDtBQUVELGtFQUFrRTtBQUNsRSxNQUFNLFdBQVcsaUNBQWlDLENBQ2hELGdCQUFnQixTQUFTLGdDQUFnQyxHQUFHLG9DQUFvQztJQUVoRyw4REFBOEQ7SUFDOUQsWUFBWSxFQUFFLGdCQUFnQixDQUFDO0lBQy9COzRHQUN3RztJQUN4RyxVQUFVLEVBQUUsVUFBVSxDQUFDO0lBQ3ZCOzs7O09BSUc7SUFDSCxjQUFjLEVBQUUsb0JBQW9CLEVBQUUsQ0FBQztJQUN2QywwQkFBMEI7SUFDMUIsT0FBTyxDQUFDLEVBQUU7UUFBRSxPQUFPLEVBQUUsTUFBTSxDQUFBO0tBQUUsQ0FBQztDQUMvQjtBQUVELHdCQUFnQiw4QkFBOEIsQ0FBQyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsMkJBVTNFIn0=

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));
+}