@aztec/txe 0.0.1-commit.c2595eba → 0.0.1-commit.c2eed6949

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 (58) hide show
  1. package/dest/index.d.ts +1 -1
  2. package/dest/index.d.ts.map +1 -1
  3. package/dest/index.js +88 -54
  4. package/dest/oracle/interfaces.d.ts +29 -28
  5. package/dest/oracle/interfaces.d.ts.map +1 -1
  6. package/dest/oracle/txe_oracle_public_context.d.ts +13 -13
  7. package/dest/oracle/txe_oracle_public_context.d.ts.map +1 -1
  8. package/dest/oracle/txe_oracle_public_context.js +12 -12
  9. package/dest/oracle/txe_oracle_top_level_context.d.ts +23 -23
  10. package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
  11. package/dest/oracle/txe_oracle_top_level_context.js +124 -50
  12. package/dest/rpc_translator.d.ts +88 -83
  13. package/dest/rpc_translator.d.ts.map +1 -1
  14. package/dest/rpc_translator.js +296 -162
  15. package/dest/state_machine/archiver.d.ts +3 -3
  16. package/dest/state_machine/archiver.d.ts.map +1 -1
  17. package/dest/state_machine/archiver.js +7 -7
  18. package/dest/state_machine/dummy_p2p_client.d.ts +16 -12
  19. package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
  20. package/dest/state_machine/dummy_p2p_client.js +28 -16
  21. package/dest/state_machine/index.d.ts +7 -5
  22. package/dest/state_machine/index.d.ts.map +1 -1
  23. package/dest/state_machine/index.js +19 -10
  24. package/dest/state_machine/mock_epoch_cache.d.ts +19 -3
  25. package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
  26. package/dest/state_machine/mock_epoch_cache.js +36 -2
  27. package/dest/state_machine/synchronizer.d.ts +5 -5
  28. package/dest/state_machine/synchronizer.d.ts.map +1 -1
  29. package/dest/state_machine/synchronizer.js +3 -3
  30. package/dest/txe_session.d.ts +10 -6
  31. package/dest/txe_session.d.ts.map +1 -1
  32. package/dest/txe_session.js +94 -26
  33. package/dest/util/encoding.d.ts +69 -1
  34. package/dest/util/encoding.d.ts.map +1 -1
  35. package/dest/util/txe_public_contract_data_source.d.ts +2 -3
  36. package/dest/util/txe_public_contract_data_source.d.ts.map +1 -1
  37. package/dest/util/txe_public_contract_data_source.js +6 -25
  38. package/dest/utils/block_creation.d.ts +1 -1
  39. package/dest/utils/block_creation.d.ts.map +1 -1
  40. package/dest/utils/block_creation.js +3 -1
  41. package/package.json +15 -15
  42. package/src/index.ts +89 -52
  43. package/src/oracle/interfaces.ts +32 -31
  44. package/src/oracle/txe_oracle_public_context.ts +12 -12
  45. package/src/oracle/txe_oracle_top_level_context.ts +137 -98
  46. package/src/rpc_translator.ts +330 -179
  47. package/src/state_machine/archiver.ts +7 -5
  48. package/src/state_machine/dummy_p2p_client.ts +40 -22
  49. package/src/state_machine/index.ts +30 -9
  50. package/src/state_machine/mock_epoch_cache.ts +47 -3
  51. package/src/state_machine/synchronizer.ts +4 -4
  52. package/src/txe_session.ts +106 -85
  53. package/src/util/txe_public_contract_data_source.ts +10 -38
  54. package/src/utils/block_creation.ts +3 -1
  55. package/dest/util/txe_contract_store.d.ts +0 -12
  56. package/dest/util/txe_contract_store.d.ts.map +0 -1
  57. package/dest/util/txe_contract_store.js +0 -22
  58. package/src/util/txe_contract_store.ts +0 -36
@@ -30,7 +30,7 @@ import {
30
30
  toSingle,
31
31
  } from './util/encoding.js';
32
32
 
33
- const MAX_EVENT_LEN = 12; // This is MAX_MESSAGE_CONTENT_LEN - PRIVATE_EVENT_RESERVED_FIELDS
33
+ const MAX_EVENT_LEN = 10; // This is MAX_MESSAGE_CONTENT_LEN - PRIVATE_EVENT_MSG_PLAINTEXT_RESERVED_FIELDS_LEN
34
34
  const MAX_PRIVATE_EVENTS_PER_TXE_QUERY = 5;
35
35
 
