@aztec/simulator 3.0.0-devnet.2 → 3.0.0-manual.20251030

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 (9) hide show
  1. package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -1
  2. package/dest/public/avm/opcodes/ec_add.js +1 -2
  3. package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
  4. package/dest/public/avm/opcodes/external_calls.js +0 -1
  5. package/dest/public/fixtures/utils.js +3 -3
  6. package/package.json +16 -16
  7. package/src/public/avm/opcodes/ec_add.ts +1 -2
  8. package/src/public/avm/opcodes/external_calls.ts +0 -1
  9. package/src/public/fixtures/utils.ts +3 -3
package/dest/public/avm/opcodes/ec_add.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"ec_add.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/ec_add.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,KAAM,SAAQ,WAAW;IAkBlC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,SAAS;IAxBnB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAW;IAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;IAGtC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAUvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAwDzD"}
1
+ {"version":3,"file":"ec_add.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/ec_add.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,KAAM,SAAQ,WAAW;IAkBlC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,SAAS;IAxBnB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAW;IAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;IAGtC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAUvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAuDzD"}
package/dest/public/avm/opcodes/ec_add.js CHANGED
@@ -62,14 +62,13 @@ export class EcAdd extends Instruction {
62
62
  if (!p2.isOnGrumpkin()) {
63
63
  throw new EcAddPointNotOnCurveError(/*pointIndex=*/ 2, p2);
64
64
  }
65
- const grumpkin = new Grumpkin();
66
65
  let dest;
67
66
  if (p1IsInfinite) {
68
67
  dest = p2;
69
68
  } else if (p2IsInfinite) {
70
69
  dest = p1;
71
70
  } else {
72
- dest = await grumpkin.add(p1, p2);
71
+ dest = await Grumpkin.add(p1, p2);
73
72
  }
74
73
  // Important to use setSlice() and not set() in the two following statements as
75
74
  // this checks that the offsets lie within memory range.
package/dest/public/avm/opcodes/external_calls.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"external_calls.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/external_calls.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,uBAAe,YAAa,SAAQ,WAAW;IAa3C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,UAAU;IAhBpB,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAQvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM;IAKf,OAAO,CAAC,OAAO,EAAE,UAAU;IA6ExC,aAA6B,IAAI,IAAI,MAAM,GAAG,YAAY,CAAC;CAC5D;AAED,qBAAa,IAAK,SAAQ,YAAY;IACpC,MAAM,CAAC,IAAI,EAAG,MAAM,CAAU;IAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAe;IAE7C,IAAW,IAAI,WAEd;CACF;AAED,qBAAa,UAAW,SAAQ,YAAY;IAC1C,MAAM,CAAC,IAAI,EAAG,YAAY,CAAU;IACpC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAqB;IAEnD,IAAW,IAAI,iBAEd;CACF;AAED,qBAAa,WAAY,SAAQ,WAAW;IAWxC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IAXnB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAiB;IACpC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAsB;IAEpD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAIvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAiBzD;AAED,qBAAa,MAAO,SAAQ,WAAW;IAYnC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,YAAY;IAbtB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAY;IAC/B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAiB;IAE/C,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAKvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,YAAY,EAAE,MAAM;IAKjB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAmBxC,SAAS,IAAI,OAAO;CAGrC;AAED,qBAAa,MAAO,SAAQ,WAAW;IAkBnC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,YAAY;IAnBtB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAY;IAC/B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAmB;IAEjD,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,EAAE,CAKxC;IACF,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,CAKzC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM;IAKjB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAoBxC,SAAS,IAAI,OAAO;CAGrC"}
1
+ {"version":3,"file":"external_calls.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/external_calls.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,uBAAe,YAAa,SAAQ,WAAW;IAa3C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,UAAU;IAhBpB,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAQvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM;IAKf,OAAO,CAAC,OAAO,EAAE,UAAU;IA4ExC,aAA6B,IAAI,IAAI,MAAM,GAAG,YAAY,CAAC;CAC5D;AAED,qBAAa,IAAK,SAAQ,YAAY;IACpC,MAAM,CAAC,IAAI,EAAG,MAAM,CAAU;IAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAe;IAE7C,IAAW,IAAI,WAEd;CACF;AAED,qBAAa,UAAW,SAAQ,YAAY;IAC1C,MAAM,CAAC,IAAI,EAAG,YAAY,CAAU;IACpC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAqB;IAEnD,IAAW,IAAI,iBAEd;CACF;AAED,qBAAa,WAAY,SAAQ,WAAW;IAWxC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IAXnB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAiB;IACpC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAsB;IAEpD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAIvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAiBzD;AAED,qBAAa,MAAO,SAAQ,WAAW;IAYnC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,YAAY;IAbtB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAY;IAC/B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAiB;IAE/C,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAKvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,YAAY,EAAE,MAAM;IAKjB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAmBxC,SAAS,IAAI,OAAO;CAGrC;AAED,qBAAa,MAAO,SAAQ,WAAW;IAkBnC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,YAAY;IAnBtB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAY;IAC/B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAmB;IAEjD,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,EAAE,CAKxC;IACF,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,CAKzC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM;IAKjB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAoBxC,SAAS,IAAI,OAAO;CAGrC"}
package/dest/public/avm/opcodes/external_calls.js CHANGED
@@ -40,7 +40,6 @@ class ExternalCall extends Instruction {
40
40
  memory.checkTag(TypeTag.UINT32, argsSizeOffset);
41
41
  const calldataSize = memory.get(argsSizeOffset).toNumber();
42
42
  const calldata = memory.getSlice(argsOffset, calldataSize).map((f)=>f.toFr());
43
- memory.checkTagsRange(TypeTag.FIELD, argsOffset, calldataSize);
44
43
  const callAddress = memory.getAs(addrOffset);
45
44
  // If we are already in a static call, we propagate the environment.
46
45
  const callType = context.environment.isStaticCall ? 'STATICCALL' : this.type;
package/dest/public/fixtures/utils.js CHANGED
@@ -8,7 +8,7 @@ import { Gas, GasFees, GasSettings } from '@aztec/stdlib/gas';
8
8
  import { siloNullifier } from '@aztec/stdlib/hash';
9
9
  import { LogHash, PartialPrivateTailPublicInputsForPublic, PartialPrivateTailPublicInputsForRollup, PrivateKernelTailCircuitPublicInputs, countAccumulatedItems } from '@aztec/stdlib/kernel';
10
10
  import { ContractClassLogFields, PrivateLog } from '@aztec/stdlib/logs';
11
- import { ClientIvcProof } from '@aztec/stdlib/proofs';
11
+ import { ChonkProof } from '@aztec/stdlib/proofs';
12
12
  import { BlockHeader, GlobalVariables, HashedValues, Tx, TxConstantData, TxContext } from '@aztec/stdlib/tx';
13
13
  import { strict as assert } from 'assert';
14
14
  /**
@@ -86,7 +86,7 @@ import { strict as assert } from 'assert';
86
86
  ].map((r)=>new HashedValues(r.calldata, r.request.calldataHash));
87
87
  return await Tx.create({
88
88
  data: txData,
89
- clientIvcProof: ClientIvcProof.random(),
89
+ chonkProof: ChonkProof.random(),
90
90
  contractClassLogFields: [],
91
91
  publicFunctionCalldata: calldata
92
92
  });
@@ -103,7 +103,7 @@ export async function createTxForPrivateOnly(feePayer = AztecAddress.zero(), gas
103
103
  const txData = new PrivateKernelTailCircuitPublicInputs(constantData, /*gasUsed=*/ gasUsedByPrivate, feePayer, includeByTimestamp, /*forPublic=*/ undefined, forRollup);
