@aztec/txe 0.0.1-commit.e558bd1c → 0.0.1-commit.e5a3663dd

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 (60) 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 +34 -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 +31 -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 +159 -66
  12. package/dest/rpc_translator.d.ts +129 -83
  13. package/dest/rpc_translator.d.ts.map +1 -1
  14. package/dest/rpc_translator.js +479 -165
  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 +12 -12
  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/global_variable_builder.d.ts +9 -4
  22. package/dest/state_machine/global_variable_builder.d.ts.map +1 -1
  23. package/dest/state_machine/global_variable_builder.js +9 -3
  24. package/dest/state_machine/index.d.ts +4 -2
  25. package/dest/state_machine/index.d.ts.map +1 -1
  26. package/dest/state_machine/index.js +8 -4
  27. package/dest/state_machine/mock_epoch_cache.d.ts +20 -3
  28. package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
  29. package/dest/state_machine/mock_epoch_cache.js +39 -2
  30. package/dest/state_machine/synchronizer.d.ts +5 -5
  31. package/dest/state_machine/synchronizer.d.ts.map +1 -1
  32. package/dest/state_machine/synchronizer.js +3 -3
  33. package/dest/txe_session.d.ts +54 -6
  34. package/dest/txe_session.d.ts.map +1 -1
  35. package/dest/txe_session.js +152 -27
  36. package/dest/util/encoding.d.ts +71 -1
  37. package/dest/util/encoding.d.ts.map +1 -1
  38. package/dest/util/encoding.js +4 -0
  39. package/dest/util/txe_public_contract_data_source.d.ts +2 -3
  40. package/dest/util/txe_public_contract_data_source.d.ts.map +1 -1
  41. package/dest/util/txe_public_contract_data_source.js +6 -25
  42. package/package.json +15 -15
  43. package/src/index.ts +89 -52
  44. package/src/oracle/interfaces.ts +35 -32
  45. package/src/oracle/txe_oracle_public_context.ts +12 -12
  46. package/src/oracle/txe_oracle_top_level_context.ts +168 -117
  47. package/src/rpc_translator.ts +571 -196
  48. package/src/state_machine/archiver.ts +9 -9
  49. package/src/state_machine/dummy_p2p_client.ts +39 -22
  50. package/src/state_machine/global_variable_builder.ts +18 -3
  51. package/src/state_machine/index.ts +10 -2
  52. package/src/state_machine/mock_epoch_cache.ts +51 -3
  53. package/src/state_machine/synchronizer.ts +4 -4
  54. package/src/txe_session.ts +216 -76
  55. package/src/util/encoding.ts +5 -0
  56. package/src/util/txe_public_contract_data_source.ts +10 -38
  57. package/dest/util/txe_contract_store.d.ts +0 -12
  58. package/dest/util/txe_contract_store.d.ts.map +0 -1
  59. package/dest/util/txe_contract_store.js +0 -22
  60. package/src/util/txe_contract_store.ts +0 -36
@@ -3,11 +3,12 @@ import { Fr } from '@aztec/foundation/curves/bn254';
3
3
  import { type Logger, createLogger } from '@aztec/foundation/log';
4
4
  import { KeyStore } from '@aztec/key-store';
5
5
  import { openTmpStore } from '@aztec/kv-store/lmdb-v2';
