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

package/dest/kernel/private_accumulated_data.d.ts

@@ -1,9 +1,8 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_ENQUEUED_CALLS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec/constants';
-import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
-import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
-import { ScopedLogHash } from './log_hash.js';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { ScopedCountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { ClaimedLengthArray } from './claimed_length_array.js';
+import { ScopedCountedLogHash } from './log_hash.js';
 import { ScopedNoteHash } from './note_hash.js';
 import { ScopedNullifier } from './nullifier.js';
 import { PrivateCallRequest } from './private_call_request.js';
@@ -14,66 +13,44 @@ import { CountedPublicCallRequest } from './public_call_request.js';
  *  in the final public inputs of private kernel circuit.
  */
 export declare class PrivateAccumulatedData {
-    /**
-     * The new note hashes made in this transaction.
-     */
-    noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>;
-    /**
-     * The new nullifiers made in this transaction.
-     */
-    nullifiers: Tuple<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>;
-    /**
-     * All the new L2 to L1 messages created in this transaction.
-     */
-    l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>;
-    /**
-     * Accumulated logs from all the previous kernel iterations.
-     */
-    privateLogs: Tuple<ScopedPrivateLogData, typeof MAX_PRIVATE_LOGS_PER_TX>;
-    /**
-     * Accumulated contract class logs from all the previous kernel iterations.
-     * Note: Truncated to 31 bytes to fit in Fr.
-     */
-    contractClassLogsHashes: Tuple<ScopedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>;
-    /**
-     * Accumulated public call requests from all the previous kernel iterations.
-     */
-    publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>;
-    /**
-     * Current private call stack.
-     */
-    privateCallStack: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX>;
+    noteHashes: ClaimedLengthArray<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>;
+    nullifiers: ClaimedLengthArray<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>;
+    l2ToL1Msgs: ClaimedLengthArray<ScopedCountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>;
+    privateLogs: ClaimedLengthArray<ScopedPrivateLogData, typeof MAX_PRIVATE_LOGS_PER_TX>;
+    contractClassLogsHashes: ClaimedLengthArray<ScopedCountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>;
+    publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>;
+    privateCallStack: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX>;
     constructor(
     /**
      * The new note hashes made in this transaction.
      */
-    noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, 
+    noteHashes: ClaimedLengthArray<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, 
     /**
      * The new nullifiers made in this transaction.
      */
-    nullifiers: Tuple<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>, 
+    nullifiers: ClaimedLengthArray<ScopedNullifier, typeof MAX_NULLIFIERS_PER_TX>, 
     /**
      * All the new L2 to L1 messages created in this transaction.
      */
-    l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>, 
+    l2ToL1Msgs: ClaimedLengthArray<ScopedCountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>, 
     /**
      * Accumulated logs from all the previous kernel iterations.
      */
-    privateLogs: Tuple<ScopedPrivateLogData, typeof MAX_PRIVATE_LOGS_PER_TX>, 
+    privateLogs: ClaimedLengthArray<ScopedPrivateLogData, typeof MAX_PRIVATE_LOGS_PER_TX>, 
     /**
      * Accumulated contract class logs from all the previous kernel iterations.
      * Note: Truncated to 31 bytes to fit in Fr.
      */
-    contractClassLogsHashes: Tuple<ScopedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>, 
+    contractClassLogsHashes: ClaimedLengthArray<ScopedCountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_TX>, 
     /**
      * Accumulated public call requests from all the previous kernel iterations.
      */
-    publicCallRequests: Tuple<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>, 
+    publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>, 
     /**
      * Current private call stack.
      */
-    privateCallStack: Tuple<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX>);
-    toBuffer(): Buffer;
+    privateCallStack: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX>);
+    toBuffer(): Buffer<ArrayBufferLike>;
     toString(): `0x${string}`;
     /**
      * Deserializes from a buffer or reader, corresponding to a write in cpp.
@@ -89,4 +66,4 @@ export declare class PrivateAccumulatedData {
     static fromString(str: string): PrivateAccumulatedData;
     static empty(): PrivateAccumulatedData;
 }
-//# sourceMappingURL=private_accumulated_data.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9hY2N1bXVsYXRlZF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMva2VybmVsL3ByaXZhdGVfYWNjdW11bGF0ZWRfZGF0YS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wsOEJBQThCLEVBQzlCLHlCQUF5QixFQUN6Qix3QkFBd0IsRUFDeEIsc0JBQXNCLEVBQ3RCLHFCQUFxQixFQUNyQixvQ0FBb0MsRUFDcEMsdUJBQXVCLEVBQ3hCLE1BQU0sa0JBQWtCLENBQUM7QUFDMUIsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUc5RSxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUM5RSxPQUFPLEVBQUUsa0JBQWtCLEVBQWdDLE1BQU0sMkJBQTJCLENBQUM7QUFDN0YsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sZUFBZSxDQUFDO0FBQ3JELE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUNoRCxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDakQsT0FBTyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDL0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDN0QsT0FBTyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFcEU7OztHQUdHO0FBQ0gscUJBQWEsc0JBQXNCO0lBS3hCLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyxzQkFBc0IsQ0FBQztJQUk3RSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsZUFBZSxFQUFFLE9BQU8scUJBQXFCLENBQUM7SUFJN0UsVUFBVSxFQUFFLGtCQUFrQixDQUFDLDBCQUEwQixFQUFFLE9BQU8sd0JBQXdCLENBQUM7SUFJM0YsV0FBVyxFQUFFLGtCQUFrQixDQUFDLG9CQUFvQixFQUFFLE9BQU8sdUJBQXVCLENBQUM7SUFLckYsdUJBQXVCLEVBQUUsa0JBQWtCLENBQUMsb0JBQW9CLEVBQUUsT0FBTyw4QkFBOEIsQ0FBQztJQUl4RyxrQkFBa0IsRUFBRSxrQkFBa0IsQ0FBQyx3QkFBd0IsRUFBRSxPQUFPLHlCQUF5QixDQUFDO0lBSWxHLGdCQUFnQixFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixFQUFFLE9BQU8sb0NBQW9DLENBQUM7SUE3QjlHO0lBQ0U7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8sc0JBQXNCLENBQUM7SUFDcEY7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsZUFBZSxFQUFFLE9BQU8scUJBQXFCLENBQUM7SUFDcEY7O09BRUc7SUFDSSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsMEJBQTBCLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUNsRzs7T0FFRztJQUNJLFdBQVcsRUFBRSxrQkFBa0IsQ0FBQyxvQkFBb0IsRUFBRSxPQUFPLHVCQUF1QixDQUFDO0lBQzVGOzs7T0FHRztJQUNJLHVCQUF1QixFQUFFLGtCQUFrQixDQUFDLG9CQUFvQixFQUFFLE9BQU8sOEJBQThCLENBQUM7SUFDL0c7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxrQkFBa0IsQ0FBQyx3QkFBd0IsRUFBRSxPQUFPLHlCQUF5QixDQUFDO0lBQ3pHOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUsa0JBQWtCLENBQUMsa0JBQWtCLEVBQUUsT0FBTyxvQ0FBb0MsQ0FBQyxFQUMxRztJQUVKLFFBQVEsNEJBVVA7SUFFRCxRQUFRLGtCQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsc0JBQXNCLENBV3ZFO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sMEJBRTVCO0lBRUQsTUFBTSxDQUFDLEtBQUssMkJBVVg7Q0FDRiJ9

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

@@ -1 +1 @@
-{"version":3,"file":"private_accumulated_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_accumulated_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EACL,8BAA8B,EAC9B,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,oCAAoC,EACpC,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAEpE;;;GAGG;AACH,qBAAa,sBAAsB;IAE/B;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC;IACvE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC;IACvE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;IAC/E;;;OAGG;IACI,uBAAuB,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,yBAAyB,CAAC;IAC5F;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,oCAAoC,CAAC;;IA5B/F;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC;IACvE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC;IACvE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;IAC/E;;;OAGG;IACI,uBAAuB,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,yBAAyB,CAAC;IAC5F;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,oCAAoC,CAAC;IAGjG,QAAQ;IAYR,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAaxE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;CAWb"}
+{"version":3,"file":"private_accumulated_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_accumulated_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,8BAA8B,EAC9B,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,oCAAoC,EACpC,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,EAAE,kBAAkB,EAAgC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAEpE;;;GAGG;AACH,qBAAa,sBAAsB;IAKxB,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC;IAI7E,UAAU,EAAE,kBAAkB,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC;IAI7E,UAAU,EAAE,kBAAkB,CAAC,0BAA0B,EAAE,OAAO,wBAAwB,CAAC;IAI3F,WAAW,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;IAKrF,uBAAuB,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,8BAA8B,CAAC;IAIxG,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,yBAAyB,CAAC;IAIlG,gBAAgB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,oCAAoC,CAAC;IA7B9G;IACE;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC;IACpF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,eAAe,EAAE,OAAO,qBAAqB,CAAC;IACpF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,0BAA0B,EAAE,OAAO,wBAAwB,CAAC;IAClG;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,uBAAuB,CAAC;IAC5F;;;OAGG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,8BAA8B,CAAC;IAC/G;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,yBAAyB,CAAC;IACzG;;OAEG;IACI,gBAAgB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,oCAAoC,CAAC,EAC1G;IAEJ,QAAQ,4BAUP;IAED,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB,CAWvE;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,0BAE5B;IAED,MAAM,CAAC,KAAK,2BAUX;CACF"}

package/dest/kernel/private_accumulated_data.js

@@ -1,9 +1,9 @@
 import { MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_ENQUEUED_CALLS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec/constants';
-import { makeTuple } from '@aztec/foundation/array';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
-import { ScopedLogHash } from './log_hash.js';
+import { ScopedCountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
+import { ClaimedLengthArray, ClaimedLengthArrayFromBuffer } from './claimed_length_array.js';
+import { ScopedCountedLogHash } from './log_hash.js';
 import { ScopedNoteHash } from './note_hash.js';
 import { ScopedNullifier } from './nullifier.js';
 import { PrivateCallRequest } from './private_call_request.js';
@@ -56,7 +56,7 @@ import { CountedPublicCallRequest } from './public_call_request.js';
    * @returns Deserialized object.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateAccumulatedData(reader.readArray(MAX_NOTE_HASHES_PER_TX, ScopedNoteHash), reader.readArray(MAX_NULLIFIERS_PER_TX, ScopedNullifier), reader.readArray(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_TX, ScopedPrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedLogHash), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, CountedPublicCallRequest), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX, PrivateCallRequest));
+        return new PrivateAccumulatedData(reader.readObject(ClaimedLengthArrayFromBuffer(ScopedNoteHash, MAX_NOTE_HASHES_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedNullifier, MAX_NULLIFIERS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedCountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedPrivateLogData, MAX_PRIVATE_LOGS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedCountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_TX)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX)));
     }
     /**
    * Deserializes from a string, corresponding to a write in cpp.
@@ -66,6 +66,6 @@ import { CountedPublicCallRequest } from './public_call_request.js';
         return PrivateAccumulatedData.fromBuffer(hexToBuffer(str));
     }
     static empty() {
-        return new PrivateAccumulatedData(makeTuple(MAX_NOTE_HASHES_PER_TX, ScopedNoteHash.empty), makeTuple(MAX_NULLIFIERS_PER_TX, ScopedNullifier.empty), makeTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message.empty), makeTuple(MAX_PRIVATE_LOGS_PER_TX, ScopedPrivateLogData.empty), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedLogHash.empty), makeTuple(MAX_ENQUEUED_CALLS_PER_TX, CountedPublicCallRequest.empty), makeTuple(MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX, PrivateCallRequest.empty));
+        return new PrivateAccumulatedData(ClaimedLengthArray.empty(ScopedNoteHash, MAX_NOTE_HASHES_PER_TX), ClaimedLengthArray.empty(ScopedNullifier, MAX_NULLIFIERS_PER_TX), ClaimedLengthArray.empty(ScopedCountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_TX), ClaimedLengthArray.empty(ScopedPrivateLogData, MAX_PRIVATE_LOGS_PER_TX), ClaimedLengthArray.empty(ScopedCountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_TX), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_TX), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_TX));
     }
 }

package/dest/kernel/private_call_data.d.ts

@@ -1,31 +1,22 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { FUNCTION_TREE_HEIGHT, PROTOCOL_CONTRACT_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 { SharedMutableValues } from '../shared_mutable/shared_mutable_values.js';
-import { ProtocolContractLeafPreimage, PublicDataTreeLeafPreimage } from '../trees/index.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.
@@ -38,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.
@@ -59,36 +54,11 @@ 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>;
-    /**
-     * The membership witness for the protocolContractLeaf.
-     */
-    protocolContractMembershipWitness: MembershipWitness<typeof PROTOCOL_CONTRACT_TREE_HEIGHT>;
-    /**
-     * The leaf of the protocol contract tree, of either:
-     *  The protocol contract being called.
-     *  The low leaf showing that the address of the contract being called is not in the tree.
-     */
-    protocolContractLeaf: ProtocolContractLeafPreimage;
     updatedClassIdHints: UpdatedClassIdHints;
     constructor(
     /**
@@ -110,23 +80,13 @@ export declare class PrivateVerificationKeyHints {
     /**
      * The membership witness for the function leaf corresponding to the function being invoked.
      */
-    functionLeafMembershipWitness: MembershipWitness<typeof FUNCTION_TREE_HEIGHT>, 
-    /**
-     * The membership witness for the protocolContractLeaf.
-     */
-    protocolContractMembershipWitness: MembershipWitness<typeof PROTOCOL_CONTRACT_TREE_HEIGHT>, 
-    /**
-     * The leaf of the protocol contract tree, of either:
-     *  The protocol contract being called.
-     *  The low leaf showing that the address of the contract being called is not in the tree.
-     */
-    protocolContractLeaf: ProtocolContractLeafPreimage, updatedClassIdHints: UpdatedClassIdHints);
+    functionLeafMembershipWitness: MembershipWitness<typeof FUNCTION_TREE_HEIGHT>, updatedClassIdHints: UpdatedClassIdHints);
     /**
      * Serialize into a field array. Low-level utility.
      * @param fields - Object with fields.
      * @returns The array.
      */
