@aztec/txe 0.0.1-commit.0c875d939 → 0.0.1-commit.0ec55a70b

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 +32 -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 +30 -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 +95 -55
  12. package/dest/rpc_translator.d.ts +128 -82
  13. package/dest/rpc_translator.d.ts.map +1 -1
  14. package/dest/rpc_translator.js +464 -164
  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 +8 -6
  19. package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
  20. package/dest/state_machine/dummy_p2p_client.js +12 -6
  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 +18 -3
  28. package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
  29. package/dest/state_machine/mock_epoch_cache.js +35 -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 +98 -29
  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 +33 -32
  45. package/src/oracle/txe_oracle_public_context.ts +12 -12
  46. package/src/oracle/txe_oracle_top_level_context.ts +108 -59
  47. package/src/rpc_translator.ts +539 -196
  48. package/src/state_machine/archiver.ts +9 -9
  49. package/src/state_machine/dummy_p2p_client.ts +17 -9
  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 +46 -3
  53. package/src/state_machine/synchronizer.ts +4 -4
  54. package/src/txe_session.ts +167 -32
  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,12 +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
- import type { AccessScopes } from '@aztec/pxe/client/lazy';
8
6
  import {
9
7
  AddressStore,
10
8
  AnchorBlockStore,
9
+ CapsuleService,
11
10
  CapsuleStore,
11
+ ContractStore,
12
12
  JobCoordinator,
13
13
  NoteService,
14
14
  NoteStore,
@@ -42,7 +42,7 @@ import { GasSettings } from '@aztec/stdlib/gas';
42
42
  import { computeProtocolNullifier } from '@aztec/stdlib/hash';
43
43
  import { PrivateContextInputs } from '@aztec/stdlib/kernel';
44
44
  import { makeGlobalVariables } from '@aztec/stdlib/testing';
45
- import { CallContext, GlobalVariables, TxContext } from '@aztec/stdlib/tx';
45
+ import { CallContext, GlobalVariables, OFFCHAIN_MESSAGE_IDENTIFIER, TxContext } from '@aztec/stdlib/tx';
46
46
 
47
47
  import { z } from 'zod';
48
48
 
@@ -55,7 +55,6 @@ import { TXEArchiver } from './state_machine/archiver.js';
55
55
  import { TXEStateMachine } from './state_machine/index.js';
56
56
  import type { ForeignCallArgs, ForeignCallResult } from './util/encoding.js';
57
57
  import { TXEAccountStore } from './util/txe_account_store.js';
58
- import { TXEContractStore } from './util/txe_contract_store.js';
59
58
  import { getSingleTxBlockRequestHash, insertTxEffectIntoWorldTrees, makeTXEBlock } from './utils/block_creation.js';
60
59
  import { makeTxEffect } from './utils/tx_effect_creation.js';
61
60
 
@@ -114,6 +113,69 @@ export interface TXESessionStateHandler {
114
113
  enterPublicState(contractAddress?: AztecAddress): Promise<void>;
115
114
  enterPrivateState(contractAddress?: AztecAddress, anchorBlockNumber?: BlockNumber): Promise<PrivateContextInputs>;
116
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 };
117
179
  }
118
180
 
