@aztec/stdlib 0.0.1-commit.24de95ac → 0.0.1-commit.5daedc8

package/dest/kernel/private_call_data.d.ts

@@ -1,29 +1,22 @@
-import { FUNCTION_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
+import { FUNCTION_TREE_HEIGHT, MAX_CONTRACT_CLASS_LOGS_PER_CALL, MAX_ENQUEUED_CALLS_PER_CALL, MAX_L2_TO_L1_MSGS_PER_CALL, MAX_NOTE_HASHES_PER_CALL, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, MAX_NULLIFIERS_PER_CALL, MAX_NULLIFIER_READ_REQUESTS_PER_CALL, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, MAX_PRIVATE_LOGS_PER_CALL, PUBLIC_DATA_TREE_HEIGHT, TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
-import { BufferReader } from '@aztec/foundation/serialize';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
 import { MembershipWitness } from '@aztec/foundation/trees';
 import type { FieldsOf } from '@aztec/foundation/types';
 import { DelayedPublicMutableValues } from '../delayed_public_mutable/delayed_public_mutable_values.js';
 import { PublicKeys } from '../keys/public_keys.js';
 import { PublicDataTreeLeafPreimage } from '../trees/index.js';
+import type { UInt32 } from '../types/shared.js';
 import { VerificationKeyAsFields } from '../vks/verification_key.js';
 import { PrivateCircuitPublicInputs } from './private_circuit_public_inputs.js';
 /**
  * Private call data.
  */
 export declare class PrivateCallData {
-    /**
-     * Public inputs of the private function circuit.
-     */
     publicInputs: PrivateCircuitPublicInputs;
-    /**
-     * The verification key for the function being invoked.
-     */
     vk: VerificationKeyAsFields;
-    /**
-     * Hints for the validation of the vk
-     */
     verificationKeyHints: PrivateVerificationKeyHints;
+    sideEffectUniquenessHints: SideEffectUniquenessHints;
     constructor(
     /**
      * Public inputs of the private function circuit.
@@ -36,13 +29,17 @@ export declare class PrivateCallData {
     /**
      * Hints for the validation of the vk
      */
-    verificationKeyHints: PrivateVerificationKeyHints);
+    verificationKeyHints: PrivateVerificationKeyHints, 
+    /**
+     * Hints for validating the uniqueness of the side effects.
+     */
+    sideEffectUniquenessHints: SideEffectUniquenessHints);
     /**
      * Serialize into a field array. Low-level utility.
      * @param fields - Object with fields.
      * @returns The array.
      */
-    static getFields(fields: FieldsOf<PrivateCallData>): readonly [PrivateCircuitPublicInputs, VerificationKeyAsFields, PrivateVerificationKeyHints];
+    static getFields(fields: FieldsOf<PrivateCallData>): readonly [PrivateCircuitPublicInputs, VerificationKeyAsFields, PrivateVerificationKeyHints, SideEffectUniquenessHints];
     static from(fields: FieldsOf<PrivateCallData>): PrivateCallData;
     /**
      * Serialize this as a buffer.
@@ -57,25 +54,10 @@ export declare class PrivateCallData {
     static fromBuffer(buffer: Buffer | BufferReader): PrivateCallData;
 }
 export declare class PrivateVerificationKeyHints {
-    /**
-     * Artifact hash of the contract class for this private call.
-     */
     contractClassArtifactHash: Fr;
-    /**
-     * Public bytecode commitment for the contract class for this private call.
-     */
     contractClassPublicBytecodeCommitment: Fr;
-    /**
-     * Public keys hash of the contract instance.
-     */
     publicKeys: PublicKeys;
-    /**
-     * Salted initialization hash of the contract instance.
-     */
     saltedInitializationHash: Fr;
-    /**
-     * The membership witness for the function leaf corresponding to the function being invoked.
-     */
     functionLeafMembershipWitness: MembershipWitness<typeof FUNCTION_TREE_HEIGHT>;
     updatedClassIdHints: UpdatedClassIdHints;
     constructor(
@@ -137,4 +119,55 @@ export declare class UpdatedClassIdHints {
      */
     static fromBuffer(buffer: Buffer | BufferReader): UpdatedClassIdHints;
 }
-//# sourceMappingURL=private_call_data.d.ts.map
+export declare class SideEffectUniquenessHints {
+    sideEffectRanges: Tuple<SideEffectCounterRange, typeof TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL>;
+    noteHashReadRequestIndices: Tuple<UInt32, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
+    nullifierReadRequestIndices: Tuple<UInt32, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
+    noteHashesIndices: Tuple<UInt32, typeof MAX_NOTE_HASHES_PER_CALL>;
+    nullifiersIndices: Tuple<UInt32, typeof MAX_NULLIFIERS_PER_CALL>;
+    privateCallRequestsIndices: Tuple<UInt32, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>;
+    publicCallRequestsIndices: Tuple<UInt32, typeof MAX_ENQUEUED_CALLS_PER_CALL>;
+    l2ToL1MsgsIndices: Tuple<UInt32, typeof MAX_L2_TO_L1_MSGS_PER_CALL>;
+    privateLogsIndices: Tuple<UInt32, typeof MAX_PRIVATE_LOGS_PER_CALL>;
+    contractClassLogsHashesIndices: Tuple<UInt32, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
+    constructor(sideEffectRanges: Tuple<SideEffectCounterRange, typeof TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL>, noteHashReadRequestIndices: Tuple<UInt32, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>, nullifierReadRequestIndices: Tuple<UInt32, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>, noteHashesIndices: Tuple<UInt32, typeof MAX_NOTE_HASHES_PER_CALL>, nullifiersIndices: Tuple<UInt32, typeof MAX_NULLIFIERS_PER_CALL>, privateCallRequestsIndices: Tuple<UInt32, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>, publicCallRequestsIndices: Tuple<UInt32, typeof MAX_ENQUEUED_CALLS_PER_CALL>, l2ToL1MsgsIndices: Tuple<UInt32, typeof MAX_L2_TO_L1_MSGS_PER_CALL>, privateLogsIndices: Tuple<UInt32, typeof MAX_PRIVATE_LOGS_PER_CALL>, contractClassLogsHashesIndices: Tuple<UInt32, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>);
+    /**
+     * Serialize into a field array. Low-level utility.
+     * @param fields - Object with fields.
+     * @returns The array.
+     */
+    static getFields(fields: FieldsOf<SideEffectUniquenessHints>): readonly [[SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange, SideEffectCounterRange], [number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number], [number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number], [number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number], [number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number], [number, number, number, number, number, number, number, number], [number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number], [number, number, number, number, number, number, number, number], [number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number], [number]];
+    static from(fields: FieldsOf<SideEffectUniquenessHints>): SideEffectUniquenessHints;
+    /**
+     * Serialize this as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Deserializes from a buffer or reader.
+     * @param buffer - Buffer or reader to read from.
+     * @returns The deserialized instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): SideEffectUniquenessHints;
+}
+export declare class SideEffectCounterRange {
+    start: UInt32;
+    end: UInt32;
+    sideEffectGlobalIndex: UInt32;
+    constructor(start: UInt32, end: UInt32, sideEffectGlobalIndex: UInt32);
+    static getFields(fields: FieldsOf<SideEffectCounterRange>): readonly [number, number, number];
+    static from(fields: FieldsOf<SideEffectCounterRange>): SideEffectCounterRange;
+    static empty(): SideEffectCounterRange;
+    /**
+     * Serialize this as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Deserializes from a buffer or reader.
+     * @param buffer - Buffer or reader to read from.
+     * @returns The deserialized instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): SideEffectCounterRange;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jYWxsX2RhdGEuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jYWxsX2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLG9CQUFvQixFQUNwQixnQ0FBZ0MsRUFDaEMsMkJBQTJCLEVBQzNCLDBCQUEwQixFQUMxQix3QkFBd0IsRUFDeEIsb0NBQW9DLEVBQ3BDLHVCQUF1QixFQUN2QixvQ0FBb0MsRUFDcEMsc0NBQXNDLEVBQ3RDLHlCQUF5QixFQUN6Qix1QkFBdUIsRUFDdkIsbUNBQW1DLEVBRXBDLE1BQU0sa0JBQWtCLENBQUM7QUFDMUIsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxZQUFZLEVBQUUsS0FBSyxLQUFLLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFDMUYsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDNUQsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLDBCQUEwQixFQUFFLE1BQU0sNERBQTRELENBQUM7QUFDeEcsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3BELE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQy9ELE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQ2pELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ3JFLE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBRWhGOztHQUVHO0FBQ0gscUJBQWEsZUFBZTtJQUtqQixZQUFZLEVBQUUsMEJBQTBCO0lBS3hDLEVBQUUsRUFBRSx1QkFBdUI7SUFLM0Isb0JBQW9CLEVBQUUsMkJBQTJCO0lBS2pELHlCQUF5QixFQUFFLHlCQUF5QjtJQW5CN0Q7SUFDRTs7T0FFRztJQUNJLFlBQVksRUFBRSwwQkFBMEI7SUFFL0M7O09BRUc7SUFDSSxFQUFFLEVBQUUsdUJBQXVCO0lBRWxDOztPQUVHO0lBQ0ksb0JBQW9CLEVBQUUsMkJBQTJCO0lBRXhEOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUseUJBQXlCLEVBQ3pEO0lBRUo7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxlQUFlLENBQUMsMEhBRWpEO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGVBQWUsQ0FBQyxHQUFHLGVBQWUsQ0FFOUQ7SUFFRDs7O09BR0c7SUFDSCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGVBQWUsQ0FRaEU7Q0FDRjtBQUVELHFCQUFhLDJCQUEyQjtJQUs3Qix5QkFBeUIsRUFBRSxFQUFFO0lBSTdCLHFDQUFxQyxFQUFFLEVBQUU7SUFJekMsVUFBVSxFQUFFLFVBQVU7SUFJdEIsd0JBQXdCLEVBQUUsRUFBRTtJQUk1Qiw2QkFBNkIsRUFBRSxpQkFBaUIsQ0FBQyxPQUFPLG9CQUFvQixDQUFDO0lBRTdFLG1CQUFtQixFQUFFLG1CQUFtQjtJQXRCakQ7SUFDRTs7T0FFRztJQUNJLHlCQUF5QixFQUFFLEVBQUU7SUFDcEM7O09BRUc7SUFDSSxxQ0FBcUMsRUFBRSxFQUFFO0lBQ2hEOztPQUVHO0lBQ0ksVUFBVSxFQUFFLFVBQVU7SUFDN0I7O09BRUc7SUFDSSx3QkFBd0IsRUFBRSxFQUFFO0lBQ25DOztPQUVHO0lBQ0ksNkJBQTZCLEVBQUUsaUJBQWlCLENBQUMsT0FBTyxvQkFBb0IsQ0FBQyxFQUU3RSxtQkFBbUIsRUFBRSxtQkFBbUIsRUFDN0M7SUFFSjs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDJCQUEyQixDQUFDLGdGQVM3RDtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQywyQkFBMkIsQ0FBQyxHQUFHLDJCQUEyQixDQUV0RjtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsMkJBQTJCLENBVTVFO0NBQ0Y7QUFFRCxxQkFBYSxtQkFBbUI7SUFFckIscUJBQXFCLEVBQUUsaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQztJQUN4RSxrQkFBa0IsRUFBRSwwQkFBMEI7SUFDOUMsb0JBQW9CLEVBQUUsMEJBQTBCO0lBSHpELFlBQ1MscUJBQXFCLEVBQUUsaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQyxFQUN4RSxrQkFBa0IsRUFBRSwwQkFBMEIsRUFDOUMsb0JBQW9CLEVBQUUsMEJBQTBCLEVBQ3JEO0lBRUosTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLG1CQUFtQixDQUFDLDRGQUVyRDtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxtQkFBbUIsQ0FBQyxHQUFHLG1CQUFtQixDQUV0RTtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsbUJBQW1CLENBV3BFO0NBQ0Y7QUFFRCxxQkFBYSx5QkFBeUI7SUFFM0IsZ0JBQWdCLEVBQUUsS0FBSyxDQUFDLHNCQUFzQixFQUFFLE9BQU8sbUNBQW1DLENBQUM7SUFDM0YsMEJBQTBCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQ3RGLDJCQUEyQixFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsT0FBTyxvQ0FBb0MsQ0FBQztJQUN2RixpQkFBaUIsRUFBRSxLQUFLLENBQUMsTUFBTSxFQUFFLE9BQU8sd0JBQXdCLENBQUM7SUFDakUsaUJBQWlCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLHVCQUF1QixDQUFDO0lBQ2hFLDBCQUEwQixFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsT0FBTyxzQ0FBc0MsQ0FBQztJQUN4Rix5QkFBeUIsRUFBRSxLQUFLLENBQUMsTUFBTSxFQUFFLE9BQU8sMkJBQTJCLENBQUM7SUFDNUUsaUJBQWlCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLDBCQUEwQixDQUFDO0lBQ25FLGtCQUFrQixFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUNuRSw4QkFBOEIsRUFBRSxLQUFLLENBQUMsTUFBTSxFQUFFLE9BQU8sZ0NBQWdDLENBQUM7SUFWL0YsWUFDUyxnQkFBZ0IsRUFBRSxLQUFLLENBQUMsc0JBQXNCLEVBQUUsT0FBTyxtQ0FBbUMsQ0FBQyxFQUMzRiwwQkFBMEIsRUFBRSxLQUFLLENBQUMsTUFBTSxFQUFFLE9BQU8sb0NBQW9DLENBQUMsRUFDdEYsMkJBQTJCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLG9DQUFvQyxDQUFDLEVBQ3ZGLGlCQUFpQixFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQyxFQUNqRSxpQkFBaUIsRUFBRSxLQUFLLENBQUMsTUFBTSxFQUFFLE9BQU8sdUJBQXVCLENBQUMsRUFDaEUsMEJBQTBCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLHNDQUFzQyxDQUFDLEVBQ3hGLHlCQUF5QixFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsT0FBTywyQkFBMkIsQ0FBQyxFQUM1RSxpQkFBaUIsRUFBRSxLQUFLLENBQUMsTUFBTSxFQUFFLE9BQU8sMEJBQTBCLENBQUMsRUFDbkUsa0JBQWtCLEVBQUUsS0FBSyxDQUFDLE1BQU0sRUFBRSxPQUFPLHlCQUF5QixDQUFDLEVBQ25FLDhCQUE4QixFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsT0FBTyxnQ0FBZ0MsQ0FBQyxFQUMzRjtJQUVKOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMseUJBQXlCLENBQUMsaWtJQWEzRDtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyx5QkFBeUIsQ0FBQyxHQUFHLHlCQUF5QixDQUVsRjtJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcseUJBQXlCLENBYzFFO0NBQ0Y7QUFFRCxxQkFBYSxzQkFBc0I7SUFFeEIsS0FBSyxFQUFFLE1BQU07SUFDYixHQUFHLEVBQUUsTUFBTTtJQUNYLHFCQUFxQixFQUFFLE1BQU07SUFIdEMsWUFDUyxLQUFLLEVBQUUsTUFBTSxFQUNiLEdBQUcsRUFBRSxNQUFNLEVBQ1gscUJBQXFCLEVBQUUsTUFBTSxFQUNsQztJQUVKLE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxzQkFBc0IsQ0FBQyxxQ0FFeEQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsc0JBQXNCLENBQUMsR0FBRyxzQkFBc0IsQ0FFNUU7SUFFRCxNQUFNLENBQUMsS0FBSyxJQUFJLHNCQUFzQixDQUVyQztJQUVEOzs7T0FHRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsc0JBQXNCLENBR3ZFO0NBQ0YifQ==

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

@@ -1 +1 @@
-{"version":3,"file":"private_call_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_call_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAsB,MAAM,kBAAkB,CAAC;AACrG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,0BAA0B,EAAE,MAAM,4DAA4D,CAAC;AACxG,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAEhF;;GAEG;AACH,qBAAa,eAAe;IAExB;;OAEG;IACI,YAAY,EAAE,0BAA0B;IAE/C;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAElC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;;IAbxD;;OAEG;IACI,YAAY,EAAE,0BAA0B;IAE/C;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAElC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IAG1D;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC;IAIlD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,GAAG,eAAe;IAI/D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;CAQlE;AAED,qBAAa,2BAA2B;IAEpC;;OAEG;IACI,yBAAyB,EAAE,EAAE;IACpC;;OAEG;IACI,qCAAqC,EAAE,EAAE;IAChD;;OAEG;IACI,UAAU,EAAE,UAAU;IAC7B;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,6BAA6B,EAAE,iBAAiB,CAAC,OAAO,oBAAoB,CAAC;IAE7E,mBAAmB,EAAE,mBAAmB;;IArB/C;;OAEG;IACI,yBAAyB,EAAE,EAAE;IACpC;;OAEG;IACI,qCAAqC,EAAE,EAAE;IAChD;;OAEG;IACI,UAAU,EAAE,UAAU;IAC7B;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,6BAA6B,EAAE,iBAAiB,CAAC,OAAO,oBAAoB,CAAC,EAE7E,mBAAmB,EAAE,mBAAmB;IAGjD;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAW9D,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,2BAA2B;IAIvF;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,2BAA2B;CAW9E;AAED,qBAAa,mBAAmB;IAErB,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IACxE,kBAAkB,EAAE,0BAA0B;IAC9C,oBAAoB,EAAE,0BAA0B;gBAFhD,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACxE,kBAAkB,EAAE,0BAA0B,EAC9C,oBAAoB,EAAE,0BAA0B;IAGzD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC;IAItD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,mBAAmB;IAIvE;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;CAYtE"}
+{"version":3,"file":"private_call_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_call_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,gCAAgC,EAChC,2BAA2B,EAC3B,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EACzB,uBAAuB,EACvB,mCAAmC,EAEpC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,0BAA0B,EAAE,MAAM,4DAA4D,CAAC;AACxG,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAEhF;;GAEG;AACH,qBAAa,eAAe;IAKjB,YAAY,EAAE,0BAA0B;IAKxC,EAAE,EAAE,uBAAuB;IAK3B,oBAAoB,EAAE,2BAA2B;IAKjD,yBAAyB,EAAE,yBAAyB;IAnB7D;IACE;;OAEG;IACI,YAAY,EAAE,0BAA0B;IAE/C;;OAEG;IACI,EAAE,EAAE,uBAAuB;IAElC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IAExD;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,EACzD;IAEJ;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,0HAEjD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,GAAG,eAAe,CAE9D;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAQhE;CACF;AAED,qBAAa,2BAA2B;IAK7B,yBAAyB,EAAE,EAAE;IAI7B,qCAAqC,EAAE,EAAE;IAIzC,UAAU,EAAE,UAAU;IAItB,wBAAwB,EAAE,EAAE;IAI5B,6BAA6B,EAAE,iBAAiB,CAAC,OAAO,oBAAoB,CAAC;IAE7E,mBAAmB,EAAE,mBAAmB;IAtBjD;IACE;;OAEG;IACI,yBAAyB,EAAE,EAAE;IACpC;;OAEG;IACI,qCAAqC,EAAE,EAAE;IAChD;;OAEG;IACI,UAAU,EAAE,UAAU;IAC7B;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,6BAA6B,EAAE,iBAAiB,CAAC,OAAO,oBAAoB,CAAC,EAE7E,mBAAmB,EAAE,mBAAmB,EAC7C;IAEJ;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC,gFAS7D;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,2BAA2B,CAEtF;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,2BAA2B,CAU5E;CACF;AAED,qBAAa,mBAAmB;IAErB,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IACxE,kBAAkB,EAAE,0BAA0B;IAC9C,oBAAoB,EAAE,0BAA0B;IAHzD,YACS,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACxE,kBAAkB,EAAE,0BAA0B,EAC9C,oBAAoB,EAAE,0BAA0B,EACrD;IAEJ,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,4FAErD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,mBAAmB,CAEtE;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAWpE;CACF;AAED,qBAAa,yBAAyB;IAE3B,gBAAgB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,mCAAmC,CAAC;IAC3F,0BAA0B,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,oCAAoC,CAAC;IACtF,2BAA2B,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,oCAAoC,CAAC;IACvF,iBAAiB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,wBAAwB,CAAC;IACjE,iBAAiB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,uBAAuB,CAAC;IAChE,0BAA0B,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,sCAAsC,CAAC;IACxF,yBAAyB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,2BAA2B,CAAC;IAC5E,iBAAiB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,0BAA0B,CAAC;IACnE,kBAAkB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,yBAAyB,CAAC;IACnE,8BAA8B,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,gCAAgC,CAAC;IAV/F,YACS,gBAAgB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,mCAAmC,CAAC,EAC3F,0BAA0B,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,oCAAoC,CAAC,EACtF,2BAA2B,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,oCAAoC,CAAC,EACvF,iBAAiB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,wBAAwB,CAAC,EACjE,iBAAiB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,uBAAuB,CAAC,EAChE,0BAA0B,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,sCAAsC,CAAC,EACxF,yBAAyB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,2BAA2B,CAAC,EAC5E,iBAAiB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,0BAA0B,CAAC,EACnE,kBAAkB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,yBAAyB,CAAC,EACnE,8BAA8B,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,gCAAgC,CAAC,EAC3F;IAEJ;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,ikIAa3D;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,GAAG,yBAAyB,CAElF;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,yBAAyB,CAc1E;CACF;AAED,qBAAa,sBAAsB;IAExB,KAAK,EAAE,MAAM;IACb,GAAG,EAAE,MAAM;IACX,qBAAqB,EAAE,MAAM;IAHtC,YACS,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,qBAAqB,EAAE,MAAM,EAClC;IAEJ,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,qCAExD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB,CAE5E;IAED,MAAM,CAAC,KAAK,IAAI,sBAAsB,CAErC;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB,CAGvE;CACF"}

package/dest/kernel/private_call_data.js

@@ -1,4 +1,4 @@
-import { FUNCTION_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT, UPDATES_VALUE_SIZE } from '@aztec/constants';
+import { FUNCTION_TREE_HEIGHT, MAX_CONTRACT_CLASS_LOGS_PER_CALL, MAX_ENQUEUED_CALLS_PER_CALL, MAX_L2_TO_L1_MSGS_PER_CALL, MAX_NOTE_HASHES_PER_CALL, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, MAX_NULLIFIERS_PER_CALL, MAX_NULLIFIER_READ_REQUESTS_PER_CALL, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, MAX_PRIVATE_LOGS_PER_CALL, PUBLIC_DATA_TREE_HEIGHT, TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL, UPDATES_VALUE_SIZE } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { MembershipWitness } from '@aztec/foundation/trees';
@@ -13,16 +13,20 @@ import { PrivateCircuitPublicInputs } from './private_circuit_public_inputs.js';
     publicInputs;
     vk;
     verificationKeyHints;
+    sideEffectUniquenessHints;
     constructor(/**
      * Public inputs of the private function circuit.
      */ publicInputs, /**
      * The verification key for the function being invoked.
      */ vk, /**
      * Hints for the validation of the vk
-     */ verificationKeyHints){
+     */ verificationKeyHints, /**
+     * Hints for validating the uniqueness of the side effects.
+     */ sideEffectUniquenessHints){
         this.publicInputs = publicInputs;
         this.vk = vk;
         this.verificationKeyHints = verificationKeyHints;
+        this.sideEffectUniquenessHints = sideEffectUniquenessHints;
     }
     /**
    * Serialize into a field array. Low-level utility.
@@ -32,7 +36,8 @@ import { PrivateCircuitPublicInputs } from './private_circuit_public_inputs.js';
         return [
             fields.publicInputs,
             fields.vk,
-            fields.verificationKeyHints
+            fields.verificationKeyHints,
+            fields.sideEffectUniquenessHints
         ];
     }
     static from(fields) {
@@ -50,7 +55,7 @@ import { PrivateCircuitPublicInputs } from './private_circuit_public_inputs.js';
    * @returns The deserialized instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateCallData(reader.readObject(PrivateCircuitPublicInputs), reader.readObject(VerificationKeyAsFields), reader.readObject(PrivateVerificationKeyHints));
+        return new PrivateCallData(reader.readObject(PrivateCircuitPublicInputs), reader.readObject(VerificationKeyAsFields), reader.readObject(PrivateVerificationKeyHints), reader.readObject(SideEffectUniquenessHints));
     }
 }
 export class PrivateVerificationKeyHints {
@@ -148,3 +153,99 @@ export class UpdatedClassIdHints {
         }));
     }
 }
+export class SideEffectUniquenessHints {
+    sideEffectRanges;
+    noteHashReadRequestIndices;
+    nullifierReadRequestIndices;
+    noteHashesIndices;
+    nullifiersIndices;
+    privateCallRequestsIndices;
+    publicCallRequestsIndices;
+    l2ToL1MsgsIndices;
+    privateLogsIndices;
+    contractClassLogsHashesIndices;
+    constructor(sideEffectRanges, noteHashReadRequestIndices, nullifierReadRequestIndices, noteHashesIndices, nullifiersIndices, privateCallRequestsIndices, publicCallRequestsIndices, l2ToL1MsgsIndices, privateLogsIndices, contractClassLogsHashesIndices){
+        this.sideEffectRanges = sideEffectRanges;
+        this.noteHashReadRequestIndices = noteHashReadRequestIndices;
+        this.nullifierReadRequestIndices = nullifierReadRequestIndices;
+        this.noteHashesIndices = noteHashesIndices;
+        this.nullifiersIndices = nullifiersIndices;
+        this.privateCallRequestsIndices = privateCallRequestsIndices;
+        this.publicCallRequestsIndices = publicCallRequestsIndices;
+        this.l2ToL1MsgsIndices = l2ToL1MsgsIndices;
+        this.privateLogsIndices = privateLogsIndices;
+        this.contractClassLogsHashesIndices = contractClassLogsHashesIndices;
+    }
+    /**
+   * Serialize into a field array. Low-level utility.
+   * @param fields - Object with fields.
+   * @returns The array.
+   */ static getFields(fields) {
+        return [
+            fields.sideEffectRanges,
+            fields.noteHashReadRequestIndices,
+            fields.nullifierReadRequestIndices,
+            fields.noteHashesIndices,
+            fields.nullifiersIndices,
+            fields.privateCallRequestsIndices,
+            fields.publicCallRequestsIndices,
+            fields.l2ToL1MsgsIndices,
+            fields.privateLogsIndices,
+            fields.contractClassLogsHashesIndices
+        ];
+    }
+    static from(fields) {
+        return new SideEffectUniquenessHints(...SideEffectUniquenessHints.getFields(fields));
+    }
+    /**
+   * Serialize this as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(...SideEffectUniquenessHints.getFields(this));
+    }
+    /**
+   * Deserializes from a buffer or reader.
+   * @param buffer - Buffer or reader to read from.
+   * @returns The deserialized instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new SideEffectUniquenessHints(reader.readArray(TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL, SideEffectCounterRange), reader.readNumbers(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), reader.readNumbers(MAX_NULLIFIER_READ_REQUESTS_PER_CALL), reader.readNumbers(MAX_NOTE_HASHES_PER_CALL), reader.readNumbers(MAX_NULLIFIERS_PER_CALL), reader.readNumbers(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), reader.readNumbers(MAX_ENQUEUED_CALLS_PER_CALL), reader.readNumbers(MAX_L2_TO_L1_MSGS_PER_CALL), reader.readNumbers(MAX_PRIVATE_LOGS_PER_CALL), reader.readNumbers(MAX_CONTRACT_CLASS_LOGS_PER_CALL));
+    }
+}
+export class SideEffectCounterRange {
+    start;
+    end;
+    sideEffectGlobalIndex;
+    constructor(start, end, sideEffectGlobalIndex){
+        this.start = start;
+        this.end = end;
+        this.sideEffectGlobalIndex = sideEffectGlobalIndex;
+    }
+    static getFields(fields) {
+        return [
+            fields.start,
+            fields.end,
+            fields.sideEffectGlobalIndex
+        ];
+    }
+    static from(fields) {
+        return new SideEffectCounterRange(...SideEffectCounterRange.getFields(fields));
+    }
+    static empty() {
+        return new SideEffectCounterRange(0, 0, 0);
+    }
+    /**
+   * Serialize this as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(...SideEffectCounterRange.getFields(this));
+    }
+    /**
+   * Deserializes from a buffer or reader.
+   * @param buffer - Buffer or reader to read from.
+   * @returns The deserialized instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new SideEffectCounterRange(reader.readNumber(), reader.readNumber(), reader.readNumber());
+    }
+}

package/dest/kernel/private_call_request.d.ts

@@ -2,25 +2,10 @@ import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
 import { CallContext } from '../tx/call_context.js';
 export declare class PrivateCallRequest {
-    /**
-     * The call context of the call.
-     */
     callContext: CallContext;
-    /**
-     * The hash of the arguments of the call.
-     */
     argsHash: Fr;
-    /**
-     * The hash of the return values of the call.
-     */
     returnsHash: Fr;
-    /**
-     * The start counter of the call.
-     */
     startSideEffectCounter: number;
-    /**
-     * The end counter of the call.
-     */
     endSideEffectCounter: number;
     constructor(
     /**
@@ -52,4 +37,4 @@ export declare class PrivateCallRequest {
     equals(callRequest: PrivateCallRequest): boolean;
     toString(): string;
 }
-//# sourceMappingURL=private_call_request.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jYWxsX3JlcXVlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jYWxsX3JlcXVlc3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxZQUFZLEVBQUUsV0FBVyxFQUF3QyxNQUFNLDZCQUE2QixDQUFDO0FBRTlHLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUVwRCxxQkFBYSxrQkFBa0I7SUFLcEIsV0FBVyxFQUFFLFdBQVc7SUFJeEIsUUFBUSxFQUFFLEVBQUU7SUFJWixXQUFXLEVBQUUsRUFBRTtJQUlmLHNCQUFzQixFQUFFLE1BQU07SUFJOUIsb0JBQW9CLEVBQUUsTUFBTTtJQXBCckM7SUFDRTs7T0FFRztJQUNJLFdBQVcsRUFBRSxXQUFXO0lBQy9COztPQUVHO0lBQ0ksUUFBUSxFQUFFLEVBQUU7SUFDbkI7O09BRUc7SUFDSSxXQUFXLEVBQUUsRUFBRTtJQUN0Qjs7T0FFRztJQUNJLHNCQUFzQixFQUFFLE1BQU07SUFDckM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxNQUFNLEVBQ2pDO0lBRUosUUFBUSxJQUFJLEVBQUUsRUFBRSxDQVFmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxzQkFTM0M7SUFFRCxRQUFRLDRCQVFQO0lBRUQsT0FBYyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLHNCQVNyRDtJQUVELE9BQU8sWUFRTjtJQUVELE9BQWMsS0FBSyx1QkFFbEI7SUFFRCxNQUFNLENBQUMsV0FBVyxFQUFFLGtCQUFrQixXQVFyQztJQUVELFFBQVEsV0FFUDtDQUNGIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"private_call_request.d.ts","sourceRoot":"","sources":["../../src/kernel/private_call_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAE9G,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEpD,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,sBAAsB,EAAE,MAAM;IACrC;;OAEG;IACI,oBAAoB,EAAE,MAAM;;IAnBnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,sBAAsB,EAAE,MAAM;IACrC;;OAEG;IACI,oBAAoB,EAAE,MAAM;IAGrC,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAW5C,QAAQ;WAUM,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAWtD,OAAO;WAUO,KAAK;IAInB,MAAM,CAAC,WAAW,EAAE,kBAAkB;IAUtC,QAAQ;CAGT"}
+{"version":3,"file":"private_call_request.d.ts","sourceRoot":"","sources":["../../src/kernel/private_call_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAE9G,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEpD,qBAAa,kBAAkB;IAKpB,WAAW,EAAE,WAAW;IAIxB,QAAQ,EAAE,EAAE;IAIZ,WAAW,EAAE,EAAE;IAIf,sBAAsB,EAAE,MAAM;IAI9B,oBAAoB,EAAE,MAAM;IApBrC;IACE;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,sBAAsB,EAAE,MAAM;IACrC;;OAEG;IACI,oBAAoB,EAAE,MAAM,EACjC;IAEJ,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,sBAS3C;IAED,QAAQ,4BAQP;IAED,OAAc,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,sBASrD;IAED,OAAO,YAQN;IAED,OAAc,KAAK,uBAElB;IAED,MAAM,CAAC,WAAW,EAAE,kBAAkB,WAQrC;IAED,QAAQ,WAEP;CACF"}

package/dest/kernel/private_circuit_public_inputs.d.ts

@@ -12,7 +12,7 @@ import { CallContext } from '../tx/call_context.js';
 import { TxContext } from '../tx/tx_context.js';
 import type { UInt64 } from '../types/shared.js';
 import { ClaimedLengthArray } from './claimed_length_array.js';
-import { ReadRequest } from './hints/read_request.js';
+import { ScopedReadRequest } from './hints/read_request.js';
 import { NoteHash } from './note_hash.js';
 import { Nullifier } from './nullifier.js';
 import { CountedPublicCallRequest, PublicCallRequest } from './public_call_request.js';
@@ -20,93 +20,28 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
  * Public inputs to a private circuit.
  */
 export declare class PrivateCircuitPublicInputs {
-    /**
-     * Context of the call corresponding to this private circuit execution.
-     */
     callContext: CallContext;
-    /**
-     * Pedersen hash of function arguments.
-     */
     argsHash: Fr;
-    /**
-     * Pedersen hash of the return values of the corresponding function call.
-     */
     returnsHash: Fr;
-    /**
-     * The side-effect counter under which all side effects are non-revertible.
-     */
     minRevertibleSideEffectCounter: Fr;
-    /**
-     * Whether the caller of the function is the fee payer.
-     */
     isFeePayer: boolean;
-    /**
-     * The highest timestamp of a block in which the transaction can still be included.
-     */
     includeByTimestamp: UInt64;
-    /**
-     * Read requests created by the corresponding function call.
-     */
-    noteHashReadRequests: ClaimedLengthArray<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
-    /**
-     * Nullifier read requests created by the corresponding function call.
-     */
-    nullifierReadRequests: ClaimedLengthArray<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
-    /**
-     * Key validation requests and generators created by the corresponding function call.
-     */
+    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
+    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
     keyValidationRequestsAndGenerators: ClaimedLengthArray<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>;
-    /**
-     * New note hashes created by the corresponding function call.
-     */
     noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>;
-    /**
-     * New nullifiers created by the corresponding function call.
-     */
     nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
-    /**
-     * Private call requests made within the current kernel iteration.
-     */
     privateCallRequests: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>;
-    /**
-     * Public call stack at the current kernel iteration.
-     */
     publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>;
-    /**
-     * Hash of the public teardown function.
-     */
     publicTeardownCallRequest: PublicCallRequest;
-    /**
-     * New L2 to L1 messages created by the corresponding function call.
-     */
     l2ToL1Msgs: ClaimedLengthArray<CountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>;
-    /**
-     * Logs emitted in this function call.
-     */
     privateLogs: ClaimedLengthArray<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>;
-    /**
-     * Hash of the contract class logs emitted in this function call.
-     */
     contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
-    /**
-     * The side effect counter at the start of this call.
-     */
     startSideEffectCounter: Fr;
-    /**
-     * The end side effect counter for this call.
-     */
     endSideEffectCounter: Fr;
-    /**
-     * Header of a block whose state is used during private execution (not the block the transaction is included in).
-     */
+    expectedNonRevertibleSideEffectCounter: Fr;
+    expectedRevertibleSideEffectCounter: Fr;
     anchorBlockHeader: BlockHeader;
-    /**
-     * Transaction context.
-     *
-     * Note: The chainId and version in the txContext are not redundant to the values in self.anchor_block_header.global_variables because
-     * they can be different in case of a protocol upgrade. In such a situation we could be using header from a block
-     * before the upgrade took place but be using the updated protocol to execute and prove the transaction.
-     */
     txContext: TxContext;
     constructor(
     /**
@@ -136,11 +71,11 @@ export declare class PrivateCircuitPublicInputs {
     /**
      * Read requests created by the corresponding function call.
      */
-    noteHashReadRequests: ClaimedLengthArray<ReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>, 
+    noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>, 
     /**
      * Nullifier read requests created by the corresponding function call.
      */
-    nullifierReadRequests: ClaimedLengthArray<ReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>, 
+    nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>, 
     /**
      * Key validation requests and generators created by the corresponding function call.
      */
@@ -185,6 +120,14 @@ export declare class PrivateCircuitPublicInputs {
      * The end side effect counter for this call.
      */
     endSideEffectCounter: Fr, 
+    /**
+     * The expected non revertible side effect counter for this call.
+     */
+    expectedNonRevertibleSideEffectCounter: Fr, 
+    /**
+     * The expected revertible side effect counter for this call.
+     */
+    expectedRevertibleSideEffectCounter: Fr, 
     /**
      * Header of a block whose state is used during private execution (not the block the transaction is included in).
      */
@@ -221,7 +164,7 @@ export declare class PrivateCircuitPublicInputs {
      * @param fields - Object with fields.
      * @returns The array.
      */
-    static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, bigint, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<ReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndGenerator, 16>, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<PrivateCallRequest, 8>, ClaimedLengthArray<CountedPublicCallRequest, 32>, PublicCallRequest, ClaimedLengthArray<CountedL2ToL1Message, 8>, ClaimedLengthArray<PrivateLogData, 16>, ClaimedLengthArray<CountedLogHash, 1>, Fr, Fr, BlockHeader, TxContext];
+    static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, bigint, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndGenerator, 16>, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<PrivateCallRequest, 8>, ClaimedLengthArray<CountedPublicCallRequest, 32>, PublicCallRequest, ClaimedLengthArray<CountedL2ToL1Message, 8>, ClaimedLengthArray<PrivateLogData, 16>, ClaimedLengthArray<CountedLogHash, 1>, Fr, Fr, Fr, Fr, BlockHeader, TxContext];
     /**
      * Serialize this as a buffer.
      * @returns The buffer.
@@ -234,4 +177,4 @@ export declare class PrivateCircuitPublicInputs {
     toJSON(): Buffer<ArrayBufferLike>;
     static get schema(): import("zod").ZodType<PrivateCircuitPublicInputs, any, string>;
 }
-//# sourceMappingURL=private_circuit_public_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLGdDQUFnQyxFQUNoQywyQkFBMkIsRUFDM0Isb0NBQW9DLEVBQ3BDLDBCQUEwQixFQUMxQix3QkFBd0IsRUFDeEIsb0NBQW9DLEVBQ3BDLHVCQUF1QixFQUN2QixvQ0FBb0MsRUFDcEMsc0NBQXNDLEVBQ3RDLHlCQUF5QixFQUMxQixNQUFNLGtCQUFrQixDQUFDO0FBQzFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUU5QyxPQUFPLEVBQ0wsWUFBWSxFQUNaLFdBQVcsRUFJWixNQUFNLDZCQUE2QixDQUFDO0FBQ3JDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLHlEQUF5RCxDQUFDO0FBQzNHLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN2RSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDL0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDeEUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDaEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUNMLGtCQUFrQixFQUduQixNQUFNLDJCQUEyQixDQUFDO0FBQ25DLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUMxQyxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDM0MsT0FBTyxFQUFFLHdCQUF3QixFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFdkY7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFLNUIsV0FBVyxFQUFFLFdBQVc7SUFJeEIsUUFBUSxFQUFFLEVBQUU7SUFJWixXQUFXLEVBQUUsRUFBRTtJQUlmLDhCQUE4QixFQUFFLEVBQUU7SUFJbEMsVUFBVSxFQUFFLE9BQU87SUFJbkIsa0JBQWtCLEVBQUUsTUFBTTtJQUkxQixvQkFBb0IsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBSXhHLHFCQUFxQixFQUFFLGtCQUFrQixDQUFDLGlCQUFpQixFQUFFLE9BQU8sb0NBQW9DLENBQUM7SUFJekcsa0NBQWtDLEVBQUUsa0JBQWtCLENBQzNELGdDQUFnQyxFQUNoQyxPQUFPLG9DQUFvQyxDQUM1QztJQUlNLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxRQUFRLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUl6RSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsU0FBUyxFQUFFLE9BQU8sdUJBQXVCLENBQUM7SUFJekUsbUJBQW1CLEVBQUUsa0JBQWtCLENBQUMsa0JBQWtCLEVBQUUsT0FBTyxzQ0FBc0MsQ0FBQztJQUkxRyxrQkFBa0IsRUFBRSxrQkFBa0IsQ0FBQyx3QkFBd0IsRUFBRSxPQUFPLDJCQUEyQixDQUFDO0lBSXBHLHlCQUF5QixFQUFFLGlCQUFpQjtJQUk1QyxVQUFVLEVBQUUsa0JBQWtCLENBQUMsb0JBQW9CLEVBQUUsT0FBTywwQkFBMEIsQ0FBQztJQUl2RixXQUFXLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8seUJBQXlCLENBQUM7SUFJakYsdUJBQXVCLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8sZ0NBQWdDLENBQUM7SUFJcEcsc0JBQXNCLEVBQUUsRUFBRTtJQUkxQixvQkFBb0IsRUFBRSxFQUFFO0lBSXhCLHNDQUFzQyxFQUFFLEVBQUU7SUFJMUMsbUNBQW1DLEVBQUUsRUFBRTtJQUl2QyxpQkFBaUIsRUFBRSxXQUFXO0lBUTlCLFNBQVMsRUFBRSxTQUFTO0lBbkc3QjtJQUNFOztPQUVHO0lBQ0ksV0FBVyxFQUFFLFdBQVc7SUFDL0I7O09BRUc7SUFDSSxRQUFRLEVBQUUsRUFBRTtJQUNuQjs7T0FFRztJQUNJLFdBQVcsRUFBRSxFQUFFO0lBQ3RCOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxPQUFPO0lBQzFCOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUsTUFBTTtJQUNqQzs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGtCQUFrQixDQUFDLGlCQUFpQixFQUFFLE9BQU8sb0NBQW9DLENBQUM7SUFDL0c7O09BRUc7SUFDSSxxQkFBcUIsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQ2hIOztPQUVHO0lBQ0ksa0NBQWtDLEVBQUUsa0JBQWtCLENBQzNELGdDQUFnQyxFQUNoQyxPQUFPLG9DQUFvQyxDQUM1QztJQUNEOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFFBQVEsRUFBRSxPQUFPLHdCQUF3QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFNBQVMsRUFBRSxPQUFPLHVCQUF1QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsa0JBQWtCLENBQUMsa0JBQWtCLEVBQUUsT0FBTyxzQ0FBc0MsQ0FBQztJQUNqSDs7T0FFRztJQUNJLGtCQUFrQixFQUFFLGtCQUFrQixDQUFDLHdCQUF3QixFQUFFLE9BQU8sMkJBQTJCLENBQUM7SUFDM0c7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSxpQkFBaUI7SUFDbkQ7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsb0JBQW9CLEVBQUUsT0FBTywwQkFBMEIsQ0FBQztJQUM5Rjs7T0FFRztJQUNJLFdBQVcsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUN4Rjs7T0FFRztJQUNJLHVCQUF1QixFQUFFLGtCQUFrQixDQUFDLGNBQWMsRUFBRSxPQUFPLGdDQUFnQyxDQUFDO0lBQzNHOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsRUFBRTtJQUNqQzs7T0FFRztJQUNJLG9CQUFvQixFQUFFLEVBQUU7SUFDL0I7O09BRUc7SUFDSSxzQ0FBc0MsRUFBRSxFQUFFO0lBQ2pEOztPQUVHO0lBQ0ksbUNBQW1DLEVBQUUsRUFBRTtJQUM5Qzs7T0FFRztJQUNJLGlCQUFpQixFQUFFLFdBQVc7SUFDckM7Ozs7OztPQU1HO0lBQ0ksU0FBUyxFQUFFLFNBQVMsRUFDekI7SUFFSjs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDBCQUEwQixDQUFDLEdBQUcsMEJBQTBCLENBRXBGO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsMEJBQTBCLENBNkIzRTtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRywwQkFBMEIsQ0E2QnhFO0lBRUQ7OztPQUdHO0lBQ0gsT0FBYyxLQUFLLElBQUksMEJBQTBCLENBMEJoRDtJQUVELE9BQU8sWUEwQk47SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDBCQUEwQixDQUFDLGdpQkEwQjVEO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxJQUFJLE1BQU0sQ0E0QmpCO0lBRUQ7O09BRUc7SUFDSCxRQUFRLElBQUksRUFBRSxFQUFFLENBRWY7SUFFTSxNQUFNLDRCQUVaO0lBRUQsTUFBTSxLQUFLLE1BQU0sbUVBRWhCO0NBQ0YifQ==

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

@@ -1 +1 @@
-{"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EAIZ,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEvF;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IACzG;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC1G;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC3G;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;;IA1F3B;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IACzG;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC1G;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC3G;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAG7B;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IA6B5E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B;IA6BzE;;;OAGG;WACW,KAAK,IAAI,0BAA0B;IA0BjD,OAAO;IA0BP;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IA0B7D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IA4BlB;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE;IAIT,MAAM;IAIb,MAAM,KAAK,MAAM,mEAEhB;CACF"}
+{"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EAIZ,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEvF;;GAEG;AACH,qBAAa,0BAA0B;IAK5B,WAAW,EAAE,WAAW;IAIxB,QAAQ,EAAE,EAAE;IAIZ,WAAW,EAAE,EAAE;IAIf,8BAA8B,EAAE,EAAE;IAIlC,UAAU,EAAE,OAAO;IAInB,kBAAkB,EAAE,MAAM;IAI1B,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAIxG,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAIzG,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IAIM,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAIzE,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAIzE,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IAI1G,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAIpG,yBAAyB,EAAE,iBAAiB;IAI5C,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAIvF,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAIjF,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAIpG,sBAAsB,EAAE,EAAE;IAI1B,oBAAoB,EAAE,EAAE;IAIxB,sCAAsC,EAAE,EAAE;IAI1C,mCAAmC,EAAE,EAAE;IAIvC,iBAAiB,EAAE,WAAW;IAQ9B,SAAS,EAAE,SAAS;IAnG7B;IACE;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC3G;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS,EACzB;IAEJ;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B,CAEpF;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B,CA6B3E;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B,CA6BxE;IAED;;;OAGG;IACH,OAAc,KAAK,IAAI,0BAA0B,CA0BhD;IAED,OAAO,YA0BN;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,giBA0B5D;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CA4BjB;IAED;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE,CAEf;IAEM,MAAM,4BAEZ;IAED,MAAM,KAAK,MAAM,mEAEhB;CACF"}

package/dest/kernel/private_circuit_public_inputs.js

@@ -11,7 +11,7 @@ import { BlockHeader } from '../tx/block_header.js';
 import { CallContext } from '../tx/call_context.js';
 import { TxContext } from '../tx/tx_context.js';
 import { ClaimedLengthArray, ClaimedLengthArrayFromBuffer, ClaimedLengthArrayFromFields } from './claimed_length_array.js';
-import { ReadRequest } from './hints/read_request.js';
+import { ScopedReadRequest } from './hints/read_request.js';
 import { NoteHash } from './note_hash.js';
 import { Nullifier } from './nullifier.js';
 import { CountedPublicCallRequest, PublicCallRequest } from './public_call_request.js';
@@ -37,6 +37,8 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
     contractClassLogsHashes;
     startSideEffectCounter;
     endSideEffectCounter;
+    expectedNonRevertibleSideEffectCounter;
+    expectedRevertibleSideEffectCounter;
     anchorBlockHeader;
     txContext;
     constructor(/**
@@ -78,6 +80,10 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
      */ startSideEffectCounter, /**
      * The end side effect counter for this call.
      */ endSideEffectCounter, /**
+     * The expected non revertible side effect counter for this call.
+     */ expectedNonRevertibleSideEffectCounter, /**
+     * The expected revertible side effect counter for this call.
+     */ expectedRevertibleSideEffectCounter, /**
      * Header of a block whose state is used during private execution (not the block the transaction is included in).
      */ anchorBlockHeader, /**
      * Transaction context.
@@ -105,6 +111,8 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
         this.contractClassLogsHashes = contractClassLogsHashes;
         this.startSideEffectCounter = startSideEffectCounter;
         this.endSideEffectCounter = endSideEffectCounter;
+        this.expectedNonRevertibleSideEffectCounter = expectedNonRevertibleSideEffectCounter;
+        this.expectedRevertibleSideEffectCounter = expectedRevertibleSideEffectCounter;
         this.anchorBlockHeader = anchorBlockHeader;
         this.txContext = txContext;
     }
@@ -121,20 +129,20 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
    * @returns The deserialized instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readBoolean(), reader.readUInt64(), reader.readObject(ClaimedLengthArrayFromBuffer(ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromBuffer(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext));
+        return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readBoolean(), reader.readUInt64(), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromBuffer(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext));
     }
     static fromFields(fields) {
         const reader = FieldReader.asReader(fields);
-        return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readField(), reader.readBoolean(), reader.readU64(), reader.readObject(ClaimedLengthArrayFromFields(ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromFields(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext));
+        return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readField(), reader.readBoolean(), reader.readU64(), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromFields(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)), reader.readField(), reader.readField(), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext));
     }
     /**
    * Create an empty PrivateCircuitPublicInputs.
    * @returns An empty PrivateCircuitPublicInputs object.
    */ static empty() {
-        return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, Fr.ZERO, false, 0n, ClaimedLengthArray.empty(ReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(ReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL), ClaimedLengthArray.empty(NoteHash, MAX_NOTE_HASHES_PER_CALL), ClaimedLengthArray.empty(Nullifier, MAX_NULLIFIERS_PER_CALL), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL), PublicCallRequest.empty(), ClaimedLengthArray.empty(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL), ClaimedLengthArray.empty(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL), ClaimedLengthArray.empty(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty());
+        return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, Fr.ZERO, false, 0n, ClaimedLengthArray.empty(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL), ClaimedLengthArray.empty(NoteHash, MAX_NOTE_HASHES_PER_CALL), ClaimedLengthArray.empty(Nullifier, MAX_NULLIFIERS_PER_CALL), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL), PublicCallRequest.empty(), ClaimedLengthArray.empty(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL), ClaimedLengthArray.empty(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL), ClaimedLengthArray.empty(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL), Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty());
     }
     isEmpty() {
-        return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.includeByTimestamp && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndGenerators.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty() && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.anchorBlockHeader.isEmpty() && this.txContext.isEmpty();
+        return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.includeByTimestamp && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndGenerators.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty() && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.expectedNonRevertibleSideEffectCounter.isZero() && this.expectedRevertibleSideEffectCounter.isZero() && this.anchorBlockHeader.isEmpty() && this.txContext.isEmpty();
     }
     /**
    * Serialize into a field array. Low-level utility.
@@ -161,6 +169,8 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
             fields.contractClassLogsHashes,
             fields.startSideEffectCounter,
             fields.endSideEffectCounter,
+            fields.expectedNonRevertibleSideEffectCounter,
+            fields.expectedRevertibleSideEffectCounter,
             fields.anchorBlockHeader,
             fields.txContext
         ];
@@ -191,6 +201,8 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
             this.contractClassLogsHashes,
             this.startSideEffectCounter,
             this.endSideEffectCounter,
+            this.expectedNonRevertibleSideEffectCounter,
+            this.expectedRevertibleSideEffectCounter,
             this.anchorBlockHeader,
             this.txContext
         ]);