@aztec/simulator 3.0.0-nightly.20251217 → 3.0.0-nightly.20251219

package/dest/public/fuzzing/avm_simulator_bin.js

@@ -60,6 +60,7 @@ async function execute(base64Line) {
         });
         writeSync(process.stdout.fd, resultBuffer.toString('base64') + '\n');
     } catch (error) {
+        // If we error, treat as reverted
         const errorResult = serializeWithMessagePack({
             reverted: true,
             output: [],

package/dest/public/public_tx_simulator/contract_provider_for_cpp.js

@@ -13,7 +13,7 @@ export class ContractProviderForCpp {
         this.globalVariables = globalVariables;
         this.log = createLogger('simulator:contract_provider_for_cpp');
         this.getContractInstance = async (address)=>{
-            this.log.debug(`Contract provider callback: getContractInstance(${address})`);
+            this.log.trace(`Contract provider callback: getContractInstance(${address})`);
             const aztecAddr = AztecAddress.fromString(address);
             const instance = await this.contractsDB.getContractInstance(aztecAddr, this.globalVariables.timestamp);
             if (!instance) {
@@ -23,7 +23,7 @@ export class ContractProviderForCpp {
             return serializeWithMessagePack(instance);
         };
         this.getContractClass = async (classId)=>{
-            this.log.debug(`Contract provider callback: getContractClass(${classId})`);
+            this.log.trace(`Contract provider callback: getContractClass(${classId})`);
             // Parse classId string to Fr
             const classIdFr = Fr.fromString(classId);
             // Fetch contract class from the contracts DB
@@ -35,16 +35,16 @@ export class ContractProviderForCpp {
             return serializeWithMessagePack(contractClass);
         };
         this.addContracts = async (contractDeploymentDataBuffer)=>{
-            this.log.debug(`Contract provider callback: addContracts`);
+            this.log.trace(`Contract provider callback: addContracts`);
             const rawData = deserializeFromMessagePack(contractDeploymentDataBuffer);
             // Construct ContractDeploymentData from plain object.
             const contractDeploymentData = ContractDeploymentData.fromPlainObject(rawData);
             // Add contracts to the contracts DB
-            this.log.debug(`Calling contractsDB.addContracts`);
+            this.log.trace(`Calling contractsDB.addContracts`);
             await this.contractsDB.addContracts(contractDeploymentData);
         };
         this.getBytecodeCommitment = async (classId)=>{
-            this.log.debug(`Contract provider callback: getBytecodeCommitment(${classId})`);
+            this.log.trace(`Contract provider callback: getBytecodeCommitment(${classId})`);
             // Parse classId string to Fr
             const classIdFr = Fr.fromString(classId);
             // Fetch bytecode commitment from the contracts DB
@@ -57,33 +57,33 @@ export class ContractProviderForCpp {
             return serializeWithMessagePack(commitment);
         };
         this.getDebugFunctionName = async (address, selector)=>{
-            this.log.debug(`Contract provider callback: getDebugFunctionName(${address}, ${selector})`);
+            this.log.trace(`Contract provider callback: getDebugFunctionName(${address}, ${selector})`);
             // Parse address and selector strings
             const aztecAddr = AztecAddress.fromString(address);
             const selectorFr = Fr.fromString(selector);
             const functionSelector = FunctionSelector.fromFieldOrUndefined(selectorFr);
             if (!functionSelector) {
-                this.log.debug(`calldata[0] is not a function selector: ${selector}`);
+                this.log.trace(`calldata[0] is not a function selector: ${selector}`);
                 return undefined;
             }
             // Fetch debug function name from the contracts DB
             const name = await this.contractsDB.getDebugFunctionName(aztecAddr, functionSelector);
             if (!name) {
-                this.log.debug(`Debug function name not found for ${address}:${selector}`);
+                this.log.trace(`Debug function name not found for ${address}:${selector}`);
                 return undefined;
             }
             return name;
         };
         this.createCheckpoint = ()=>{
-            this.log.debug(`Contract provider callback: createCheckpoint`);
+            this.log.trace(`Contract provider callback: createCheckpoint`);
             return Promise.resolve(this.contractsDB.createCheckpoint());
         };
         this.commitCheckpoint = ()=>{
-            this.log.debug(`Contract provider callback: commitCheckpoint`);
+            this.log.trace(`Contract provider callback: commitCheckpoint`);
             return Promise.resolve(this.contractsDB.commitCheckpoint());
         };
         this.revertCheckpoint = ()=>{
-            this.log.debug(`Contract provider callback: revertCheckpoint`);
+            this.log.trace(`Contract provider callback: revertCheckpoint`);
             return Promise.resolve(this.contractsDB.revertCheckpoint());
         };
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/simulator",
-  "version": "3.0.0-nightly.20251217",
+  "version": "3.0.0-nightly.20251219",
   "type": "module",
   "exports": {
     "./server": "./dest/server.js",
@@ -64,26 +64,26 @@
     ]
   },
   "dependencies": {
-    "@aztec/constants": "3.0.0-nightly.20251217",
-    "@aztec/foundation": "3.0.0-nightly.20251217",
-    "@aztec/native": "3.0.0-nightly.20251217",
-    "@aztec/noir-acvm_js": "3.0.0-nightly.20251217",
-    "@aztec/noir-noirc_abi": "3.0.0-nightly.20251217",
-    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251217",
-    "@aztec/noir-types": "3.0.0-nightly.20251217",
-    "@aztec/protocol-contracts": "3.0.0-nightly.20251217",
-    "@aztec/stdlib": "3.0.0-nightly.20251217",
-    "@aztec/telemetry-client": "3.0.0-nightly.20251217",
-    "@aztec/world-state": "3.0.0-nightly.20251217",
+    "@aztec/constants": "3.0.0-nightly.20251219",
+    "@aztec/foundation": "3.0.0-nightly.20251219",
+    "@aztec/native": "3.0.0-nightly.20251219",
+    "@aztec/noir-acvm_js": "3.0.0-nightly.20251219",
+    "@aztec/noir-noirc_abi": "3.0.0-nightly.20251219",
+    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251219",
+    "@aztec/noir-types": "3.0.0-nightly.20251219",
+    "@aztec/protocol-contracts": "3.0.0-nightly.20251219",
+    "@aztec/stdlib": "3.0.0-nightly.20251219",
+    "@aztec/telemetry-client": "3.0.0-nightly.20251219",
+    "@aztec/world-state": "3.0.0-nightly.20251219",
     "lodash.clonedeep": "^4.5.0",
     "lodash.merge": "^4.6.2",
     "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/kv-store": "3.0.0-nightly.20251217",
-    "@aztec/merkle-tree": "3.0.0-nightly.20251217",
-    "@aztec/noir-contracts.js": "3.0.0-nightly.20251217",
-    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251217",
+    "@aztec/kv-store": "3.0.0-nightly.20251219",
+    "@aztec/merkle-tree": "3.0.0-nightly.20251219",
+    "@aztec/noir-contracts.js": "3.0.0-nightly.20251219",
+    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251219",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/lodash.clonedeep": "^4.5.7",

package/src/public/avm/avm_memory_types.ts

@@ -416,7 +416,7 @@ const TAG_FOR_MEM_VAL = new Map<string, TypeTag>([
   ['Uint128', TypeTag.UINT128],
 ]);
 
-export const VALID_TAGS = new Set([
+const VALID_TAGS = new Set([
   TypeTag.FIELD,
   TypeTag.UINT1,
   TypeTag.UINT8,
@@ -426,7 +426,7 @@ export const VALID_TAGS = new Set([
   TypeTag.UINT128,
 ]);
 
-export const INTEGRAL_TAGS = new Set([
+const INTEGRAL_TAGS = new Set([
   TypeTag.UINT1,
   TypeTag.UINT8,
   TypeTag.UINT16,

package/src/public/fixtures/custom_bytecode_tests.ts

@@ -2,7 +2,7 @@ import { strict as assert } from 'assert';
 
 import { TypeTag } from '../avm/avm_memory_types.js';
 import { Addressing, AddressingMode } from '../avm/opcodes/addressing_mode.js';
-import { CalldataCopy, Jump, Return, Set } from '../avm/opcodes/index.js';
+import { Add, CalldataCopy, Jump, Return, Set } from '../avm/opcodes/index.js';
 import { encodeToBytecode } from '../avm/serialization/bytecode_serialization.js';
 import {
   MAX_OPCODE_VALUE,
@@ -55,6 +55,66 @@ export async function addressingWithIndirectTagIssueTest(tester: PublicTxSimulat
   return await deployAndExecuteCustomBytecode(bytecode, tester, txLabel);
 }
 
+// First instruction sets a value 10 with tag U32 at offset 1 (direct, no relative).
+// Then an ADD_16 instruction uses INDIRECT addressing for the first operand (offset 1)
+// and RELATIVE addressing for the second operand (offset 2). The indirect addressing
+// succeeds (reads U32 value 10 from offset 1, uses it as address), but the relative
+// addressing fails because the base address at offset 0 has the wrong tag (uninitialized/invalid).
+export async function addressingWithIndirectThenRelativeTagIssueTest(tester: PublicTxSimulationTester) {
+  const addressingMode = Addressing.fromModes([
+    AddressingMode.INDIRECT, // First operand (aOffset) uses indirect addressing, no relative
+    AddressingMode.RELATIVE, // Second operand (bOffset) uses relative addressing
+    AddressingMode.DIRECT, // Third operand (dstOffset) uses direct addressing
+  ]);
+
+  const bytecode = encodeToBytecode([
+    // Set a U32 value 10 at offset 1 - this will be used as an indirect address
+    new Set(/*indirect=*/ 0, /*dstOffset=*/ 1, TypeTag.UINT32, /*value=*/ 10).as(Opcode.SET_32, Set.wireFormat32),
+    // ADD_16: first operand uses indirect addressing (reads from offset 1, gets value 10, uses as address - succeeds)
+    //         second operand uses relative addressing (tries to read base from offset 0, but offset 0 has wrong tag - fails)
+    new Add(/*indirect=*/ addressingMode.toWire(), /*aOffset=*/ 1, /*bOffset=*/ 2, /*dstOffset=*/ 3).as(
+      Opcode.ADD_16,
+      Add.wireFormat16,
+    ),
+    new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
+  ]);
+
+  const txLabel = 'AddressingWithIndirectThenRelativeTagInvalid';
+  return await deployAndExecuteCustomBytecode(bytecode, tester, txLabel);
+}
+
+// First instruction sets UINT32_MAX at offset 0 (base address) with tag U32.
+// Then an ADD_8 instruction uses INDIRECT_RELATIVE addressing for the first operand (offset 1)
+// and INDIRECT addressing for the second operand (offset 2). The relative addressing
+// for the first operand will overflow (UINT32_MAX + 1 >= MAX_MEMORY_SIZE), causing the instruction to fail.
+// The second operand will also fail (indirect addressing from offset 2 which is uninitialized with tag FF).
+export async function addressingWithRelativeOverflowAndIndirectTagIssueTest(tester: PublicTxSimulationTester) {
+  const addressingMode = Addressing.fromModes([
+    AddressingMode.INDIRECT_RELATIVE, // First operand (aOffset) uses both indirect and relative addressing
+    AddressingMode.INDIRECT, // Second operand (bOffset) uses indirect addressing only
+    AddressingMode.DIRECT, // Third operand (dstOffset) uses direct addressing
+  ]);
+
+  // UINT32_MAX = 2^32 - 1 = 4294967295
+  const UINT32_MAX = 0xffffffff;
+
+  const bytecode = encodeToBytecode([
+    // Set UINT32_MAX at offset 0 as base address - this will cause overflow when adding relative offset 1
+    new Set(/*indirect=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ UINT32_MAX).as(
+      Opcode.SET_32,
+      Set.wireFormat32,
+    ),
+    new Add(/*indirect=*/ addressingMode.toWire(), /*aOffset=*/ 1, /*bOffset=*/ 2, /*dstOffset=*/ 3).as(
+      Opcode.ADD_8,
+      Add.wireFormat8,
+    ),
+    new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
+  ]);
+
+  const txLabel = 'AddressingWithRelativeOverflowAndIndirectTagInvalid';
+  return await deployAndExecuteCustomBytecode(bytecode, tester, txLabel);
+}
+
 export async function pcOutOfRangeTest(tester: PublicTxSimulationTester) {
   const bytecode = encodeToBytecode([
     new Jump(/*jumpOffset=*/ 123), // Jump to out-of-range pc offset.