36
36
  export class UnavailableOracleError extends Error {
@@ -104,13 +104,15 @@ export class RPCTranslator {
104
104
 
105
105
  // TXE session state transition functions - these get handled by the state handler
106
106
 
107
- async txeSetTopLevelTXEContext() {
107
+ // eslint-disable-next-line camelcase
108
+ async aztec_txe_setTopLevelTXEContext() {
108
109
  await this.stateHandler.enterTopLevelState();
109
110
 
110
111
  return toForeignCallResult([]);
111
112
  }
112
113
 
113
- async txeSetPrivateTXEContext(
114
+ // eslint-disable-next-line camelcase
115
+ async aztec_txe_setPrivateTXEContext(
114
116
  foreignContractAddressIsSome: ForeignCallSingle,
115
117
  foreignContractAddressValue: ForeignCallSingle,
116
118
  foreignAnchorBlockNumberIsSome: ForeignCallSingle,
@@ -129,7 +131,8 @@ export class RPCTranslator {
129
131
  return toForeignCallResult(privateContextInputs.toFields().map(toSingle));
130
132
  }
131
133
 
132
- async txeSetPublicTXEContext(
134
+ // eslint-disable-next-line camelcase
135
+ async aztec_txe_setPublicTXEContext(
133
136
  foreignContractAddressIsSome: ForeignCallSingle,
134
137
  foreignContractAddressValue: ForeignCallSingle,
135
138
  ) {
@@ -142,7 +145,8 @@ export class RPCTranslator {
142
145
  return toForeignCallResult([]);
143
146
  }
144
147
 
145
- async txeSetUtilityTXEContext(
148
+ // eslint-disable-next-line camelcase
149
+ async aztec_txe_setUtilityTXEContext(
146
150
  foreignContractAddressIsSome: ForeignCallSingle,
147
151
  foreignContractAddressValue: ForeignCallSingle,
148
152
  ) {
@@ -159,44 +163,54 @@ export class RPCTranslator {
159
163
 
160
164
  // TXE-specific oracles
161
165
 
162
- txeGetDefaultAddress() {
163
- const defaultAddress = this.handlerAsTxe().txeGetDefaultAddress();
166
+ // eslint-disable-next-line camelcase
167
+ aztec_txe_getDefaultAddress() {
168
+ const defaultAddress = this.handlerAsTxe().getDefaultAddress();
164
169
 
165
170
  return toForeignCallResult([toSingle(defaultAddress)]);
166
171
  }
167
172
 
168
- async txeGetNextBlockNumber() {
169
- const nextBlockNumber = await this.handlerAsTxe().txeGetNextBlockNumber();
173
+ // eslint-disable-next-line camelcase
174
+ async aztec_txe_getNextBlockNumber() {
175
+ const nextBlockNumber = await this.handlerAsTxe().getNextBlockNumber();
170
176
 
171
177
  return toForeignCallResult([toSingle(nextBlockNumber)]);
172
178
  }
173
179
 
174
- async txeGetNextBlockTimestamp() {
175
- const nextBlockTimestamp = await this.handlerAsTxe().txeGetNextBlockTimestamp();
180
+ // eslint-disable-next-line camelcase
181
+ async aztec_txe_getNextBlockTimestamp() {
182
+ const nextBlockTimestamp = await this.handlerAsTxe().getNextBlockTimestamp();
176
183
 
177
184
  return toForeignCallResult([toSingle(nextBlockTimestamp)]);
178
185
  }
179
186
 
180
- async txeAdvanceBlocksBy(foreignBlocks: ForeignCallSingle) {
187
+ // eslint-disable-next-line camelcase
188
+ async aztec_txe_advanceBlocksBy(foreignBlocks: ForeignCallSingle) {
181
189
  const blocks = fromSingle(foreignBlocks).toNumber();
182
190
 
183
- await this.handlerAsTxe().txeAdvanceBlocksBy(blocks);
191
+ await this.handlerAsTxe().advanceBlocksBy(blocks);
184
192
 
185
193
  return toForeignCallResult([]);
186
194
  }
187
195
 
188
- txeAdvanceTimestampBy(foreignDuration: ForeignCallSingle) {
196
+ // eslint-disable-next-line camelcase
197
+ aztec_txe_advanceTimestampBy(foreignDuration: ForeignCallSingle) {
189
198
  const duration = fromSingle(foreignDuration).toBigInt();
190
199
 
191
- this.handlerAsTxe().txeAdvanceTimestampBy(duration);
200
+ this.handlerAsTxe().advanceTimestampBy(duration);
192
201
 
193
202
  return toForeignCallResult([]);
194
203
  }
195
204
 
196
- async txeDeploy(artifact: ContractArtifact, instance: ContractInstanceWithAddress, foreignSecret: ForeignCallSingle) {
205
+ // eslint-disable-next-line camelcase
206
+ async aztec_txe_deploy(
207
+ artifact: ContractArtifact,
208
+ instance: ContractInstanceWithAddress,
209
+ foreignSecret: ForeignCallSingle,
210
+ ) {
197
211
  const secret = fromSingle(foreignSecret);
198
212
 
199
- await this.handlerAsTxe().txeDeploy(artifact, instance, secret);
213
+ await this.handlerAsTxe().deploy(artifact, instance, secret);
200
214
 
201
215
  return toForeignCallResult([
202
216
  toArray([
@@ -209,10 +223,11 @@ export class RPCTranslator {
209
223
  ]);
210
224
  }
211
225
 
212
- async txeCreateAccount(foreignSecret: ForeignCallSingle) {
226
+ // eslint-disable-next-line camelcase
227
+ async aztec_txe_createAccount(foreignSecret: ForeignCallSingle) {
213
228
  const secret = fromSingle(foreignSecret);
214
229
 
215
- const completeAddress = await this.handlerAsTxe().txeCreateAccount(secret);
230
+ const completeAddress = await this.handlerAsTxe().createAccount(secret);
216
231
 
217
232
  return toForeignCallResult([
218
233
  toSingle(completeAddress.address),
@@ -220,14 +235,15 @@ export class RPCTranslator {
220
235
  ]);
221
236
  }
222
237
 
223
- async txeAddAccount(
238
+ // eslint-disable-next-line camelcase
239
+ async aztec_txe_addAccount(
224
240
  artifact: ContractArtifact,
225
241
  instance: ContractInstanceWithAddress,
226
242
  foreignSecret: ForeignCallSingle,
227
243
  ) {
228
244
  const secret = fromSingle(foreignSecret);
229
245
 
230
- const completeAddress = await this.handlerAsTxe().txeAddAccount(artifact, instance, secret);
246
+ const completeAddress = await this.handlerAsTxe().addAccount(artifact, instance, secret);
231
247
 
232
248
  return toForeignCallResult([
233
249
  toSingle(completeAddress.address),
@@ -235,39 +251,44 @@ export class RPCTranslator {
235
251
  ]);
236
252
  }
237
253
 
238
- async txeAddAuthWitness(foreignAddress: ForeignCallSingle, foreignMessageHash: ForeignCallSingle) {
254
+ // eslint-disable-next-line camelcase
255
+ async aztec_txe_addAuthWitness(foreignAddress: ForeignCallSingle, foreignMessageHash: ForeignCallSingle) {
239
256
  const address = addressFromSingle(foreignAddress);
240
257
  const messageHash = fromSingle(foreignMessageHash);
241
258
 
242
- await this.handlerAsTxe().txeAddAuthWitness(address, messageHash);
259
+ await this.handlerAsTxe().addAuthWitness(address, messageHash);
243
260
 
244
261
  return toForeignCallResult([]);
245
262
  }
246
263
 
247
264
  // PXE oracles
248
265
 
249
- utilityAssertCompatibleOracleVersion(foreignVersion: ForeignCallSingle) {
266
+ // eslint-disable-next-line camelcase
267
+ aztec_utl_assertCompatibleOracleVersion(foreignVersion: ForeignCallSingle) {
250
268
  const version = fromSingle(foreignVersion).toNumber();
251
269
 
252
- this.handlerAsMisc().utilityAssertCompatibleOracleVersion(version);
270
+ this.handlerAsMisc().assertCompatibleOracleVersion(version);
253
271
 
254
272
  return toForeignCallResult([]);
255
273
  }
256
274
 
257
- utilityGetRandomField() {
258
- const randomField = this.handlerAsMisc().utilityGetRandomField();
275
+ // eslint-disable-next-line camelcase
276
+ aztec_utl_getRandomField() {
277
+ const randomField = this.handlerAsMisc().getRandomField();
259
278
 
260
279
  return toForeignCallResult([toSingle(randomField)]);
261
280
  }
262
281
 
263
- async txeGetLastBlockTimestamp() {
264
- const timestamp = await this.handlerAsTxe().txeGetLastBlockTimestamp();
282
+ // eslint-disable-next-line camelcase
283
+ async aztec_txe_getLastBlockTimestamp() {
284
+ const timestamp = await this.handlerAsTxe().getLastBlockTimestamp();
265
285
 
266
286
  return toForeignCallResult([toSingle(new Fr(timestamp))]);
267
287
  }
268
288
 
269
- async txeGetLastTxEffects() {
270
- const { txHash, noteHashes, nullifiers } = await this.handlerAsTxe().txeGetLastTxEffects();
289
+ // eslint-disable-next-line camelcase
290
+ async aztec_txe_getLastTxEffects() {
291
+ const { txHash, noteHashes, nullifiers } = await this.handlerAsTxe().getLastTxEffects();
271
292
 
272
293
  return toForeignCallResult([
273
294
  toSingle(txHash.hash),
@@ -276,7 +297,8 @@ export class RPCTranslator {
276
297
  ]);
277
298
  }
278
299
 
279
- async txeGetPrivateEvents(
300
+ // eslint-disable-next-line camelcase
301
+ async aztec_txe_getPrivateEvents(
280
302
  foreignSelector: ForeignCallSingle,
281
303
  foreignContractAddress: ForeignCallSingle,
282
304
  foreignScope: ForeignCallSingle,
@@ -285,7 +307,14 @@ export class RPCTranslator {
285
307
  const contractAddress = addressFromSingle(foreignContractAddress);
286
308
  const scope = addressFromSingle(foreignScope);
287
309
 
288
- const events = await this.handlerAsTxe().txeGetPrivateEvents(selector, contractAddress, scope);
310
+ // TODO(F-335): Avoid doing the following 2 calls here.
311
+ {
312
+ await this.handlerAsTxe().syncContractNonOracleMethod(contractAddress, scope, this.stateHandler.getCurrentJob());
313
+ // We cycle job to commit the stores after the contract sync.
314
+ await this.stateHandler.cycleJob();
315
+ }
316
+
317
+ const events = await this.handlerAsTxe().getPrivateEvents(selector, contractAddress, scope);
289
318
 
290
319
  if (events.length > MAX_PRIVATE_EVENTS_PER_TXE_QUERY) {
291
320
  throw new Error(`Array of length ${events.length} larger than maxLen ${MAX_PRIVATE_EVENTS_PER_TXE_QUERY}`);
@@ -309,26 +338,29 @@ export class RPCTranslator {
309
338
  return toForeignCallResult([toArray(rawArrayStorage), toArray(eventLengths), toSingle(queryLength)]);
310
339
  }
311
340
 
312
- privateStoreInExecutionCache(foreignValues: ForeignCallArray, foreignHash: ForeignCallSingle) {
341
+ // eslint-disable-next-line camelcase
342
+ aztec_prv_storeInExecutionCache(foreignValues: ForeignCallArray, foreignHash: ForeignCallSingle) {
313
343
  const values = fromArray(foreignValues);
314
344
  const hash = fromSingle(foreignHash);
315
345
 
316
- this.handlerAsPrivate().privateStoreInExecutionCache(values, hash);
346
+ this.handlerAsPrivate().storeInExecutionCache(values, hash);
317
347
 
318
348
  return toForeignCallResult([]);
319
349
  }
320
350
 
321
- async privateLoadFromExecutionCache(foreignHash: ForeignCallSingle) {
351
+ // eslint-disable-next-line camelcase
352
+ async aztec_prv_loadFromExecutionCache(foreignHash: ForeignCallSingle) {
322
353
  const hash = fromSingle(foreignHash);
323
354
 
324
- const returns = await this.handlerAsPrivate().privateLoadFromExecutionCache(hash);
355
+ const returns = await this.handlerAsPrivate().loadFromExecutionCache(hash);
325
356
 
326
357
  return toForeignCallResult([toArray(returns)]);
327
358
  }
328
359
 
329
360
  // When the argument is a slice, noir automatically adds a length field to oracle call.
330
361
  // When the argument is an array, we add the field length manually to the signature.
331
- utilityDebugLog(
362
+ // eslint-disable-next-line camelcase
363
+ async aztec_utl_log(
332
364
  foreignLevel: ForeignCallSingle,
333
365
  foreignMessage: ForeignCallArray,
334
366
  _foreignLength: ForeignCallSingle,
@@ -340,12 +372,13 @@ export class RPCTranslator {
340
372
  .join('');
341
373
  const fields = fromArray(foreignFields);
342
374
 
343
- this.handlerAsMisc().utilityDebugLog(level, message, fields);
375
+ await this.handlerAsMisc().log(level, message, fields);
344
376
 
345
377
  return toForeignCallResult([]);
346
378
  }
347
379
 
348
- async utilityStorageRead(
380
+ // eslint-disable-next-line camelcase
381
+ async aztec_utl_storageRead(
349
382
  foreignBlockHash: ForeignCallSingle,
350
383
  foreignContractAddress: ForeignCallSingle,
351
384
  foreignStartStorageSlot: ForeignCallSingle,
@@ -356,7 +389,7 @@ export class RPCTranslator {
356
389
  const startStorageSlot = fromSingle(foreignStartStorageSlot);
357
390
  const numberOfElements = fromSingle(foreignNumberOfElements).toNumber();
358
391
 
359
- const values = await this.handlerAsUtility().utilityStorageRead(
392
+ const values = await this.handlerAsUtility().storageRead(
360
393
  blockHash,
361
394
  contractAddress,
362
395
  startStorageSlot,
@@ -366,11 +399,12 @@ export class RPCTranslator {
366
399
  return toForeignCallResult([toArray(values)]);
367
400
  }
368
401
 
369
- async utilityGetPublicDataWitness(foreignBlockHash: ForeignCallSingle, foreignLeafSlot: ForeignCallSingle) {
402
+ // eslint-disable-next-line camelcase
403
+ async aztec_utl_getPublicDataWitness(foreignBlockHash: ForeignCallSingle, foreignLeafSlot: ForeignCallSingle) {
370
404
  const blockHash = new BlockHash(fromSingle(foreignBlockHash));
371
405
  const leafSlot = fromSingle(foreignLeafSlot);
372
406
 
373
- const witness = await this.handlerAsUtility().utilityGetPublicDataWitness(blockHash, leafSlot);
407
+ const witness = await this.handlerAsUtility().getPublicDataWitness(blockHash, leafSlot);
374
408
 
375
409
  if (!witness) {
376
410
  throw new Error(`Public data witness not found for slot ${leafSlot} at block ${blockHash.toString()}.`);
@@ -378,7 +412,8 @@ export class RPCTranslator {
378
412
  return toForeignCallResult(witness.toNoirRepresentation());
379
413
  }
380
414
 
381
- async utilityGetNotes(
415
+ // eslint-disable-next-line camelcase
416
+ async aztec_utl_getNotes(
382
417
  foreignOwnerIsSome: ForeignCallSingle,
383
418
  foreignOwnerValue: ForeignCallSingle,
384
419
  foreignStorageSlot: ForeignCallSingle,
@@ -419,7 +454,7 @@ export class RPCTranslator {
419
454
  const maxNotes = fromSingle(foreignMaxNotes).toNumber();
420
455
  const packedHintedNoteLength = fromSingle(foreignPackedHintedNoteLength).toNumber();
421
456
 
422
- const noteDatas = await this.handlerAsUtility().utilityGetNotes(
457
+ const noteDatas = await this.handlerAsUtility().getNotes(
423
458
  owner,
424
459
  storageSlot,
425
460
  numSelects,
@@ -460,7 +495,8 @@ export class RPCTranslator {
460
495
  );
461
496
  }
462
497
 
463
- privateNotifyCreatedNote(
498
+ // eslint-disable-next-line camelcase
499
+ aztec_prv_notifyCreatedNote(
464
500
  foreignOwner: ForeignCallSingle,
465
501
  foreignStorageSlot: ForeignCallSingle,
466
502
  foreignRandomness: ForeignCallSingle,
@@ -477,20 +513,13 @@ export class RPCTranslator {
477
513
  const noteHash = fromSingle(foreignNoteHash);
478
514
  const counter = fromSingle(foreignCounter).toNumber();
479
515
 
480
- this.handlerAsPrivate().privateNotifyCreatedNote(
481
- owner,
482
- storageSlot,
483
- randomness,
484
- noteTypeId,
485
- note,
486
- noteHash,
487
- counter,
488
- );
516
+ this.handlerAsPrivate().notifyCreatedNote(owner, storageSlot, randomness, noteTypeId, note, noteHash, counter);
489
517
 
490
518
  return toForeignCallResult([]);
491
519
  }
492
520
 
493
- async privateNotifyNullifiedNote(
521
+ // eslint-disable-next-line camelcase
522
+ async aztec_prv_notifyNullifiedNote(
494
523
  foreignInnerNullifier: ForeignCallSingle,
495
524
  foreignNoteHash: ForeignCallSingle,
496
525
  foreignCounter: ForeignCallSingle,
@@ -499,40 +528,47 @@ export class RPCTranslator {
499
528
  const noteHash = fromSingle(foreignNoteHash);
500
529
  const counter = fromSingle(foreignCounter).toNumber();
501
530
 
502
- await this.handlerAsPrivate().privateNotifyNullifiedNote(innerNullifier, noteHash, counter);
531
+ await this.handlerAsPrivate().notifyNullifiedNote(innerNullifier, noteHash, counter);
503
532
 
504
533
  return toForeignCallResult([]);
505
534
  }
506
535
 
507
- async privateNotifyCreatedNullifier(foreignInnerNullifier: ForeignCallSingle) {
536
+ // eslint-disable-next-line camelcase
537
+ async aztec_prv_notifyCreatedNullifier(foreignInnerNullifier: ForeignCallSingle) {
508
538
  const innerNullifier = fromSingle(foreignInnerNullifier);
509
539
 
510
- await this.handlerAsPrivate().privateNotifyCreatedNullifier(innerNullifier);
540
+ await this.handlerAsPrivate().notifyCreatedNullifier(innerNullifier);
511
541
 
512
542
  return toForeignCallResult([]);
513
543
  }
514
544
 
515
- async privateIsNullifierPending(foreignInnerNullifier: ForeignCallSingle, foreignContractAddress: ForeignCallSingle) {
545
+ // eslint-disable-next-line camelcase
546
+ async aztec_prv_isNullifierPending(
547
+ foreignInnerNullifier: ForeignCallSingle,
548
+ foreignContractAddress: ForeignCallSingle,
549
+ ) {
516
550
  const innerNullifier = fromSingle(foreignInnerNullifier);
517
551
  const contractAddress = addressFromSingle(foreignContractAddress);
518
552
 
519
- const isPending = await this.handlerAsPrivate().privateIsNullifierPending(innerNullifier, contractAddress);
553
+ const isPending = await this.handlerAsPrivate().isNullifierPending(innerNullifier, contractAddress);
520
554
 
521
555
  return toForeignCallResult([toSingle(new Fr(isPending))]);
522
556
  }
523
557
 
524
- async utilityCheckNullifierExists(foreignInnerNullifier: ForeignCallSingle) {
558
+ // eslint-disable-next-line camelcase
559
+ async aztec_utl_checkNullifierExists(foreignInnerNullifier: ForeignCallSingle) {
525
560
  const innerNullifier = fromSingle(foreignInnerNullifier);
526
561
 
527
- const exists = await this.handlerAsUtility().utilityCheckNullifierExists(innerNullifier);
562
+ const exists = await this.handlerAsUtility().checkNullifierExists(innerNullifier);
528
563
 
529
564
  return toForeignCallResult([toSingle(new Fr(exists))]);
530
565
  }
531
566
 
532
- async utilityGetContractInstance(foreignAddress: ForeignCallSingle) {
567
+ // eslint-disable-next-line camelcase
568
+ async aztec_utl_getContractInstance(foreignAddress: ForeignCallSingle) {
533
569
  const address = addressFromSingle(foreignAddress);
534
570
 
535
- const instance = await this.handlerAsUtility().utilityGetContractInstance(address);
571
+ const instance = await this.handlerAsUtility().getContractInstance(address);
536
572
 
537
573
  return toForeignCallResult(
538
574
  [
@@ -545,23 +581,37 @@ export class RPCTranslator {
545
581
  );
546
582
  }
547
583
 
548
- async utilityGetPublicKeysAndPartialAddress(foreignAddress: ForeignCallSingle) {
584
+ // eslint-disable-next-line camelcase
585
+ async aztec_utl_tryGetPublicKeysAndPartialAddress(foreignAddress: ForeignCallSingle) {
549
586
  const address = addressFromSingle(foreignAddress);
550
587
 
551
- const { publicKeys, partialAddress } = await this.handlerAsUtility().utilityGetPublicKeysAndPartialAddress(address);
588
+ const result = await this.handlerAsUtility().tryGetPublicKeysAndPartialAddress(address);
552
589
 
553
- return toForeignCallResult([toArray([...publicKeys.toFields(), partialAddress])]);
590
+ // We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
591
+ // with two fields: `some` (a boolean) and `value` (a field array in this case).
592
+ if (result === undefined) {
593
+ // No data was found so we set `some` to 0 and pad `value` with zeros get the correct return size.
594
+ return toForeignCallResult([toSingle(new Fr(0)), toArray(Array(13).fill(new Fr(0)))]);
595
+ } else {
596
+ // Data was found so we set `some` to 1 and return it along with `value`.
597
+ return toForeignCallResult([
598
+ toSingle(new Fr(1)),
599
+ toArray([...result.publicKeys.toFields(), result.partialAddress]),
600
+ ]);
601
+ }
554
602
  }
555
603
 
556
- async utilityGetKeyValidationRequest(foreignPkMHash: ForeignCallSingle) {
604
+ // eslint-disable-next-line camelcase
605
+ async aztec_utl_getKeyValidationRequest(foreignPkMHash: ForeignCallSingle) {
557
606
  const pkMHash = fromSingle(foreignPkMHash);
558
607
 
559
- const keyValidationRequest = await this.handlerAsUtility().utilityGetKeyValidationRequest(pkMHash);
608
+ const keyValidationRequest = await this.handlerAsUtility().getKeyValidationRequest(pkMHash);
560
609
 
561
610
  return toForeignCallResult(keyValidationRequest.toFields().map(toSingle));
562
611
  }
563
612
 
564
- privateCallPrivateFunction(
613
+ // eslint-disable-next-line camelcase
614
+ aztec_prv_callPrivateFunction(
565
615
  _foreignTargetContractAddress: ForeignCallSingle,
566
616
  _foreignFunctionSelector: ForeignCallSingle,
567
617
  _foreignArgsHash: ForeignCallSingle,
@@ -573,11 +623,15 @@ export class RPCTranslator {
573
623
  );
574
624
  }
575
625
 
576
- async utilityGetNullifierMembershipWitness(foreignBlockHash: ForeignCallSingle, foreignNullifier: ForeignCallSingle) {
626
+ // eslint-disable-next-line camelcase
627
+ async aztec_utl_getNullifierMembershipWitness(
628
+ foreignBlockHash: ForeignCallSingle,
629
+ foreignNullifier: ForeignCallSingle,
630
+ ) {
577
631
  const blockHash = new BlockHash(fromSingle(foreignBlockHash));
578
632
  const nullifier = fromSingle(foreignNullifier);
579
633
 
580
- const witness = await this.handlerAsUtility().utilityGetNullifierMembershipWitness(blockHash, nullifier);
634
+ const witness = await this.handlerAsUtility().getNullifierMembershipWitness(blockHash, nullifier);
581
635
 
582
636
  if (!witness) {
583
637
  throw new Error(`Nullifier membership witness not found at block ${blockHash}.`);
@@ -585,10 +639,11 @@ export class RPCTranslator {
585
639
  return toForeignCallResult(witness.toNoirRepresentation());
586
640
  }
587
641
 
588
- async utilityGetAuthWitness(foreignMessageHash: ForeignCallSingle) {
642
+ // eslint-disable-next-line camelcase
643
+ async aztec_utl_getAuthWitness(foreignMessageHash: ForeignCallSingle) {
589
644
  const messageHash = fromSingle(foreignMessageHash);
590
645
 
591
- const authWitness = await this.handlerAsUtility().utilityGetAuthWitness(messageHash);
646
+ const authWitness = await this.handlerAsUtility().getAuthWitness(messageHash);
592
647
 
593
648
  if (!authWitness) {
594
649
  throw new Error(`Auth witness not found for message hash ${messageHash}.`);
@@ -596,44 +651,35 @@ export class RPCTranslator {
596
651
  return toForeignCallResult([toArray(authWitness)]);
597
652
  }
598
653
 
599
- public privateNotifyEnqueuedPublicFunctionCall(
600
- _foreignTargetContractAddress: ForeignCallSingle,
601
- _foreignCalldataHash: ForeignCallSingle,
602
- _foreignSideEffectCounter: ForeignCallSingle,
603
- _foreignIsStaticCall: ForeignCallSingle,
604
- ) {
654
+ // eslint-disable-next-line camelcase
655
+ public aztec_prv_validatePublicCalldata(_foreignCalldataHash: ForeignCallSingle) {
605
656
  throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
606
657
  }
607
658
 
608
- public privateNotifySetPublicTeardownFunctionCall(
609
- _foreignTargetContractAddress: ForeignCallSingle,
610
- _foreignCalldataHash: ForeignCallSingle,
611
- _foreignSideEffectCounter: ForeignCallSingle,
612
- _foreignIsStaticCall: ForeignCallSingle,
613
- ) {
659
+ // eslint-disable-next-line camelcase
660
+ public aztec_prv_notifyRevertiblePhaseStart(_foreignMinRevertibleSideEffectCounter: ForeignCallSingle) {
614
661
  throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
615
662
  }
616
663
 
617
- public privateNotifySetMinRevertibleSideEffectCounter(_foreignMinRevertibleSideEffectCounter: ForeignCallSingle) {
618
- throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
619
- }
620
-
621
- public async privateIsSideEffectCounterRevertible(foreignSideEffectCounter: ForeignCallSingle) {
664
+ // eslint-disable-next-line camelcase
665
+ public async aztec_prv_inRevertiblePhase(foreignSideEffectCounter: ForeignCallSingle) {
622
666
  const sideEffectCounter = fromSingle(foreignSideEffectCounter).toNumber();
623
- const isRevertible = await this.handlerAsPrivate().privateIsSideEffectCounterRevertible(sideEffectCounter);
667
+ const isRevertible = await this.handlerAsPrivate().inRevertiblePhase(sideEffectCounter);
624
668
  return toForeignCallResult([toSingle(new Fr(isRevertible))]);
625
669
  }
626
670
 
627
- utilityGetUtilityContext() {
628
- const context = this.handlerAsUtility().utilityGetUtilityContext();
671
+ // eslint-disable-next-line camelcase
672
+ aztec_utl_getUtilityContext() {
673
+ const context = this.handlerAsUtility().getUtilityContext();
629
674
 
630
675
  return toForeignCallResult(context.toNoirRepresentation());
631
676
  }
632
677
 
633
- async utilityGetBlockHeader(foreignBlockNumber: ForeignCallSingle) {
678
+ // eslint-disable-next-line camelcase
679
+ async aztec_utl_getBlockHeader(foreignBlockNumber: ForeignCallSingle) {
634
680
  const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
635
681
 
636
- const header = await this.handlerAsUtility().utilityGetBlockHeader(blockNumber);
682
+ const header = await this.handlerAsUtility().getBlockHeader(blockNumber);
637
683
 
638
684
  if (!header) {
639
685
  throw new Error(`Block header not found for block ${blockNumber}.`);
@@ -641,38 +687,49 @@ export class RPCTranslator {
641
687
  return toForeignCallResult(header.toFields().map(toSingle));
642
688
  }
643
689
 
644
- async utilityGetNoteHashMembershipWitness(foreignBlockHash: ForeignCallSingle, foreignLeafValue: ForeignCallSingle) {
645
- const blockHash = new BlockHash(fromSingle(foreignBlockHash));
646
- const leafValue = fromSingle(foreignLeafValue);
690
+ // eslint-disable-next-line camelcase
691
+ async aztec_utl_getNoteHashMembershipWitness(
692
+ foreignAnchorBlockHash: ForeignCallSingle,
693
+ foreignNoteHash: ForeignCallSingle,
694
+ ) {
695
+ const blockHash = new BlockHash(fromSingle(foreignAnchorBlockHash));
696
+ const noteHash = fromSingle(foreignNoteHash);
647
697
 
648
- const witness = await this.handlerAsUtility().utilityGetNoteHashMembershipWitness(blockHash, leafValue);
698
+ const witness = await this.handlerAsUtility().getNoteHashMembershipWitness(blockHash, noteHash);
649
699
 
650
700
  if (!witness) {
651
- throw new Error(`Note hash ${leafValue} not found in the note hash tree at block ${blockHash.toString()}.`);
701
+ throw new Error(`Note hash ${noteHash} not found in the note hash tree at block ${blockHash.toString()}.`);
652
702
  }
653
703
  return toForeignCallResult(witness.toNoirRepresentation());
654
704
  }
655
705
 
656
- async utilityGetArchiveMembershipWitness(foreignBlockHash: ForeignCallSingle, foreignLeafValue: ForeignCallSingle) {
706
+ // eslint-disable-next-line camelcase
707
+ async aztec_utl_getBlockHashMembershipWitness(
708
+ foreignAnchorBlockHash: ForeignCallSingle,
709
+ foreignBlockHash: ForeignCallSingle,
710
+ ) {
711
+ const anchorBlockHash = new BlockHash(fromSingle(foreignAnchorBlockHash));
657
712
  const blockHash = new BlockHash(fromSingle(foreignBlockHash));
658
- const leafValue = fromSingle(foreignLeafValue);
659
713
 
660
- const witness = await this.handlerAsUtility().utilityGetArchiveMembershipWitness(blockHash, leafValue);
714
+ const witness = await this.handlerAsUtility().getBlockHashMembershipWitness(anchorBlockHash, blockHash);
661
715
 
662
716
  if (!witness) {
663
- throw new Error(`Block hash ${leafValue} not found in the archive tree at block ${blockHash.toString()}.`);
717
+ throw new Error(
718
+ `Block hash ${blockHash.toString()} not found in the archive tree at anchor block ${anchorBlockHash.toString()}.`,
719
+ );
664
720
  }
665
721
  return toForeignCallResult(witness.toNoirRepresentation());
666
722
  }
667
723
 
668
- async utilityGetLowNullifierMembershipWitness(
724
+ // eslint-disable-next-line camelcase
725
+ async aztec_utl_getLowNullifierMembershipWitness(
669
726
  foreignBlockHash: ForeignCallSingle,
670
727
  foreignNullifier: ForeignCallSingle,
671
728
  ) {
672
729
  const blockHash = new BlockHash(fromSingle(foreignBlockHash));
673
730
  const nullifier = fromSingle(foreignNullifier);
674
731
 
675
- const witness = await this.handlerAsUtility().utilityGetLowNullifierMembershipWitness(blockHash, nullifier);
732
+ const witness = await this.handlerAsUtility().getLowNullifierMembershipWitness(blockHash, nullifier);
676
733
 
677
734
  if (!witness) {
678
735
  throw new Error(`Low nullifier witness not found for nullifier ${nullifier} at block ${blockHash}.`);
@@ -680,33 +737,42 @@ export class RPCTranslator {
680
737
  return toForeignCallResult(witness.toNoirRepresentation());
681
738
  }
682
739
 
683
- async utilityFetchTaggedLogs(foreignPendingTaggedLogArrayBaseSlot: ForeignCallSingle) {
740
+ // eslint-disable-next-line camelcase
741
+ async aztec_utl_fetchTaggedLogs(foreignPendingTaggedLogArrayBaseSlot: ForeignCallSingle) {
684
742
  const pendingTaggedLogArrayBaseSlot = fromSingle(foreignPendingTaggedLogArrayBaseSlot);
685
743
 
686
- await this.handlerAsUtility().utilityFetchTaggedLogs(pendingTaggedLogArrayBaseSlot);
744
+ await this.handlerAsUtility().fetchTaggedLogs(pendingTaggedLogArrayBaseSlot);
687
745
 
688
746
  return toForeignCallResult([]);
689
747
  }
690
748
 
691
- public async utilityValidateAndStoreEnqueuedNotesAndEvents(
749
+ // eslint-disable-next-line camelcase
750
+ public async aztec_utl_validateAndStoreEnqueuedNotesAndEvents(
692
751
  foreignContractAddress: ForeignCallSingle,
693
752
  foreignNoteValidationRequestsArrayBaseSlot: ForeignCallSingle,
694
753
  foreignEventValidationRequestsArrayBaseSlot: ForeignCallSingle,
754
+ foreignMaxNotePackedLen: ForeignCallSingle,
755
+ foreignMaxEventSerializedLen: ForeignCallSingle,
695
756
  ) {
696
757
  const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
697
758
  const noteValidationRequestsArrayBaseSlot = fromSingle(foreignNoteValidationRequestsArrayBaseSlot);
698
759
  const eventValidationRequestsArrayBaseSlot = fromSingle(foreignEventValidationRequestsArrayBaseSlot);
760
+ const maxNotePackedLen = fromSingle(foreignMaxNotePackedLen).toNumber();
761
+ const maxEventSerializedLen = fromSingle(foreignMaxEventSerializedLen).toNumber();
699
762
 
700
- await this.handlerAsUtility().utilityValidateAndStoreEnqueuedNotesAndEvents(
763
+ await this.handlerAsUtility().validateAndStoreEnqueuedNotesAndEvents(
701
764
  contractAddress,
702
765
  noteValidationRequestsArrayBaseSlot,
703
766
  eventValidationRequestsArrayBaseSlot,
767
+ maxNotePackedLen,
768
+ maxEventSerializedLen,
704
769
  );
705
770
 
706
771
  return toForeignCallResult([]);
707
772
  }
708
773
 
709
- public async utilityBulkRetrieveLogs(
774
+ // eslint-disable-next-line camelcase
775
+ public async aztec_utl_bulkRetrieveLogs(
710
776
  foreignContractAddress: ForeignCallSingle,
711
777
  foreignLogRetrievalRequestsArrayBaseSlot: ForeignCallSingle,
712
778
  foreignLogRetrievalResponsesArrayBaseSlot: ForeignCallSingle,
@@ -715,7 +781,7 @@ export class RPCTranslator {
715
781
  const logRetrievalRequestsArrayBaseSlot = fromSingle(foreignLogRetrievalRequestsArrayBaseSlot);
716
782
  const logRetrievalResponsesArrayBaseSlot = fromSingle(foreignLogRetrievalResponsesArrayBaseSlot);
717
783
 
718
- await this.handlerAsUtility().utilityBulkRetrieveLogs(
784
+ await this.handlerAsUtility().bulkRetrieveLogs(
719
785
  contractAddress,
720
786
  logRetrievalRequestsArrayBaseSlot,
721
787
  logRetrievalResponsesArrayBaseSlot,
@@ -724,7 +790,27 @@ export class RPCTranslator {
724
790
  return toForeignCallResult([]);
725
791
  }
726
792
 
727
- async utilityStoreCapsule(
793
+ // eslint-disable-next-line camelcase
794
+ public async aztec_utl_utilityResolveMessageContexts(
795
+ foreignContractAddress: ForeignCallSingle,
796
+ foreignMessageContextRequestsArrayBaseSlot: ForeignCallSingle,
797
+ foreignMessageContextResponsesArrayBaseSlot: ForeignCallSingle,
798
+ ) {
799
+ const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
800
+ const messageContextRequestsArrayBaseSlot = fromSingle(foreignMessageContextRequestsArrayBaseSlot);
801
+ const messageContextResponsesArrayBaseSlot = fromSingle(foreignMessageContextResponsesArrayBaseSlot);
802
+
803
+ await this.handlerAsUtility().utilityResolveMessageContexts(
804
+ contractAddress,
805
+ messageContextRequestsArrayBaseSlot,
806
+ messageContextResponsesArrayBaseSlot,
807
+ );
808
+
809
+ return toForeignCallResult([]);
810
+ }
811
+
812
+ // eslint-disable-next-line camelcase
813
+ async aztec_utl_storeCapsule(
728
814
  foreignContractAddress: ForeignCallSingle,
729
815
  foreignSlot: ForeignCallSingle,
730
816
  foreignCapsule: ForeignCallArray,
@@ -733,12 +819,13 @@ export class RPCTranslator {
733
819
  const slot = fromSingle(foreignSlot);
734
820
  const capsule = fromArray(foreignCapsule);
735
821
 
736
- await this.handlerAsUtility().utilityStoreCapsule(contractAddress, slot, capsule);
822
+ await this.handlerAsUtility().storeCapsule(contractAddress, slot, capsule);
737
823
 
738
824
  return toForeignCallResult([]);
739
825
  }
740
826
 
741
- async utilityLoadCapsule(
827
+ // eslint-disable-next-line camelcase
828
+ async aztec_utl_loadCapsule(
742
829
  foreignContractAddress: ForeignCallSingle,
743
830
  foreignSlot: ForeignCallSingle,
744
831
  foreignTSize: ForeignCallSingle,
@@ -747,7 +834,7 @@ export class RPCTranslator {
747
834
  const slot = fromSingle(foreignSlot);
748
835
  const tSize = fromSingle(foreignTSize).toNumber();
749
836
 
750
- const values = await this.handlerAsUtility().utilityLoadCapsule(contractAddress, slot);
837
+ const values = await this.handlerAsUtility().loadCapsule(contractAddress, slot);
751
838
 
752
839
  // We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
753
840
  // with two fields: `some` (a boolean) and `value` (a field array in this case).
@@ -760,16 +847,18 @@ export class RPCTranslator {
760
847
  }
761
848
  }
762
849
 
763
- async utilityDeleteCapsule(foreignContractAddress: ForeignCallSingle, foreignSlot: ForeignCallSingle) {
850
+ // eslint-disable-next-line camelcase
851
+ async aztec_utl_deleteCapsule(foreignContractAddress: ForeignCallSingle, foreignSlot: ForeignCallSingle) {
764
852
  const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
765
853
  const slot = fromSingle(foreignSlot);
766
854
 
767
- await this.handlerAsUtility().utilityDeleteCapsule(contractAddress, slot);
855
+ await this.handlerAsUtility().deleteCapsule(contractAddress, slot);
768
856
 
769
857
  return toForeignCallResult([]);
770
858
  }
771
859
 
772
- async utilityCopyCapsule(
860
+ // eslint-disable-next-line camelcase
861
+ async aztec_utl_copyCapsule(
773
862
  foreignContractAddress: ForeignCallSingle,
774
863
  foreignSrcSlot: ForeignCallSingle,
775
864
  foreignDstSlot: ForeignCallSingle,
@@ -780,7 +869,7 @@ export class RPCTranslator {
780
869
  const dstSlot = fromSingle(foreignDstSlot);
781
870
  const numEntries = fromSingle(foreignNumEntries).toNumber();
782
871
 
783
- await this.handlerAsUtility().utilityCopyCapsule(contractAddress, srcSlot, dstSlot, numEntries);
872
+ await this.handlerAsUtility().copyCapsule(contractAddress, srcSlot, dstSlot, numEntries);
784
873
 
785
874
  return toForeignCallResult([]);
786
875
  }
@@ -789,7 +878,8 @@ export class RPCTranslator {
789
878
  // The compiler didn't throw an error, so it took me a while to learn of the existence of this file, and that I need
790
879
  // to implement this function here. Isn't there a way to programmatically identify that this is missing, given the
791
880
  // existence of a txe_oracle method?
792
- async utilityAes128Decrypt(
881
+ // eslint-disable-next-line camelcase
882
+ async aztec_utl_tryAes128Decrypt(
793
883
  foreignCiphertextBVecStorage: ForeignCallArray,
794
884
  foreignCiphertextLength: ForeignCallSingle,
795
885
  foreignIv: ForeignCallArray,
@@ -799,14 +889,22 @@ export class RPCTranslator {
799
889
  const iv = fromUintArray(foreignIv, 8);
800
890
  const symKey = fromUintArray(foreignSymKey, 8);
801
891
 
802
- const plaintextBuffer = await this.handlerAsUtility().utilityAes128Decrypt(ciphertext, iv, symKey);
803
-
804
- return toForeignCallResult(
805
- arrayToBoundedVec(bufferToU8Array(plaintextBuffer), foreignCiphertextBVecStorage.length),
806
- );
892
+ // Noir Option<BoundedVec> is encoded as [is_some: Field, storage: Field[], length: Field].
893
+ try {
894
+ const plaintextBuffer = await this.handlerAsUtility().aes128Decrypt(ciphertext, iv, symKey);
895
+ const [storage, length] = arrayToBoundedVec(
896
+ bufferToU8Array(plaintextBuffer),
897
+ foreignCiphertextBVecStorage.length,
898
+ );
899
+ return toForeignCallResult([toSingle(new Fr(1)), storage, length]);
900
+ } catch {
901
+ const zeroStorage = toArray(Array(foreignCiphertextBVecStorage.length).fill(new Fr(0)));
902
+ return toForeignCallResult([toSingle(new Fr(0)), zeroStorage, toSingle(new Fr(0))]);
903
+ }
807
904
  }
808
905
 
809
- async utilityGetSharedSecret(
906
+ // eslint-disable-next-line camelcase
907
+ async aztec_utl_getSharedSecret(
810
908
  foreignAddress: ForeignCallSingle,
811
909
  foreignEphPKField0: ForeignCallSingle,
812
910
  foreignEphPKField1: ForeignCallSingle,
@@ -819,44 +917,66 @@ export class RPCTranslator {
819
917
  fromSingle(foreignEphPKField2),
820
918
  ]);
821
919
 
822
- const secret = await this.handlerAsUtility().utilityGetSharedSecret(address, ephPK);
920
+ const secret = await this.handlerAsUtility().getSharedSecret(address, ephPK);
823
921
 
824
922
  return toForeignCallResult(secret.toFields().map(toSingle));
825
923
  }
826
924
 
827
- emitOffchainEffect(_foreignData: ForeignCallArray) {
925
+ // eslint-disable-next-line camelcase
926
+ aztec_utl_invalidateContractSyncCache(
927
+ foreignContractAddress: ForeignCallSingle,
928
+ foreignScopes: ForeignCallArray,
929
+ foreignScopeCount: ForeignCallSingle,
930
+ ) {
931
+ const contractAddress = addressFromSingle(foreignContractAddress);
932
+ const count = fromSingle(foreignScopeCount).toNumber();
933
+ const scopes = fromArray(foreignScopes)
934
+ .slice(0, count)
935
+ .map(f => new AztecAddress(f));
936
+
937
+ this.handlerAsUtility().invalidateContractSyncCache(contractAddress, scopes);
938
+
939
+ return Promise.resolve(toForeignCallResult([]));
940
+ }
941
+
942
+ // eslint-disable-next-line camelcase
943
+ aztec_utl_emitOffchainEffect(_foreignData: ForeignCallArray) {
828
944
  throw new Error('Offchain effects are not yet supported in the TestEnvironment');
829
945
  }
830
946
 
831
947
  // AVM opcodes
832
948
 
833
- avmOpcodeEmitUnencryptedLog(_foreignMessage: ForeignCallArray) {
949
+ // eslint-disable-next-line camelcase
950
+ aztec_avm_emitPublicLog(_foreignMessage: ForeignCallArray) {
834
951
  // TODO(#8811): Implement
835
952
  return toForeignCallResult([]);
836
953
  }
837
954
 
838
- async avmOpcodeStorageRead(foreignSlot: ForeignCallSingle, foreignContractAddress: ForeignCallSingle) {
955
+ // eslint-disable-next-line camelcase
956
+ async aztec_avm_storageRead(foreignSlot: ForeignCallSingle, foreignContractAddress: ForeignCallSingle) {
839
957
  const slot = fromSingle(foreignSlot);
840
958
  const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
841
959
 
842
- const value = (await this.handlerAsAvm().avmOpcodeStorageRead(slot, contractAddress)).value;
960
+ const value = (await this.handlerAsAvm().storageRead(slot, contractAddress)).value;
843
961
 
844
962
  return toForeignCallResult([toSingle(new Fr(value))]);
845
963
  }
846
964
 
847
- async avmOpcodeStorageWrite(foreignSlot: ForeignCallSingle, foreignValue: ForeignCallSingle) {
965
+ // eslint-disable-next-line camelcase
966
+ async aztec_avm_storageWrite(foreignSlot: ForeignCallSingle, foreignValue: ForeignCallSingle) {
848
967
  const slot = fromSingle(foreignSlot);
849
968
  const value = fromSingle(foreignValue);
850
969
 
851
- await this.handlerAsAvm().avmOpcodeStorageWrite(slot, value);
970
+ await this.handlerAsAvm().storageWrite(slot, value);
852
971
 
853
972
  return toForeignCallResult([]);
854
973
  }
855
974
 
856
- async avmOpcodeGetContractInstanceDeployer(foreignAddress: ForeignCallSingle) {
975
+ // eslint-disable-next-line camelcase
976
+ async aztec_avm_getContractInstanceDeployer(foreignAddress: ForeignCallSingle) {
857
977
  const address = addressFromSingle(foreignAddress);
858
978
 
859
- const instance = await this.handlerAsUtility().utilityGetContractInstance(address);
979
+ const instance = await this.handlerAsUtility().getContractInstance(address);
860
980
 
861
981
  return toForeignCallResult([
862
982
  toSingle(instance.deployer),
@@ -865,10 +985,11 @@ export class RPCTranslator {
865
985
  ]);
866
986
  }
867
987
 
868
- async avmOpcodeGetContractInstanceClassId(foreignAddress: ForeignCallSingle) {
988
+ // eslint-disable-next-line camelcase
989
+ async aztec_avm_getContractInstanceClassId(foreignAddress: ForeignCallSingle) {
869
990
  const address = addressFromSingle(foreignAddress);
870
991
 
871
- const instance = await this.handlerAsUtility().utilityGetContractInstance(address);
992
+ const instance = await this.handlerAsUtility().getContractInstance(address);
872
993
 
873
994
  return toForeignCallResult([
874
995
  toSingle(instance.currentContractClassId),
@@ -877,10 +998,11 @@ export class RPCTranslator {
877
998
  ]);
878
999
  }
879
1000
 
880
- async avmOpcodeGetContractInstanceInitializationHash(foreignAddress: ForeignCallSingle) {
1001
+ // eslint-disable-next-line camelcase
1002
+ async aztec_avm_getContractInstanceInitializationHash(foreignAddress: ForeignCallSingle) {
881
1003
  const address = addressFromSingle(foreignAddress);
882
1004
 
883
- const instance = await this.handlerAsUtility().utilityGetContractInstance(address);
1005
+ const instance = await this.handlerAsUtility().getContractInstance(address);
884
1006
 
885
1007
  return toForeignCallResult([
886
1008
  toSingle(instance.initializationHash),
@@ -889,85 +1011,98 @@ export class RPCTranslator {
889
1011
  ]);
890
1012
  }
891
1013
 
892
- async avmOpcodeSender() {
893
- const sender = await this.handlerAsAvm().avmOpcodeSender();
1014
+ // eslint-disable-next-line camelcase
1015
+ async aztec_avm_sender() {
1016
+ const sender = await this.handlerAsAvm().sender();
894
1017
 
895
1018
  return toForeignCallResult([toSingle(sender)]);
896
1019
  }
897
1020
 
898
- async avmOpcodeEmitNullifier(foreignNullifier: ForeignCallSingle) {
1021
+ // eslint-disable-next-line camelcase
1022
+ async aztec_avm_emitNullifier(foreignNullifier: ForeignCallSingle) {
899
1023
  const nullifier = fromSingle(foreignNullifier);
900
1024
 
901
- await this.handlerAsAvm().avmOpcodeEmitNullifier(nullifier);
1025
+ await this.handlerAsAvm().emitNullifier(nullifier);
902
1026
 
903
1027
  return toForeignCallResult([]);
904
1028
  }
905
1029
 
906
- async avmOpcodeEmitNoteHash(foreignNoteHash: ForeignCallSingle) {
1030
+ // eslint-disable-next-line camelcase
1031
+ async aztec_avm_emitNoteHash(foreignNoteHash: ForeignCallSingle) {
907
1032
  const noteHash = fromSingle(foreignNoteHash);
908
1033
 
909
- await this.handlerAsAvm().avmOpcodeEmitNoteHash(noteHash);
1034
+ await this.handlerAsAvm().emitNoteHash(noteHash);
910
1035
 
911
1036
  return toForeignCallResult([]);
912
1037
  }
913
1038
 
914
- async avmOpcodeNullifierExists(foreignSiloedNullifier: ForeignCallSingle) {
1039
+ // eslint-disable-next-line camelcase
1040
+ async aztec_avm_nullifierExists(foreignSiloedNullifier: ForeignCallSingle) {
915
1041
  const siloedNullifier = fromSingle(foreignSiloedNullifier);
916
1042
 
917
- const exists = await this.handlerAsAvm().avmOpcodeNullifierExists(siloedNullifier);
1043
+ const exists = await this.handlerAsAvm().nullifierExists(siloedNullifier);
918
1044
 
919
1045
  return toForeignCallResult([toSingle(new Fr(exists))]);
920
1046
  }
921
1047
 
922
- async avmOpcodeAddress() {
923
- const contractAddress = await this.handlerAsAvm().avmOpcodeAddress();
1048
+ // eslint-disable-next-line camelcase
1049
+ async aztec_avm_address() {
1050
+ const contractAddress = await this.handlerAsAvm().address();
924
1051
 
925
1052
  return toForeignCallResult([toSingle(contractAddress.toField())]);
926
1053
  }
927
1054
 
928
- async avmOpcodeBlockNumber() {
929
- const blockNumber = await this.handlerAsAvm().avmOpcodeBlockNumber();
1055
+ // eslint-disable-next-line camelcase
1056
+ async aztec_avm_blockNumber() {
1057
+ const blockNumber = await this.handlerAsAvm().blockNumber();
930
1058
 
931
1059
  return toForeignCallResult([toSingle(new Fr(blockNumber))]);
932
1060
  }
933
1061
 
934
- async avmOpcodeTimestamp() {
935
- const timestamp = await this.handlerAsAvm().avmOpcodeTimestamp();
1062
+ // eslint-disable-next-line camelcase
1063
+ async aztec_avm_timestamp() {
1064
+ const timestamp = await this.handlerAsAvm().timestamp();
936
1065
 
937
1066
  return toForeignCallResult([toSingle(new Fr(timestamp))]);
938
1067
  }
939
1068
 
940
- async avmOpcodeIsStaticCall() {
941
- const isStaticCall = await this.handlerAsAvm().avmOpcodeIsStaticCall();
1069
+ // eslint-disable-next-line camelcase
1070
+ async aztec_avm_isStaticCall() {
1071
+ const isStaticCall = await this.handlerAsAvm().isStaticCall();
942
1072
 
943
1073
  return toForeignCallResult([toSingle(new Fr(isStaticCall ? 1 : 0))]);
944
1074
  }
945
1075
 
946
- async avmOpcodeChainId() {
947
- const chainId = await this.handlerAsAvm().avmOpcodeChainId();
1076
+ // eslint-disable-next-line camelcase
1077
+ async aztec_avm_chainId() {
1078
+ const chainId = await this.handlerAsAvm().chainId();
948
1079
 
949
1080
  return toForeignCallResult([toSingle(chainId)]);
950
1081
  }
951
1082
 
952
- async avmOpcodeVersion() {
953
- const version = await this.handlerAsAvm().avmOpcodeVersion();
1083
+ // eslint-disable-next-line camelcase
1084
+ async aztec_avm_version() {
1085
+ const version = await this.handlerAsAvm().version();
954
1086
 
955
1087
  return toForeignCallResult([toSingle(version)]);
956
1088
  }
957
1089
 
958
- avmOpcodeReturndataSize() {
1090
+ // eslint-disable-next-line camelcase
1091
+ aztec_avm_returndataSize() {
959
1092
  throw new Error(
960
1093
  'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
961
1094
  );
962
1095
  }
963
1096
 
964
- avmOpcodeReturndataCopy(_foreignRdOffset: ForeignCallSingle, _foreignCopySize: ForeignCallSingle) {
1097
+ // eslint-disable-next-line camelcase
1098
+ aztec_avm_returndataCopy(_foreignRdOffset: ForeignCallSingle, _foreignCopySize: ForeignCallSingle) {
965
1099
  throw new Error(
966
1100
  'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
967
1101
  );
968
1102
  }
969
1103
 
970
- avmOpcodeCall(
1104
+ // eslint-disable-next-line camelcase
1105
+ aztec_avm_call(
971
1106
  _foreignL2Gas: ForeignCallSingle,
972
1107
  _foreignDaGas: ForeignCallSingle,
973
1108
  _foreignAddress: ForeignCallSingle,
@@ -979,7 +1114,8 @@ export class RPCTranslator {
979
1114
  );
980
1115
  }
981
1116
 
982
- avmOpcodeStaticCall(
1117
+ // eslint-disable-next-line camelcase
1118
+ aztec_avm_staticCall(
983
1119
  _foreignL2Gas: ForeignCallSingle,
984
1120
  _foreignDaGas: ForeignCallSingle,
985
1121
  _foreignAddress: ForeignCallSingle,
@@ -991,13 +1127,15 @@ export class RPCTranslator {
991
1127
  );
992
1128
  }
993
1129
 
994
- avmOpcodeSuccessCopy() {
1130
+ // eslint-disable-next-line camelcase
1131
+ aztec_avm_successCopy() {
995
1132
  throw new Error(
996
1133
  'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
997
1134
  );
998
1135
  }
999
1136
 
1000
- async txePrivateCallNewFlow(
1137
+ // eslint-disable-next-line camelcase
1138
+ async aztec_txe_privateCallNewFlow(
1001
1139
  foreignFrom: ForeignCallSingle,
1002
1140
  foreignTargetContractAddress: ForeignCallSingle,
1003
1141
  foreignFunctionSelector: ForeignCallSingle,
@@ -1012,19 +1150,23 @@ export class RPCTranslator {
1012
1150
  const argsHash = fromSingle(foreignArgsHash);
1013
1151
  const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
1014
1152
 
1015
- const returnValues = await this.handlerAsTxe().txePrivateCallNewFlow(
1153
+ const returnValues = await this.handlerAsTxe().privateCallNewFlow(
1016
1154
  from,
1017
1155
  targetContractAddress,
1018
1156
  functionSelector,
1019
1157
  args,
1020
1158
  argsHash,
1021
1159
  isStaticCall,
1160
+ this.stateHandler.getCurrentJob(),
1022
1161
  );
1023
1162
 
1163
+ // TODO(F-335): Avoid doing the following call here.
1164
+ await this.stateHandler.cycleJob();
1024
1165
  return toForeignCallResult([toArray(returnValues)]);
1025
1166
  }
1026
1167
 
1027
- async txeSimulateUtilityFunction(
1168
+ // eslint-disable-next-line camelcase
1169
+ async aztec_txe_executeUtilityFunction(
1028
1170
  foreignTargetContractAddress: ForeignCallSingle,
1029
1171
  foreignFunctionSelector: ForeignCallSingle,
1030
1172
  foreignArgs: ForeignCallArray,
@@ -1033,16 +1175,20 @@ export class RPCTranslator {
1033
1175
  const functionSelector = FunctionSelector.fromField(fromSingle(foreignFunctionSelector));
1034
1176
  const args = fromArray(foreignArgs);
1035
1177
 
1036
- const returnValues = await this.handlerAsTxe().txeSimulateUtilityFunction(
1178
+ const returnValues = await this.handlerAsTxe().executeUtilityFunction(
1037
1179
  targetContractAddress,
1038
1180
  functionSelector,
1039
1181
  args,
1182
+ this.stateHandler.getCurrentJob(),
1040
1183
  );
1041
1184
 
1185
+ // TODO(F-335): Avoid doing the following call here.
1186
+ await this.stateHandler.cycleJob();
1042
1187
  return toForeignCallResult([toArray(returnValues)]);
1043
1188
  }
1044
1189
 
1045
- async txePublicCallNewFlow(
1190
+ // eslint-disable-next-line camelcase
1191
+ async aztec_txe_publicCallNewFlow(
1046
1192
  foreignFrom: ForeignCallSingle,
1047
1193
  foreignAddress: ForeignCallSingle,
1048
1194
  foreignCalldata: ForeignCallArray,
@@ -1053,13 +1199,16 @@ export class RPCTranslator {
1053
1199
  const calldata = fromArray(foreignCalldata);
1054
1200
  const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
1055
1201
 
1056
- const returnValues = await this.handlerAsTxe().txePublicCallNewFlow(from, address, calldata, isStaticCall);
1202
+ const returnValues = await this.handlerAsTxe().publicCallNewFlow(from, address, calldata, isStaticCall);
1057
1203
 
1204
+ // TODO(F-335): Avoid doing the following call here.
1205
+ await this.stateHandler.cycleJob();
1058
1206
  return toForeignCallResult([toArray(returnValues)]);
1059
1207
  }
1060
1208
 
1061
- async privateGetSenderForTags() {
1062
- const sender = await this.handlerAsPrivate().privateGetSenderForTags();
1209
+ // eslint-disable-next-line camelcase
1210
+ async aztec_prv_getSenderForTags() {
1211
+ const sender = await this.handlerAsPrivate().getSenderForTags();
1063
1212
 
1064
1213
  // Return a Noir Option struct with `some` and `value` fields
1065
1214
  if (sender === undefined) {
@@ -1071,19 +1220,21 @@ export class RPCTranslator {
1071
1220
  }
1072
1221
  }
1073
1222
 
1074
- async privateSetSenderForTags(foreignSenderForTags: ForeignCallSingle) {
1223
+ // eslint-disable-next-line camelcase
1224
+ async aztec_prv_setSenderForTags(foreignSenderForTags: ForeignCallSingle) {
1075
1225
  const senderForTags = AztecAddress.fromField(fromSingle(foreignSenderForTags));
1076
1226
 
1077
- await this.handlerAsPrivate().privateSetSenderForTags(senderForTags);
1227
+ await this.handlerAsPrivate().setSenderForTags(senderForTags);
1078
1228
 
1079
1229
  return toForeignCallResult([]);
1080
1230
  }
1081
1231
 
1082
- async privateGetNextAppTagAsSender(foreignSender: ForeignCallSingle, foreignRecipient: ForeignCallSingle) {
1232
+ // eslint-disable-next-line camelcase
1233
+ async aztec_prv_getNextAppTagAsSender(foreignSender: ForeignCallSingle, foreignRecipient: ForeignCallSingle) {
1083
1234
  const sender = AztecAddress.fromField(fromSingle(foreignSender));
1084
1235
  const recipient = AztecAddress.fromField(fromSingle(foreignRecipient));
1085
1236
 
1086
- const nextAppTag = await this.handlerAsPrivate().privateGetNextAppTagAsSender(sender, recipient);
1237
+ const nextAppTag = await this.handlerAsPrivate().getNextAppTagAsSender(sender, recipient);
1087
1238
 
1088
1239
  return toForeignCallResult([toSingle(nextAppTag.value)]);
1089
1240
  }