@aztec/stdlib 0.87.2 → 0.87.3-nightly.20250529

package/dest/kernel/private_kernel_reset_dimensions.d.ts

@@ -1,15 +1,15 @@
 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);
+    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;

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_tail_circuit_private_inputs.d.ts

@@ -1,4 +1,5 @@
 import { BufferReader } from '@aztec/foundation/serialize';
+import { PaddedSideEffectAmounts } from './padded_side_effects.js';
 import { PrivateKernelData } from './private_kernel_data.js';
 /**
  * Input to the private kernel circuit - tail call.
@@ -8,11 +9,19 @@ export declare class PrivateKernelTailCircuitPrivateInputs {
      * The previous kernel data
      */
     previousKernel: PrivateKernelData;
+    /**
+     * The number of the padded side effects.
+     */
+    paddedSideEffectAmounts: PaddedSideEffectAmounts;
     constructor(
     /**
      * The previous kernel data
      */
-    previousKernel: PrivateKernelData);
+    previousKernel: PrivateKernelData, 
+    /**
+     * The number of the padded side effects.
+     */
+    paddedSideEffectAmounts: PaddedSideEffectAmounts);
     isForPublic(): boolean;
     /**
      * Serialize this as a buffer.

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,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D;;GAEG;AACH,qBAAa,qCAAqC;IAE9C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,uBAAuB,EAAE,uBAAuB;;IAPvD;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,uBAAuB,EAAE,uBAAuB;IAGzD,WAAW;IAOX;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC;CAOxF"}

package/dest/kernel/private_kernel_tail_circuit_private_inputs.js

@@ -1,14 +1,19 @@
 import { BufferReader, 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;
     constructor(/**
      * The previous kernel data
-     */ previousKernel){
+     */ previousKernel, /**
+     * The number of the padded side effects.
+     */ paddedSideEffectAmounts){
         this.previousKernel = previousKernel;
+        this.paddedSideEffectAmounts = paddedSideEffectAmounts;
     }
     isForPublic() {
         return countAccumulatedItems(this.previousKernel.publicInputs.end.publicCallRequests) > 0 || !this.previousKernel.publicInputs.publicTeardownCallRequest.isEmpty();
@@ -17,7 +22,7 @@ import { countAccumulatedItems } from './utils/order_and_comparison.js';
    * Serialize this as a buffer.
    * @returns The buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.previousKernel);
