@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.
- 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 +34 -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 +31 -23
- package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_top_level_context.js +159 -66
- package/dest/rpc_translator.d.ts +129 -83
- package/dest/rpc_translator.d.ts.map +1 -1
- package/dest/rpc_translator.js +479 -165
- 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 +16 -12
- package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
- package/dest/state_machine/dummy_p2p_client.js +28 -16
- 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 +20 -3
- package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
- package/dest/state_machine/mock_epoch_cache.js +39 -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 +152 -27
- 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 +35 -32
- package/src/oracle/txe_oracle_public_context.ts +12 -12
- package/src/oracle/txe_oracle_top_level_context.ts +168 -117
- package/src/rpc_translator.ts +571 -196
- package/src/state_machine/archiver.ts +9 -9
- package/src/state_machine/dummy_p2p_client.ts +39 -22
- 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 +51 -3
- package/src/state_machine/synchronizer.ts +4 -4
- package/src/txe_session.ts +216 -76
- 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,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:
|
|
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(
|
|
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.
|
|
267
|
+
await topLevelOracleHandler.advanceBlocksBy(1);
|
|
210
268
|
|
|
211
269
|
return new TXESession(
|
|
212
|
-
|
|
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.
|
|
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.
|
|
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
|
|
505
|
+
const latestHeader = (await this.stateMachine.node.getBlockHeader('latest'))!;
|
|
384
506
|
const globalVariables = makeGlobalVariables(undefined, {
|
|
385
|
-
blockNumber: BlockNumber(
|
|
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.
|
|
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 `
|
|
448
|
-
// `
|
|
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
|
|
510
|
-
|
|
511
|
-
|
|
512
|
-
[],
|
|
513
|
-
|
|
514
|
-
|
|
515
|
-
this.
|
|
516
|
-
this.
|
|
517
|
-
this.
|
|
518
|
-
this.
|
|
519
|
-
this.
|
|
520
|
-
this.
|
|
521
|
-
this.
|
|
522
|
-
this.
|
|
523
|
-
this.
|
|
524
|
-
|
|
525
|
-
|
|
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);
|
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
|
-
}
|