119
181
  /**
@@ -123,6 +185,7 @@ export interface TXESessionStateHandler {
123
185
  export class TXESession implements TXESessionStateHandler {
124
186
  private state: SessionState = { name: 'TOP_LEVEL' };
125
187
  private authwits: Map<string, AuthWitness> = new Map();
188
+ private lastCallInfo: LastCallState = emptyLastCallState();
126
189
 
127
190
  constructor(
128
191
  private logger: Logger,
@@ -132,7 +195,7 @@ export class TXESession implements TXESessionStateHandler {
132
195
  | IPrivateExecutionOracle
133
196
  | IAvmExecutionOracle
134
197
  | ITxeExecutionOracle,
135
- private contractStore: TXEContractStore,
198
+ private contractStore: ContractStore,
136
199
  private noteStore: NoteStore,
137
200
  private keyStore: KeyStore,
138
201
  private addressStore: AddressStore,
@@ -149,12 +212,11 @@ export class TXESession implements TXESessionStateHandler {
149
212
  private nextBlockTimestamp: bigint,
150
213
  ) {}
151
214
 
152
- static async init(protocolContracts: ProtocolContract[]) {
215
+ static async init(contractStore: ContractStore) {
153
216
  const store = await openTmpStore('txe-session');
154
217
 
155
218
  const addressStore = new AddressStore(store);
156
219
  const privateEventStore = new PrivateEventStore(store);
157
- const contractStore = new TXEContractStore(store);
158
220
  const noteStore = new NoteStore(store);
159
221
  const senderTaggingStore = new SenderTaggingStore(store);
160
222
  const recipientTaggingStore = new RecipientTaggingStore(store);
@@ -173,12 +235,6 @@ export class TXESession implements TXESessionStateHandler {
173
235
  noteStore,
174
236
  ]);
175
237
 
176
- // Register protocol contracts.
177
- for (const { contractClass, instance, artifact } of protocolContracts) {
178
- await contractStore.addContractArtifact(contractClass.id, artifact);
179
- await contractStore.addContractInstance(instance);
180
- }
181
-
182
238
  const archiver = new TXEArchiver(store);
183
239
  const anchorBlockStore = new AnchorBlockStore(store);
184
240
  const stateMachine = await TXEStateMachine.create(archiver, anchorBlockStore, contractStore, noteStore);
@@ -189,6 +245,8 @@ export class TXESession implements TXESessionStateHandler {
189
245
 
190
246
  const initialJobId = jobCoordinator.beginJob();
191
247
 
248
+ const logger = createLogger('txe:session');
249
+
192
250
  const topLevelOracleHandler = new TXEOracleTopLevelContext(
193
251
  stateMachine,
194
252
  contractStore,
@@ -201,16 +259,15 @@ export class TXESession implements TXESessionStateHandler {
201
259
  senderAddressBookStore,
202
260
  capsuleStore,
203
261
  privateEventStore,
204
- initialJobId,
205
262
  nextBlockTimestamp,
206
263
  version,
207
264
  chainId,
208
265
  new Map(),
209
266
  );
210
- await topLevelOracleHandler.txeAdvanceBlocksBy(1);
267
+ await topLevelOracleHandler.advanceBlocksBy(1);
211
268
 
212
269
  return new TXESession(
213
- createLogger('txe:session'),
270
+ logger,
214
271
  stateMachine,
215
272
  topLevelOracleHandler,
216
273
  contractStore,
@@ -262,6 +319,61 @@ export class TXESession implements TXESessionStateHandler {
262
319
  }
263
320
  }
264
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
+
265
377
  async enterTopLevelState() {
266
378
  switch (this.state.name) {
267
379
  case 'PRIVATE': {
@@ -285,8 +397,7 @@ export class TXESession implements TXESessionStateHandler {
285
397
  }
286
398
 
287
399
  // Commit all staged stores from the job that was just completed, then begin a new job
288
- await this.jobCoordinator.commitJob(this.currentJobId);
289
- this.currentJobId = this.jobCoordinator.beginJob();
400
+ await this.cycleJob();
290
401
 
291
402
  this.oracleHandler = new TXEOracleTopLevelContext(
292
403
  this.stateMachine,
@@ -300,7 +411,6 @@ export class TXESession implements TXESessionStateHandler {
300
411
  this.senderAddressBookStore,
301
412
  this.capsuleStore,
302
413
  this.privateEventStore,
303
- this.currentJobId,
304
414
  this.nextBlockTimestamp,
305
415
  this.version,
306
416
  this.chainId,
@@ -316,6 +426,7 @@ export class TXESession implements TXESessionStateHandler {
316
426
  anchorBlockNumber?: BlockNumber,
317
427
  ): Promise<PrivateContextInputs> {
318
428
  this.exitTopLevelState();
429
+ this.resetLastCall();
319
430
 
320
431
  // Private execution has two associated block numbers: the anchor block (i.e. the historical block that is used to
321
432
  // build the proof), and the *next* block, i.e. the one we'll create once the execution ends, and which will contain
@@ -324,7 +435,7 @@ export class TXESession implements TXESessionStateHandler {
324
435
 
325
436
  await new NoteService(this.noteStore, this.stateMachine.node, anchorBlock!, this.currentJobId).syncNoteNullifiers(
326
437
  contractAddress,
327
- 'ALL_SCOPES',
438
+ await this.keyStore.getAccounts(),
328
439
  );
329
440
  const latestBlock = await this.stateMachine.node.getBlockHeader('latest');
330
441
 
@@ -360,11 +471,14 @@ export class TXESession implements TXESessionStateHandler {
360
471
  senderTaggingStore: this.senderTaggingStore,
361
472
  recipientTaggingStore: this.recipientTaggingStore,
362
473
  senderAddressBookStore: this.senderAddressBookStore,
363
- capsuleStore: this.capsuleStore,
474
+ capsuleService: new CapsuleService(this.capsuleStore, await this.keyStore.getAccounts()),
364
475
  privateEventStore: this.privateEventStore,
365
476
  contractSyncService: this.stateMachine.contractSyncService,
477
+ l2TipsStore: this.stateMachine.node,
366
478
  jobId: this.currentJobId,
367
- scopes: 'ALL_SCOPES',
479
+ scopes: await this.keyStore.getAccounts(),
480
+ messageContextService: this.stateMachine.messageContextService,
481
+ simulator: new WASMSimulator(),
368
482
  });
369
483
 
370
484
  // We store the note and tagging index caches fed into the PrivateExecutionOracle (along with some other auxiliary
@@ -375,17 +489,22 @@ export class TXESession implements TXESessionStateHandler {
375
489
  this.state = { name: 'PRIVATE', nextBlockGlobalVariables, noteCache, taggingIndexCache };
376
490
  this.logger.debug(`Entered state ${this.state.name}`);
377
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
+
378
496
  return (this.oracleHandler as PrivateExecutionOracle).getPrivateContextInputs();
379
497
  }
380
498
 
381
499
  async enterPublicState(contractAddress?: AztecAddress) {
382
500
  this.exitTopLevelState();
501
+ this.resetLastCall();
383
502
 
384
503
  // The PublicContext will create a block with a single transaction in it, containing the effects of what was done in
385
504
  // the test. The block therefore gets the *next* block number and timestamp.
386
- const latestBlockNumber = (await this.stateMachine.node.getBlockHeader('latest'))!.globalVariables.blockNumber;
505
+ const latestHeader = (await this.stateMachine.node.getBlockHeader('latest'))!;
387
506
  const globalVariables = makeGlobalVariables(undefined, {
388
- blockNumber: BlockNumber(latestBlockNumber + 1),
507
+ blockNumber: BlockNumber(latestHeader.globalVariables.blockNumber + 1),
389
508
  timestamp: this.nextBlockTimestamp,
390
509
  version: this.version,
391
510
  chainId: this.chainId,
@@ -400,10 +519,14 @@ export class TXESession implements TXESessionStateHandler {
400
519
 
401
520
  this.state = { name: 'PUBLIC' };
402
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);
403
525
  }
404
526
 
405
527
  async enterUtilityState(contractAddress: AztecAddress = DEFAULT_ADDRESS) {
406
528
  this.exitTopLevelState();
529
+ this.resetLastCall();
407
530
 
408
531
  const anchorBlockHeader = await this.stateMachine.anchorBlockStore.getBlockHeader();
409
532
 
@@ -417,7 +540,7 @@ export class TXESession implements TXESessionStateHandler {
417
540
  this.stateMachine.node,
418
541
  anchorBlockHeader,
419
542
  this.currentJobId,
420
- ).syncNoteNullifiers(contractAddress, 'ALL_SCOPES');
543
+ ).syncNoteNullifiers(contractAddress, await this.keyStore.getAccounts());
421
544
 
422
545
  this.oracleHandler = new UtilityExecutionOracle({
423
546
  contractAddress,
@@ -431,14 +554,21 @@ export class TXESession implements TXESessionStateHandler {
431
554
  aztecNode: this.stateMachine.node,
432
555
  recipientTaggingStore: this.recipientTaggingStore,
433
556
  senderAddressBookStore: this.senderAddressBookStore,
434
- capsuleStore: this.capsuleStore,
557
+ capsuleService: new CapsuleService(this.capsuleStore, await this.keyStore.getAccounts()),
435
558
  privateEventStore: this.privateEventStore,
559
+ messageContextService: this.stateMachine.messageContextService,
560
+ contractSyncService: this.stateMachine.contractSyncService,
561
+ l2TipsStore: this.stateMachine.node,
436
562
  jobId: this.currentJobId,
437
- scopes: 'ALL_SCOPES',
563
+ scopes: await this.keyStore.getAccounts(),
564
+ simulator: new WASMSimulator(),
438
565
  });
439
566
 
440
567
  this.state = { name: 'UTILITY' };
441
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);
442
572
  }
443
573
 
444
574
  private exitTopLevelState() {
@@ -448,8 +578,8 @@ export class TXESession implements TXESessionStateHandler {
448
578
 
449
579
  // Note that while all public and private contexts do is build a single block that we then process when exiting
450
580
  // those, the top level context performs a large number of actions not captured in the following 'close' call. Among
451
- // others, it will create empty blocks (via `txeAdvanceBlocksBy` and `deploy`), create blocks with transactions via
452
- // `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
453
583
  // slight inconsistency in the working model of this class, but is not too bad.
454
584
  // TODO: it's quite unfortunate that we need to capture the authwits created to later pass them again when the top
455
585
  // level context is re-created. This is because authwits create a temporary utility context that'd otherwise reset
@@ -503,13 +633,14 @@ export class TXESession implements TXESessionStateHandler {
503
633
  }
504
634
 
505
635
  private utilityExecutorForContractSync(anchorBlock: any) {
506
- return async (call: FunctionCall, scopes: AccessScopes) => {
636
+ return async (call: FunctionCall, scopes: AztecAddress[]) => {
507
637
  const entryPointArtifact = await this.contractStore.getFunctionArtifactWithDebugMetadata(call.to, call.selector);
508
638
  if (entryPointArtifact.functionType !== FunctionType.UTILITY) {
509
639
  throw new Error(`Cannot run ${entryPointArtifact.functionType} function as utility`);
510
640
  }
511
641
 
512
642
  try {
643
+ const simulator = new WASMSimulator();
513
644
  const oracle = new UtilityExecutionOracle({
514
645
  contractAddress: call.to,
515
646
  authWitnesses: [],
@@ -522,12 +653,16 @@ export class TXESession implements TXESessionStateHandler {
522
653
  aztecNode: this.stateMachine.node,
523
654
  recipientTaggingStore: this.recipientTaggingStore,
524
655
  senderAddressBookStore: this.senderAddressBookStore,
525
- capsuleStore: this.capsuleStore,
656
+ capsuleService: new CapsuleService(this.capsuleStore, scopes),
526
657
  privateEventStore: this.privateEventStore,
658
+ messageContextService: this.stateMachine.messageContextService,
659
+ contractSyncService: this.stateMachine.contractSyncService,
660
+ l2TipsStore: this.stateMachine.node,
527
661
  jobId: this.currentJobId,
528
662
  scopes,
663
+ simulator,
529
664
  });
530
- await new WASMSimulator()
665
+ await simulator
531
666
  .executeUserCircuit(toACVMWitness(0, call.args), entryPointArtifact, new Oracle(oracle).toACIRCallback())
532
667
  .catch((err: Error) => {
533
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
- }