@aztec/stdlib 0.0.0-test.1 → 0.0.1-fake-ceab37513c

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 { ClientIvcProof } from '../proofs/client_ivc_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 "tube" circuit.*/
+    clientIvcProof: ClientIvcProof;
+    /**
+     * The trace the clientIvcProof 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,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,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;kEAC8D;IAC9D,cAAc,EAAE,cAAc,CAAC;IAC/B;;;;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"}

package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts

@@ -1,6 +1,6 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { BufferReader } from '@aztec/foundation/serialize';
+import type { UInt64 } from '../types/shared.js';
+import { PaddedSideEffectAmounts } from './padded_side_effects.js';
 import { PrivateKernelData } from './private_kernel_data.js';
 /**
  * Input to the private kernel circuit - tail call.
@@ -10,17 +10,33 @@ export declare class PrivateKernelTailCircuitPrivateInputs {
      * The previous kernel data
      */
     previousKernel: PrivateKernelData;
+    /**
+     * The number of the padded side effects.
+     */
+    paddedSideEffectAmounts: PaddedSideEffectAmounts;
+    /**
+     * The timestamp by which the transaction must be included in a block.
+     */
+    includeByTimestampUpperBound: UInt64;
     constructor(
     /**
      * The previous kernel data
      */
-    previousKernel: PrivateKernelData);
+    previousKernel: PrivateKernelData, 
+    /**
+     * The number of the padded side effects.
+     */
+    paddedSideEffectAmounts: PaddedSideEffectAmounts, 
+    /**
+     * The timestamp by which the transaction must be included in a block.
+     */
+    includeByTimestampUpperBound: UInt64);
     isForPublic(): boolean;
     /**
      * 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_tail_circuit_private_inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_tail_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_circuit_private_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D;;GAEG;AACH,qBAAa,qCAAqC;IAE9C;;OAEG;IACI,cAAc,EAAE,iBAAiB;;IAHxC;;OAEG;IACI,cAAc,EAAE,iBAAiB;IAG1C,WAAW;IAOX;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC;CAIxF"}
+{"version":3,"file":"private_kernel_tail_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,qCAAqC;IAE9C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,uBAAuB,EAAE,uBAAuB;IACvD;;OAEG;IACI,4BAA4B,EAAE,MAAM;;IAX3C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,uBAAuB,EAAE,uBAAuB;IACvD;;OAEG;IACI,4BAA4B,EAAE,MAAM;IAG7C,WAAW;IAOX;;;OAGG;IACH,QAAQ;IAQR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC;CAQxF"}

package/dest/kernel/private_kernel_tail_circuit_private_inputs.js

@@ -1,23 +1,31 @@
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { PaddedSideEffectAmounts } from './padded_side_effects.js';
 import { PrivateKernelData } from './private_kernel_data.js';
-import { countAccumulatedItems } from './utils/order_and_comparison.js';
 /**
  * Input to the private kernel circuit - tail call.
  */ export class PrivateKernelTailCircuitPrivateInputs {
     previousKernel;
+    paddedSideEffectAmounts;
+    includeByTimestampUpperBound;
     constructor(/**
      * The previous kernel data
-     */ previousKernel){
+     */ previousKernel, /**
+     * The number of the padded side effects.
+     */ paddedSideEffectAmounts, /**
+     * The timestamp by which the transaction must be included in a block.
+     */ includeByTimestampUpperBound){
         this.previousKernel = previousKernel;
+        this.paddedSideEffectAmounts = paddedSideEffectAmounts;
+        this.includeByTimestampUpperBound = includeByTimestampUpperBound;
     }
     isForPublic() {
-        return countAccumulatedItems(this.previousKernel.publicInputs.end.publicCallRequests) > 0 || !this.previousKernel.publicInputs.publicTeardownCallRequest.isEmpty();
+        return this.previousKernel.publicInputs.end.publicCallRequests.claimedLength > 0 || !this.previousKernel.publicInputs.publicTeardownCallRequest.isEmpty();
     }
     /**
    * Serialize this as a buffer.
    * @returns The buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.previousKernel);
+        return serializeToBuffer(this.previousKernel, this.paddedSideEffectAmounts, bigintToUInt64BE(this.includeByTimestampUpperBound));
     }
     /**
    * Deserializes from a buffer or reader.
@@ -25,6 +33,6 @@ import { countAccumulatedItems } from './utils/order_and_comparison.js';
    * @returns The deserialized instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateKernelTailCircuitPrivateInputs(reader.readObject(PrivateKernelData));
+        return new PrivateKernelTailCircuitPrivateInputs(reader.readObject(PrivateKernelData), reader.readObject(PaddedSideEffectAmounts), reader.readUInt64());
     }
 }

package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts

@@ -1,11 +1,11 @@
-/// <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 { Gas } from '../gas/gas.js';
+import type { PrivateLog } from '../logs/index.js';
 import { TxConstantData } from '../tx/tx_constant_data.js';
-import { RollupValidationRequests } from './hints/rollup_validation_requests.js';
+import type { UInt64 } from '../types/shared.js';
+import type { ScopedLogHash } from './log_hash.js';
 import { PrivateToPublicAccumulatedData } from './private_to_public_accumulated_data.js';
 import { PrivateToPublicKernelCircuitPublicInputs } from './private_to_public_kernel_circuit_public_inputs.js';
 import { PrivateToRollupAccumulatedData } from './private_to_rollup_accumulated_data.js';
@@ -42,7 +42,7 @@ export declare class PartialPrivateTailPublicInputsForPublic {
     get needsAppLogic(): boolean;
     get needsTeardown(): boolean;
     static fromBuffer(buffer: Buffer | BufferReader): PartialPrivateTailPublicInputsForPublic;
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     static empty(): PartialPrivateTailPublicInputsForPublic;
 }
 export declare class PartialPrivateTailPublicInputsForRollup {
@@ -50,7 +50,7 @@ export declare class PartialPrivateTailPublicInputsForRollup {
     constructor(end: PrivateToRollupAccumulatedData);
     static fromBuffer(buffer: Buffer | BufferReader): PartialPrivateTailPublicInputsForRollup;
     getSize(): number;
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     static empty(): PartialPrivateTailPublicInputsForRollup;
 }
 export declare class PrivateKernelTailCircuitPublicInputs {
@@ -58,7 +58,6 @@ export declare class PrivateKernelTailCircuitPublicInputs {
      * Data which is not modified by the circuits.
      */
     constants: TxConstantData;
-    rollupValidationRequests: RollupValidationRequests;
     /**
      * The accumulated gas used after private execution.
      * If the tx has a teardown call request, the teardown gas limits will also be included.
@@ -68,13 +67,17 @@ export declare class PrivateKernelTailCircuitPublicInputs {
      * 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;
     forPublic?: PartialPrivateTailPublicInputsForPublic | undefined;
     forRollup?: PartialPrivateTailPublicInputsForRollup | undefined;
     constructor(
     /**
      * Data which is not modified by the circuits.
      */
-    constants: TxConstantData, rollupValidationRequests: RollupValidationRequests, 
+    constants: TxConstantData, 
     /**
      * The accumulated gas used after private execution.
      * If the tx has a teardown call request, the teardown gas limits will also be included.
@@ -83,9 +86,13 @@ export declare class PrivateKernelTailCircuitPublicInputs {
     /**
      * The address of the fee payer for the transaction.
      */
-    feePayer: AztecAddress, forPublic?: PartialPrivateTailPublicInputsForPublic | undefined, forRollup?: PartialPrivateTailPublicInputsForRollup | undefined);
+    feePayer: AztecAddress, 
+    /**
+     * The timestamp by which the transaction must be included in a block.
+     */
+    includeByTimestamp: UInt64, forPublic?: PartialPrivateTailPublicInputsForPublic | undefined, forRollup?: PartialPrivateTailPublicInputsForRollup | undefined);
     static get schema(): import("zod").ZodType<PrivateKernelTailCircuitPublicInputs, any, string>;
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     getSize(): number;
     toPrivateToPublicKernelCircuitPublicInputs(): PrivateToPublicKernelCircuitPublicInputs;
     toPrivateToRollupKernelCircuitPublicInputs(): PrivateToRollupKernelCircuitPublicInputs;