104
104
  return await Tx.create({
105
105
  data: txData,
106
- clientIvcProof: ClientIvcProof.empty(),
106
+ chonkProof: ChonkProof.empty(),
107
107
  contractClassLogFields: [],
108
108
  publicFunctionCalldata: []
109
109
  });
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/simulator",
3
- "version": "3.0.0-devnet.2",
3
+ "version": "3.0.0-manual.20251030",
4
4
  "type": "module",
5
5
  "exports": {
6
6
  "./server": "./dest/server.js",
@@ -64,26 +64,26 @@
64
64
  ]
65
65
  },
66
66
  "dependencies": {
67
- "@aztec/constants": "3.0.0-devnet.2",
68
- "@aztec/foundation": "3.0.0-devnet.2",
69
- "@aztec/native": "3.0.0-devnet.2",
70
- "@aztec/noir-acvm_js": "3.0.0-devnet.2",
71
- "@aztec/noir-noirc_abi": "3.0.0-devnet.2",
72
- "@aztec/noir-protocol-circuits-types": "3.0.0-devnet.2",
73
- "@aztec/noir-types": "3.0.0-devnet.2",
74
- "@aztec/protocol-contracts": "3.0.0-devnet.2",
75
- "@aztec/stdlib": "3.0.0-devnet.2",
76
- "@aztec/telemetry-client": "3.0.0-devnet.2",
77
- "@aztec/world-state": "3.0.0-devnet.2",
67
+ "@aztec/constants": "3.0.0-manual.20251030",
68
+ "@aztec/foundation": "3.0.0-manual.20251030",
69
+ "@aztec/native": "3.0.0-manual.20251030",
70
+ "@aztec/noir-acvm_js": "3.0.0-manual.20251030",
71
+ "@aztec/noir-noirc_abi": "3.0.0-manual.20251030",
72
+ "@aztec/noir-protocol-circuits-types": "3.0.0-manual.20251030",
73
+ "@aztec/noir-types": "3.0.0-manual.20251030",
74
+ "@aztec/protocol-contracts": "3.0.0-manual.20251030",
75
+ "@aztec/stdlib": "3.0.0-manual.20251030",
76
+ "@aztec/telemetry-client": "3.0.0-manual.20251030",
77
+ "@aztec/world-state": "3.0.0-manual.20251030",
78
78
  "lodash.clonedeep": "^4.5.0",
79
79
  "lodash.merge": "^4.6.2",
80
80
  "tslib": "^2.4.0"
81
81
  },
