@aztec/txe 0.0.1-commit.7d4e6cd → 0.0.1-commit.7ffbba4

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 (64) hide show
  1. package/dest/constants.d.ts +1 -2
  2. package/dest/constants.d.ts.map +1 -1
  3. package/dest/constants.js +0 -1
  4. package/dest/index.d.ts +1 -1
  5. package/dest/index.d.ts.map +1 -1
  6. package/dest/index.js +88 -54
  7. package/dest/oracle/interfaces.d.ts +29 -28
  8. package/dest/oracle/interfaces.d.ts.map +1 -1
  9. package/dest/oracle/txe_oracle_public_context.d.ts +13 -13
  10. package/dest/oracle/txe_oracle_public_context.d.ts.map +1 -1
  11. package/dest/oracle/txe_oracle_public_context.js +16 -16
  12. package/dest/oracle/txe_oracle_top_level_context.d.ts +22 -22
  13. package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
  14. package/dest/oracle/txe_oracle_top_level_context.js +138 -61
  15. package/dest/rpc_translator.d.ts +86 -81
  16. package/dest/rpc_translator.d.ts.map +1 -1
  17. package/dest/rpc_translator.js +291 -175
  18. package/dest/state_machine/archiver.d.ts +20 -69
  19. package/dest/state_machine/archiver.d.ts.map +1 -1
  20. package/dest/state_machine/archiver.js +36 -178
  21. package/dest/state_machine/dummy_p2p_client.d.ts +16 -12
  22. package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
  23. package/dest/state_machine/dummy_p2p_client.js +28 -16
  24. package/dest/state_machine/index.d.ts +5 -5
  25. package/dest/state_machine/index.d.ts.map +1 -1
  26. package/dest/state_machine/index.js +35 -12
  27. package/dest/state_machine/mock_epoch_cache.d.ts +8 -6
  28. package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
  29. package/dest/state_machine/mock_epoch_cache.js +11 -7
  30. package/dest/state_machine/synchronizer.d.ts +3 -3
  31. package/dest/state_machine/synchronizer.d.ts.map +1 -1
  32. package/dest/txe_session.d.ts +11 -6
  33. package/dest/txe_session.d.ts.map +1 -1
  34. package/dest/txe_session.js +101 -26
  35. package/dest/util/encoding.d.ts +17 -17
  36. package/dest/util/txe_public_contract_data_source.d.ts +2 -3
  37. package/dest/util/txe_public_contract_data_source.d.ts.map +1 -1
  38. package/dest/util/txe_public_contract_data_source.js +5 -22
  39. package/dest/utils/block_creation.d.ts +4 -4
  40. package/dest/utils/block_creation.d.ts.map +1 -1
  41. package/dest/utils/block_creation.js +18 -4
  42. package/dest/utils/tx_effect_creation.d.ts +2 -3
  43. package/dest/utils/tx_effect_creation.d.ts.map +1 -1
  44. package/dest/utils/tx_effect_creation.js +3 -6
  45. package/package.json +16 -16
  46. package/src/constants.ts +0 -1
  47. package/src/index.ts +89 -52
  48. package/src/oracle/interfaces.ts +32 -31
  49. package/src/oracle/txe_oracle_public_context.ts +16 -18
  50. package/src/oracle/txe_oracle_top_level_context.ts +173 -111
  51. package/src/rpc_translator.ts +313 -198
  52. package/src/state_machine/archiver.ts +37 -234
  53. package/src/state_machine/dummy_p2p_client.ts +40 -22
  54. package/src/state_machine/index.ts +49 -11
  55. package/src/state_machine/mock_epoch_cache.ts +11 -11
  56. package/src/state_machine/synchronizer.ts +2 -2
  57. package/src/txe_session.ts +115 -87
  58. package/src/util/txe_public_contract_data_source.ts +10 -36
  59. package/src/utils/block_creation.ts +19 -16
  60. package/src/utils/tx_effect_creation.ts +3 -11
  61. package/dest/util/txe_contract_store.d.ts +0 -12
  62. package/dest/util/txe_contract_store.d.ts.map +0 -1
  63. package/dest/util/txe_contract_store.js +0 -22
  64. package/src/util/txe_contract_store.ts +0 -36
@@ -6,11 +6,11 @@ import {
6
6
  type IMiscOracle,
7
7
  type IPrivateExecutionOracle,
8
8
  type IUtilityExecutionOracle,
9
- packAsRetrievedNote,
9
+ packAsHintedNote,
10
10
  } from '@aztec/pxe/simulator';
