@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.
- package/dest/index.d.ts +1 -1
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +88 -54
- package/dest/oracle/interfaces.d.ts +32 -28
- package/dest/oracle/interfaces.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_public_context.d.ts +13 -13
- package/dest/oracle/txe_oracle_public_context.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_public_context.js +12 -12
- package/dest/oracle/txe_oracle_top_level_context.d.ts +30 -23
- package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_top_level_context.js +95 -55
- package/dest/rpc_translator.d.ts +128 -82
- package/dest/rpc_translator.d.ts.map +1 -1
- package/dest/rpc_translator.js +464 -164
- package/dest/state_machine/archiver.d.ts +3 -3
- package/dest/state_machine/archiver.d.ts.map +1 -1
- package/dest/state_machine/archiver.js +12 -12
- package/dest/state_machine/dummy_p2p_client.d.ts +8 -6
- package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
- package/dest/state_machine/dummy_p2p_client.js +12 -6
- package/dest/state_machine/global_variable_builder.d.ts +9 -4
- package/dest/state_machine/global_variable_builder.d.ts.map +1 -1
- package/dest/state_machine/global_variable_builder.js +9 -3
- package/dest/state_machine/index.d.ts +4 -2
- package/dest/state_machine/index.d.ts.map +1 -1
- package/dest/state_machine/index.js +8 -4
- package/dest/state_machine/mock_epoch_cache.d.ts +18 -3
- package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
- package/dest/state_machine/mock_epoch_cache.js +35 -2
- package/dest/state_machine/synchronizer.d.ts +5 -5
- package/dest/state_machine/synchronizer.d.ts.map +1 -1
- package/dest/state_machine/synchronizer.js +3 -3
- package/dest/txe_session.d.ts +54 -6
- package/dest/txe_session.d.ts.map +1 -1
- package/dest/txe_session.js +98 -29
- package/dest/util/encoding.d.ts +71 -1
- package/dest/util/encoding.d.ts.map +1 -1
- package/dest/util/encoding.js +4 -0
- package/dest/util/txe_public_contract_data_source.d.ts +2 -3
- package/dest/util/txe_public_contract_data_source.d.ts.map +1 -1
- package/dest/util/txe_public_contract_data_source.js +6 -25
- package/package.json +15 -15
- package/src/index.ts +89 -52
- package/src/oracle/interfaces.ts +33 -32
- package/src/oracle/txe_oracle_public_context.ts +12 -12
- package/src/oracle/txe_oracle_top_level_context.ts +108 -59
- package/src/rpc_translator.ts +539 -196
- package/src/state_machine/archiver.ts +9 -9
- package/src/state_machine/dummy_p2p_client.ts +17 -9
- package/src/state_machine/global_variable_builder.ts +18 -3
- package/src/state_machine/index.ts +10 -2
- package/src/state_machine/mock_epoch_cache.ts +46 -3
- package/src/state_machine/synchronizer.ts +4 -4
- package/src/txe_session.ts +167 -32
- package/src/util/encoding.ts +5 -0
- package/src/util/txe_public_contract_data_source.ts +10 -38
- package/dest/util/txe_contract_store.d.ts +0 -12
- package/dest/util/txe_contract_store.d.ts.map +0 -1
- package/dest/util/txe_contract_store.js +0 -22
- package/src/util/txe_contract_store.ts +0 -36
package/src/txe_session.ts
CHANGED
|
@@ -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:
|
|
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(
|
|
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.
|
|
267
|
+
await topLevelOracleHandler.advanceBlocksBy(1);
|
|
211
268
|
|
|
212
269
|
return new TXESession(
|
|
213
|
-
|
|
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.
|
|
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
|
-
|
|
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
|
-
|
|
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:
|
|
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
|
|
505
|
+
const latestHeader = (await this.stateMachine.node.getBlockHeader('latest'))!;
|
|
387
506
|
const globalVariables = makeGlobalVariables(undefined, {
|
|
388
|
-
blockNumber: BlockNumber(
|
|
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,
|
|
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
|
-
|
|
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:
|
|
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 `
|
|
452
|
-
// `
|
|
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:
|
|
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
|
-
|
|
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
|
|
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);
|
package/src/util/encoding.ts
CHANGED
|
@@ -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
|
|
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.
|
|
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
|
|
52
|
-
packedBytecode: contractClass
|
|
53
|
-
privateFunctionsRoot,
|
|
54
|
-
version: contractClass
|
|
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.
|
|
62
|
-
return contractClass
|
|
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
|
-
}
|