82
82
  "devDependencies": {
83
- "@aztec/kv-store": "3.0.0-devnet.2",
84
- "@aztec/merkle-tree": "3.0.0-devnet.2",
85
- "@aztec/noir-contracts.js": "3.0.0-devnet.2",
86
- "@aztec/noir-test-contracts.js": "3.0.0-devnet.2",
83
+ "@aztec/kv-store": "3.0.0-manual.20251030",
84
+ "@aztec/merkle-tree": "3.0.0-manual.20251030",
85
+ "@aztec/noir-contracts.js": "3.0.0-manual.20251030",
86
+ "@aztec/noir-test-contracts.js": "3.0.0-manual.20251030",
87
87
  "@jest/globals": "^30.0.0",
88
88
  "@types/jest": "^30.0.0",
89
89
  "@types/lodash.clonedeep": "^4.5.7",
package/src/public/avm/opcodes/ec_add.ts CHANGED
@@ -78,14 +78,13 @@ export class EcAdd extends Instruction {
78
78
  throw new EcAddPointNotOnCurveError(/*pointIndex=*/ 2, p2);
79
79
  }
80
80
 
81
- const grumpkin = new Grumpkin();
82
81
  let dest;
83
82
  if (p1IsInfinite) {
84
83
  dest = p2;
85
84
  } else if (p2IsInfinite) {
86
85
  dest = p1;
87
86
  } else {
88
- dest = await grumpkin.add(p1, p2);
87
+ dest = await Grumpkin.add(p1, p2);
89
88
  }
90
89
 
91
90
  // Important to use setSlice() and not set() in the two following statements as
package/src/public/avm/opcodes/external_calls.ts CHANGED
@@ -46,7 +46,6 @@ abstract class ExternalCall extends Instruction {
46
46
 
47
47
  const calldataSize = memory.get(argsSizeOffset).toNumber();
48
48
  const calldata = memory.getSlice(argsOffset, calldataSize).map(f => f.toFr());
49
- memory.checkTagsRange(TypeTag.FIELD, argsOffset, calldataSize);
50
49
 
51
50
  const callAddress = memory.getAs<Field>(addrOffset);
52
51
  // If we are already in a static call, we propagate the environment.
package/src/public/fixtures/utils.ts CHANGED
@@ -25,7 +25,7 @@ import {
25
25
  } from '@aztec/stdlib/kernel';
26
26
  import { ContractClassLogFields, PrivateLog } from '@aztec/stdlib/logs';
27
27
  import type { ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
28
- import { ClientIvcProof } from '@aztec/stdlib/proofs';
28
+ import { ChonkProof } from '@aztec/stdlib/proofs';
29
29
  import {
30
30
  BlockHeader,
31
31
  GlobalVariables,
@@ -153,7 +153,7 @@ export async function createTxForPublicCalls(
153
153
 
154
154
  return await Tx.create({
155
155
  data: txData,
156
- clientIvcProof: ClientIvcProof.random(),
156
+ chonkProof: ChonkProof.random(),
157
157
  contractClassLogFields: [],
158
158
  publicFunctionCalldata: calldata,
159
159
  });
@@ -184,7 +184,7 @@ export async function createTxForPrivateOnly(
184
184
  );
185
185
  return await Tx.create({
186
186
  data: txData,
187
- clientIvcProof: ClientIvcProof.empty(),
187
+ chonkProof: ChonkProof.empty(),
188
188
  contractClassLogFields: [],
189
189
  publicFunctionCalldata: [],
190
190
  });