@aztec/pxe 3.0.0-nightly.20251127 → 3.0.0-nightly.20251201.2

package/dest/synchronizer/synchronizer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"synchronizer.d.ts","sourceRoot":"","sources":["../../src/synchronizer/synchronizer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,KAAK,kBAAkB,EAAE,KAAK,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAC7G,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAEjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AAC5F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2DAA2D,CAAC;AAErG;;;;GAIG;AACH,qBAAa,YAAa,YAAW,yBAAyB;IAM1D,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,WAAW;IATrB,OAAO,CAAC,GAAG,CAAS;IACpB,OAAO,CAAC,SAAS,CAA4B;IAC7C,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;gBAGpC,IAAI,EAAE,SAAS,EACf,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,gBAAgB,EAClC,mBAAmB,EAAE,mBAAmB,EACxC,WAAW,EAAE,aAAa,EAClC,MAAM,GAAE,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAM,EACzD,cAAc,CAAC,EAAE,MAAM,GAAG,MAAM;IASlC,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IAShF,iDAAiD;IACpC,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC;IAkC7E;;;OAGG;IACU,IAAI;YAiBH,MAAM;IAeb,qBAAqB;CAG7B"}
+{"version":3,"file":"synchronizer.d.ts","sourceRoot":"","sources":["../../src/synchronizer/synchronizer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,KAAK,kBAAkB,EAAE,KAAK,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAC7G,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAEjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AAC5F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2DAA2D,CAAC;AAErG;;;;GAIG;AACH,qBAAa,YAAa,YAAW,yBAAyB;IAM1D,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,WAAW;IATrB,OAAO,CAAC,GAAG,CAAS;IACpB,OAAO,CAAC,SAAS,CAA4B;IAC7C,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;IAE9C,YACU,IAAI,EAAE,SAAS,EACf,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,gBAAgB,EAClC,mBAAmB,EAAE,mBAAmB,EACxC,WAAW,EAAE,aAAa,EAClC,MAAM,GAAE,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAM,EACzD,cAAc,CAAC,EAAE,MAAM,GAAG,MAAM,EAOjC;IAED,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC,iBAO/E;IAED,iDAAiD;IACpC,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAgC5E;IAED;;;OAGG;IACU,IAAI,kBAehB;YAEa,MAAM;IAeb,qBAAqB,oBAE3B;CACF"}

package/dest/tagging/constants.d.ts

@@ -1,2 +1,2 @@
 export declare const WINDOW_HALF_SIZE = 10;
-//# sourceMappingURL=constants.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uc3RhbnRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdGFnZ2luZy9jb25zdGFudHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsZUFBTyxNQUFNLGdCQUFnQixLQUFLLENBQUMifQ==

package/dest/tagging/index.d.ts

@@ -4,4 +4,4 @@ export * from './siloed_tag.js';
 export * from './utils.js';
 export { DirectionalAppTaggingSecret } from '@aztec/stdlib/logs';
 export { type PreTag } from '@aztec/stdlib/logs';
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90YWdnaW5nL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsVUFBVSxDQUFDO0FBQ3pCLGNBQWMsZ0JBQWdCLENBQUM7QUFDL0IsY0FBYyxpQkFBaUIsQ0FBQztBQUNoQyxjQUFjLFlBQVksQ0FBQztBQUMzQixPQUFPLEVBQUUsMkJBQTJCLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNqRSxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQyJ9

package/dest/tagging/siloed_tag.d.ts

@@ -11,4 +11,4 @@ export declare class SiloedTag {
     static compute(tag: Tag, app: AztecAddress): Promise<SiloedTag>;
     toString(): string;
 }
-//# sourceMappingURL=siloed_tag.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2lsb2VkX3RhZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RhZ2dpbmcvc2lsb2VkX3RhZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUNuRCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRSxPQUFPLEtBQUssRUFBRSxHQUFHLEVBQUUsTUFBTSxVQUFVLENBQUM7QUFFcEM7OztHQUdHO0FBQ0gscUJBQWEsU0FBUzthQUNnQixLQUFLLEVBQUUsRUFBRTtJQUE3QyxPQUFPLGVBQTBDO0lBRWpELE9BQWEsT0FBTyxDQUFDLEdBQUcsRUFBRSxHQUFHLEVBQUUsR0FBRyxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsU0FBUyxDQUFDLENBR3BFO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FFakI7Q0FDRiJ9

package/dest/tagging/siloed_tag.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"siloed_tag.d.ts","sourceRoot":"","sources":["../../src/tagging/siloed_tag.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAEpC;;;GAGG;AACH,qBAAa,SAAS;aACgB,KAAK,EAAE,EAAE;IAA7C,OAAO;WAEM,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC;IAKrE,QAAQ,IAAI,MAAM;CAGnB"}
+{"version":3,"file":"siloed_tag.d.ts","sourceRoot":"","sources":["../../src/tagging/siloed_tag.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAEpC;;;GAGG;AACH,qBAAa,SAAS;aACgB,KAAK,EAAE,EAAE;IAA7C,OAAO,eAA0C;IAEjD,OAAa,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,CAGpE;IAED,QAAQ,IAAI,MAAM,CAEjB;CACF"}

package/dest/tagging/tag.d.ts

@@ -9,4 +9,4 @@ export declare class Tag {
     private constructor();
     static compute(preTag: PreTag): Promise<Tag>;
 }
-//# sourceMappingURL=tag.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGFnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdGFnZ2luZy90YWcudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDbkQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFakQ7OztHQUdHO0FBQ0gscUJBQWEsR0FBRzthQUNzQixLQUFLLEVBQUUsRUFBRTtJQUE3QyxPQUFPLGVBQTBDO0lBRWpELE9BQWEsT0FBTyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLEdBQUcsQ0FBQyxDQUdqRDtDQUNGIn0=

package/dest/tagging/tag.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tag.d.ts","sourceRoot":"","sources":["../../src/tagging/tag.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;GAGG;AACH,qBAAa,GAAG;aACsB,KAAK,EAAE,EAAE;IAA7C,OAAO;WAEM,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC;CAInD"}
+{"version":3,"file":"tag.d.ts","sourceRoot":"","sources":["../../src/tagging/tag.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;GAGG;AACH,qBAAa,GAAG;aACsB,KAAK,EAAE,EAAE;IAA7C,OAAO,eAA0C;IAEjD,OAAa,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAGjD;CACF"}

package/dest/tagging/utils.d.ts

@@ -15,4 +15,4 @@ export declare function getInitialIndexesMap(preTags: {
 }[]): {
     [k: string]: number;
 };
-//# sourceMappingURL=utils.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXRpbHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90YWdnaW5nL3V0aWxzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLDJCQUEyQixFQUFFLE1BQU0sRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRzlFLHdCQUFnQixzQkFBc0IsQ0FDcEMsaUJBQWlCLEVBQUU7SUFBRSxNQUFNLEVBQUUsMkJBQTJCLENBQUM7SUFBQyxhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQUMsY0FBYyxFQUFFLE1BQU0sQ0FBQTtDQUFFLEVBQUUsR0FDMUcsTUFBTSxFQUFFLENBUVY7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLG9CQUFvQixDQUFDLE9BQU8sRUFBRTtJQUFFLE1BQU0sRUFBRSwyQkFBMkIsQ0FBQztJQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFBO0NBQUUsRUFBRSxHQUFHO0lBQ25ILENBQUMsQ0FBQyxFQUFFLE1BQU0sR0FBRyxNQUFNLENBQUM7Q0FDckIsQ0FRQSJ9

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/pxe",
-  "version": "3.0.0-nightly.20251127",
+  "version": "3.0.0-nightly.20251201.2",
   "type": "module",
   "exports": {
     "./server": "./dest/entrypoints/server/index.js",
@@ -11,8 +11,8 @@
   },
   "bin": "./dest/bin/index.js",
   "scripts": {
-    "build": "yarn clean && yarn generate && tsc -b",
-    "build:dev": "tsc -b --watch",
+    "build": "yarn clean && yarn generate && tsgo -b",
+    "build:dev": "tsgo -b --watch",
     "clean": "rm -rf ./dest .tsbuildinfo ./src/config/package_info.ts",
     "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}",
     "generate": "node ./scripts/generate_package_info.js",
@@ -61,19 +61,19 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb-prover": "3.0.0-nightly.20251127",
-    "@aztec/bb.js": "3.0.0-nightly.20251127",
-    "@aztec/builder": "3.0.0-nightly.20251127",
-    "@aztec/constants": "3.0.0-nightly.20251127",
-    "@aztec/ethereum": "3.0.0-nightly.20251127",
-    "@aztec/foundation": "3.0.0-nightly.20251127",
-    "@aztec/key-store": "3.0.0-nightly.20251127",
-    "@aztec/kv-store": "3.0.0-nightly.20251127",
-    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251127",
-    "@aztec/noir-types": "3.0.0-nightly.20251127",
-    "@aztec/protocol-contracts": "3.0.0-nightly.20251127",
-    "@aztec/simulator": "3.0.0-nightly.20251127",
-    "@aztec/stdlib": "3.0.0-nightly.20251127",
+    "@aztec/bb-prover": "3.0.0-nightly.20251201.2",
+    "@aztec/bb.js": "3.0.0-nightly.20251201.2",
+    "@aztec/builder": "3.0.0-nightly.20251201.2",
+    "@aztec/constants": "3.0.0-nightly.20251201.2",
+    "@aztec/ethereum": "3.0.0-nightly.20251201.2",
+    "@aztec/foundation": "3.0.0-nightly.20251201.2",
+    "@aztec/key-store": "3.0.0-nightly.20251201.2",
+    "@aztec/kv-store": "3.0.0-nightly.20251201.2",
+    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251201.2",
+    "@aztec/noir-types": "3.0.0-nightly.20251201.2",
+    "@aztec/protocol-contracts": "3.0.0-nightly.20251201.2",
+    "@aztec/simulator": "3.0.0-nightly.20251201.2",
+    "@aztec/stdlib": "3.0.0-nightly.20251201.2",
     "koa": "^2.16.1",
     "koa-router": "^13.1.1",
     "lodash.omit": "^4.5.0",
@@ -82,13 +82,14 @@
     "viem": "npm:@aztec/viem@2.38.2"
   },
   "devDependencies": {
-    "@aztec/merkle-tree": "3.0.0-nightly.20251127",
-    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251127",
+    "@aztec/merkle-tree": "3.0.0-nightly.20251201.2",
+    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251201.2",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/lodash.omit": "^4.5.7",
     "@types/lodash.times": "^4.3.9",
     "@types/node": "^22.15.17",
+    "@typescript/native-preview": "7.0.0-dev.20251126.1",
     "jest": "^30.0.0",
     "jest-mock-extended": "^4.0.0",
     "lodash.times": "^4.3.2",

package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts

@@ -42,7 +42,7 @@ export class LogRetrievalResponse {
     return range(serializationLen).map(_ => Fr.zero());
   }
 
-  static toSerializedOption(response?: LogRetrievalResponse): Fr[] {
+  static toSerializedOption(response: LogRetrievalResponse | null): Fr[] {
     if (response) {
       return [new Fr(1), ...response.toFields()];
     } else {

package/src/contract_function_simulator/pxe_oracle_interface.ts

@@ -756,7 +756,7 @@ export class PXEOracleInterface implements ExecutionDataProvider {
             privateLog.firstNullifierInTx,
           );
         } else {
-          null;
+          return null;
         }
       }),
     );

package/src/private_kernel/hints/compute_side_effect_uniqueness_hints.ts

@@ -0,0 +1,173 @@
+import {
+  GLOBAL_INDEX_CONTRACT_CLASS_LOG_HASH_OFFSET,
+  GLOBAL_INDEX_L2_TO_L1_MSG_OFFSET,
+  GLOBAL_INDEX_NOTE_HASH_OFFSET,
+  GLOBAL_INDEX_NOTE_HASH_READ_REQUEST_OFFSET,
+  GLOBAL_INDEX_NULLIFIER_OFFSET,
+  GLOBAL_INDEX_NULLIFIER_READ_REQUEST_OFFSET,
+  GLOBAL_INDEX_PRIVATE_CALL_REQUEST_OFFSET,
+  GLOBAL_INDEX_PRIVATE_LOG_OFFSET,
+  GLOBAL_INDEX_PUBLIC_CALL_REQUEST_OFFSET,
+  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,
+  TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL,
+} from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { padArrayEnd } from '@aztec/foundation/collection';
+import type { Serializable } from '@aztec/foundation/serialize';
+import {
+  ClaimedLengthArray,
+  PrivateCallRequest,
+  type PrivateCircuitPublicInputs,
+  SideEffectCounterRange,
+  SideEffectUniquenessHints,
+} from '@aztec/stdlib/kernel';
+
+export function computeSideEffectUniquenessHints(publicInputs: PrivateCircuitPublicInputs): SideEffectUniquenessHints {
+  let sideEffectRanges: SideEffectCounterRange[] = [];
+
+  sideEffectRanges = sideEffectRanges.concat(
+    createRangesFromClaimedLengthArray(
+      publicInputs.noteHashReadRequests,
+      GLOBAL_INDEX_NOTE_HASH_READ_REQUEST_OFFSET,
+      createRangeFromCountedItem,
+    ),
+  );
+  sideEffectRanges = sideEffectRanges.concat(
+    createRangesFromClaimedLengthArray(
+      publicInputs.nullifierReadRequests,
+      GLOBAL_INDEX_NULLIFIER_READ_REQUEST_OFFSET,
+      createRangeFromCountedItem,
+    ),
+  );
+  sideEffectRanges = sideEffectRanges.concat(
+    createRangesFromClaimedLengthArray(
+      publicInputs.noteHashes,
+      GLOBAL_INDEX_NOTE_HASH_OFFSET,
+      createRangeFromCountedItem,
+    ),
+  );
+  sideEffectRanges = sideEffectRanges.concat(
+    createRangesFromClaimedLengthArray(
+      publicInputs.nullifiers,
+      GLOBAL_INDEX_NULLIFIER_OFFSET,
+      createRangeFromCountedItem,
+    ),
+  );
+  sideEffectRanges = sideEffectRanges.concat(
+    createRangesFromClaimedLengthArray(
+      publicInputs.privateCallRequests,
+      GLOBAL_INDEX_PRIVATE_CALL_REQUEST_OFFSET,
+      createRangeFromPrivateCallRequest,
+    ),
+  );
+  sideEffectRanges = sideEffectRanges.concat(
+    createRangesFromClaimedLengthArray(
+      publicInputs.publicCallRequests,
+      GLOBAL_INDEX_PUBLIC_CALL_REQUEST_OFFSET,
+      createRangeFromCountedItem,
+    ),
+  );
+  sideEffectRanges = sideEffectRanges.concat(
+    createRangesFromClaimedLengthArray(
+      publicInputs.l2ToL1Msgs,
+      GLOBAL_INDEX_L2_TO_L1_MSG_OFFSET,
+      createRangeFromCountedItem,
+    ),
+  );
+  sideEffectRanges = sideEffectRanges.concat(
+    createRangesFromClaimedLengthArray(
+      publicInputs.privateLogs,
+      GLOBAL_INDEX_PRIVATE_LOG_OFFSET,
+      createRangeFromCountedItem,
+    ),
+  );
+  sideEffectRanges = sideEffectRanges.concat(
+    createRangesFromClaimedLengthArray(
+      publicInputs.contractClassLogsHashes,
+      GLOBAL_INDEX_CONTRACT_CLASS_LOG_HASH_OFFSET,
+      createRangeFromCountedItem,
+    ),
+  );
+
+  sideEffectRanges.sort((a, b) => a.start - b.start);
+
+  const sideEffectRangeIndices = makeTuple(TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL, () => 0);
+  for (let i = 0; i < sideEffectRanges.length; i++) {
+    const range = sideEffectRanges[i];
+    sideEffectRangeIndices[range.sideEffectGlobalIndex] = i;
+  }
+
+  const hints = SideEffectUniquenessHints.from({
+    sideEffectRanges: padArrayEnd(
+      sideEffectRanges,
+      SideEffectCounterRange.empty(),
+      TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL,
+    ),
+    noteHashReadRequestIndices: makeTuple(
+      MAX_NOTE_HASH_READ_REQUESTS_PER_CALL,
+      i => sideEffectRangeIndices[i + GLOBAL_INDEX_NOTE_HASH_READ_REQUEST_OFFSET],
+    ),
+    nullifierReadRequestIndices: makeTuple(
+      MAX_NULLIFIER_READ_REQUESTS_PER_CALL,
+      i => sideEffectRangeIndices[i + GLOBAL_INDEX_NULLIFIER_READ_REQUEST_OFFSET],
+    ),
+    noteHashesIndices: makeTuple(
+      MAX_NOTE_HASHES_PER_CALL,
+      i => sideEffectRangeIndices[i + GLOBAL_INDEX_NOTE_HASH_OFFSET],
+    ),
+    nullifiersIndices: makeTuple(
+      MAX_NULLIFIERS_PER_CALL,
+      i => sideEffectRangeIndices[i + GLOBAL_INDEX_NULLIFIER_OFFSET],
+    ),
+    privateCallRequestsIndices: makeTuple(
+      MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL,
+      i => sideEffectRangeIndices[i + GLOBAL_INDEX_PRIVATE_CALL_REQUEST_OFFSET],
+    ),
+    publicCallRequestsIndices: makeTuple(
+      MAX_ENQUEUED_CALLS_PER_CALL,
+      i => sideEffectRangeIndices[i + GLOBAL_INDEX_PUBLIC_CALL_REQUEST_OFFSET],
+    ),
+    l2ToL1MsgsIndices: makeTuple(
+      MAX_L2_TO_L1_MSGS_PER_CALL,
+      i => sideEffectRangeIndices[i + GLOBAL_INDEX_L2_TO_L1_MSG_OFFSET],
+    ),
+    privateLogsIndices: makeTuple(
+      MAX_PRIVATE_LOGS_PER_CALL,
+      i => sideEffectRangeIndices[i + GLOBAL_INDEX_PRIVATE_LOG_OFFSET],
+    ),
+    contractClassLogsHashesIndices: makeTuple(
+      MAX_CONTRACT_CLASS_LOGS_PER_CALL,
+      i => sideEffectRangeIndices[i + GLOBAL_INDEX_CONTRACT_CLASS_LOG_HASH_OFFSET],
+    ),
+  });
+
+  return hints;
+}
+
+function createRangesFromClaimedLengthArray<T extends Serializable, N extends number>(
+  array: ClaimedLengthArray<T, N>,
+  globalIndexOffset: number,
+  rangeConstructor: (item: T, globalIndex: number) => SideEffectCounterRange,
+): SideEffectCounterRange[] {
+  const ranges = [];
+  for (let i = 0; i < array.claimedLength; i++) {
+    ranges.push(rangeConstructor(array.array[i], globalIndexOffset + i));
+  }
+  return ranges;
+}
+
+function createRangeFromCountedItem(item: { counter: number }, globalIndex: number): SideEffectCounterRange {
+  return new SideEffectCounterRange(item.counter, item.counter, globalIndex);
+}
+
+function createRangeFromPrivateCallRequest(item: PrivateCallRequest, globalIndex: number): SideEffectCounterRange {
+  return new SideEffectCounterRange(item.startSideEffectCounter, item.endSideEffectCounter, globalIndex);
+}

package/src/private_kernel/private_kernel_execution_prover.ts

@@ -35,6 +35,7 @@ import {
 import { VerificationKeyAsFields, VerificationKeyData, VkData } from '@aztec/stdlib/vks';
 
 import { PrivateKernelResetPrivateInputsBuilder } from './hints/build_private_kernel_reset_private_inputs.js';
+import { computeSideEffectUniquenessHints } from './hints/compute_side_effect_uniqueness_hints.js';
 import type { PrivateKernelOracle } from './private_kernel_oracle.js';
 
 const NULL_SIMULATE_OUTPUT: PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs> = {
@@ -415,6 +416,9 @@ export class PrivateKernelExecutionProver {
       await this.oracle.getContractClassIdPreimage(currentContractClassId);
 
     const updatedClassIdHints = await this.oracle.getUpdatedClassIdHints(contractAddress);
+
+    const sideEffectUniquenessHints = computeSideEffectUniquenessHints(publicInputs);
+
     return PrivateCallData.from({
       publicInputs,
       vk,
@@ -426,6 +430,7 @@ export class PrivateKernelExecutionProver {
         functionLeafMembershipWitness,
         updatedClassIdHints,
       }),
+      sideEffectUniquenessHints,
     });
   }
 }