+        return serializeToBuffer(this.previousKernel, this.paddedSideEffectAmounts);
     }
     /**
    * Deserializes from a buffer or reader.
@@ -25,6 +30,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));
     }
 }

package/dest/kernel/public_call_request.d.ts

@@ -75,6 +75,60 @@ export declare class PublicCallRequest {
     [inspect.custom](): string;
     static fromCalldata(msgSender: AztecAddress, contractAddress: AztecAddress, isStaticCall: boolean, calldata: Fr[]): Promise<PublicCallRequest>;
 }
+/**
+ * Represents lengths of arrays of public call requests.
+ */
+export declare class PublicCallRequestArrayLengths {
+    /**
+     * Number of setup call requests
+     */
+    setupCalls: number;
+    /**
+     * Number of app logic call requests
+     */
+    appLogicCalls: number;
+    /**
+     * Whether there is a teardown call request
+     */
+    teardownCall: boolean;
+    constructor(
+    /**
+     * Number of setup call requests
+     */
+    setupCalls: number, 
+    /**
+     * Number of app logic call requests
+     */
+    appLogicCalls: number, 
+    /**
+     * Whether there is a teardown call request
+     */
+    teardownCall: boolean);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        setupCalls: z.ZodNumber;
+        appLogicCalls: z.ZodNumber;
+        teardownCall: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        setupCalls: number;
+        appLogicCalls: number;
+        teardownCall: boolean;
+    }, {
+        setupCalls: number;
+        appLogicCalls: number;
+        teardownCall: boolean;
+    }>, PublicCallRequestArrayLengths, {
+        setupCalls: number;
+        appLogicCalls: number;
+        teardownCall: boolean;
+    }>;
+    static getFields(fields: FieldsOf<PublicCallRequestArrayLengths>): readonly [number, number, boolean];
+    static fromFields(fields: Fr[] | FieldReader): PublicCallRequestArrayLengths;
+    toFields(): Fr[];
+    static fromBuffer(buffer: Buffer | BufferReader): PublicCallRequestArrayLengths;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static empty(): PublicCallRequestArrayLengths;
+    [inspect.custom](): string;
+}
 export declare class CountedPublicCallRequest {
     inner: PublicCallRequest;
     counter: UInt32;

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

@@ -1 +1 @@
-{"version":3,"file":"public_call_request.d.ts","sourceRoot":"","sources":["../../src/kernel/public_call_request.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;;IAfvB;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;IAGzB,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;OAWhB;IAED,OAAO;IAIP,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB;IAInE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC;IAIpD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,iBAAiB;IAUhE,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAU/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;IAMlB,CAAC,OAAO,CAAC,MAAM,CAAC;WASH,YAAY,CACvB,SAAS,EAAE,YAAY,EACvB,eAAe,EAAE,YAAY,EAC7B,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE;CAKjB;AAED,qBAAa,wBAAwB;IAE1B,KAAK,EAAE,iBAAiB;IACxB,OAAO,EAAE,MAAM;gBADf,KAAK,EAAE,iBAAiB,EACxB,OAAO,EAAE,MAAM;IAGxB,OAAO;IAIP,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wBAAwB,CAAC;IAI3D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;CAGnB"}
+{"version":3,"file":"public_call_request.d.ts","sourceRoot":"","sources":["../../src/kernel/public_call_request.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;;IAfvB;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;IAGzB,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;OAWhB;IAED,OAAO;IAIP,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB;IAInE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC;IAIpD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,iBAAiB;IAUhE,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAU/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;IAMlB,CAAC,OAAO,CAAC,MAAM,CAAC;WASH,YAAY,CACvB,SAAS,EAAE,YAAY,EACvB,eAAe,EAAE,YAAY,EAC7B,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE;CAKjB;AAED;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,UAAU,EAAE,MAAM;IACzB;;OAEG;IACI,aAAa,EAAE,MAAM;IAC5B;;OAEG;IACI,YAAY,EAAE,OAAO;;IAX5B;;OAEG;IACI,UAAU,EAAE,MAAM;IACzB;;OAEG;IACI,aAAa,EAAE,MAAM;IAC5B;;OAEG;IACI,YAAY,EAAE,OAAO;IAG9B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAUhB;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC;IAIhE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,6BAA6B;IAK5E,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,CAAC,OAAO,CAAC,MAAM,CAAC;CAOjB;AAED,qBAAa,wBAAwB;IAE1B,KAAK,EAAE,iBAAiB;IACxB,OAAO,EAAE,MAAM;gBADf,KAAK,EAAE,iBAAiB,EACxB,OAAO,EAAE,MAAM;IAGxB,OAAO;IAIP,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wBAAwB,CAAC;IAI3D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;CAGnB"}

package/dest/kernel/public_call_request.js

@@ -88,6 +88,64 @@ import { computeCalldataHash } from '../hash/index.js';
         return new PublicCallRequest(msgSender, contractAddress, isStaticCall, calldataHash);
     }
 }
+/**
+ * Represents lengths of arrays of public call requests.
+ */ export class PublicCallRequestArrayLengths {
+    setupCalls;
+    appLogicCalls;
+    teardownCall;
+    constructor(/**
+     * Number of setup call requests
+     */ setupCalls, /**
+     * Number of app logic call requests
+     */ appLogicCalls, /**
+     * Whether there is a teardown call request
+     */ teardownCall){
+        this.setupCalls = setupCalls;
+        this.appLogicCalls = appLogicCalls;
+        this.teardownCall = teardownCall;
+    }
+    static get schema() {
+        return z.object({
+            setupCalls: z.number(),
+            appLogicCalls: z.number(),
+            teardownCall: z.boolean()
+        }).transform(({ setupCalls, appLogicCalls, teardownCall })=>{
+            return new PublicCallRequestArrayLengths(setupCalls, appLogicCalls, teardownCall);
+        });
+    }
+    static getFields(fields) {
+        return [
+            fields.setupCalls,
+            fields.appLogicCalls,
+            fields.teardownCall
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new PublicCallRequestArrayLengths(reader.readU32(), reader.readU32(), reader.readBoolean());
+    }
+    toFields() {
+        return serializeToFields(...PublicCallRequestArrayLengths.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PublicCallRequestArrayLengths(reader.readNumber(), reader.readNumber(), reader.readBoolean());
+    }
+    toBuffer() {
+        return serializeToBuffer(...PublicCallRequestArrayLengths.getFields(this));
+    }
+    static empty() {
+        return new PublicCallRequestArrayLengths(0, 0, false);
+    }
+    [inspect.custom]() {
+        return `PublicCallRequestArrayLengths {
+      setupCalls: ${this.setupCalls}
+      appLogicCalls: ${this.appLogicCalls}
+      teardownCall: ${this.teardownCall}
+    }`;
+    }
+}
 export class CountedPublicCallRequest {
     inner;
     counter;

package/dest/logs/contract_class_log.d.ts

@@ -34,7 +34,6 @@ export declare class ContractClassLog {
     fields: ContractClassLogFields;
     emittedLength: number;
     static SIZE_IN_BYTES: number;
-    unsiloedFirstField?: Fr | undefined;
     constructor(contractAddress: AztecAddress, fields: ContractClassLogFields, emittedLength: number);
     static from(fields: FieldsOf<ContractClassLog>): ContractClassLog;
     toFields(): Fr[];
@@ -48,9 +47,6 @@ export declare class ContractClassLog {
     toBuffer(): Buffer;
     static fromBuffer(buffer: Buffer | BufferReader): ContractClassLog;
     static random(): Promise<ContractClassLog>;
-    setUnsiloedFirstField(field: Fr): void;
-    toUnsiloed(): ContractClassLog;
-    silo(): Promise<ContractClassLog>;
     hash(): Promise<Fr>;
     static get schema(): z.ZodEffects<z.ZodObject<{
         contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;

package/dest/logs/contract_class_log.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract_class_log.d.ts","sourceRoot":"","sources":["../../src/logs/contract_class_log.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,qBAAa,sBAAsB;IAGd,MAAM,EAAE,EAAE,EAAE;gBAAZ,MAAM,EAAE,EAAE,EAAE;IAQ/B,MAAM,KAAK,MAAM;;;;;;;;OAMhB;IAED,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,MAAM,CAAC,KAAK,EAAE,sBAAsB;IAIpC,gBAAgB,CAAC,aAAa,EAAE,MAAM;IAItC,MAAM,CAAC,iBAAiB,CAAC,aAAa,EAAE,EAAE,EAAE;IAM5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,aAAa,SAAoC;IAQzD,IAAI;IAIV,KAAK;CAGN;AAED,qBAAa,gBAAgB;IAMlB,eAAe,EAAE,YAAY;IAC7B,MAAM,EAAE,sBAAsB;IAC9B,aAAa,EAAE,MAAM;IAP9B,MAAM,CAAC,aAAa,SAAgD;IAE7D,kBAAkB,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;gBAGlC,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,sBAAsB,EAC9B,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAI9C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,KAAK,EAAE,gBAAgB;IAQ9B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,gBAAgB;IAIhB,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAYhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;WAQlC,MAAM;IAUnB,qBAAqB,CAAC,KAAK,EAAE,EAAE;IAI/B,UAAU;IAgBJ,IAAI;IAcJ,IAAI;IAIV,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAO3B"}
+{"version":3,"file":"contract_class_log.d.ts","sourceRoot":"","sources":["../../src/logs/contract_class_log.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,qBAAa,sBAAsB;IAGd,MAAM,EAAE,EAAE,EAAE;gBAAZ,MAAM,EAAE,EAAE,EAAE;IAQ/B,MAAM,KAAK,MAAM;;;;;;;;OAMhB;IAED,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,MAAM,CAAC,KAAK,EAAE,sBAAsB;IAIpC,gBAAgB,CAAC,aAAa,EAAE,MAAM;IAItC,MAAM,CAAC,iBAAiB,CAAC,aAAa,EAAE,EAAE,EAAE;IAM5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,aAAa,SAAoC;IAQzD,IAAI;IAIV,KAAK;CAGN;AAED,qBAAa,gBAAgB;IAIlB,eAAe,EAAE,YAAY;IAC7B,MAAM,EAAE,sBAAsB;IAC9B,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAgD;gBAG3D,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,sBAAsB,EAC9B,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAI9C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,KAAK,EAAE,gBAAgB;IAQ9B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,gBAAgB;IAIhB,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAYhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;WAQlC,MAAM;IAUb,IAAI;IAIV,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAO3B"}

package/dest/logs/contract_class_log.js

@@ -75,8 +75,6 @@ export class ContractClassLog {
     fields;
     emittedLength;
     static SIZE_IN_BYTES = Fr.SIZE_IN_BYTES * CONTRACT_CLASS_LOG_LENGTH;
-    // Keeps original first field pre-siloing. Only set by silo().
-    unsiloedFirstField;
     constructor(contractAddress, fields, emittedLength){
         this.contractAddress = contractAddress;
         this.fields = fields;
@@ -140,37 +138,6 @@ export class ContractClassLog {
         const emittedLength = Math.ceil(CONTRACT_CLASS_LOG_SIZE_IN_FIELDS / 2);
         return new ContractClassLog(await AztecAddress.random(), ContractClassLogFields.random(emittedLength), emittedLength);
     }
-    setUnsiloedFirstField(field) {
-        this.unsiloedFirstField = field;
-    }
-    toUnsiloed() {
-        if (this.contractAddress.isZero()) {
-            return this;
-        }
-        if (this.unsiloedFirstField) {
-            return new ContractClassLog(this.contractAddress, new ContractClassLogFields([
-                this.unsiloedFirstField
-            ].concat(this.fields.fields.slice(1))), this.emittedLength);
-        } else {
-            return this;
-        }
-    }
-    // TODO(#13914): Don't need to silo the contract class logs.
-    async silo() {
-        if (this.contractAddress.isZero()) {
-            return this;
-        }
-        const fields = this.fields.clone();
-        const unsiloedField = fields.fields[0];
-        const siloedField = await poseidon2Hash([
-            this.contractAddress,
-            unsiloedField
-        ]);
-        fields.fields[0] = siloedField;
-        const cloned = new ContractClassLog(this.contractAddress, fields, this.emittedLength);
-        cloned.setUnsiloedFirstField(unsiloedField);
-        return cloned;
-    }
     async hash() {
         return await this.fields.hash();
     }

package/dest/logs/log_with_tx_data.d.ts

@@ -1,11 +1,11 @@
 import { Fr } from '@aztec/foundation/fields';
 import { TxHash } from '@aztec/stdlib/tx';
-export declare class LogWithTxData {
-    logContent: Fr[];
+export declare class PublicLogWithTxData {
+    logPlaintext: Fr[];
     txHash: TxHash;
     uniqueNoteHashesInTx: Fr[];
     firstNullifierInTx: Fr;
-    constructor(logContent: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
+    constructor(logPlaintext: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
     toNoirSerialization(): (Fr | Fr[])[];
     static noirSerializationOfEmpty(): (Fr | Fr[])[];
 }

package/dest/logs/log_with_tx_data.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"log_with_tx_data.d.ts","sourceRoot":"","sources":["../../src/logs/log_with_tx_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAI1C,qBAAa,aAAa;IAIf,UAAU,EAAE,EAAE,EAAE;IAChB,MAAM,EAAE,MAAM;IACd,oBAAoB,EAAE,EAAE,EAAE;IAC1B,kBAAkB,EAAE,EAAE;gBAHtB,UAAU,EAAE,EAAE,EAAE,EAChB,MAAM,EAAE,MAAM,EACd,oBAAoB,EAAE,EAAE,EAAE,EAC1B,kBAAkB,EAAE,EAAE;IAG/B,mBAAmB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;IAYpC,MAAM,CAAC,wBAAwB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;CAGjD"}
+{"version":3,"file":"log_with_tx_data.d.ts","sourceRoot":"","sources":["../../src/logs/log_with_tx_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAI1C,qBAAa,mBAAmB;IAGrB,YAAY,EAAE,EAAE,EAAE;IAClB,MAAM,EAAE,MAAM;IACd,oBAAoB,EAAE,EAAE,EAAE;IAC1B,kBAAkB,EAAE,EAAE;gBAHtB,YAAY,EAAE,EAAE,EAAE,EAClB,MAAM,EAAE,MAAM,EACd,oBAAoB,EAAE,EAAE,EAAE,EAC1B,kBAAkB,EAAE,EAAE;IAG/B,mBAAmB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;IASpC,MAAM,CAAC,wBAAwB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;CAGjD"}

package/dest/logs/log_with_tx_data.js

@@ -1,34 +1,30 @@
-import { MAX_NOTE_HASHES_PER_TX, PUBLIC_LOG_SIZE_IN_FIELDS } from '@aztec/constants';
+import { MAX_NOTE_HASHES_PER_TX, PUBLIC_LOG_PLAINTEXT_LEN } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 import { TxHash } from '@aztec/stdlib/tx';
-// TypeScript representation of the Noir aztec::oracle::message_discovery::LogWithTxData struct. This is used as a
-// response for PXE's custom getLogByTag oracle.
-export class LogWithTxData {
-    logContent;
+// TypeScript representation of the Noir aztec::oracle::message_discovery::PublicLogWithTxData struct. This is used as a
+// response for PXE's custom getPublicLogByTag oracle.
+export class PublicLogWithTxData {
+    logPlaintext;
     txHash;
     uniqueNoteHashesInTx;
     firstNullifierInTx;
     constructor(// The emitted fields of a log.
-    // For public logs, the contract address is prepended to the content.
-    logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
-        this.logContent = logContent;
+    logPlaintext, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
+        this.logPlaintext = logPlaintext;
         this.txHash = txHash;
         this.uniqueNoteHashesInTx = uniqueNoteHashesInTx;
         this.firstNullifierInTx = firstNullifierInTx;
     }
     toNoirSerialization() {
         return [
-            // The log fields length is PUBLIC_LOG_SIZE_IN_FIELDS. + 1 because the contract address is prepended to the content.
-            // This is only used for public logs currently, so the maxLength is PUBLIC_LOG_SIZE_IN_FIELDS + 1.
-            // TODO(#11639): this could also be used for private logs.
-            ...toBoundedVecSerialization(this.logContent, PUBLIC_LOG_SIZE_IN_FIELDS + 1),
+            ...toBoundedVecSerialization(this.logPlaintext, PUBLIC_LOG_PLAINTEXT_LEN),
             this.txHash.hash,
             ...toBoundedVecSerialization(this.uniqueNoteHashesInTx, MAX_NOTE_HASHES_PER_TX),
             this.firstNullifierInTx
         ];
     }
     static noirSerializationOfEmpty() {
-        return new LogWithTxData([], TxHash.zero(), [], new Fr(0)).toNoirSerialization();
+        return new PublicLogWithTxData([], TxHash.zero(), [], new Fr(0)).toNoirSerialization();
     }
 }
 function toBoundedVecSerialization(array, maxLength) {

package/dest/logs/pending_tagged_log.d.ts

@@ -2,7 +2,7 @@ import { Fr } from '@aztec/foundation/fields';
 import type { AztecAddress } from '../aztec-address/index.js';
 import type { TxHash } from '../tx/tx_hash.js';
 /**
- * Represents a pending tagged log as it is stored in the pending tagged log array to which the syncPrivateState oracle
+ * Represents a pending tagged log as it is stored in the pending tagged log array to which the fetchTaggedLogs oracle
  * inserts found private logs. A TS version of `pending_tagged_log.nr`.
  */
 export declare class PendingTaggedLog {

package/dest/logs/pending_tagged_log.js

@@ -1,7 +1,7 @@
 import { MAX_NOTE_HASHES_PER_TX, PRIVATE_LOG_SIZE_IN_FIELDS } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 /**
- * Represents a pending tagged log as it is stored in the pending tagged log array to which the syncPrivateState oracle
+ * Represents a pending tagged log as it is stored in the pending tagged log array to which the fetchTaggedLogs oracle
  * inserts found private logs. A TS version of `pending_tagged_log.nr`.
  */ export class PendingTaggedLog {
     log;

package/dest/logs/private_log.d.ts

@@ -14,6 +14,7 @@ export declare class PrivateLog {
     toFields(): Fr[];
     static fromFields(fields: Fr[] | FieldReader): PrivateLog;
     getEmittedFields(): Fr[];
+    getEmittedFieldsWithoutTag(): Fr[];
     toBlobFields(): Fr[];
     static fromBlobFields(fields: Fr[] | FieldReader): PrivateLog;
     isEmpty(): boolean;

package/dest/logs/private_log.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private_log.d.ts","sourceRoot":"","sources":["../../src/logs/private_log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAClF,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,qBAAa,UAAU;IAIZ,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0BAA0B,CAAC;IAEpD,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAyC;gBAGpD,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0BAA0B,CAAC,EAEpD,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAIxC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAI7C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,gBAAgB;IAIhB,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAOhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,MAAM,CAAC,MAAM,CAAC,GAAG,KAAc;IAM/B,MAAM,KAAK,MAAM;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,KAAK,EAAE,UAAU;IAIxB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAM3B"}
+{"version":3,"file":"private_log.d.ts","sourceRoot":"","sources":["../../src/logs/private_log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAClF,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,qBAAa,UAAU;IAIZ,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0BAA0B,CAAC;IAEpD,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAyC;gBAGpD,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0BAA0B,CAAC,EAEpD,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAIxC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAI7C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,gBAAgB;IAIhB,0BAA0B;IAI1B,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAOhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,MAAM,CAAC,MAAM,CAAC,GAAG,KAAc;IAM/B,MAAM,KAAK,MAAM;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,KAAK,EAAE,UAAU;IAIxB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAM3B"}

package/dest/logs/private_log.js

@@ -34,6 +34,9 @@ export class PrivateLog {
     getEmittedFields() {
         return this.fields.slice(0, this.emittedLength);
     }
+    getEmittedFieldsWithoutTag() {
+        return this.fields.slice(1, this.emittedLength);
+    }
     toBlobFields() {
         return [
             new Fr(this.emittedLength)

package/dest/logs/public_log.d.ts

@@ -16,6 +16,7 @@ export declare class PublicLog {
     toFields(): Fr[];
     static fromFields(fields: Fr[] | FieldReader): PublicLog;
     getEmittedFields(): Fr[];
+    getEmittedFieldsWithoutTag(): Fr[];
     toBlobFields(): Fr[];
     static fromBlobFields(fields: Fr[] | FieldReader): PublicLog;
     isEmpty(): boolean;

package/dest/logs/public_log.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public_log.d.ts","sourceRoot":"","sources":["../../src/logs/public_log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,qBAAa,SAAS;IAIX,eAAe,EAAE,YAAY;IAC7B,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC;IACnD,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAwC;gBAGnD,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC,EACnD,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAIvC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAI5C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,gBAAgB;IAIhB,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAYhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;WASlC,MAAM;IAQnB,MAAM,CAAC,KAAK,EAAE,IAAI;IAQlB,eAAe,IAAI,MAAM;IAIzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAUrC;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAO3B"}
+{"version":3,"file":"public_log.d.ts","sourceRoot":"","sources":["../../src/logs/public_log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,qBAAa,SAAS;IAIX,eAAe,EAAE,YAAY;IAC7B,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC;IACnD,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAwC;gBAGnD,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC,EACnD,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAIvC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAI5C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,gBAAgB;IAIhB,0BAA0B;IAI1B,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAYhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;WASlC,MAAM;IAQnB,MAAM,CAAC,KAAK,EAAE,IAAI;IAQlB,eAAe,IAAI,MAAM;IAIzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAUrC;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAO3B"}

package/dest/logs/public_log.js

@@ -37,6 +37,9 @@ export class PublicLog {
     getEmittedFields() {
         return this.fields.slice(0, this.emittedLength);
     }
+    getEmittedFieldsWithoutTag() {
+        return this.fields.slice(1, this.emittedLength);
+    }
     toBlobFields() {
         return [
             new Fr(this.emittedLength),

package/dest/logs/tx_scoped_l2_log.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tx_scoped_l2_log.d.ts","sourceRoot":"","sources":["../../src/logs/tx_scoped_l2_log.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,qBAAa,aAAa;IAKf,MAAM,EAAE,MAAM;IAKd,mBAAmB,EAAE,MAAM;IAK3B,YAAY,EAAE,MAAM;IAIpB,WAAW,EAAE,MAAM;IAInB,GAAG,EAAE,UAAU,GAAG,SAAS;gBAlB3B,MAAM,EAAE,MAAM,EAKd,mBAAmB,EAAE,MAAM,EAK3B,YAAY,EAAE,MAAM,EAIpB,WAAW,EAAE,MAAM,EAInB,GAAG,EAAE,UAAU,GAAG,SAAS;IAGpC,IAAI,YAAY,YAEf;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;IAED,QAAQ;IAYR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM;WAYnB,MAAM,CAAC,YAAY,UAAsB;IAKtD,MAAM,CAAC,KAAK,EAAE,aAAa;CAW5B"}
+{"version":3,"file":"tx_scoped_l2_log.d.ts","sourceRoot":"","sources":["../../src/logs/tx_scoped_l2_log.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAG5C,qBAAa,aAAa;IAKf,MAAM,EAAE,MAAM;IAKd,mBAAmB,EAAE,MAAM;IAK3B,YAAY,EAAE,MAAM;IAIpB,WAAW,EAAE,MAAM;IAInB,GAAG,EAAE,UAAU,GAAG,SAAS;gBAlB3B,MAAM,EAAE,MAAM,EAKd,mBAAmB,EAAE,MAAM,EAK3B,YAAY,EAAE,MAAM,EAIpB,WAAW,EAAE,MAAM,EAInB,GAAG,EAAE,UAAU,GAAG,SAAS;IAGpC,IAAI,YAAY,YAEf;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;IAED,QAAQ;IAYR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM;WAYnB,MAAM,CAAC,YAAY,UAAsB;IAKtD,MAAM,CAAC,KAAK,EAAE,aAAa;CAW5B"}

package/dest/logs/tx_scoped_l2_log.js

@@ -3,6 +3,7 @@ import { z } from 'zod';
 import { TxHash } from '../tx/tx_hash.js';
 import { PrivateLog } from './private_log.js';
 import { PublicLog } from './public_log.js';
+// TODO(#14460): Split to private and public versions instead of having this weird mix.
 export class TxScopedL2Log {
     txHash;
     dataStartIndexForTx;

package/dest/rollup/avm_proof_data.d.ts

@@ -1,15 +1,17 @@
-import { AVM_PROOF_LENGTH_IN_FIELDS } from '@aztec/constants';
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { AvmCircuitPublicInputs } from '../avm/avm_circuit_public_inputs.js';
 import { RecursiveProof } from '../proofs/recursive_proof.js';
-import { VkWitnessData } from '../vks/vk_witness_data.js';
+import { VkData } from '../vks/vk_data.js';
 export declare class AvmProofData {
     publicInputs: AvmCircuitPublicInputs;
-    proof: RecursiveProof<typeof AVM_PROOF_LENGTH_IN_FIELDS>;
-    vkData: VkWitnessData;
-    constructor(publicInputs: AvmCircuitPublicInputs, proof: RecursiveProof<typeof AVM_PROOF_LENGTH_IN_FIELDS>, vkData: VkWitnessData);
+    proof: RecursiveProof<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>;
+    vkData: VkData;
+    constructor(publicInputs: AvmCircuitPublicInputs, proof: RecursiveProof<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>, vkData: VkData);
     static fromBuffer(buffer: Buffer | BufferReader): AvmProofData;
     toBuffer(): Buffer<ArrayBufferLike>;
     static empty(): AvmProofData;
 }
+export declare function enhanceProofWithPiValidationFlag(proof: Fr[], skipPublicInputsValidation: boolean): Fr[];
 //# sourceMappingURL=avm_proof_data.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"avm_proof_data.d.ts","sourceRoot":"","sources":["../../src/rollup/avm_proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAAE,cAAc,EAA2B,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE1D,qBAAa,YAAY;IAEd,YAAY,EAAE,sBAAsB;IACpC,KAAK,EAAE,cAAc,CAAC,OAAO,0BAA0B,CAAC;IACxD,MAAM,EAAE,aAAa;gBAFrB,YAAY,EAAE,sBAAsB,EACpC,KAAK,EAAE,cAAc,CAAC,OAAO,0BAA0B,CAAC,EACxD,MAAM,EAAE,aAAa;IAG9B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,QAAQ;IAIR,MAAM,CAAC,KAAK;CAOb"}
+{"version":3,"file":"avm_proof_data.d.ts","sourceRoot":"","sources":["../../src/rollup/avm_proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oCAAoC,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAAE,cAAc,EAA2B,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,qBAAa,YAAY;IAEd,YAAY,EAAE,sBAAsB;IACpC,KAAK,EAAE,cAAc,CAAC,OAAO,oCAAoC,CAAC;IAClE,MAAM,EAAE,MAAM;gBAFd,YAAY,EAAE,sBAAsB,EACpC,KAAK,EAAE,cAAc,CAAC,OAAO,oCAAoC,CAAC,EAClE,MAAM,EAAE,MAAM;IAGvB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,QAAQ;IAIR,MAAM,CAAC,KAAK;CAOb;AAGD,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,0BAA0B,EAAE,OAAO,GAAG,EAAE,EAAE,CAGvG"}

package/dest/rollup/avm_proof_data.js

@@ -1,8 +1,9 @@
-import { AVM_PROOF_LENGTH_IN_FIELDS } from '@aztec/constants';
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { AvmCircuitPublicInputs } from '../avm/avm_circuit_public_inputs.js';
 import { RecursiveProof, makeEmptyRecursiveProof } from '../proofs/recursive_proof.js';
-import { VkWitnessData } from '../vks/vk_witness_data.js';
+import { VkData } from '../vks/vk_data.js';
 export class AvmProofData {
     publicInputs;
     proof;
@@ -14,12 +15,19 @@ export class AvmProofData {
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new AvmProofData(reader.readObject(AvmCircuitPublicInputs), RecursiveProof.fromBuffer(reader), reader.readObject(VkWitnessData));
+        return new AvmProofData(reader.readObject(AvmCircuitPublicInputs), RecursiveProof.fromBuffer(reader), reader.readObject(VkData));
     }
     toBuffer() {
         return serializeToBuffer(this.publicInputs, this.proof, this.vkData);
     }
     static empty() {
-        return new AvmProofData(AvmCircuitPublicInputs.empty(), makeEmptyRecursiveProof(AVM_PROOF_LENGTH_IN_FIELDS), VkWitnessData.empty());
+        return new AvmProofData(AvmCircuitPublicInputs.empty(), makeEmptyRecursiveProof(AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED), VkData.empty());
     }
 }
+// TODO(#14234)[Unconditional PIs validation]: remove this function.
+export function enhanceProofWithPiValidationFlag(proof, skipPublicInputsValidation) {
+    const skipPublicInputsField = skipPublicInputsValidation ? new Fr(1) : new Fr(0);
+    return [
+        skipPublicInputsField
+    ].concat(proof).slice(0, AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED);
+}