11
11
  import { type ContractArtifact, EventSelector, FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
12
12
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
13
- import { MerkleTreeId } from '@aztec/stdlib/trees';
13
+ import { BlockHash } from '@aztec/stdlib/block';
14
14
 
15
15
  import type { IAvmExecutionOracle, ITxeExecutionOracle } from './oracle/interfaces.js';
16
16
  import type { TXESessionStateHandler } from './txe_session.js';
@@ -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,45 +372,48 @@ 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(
382
+ foreignBlockHash: ForeignCallSingle,
349
383
  foreignContractAddress: ForeignCallSingle,
350
384
  foreignStartStorageSlot: ForeignCallSingle,
351
- foreignBlockNumber: ForeignCallSingle,
352
385
  foreignNumberOfElements: ForeignCallSingle,
353
386
  ) {
387
+ const blockHash = new BlockHash(fromSingle(foreignBlockHash));
354
388
  const contractAddress = addressFromSingle(foreignContractAddress);
355
389
  const startStorageSlot = fromSingle(foreignStartStorageSlot);
356
- const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
357
390
  const numberOfElements = fromSingle(foreignNumberOfElements).toNumber();
358
391
 
359
- const values = await this.handlerAsUtility().utilityStorageRead(
392
+ const values = await this.handlerAsUtility().storageRead(
393
+ blockHash,
360
394
  contractAddress,
361
395
  startStorageSlot,
362
- blockNumber,
363
396
  numberOfElements,
364
397
  );
365
398
 
366
399
  return toForeignCallResult([toArray(values)]);
367
400
  }
368
401
 
369
- async utilityGetPublicDataWitness(foreignBlockNumber: ForeignCallSingle, foreignLeafSlot: ForeignCallSingle) {
370
- const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
402
+ // eslint-disable-next-line camelcase
403
+ async aztec_utl_getPublicDataWitness(foreignBlockHash: ForeignCallSingle, foreignLeafSlot: ForeignCallSingle) {
404
+ const blockHash = new BlockHash(fromSingle(foreignBlockHash));
371
405
  const leafSlot = fromSingle(foreignLeafSlot);
372
406
 
373
- const witness = await this.handlerAsUtility().utilityGetPublicDataWitness(blockNumber, leafSlot);
407
+ const witness = await this.handlerAsUtility().getPublicDataWitness(blockHash, leafSlot);
374
408
 
375
409
  if (!witness) {
376
- throw new Error(`Public data witness not found for slot ${leafSlot} at block ${blockNumber}.`);
410
+ throw new Error(`Public data witness not found for slot ${leafSlot} at block ${blockHash.toString()}.`);
377
411
  }
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,
@@ -396,7 +431,7 @@ export class RPCTranslator {
396
431
  foreignOffset: ForeignCallSingle,
397
432
  foreignStatus: ForeignCallSingle,
398
433
  foreignMaxNotes: ForeignCallSingle,
399
- foreignPackedRetrievedNoteLength: ForeignCallSingle,
434
+ foreignPackedHintedNoteLength: ForeignCallSingle,
400
435
  ) {
401
436
  // Parse Option<AztecAddress>: ownerIsSome is 0 for None, 1 for Some
402
437
  const owner = fromSingle(foreignOwnerIsSome).toBool()
@@ -417,9 +452,9 @@ export class RPCTranslator {
417
452
  const offset = fromSingle(foreignOffset).toNumber();
418
453
  const status = fromSingle(foreignStatus).toNumber();
419
454
  const maxNotes = fromSingle(foreignMaxNotes).toNumber();
420
- const packedRetrievedNoteLength = fromSingle(foreignPackedRetrievedNoteLength).toNumber();
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,
@@ -438,13 +473,13 @@ export class RPCTranslator {
438
473
  );
439
474
 
440
475
  const returnDataAsArrayOfArrays = noteDatas.map(noteData =>
441
- packAsRetrievedNote({
476
+ packAsHintedNote({
442
477
  contractAddress: noteData.contractAddress,
443
478
  owner: noteData.owner,
444
479
  randomness: noteData.randomness,
445
480
  storageSlot: noteData.storageSlot,
446
481
  noteNonce: noteData.noteNonce,
447
- index: noteData.index,
482
+ isPending: noteData.isPending,
448
483
  note: noteData.note,
449
484
  }),
450
485
  );
@@ -456,15 +491,12 @@ export class RPCTranslator {
456
491
 
457
492
  // At last we convert the array of arrays to a bounded vec of arrays
458
493
  return toForeignCallResult(
459
- arrayOfArraysToBoundedVecOfArrays(
460
- returnDataAsArrayOfForeignCallSingleArrays,
461
- maxNotes,
462
- packedRetrievedNoteLength,
463
- ),
494
+ arrayOfArraysToBoundedVecOfArrays(returnDataAsArrayOfForeignCallSingleArrays, maxNotes, packedHintedNoteLength),
464
495
  );
465
496
  }
466
497
 
467
- privateNotifyCreatedNote(
498
+ // eslint-disable-next-line camelcase
499
+ aztec_prv_notifyCreatedNote(
468
500
  foreignOwner: ForeignCallSingle,
469
501
  foreignStorageSlot: ForeignCallSingle,
470
502
  foreignRandomness: ForeignCallSingle,
@@ -481,20 +513,13 @@ export class RPCTranslator {
481
513
  const noteHash = fromSingle(foreignNoteHash);
482
514
  const counter = fromSingle(foreignCounter).toNumber();
483
515
 
484
- this.handlerAsPrivate().privateNotifyCreatedNote(
485
- owner,
486
- storageSlot,
487
- randomness,
488
- noteTypeId,
489
- note,
490
- noteHash,
491
- counter,
492
- );
516
+ this.handlerAsPrivate().notifyCreatedNote(owner, storageSlot, randomness, noteTypeId, note, noteHash, counter);
493
517
 
494
518
  return toForeignCallResult([]);
495
519
  }
496
520
 
497
- async privateNotifyNullifiedNote(
521
+ // eslint-disable-next-line camelcase
522
+ async aztec_prv_notifyNullifiedNote(
498
523
  foreignInnerNullifier: ForeignCallSingle,
499
524
  foreignNoteHash: ForeignCallSingle,
500
525
  foreignCounter: ForeignCallSingle,
@@ -503,31 +528,47 @@ export class RPCTranslator {
503
528
  const noteHash = fromSingle(foreignNoteHash);
504
529
  const counter = fromSingle(foreignCounter).toNumber();
505
530
 
506
- await this.handlerAsPrivate().privateNotifyNullifiedNote(innerNullifier, noteHash, counter);
531
+ await this.handlerAsPrivate().notifyNullifiedNote(innerNullifier, noteHash, counter);
507
532
 
508
533
  return toForeignCallResult([]);
509
534
  }
510
535
 
511
- async privateNotifyCreatedNullifier(foreignInnerNullifier: ForeignCallSingle) {
536
+ // eslint-disable-next-line camelcase
537
+ async aztec_prv_notifyCreatedNullifier(foreignInnerNullifier: ForeignCallSingle) {
512
538
  const innerNullifier = fromSingle(foreignInnerNullifier);
513
539
 
514
- await this.handlerAsPrivate().privateNotifyCreatedNullifier(innerNullifier);
540
+ await this.handlerAsPrivate().notifyCreatedNullifier(innerNullifier);
515
541
 
516
542
  return toForeignCallResult([]);
517
543
  }
518
544
 
519
- async utilityCheckNullifierExists(foreignInnerNullifier: ForeignCallSingle) {
545
+ // eslint-disable-next-line camelcase
546
+ async aztec_prv_isNullifierPending(
547
+ foreignInnerNullifier: ForeignCallSingle,
548
+ foreignContractAddress: ForeignCallSingle,
549
+ ) {
520
550
  const innerNullifier = fromSingle(foreignInnerNullifier);
551
+ const contractAddress = addressFromSingle(foreignContractAddress);
552
+
553
+ const isPending = await this.handlerAsPrivate().isNullifierPending(innerNullifier, contractAddress);
521
554
 
522
- const exists = await this.handlerAsUtility().utilityCheckNullifierExists(innerNullifier);
555
+ return toForeignCallResult([toSingle(new Fr(isPending))]);
556
+ }
557
+
558
+ // eslint-disable-next-line camelcase
559
+ async aztec_utl_checkNullifierExists(foreignInnerNullifier: ForeignCallSingle) {
560
+ const innerNullifier = fromSingle(foreignInnerNullifier);
561
+
562
+ const exists = await this.handlerAsUtility().checkNullifierExists(innerNullifier);
523
563
 
524
564
  return toForeignCallResult([toSingle(new Fr(exists))]);
525
565
  }
526
566
 
527
- async utilityGetContractInstance(foreignAddress: ForeignCallSingle) {
567
+ // eslint-disable-next-line camelcase
568
+ async aztec_utl_getContractInstance(foreignAddress: ForeignCallSingle) {
528
569
  const address = addressFromSingle(foreignAddress);
529
570
 
530
- const instance = await this.handlerAsUtility().utilityGetContractInstance(address);
571
+ const instance = await this.handlerAsUtility().getContractInstance(address);
531
572
 
532
573
  return toForeignCallResult(
533
574
  [
@@ -540,23 +581,37 @@ export class RPCTranslator {
540
581
  );
541
582
  }
542
583
 
543
- async utilityGetPublicKeysAndPartialAddress(foreignAddress: ForeignCallSingle) {
584
+ // eslint-disable-next-line camelcase
585
+ async aztec_utl_tryGetPublicKeysAndPartialAddress(foreignAddress: ForeignCallSingle) {
544
586
  const address = addressFromSingle(foreignAddress);
545
587
 
546
- const { publicKeys, partialAddress } = await this.handlerAsUtility().utilityGetPublicKeysAndPartialAddress(address);
588
+ const result = await this.handlerAsUtility().tryGetPublicKeysAndPartialAddress(address);
547
589
 
548
- 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
+ }
549
602
  }
550
603
 
551
- async utilityGetKeyValidationRequest(foreignPkMHash: ForeignCallSingle) {
604
+ // eslint-disable-next-line camelcase
605
+ async aztec_utl_getKeyValidationRequest(foreignPkMHash: ForeignCallSingle) {
552
606
  const pkMHash = fromSingle(foreignPkMHash);
553
607
 
554
- const keyValidationRequest = await this.handlerAsUtility().utilityGetKeyValidationRequest(pkMHash);
608
+ const keyValidationRequest = await this.handlerAsUtility().getKeyValidationRequest(pkMHash);
555
609
 
556
610
  return toForeignCallResult(keyValidationRequest.toFields().map(toSingle));
557
611
  }
558
612
 
559
- privateCallPrivateFunction(
613
+ // eslint-disable-next-line camelcase
614
+ aztec_prv_callPrivateFunction(
560
615
  _foreignTargetContractAddress: ForeignCallSingle,
561
616
  _foreignFunctionSelector: ForeignCallSingle,
562
617
  _foreignArgsHash: ForeignCallSingle,
@@ -568,25 +623,27 @@ export class RPCTranslator {
568
623
  );
569
624
  }
570
625
 
571
- async utilityGetNullifierMembershipWitness(
572
- foreignBlockNumber: ForeignCallSingle,
626
+ // eslint-disable-next-line camelcase
627
+ async aztec_utl_getNullifierMembershipWitness(
628
+ foreignBlockHash: ForeignCallSingle,
573
629
  foreignNullifier: ForeignCallSingle,
574
630
  ) {
575
- const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
631
+ const blockHash = new BlockHash(fromSingle(foreignBlockHash));
576
632
  const nullifier = fromSingle(foreignNullifier);
577
633
 
578
- const witness = await this.handlerAsUtility().utilityGetNullifierMembershipWitness(blockNumber, nullifier);
634
+ const witness = await this.handlerAsUtility().getNullifierMembershipWitness(blockHash, nullifier);
579
635
 
580
636
  if (!witness) {
581
- throw new Error(`Nullifier membership witness not found at block ${blockNumber}.`);
637
+ throw new Error(`Nullifier membership witness not found at block ${blockHash}.`);
582
638
  }
583
639
  return toForeignCallResult(witness.toNoirRepresentation());
584
640
  }
585
641
 
586
- async utilityGetAuthWitness(foreignMessageHash: ForeignCallSingle) {
642
+ // eslint-disable-next-line camelcase
643
+ async aztec_utl_getAuthWitness(foreignMessageHash: ForeignCallSingle) {
587
644
  const messageHash = fromSingle(foreignMessageHash);
588
645
 
589
- const authWitness = await this.handlerAsUtility().utilityGetAuthWitness(messageHash);
646
+ const authWitness = await this.handlerAsUtility().getAuthWitness(messageHash);
590
647
 
591
648
  if (!authWitness) {
592
649
  throw new Error(`Auth witness not found for message hash ${messageHash}.`);
@@ -594,44 +651,35 @@ export class RPCTranslator {
594
651
  return toForeignCallResult([toArray(authWitness)]);
595
652
  }
596
653
 
597
- public privateNotifyEnqueuedPublicFunctionCall(
598
- _foreignTargetContractAddress: ForeignCallSingle,
599
- _foreignCalldataHash: ForeignCallSingle,
600
- _foreignSideEffectCounter: ForeignCallSingle,
601
- _foreignIsStaticCall: ForeignCallSingle,
602
- ) {
654
+ // eslint-disable-next-line camelcase
655
+ public aztec_prv_validatePublicCalldata(_foreignCalldataHash: ForeignCallSingle) {
603
656
  throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
604
657
  }
605
658
 
606
- public privateNotifySetPublicTeardownFunctionCall(
607
- _foreignTargetContractAddress: ForeignCallSingle,
608
- _foreignCalldataHash: ForeignCallSingle,
609
- _foreignSideEffectCounter: ForeignCallSingle,
610
- _foreignIsStaticCall: ForeignCallSingle,
611
- ) {
612
- throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
613
- }
614
-
615
- public privateNotifySetMinRevertibleSideEffectCounter(_foreignMinRevertibleSideEffectCounter: ForeignCallSingle) {
659
+ // eslint-disable-next-line camelcase
660
+ public aztec_prv_notifyRevertiblePhaseStart(_foreignMinRevertibleSideEffectCounter: ForeignCallSingle) {
616
661
  throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
617
662
  }
618
663
 
619
- public async privateIsSideEffectCounterRevertible(foreignSideEffectCounter: ForeignCallSingle) {
664
+ // eslint-disable-next-line camelcase
665
+ public async aztec_prv_inRevertiblePhase(foreignSideEffectCounter: ForeignCallSingle) {
620
666
  const sideEffectCounter = fromSingle(foreignSideEffectCounter).toNumber();
621
- const isRevertible = await this.handlerAsPrivate().privateIsSideEffectCounterRevertible(sideEffectCounter);
667
+ const isRevertible = await this.handlerAsPrivate().inRevertiblePhase(sideEffectCounter);
622
668
  return toForeignCallResult([toSingle(new Fr(isRevertible))]);
623
669
  }
624
670
 
625
- utilityGetUtilityContext() {
626
- const context = this.handlerAsUtility().utilityGetUtilityContext();
671
+ // eslint-disable-next-line camelcase
672
+ aztec_utl_getUtilityContext() {
673
+ const context = this.handlerAsUtility().getUtilityContext();
627
674
 
628
675
  return toForeignCallResult(context.toNoirRepresentation());
629
676
  }
630
677
 
631
- async utilityGetBlockHeader(foreignBlockNumber: ForeignCallSingle) {
678
+ // eslint-disable-next-line camelcase
679
+ async aztec_utl_getBlockHeader(foreignBlockNumber: ForeignCallSingle) {
632
680
  const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
633
681
 
634
- const header = await this.handlerAsUtility().utilityGetBlockHeader(blockNumber);
682
+ const header = await this.handlerAsUtility().getBlockHeader(blockNumber);
635
683
 
636
684
  if (!header) {
637
685
  throw new Error(`Block header not found for block ${blockNumber}.`);
@@ -639,67 +687,92 @@ export class RPCTranslator {
639
687
  return toForeignCallResult(header.toFields().map(toSingle));
640
688
  }
641
689
 
642
- async utilityGetMembershipWitness(
643
- foreignBlockNumber: ForeignCallSingle,
644
- foreignTreeId: ForeignCallSingle,
645
- foreignLeafValue: ForeignCallSingle,
690
+ // eslint-disable-next-line camelcase
691
+ async aztec_utl_getNoteHashMembershipWitness(
692
+ foreignAnchorBlockHash: ForeignCallSingle,
693
+ foreignNoteHash: ForeignCallSingle,
646
694
  ) {
647
- const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
648
- const treeId = fromSingle(foreignTreeId).toNumber();
649
- const leafValue = fromSingle(foreignLeafValue);
695
+ const blockHash = new BlockHash(fromSingle(foreignAnchorBlockHash));
696
+ const noteHash = fromSingle(foreignNoteHash);
650
697
 
651
- const witness = await this.handlerAsUtility().utilityGetMembershipWitness(blockNumber, treeId, leafValue);
698
+ const witness = await this.handlerAsUtility().getNoteHashMembershipWitness(blockHash, noteHash);
699
+
700
+ if (!witness) {
701
+ throw new Error(`Note hash ${noteHash} not found in the note hash tree at block ${blockHash.toString()}.`);
702
+ }
703
+ return toForeignCallResult(witness.toNoirRepresentation());
704
+ }
705
+
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));
712
+ const blockHash = new BlockHash(fromSingle(foreignBlockHash));
713
+
714
+ const witness = await this.handlerAsUtility().getBlockHashMembershipWitness(anchorBlockHash, blockHash);
652
715
 
653
716
  if (!witness) {
654
717
  throw new Error(
655
- `Membership witness in tree ${MerkleTreeId[treeId]} not found for value ${leafValue} at block ${blockNumber}.`,
718
+ `Block hash ${blockHash.toString()} not found in the archive tree at anchor block ${anchorBlockHash.toString()}.`,
656
719
  );
657
720
  }
658
- return toForeignCallResult([toSingle(witness[0]), toArray(witness.slice(1))]);
721
+ return toForeignCallResult(witness.toNoirRepresentation());
659
722
  }
660
723
 
661
- async utilityGetLowNullifierMembershipWitness(
662
- foreignBlockNumber: ForeignCallSingle,
724
+ // eslint-disable-next-line camelcase
725
+ async aztec_utl_getLowNullifierMembershipWitness(
726
+ foreignBlockHash: ForeignCallSingle,
663
727
  foreignNullifier: ForeignCallSingle,
664
728
  ) {
665
- const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
729
+ const blockHash = new BlockHash(fromSingle(foreignBlockHash));
666
730
  const nullifier = fromSingle(foreignNullifier);
667
731
 
668
- const witness = await this.handlerAsUtility().utilityGetLowNullifierMembershipWitness(blockNumber, nullifier);
732
+ const witness = await this.handlerAsUtility().getLowNullifierMembershipWitness(blockHash, nullifier);
669
733
 
670
734
  if (!witness) {
671
- throw new Error(`Low nullifier witness not found for nullifier ${nullifier} at block ${blockNumber}.`);
735
+ throw new Error(`Low nullifier witness not found for nullifier ${nullifier} at block ${blockHash}.`);
672
736
  }
673
737
  return toForeignCallResult(witness.toNoirRepresentation());
674
738
  }
675
739
 
676
- async utilityFetchTaggedLogs(foreignPendingTaggedLogArrayBaseSlot: ForeignCallSingle) {
740
+ // eslint-disable-next-line camelcase
741
+ async aztec_utl_fetchTaggedLogs(foreignPendingTaggedLogArrayBaseSlot: ForeignCallSingle) {
677
742
  const pendingTaggedLogArrayBaseSlot = fromSingle(foreignPendingTaggedLogArrayBaseSlot);
678
743
 
679
- await this.handlerAsUtility().utilityFetchTaggedLogs(pendingTaggedLogArrayBaseSlot);
744
+ await this.handlerAsUtility().fetchTaggedLogs(pendingTaggedLogArrayBaseSlot);
680
745
 
681
746
  return toForeignCallResult([]);
682
747
  }
683
748
 
684
- public async utilityValidateEnqueuedNotesAndEvents(
749
+ // eslint-disable-next-line camelcase
750
+ public async aztec_utl_validateAndStoreEnqueuedNotesAndEvents(
685
751
  foreignContractAddress: ForeignCallSingle,
686
752
  foreignNoteValidationRequestsArrayBaseSlot: ForeignCallSingle,
687
753
  foreignEventValidationRequestsArrayBaseSlot: ForeignCallSingle,
754
+ foreignMaxNotePackedLen: ForeignCallSingle,
755
+ foreignMaxEventSerializedLen: ForeignCallSingle,
688
756
  ) {
689
757
  const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
690
758
  const noteValidationRequestsArrayBaseSlot = fromSingle(foreignNoteValidationRequestsArrayBaseSlot);
691
759
  const eventValidationRequestsArrayBaseSlot = fromSingle(foreignEventValidationRequestsArrayBaseSlot);
760
+ const maxNotePackedLen = fromSingle(foreignMaxNotePackedLen).toNumber();
761
+ const maxEventSerializedLen = fromSingle(foreignMaxEventSerializedLen).toNumber();
692
762
 
693
- await this.handlerAsUtility().utilityValidateEnqueuedNotesAndEvents(
763
+ await this.handlerAsUtility().validateAndStoreEnqueuedNotesAndEvents(
694
764
  contractAddress,
695
765
  noteValidationRequestsArrayBaseSlot,
696
766
  eventValidationRequestsArrayBaseSlot,
767
+ maxNotePackedLen,
768
+ maxEventSerializedLen,
697
769
  );
698
770
 
699
771
  return toForeignCallResult([]);
700
772
  }
701
773
 
702
- public async utilityBulkRetrieveLogs(
774
+ // eslint-disable-next-line camelcase
775
+ public async aztec_utl_bulkRetrieveLogs(
703
776
  foreignContractAddress: ForeignCallSingle,
704
777
  foreignLogRetrievalRequestsArrayBaseSlot: ForeignCallSingle,
705
778
  foreignLogRetrievalResponsesArrayBaseSlot: ForeignCallSingle,
@@ -708,7 +781,7 @@ export class RPCTranslator {
708
781
  const logRetrievalRequestsArrayBaseSlot = fromSingle(foreignLogRetrievalRequestsArrayBaseSlot);
709
782
  const logRetrievalResponsesArrayBaseSlot = fromSingle(foreignLogRetrievalResponsesArrayBaseSlot);
710
783
 
711
- await this.handlerAsUtility().utilityBulkRetrieveLogs(
784
+ await this.handlerAsUtility().bulkRetrieveLogs(
712
785
  contractAddress,
713
786
  logRetrievalRequestsArrayBaseSlot,
714
787
  logRetrievalResponsesArrayBaseSlot,
@@ -717,7 +790,8 @@ export class RPCTranslator {
717
790
  return toForeignCallResult([]);
718
791
  }
719
792
 
720
- async utilityStoreCapsule(
793
+ // eslint-disable-next-line camelcase
794
+ async aztec_utl_storeCapsule(
721
795
  foreignContractAddress: ForeignCallSingle,
722
796
  foreignSlot: ForeignCallSingle,
723
797
  foreignCapsule: ForeignCallArray,
@@ -726,12 +800,13 @@ export class RPCTranslator {
726
800
  const slot = fromSingle(foreignSlot);
727
801
  const capsule = fromArray(foreignCapsule);
728
802
 
729
- await this.handlerAsUtility().utilityStoreCapsule(contractAddress, slot, capsule);
803
+ await this.handlerAsUtility().storeCapsule(contractAddress, slot, capsule);
730
804
 
731
805
  return toForeignCallResult([]);
732
806
  }
733
807
 
734
- async utilityLoadCapsule(
808
+ // eslint-disable-next-line camelcase
809
+ async aztec_utl_loadCapsule(
735
810
  foreignContractAddress: ForeignCallSingle,
736
811
  foreignSlot: ForeignCallSingle,
737
812
  foreignTSize: ForeignCallSingle,
@@ -740,7 +815,7 @@ export class RPCTranslator {
740
815
  const slot = fromSingle(foreignSlot);
741
816
  const tSize = fromSingle(foreignTSize).toNumber();
742
817
 
743
- const values = await this.handlerAsUtility().utilityLoadCapsule(contractAddress, slot);
818
+ const values = await this.handlerAsUtility().loadCapsule(contractAddress, slot);
744
819
 
745
820
  // We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
746
821
  // with two fields: `some` (a boolean) and `value` (a field array in this case).
@@ -753,16 +828,18 @@ export class RPCTranslator {
753
828
  }
754
829
  }
755
830
 
756
- async utilityDeleteCapsule(foreignContractAddress: ForeignCallSingle, foreignSlot: ForeignCallSingle) {
831
+ // eslint-disable-next-line camelcase
832
+ async aztec_utl_deleteCapsule(foreignContractAddress: ForeignCallSingle, foreignSlot: ForeignCallSingle) {
757
833
  const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
758
834
  const slot = fromSingle(foreignSlot);
759
835
 
760
- await this.handlerAsUtility().utilityDeleteCapsule(contractAddress, slot);
836
+ await this.handlerAsUtility().deleteCapsule(contractAddress, slot);
761
837
 
762
838
  return toForeignCallResult([]);
763
839
  }
764
840
 
765
- async utilityCopyCapsule(
841
+ // eslint-disable-next-line camelcase
842
+ async aztec_utl_copyCapsule(
766
843
  foreignContractAddress: ForeignCallSingle,
767
844
  foreignSrcSlot: ForeignCallSingle,
768
845
  foreignDstSlot: ForeignCallSingle,
@@ -773,7 +850,7 @@ export class RPCTranslator {
773
850
  const dstSlot = fromSingle(foreignDstSlot);
774
851
  const numEntries = fromSingle(foreignNumEntries).toNumber();
775
852
 
776
- await this.handlerAsUtility().utilityCopyCapsule(contractAddress, srcSlot, dstSlot, numEntries);
853
+ await this.handlerAsUtility().copyCapsule(contractAddress, srcSlot, dstSlot, numEntries);
777
854
 
778
855
  return toForeignCallResult([]);
779
856
  }
@@ -782,7 +859,8 @@ export class RPCTranslator {
782
859
  // 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
783
860
  // to implement this function here. Isn't there a way to programmatically identify that this is missing, given the
784
861
  // existence of a txe_oracle method?
785
- async utilityAes128Decrypt(
862
+ // eslint-disable-next-line camelcase
863
+ async aztec_utl_aes128Decrypt(
786
864
  foreignCiphertextBVecStorage: ForeignCallArray,
787
865
  foreignCiphertextLength: ForeignCallSingle,
788
866
  foreignIv: ForeignCallArray,
@@ -792,14 +870,15 @@ export class RPCTranslator {
792
870
  const iv = fromUintArray(foreignIv, 8);
793
871
  const symKey = fromUintArray(foreignSymKey, 8);
794
872
 
795
- const plaintextBuffer = await this.handlerAsUtility().utilityAes128Decrypt(ciphertext, iv, symKey);
873
+ const plaintextBuffer = await this.handlerAsUtility().aes128Decrypt(ciphertext, iv, symKey);
796
874
 
797
875
  return toForeignCallResult(
798
876
  arrayToBoundedVec(bufferToU8Array(plaintextBuffer), foreignCiphertextBVecStorage.length),
799
877
  );
800
878
  }
801
879
 
802
- async utilityGetSharedSecret(
880
+ // eslint-disable-next-line camelcase
881
+ async aztec_utl_getSharedSecret(
803
882
  foreignAddress: ForeignCallSingle,
804
883
  foreignEphPKField0: ForeignCallSingle,
805
884
  foreignEphPKField1: ForeignCallSingle,
@@ -812,43 +891,49 @@ export class RPCTranslator {
812
891
  fromSingle(foreignEphPKField2),
813
892
  ]);
814
893
 
815
- const secret = await this.handlerAsUtility().utilityGetSharedSecret(address, ephPK);
894
+ const secret = await this.handlerAsUtility().getSharedSecret(address, ephPK);
816
895
 
817
896
  return toForeignCallResult(secret.toFields().map(toSingle));
818
897
  }
819
898
 
820
- emitOffchainEffect(_foreignData: ForeignCallArray) {
899
+ // eslint-disable-next-line camelcase
900
+ aztec_utl_emitOffchainEffect(_foreignData: ForeignCallArray) {
821
901
  throw new Error('Offchain effects are not yet supported in the TestEnvironment');
822
902
  }
823
903
 
824
904
  // AVM opcodes
825
905
 
826
- avmOpcodeEmitUnencryptedLog(_foreignMessage: ForeignCallArray) {
906
+ // eslint-disable-next-line camelcase
907
+ aztec_avm_emitPublicLog(_foreignMessage: ForeignCallArray) {
827
908
  // TODO(#8811): Implement
828
909
  return toForeignCallResult([]);
829
910
  }
830
911
 
831
- async avmOpcodeStorageRead(foreignSlot: ForeignCallSingle) {
912
+ // eslint-disable-next-line camelcase
913
+ async aztec_avm_storageRead(foreignSlot: ForeignCallSingle, foreignContractAddress: ForeignCallSingle) {
832
914
  const slot = fromSingle(foreignSlot);
915
+ const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
833
916
 
834
- const value = (await this.handlerAsAvm().avmOpcodeStorageRead(slot)).value;
917
+ const value = (await this.handlerAsAvm().storageRead(slot, contractAddress)).value;
835
918
 
836
919
  return toForeignCallResult([toSingle(new Fr(value))]);
837
920
  }
838
921
 
839
- async avmOpcodeStorageWrite(foreignSlot: ForeignCallSingle, foreignValue: ForeignCallSingle) {
922
+ // eslint-disable-next-line camelcase
923
+ async aztec_avm_storageWrite(foreignSlot: ForeignCallSingle, foreignValue: ForeignCallSingle) {
840
924
  const slot = fromSingle(foreignSlot);
841
925
  const value = fromSingle(foreignValue);
842
926
 
843
- await this.handlerAsAvm().avmOpcodeStorageWrite(slot, value);
927
+ await this.handlerAsAvm().storageWrite(slot, value);
844
928
 
845
929
  return toForeignCallResult([]);
846
930
  }
847
931
 
848
- async avmOpcodeGetContractInstanceDeployer(foreignAddress: ForeignCallSingle) {
932
+ // eslint-disable-next-line camelcase
933
+ async aztec_avm_getContractInstanceDeployer(foreignAddress: ForeignCallSingle) {
849
934
  const address = addressFromSingle(foreignAddress);
850
935
 
851
- const instance = await this.handlerAsUtility().utilityGetContractInstance(address);
936
+ const instance = await this.handlerAsUtility().getContractInstance(address);
852
937
 
853
938
  return toForeignCallResult([
854
939
  toSingle(instance.deployer),
@@ -857,10 +942,11 @@ export class RPCTranslator {
857
942
  ]);
858
943
  }
859
944
 
860
- async avmOpcodeGetContractInstanceClassId(foreignAddress: ForeignCallSingle) {
945
+ // eslint-disable-next-line camelcase
946
+ async aztec_avm_getContractInstanceClassId(foreignAddress: ForeignCallSingle) {
861
947
  const address = addressFromSingle(foreignAddress);
862
948
 
863
- const instance = await this.handlerAsUtility().utilityGetContractInstance(address);
949
+ const instance = await this.handlerAsUtility().getContractInstance(address);
864
950
 
865
951
  return toForeignCallResult([
866
952
  toSingle(instance.currentContractClassId),
@@ -869,10 +955,11 @@ export class RPCTranslator {
869
955
  ]);
870
956
  }
871
957
 
872
- async avmOpcodeGetContractInstanceInitializationHash(foreignAddress: ForeignCallSingle) {
958
+ // eslint-disable-next-line camelcase
959
+ async aztec_avm_getContractInstanceInitializationHash(foreignAddress: ForeignCallSingle) {
873
960
  const address = addressFromSingle(foreignAddress);
874
961
 
875
- const instance = await this.handlerAsUtility().utilityGetContractInstance(address);
962
+ const instance = await this.handlerAsUtility().getContractInstance(address);
876
963
 
877
964
  return toForeignCallResult([
878
965
  toSingle(instance.initializationHash),
@@ -881,86 +968,98 @@ export class RPCTranslator {
881
968
  ]);
882
969
  }
883
970
 
884
- async avmOpcodeSender() {
885
- const sender = await this.handlerAsAvm().avmOpcodeSender();
971
+ // eslint-disable-next-line camelcase
972
+ async aztec_avm_sender() {
973
+ const sender = await this.handlerAsAvm().sender();
886
974
 
887
975
  return toForeignCallResult([toSingle(sender)]);
888
976
  }
889
977
 
890
- async avmOpcodeEmitNullifier(foreignNullifier: ForeignCallSingle) {
978
+ // eslint-disable-next-line camelcase
979
+ async aztec_avm_emitNullifier(foreignNullifier: ForeignCallSingle) {
891
980
  const nullifier = fromSingle(foreignNullifier);
892
981
 
893
- await this.handlerAsAvm().avmOpcodeEmitNullifier(nullifier);
982
+ await this.handlerAsAvm().emitNullifier(nullifier);
894
983
 
895
984
  return toForeignCallResult([]);
896
985
  }
897
986
 
898
- async avmOpcodeEmitNoteHash(foreignNoteHash: ForeignCallSingle) {
987
+ // eslint-disable-next-line camelcase
988
+ async aztec_avm_emitNoteHash(foreignNoteHash: ForeignCallSingle) {
899
989
  const noteHash = fromSingle(foreignNoteHash);
900
990
 
901
- await this.handlerAsAvm().avmOpcodeEmitNoteHash(noteHash);
991
+ await this.handlerAsAvm().emitNoteHash(noteHash);
902
992
 
903
993
  return toForeignCallResult([]);
904
994
  }
905
995
 
906
- async avmOpcodeNullifierExists(foreignInnerNullifier: ForeignCallSingle, foreignTargetAddress: ForeignCallSingle) {
907
- const innerNullifier = fromSingle(foreignInnerNullifier);
908
- const targetAddress = AztecAddress.fromField(fromSingle(foreignTargetAddress));
996
+ // eslint-disable-next-line camelcase
997
+ async aztec_avm_nullifierExists(foreignSiloedNullifier: ForeignCallSingle) {
998
+ const siloedNullifier = fromSingle(foreignSiloedNullifier);
909
999
 
910
- const exists = await this.handlerAsAvm().avmOpcodeNullifierExists(innerNullifier, targetAddress);
1000
+ const exists = await this.handlerAsAvm().nullifierExists(siloedNullifier);
911
1001
 
912
1002
  return toForeignCallResult([toSingle(new Fr(exists))]);
913
1003
  }
914
1004
 
915
- async avmOpcodeAddress() {
916
- const contractAddress = await this.handlerAsAvm().avmOpcodeAddress();
1005
+ // eslint-disable-next-line camelcase
1006
+ async aztec_avm_address() {
1007
+ const contractAddress = await this.handlerAsAvm().address();
917
1008
 
918
1009
  return toForeignCallResult([toSingle(contractAddress.toField())]);
919
1010
  }
920
1011
 
921
- async avmOpcodeBlockNumber() {
922
- const blockNumber = await this.handlerAsAvm().avmOpcodeBlockNumber();
1012
+ // eslint-disable-next-line camelcase
1013
+ async aztec_avm_blockNumber() {
1014
+ const blockNumber = await this.handlerAsAvm().blockNumber();
923
1015
 
924
1016
  return toForeignCallResult([toSingle(new Fr(blockNumber))]);
925
1017
  }
926
1018
 
927
- async avmOpcodeTimestamp() {
928
- const timestamp = await this.handlerAsAvm().avmOpcodeTimestamp();
1019
+ // eslint-disable-next-line camelcase
1020
+ async aztec_avm_timestamp() {
1021
+ const timestamp = await this.handlerAsAvm().timestamp();
929
1022
 
930
1023
  return toForeignCallResult([toSingle(new Fr(timestamp))]);
931
1024
  }
932
1025
 
933
- async avmOpcodeIsStaticCall() {
934
- const isStaticCall = await this.handlerAsAvm().avmOpcodeIsStaticCall();
1026
+ // eslint-disable-next-line camelcase
1027
+ async aztec_avm_isStaticCall() {
1028
+ const isStaticCall = await this.handlerAsAvm().isStaticCall();
935
1029
 
936
1030
  return toForeignCallResult([toSingle(new Fr(isStaticCall ? 1 : 0))]);
937
1031
  }
938
1032
 
939
- async avmOpcodeChainId() {
940
- const chainId = await this.handlerAsAvm().avmOpcodeChainId();
1033
+ // eslint-disable-next-line camelcase
1034
+ async aztec_avm_chainId() {
1035
+ const chainId = await this.handlerAsAvm().chainId();
941
1036
 
942
1037
  return toForeignCallResult([toSingle(chainId)]);
943
1038
  }
944
1039
 
945
- async avmOpcodeVersion() {
946
- const version = await this.handlerAsAvm().avmOpcodeVersion();
1040
+ // eslint-disable-next-line camelcase
1041
+ async aztec_avm_version() {
1042
+ const version = await this.handlerAsAvm().version();
947
1043
 
948
1044
  return toForeignCallResult([toSingle(version)]);
949
1045
  }
950
1046
 
951
- avmOpcodeReturndataSize() {
1047
+ // eslint-disable-next-line camelcase
1048
+ aztec_avm_returndataSize() {
952
1049
  throw new Error(
953
1050
  'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
954
1051
  );
955
1052
  }
956
1053
 
957
- avmOpcodeReturndataCopy(_foreignRdOffset: ForeignCallSingle, _foreignCopySize: ForeignCallSingle) {
1054
+ // eslint-disable-next-line camelcase
1055
+ aztec_avm_returndataCopy(_foreignRdOffset: ForeignCallSingle, _foreignCopySize: ForeignCallSingle) {
958
1056
  throw new Error(
959
1057
  'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
960
1058
  );
961
1059
  }
962
1060
 
963
- avmOpcodeCall(
1061
+ // eslint-disable-next-line camelcase
1062
+ aztec_avm_call(
964
1063
  _foreignL2Gas: ForeignCallSingle,
965
1064
  _foreignDaGas: ForeignCallSingle,
966
1065
  _foreignAddress: ForeignCallSingle,
@@ -972,7 +1071,8 @@ export class RPCTranslator {
972
1071
  );
973
1072
  }
974
1073
 
975
- avmOpcodeStaticCall(
1074
+ // eslint-disable-next-line camelcase
1075
+ aztec_avm_staticCall(
976
1076
  _foreignL2Gas: ForeignCallSingle,
977
1077
  _foreignDaGas: ForeignCallSingle,
978
1078
  _foreignAddress: ForeignCallSingle,
@@ -984,13 +1084,15 @@ export class RPCTranslator {
984
1084
  );
985
1085
  }
986
1086
 
987
- avmOpcodeSuccessCopy() {
1087
+ // eslint-disable-next-line camelcase
1088
+ aztec_avm_successCopy() {
988
1089
  throw new Error(
989
1090
  'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
990
1091
  );
991
1092
  }
992
1093
 
993
- async txePrivateCallNewFlow(
1094
+ // eslint-disable-next-line camelcase
1095
+ async aztec_txe_privateCallNewFlow(
994
1096
  foreignFrom: ForeignCallSingle,
995
1097
  foreignTargetContractAddress: ForeignCallSingle,
996
1098
  foreignFunctionSelector: ForeignCallSingle,
@@ -1005,19 +1107,23 @@ export class RPCTranslator {
1005
1107
  const argsHash = fromSingle(foreignArgsHash);
1006
1108
  const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
1007
1109
 
1008
- const returnValues = await this.handlerAsTxe().txePrivateCallNewFlow(
1110
+ const returnValues = await this.handlerAsTxe().privateCallNewFlow(
1009
1111
  from,
1010
1112
  targetContractAddress,
1011
1113
  functionSelector,
1012
1114
  args,
1013
1115
  argsHash,
1014
1116
  isStaticCall,
1117
+ this.stateHandler.getCurrentJob(),
1015
1118
  );
1016
1119
 
1120
+ // TODO(F-335): Avoid doing the following call here.
1121
+ await this.stateHandler.cycleJob();
1017
1122
  return toForeignCallResult([toArray(returnValues)]);
1018
1123
  }
1019
1124
 
1020
- async txeSimulateUtilityFunction(
1125
+ // eslint-disable-next-line camelcase
1126
+ async aztec_txe_executeUtilityFunction(
1021
1127
  foreignTargetContractAddress: ForeignCallSingle,
1022
1128
  foreignFunctionSelector: ForeignCallSingle,
1023
1129
  foreignArgs: ForeignCallArray,
@@ -1026,16 +1132,20 @@ export class RPCTranslator {
1026
1132
  const functionSelector = FunctionSelector.fromField(fromSingle(foreignFunctionSelector));
1027
1133
  const args = fromArray(foreignArgs);
1028
1134
 
1029
- const returnValues = await this.handlerAsTxe().txeSimulateUtilityFunction(
1135
+ const returnValues = await this.handlerAsTxe().executeUtilityFunction(
1030
1136
  targetContractAddress,
1031
1137
  functionSelector,
1032
1138
  args,
1139
+ this.stateHandler.getCurrentJob(),
1033
1140
  );
1034
1141
 
1142
+ // TODO(F-335): Avoid doing the following call here.
1143
+ await this.stateHandler.cycleJob();
1035
1144
  return toForeignCallResult([toArray(returnValues)]);
1036
1145
  }
1037
1146
 
1038
- async txePublicCallNewFlow(
1147
+ // eslint-disable-next-line camelcase
1148
+ async aztec_txe_publicCallNewFlow(
1039
1149
  foreignFrom: ForeignCallSingle,
1040
1150
  foreignAddress: ForeignCallSingle,
1041
1151
  foreignCalldata: ForeignCallArray,
@@ -1046,13 +1156,16 @@ export class RPCTranslator {
1046
1156
  const calldata = fromArray(foreignCalldata);
1047
1157
  const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
1048
1158
 
1049
- const returnValues = await this.handlerAsTxe().txePublicCallNewFlow(from, address, calldata, isStaticCall);
1159
+ const returnValues = await this.handlerAsTxe().publicCallNewFlow(from, address, calldata, isStaticCall);
1050
1160
 
1161
+ // TODO(F-335): Avoid doing the following call here.
1162
+ await this.stateHandler.cycleJob();
1051
1163
  return toForeignCallResult([toArray(returnValues)]);
1052
1164
  }
1053
1165
 
1054
- async privateGetSenderForTags() {
1055
- const sender = await this.handlerAsPrivate().privateGetSenderForTags();
1166
+ // eslint-disable-next-line camelcase
1167
+ async aztec_prv_getSenderForTags() {
1168
+ const sender = await this.handlerAsPrivate().getSenderForTags();
1056
1169
 
1057
1170
  // Return a Noir Option struct with `some` and `value` fields
1058
1171
  if (sender === undefined) {
@@ -1064,19 +1177,21 @@ export class RPCTranslator {
1064
1177
  }
1065
1178
  }
1066
1179
 
1067
- async privateSetSenderForTags(foreignSenderForTags: ForeignCallSingle) {
1180
+ // eslint-disable-next-line camelcase
1181
+ async aztec_prv_setSenderForTags(foreignSenderForTags: ForeignCallSingle) {
1068
1182
  const senderForTags = AztecAddress.fromField(fromSingle(foreignSenderForTags));
1069
1183
 
1070
- await this.handlerAsPrivate().privateSetSenderForTags(senderForTags);
1184
+ await this.handlerAsPrivate().setSenderForTags(senderForTags);
1071
1185
 
1072
1186
  return toForeignCallResult([]);
1073
1187
  }
1074
1188
 
1075
- async privateGetNextAppTagAsSender(foreignSender: ForeignCallSingle, foreignRecipient: ForeignCallSingle) {
1189
+ // eslint-disable-next-line camelcase
1190
+ async aztec_prv_getNextAppTagAsSender(foreignSender: ForeignCallSingle, foreignRecipient: ForeignCallSingle) {
1076
1191
  const sender = AztecAddress.fromField(fromSingle(foreignSender));
1077
1192
  const recipient = AztecAddress.fromField(fromSingle(foreignRecipient));
1078
1193
 
1079
- const nextAppTag = await this.handlerAsPrivate().privateGetNextAppTagAsSender(sender, recipient);
1194
+ const nextAppTag = await this.handlerAsPrivate().getNextAppTagAsSender(sender, recipient);
1080
1195
 
1081
1196
  return toForeignCallResult([toSingle(nextAppTag.value)]);
1082
1197
  }