@aztec/simulator 1.0.0-nightly.20250708 → 1.0.0-nightly.20250709

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (5) hide show
  1. package/dest/public/avm/opcodes/comparators.js +1 -1
  2. package/dest/public/avm/opcodes/misc.js +1 -1
  3. package/package.json +15 -15
  4. package/src/public/avm/opcodes/comparators.ts +1 -1
  5. package/src/public/avm/opcodes/misc.ts +1 -1
package/dest/public/avm/opcodes/comparators.js CHANGED
@@ -13,7 +13,7 @@ class ComparatorInstruction extends ThreeOperandInstruction {
13
13
  this.dstOffset
14
14
  ];
15
15
  const [aOffset, bOffset, dstOffset] = addressing.resolve(operands, memory);
16
- memory.checkTagsAreSame(aOffset, bOffset);
16
+ memory.checkTagsAreSame(aOffset, bOffset); // Brillig semantic enforces that tags match.
17
17
  const a = memory.get(aOffset);
18
18
  const b = memory.get(bOffset);
19
19
  const dest = new Uint1(this.compare(a, b) ? 1 : 0);
package/dest/public/avm/opcodes/misc.js CHANGED
@@ -34,11 +34,11 @@ export class DebugLog extends Instruction {
34
34
  this.fieldsSizeOffset
35
35
  ];
36
36
  const [messageOffset, fieldsOffset, fieldsSizeOffset] = addressing.resolve(operands, memory);
37
- memory.checkTag(TypeTag.UINT32, fieldsSizeOffset);
38
37
  // DebugLog is a no-op except when doing client-initiated simulation with debug logging enabled.
39
38
  // Note that we still do address resolution and basic tag-checking (above)
40
39
  // To avoid a special-case in the witness generator and circuit.
41
40
  if (context.environment.clientInitiatedSimulation && DebugLog.logger.isLevelEnabled('verbose')) {
41
+ memory.checkTag(TypeTag.UINT32, fieldsSizeOffset);
42
42
  const fieldsSize = memory.get(fieldsSizeOffset).toNumber();
43
43
  const rawMessage = memory.getSlice(messageOffset, this.messageSize);
44
44
  const fields = memory.getSlice(fieldsOffset, fieldsSize);
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/simulator",
3
- "version": "1.0.0-nightly.20250708",
3
+ "version": "1.0.0-nightly.20250709",
4
4
  "type": "module",
5
5
  "exports": {
6
6
  "./server": "./dest/server.js",
@@ -62,25 +62,25 @@
62
62
  ]
63
63
  },
64
64
  "dependencies": {
65
- "@aztec/constants": "1.0.0-nightly.20250708",
66
- "@aztec/foundation": "1.0.0-nightly.20250708",
67
- "@aztec/noir-acvm_js": "1.0.0-nightly.20250708",
68
- "@aztec/noir-noirc_abi": "1.0.0-nightly.20250708",
69
- "@aztec/noir-protocol-circuits-types": "1.0.0-nightly.20250708",
70
- "@aztec/noir-types": "1.0.0-nightly.20250708",
71
- "@aztec/protocol-contracts": "1.0.0-nightly.20250708",
72
- "@aztec/stdlib": "1.0.0-nightly.20250708",
73
- "@aztec/telemetry-client": "1.0.0-nightly.20250708",
74
- "@aztec/world-state": "1.0.0-nightly.20250708",
65
+ "@aztec/constants": "1.0.0-nightly.20250709",
66
+ "@aztec/foundation": "1.0.0-nightly.20250709",
67
+ "@aztec/noir-acvm_js": "1.0.0-nightly.20250709",
68
+ "@aztec/noir-noirc_abi": "1.0.0-nightly.20250709",
69
+ "@aztec/noir-protocol-circuits-types": "1.0.0-nightly.20250709",
70
+ "@aztec/noir-types": "1.0.0-nightly.20250709",
71
+ "@aztec/protocol-contracts": "1.0.0-nightly.20250709",
72
+ "@aztec/stdlib": "1.0.0-nightly.20250709",
73
+ "@aztec/telemetry-client": "1.0.0-nightly.20250709",
74
+ "@aztec/world-state": "1.0.0-nightly.20250709",
75
75
  "lodash.clonedeep": "^4.5.0",
76
76
  "lodash.merge": "^4.6.2",
77
77
  "tslib": "^2.4.0"
78
78
  },
79
79
  "devDependencies": {
80
- "@aztec/kv-store": "1.0.0-nightly.20250708",
81
- "@aztec/merkle-tree": "1.0.0-nightly.20250708",
82
- "@aztec/noir-contracts.js": "1.0.0-nightly.20250708",
83
- "@aztec/noir-test-contracts.js": "1.0.0-nightly.20250708",
80
+ "@aztec/kv-store": "1.0.0-nightly.20250709",
81
+ "@aztec/merkle-tree": "1.0.0-nightly.20250709",
82
+ "@aztec/noir-contracts.js": "1.0.0-nightly.20250709",
83
+ "@aztec/noir-test-contracts.js": "1.0.0-nightly.20250709",
84
84
  "@jest/globals": "^30.0.0",
85
85
  "@types/jest": "^30.0.0",
86
86
  "@types/lodash.clonedeep": "^4.5.7",
package/src/public/avm/opcodes/comparators.ts CHANGED
@@ -15,7 +15,7 @@ abstract class ComparatorInstruction extends ThreeOperandInstruction {
15
15
 
16
16
  const operands = [this.aOffset, this.bOffset, this.dstOffset];
17
17
  const [aOffset, bOffset, dstOffset] = addressing.resolve(operands, memory);
18
- memory.checkTagsAreSame(aOffset, bOffset);
18
+ memory.checkTagsAreSame(aOffset, bOffset); // Brillig semantic enforces that tags match.
19
19
 
20
20
  const a = memory.get(aOffset);
21
21
  const b = memory.get(bOffset);
package/src/public/avm/opcodes/misc.ts CHANGED
@@ -41,12 +41,12 @@ export class DebugLog extends Instruction {
41
41
 
42
42
  const operands = [this.messageOffset, this.fieldsOffset, this.fieldsSizeOffset];
43
43
  const [messageOffset, fieldsOffset, fieldsSizeOffset] = addressing.resolve(operands, memory);
44
- memory.checkTag(TypeTag.UINT32, fieldsSizeOffset);
45
44
 
46
45
  // DebugLog is a no-op except when doing client-initiated simulation with debug logging enabled.
47
46
  // Note that we still do address resolution and basic tag-checking (above)
48
47
  // To avoid a special-case in the witness generator and circuit.
49
48
  if (context.environment.clientInitiatedSimulation && DebugLog.logger.isLevelEnabled('verbose')) {
49
+ memory.checkTag(TypeTag.UINT32, fieldsSizeOffset);
50
50
  const fieldsSize = memory.get(fieldsSizeOffset).toNumber();
51
51
 
52
52
  const rawMessage = memory.getSlice(messageOffset, this.messageSize);