@aztec/txe 0.0.1-commit.0c875d939 → 0.0.1-commit.10bd49492

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 (44) hide show
  1. package/dest/index.d.ts +1 -1
  2. package/dest/index.d.ts.map +1 -1
  3. package/dest/index.js +88 -54
  4. package/dest/oracle/interfaces.d.ts +29 -28
  5. package/dest/oracle/interfaces.d.ts.map +1 -1
  6. package/dest/oracle/txe_oracle_public_context.d.ts +13 -13
  7. package/dest/oracle/txe_oracle_public_context.d.ts.map +1 -1
  8. package/dest/oracle/txe_oracle_public_context.js +12 -12
  9. package/dest/oracle/txe_oracle_top_level_context.d.ts +22 -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 +52 -40
  12. package/dest/rpc_translator.d.ts +84 -82
  13. package/dest/rpc_translator.d.ts.map +1 -1
  14. package/dest/rpc_translator.js +249 -150
  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 +5 -7
  18. package/dest/state_machine/dummy_p2p_client.d.ts +6 -5
  19. package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
  20. package/dest/state_machine/dummy_p2p_client.js +7 -4
  21. package/dest/state_machine/index.d.ts +4 -2
  22. package/dest/state_machine/index.d.ts.map +1 -1
  23. package/dest/state_machine/index.js +7 -3
  24. package/dest/txe_session.d.ts +9 -6
  25. package/dest/txe_session.d.ts.map +1 -1
  26. package/dest/txe_session.js +19 -16
  27. package/dest/util/txe_public_contract_data_source.d.ts +2 -3
  28. package/dest/util/txe_public_contract_data_source.d.ts.map +1 -1
  29. package/dest/util/txe_public_contract_data_source.js +5 -22
  30. package/package.json +15 -15
  31. package/src/index.ts +89 -52
  32. package/src/oracle/interfaces.ts +32 -31
  33. package/src/oracle/txe_oracle_public_context.ts +12 -12
  34. package/src/oracle/txe_oracle_top_level_context.ts +61 -39
  35. package/src/rpc_translator.ts +277 -169
  36. package/src/state_machine/archiver.ts +5 -5
  37. package/src/state_machine/dummy_p2p_client.ts +11 -7
  38. package/src/state_machine/index.ts +6 -1
  39. package/src/txe_session.ts +25 -18
  40. package/src/util/txe_public_contract_data_source.ts +10 -36
  41. package/dest/util/txe_contract_store.d.ts +0 -12
  42. package/dest/util/txe_contract_store.d.ts.map +0 -1
  43. package/dest/util/txe_contract_store.js +0 -22
  44. package/src/util/txe_contract_store.ts +0 -36