@@ -98,12 +105,12 @@ export declare class PrivateKernelTailCircuitPublicInputs {
     getTeardownPublicCallRequest(): PublicCallRequest | undefined;
     getNonEmptyNoteHashes(): Fr[];
     getNonEmptyNullifiers(): Fr[];
-    getNonEmptyPrivateLogs(): import("../logs/private_log.js").PrivateLog[];
-    getNonEmptyContractClassLogsHashes(): import("./log_hash.js").ScopedLogHash[];
+    getNonEmptyPrivateLogs(): PrivateLog[];
+    getNonEmptyContractClassLogsHashes(): ScopedLogHash[];
     getEmittedContractClassLogsLength(): number;
     getEmittedPrivateLogsLength(): number;
     static fromBuffer(buffer: Buffer | BufferReader): PrivateKernelTailCircuitPublicInputs;
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     static empty(): PrivateKernelTailCircuitPublicInputs;
     /**
      * Creates an empty instance except for a nullifier in the combined accumulated data.

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

@@ -1 +1 @@
-{"version":3,"file":"private_kernel_tail_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_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,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D,qBAAa,uCAAuC;IAEhD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;;IAXnD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IAGrD,OAAO;IAQP,IAAI,UAAU,YAEb;IAED,IAAI,aAAa,YAEhB;IAED,IAAI,aAAa,YAEhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC;IASzF,QAAQ;IAQR,MAAM,CAAC,KAAK;CAOb;AAED,qBAAa,uCAAuC;IAC/B,GAAG,EAAE,8BAA8B;gBAAnC,GAAG,EAAE,8BAA8B;IAEtD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC;IAKzF,OAAO;IAIP,QAAQ;IAIR,MAAM,CAAC,KAAK;CAGb;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,SAAS,EAAE,cAAc;IACzB,wBAAwB,EAAE,wBAAwB;IACzD;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAEtB,SAAS,CAAC;IACV,SAAS,CAAC;;IAhBjB;;OAEG;IACI,SAAS,EAAE,cAAc,EACzB,wBAAwB,EAAE,wBAAwB;IACzD;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY,EAEtB,SAAS,CAAC,qDAAyC,EACnD,SAAS,CAAC,qDAAyC;IAY5D,MAAM,KAAK,MAAM,6EAEhB;IAED,MAAM;IAIN,OAAO;IAUP,0CAA0C;IAe1C,0CAA0C;IAmB1C,0BAA0B;IAQ1B,uCAAuC;IAIvC,oCAAoC;IAIpC,4BAA4B;IAI5B,kCAAkC;IAMlC,+BAA+B;IAI/B,4BAA4B;IAK5B,qBAAqB;IAUrB,qBAAqB;IAUrB,sBAAsB;IAUtB,kCAAkC;IAUlC,iCAAiC;IAIjC,2BAA2B;IAI3B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oCAAoC;IAatF,QAAQ;IAYR,MAAM,CAAC,KAAK;IAWZ;;;;OAIG;IACH,MAAM,CAAC,kBAAkB;CAY1B"}
+{"version":3,"file":"private_kernel_tail_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_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,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D,qBAAa,uCAAuC;IAEhD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;;IAXnD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IAGrD,OAAO;IAQP,IAAI,UAAU,YAEb;IAED,IAAI,aAAa,YAEhB;IAED,IAAI,aAAa,YAEhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC;IASzF,QAAQ;IAQR,MAAM,CAAC,KAAK;CAOb;AAED,qBAAa,uCAAuC;IAC/B,GAAG,EAAE,8BAA8B;gBAAnC,GAAG,EAAE,8BAA8B;IAEtD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC;IAKzF,OAAO;IAIP,QAAQ;IAIR,MAAM,CAAC,KAAK;CAGb;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IAE1B,SAAS,CAAC,EAAE,uCAAuC;IACnD,SAAS,CAAC,EAAE,uCAAuC;;IAnB1D;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,kBAAkB,EAAE,MAAM,EAE1B,SAAS,CAAC,EAAE,uCAAuC,YAAA,EACnD,SAAS,CAAC,EAAE,uCAAuC,YAAA;IAY5D,MAAM,KAAK,MAAM,6EAEhB;IAED,MAAM;IAIN,OAAO;IAWP,0CAA0C;IAe1C,0CAA0C;IAmB1C,0BAA0B;IAQ1B,uCAAuC;IAIvC,oCAAoC;IAIpC,4BAA4B;IAI5B,kCAAkC;IAMlC,+BAA+B;IAI/B,4BAA4B;IAK5B,qBAAqB;IASrB,qBAAqB;IASrB,sBAAsB;IAStB,kCAAkC;IASlC,iCAAiC;IASjC,2BAA2B;IAQ3B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oCAAoC;IAatF,QAAQ;IAYR,MAAM,CAAC,KAAK;IAWZ;;;;OAIG;IACH,MAAM,CAAC,kBAAkB;CAY1B"}