6
- import type { ProtocolContract } from '@aztec/protocol-contracts';
7
6
  import {
8
7
  AddressStore,
9
8
  AnchorBlockStore,
9
+ CapsuleService,
10
10
  CapsuleStore,
11
+ ContractStore,
11
12
  JobCoordinator,
12
13
  NoteService,
13
14
  NoteStore,
@@ -41,7 +42,7 @@ import { GasSettings } from '@aztec/stdlib/gas';
41
42
  import { computeProtocolNullifier } from '@aztec/stdlib/hash';
42
43
  import { PrivateContextInputs } from '@aztec/stdlib/kernel';
43
44
  import { makeGlobalVariables } from '@aztec/stdlib/testing';
44
- import { CallContext, GlobalVariables, TxContext } from '@aztec/stdlib/tx';
45
+ import { CallContext, GlobalVariables, OFFCHAIN_MESSAGE_IDENTIFIER, TxContext } from '@aztec/stdlib/tx';
45
46
 
46
47
  import { z } from 'zod';
47
48
 
@@ -54,7 +55,6 @@ import { TXEArchiver } from './state_machine/archiver.js';
54
55
  import { TXEStateMachine } from './state_machine/index.js';
55
56
  import type { ForeignCallArgs, ForeignCallResult } from './util/encoding.js';
56
57
  import { TXEAccountStore } from './util/txe_account_store.js';
57
- import { TXEContractStore } from './util/txe_contract_store.js';
58
58
  import { getSingleTxBlockRequestHash, insertTxEffectIntoWorldTrees, makeTXEBlock } from './utils/block_creation.js';
59
59
  import { makeTxEffect } from './utils/tx_effect_creation.js';
60
60
 
@@ -113,6 +113,69 @@ export interface TXESessionStateHandler {
113
113
  enterPublicState(contractAddress?: AztecAddress): Promise<void>;
114
114
  enterPrivateState(contractAddress?: AztecAddress, anchorBlockNumber?: BlockNumber): Promise<PrivateContextInputs>;
115
115
  enterUtilityState(contractAddress?: AztecAddress): Promise<void>;
116
+
117
+ // TODO(F-335): Exposing the job info is abstraction breakage - drop the following 2 functions.
118
+ cycleJob(): Promise<string>;
119
+ getCurrentJob(): string;
120
+
121
+ /**
122
+ * Runs an executor-style top-level call (private/public call, utility execution) with last-call tracking.
123
+ */
124
+ withTopLevelCallTracking<T>(work: () => Promise<{ result: T; txHash?: Fr }>): Promise<T>;
125
+
126
+ /**
127
+ * Captures a raw offchain effect payload for consumption from test environment. Called by the `emit_offchain_effect`
128
+ * oracle handler whenever a contract function emits an offchain message, at any call depth.
129
+ */
130
+ recordOffchainEffect(data: Fr[]): void;
131
+
132
+ /**
133
+ * Returns the raw offchain effect payloads emitted by the last top-level call. Each payload follows the protocol
134
+ * convention documented on `OFFCHAIN_MESSAGE_IDENTIFIER`, i.e. `[identifier, recipient, ...ciphertext]`. Decoding into
135
+ * `OffchainMessage` structs happens on the Noir side of the test helper. Marks the buffer as queried so the
136
+ * unqueried-messages warning doesn't fire on the next reset.
137
+ */
138
+ getLastCallOffchainEffects(): { effects: Fr[][] };
139
+
140
+ /**
141
+ * Returns the context of the last top-level call: its tx hash (`Fr.ZERO` if the call was tx-less) and the anchor
142
+ * block timestamp captured at the start of the call. Does *not* mark the buffer as queried — context reads are
143
+ * metadata, not effect consumption.
144
+ */
145
+ getLastCallContext(): { txHash: Fr; anchorBlockTimestamp: bigint };
146
+ }
147
+
148
+ /**
149
+ * Session state tracking the most recently completed top-level call: the offchain effect buffer it produced, and the
150
+ * call's context (tx hash + anchor block timestamp). The context is refreshed on every top-level call, independently
151
+ * of whether the call produced offchain effects.
152
+ */
153
+ interface LastCallState {
154
+ /**
155
+ * Raw offchain effect payloads emitted by the currently-executing (or most recently completed) top-level call. Wiped
156
+ * at the start of every top-level entry point, appended to on every `emit_offchain_effect` oracle invocation.
157
+ */
158
+ offchainEffects: Fr[][];
159
+ /**
160
+ * Tracks whether the test has queried `effects` since the last reset. If a new top-level call clobbers the buffer
161
+ * without it being queried first, any accumulated messages are lost and we emit a warning so tests don't silently
162
+ * drop delivery.
163
+ */
164
+ queried: boolean;
165
+ /**
166
+ * Tx hash of the most recently completed top-level call, or `Fr.ZERO` if the call was tx-less (context setters,
167
+ * utility execution). Populated by call executor handlers after execution completes.
168
+ */
169
+ txHash: Fr;
170
+ /**
171
+ * Anchor block timestamp of the most recently completed top-level call, captured from the anchor block header that
172
+ * was active when the call started. Populated by call executor handlers after execution completes.
173
+ */
174
+ anchorBlockTimestamp: bigint;
175
+ }
176
+
177
+ function emptyLastCallState(): LastCallState {
178
+ return { offchainEffects: [], queried: false, txHash: Fr.ZERO, anchorBlockTimestamp: 0n };
116
179
  }
117
180
 
118
181
  /**
@@ -122,6 +185,7 @@ export interface TXESessionStateHandler {
122
185
  export class TXESession implements TXESessionStateHandler {
123
186
  private state: SessionState = { name: 'TOP_LEVEL' };
124
187
  private authwits: Map<string, AuthWitness> = new Map();
188
+ private lastCallInfo: LastCallState = emptyLastCallState();
125
189
 
126
190
  constructor(
127
191
  private logger: Logger,
@@ -131,7 +195,7 @@ export class TXESession implements TXESessionStateHandler {
131
195
  | IPrivateExecutionOracle
132
196
  | IAvmExecutionOracle
133
197
  | ITxeExecutionOracle,
134
- private contractStore: TXEContractStore,
198
+ private contractStore: ContractStore,
135
199
  private noteStore: NoteStore,
136
200
  private keyStore: KeyStore,
137
201
  private addressStore: AddressStore,
@@ -148,12 +212,11 @@ export class TXESession implements TXESessionStateHandler {
148
212
  private nextBlockTimestamp: bigint,
149
213
  ) {}
150
214
 
151
- static async init(protocolContracts: ProtocolContract[]) {
215
+ static async init(contractStore: ContractStore) {
152
216
  const store = await openTmpStore('txe-session');
153
217
 
154
218
  const addressStore = new AddressStore(store);
155
219
  const privateEventStore = new PrivateEventStore(store);
156
- const contractStore = new TXEContractStore(store);
157
220
  const noteStore = new NoteStore(store);
158
221
  const senderTaggingStore = new SenderTaggingStore(store);
159
222
  const recipientTaggingStore = new RecipientTaggingStore(store);
@@ -172,12 +235,6 @@ export class TXESession implements TXESessionStateHandler {
172
235
  noteStore,
173
236
  ]);
174
237
 
175
- // Register protocol contracts.
176
- for (const { contractClass, instance, artifact } of protocolContracts) {
177
- await contractStore.addContractArtifact(contractClass.id, artifact);
178
- await contractStore.addContractInstance(instance);
179
- }
180
-
181
238
  const archiver = new TXEArchiver(store);
182
239
  const anchorBlockStore = new AnchorBlockStore(store);
183
240
  const stateMachine = await TXEStateMachine.create(archiver, anchorBlockStore, contractStore, noteStore);
@@ -188,6 +245,8 @@ export class TXESession implements TXESessionStateHandler {
188
245
 
189
246
  const initialJobId = jobCoordinator.beginJob();
190
247
 
248
+ const logger = createLogger('txe:session');
249
+
191
250
  const topLevelOracleHandler = new TXEOracleTopLevelContext(
192
251
  stateMachine,
193
252
  contractStore,
@@ -200,16 +259,15 @@ export class TXESession implements TXESessionStateHandler {
200
259
  senderAddressBookStore,
201
260
  capsuleStore,
202
261
  privateEventStore,
203
- initialJobId,
204
262
  nextBlockTimestamp,
205
263
  version,
206
264
  chainId,
207
265
  new Map(),
208
266
  );
209
- await topLevelOracleHandler.txeAdvanceBlocksBy(1);
267
+ await topLevelOracleHandler.advanceBlocksBy(1);
210
268
 
211
269
  return new TXESession(
212
- createLogger('txe:session'),
270
+ logger,
213
271
  stateMachine,
214
272
  topLevelOracleHandler,
215
273
  contractStore,
@@ -261,6 +319,61 @@ export class TXESession implements TXESessionStateHandler {
261
319
  }
262
320
  }
263
321
 
322
+ getCurrentJob(): string {
323
+ return this.currentJobId;
324
+ }
325
+
326
+ /** Commits the current job and begins a new one. Returns the new job ID. */
327
+ async cycleJob(): Promise<string> {
328
+ await this.jobCoordinator.commitJob(this.currentJobId);
329
+ this.currentJobId = this.jobCoordinator.beginJob();
330
+ return this.currentJobId;
331
+ }
332
+
333
+ private resetLastCall(): void {
334
+ const notQueriedMessageCount = this.lastCallInfo.queried
335
+ ? 0
336
+ : this.lastCallInfo.offchainEffects.filter(payload => payload[0]?.equals(OFFCHAIN_MESSAGE_IDENTIFIER)).length;
337
+ if (notQueriedMessageCount > 0) {
338
+ this.logger.warn(
339
+ `Dropping ${notQueriedMessageCount} unqueried offchain message(s) from the previous top-level call. ` +
340
+ `To deliver them, call \`env.offchain_messages()\` and forward the result to the recipient contract's ` +
341
+ `\`offchain_receive\` utility before issuing another top-level call. To intentionally discard, assign ` +
342
+ `to \`let _ = env.offchain_messages()\` to silence this warning.`,
343
+ );
344
+ }
345
+ this.lastCallInfo = emptyLastCallState();
346
+ }
347
+
348
+ recordOffchainEffect(data: Fr[]): void {
349
+ this.lastCallInfo.offchainEffects.push(data);
350
+ }
351
+
352
+ private setLastCallContext(txHash: Fr, anchorBlockTimestamp: bigint): void {
353
+ this.lastCallInfo.txHash = txHash;
354
+ this.lastCallInfo.anchorBlockTimestamp = anchorBlockTimestamp;
355
+ }
356
+
357
+ async withTopLevelCallTracking<T>(work: () => Promise<{ result: T; txHash?: Fr }>): Promise<T> {
358
+ this.resetLastCall();
359
+ // Capture the anchor *before* `work` runs: private/public executor calls mine a new block as a
360
+ // side effect, and that block's timestamp should not be attributed to this call's anchor.
361
+ const anchorBlockTimestamp = (await this.stateMachine.node.getBlockHeader('latest'))!.globalVariables.timestamp;
362
+ const { result, txHash } = await work();
363
+ this.setLastCallContext(txHash ?? Fr.ZERO, anchorBlockTimestamp);
364
+ return result;
365
+ }
366
+
367
+ getLastCallOffchainEffects(): { effects: Fr[][] } {
368
+ this.lastCallInfo.queried = true;
369
+ return { effects: this.lastCallInfo.offchainEffects };
370
+ }
371
+
372
+ getLastCallContext(): { txHash: Fr; anchorBlockTimestamp: bigint } {
373
+ const { txHash, anchorBlockTimestamp } = this.lastCallInfo;
374
+ return { txHash, anchorBlockTimestamp };
375
+ }
376
+
264
377
  async enterTopLevelState() {
265
378
  switch (this.state.name) {
266
379
  case 'PRIVATE': {
@@ -284,8 +397,7 @@ export class TXESession implements TXESessionStateHandler {
284
397
  }
285
398
 
286
399
  // Commit all staged stores from the job that was just completed, then begin a new job
287
- await this.jobCoordinator.commitJob(this.currentJobId);
288
- this.currentJobId = this.jobCoordinator.beginJob();
400
+ await this.cycleJob();
289
401
 
290
402
  this.oracleHandler = new TXEOracleTopLevelContext(
291
403
  this.stateMachine,
@@ -299,7 +411,6 @@ export class TXESession implements TXESessionStateHandler {
299
411
  this.senderAddressBookStore,
300
412
  this.capsuleStore,
301
413
  this.privateEventStore,
302
- this.currentJobId,
303
414
  this.nextBlockTimestamp,
304
415
  this.version,
305
416
  this.chainId,
@@ -315,6 +426,7 @@ export class TXESession implements TXESessionStateHandler {
315
426
  anchorBlockNumber?: BlockNumber,
316
427
  ): Promise<PrivateContextInputs> {
317
428
  this.exitTopLevelState();
429
+ this.resetLastCall();
318
430
 
319
431
  // Private execution has two associated block numbers: the anchor block (i.e. the historical block that is used to
320
432
  // build the proof), and the *next* block, i.e. the one we'll create once the execution ends, and which will contain
@@ -323,6 +435,7 @@ export class TXESession implements TXESessionStateHandler {
323
435
 
324
436
  await new NoteService(this.noteStore, this.stateMachine.node, anchorBlock!, this.currentJobId).syncNoteNullifiers(
325
437
  contractAddress,
438
+ await this.keyStore.getAccounts(),
326
439
  );
327
440
  const latestBlock = await this.stateMachine.node.getBlockHeader('latest');
328
441
 
@@ -339,30 +452,34 @@ export class TXESession implements TXESessionStateHandler {
339
452
  const taggingIndexCache = new ExecutionTaggingIndexCache();
340
453
 
341
454
  const utilityExecutor = this.utilityExecutorForContractSync(anchorBlock);
342
- this.oracleHandler = new PrivateExecutionOracle(
343
- Fr.ZERO,
344
- new TxContext(this.chainId, this.version, GasSettings.empty()),
345
- new CallContext(AztecAddress.ZERO, contractAddress, FunctionSelector.empty(), false),
346
- anchorBlock!,
455
+ this.oracleHandler = new PrivateExecutionOracle({
456
+ argsHash: Fr.ZERO,
457
+ txContext: new TxContext(this.chainId, this.version, GasSettings.empty()),
458
+ callContext: new CallContext(AztecAddress.ZERO, contractAddress, FunctionSelector.empty(), false),
459
+ anchorBlockHeader: anchorBlock!,
347
460
  utilityExecutor,
348
- [],
349
- [],
350
- new HashedValuesCache(),
461
+ authWitnesses: [],
462
+ capsules: [],
463
+ executionCache: new HashedValuesCache(),
351
464
  noteCache,
352
465
  taggingIndexCache,
353
- this.contractStore,
354
- this.noteStore,
355
- this.keyStore,
356
- this.addressStore,
357
- this.stateMachine.node,
358
- this.senderTaggingStore,
359
- this.recipientTaggingStore,
360
- this.senderAddressBookStore,
361
- this.capsuleStore,
362
- this.privateEventStore,
363
- this.stateMachine.contractSyncService,
364
- this.currentJobId,
365
- );
466
+ contractStore: this.contractStore,
467
+ noteStore: this.noteStore,
468
+ keyStore: this.keyStore,
469
+ addressStore: this.addressStore,
470
+ aztecNode: this.stateMachine.node,
471
+ senderTaggingStore: this.senderTaggingStore,
472
+ recipientTaggingStore: this.recipientTaggingStore,
473
+ senderAddressBookStore: this.senderAddressBookStore,
474
+ capsuleService: new CapsuleService(this.capsuleStore, await this.keyStore.getAccounts()),
475
+ privateEventStore: this.privateEventStore,
476
+ contractSyncService: this.stateMachine.contractSyncService,
477
+ l2TipsStore: this.stateMachine.node,
478
+ jobId: this.currentJobId,
479
+ scopes: await this.keyStore.getAccounts(),
480
+ messageContextService: this.stateMachine.messageContextService,
481
+ simulator: new WASMSimulator(),
482
+ });
366
483
 
367
484
  // We store the note and tagging index caches fed into the PrivateExecutionOracle (along with some other auxiliary
368
485
  // data) in order to refer to it later, mimicking the way this object is used by the ContractFunctionSimulator. The
@@ -372,17 +489,22 @@ export class TXESession implements TXESessionStateHandler {
372
489
  this.state = { name: 'PRIVATE', nextBlockGlobalVariables, noteCache, taggingIndexCache };
373
490
  this.logger.debug(`Entered state ${this.state.name}`);
374
491
 
492
+ // Record the *resolved* anchor's timestamp — if the caller pinned the anchor to a past block
493
+ // via `anchorBlockNumber`, "latest" would be the wrong anchor for offchain-message semantics.
494
+ this.setLastCallContext(Fr.ZERO, anchorBlock!.globalVariables.timestamp);
495
+
375
496
  return (this.oracleHandler as PrivateExecutionOracle).getPrivateContextInputs();
376
497
  }
377
498
 
378
499
  async enterPublicState(contractAddress?: AztecAddress) {
379
500
  this.exitTopLevelState();
501
+ this.resetLastCall();
380
502
 
381
503
  // The PublicContext will create a block with a single transaction in it, containing the effects of what was done in
382
504
  // the test. The block therefore gets the *next* block number and timestamp.
383
- const latestBlockNumber = (await this.stateMachine.node.getBlockHeader('latest'))!.globalVariables.blockNumber;
505
+ const latestHeader = (await this.stateMachine.node.getBlockHeader('latest'))!;
384
506
  const globalVariables = makeGlobalVariables(undefined, {
385
- blockNumber: BlockNumber(latestBlockNumber + 1),
507
+ blockNumber: BlockNumber(latestHeader.globalVariables.blockNumber + 1),
386
508
  timestamp: this.nextBlockTimestamp,
387
509
  version: this.version,
388
510
  chainId: this.chainId,
@@ -397,10 +519,14 @@ export class TXESession implements TXESessionStateHandler {
397
519
 
398
520
  this.state = { name: 'PUBLIC' };
399
521
  this.logger.debug(`Entered state ${this.state.name}`);
522
+
523
+ // Public state is anchored at the latest block.
524
+ this.setLastCallContext(Fr.ZERO, latestHeader.globalVariables.timestamp);
400
525
  }
401
526
 
402
527
  async enterUtilityState(contractAddress: AztecAddress = DEFAULT_ADDRESS) {
403
528
  this.exitTopLevelState();
529
+ this.resetLastCall();
404
530
 
405
531
  const anchorBlockHeader = await this.stateMachine.anchorBlockStore.getBlockHeader();
406
532
 
@@ -414,27 +540,35 @@ export class TXESession implements TXESessionStateHandler {
414
540
  this.stateMachine.node,
415
541
  anchorBlockHeader,
416
542
  this.currentJobId,
417
- ).syncNoteNullifiers(contractAddress);
543
+ ).syncNoteNullifiers(contractAddress, await this.keyStore.getAccounts());
418
544
 
419
- this.oracleHandler = new UtilityExecutionOracle(
545
+ this.oracleHandler = new UtilityExecutionOracle({
420
546
  contractAddress,
421
- [],
422
- [],
547
+ authWitnesses: [],
548
+ capsules: [],
423
549
  anchorBlockHeader,
424
- this.contractStore,
425
- this.noteStore,
426
- this.keyStore,
427
- this.addressStore,
428
- this.stateMachine.node,
429
- this.recipientTaggingStore,
430
- this.senderAddressBookStore,
431
- this.capsuleStore,
432
- this.privateEventStore,
433
- this.currentJobId,
434
- );
550
+ contractStore: this.contractStore,
551
+ noteStore: this.noteStore,
552
+ keyStore: this.keyStore,
553
+ addressStore: this.addressStore,
554
+ aztecNode: this.stateMachine.node,
555
+ recipientTaggingStore: this.recipientTaggingStore,
556
+ senderAddressBookStore: this.senderAddressBookStore,
557
+ capsuleService: new CapsuleService(this.capsuleStore, await this.keyStore.getAccounts()),
558
+ privateEventStore: this.privateEventStore,
559
+ messageContextService: this.stateMachine.messageContextService,
560
+ contractSyncService: this.stateMachine.contractSyncService,
561
+ l2TipsStore: this.stateMachine.node,
562
+ jobId: this.currentJobId,
563
+ scopes: await this.keyStore.getAccounts(),
564
+ simulator: new WASMSimulator(),
565
+ });
435
566
 
436
567
  this.state = { name: 'UTILITY' };
437
568
  this.logger.debug(`Entered state ${this.state.name}`);
569
+
570
+ // Utility state anchors at whatever the anchor block store is pointing to (tracked as latest).
571
+ this.setLastCallContext(Fr.ZERO, anchorBlockHeader.globalVariables.timestamp);
438
572
  }
439
573
 
440
574
  private exitTopLevelState() {
@@ -444,8 +578,8 @@ export class TXESession implements TXESessionStateHandler {
444
578
 
445
579
  // Note that while all public and private contexts do is build a single block that we then process when exiting
446
580
  // those, the top level context performs a large number of actions not captured in the following 'close' call. Among
447
- // others, it will create empty blocks (via `txeAdvanceBlocksBy` and `deploy`), create blocks with transactions via
448
- // `txePrivateCallNewFlow` and `txePublicCallNewFlow`, add accounts to PXE via `txeAddAccount`, etc. This is a
581
+ // others, it will create empty blocks (via `advanceBlocksBy` and `deploy`), create blocks with transactions via
582
+ // `privateCallNewFlow` and `publicCallNewFlow`, add accounts to PXE via `addAccount`, etc. This is a
449
583
  // slight inconsistency in the working model of this class, but is not too bad.
450
584
  // TODO: it's quite unfortunate that we need to capture the authwits created to later pass them again when the top
451
585
  // level context is re-created. This is because authwits create a temporary utility context that'd otherwise reset
@@ -499,30 +633,36 @@ export class TXESession implements TXESessionStateHandler {
499
633
  }
500
634
 
501
635
  private utilityExecutorForContractSync(anchorBlock: any) {
502
- return async (call: FunctionCall) => {
636
+ return async (call: FunctionCall, scopes: AztecAddress[]) => {
503
637
  const entryPointArtifact = await this.contractStore.getFunctionArtifactWithDebugMetadata(call.to, call.selector);
504
638
  if (entryPointArtifact.functionType !== FunctionType.UTILITY) {
505
639
  throw new Error(`Cannot run ${entryPointArtifact.functionType} function as utility`);
506
640
  }
507
641
 
508
642
  try {
509
- const oracle = new UtilityExecutionOracle(
510
- call.to,
511
- [],
512
- [],
513
- anchorBlock!,
514
- this.contractStore,
515
- this.noteStore,
516
- this.keyStore,
517
- this.addressStore,
518
- this.stateMachine.node,
519
- this.recipientTaggingStore,
520
- this.senderAddressBookStore,
521
- this.capsuleStore,
522
- this.privateEventStore,
523
- this.currentJobId,
524
- );
525
- await new WASMSimulator()
643
+ const simulator = new WASMSimulator();
644
+ const oracle = new UtilityExecutionOracle({
645
+ contractAddress: call.to,
646
+ authWitnesses: [],
647
+ capsules: [],
648
+ anchorBlockHeader: anchorBlock!,
649
+ contractStore: this.contractStore,
650
+ noteStore: this.noteStore,
651
+ keyStore: this.keyStore,
652
+ addressStore: this.addressStore,
653
+ aztecNode: this.stateMachine.node,
654
+ recipientTaggingStore: this.recipientTaggingStore,
655
+ senderAddressBookStore: this.senderAddressBookStore,
656
+ capsuleService: new CapsuleService(this.capsuleStore, scopes),
657
+ privateEventStore: this.privateEventStore,
658
+ messageContextService: this.stateMachine.messageContextService,
659
+ contractSyncService: this.stateMachine.contractSyncService,
660
+ l2TipsStore: this.stateMachine.node,
661
+ jobId: this.currentJobId,
662
+ scopes,
663
+ simulator,
664
+ });
665
+ await simulator
526
666
  .executeUserCircuit(toACVMWitness(0, call.args), entryPointArtifact, new Oracle(oracle).toACIRCallback())
527
667
  .catch((err: Error) => {
528
668
  err.message = resolveAssertionMessageFromError(err, entryPointArtifact);
@@ -3,6 +3,7 @@ import type { EthAddress } from '@aztec/foundation/eth-address';
3
3
  import { hexToBuffer } from '@aztec/foundation/string';
4
4
  import { type ContractArtifact, ContractArtifactSchema } from '@aztec/stdlib/abi';
5
5
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
6
+ import { BlockHash } from '@aztec/stdlib/block';
6
7
  import { type ContractInstanceWithAddress, ContractInstanceWithAddressSchema } from '@aztec/stdlib/contract';
7
8
 
8
9
  import { z } from 'zod';
@@ -25,6 +26,10 @@ export function addressFromSingle(obj: ForeignCallSingle) {
25
26
  return new AztecAddress(fromSingle(obj));
26
27
  }
27
28
 
29
+ export function blockHashFromSingle(obj: ForeignCallSingle) {
30
+ return new BlockHash(fromSingle(obj));
31
+ }
32
+
28
33
  export function fromArray(obj: ForeignCallArray) {
29
34
  return obj.map(str => Fr.fromBuffer(hexToBuffer(str)));
30
35
  }
@@ -1,19 +1,11 @@
1
1
  import { BlockNumber } from '@aztec/foundation/branded-types';
2
2
  import { Fr } from '@aztec/foundation/curves/bn254';
3
3
  import type { ContractStore } from '@aztec/pxe/server';
4
- import { type ContractArtifact, FunctionSelector, FunctionType } from '@aztec/stdlib/abi';
4
+ import { type ContractArtifact, FunctionSelector } from '@aztec/stdlib/abi';
5
5
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
6
- import {
7
- type ContractClassPublic,
8
- type ContractDataSource,
9
- type ContractInstanceWithAddress,
10
- computePrivateFunctionsRoot,
11
- computePublicBytecodeCommitment,
12
- getContractClassPrivateFunctionFromArtifact,
13
- } from '@aztec/stdlib/contract';
6
+ import type { ContractClassPublic, ContractDataSource, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
14
7
 
15
8
  export class TXEPublicContractDataSource implements ContractDataSource {
16
- #privateFunctionsRoot: Map<string, Buffer> = new Map();
17
9
  constructor(
18
10
  private blockNumber: BlockNumber,
19
11
  private contractStore: ContractStore,
@@ -24,42 +16,22 @@ export class TXEPublicContractDataSource implements ContractDataSource {
24
16
  }
25
17
 
26
18
  async getContractClass(id: Fr): Promise<ContractClassPublic | undefined> {
27
- const contractClass = await this.contractStore.getContractClass(id);
19
+ const contractClass = await this.contractStore.getContractClassWithPreimage(id);
28
20
  if (!contractClass) {
29
21
  return;
30
22
  }
31
- const artifact = await this.contractStore.getContractArtifact(id);
32
- if (!artifact) {
33
- return;
34
- }
35
-
36
- let privateFunctionsRoot;
37
- if (!this.#privateFunctionsRoot.has(id.toString())) {
38
- const privateFunctions = await Promise.all(
39
- artifact.functions
40
- .filter(fn => fn.functionType === FunctionType.PRIVATE)
41
- .map(fn => getContractClassPrivateFunctionFromArtifact(fn)),
42
- );
43
- privateFunctionsRoot = await computePrivateFunctionsRoot(privateFunctions);
44
- this.#privateFunctionsRoot.set(id.toString(), privateFunctionsRoot.toBuffer());
45
- } else {
46
- privateFunctionsRoot = Fr.fromBuffer(this.#privateFunctionsRoot.get(id.toString())!);
47
- }
48
-
49
23
  return {
50
- id,
51
- artifactHash: contractClass!.artifactHash,
52
- packedBytecode: contractClass!.packedBytecode,
53
- privateFunctionsRoot,
54
- version: contractClass!.version,
55
- privateFunctions: [],
56
- utilityFunctions: [],
24
+ id: contractClass.id,
25
+ artifactHash: contractClass.artifactHash,
26
+ packedBytecode: contractClass.packedBytecode,
27
+ privateFunctionsRoot: contractClass.privateFunctionsRoot,
28
+ version: contractClass.version,
57
29
  };
58
30
  }
59
31
 
60
32
  async getBytecodeCommitment(id: Fr): Promise<Fr | undefined> {
61
- const contractClass = await this.contractStore.getContractClass(id);
62
- return contractClass && computePublicBytecodeCommitment(contractClass.packedBytecode);
33
+ const contractClass = await this.contractStore.getContractClassWithPreimage(id);
34
+ return contractClass?.publicBytecodeCommitment;
63
35
  }
64
36
 
65
37
  async getContract(address: AztecAddress): Promise<ContractInstanceWithAddress | undefined> {
@@ -1,12 +0,0 @@
1
- import type { ContractArtifact } from '@aztec/aztec.js/abi';
2
- import { Fr } from '@aztec/aztec.js/fields';
3
- import { ContractStore } from '@aztec/pxe/server';
4
- export type ContractArtifactWithHash = ContractArtifact & {
5
- artifactHash: Fr;
6
- };
7
- export declare class TXEContractStore extends ContractStore {
8
- #private;
9
- addContractArtifact(id: Fr, artifact: ContractArtifact | ContractArtifactWithHash): Promise<void>;
10
- getContractArtifact(contractClassId: Fr): Promise<ContractArtifact | ContractArtifactWithHash | undefined>;
11
- }
12
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX2NvbnRyYWN0X3N0b3JlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdXRpbC90eGVfY29udHJhY3Rfc3RvcmUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUM1RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDNUMsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRWxELE1BQU0sTUFBTSx3QkFBd0IsR0FBRyxnQkFBZ0IsR0FBRztJQUFFLFlBQVksRUFBRSxFQUFFLENBQUE7Q0FBRSxDQUFDO0FBTy9FLHFCQUFhLGdCQUFpQixTQUFRLGFBQWE7O0lBRzNCLG1CQUFtQixDQUN2QyxFQUFFLEVBQUUsRUFBRSxFQUNOLFFBQVEsRUFBRSxnQkFBZ0IsR0FBRyx3QkFBd0IsR0FDcEQsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUtmO0lBRXFCLG1CQUFtQixDQUN2QyxlQUFlLEVBQUUsRUFBRSxHQUNsQixPQUFPLENBQUMsZ0JBQWdCLEdBQUcsd0JBQXdCLEdBQUcsU0FBUyxDQUFDLENBUWxFO0NBQ0YifQ==
@@ -1 +0,0 @@
1
- {"version":3,"file":"txe_contract_store.d.ts","sourceRoot":"","sources":["../../src/util/txe_contract_store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAElD,MAAM,MAAM,wBAAwB,GAAG,gBAAgB,GAAG;IAAE,YAAY,EAAE,EAAE,CAAA;CAAE,CAAC;AAO/E,qBAAa,gBAAiB,SAAQ,aAAa;;IAG3B,mBAAmB,CACvC,EAAE,EAAE,EAAE,EACN,QAAQ,EAAE,gBAAgB,GAAG,wBAAwB,GACpD,OAAO,CAAC,IAAI,CAAC,CAKf;IAEqB,mBAAmB,CACvC,eAAe,EAAE,EAAE,GAClB,OAAO,CAAC,gBAAgB,GAAG,wBAAwB,GAAG,SAAS,CAAC,CAQlE;CACF"}
@@ -1,22 +0,0 @@
1
- import { Fr } from '@aztec/aztec.js/fields';
2
- import { ContractStore } from '@aztec/pxe/server';
3
- /*
4
- * A contract store that stores contract artifacts with their hashes. Since
5
- * TXE typically deploys the same contract again and again for multiple tests, caching
6
- * the *very* expensive artifact hash computation improves testing speed significantly.
7
- */ export class TXEContractStore extends ContractStore {
8
- #artifactHashes = new Map();
9
- async addContractArtifact(id, artifact) {
10
- if ('artifactHash' in artifact) {
11
- this.#artifactHashes.set(id.toString(), artifact.artifactHash.toBuffer());
12
- }
13
- await super.addContractArtifact(id, artifact);
14
- }
15
- async getContractArtifact(contractClassId) {
16
- const artifact = await super.getContractArtifact(contractClassId);
17
- if (artifact && this.#artifactHashes.has(contractClassId.toString())) {
18
- artifact.artifactHash = Fr.fromBuffer(this.#artifactHashes.get(contractClassId.toString()));
19
- }
20
- return artifact;
21
- }
22
- }
@@ -1,36 +0,0 @@
1
- import type { ContractArtifact } from '@aztec/aztec.js/abi';
2
- import { Fr } from '@aztec/aztec.js/fields';
3
- import { ContractStore } from '@aztec/pxe/server';
4
-
5
- export type ContractArtifactWithHash = ContractArtifact & { artifactHash: Fr };
6
-
7
- /*
8
- * A contract store that stores contract artifacts with their hashes. Since
9
- * TXE typically deploys the same contract again and again for multiple tests, caching
10
- * the *very* expensive artifact hash computation improves testing speed significantly.
11
- */
12
- export class TXEContractStore extends ContractStore {
13
- #artifactHashes: Map<string, Buffer> = new Map();
14
-
15
- public override async addContractArtifact(
16
- id: Fr,
17
- artifact: ContractArtifact | ContractArtifactWithHash,
18
- ): Promise<void> {
19
- if ('artifactHash' in artifact) {
20
- this.#artifactHashes.set(id.toString(), artifact.artifactHash.toBuffer());
21
- }
22
- await super.addContractArtifact(id, artifact);
23
- }
24
-
25
- public override async getContractArtifact(
26
- contractClassId: Fr,
27
- ): Promise<ContractArtifact | ContractArtifactWithHash | undefined> {
28
- const artifact = await super.getContractArtifact(contractClassId);
29
- if (artifact && this.#artifactHashes.has(contractClassId.toString())) {
30
- (artifact as ContractArtifactWithHash).artifactHash = Fr.fromBuffer(
31
- this.#artifactHashes.get(contractClassId.toString())!,
32
- );
33
- }
34
- return artifact;
35
- }
36
- }