-    static getFields(fields: FieldsOf<PrivateVerificationKeyHints>): readonly [Fr, Fr, PublicKeys, Fr, MembershipWitness<5>, MembershipWitness<3>, ProtocolContractLeafPreimage, UpdatedClassIdHints];
+    static getFields(fields: FieldsOf<PrivateVerificationKeyHints>): readonly [Fr, Fr, PublicKeys, Fr, MembershipWitness<7>, UpdatedClassIdHints];
     static from(fields: FieldsOf<PrivateVerificationKeyHints>): PrivateVerificationKeyHints;
     /**
      * Serialize this as a buffer.
@@ -143,9 +103,9 @@ export declare class PrivateVerificationKeyHints {
 export declare class UpdatedClassIdHints {
     updatedClassIdWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>;
     updatedClassIdLeaf: PublicDataTreeLeafPreimage;
-    updatedClassIdValues: SharedMutableValues;
-    constructor(updatedClassIdWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>, updatedClassIdLeaf: PublicDataTreeLeafPreimage, updatedClassIdValues: SharedMutableValues);
-    static getFields(fields: FieldsOf<UpdatedClassIdHints>): readonly [MembershipWitness<40>, PublicDataTreeLeafPreimage, SharedMutableValues];
+    updatedClassIdValues: DelayedPublicMutableValues;
+    constructor(updatedClassIdWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>, updatedClassIdLeaf: PublicDataTreeLeafPreimage, updatedClassIdValues: DelayedPublicMutableValues);
+    static getFields(fields: FieldsOf<UpdatedClassIdHints>): readonly [MembershipWitness<40>, PublicDataTreeLeafPreimage, DelayedPublicMutableValues];
     static from(fields: FieldsOf<UpdatedClassIdHints>): UpdatedClassIdHints;
     /**
      * Serialize this as a buffer.
@@ -159,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,EACL,oBAAoB,EACpB,6BAA6B,EAC7B,uBAAuB,EAExB,MAAM,kBAAkB,CAAC;AAC1B,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,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACjF,OAAO,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC7F,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;IACpF;;OAEG;IACI,iCAAiC,EAAE,iBAAiB,CAAC,OAAO,6BAA6B,CAAC;IACjG;;;;OAIG;IACI,oBAAoB,EAAE,4BAA4B;IAElD,mBAAmB,EAAE,mBAAmB;;IA/B/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;IACpF;;OAEG;IACI,iCAAiC,EAAE,iBAAiB,CAAC,OAAO,6BAA6B,CAAC;IACjG;;;;OAIG;IACI,oBAAoB,EAAE,4BAA4B,EAElD,mBAAmB,EAAE,mBAAmB;IAGjD;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAa9D,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;CAa9E;AAED,qBAAa,mBAAmB;IAErB,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IACxE,kBAAkB,EAAE,0BAA0B;IAC9C,oBAAoB,EAAE,mBAAmB;gBAFzC,qBAAqB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACxE,kBAAkB,EAAE,0BAA0B,EAC9C,oBAAoB,EAAE,mBAAmB;IAGlD,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,10 +1,10 @@
-import { FUNCTION_TREE_HEIGHT, PROTOCOL_CONTRACT_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';
+import { DelayedPublicMutableValues } from '../delayed_public_mutable/delayed_public_mutable_values.js';
 import { PublicKeys } from '../keys/public_keys.js';
-import { SharedMutableValues } from '../shared_mutable/shared_mutable_values.js';
-import { ProtocolContractLeafPreimage, PublicDataTreeLeafPreimage } from '../trees/index.js';
+import { PublicDataTreeLeafPreimage } from '../trees/index.js';
 import { VerificationKeyAsFields } from '../vks/verification_key.js';
 import { PrivateCircuitPublicInputs } from './private_circuit_public_inputs.js';
 /**
@@ -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 {
@@ -59,8 +64,6 @@ export class PrivateVerificationKeyHints {
     publicKeys;
     saltedInitializationHash;
     functionLeafMembershipWitness;
-    protocolContractMembershipWitness;
-    protocolContractLeaf;
     updatedClassIdHints;
     constructor(/**
      * Artifact hash of the contract class for this private call.
@@ -72,20 +75,12 @@ export class PrivateVerificationKeyHints {
      * Salted initialization hash of the contract instance.
      */ saltedInitializationHash, /**
      * The membership witness for the function leaf corresponding to the function being invoked.
-     */ functionLeafMembershipWitness, /**
-     * The membership witness for the protocolContractLeaf.
-     */ protocolContractMembershipWitness, /**
-     * The leaf of the protocol contract tree, of either:
-     *  The protocol contract being called.
-     *  The low leaf showing that the address of the contract being called is not in the tree.
-     */ protocolContractLeaf, updatedClassIdHints){
+     */ functionLeafMembershipWitness, updatedClassIdHints){
         this.contractClassArtifactHash = contractClassArtifactHash;
         this.contractClassPublicBytecodeCommitment = contractClassPublicBytecodeCommitment;
         this.publicKeys = publicKeys;
         this.saltedInitializationHash = saltedInitializationHash;
         this.functionLeafMembershipWitness = functionLeafMembershipWitness;
-        this.protocolContractMembershipWitness = protocolContractMembershipWitness;
-        this.protocolContractLeaf = protocolContractLeaf;
         this.updatedClassIdHints = updatedClassIdHints;
     }
     /**
@@ -99,8 +94,6 @@ export class PrivateVerificationKeyHints {
             fields.publicKeys,
             fields.saltedInitializationHash,
             fields.functionLeafMembershipWitness,
-            fields.protocolContractMembershipWitness,
-            fields.protocolContractLeaf,
             fields.updatedClassIdHints
         ];
     }
@@ -119,7 +112,7 @@ export class PrivateVerificationKeyHints {
    * @returns The deserialized instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new PrivateVerificationKeyHints(reader.readObject(Fr), reader.readObject(Fr), reader.readObject(PublicKeys), reader.readObject(Fr), reader.readObject(MembershipWitness.deserializer(FUNCTION_TREE_HEIGHT)), reader.readObject(MembershipWitness.deserializer(PROTOCOL_CONTRACT_TREE_HEIGHT)), reader.readObject(ProtocolContractLeafPreimage), reader.readObject(UpdatedClassIdHints));
+        return new PrivateVerificationKeyHints(reader.readObject(Fr), reader.readObject(Fr), reader.readObject(PublicKeys), reader.readObject(Fr), reader.readObject(MembershipWitness.deserializer(FUNCTION_TREE_HEIGHT)), reader.readObject(UpdatedClassIdHints));
     }
 }
 export class UpdatedClassIdHints {
@@ -155,8 +148,104 @@ export class UpdatedClassIdHints {
         const reader = BufferReader.asReader(buffer);
         return new UpdatedClassIdHints(reader.readObject(MembershipWitness.deserializer(PUBLIC_DATA_TREE_HEIGHT)), reader.readObject(PublicDataTreeLeafPreimage), reader.readObject({
             fromBuffer (reader) {
-                return SharedMutableValues.fromBuffer(reader, UPDATES_VALUE_SIZE);
+                return DelayedPublicMutableValues.fromBuffer(reader, UPDATES_VALUE_SIZE);
             }
         }));
     }
 }
+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

@@ -1,28 +1,11 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 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(
     /**
@@ -47,11 +30,11 @@ export declare class PrivateCallRequest {
     endSideEffectCounter: number);
     toFields(): Fr[];
     static fromFields(fields: Fr[] | FieldReader): PrivateCallRequest;
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     static fromBuffer(buffer: Buffer | BufferReader): PrivateCallRequest;
     isEmpty(): boolean;
     static empty(): PrivateCallRequest;
     equals(callRequest: PrivateCallRequest): boolean;
     toString(): string;
 }
-//# sourceMappingURL=private_call_request.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jYWxsX3JlcXVlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jYWxsX3JlcXVlc3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxZQUFZLEVBQUUsV0FBVyxFQUF3QyxNQUFNLDZCQUE2QixDQUFDO0FBRTlHLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUVwRCxxQkFBYSxrQkFBa0I7SUFLcEIsV0FBVyxFQUFFLFdBQVc7SUFJeEIsUUFBUSxFQUFFLEVBQUU7SUFJWixXQUFXLEVBQUUsRUFBRTtJQUlmLHNCQUFzQixFQUFFLE1BQU07SUFJOUIsb0JBQW9CLEVBQUUsTUFBTTtJQXBCckM7SUFDRTs7T0FFRztJQUNJLFdBQVcsRUFBRSxXQUFXO0lBQy9COztPQUVHO0lBQ0ksUUFBUSxFQUFFLEVBQUU7SUFDbkI7O09BRUc7SUFDSSxXQUFXLEVBQUUsRUFBRTtJQUN0Qjs7T0FFRztJQUNJLHNCQUFzQixFQUFFLE1BQU07SUFDckM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxNQUFNLEVBQ2pDO0lBRUosUUFBUSxJQUFJLEVBQUUsRUFBRSxDQVFmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxzQkFTM0M7SUFFRCxRQUFRLDRCQVFQO0lBRUQsT0FBYyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLHNCQVNyRDtJQUVELE9BQU8sWUFRTjtJQUVELE9BQWMsS0FBSyx1QkFFbEI7SUFFRCxNQUFNLENBQUMsV0FBVyxFQUFFLGtCQUFrQixXQVFyQztJQUVELFFBQVEsV0FFUDtDQUNGIn0=