@@ -36,7 +36,6 @@ export class TXEOracleTopLevelContext {
36
36
  senderAddressBookStore;
37
37
  capsuleStore;
38
38
  privateEventStore;
39
- jobId;
40
39
  nextBlockTimestamp;
41
40
  version;
42
41
  chainId;
@@ -44,7 +43,7 @@ export class TXEOracleTopLevelContext {
44
43
  isMisc;
45
44
  isTxe;
46
45
  logger;
47
- constructor(stateMachine, contractStore, noteStore, keyStore, addressStore, accountStore, senderTaggingStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, jobId, nextBlockTimestamp, version, chainId, authwits){
46
+ constructor(stateMachine, contractStore, noteStore, keyStore, addressStore, accountStore, senderTaggingStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, nextBlockTimestamp, version, chainId, authwits){
48
47
  this.stateMachine = stateMachine;
49
48
  this.contractStore = contractStore;
50
49
  this.noteStore = noteStore;
@@ -56,7 +55,6 @@ export class TXEOracleTopLevelContext {
56
55
  this.senderAddressBookStore = senderAddressBookStore;
57
56
  this.capsuleStore = capsuleStore;
58
57
  this.privateEventStore = privateEventStore;
59
- this.jobId = jobId;
60
58
  this.nextBlockTimestamp = nextBlockTimestamp;
61
59
  this.version = version;
62
60
  this.chainId = chainId;
@@ -66,18 +64,18 @@ export class TXEOracleTopLevelContext {
66
64
  this.logger = createLogger('txe:top_level_context');
67
65
  this.logger.debug('Entering Top Level Context');
68
66
  }
69
- utilityAssertCompatibleOracleVersion(version) {
67
+ assertCompatibleOracleVersion(version) {
70
68
  if (version !== ORACLE_VERSION) {
71
69
  throw new Error(`Incompatible oracle version. TXE is using version '${ORACLE_VERSION}', but got a request for '${version}'.`);
72
70
  }
73
71
  }
74
72
  // This is typically only invoked in private contexts, but it is convenient to also have it in top-level for testing
75
73
  // setup.
76
- utilityGetRandomField() {
74
+ getRandomField() {
77
75
  return Fr.random();
78
76
  }
79
77
  // We instruct users to debug contracts via this oracle, so it makes sense that they'd expect it to also work in tests
80
- utilityLog(level, message, fields) {
78
+ log(level, message, fields) {
81
79
  if (!LogLevels[level]) {
82
80
  throw new Error(`Invalid log level: ${level}`);
83
81
  }
@@ -87,19 +85,19 @@ export class TXEOracleTopLevelContext {
87
85
  });
88
86
  return Promise.resolve();
89
87
  }
90
- txeGetDefaultAddress() {
88
+ getDefaultAddress() {
91
89
  return DEFAULT_ADDRESS;
92
90
  }
93
- async txeGetNextBlockNumber() {
91
+ async getNextBlockNumber() {
94
92
  return BlockNumber(await this.getLastBlockNumber() + 1);
95
93
  }
96
- txeGetNextBlockTimestamp() {
94
+ getNextBlockTimestamp() {
97
95
  return Promise.resolve(this.nextBlockTimestamp);
98
96
  }
99
- async txeGetLastBlockTimestamp() {
97
+ async getLastBlockTimestamp() {
100
98
  return (await this.stateMachine.node.getBlockHeader('latest')).globalVariables.timestamp;
101
99
  }
102
- async txeGetLastTxEffects() {
100
+ async getLastTxEffects() {
103
101
  const latestBlockNumber = await this.stateMachine.archiver.getBlockNumber();
104
102
  const block = await this.stateMachine.archiver.getBlock(latestBlockNumber);
105
103
  if (block.body.txEffects.length != 1) {
@@ -113,7 +111,19 @@ export class TXEOracleTopLevelContext {
113
111
  nullifiers: txEffects.nullifiers
114
112
  };
115
113
  }
116
- async txeGetPrivateEvents(selector, contractAddress, scope) {
114
+ async syncContractNonOracleMethod(contractAddress, scope, jobId) {
115
+ if (contractAddress.equals(DEFAULT_ADDRESS)) {
116
+ this.logger.debug(`Skipping sync in getPrivateEvents because the events correspond to the default address.`);
117
+ return;
118
+ }
119
+ const blockHeader = await this.stateMachine.anchorBlockStore.getBlockHeader();
120
+ await this.stateMachine.contractSyncService.ensureContractSynced(contractAddress, null, async (call, execScopes)=>{
121
+ await this.executeUtilityCall(call, execScopes, jobId);
122
+ }, blockHeader, jobId, [
123
+ scope
124
+ ]);
125
+ }
126
+ async getPrivateEvents(selector, contractAddress, scope) {
117
127
  return (await this.privateEventStore.getPrivateEvents(selector, {
118
128
  contractAddress,
119
129
  scopes: [
@@ -123,17 +133,17 @@ export class TXEOracleTopLevelContext {
123
133
  toBlock: await this.getLastBlockNumber() + 1
124
134
  })).map((e)=>e.packedEvent);
125
135
  }
126
- async txeAdvanceBlocksBy(blocks) {
136
+ async advanceBlocksBy(blocks) {
127
137
  this.logger.debug(`time traveling ${blocks} blocks`);
128
138
  for(let i = 0; i < blocks; i++){
129
139
  await this.mineBlock();
130
140
  }
131
141
  }
132
- txeAdvanceTimestampBy(duration) {
142
+ advanceTimestampBy(duration) {
133
143
  this.logger.debug(`time traveling ${duration} seconds`);
134
144
  this.nextBlockTimestamp += duration;
135
145
  }
136
- async txeDeploy(artifact, instance, secret) {
146
+ async deploy(artifact, instance, secret) {
137
147
  // Emit deployment nullifier
138
148
  await this.mineBlock({
139
149
  nullifiers: [
@@ -141,25 +151,25 @@ export class TXEOracleTopLevelContext {
141
151
  ]
142
152
  });
143
153
  if (!secret.equals(Fr.ZERO)) {
144
- await this.txeAddAccount(artifact, instance, secret);
154
+ await this.addAccount(artifact, instance, secret);
145
155
  } else {
146
156
  await this.contractStore.addContractInstance(instance);
147
- await this.contractStore.addContractArtifact(instance.currentContractClassId, artifact);
157
+ await this.contractStore.addContractArtifact(artifact);
148
158
  this.logger.debug(`Deployed ${artifact.name} at ${instance.address}`);
149
159
  }
150
160
  }
151
- async txeAddAccount(artifact, instance, secret) {
161
+ async addAccount(artifact, instance, secret) {
152
162
  const partialAddress = await computePartialAddress(instance);
153
163
  this.logger.debug(`Deployed ${artifact.name} at ${instance.address}`);
154
164
  await this.contractStore.addContractInstance(instance);
155
- await this.contractStore.addContractArtifact(instance.currentContractClassId, artifact);
165
+ await this.contractStore.addContractArtifact(artifact);
156
166
  const completeAddress = await this.keyStore.addAccount(secret, partialAddress);
157
167
  await this.accountStore.setAccount(completeAddress.address, completeAddress);
158
168
  await this.addressStore.addCompleteAddress(completeAddress);
159
169
  this.logger.debug(`Created account ${completeAddress.address}`);
160
170
  return completeAddress;
161
171
  }
162
- async txeCreateAccount(secret) {
172
+ async createAccount(secret) {
163
173
  // This is a foot gun !
164
174
  const completeAddress = await this.keyStore.addAccount(secret, secret);
165
175
  await this.accountStore.setAccount(completeAddress.address, completeAddress);
@@ -167,7 +177,7 @@ export class TXEOracleTopLevelContext {
167
177
  this.logger.debug(`Created account ${completeAddress.address}`);
168
178
  return completeAddress;
169
179
  }
170
- async txeAddAuthWitness(address, messageHash) {
180
+ async addAuthWitness(address, messageHash) {
171
181
  const account = await this.accountStore.getAccount(address);
172
182
  const privateKey = await this.keyStore.getMasterSecretKey(account.publicKeys.masterIncomingViewingPublicKey);
173
183
  const schnorr = new Schnorr();
@@ -178,7 +188,7 @@ export class TXEOracleTopLevelContext {
178
188
  this.authwits.set(authWitness.requestHash.toString(), authWitness);
179
189
  }
180
190
  async mineBlock(options = {}) {
181
- const blockNumber = await this.txeGetNextBlockNumber();
191
+ const blockNumber = await this.getNextBlockNumber();
182
192
  const txEffect = TxEffect.empty();
183
193
  txEffect.nullifiers = [
184
194
  getSingleTxBlockRequestHash(blockNumber),
@@ -200,7 +210,7 @@ export class TXEOracleTopLevelContext {
200
210
  this.logger.info(`Created block ${blockNumber} with timestamp ${block.header.globalVariables.timestamp}`);
201
211
  await this.stateMachine.handleL2Block(block);
202
212
  }
203
- async txePrivateCallNewFlow(from, targetContractAddress = AztecAddress.zero(), functionSelector = FunctionSelector.empty(), args, argsHash = Fr.zero(), isStaticCall = false) {
213
+ async privateCallNewFlow(from, targetContractAddress = AztecAddress.zero(), functionSelector = FunctionSelector.empty(), args, argsHash = Fr.zero(), isStaticCall = false, jobId) {
204
214
  this.logger.verbose(`Executing external function ${await this.contractStore.getDebugFunctionName(targetContractAddress, functionSelector)}@${targetContractAddress} isStaticCall=${isStaticCall}`);
205
215
  const artifact = await this.contractStore.getFunctionArtifact(targetContractAddress, functionSelector);
206
216
  if (!artifact) {
@@ -214,11 +224,11 @@ export class TXEOracleTopLevelContext {
214
224
  ];
215
225
  // Sync notes before executing private function to discover notes from previous transactions
216
226
  const utilityExecutor = async (call, execScopes)=>{
217
- await this.executeUtilityCall(call, execScopes);
227
+ await this.executeUtilityCall(call, execScopes, jobId);
218
228
  };
219
229
  const blockHeader = await this.stateMachine.anchorBlockStore.getBlockHeader();
220
- await this.stateMachine.contractSyncService.ensureContractSynced(targetContractAddress, functionSelector, utilityExecutor, blockHeader, this.jobId, effectiveScopes);
221
- const blockNumber = await this.txeGetNextBlockNumber();
230
+ await this.stateMachine.contractSyncService.ensureContractSynced(targetContractAddress, functionSelector, utilityExecutor, blockHeader, jobId, effectiveScopes);
231
+ const blockNumber = await this.getNextBlockNumber();
222
232
  const callContext = new CallContext(from, targetContractAddress, functionSelector, isStaticCall);
223
233
  const gasLimits = new Gas(DEFAULT_DA_GAS_LIMIT, DEFAULT_L2_GAS_LIMIT);
224
234
  const teardownGasLimits = new Gas(DEFAULT_TEARDOWN_DA_GAS_LIMIT, DEFAULT_TEARDOWN_L2_GAS_LIMIT);
@@ -257,14 +267,15 @@ export class TXEOracleTopLevelContext {
257
267
  capsuleStore: this.capsuleStore,
258
268
  privateEventStore: this.privateEventStore,
259
269
  contractSyncService: this.stateMachine.contractSyncService,
260
- jobId: this.jobId,
270
+ jobId,
261
271
  totalPublicCalldataCount: 0,
262
272
  sideEffectCounter: minRevertibleSideEffectCounter,
263
273
  scopes: effectiveScopes,
264
274
  // In TXE, the typical transaction entrypoint is skipped, so we need to simulate the actions that such a
265
275
  // contract would perform, including setting senderForTags.
266
276
  senderForTags: from,
267
- simulator
277
+ simulator,
278
+ messageContextService: this.stateMachine.messageContextService
268
279
  });
269
280
  // Note: This is a slight modification of simulator.run without any of the checks. Maybe we should modify simulator.run with a boolean value to skip checks.
270
281
  let result;
@@ -277,7 +288,7 @@ export class TXEOracleTopLevelContext {
277
288
  r.publicInputs.publicTeardownCallRequest
278
289
  ]));
279
290
  const publicFunctionsCalldata = await Promise.all(publicCallRequests.map(async (r)=>{
280
- const calldata = await privateExecutionOracle.privateLoadFromExecutionCache(r.calldataHash);
291
+ const calldata = await privateExecutionOracle.loadFromExecutionCache(r.calldataHash);
281
292
  return new HashedValues(calldata, r.calldataHash);
282
293
  }));
283
294
  noteCache.finish();
@@ -357,9 +368,9 @@ export class TXEOracleTopLevelContext {
357
368
  await forkedWorldTrees.close();
358
369
  return executionResult.returnValues ?? [];
359
370
  }
360
- async txePublicCallNewFlow(from, targetContractAddress, calldata, isStaticCall) {
371
+ async publicCallNewFlow(from, targetContractAddress, calldata, isStaticCall) {
361
372
  this.logger.verbose(`Executing public function ${await this.contractStore.getDebugFunctionName(targetContractAddress, FunctionSelector.fromField(calldata[0]))}@${targetContractAddress} isStaticCall=${isStaticCall}`);
362
- const blockNumber = await this.txeGetNextBlockNumber();
373
+ const blockNumber = await this.getNextBlockNumber();
363
374
  const gasLimits = new Gas(DEFAULT_DA_GAS_LIMIT, DEFAULT_L2_GAS_LIMIT);
364
375
  const teardownGasLimits = new Gas(DEFAULT_TEARDOWN_DA_GAS_LIMIT, DEFAULT_TEARDOWN_L2_GAS_LIMIT);
365
376
  const gasSettings = new GasSettings(gasLimits, teardownGasLimits, GasFees.empty(), GasFees.empty());
@@ -398,7 +409,7 @@ export class TXEOracleTopLevelContext {
398
409
  revertibleAccumulatedData.publicCallRequests[0] = new PublicCallRequest(from, targetContractAddress, isStaticCall, calldataHash);
399
410
  const inputsForPublic = new PartialPrivateTailPublicInputsForPublic(nonRevertibleAccumulatedData, revertibleAccumulatedData, PublicCallRequest.empty());
400
411
  const constantData = new TxConstantData(anchorBlockHeader, txContext, Fr.zero(), Fr.zero());
401
- const txData = new PrivateKernelTailCircuitPublicInputs(constantData, /*gasUsed=*/ new Gas(0, 0), /*feePayer=*/ AztecAddress.zero(), /*includeByTimestamp=*/ 0n, inputsForPublic, undefined);
412
+ const txData = new PrivateKernelTailCircuitPublicInputs(constantData, /*gasUsed=*/ new Gas(0, 0), /*feePayer=*/ AztecAddress.zero(), /*expirationTimestamp=*/ 0n, inputsForPublic, undefined);
402
413
  const tx = await Tx.create({
403
414
  data: txData,
404
415
  chonkProof: ChonkProof.empty(),
@@ -451,7 +462,7 @@ export class TXEOracleTopLevelContext {
451
462
  await forkedWorldTrees.close();
452
463
  return returnValues ?? [];
453
464
  }
454
- async txeSimulateUtilityFunction(targetContractAddress, functionSelector, args) {
465
+ async executeUtilityFunction(targetContractAddress, functionSelector, args, jobId) {
455
466
  const artifact = await this.contractStore.getFunctionArtifact(targetContractAddress, functionSelector);
456
467
  if (!artifact) {
457
468
  throw new Error(`Cannot call ${functionSelector} as there is no artifact found at ${targetContractAddress}.`);
@@ -459,8 +470,8 @@ export class TXEOracleTopLevelContext {
459
470
  // Sync notes before executing utility function to discover notes from previous transactions
460
471
  const blockHeader = await this.stateMachine.anchorBlockStore.getBlockHeader();
461
472
  await this.stateMachine.contractSyncService.ensureContractSynced(targetContractAddress, functionSelector, async (call, execScopes)=>{
462
- await this.executeUtilityCall(call, execScopes);
463
- }, blockHeader, this.jobId, 'ALL_SCOPES');
473
+ await this.executeUtilityCall(call, execScopes, jobId);
474
+ }, blockHeader, jobId, 'ALL_SCOPES');
464
475
  const call = FunctionCall.from({
465
476
  name: artifact.name,
466
477
  to: targetContractAddress,
@@ -471,9 +482,9 @@ export class TXEOracleTopLevelContext {
471
482
  args,
472
483
  returnTypes: []
473
484
  });
474
- return this.executeUtilityCall(call, 'ALL_SCOPES');
485
+ return this.executeUtilityCall(call, 'ALL_SCOPES', jobId);
475
486
  }
476
- async executeUtilityCall(call, scopes) {
487
+ async executeUtilityCall(call, scopes, jobId) {
477
488
  const entryPointArtifact = await this.contractStore.getFunctionArtifactWithDebugMetadata(call.to, call.selector);
478
489
  if (entryPointArtifact.functionType !== FunctionType.UTILITY) {
479
490
  throw new Error(`Cannot run ${entryPointArtifact.functionType} function as utility`);
@@ -498,7 +509,8 @@ export class TXEOracleTopLevelContext {
498
509
  senderAddressBookStore: this.senderAddressBookStore,
499
510
  capsuleStore: this.capsuleStore,
500
511
  privateEventStore: this.privateEventStore,
501
- jobId: this.jobId,
512
+ messageContextService: this.stateMachine.messageContextService,
513
+ jobId,
502
514
  scopes
503
515
  });
504
516
  const acirExecutionResult = await new WASMSimulator().executeUserCircuit(toACVMWitness(0, call.args), entryPointArtifact, new Oracle(oracle).toACIRCallback()).catch((err)=>{
@@ -510,10 +522,10 @@ export class TXEOracleTopLevelContext {
510
522
  cause: err
511
523
  });
512
524
  });
513
- this.logger.verbose(`Utility simulation for ${call.to}.${call.selector} completed`);
525
+ this.logger.verbose(`Utility execution for ${call.to}.${call.selector} completed`);
514
526
  return witnessMapToFields(acirExecutionResult.returnWitness);
515
527
  } catch (err) {
516
- throw createSimulationError(err instanceof Error ? err : new Error('Unknown error during utility simulation'));
528
+ throw createSimulationError(err instanceof Error ? err : new Error('Unknown error during utility execution'));
517
529
  }
518
530
  }
519
531
  close() {