@aztec/txe 0.0.1-commit.85d7d01 → 0.0.1-commit.8655d4a
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/ContractClassRegistry-KKNT527R.js +3 -0
- package/dest/ContractClassRegistry-KKNT527R.js.map +7 -0
- package/dest/ContractInstanceRegistry-GSKBNL3Q.js +3 -0
- package/dest/ContractInstanceRegistry-GSKBNL3Q.js.map +7 -0
- package/dest/FeeJuice-GUJ5O6GB.js +3 -0
- package/dest/FeeJuice-GUJ5O6GB.js.map +7 -0
- package/dest/MultiCallEntrypoint-ZQPCKVKL.js +3 -0
- package/dest/MultiCallEntrypoint-ZQPCKVKL.js.map +7 -0
- package/dest/SchnorrAccount-QIXE5DXA.js +3 -0
- package/dest/SchnorrAccount-QIXE5DXA.js.map +7 -0
- package/dest/bin/check_txe_oracle_version.d.ts +2 -0
- package/dest/bin/check_txe_oracle_version.d.ts.map +1 -0
- package/dest/bin/check_txe_oracle_version.js +32 -0
- package/dest/bin/index.js +3 -30
- package/dest/bin/index.js.map +7 -0
- package/dest/chunk-BJVAAXNA.js +3 -0
- package/dest/chunk-BJVAAXNA.js.map +7 -0
- package/dest/chunk-DF6RMOC6.js +304 -0
- package/dest/chunk-DF6RMOC6.js.map +7 -0
- package/dest/chunk-PPJTNNUG.js +265 -0
- package/dest/chunk-PPJTNNUG.js.map +7 -0
- package/dest/constants.d.ts +3 -1
- package/dest/constants.d.ts.map +1 -1
- package/dest/constants.js +5 -0
- package/dest/dispatcher_pool.d.ts +67 -0
- package/dest/dispatcher_pool.d.ts.map +1 -0
- package/dest/dispatcher_pool.js +284 -0
- package/dest/index.d.ts +188 -7
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +160 -119
- package/dest/metafile.json +38147 -0
- package/dest/msgpackr_fr_extension.d.ts +2 -0
- package/dest/msgpackr_fr_extension.d.ts.map +1 -0
- package/dest/msgpackr_fr_extension.js +21 -0
- package/dest/oracle/interfaces.d.ts +39 -28
- package/dest/oracle/interfaces.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_public_context.d.ts +18 -13
- package/dest/oracle/txe_oracle_public_context.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_public_context.js +27 -12
- package/dest/oracle/txe_oracle_top_level_context.d.ts +36 -20
- package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_top_level_context.js +125 -66
- package/dest/oracle/txe_private_execution_oracle.d.ts +17 -0
- package/dest/oracle/txe_private_execution_oracle.d.ts.map +1 -0
- package/dest/oracle/txe_private_execution_oracle.js +15 -0
- package/dest/rpc_server.d.ts +14 -0
- package/dest/rpc_server.d.ts.map +1 -0
- package/dest/rpc_server.js +78 -0
- package/dest/rpc_translator.d.ts +139 -83
- package/dest/rpc_translator.d.ts.map +1 -1
- package/dest/rpc_translator.js +567 -243
- package/dest/server.bundle.js +3 -0
- package/dest/server.bundle.js.map +7 -0
- package/dest/state_machine/archiver.d.ts +4 -4
- package/dest/state_machine/archiver.d.ts.map +1 -1
- package/dest/state_machine/archiver.js +22 -20
- package/dest/state_machine/dummy_p2p_client.d.ts +13 -7
- package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
- package/dest/state_machine/dummy_p2p_client.js +16 -4
- 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 +7 -3
- package/dest/state_machine/index.d.ts.map +1 -1
- package/dest/state_machine/index.js +23 -5
- 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 +4 -4
- package/dest/txe_oracle_version.d.ts +17 -0
- package/dest/txe_oracle_version.d.ts.map +1 -0
- package/dest/txe_oracle_version.js +14 -0
- package/dest/txe_session.d.ts +64 -6
- package/dest/txe_session.d.ts.map +1 -1
- package/dest/txe_session.js +159 -31
- package/dest/utils/encoding.d.ts +191 -0
- package/dest/utils/encoding.d.ts.map +1 -0
- package/dest/{util → utils}/encoding.js +7 -2
- package/dest/{util → utils}/expected_failure_error.d.ts +1 -1
- package/dest/utils/expected_failure_error.d.ts.map +1 -0
- package/dest/{util → utils}/txe_account_store.d.ts +1 -1
- package/dest/utils/txe_account_store.d.ts.map +1 -0
- package/dest/utils/txe_public_contract_data_source.d.ts +20 -0
- package/dest/utils/txe_public_contract_data_source.d.ts.map +1 -0
- package/dest/{util → utils}/txe_public_contract_data_source.js +1 -3
- package/dest/worker.bundle.js +3 -0
- package/dest/worker.bundle.js.map +7 -0
- package/dest/worker.d.ts +2 -0
- package/dest/worker.d.ts.map +1 -0
- package/dest/worker.js +92 -0
- package/package.json +37 -21
- package/src/bin/check_txe_oracle_version.ts +37 -0
- package/src/bin/index.ts +11 -2
- package/src/constants.ts +6 -0
- package/src/dispatcher_pool.ts +316 -0
- package/src/index.ts +178 -126
- package/src/msgpackr_fr_extension.ts +23 -0
- package/src/oracle/interfaces.ts +43 -34
- package/src/oracle/txe_oracle_public_context.ts +42 -12
- package/src/oracle/txe_oracle_top_level_context.ts +146 -77
- package/src/oracle/txe_private_execution_oracle.ts +30 -0
- package/src/rpc_server.ts +87 -0
- package/src/rpc_translator.ts +646 -326
- package/src/state_machine/archiver.ts +33 -18
- package/src/state_machine/dummy_p2p_client.ts +31 -11
- package/src/state_machine/global_variable_builder.ts +18 -3
- package/src/state_machine/index.ts +25 -6
- package/src/state_machine/mock_epoch_cache.ts +46 -3
- package/src/state_machine/synchronizer.ts +5 -5
- package/src/txe_oracle_version.ts +17 -0
- package/src/txe_session.ts +253 -33
- package/src/{util → utils}/encoding.ts +8 -2
- package/src/{util → utils}/txe_public_contract_data_source.ts +0 -2
- package/src/worker.ts +98 -0
- package/dest/util/encoding.d.ts +0 -720
- package/dest/util/encoding.d.ts.map +0 -1
- package/dest/util/expected_failure_error.d.ts.map +0 -1
- package/dest/util/txe_account_store.d.ts.map +0 -1
- package/dest/util/txe_public_contract_data_source.d.ts +0 -20
- package/dest/util/txe_public_contract_data_source.d.ts.map +0 -1
- /package/dest/{util → utils}/expected_failure_error.js +0 -0
- /package/dest/{util → utils}/txe_account_store.js +0 -0
- /package/src/{util → utils}/expected_failure_error.ts +0 -0
- /package/src/{util → utils}/txe_account_store.ts +0 -0
|
@@ -11,7 +11,7 @@ export class TXESynchronizer {
|
|
|
11
11
|
this.blockNumber = BlockNumber.ZERO;
|
|
12
12
|
}
|
|
13
13
|
static async create() {
|
|
14
|
-
const nativeWorldStateService = await NativeWorldStateService.
|
|
14
|
+
const nativeWorldStateService = await NativeWorldStateService.ephemeral();
|
|
15
15
|
return new this(nativeWorldStateService);
|
|
16
16
|
}
|
|
17
17
|
async handleL2Block(block) {
|
|
@@ -19,11 +19,11 @@ export class TXESynchronizer {
|
|
|
19
19
|
this.blockNumber = block.header.globalVariables.blockNumber;
|
|
20
20
|
}
|
|
21
21
|
/**
|
|
22
|
-
* Forces an immediate sync to an optionally provided minimum block number
|
|
22
|
+
* Forces an immediate sync to an optionally provided minimum block number.
|
|
23
23
|
* @param targetBlockNumber - The target block number that we must sync to. Will download unproven blocks if needed to reach it.
|
|
24
|
-
* @param
|
|
24
|
+
* @param blockHash - If provided, verifies the block at targetBlockNumber matches this hash.
|
|
25
25
|
* @returns A promise that resolves with the block number the world state was synced to
|
|
26
|
-
*/ syncImmediate(_minBlockNumber,
|
|
26
|
+
*/ syncImmediate(_minBlockNumber, _blockHash) {
|
|
27
27
|
return Promise.resolve(this.blockNumber);
|
|
28
28
|
}
|
|
29
29
|
/** Returns an instance of MerkleTreeAdminOperations that will not include uncommitted data. */ getCommitted() {
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The TXE oracle version constants are used to check that the oracle interface used for tests is in sync between
|
|
3
|
+
* TXE and Aztec.nr. This is separate from the contract oracle version in `pxe/src/oracle_version.ts`, which covers
|
|
4
|
+
* oracles used during contract execution by PXE.
|
|
5
|
+
*
|
|
6
|
+
* The Noir counterparts are in `noir-projects/aztec-nr/aztec/src/test/helpers/txe_oracles.nr`.
|
|
7
|
+
*/
|
|
8
|
+
export declare const TXE_ORACLE_VERSION_MAJOR = 1;
|
|
9
|
+
export declare const TXE_ORACLE_VERSION_MINOR = 1;
|
|
10
|
+
/**
|
|
11
|
+
* This hash is computed from the TXE oracle interfaces (IAvmExecutionOracle and ITxeExecutionOracle) and is used to
|
|
12
|
+
* detect when those interfaces change. When it does, bump:
|
|
13
|
+
* - TXE_ORACLE_VERSION_MAJOR (and reset MINOR to 0) for breaking changes, or
|
|
14
|
+
* - TXE_ORACLE_VERSION_MINOR for additive changes (new oracle method added).
|
|
15
|
+
*/
|
|
16
|
+
export declare const TXE_ORACLE_INTERFACE_HASH = "833b77ccdba925b1ed129028432c7d4b116867fb426cee40f9d6104c5aa31e42";
|
|
17
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX29yYWNsZV92ZXJzaW9uLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvdHhlX29yYWNsZV92ZXJzaW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7R0FNRztBQUNILGVBQU8sTUFBTSx3QkFBd0IsSUFBSSxDQUFDO0FBQzFDLGVBQU8sTUFBTSx3QkFBd0IsSUFBSSxDQUFDO0FBRTFDOzs7OztHQUtHO0FBQ0gsZUFBTyxNQUFNLHlCQUF5QixxRUFBcUUsQ0FBQyJ9
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"txe_oracle_version.d.ts","sourceRoot":"","sources":["../src/txe_oracle_version.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAC1C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,qEAAqE,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The TXE oracle version constants are used to check that the oracle interface used for tests is in sync between
|
|
3
|
+
* TXE and Aztec.nr. This is separate from the contract oracle version in `pxe/src/oracle_version.ts`, which covers
|
|
4
|
+
* oracles used during contract execution by PXE.
|
|
5
|
+
*
|
|
6
|
+
* The Noir counterparts are in `noir-projects/aztec-nr/aztec/src/test/helpers/txe_oracles.nr`.
|
|
7
|
+
*/ export const TXE_ORACLE_VERSION_MAJOR = 1;
|
|
8
|
+
export const TXE_ORACLE_VERSION_MINOR = 1;
|
|
9
|
+
/**
|
|
10
|
+
* This hash is computed from the TXE oracle interfaces (IAvmExecutionOracle and ITxeExecutionOracle) and is used to
|
|
11
|
+
* detect when those interfaces change. When it does, bump:
|
|
12
|
+
* - TXE_ORACLE_VERSION_MAJOR (and reset MINOR to 0) for breaking changes, or
|
|
13
|
+
* - TXE_ORACLE_VERSION_MINOR for additive changes (new oracle method added).
|
|
14
|
+
*/ export const TXE_ORACLE_INTERFACE_HASH = '833b77ccdba925b1ed129028432c7d4b116867fb426cee40f9d6104c5aa31e42';
|
package/dest/txe_session.d.ts
CHANGED
|
@@ -2,15 +2,17 @@ import { BlockNumber } from '@aztec/foundation/branded-types';
|
|
|
2
2
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
3
|
import { type Logger } from '@aztec/foundation/log';
|
|
4
4
|
import { KeyStore } from '@aztec/key-store';
|
|
5
|
+
import type { AztecAsyncKVStore } from '@aztec/kv-store';
|
|
5
6
|
import { AddressStore, CapsuleStore, ContractStore, JobCoordinator, NoteStore, PrivateEventStore, RecipientTaggingStore, SenderAddressBookStore, SenderTaggingStore } from '@aztec/pxe/server';
|
|
6
7
|
import { type IPrivateExecutionOracle, type IUtilityExecutionOracle } from '@aztec/pxe/simulator';
|
|
7
8
|
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
9
|
+
import type { GasSettings } from '@aztec/stdlib/gas';
|
|
8
10
|
import { PrivateContextInputs } from '@aztec/stdlib/kernel';
|
|
9
11
|
import type { IAvmExecutionOracle, ITxeExecutionOracle } from './oracle/interfaces.js';
|
|
10
12
|
import { RPCTranslator } from './rpc_translator.js';
|
|
11
13
|
import { TXEStateMachine } from './state_machine/index.js';
|
|
12
|
-
import type { ForeignCallArgs, ForeignCallResult } from './
|
|
13
|
-
import { TXEAccountStore } from './
|
|
14
|
+
import type { ForeignCallArgs, ForeignCallResult } from './utils/encoding.js';
|
|
15
|
+
import { TXEAccountStore } from './utils/txe_account_store.js';
|
|
14
16
|
type MethodNames<T> = {
|
|
15
17
|
[K in keyof T]: T[K] extends (...args: any[]) => any ? K : never;
|
|
16
18
|
}[keyof T];
|
|
@@ -20,12 +22,44 @@ type MethodNames<T> = {
|
|
|
20
22
|
*/
|
|
21
23
|
export type TXEOracleFunctionName = Exclude<MethodNames<RPCTranslator>, 'constructor' | 'handlerAsMisc' | 'handlerAsUtility' | 'handlerAsPrivate' | 'handlerAsAvm' | 'handlerAsTxe'>;
|
|
22
24
|
export interface TXESessionStateHandler {
|
|
25
|
+
/** Records the TXE oracle version reported by the Noir test code for diagnostics. */
|
|
26
|
+
setTxeOracleVersion(major: number, minor: number): void;
|
|
23
27
|
enterTopLevelState(): Promise<void>;
|
|
24
28
|
enterPublicState(contractAddress?: AztecAddress): Promise<void>;
|
|
25
|
-
enterPrivateState(contractAddress
|
|
29
|
+
enterPrivateState(contractAddress: AztecAddress | undefined, anchorBlockNumber: BlockNumber | undefined, gasSettings: GasSettings): Promise<PrivateContextInputs>;
|
|
26
30
|
enterUtilityState(contractAddress?: AztecAddress): Promise<void>;
|
|
27
31
|
cycleJob(): Promise<string>;
|
|
28
32
|
getCurrentJob(): string;
|
|
33
|
+
/**
|
|
34
|
+
* Runs an executor-style top-level call (private/public call, utility execution) with last-call tracking.
|
|
35
|
+
*/
|
|
36
|
+
withTopLevelCallTracking<T>(work: () => Promise<{
|
|
37
|
+
result: T;
|
|
38
|
+
txHash?: Fr;
|
|
39
|
+
}>): Promise<T>;
|
|
40
|
+
/**
|
|
41
|
+
* Captures a raw offchain effect payload for consumption from test environment. Called by the `emit_offchain_effect`
|
|
42
|
+
* oracle handler whenever a contract function emits an offchain message, at any call depth.
|
|
43
|
+
*/
|
|
44
|
+
recordOffchainEffect(data: Fr[]): void;
|
|
45
|
+
/**
|
|
46
|
+
* Returns the raw offchain effect payloads emitted by the last top-level call. Each payload follows the protocol
|
|
47
|
+
* convention documented on `OFFCHAIN_MESSAGE_IDENTIFIER`, i.e. `[identifier, recipient, ...ciphertext]`. Decoding into
|
|
48
|
+
* `OffchainMessage` structs happens on the Noir side of the test helper. Marks the buffer as queried so the
|
|
49
|
+
* unqueried-messages warning doesn't fire on the next reset.
|
|
50
|
+
*/
|
|
51
|
+
getLastCallOffchainEffects(): {
|
|
52
|
+
effects: Fr[][];
|
|
53
|
+
};
|
|
54
|
+
/**
|
|
55
|
+
* Returns the context of the last top-level call: its tx hash (`Fr.ZERO` if the call was tx-less) and the anchor
|
|
56
|
+
* block timestamp captured at the start of the call. Does *not* mark the buffer as queried — context reads are
|
|
57
|
+
* metadata, not effect consumption.
|
|
58
|
+
*/
|
|
59
|
+
getLastCallContext(): {
|
|
60
|
+
txHash: Fr;
|
|
61
|
+
anchorBlockTimestamp: bigint;
|
|
62
|
+
};
|
|
29
63
|
}
|
|
30
64
|
/**
|
|
31
65
|
* A `TXESession` corresponds to a Noir `#[test]` function, and handles all of its oracle calls, stores test-specific
|
|
@@ -33,6 +67,7 @@ export interface TXESessionStateHandler {
|
|
|
33
67
|
*/
|
|
34
68
|
export declare class TXESession implements TXESessionStateHandler {
|
|
35
69
|
private logger;
|
|
70
|
+
private sessionStore;
|
|
36
71
|
private stateMachine;
|
|
37
72
|
private oracleHandler;
|
|
38
73
|
private contractStore;
|
|
@@ -52,7 +87,15 @@ export declare class TXESession implements TXESessionStateHandler {
|
|
|
52
87
|
private nextBlockTimestamp;
|
|
53
88
|
private state;
|
|
54
89
|
private authwits;
|
|
55
|
-
|
|
90
|
+
private lastCallInfo;
|
|
91
|
+
private txeOracleVersion;
|
|
92
|
+
private disposed;
|
|
93
|
+
constructor(logger: Logger, sessionStore: AztecAsyncKVStore, stateMachine: TXEStateMachine, oracleHandler: IUtilityExecutionOracle | IPrivateExecutionOracle | IAvmExecutionOracle | ITxeExecutionOracle, contractStore: ContractStore, noteStore: NoteStore, keyStore: KeyStore, addressStore: AddressStore, accountStore: TXEAccountStore, senderTaggingStore: SenderTaggingStore, recipientTaggingStore: RecipientTaggingStore, senderAddressBookStore: SenderAddressBookStore, capsuleStore: CapsuleStore, privateEventStore: PrivateEventStore, jobCoordinator: JobCoordinator, currentJobId: string, chainId: Fr, version: Fr, nextBlockTimestamp: bigint);
|
|
94
|
+
/**
|
|
95
|
+
* Closes the per-session `txe-session` LMDB and the `NativeWorldStateService` .
|
|
96
|
+
* Called via IPC when the dispatcher detects the end of a test. Idempotent.
|
|
97
|
+
*/
|
|
98
|
+
dispose(): Promise<void>;
|
|
56
99
|
static init(contractStore: ContractStore): Promise<TXESession>;
|
|
57
100
|
/**
|
|
58
101
|
* Processes an oracle function invoked by the Noir test associated to this session.
|
|
@@ -64,8 +107,23 @@ export declare class TXESession implements TXESessionStateHandler {
|
|
|
64
107
|
getCurrentJob(): string;
|
|
65
108
|
/** Commits the current job and begins a new one. Returns the new job ID. */
|
|
66
109
|
cycleJob(): Promise<string>;
|
|
110
|
+
private resetLastCall;
|
|
111
|
+
recordOffchainEffect(data: Fr[]): void;
|
|
112
|
+
private setLastCallContext;
|
|
113
|
+
withTopLevelCallTracking<T>(work: () => Promise<{
|
|
114
|
+
result: T;
|
|
115
|
+
txHash?: Fr;
|
|
116
|
+
}>): Promise<T>;
|
|
117
|
+
getLastCallOffchainEffects(): {
|
|
118
|
+
effects: Fr[][];
|
|
119
|
+
};
|
|
120
|
+
getLastCallContext(): {
|
|
121
|
+
txHash: Fr;
|
|
122
|
+
anchorBlockTimestamp: bigint;
|
|
123
|
+
};
|
|
124
|
+
setTxeOracleVersion(major: number, minor: number): void;
|
|
67
125
|
enterTopLevelState(): Promise<void>;
|
|
68
|
-
enterPrivateState(contractAddress
|
|
126
|
+
enterPrivateState(contractAddress: AztecAddress | undefined, anchorBlockNumber: BlockNumber | undefined, gasSettings: GasSettings): Promise<PrivateContextInputs>;
|
|
69
127
|
enterPublicState(contractAddress?: AztecAddress): Promise<void>;
|
|
70
128
|
enterUtilityState(contractAddress?: AztecAddress): Promise<void>;
|
|
71
129
|
private exitTopLevelState;
|
|
@@ -75,4 +133,4 @@ export declare class TXESession implements TXESessionStateHandler {
|
|
|
75
133
|
private utilityExecutorForContractSync;
|
|
76
134
|
}
|
|
77
135
|
export {};
|
|
78
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
136
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX3Nlc3Npb24uZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy90eGVfc2Vzc2lvbi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDOUQsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUNsRSxPQUFPLEVBQUUsUUFBUSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDNUMsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUV6RCxPQUFPLEVBQ0wsWUFBWSxFQUdaLFlBQVksRUFDWixhQUFhLEVBQ2IsY0FBYyxFQUVkLFNBQVMsRUFDVCxpQkFBaUIsRUFDakIscUJBQXFCLEVBQ3JCLHNCQUFzQixFQUN0QixrQkFBa0IsRUFDbkIsTUFBTSxtQkFBbUIsQ0FBQztBQUMzQixPQUFPLEVBSUwsS0FBSyx1QkFBdUIsRUFDNUIsS0FBSyx1QkFBdUIsRUFHN0IsTUFBTSxzQkFBc0IsQ0FBQztBQVk5QixPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDM0QsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFckQsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFPNUQsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUl2RixPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFFcEQsT0FBTyxFQUFFLGVBQWUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRzNELE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRTlFLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQXVDL0QsS0FBSyxXQUFXLENBQUMsQ0FBQyxJQUFJO0tBQ25CLENBQUMsSUFBSSxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxHQUFHLElBQUksRUFBRSxHQUFHLEVBQUUsS0FBSyxHQUFHLEdBQUcsQ0FBQyxHQUFHLEtBQUs7Q0FDakUsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDO0FBRVg7OztHQUdHO0FBQ0gsTUFBTSxNQUFNLHFCQUFxQixHQUFHLE9BQU8sQ0FDekMsV0FBVyxDQUFDLGFBQWEsQ0FBQyxFQUMxQixhQUFhLEdBQUcsZUFBZSxHQUFHLGtCQUFrQixHQUFHLGtCQUFrQixHQUFHLGNBQWMsR0FBRyxjQUFjLENBQzVHLENBQUM7QUFFRixNQUFNLFdBQVcsc0JBQXNCO0lBQ3JDLHFGQUFxRjtJQUNyRixtQkFBbUIsQ0FBQyxLQUFLLEVBQUUsTUFBTSxFQUFFLEtBQUssRUFBRSxNQUFNLEdBQUcsSUFBSSxDQUFDO0lBRXhELGtCQUFrQixJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUNwQyxnQkFBZ0IsQ0FBQyxlQUFlLENBQUMsRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0lBQ2hFLGlCQUFpQixDQUNmLGVBQWUsRUFBRSxZQUFZLEdBQUcsU0FBUyxFQUN6QyxpQkFBaUIsRUFBRSxXQUFXLEdBQUcsU0FBUyxFQUMxQyxXQUFXLEVBQUUsV0FBVyxHQUN2QixPQUFPLENBQUMsb0JBQW9CLENBQUMsQ0FBQztJQUNqQyxpQkFBaUIsQ0FBQyxlQUFlLENBQUMsRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0lBR2pFLFFBQVEsSUFBSSxPQUFPLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDNUIsYUFBYSxJQUFJLE1BQU0sQ0FBQztJQUV4Qjs7T0FFRztJQUNILHdCQUF3QixDQUFDLENBQUMsRUFBRSxJQUFJLEVBQUUsTUFBTSxPQUFPLENBQUM7UUFBRSxNQUFNLEVBQUUsQ0FBQyxDQUFDO1FBQUMsTUFBTSxDQUFDLEVBQUUsRUFBRSxDQUFBO0tBQUUsQ0FBQyxHQUFHLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUV6Rjs7O09BR0c7SUFDSCxvQkFBb0IsQ0FBQyxJQUFJLEVBQUUsRUFBRSxFQUFFLEdBQUcsSUFBSSxDQUFDO0lBRXZDOzs7OztPQUtHO0lBQ0gsMEJBQTBCLElBQUk7UUFBRSxPQUFPLEVBQUUsRUFBRSxFQUFFLEVBQUUsQ0FBQTtLQUFFLENBQUM7SUFFbEQ7Ozs7T0FJRztJQUNILGtCQUFrQixJQUFJO1FBQUUsTUFBTSxFQUFFLEVBQUUsQ0FBQztRQUFDLG9CQUFvQixFQUFFLE1BQU0sQ0FBQTtLQUFFLENBQUM7Q0FDcEU7QUFtQ0Q7OztHQUdHO0FBQ0gscUJBQWEsVUFBVyxZQUFXLHNCQUFzQjtJQVNyRCxPQUFPLENBQUMsTUFBTTtJQUNkLE9BQU8sQ0FBQyxZQUFZO0lBQ3BCLE9BQU8sQ0FBQyxZQUFZO0lBQ3BCLE9BQU8sQ0FBQyxhQUFhO0lBS3JCLE9BQU8sQ0FBQyxhQUFhO0lBQ3JCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxRQUFRO0lBQ2hCLE9BQU8sQ0FBQyxZQUFZO0lBQ3BCLE9BQU8sQ0FBQyxZQUFZO0lBQ3BCLE9BQU8sQ0FBQyxrQkFBa0I7SUFDMUIsT0FBTyxDQUFDLHFCQUFxQjtJQUM3QixPQUFPLENBQUMsc0JBQXNCO0lBQzlCLE9BQU8sQ0FBQyxZQUFZO0lBQ3BCLE9BQU8sQ0FBQyxpQkFBaUI7SUFDekIsT0FBTyxDQUFDLGNBQWM7SUFDdEIsT0FBTyxDQUFDLFlBQVk7SUFDcEIsT0FBTyxDQUFDLE9BQU87SUFDZixPQUFPLENBQUMsT0FBTztJQUNmLE9BQU8sQ0FBQyxrQkFBa0I7SUE5QjVCLE9BQU8sQ0FBQyxLQUFLLENBQXVDO0lBQ3BELE9BQU8sQ0FBQyxRQUFRLENBQXVDO0lBQ3ZELE9BQU8sQ0FBQyxZQUFZLENBQXVDO0lBQzNELE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBK0M7SUFFdkUsT0FBTyxDQUFDLFFBQVEsQ0FBUztJQUV6QixZQUNVLE1BQU0sRUFBRSxNQUFNLEVBQ2QsWUFBWSxFQUFFLGlCQUFpQixFQUMvQixZQUFZLEVBQUUsZUFBZSxFQUM3QixhQUFhLEVBQ2pCLHVCQUF1QixHQUN2Qix1QkFBdUIsR0FDdkIsbUJBQW1CLEdBQ25CLG1CQUFtQixFQUNmLGFBQWEsRUFBRSxhQUFhLEVBQzVCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFFBQVEsRUFBRSxRQUFRLEVBQ2xCLFlBQVksRUFBRSxZQUFZLEVBQzFCLFlBQVksRUFBRSxlQUFlLEVBQzdCLGtCQUFrQixFQUFFLGtCQUFrQixFQUN0QyxxQkFBcUIsRUFBRSxxQkFBcUIsRUFDNUMsc0JBQXNCLEVBQUUsc0JBQXNCLEVBQzlDLFlBQVksRUFBRSxZQUFZLEVBQzFCLGlCQUFpQixFQUFFLGlCQUFpQixFQUNwQyxjQUFjLEVBQUUsY0FBYyxFQUM5QixZQUFZLEVBQUUsTUFBTSxFQUNwQixPQUFPLEVBQUUsRUFBRSxFQUNYLE9BQU8sRUFBRSxFQUFFLEVBQ1gsa0JBQWtCLEVBQUUsTUFBTSxFQUNoQztJQUVKOzs7T0FHRztJQUNHLE9BQU8sSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBZTdCO0lBRUQsT0FBYSxJQUFJLENBQUMsYUFBYSxFQUFFLGFBQWEsdUJBK0U3QztJQUVEOzs7OztPQUtHO0lBQ0gsZUFBZSxDQUFDLFlBQVksRUFBRSxxQkFBcUIsRUFBRSxNQUFNLEVBQUUsZUFBZSxHQUFHLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxDQTRDeEc7SUFFRCxhQUFhLElBQUksTUFBTSxDQUV0QjtJQUVELDRFQUE0RTtJQUN0RSxRQUFRLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUloQztJQUVELE9BQU8sQ0FBQyxhQUFhO0lBZXJCLG9CQUFvQixDQUFDLElBQUksRUFBRSxFQUFFLEVBQUUsR0FBRyxJQUFJLENBRXJDO0lBRUQsT0FBTyxDQUFDLGtCQUFrQjtJQUtwQix3QkFBd0IsQ0FBQyxDQUFDLEVBQUUsSUFBSSxFQUFFLE1BQU0sT0FBTyxDQUFDO1FBQUUsTUFBTSxFQUFFLENBQUMsQ0FBQztRQUFDLE1BQU0sQ0FBQyxFQUFFLEVBQUUsQ0FBQTtLQUFFLENBQUMsR0FBRyxPQUFPLENBQUMsQ0FBQyxDQUFDLENBUzdGO0lBRUQsMEJBQTBCLElBQUk7UUFBRSxPQUFPLEVBQUUsRUFBRSxFQUFFLEVBQUUsQ0FBQTtLQUFFLENBWWhEO0lBRUQsa0JBQWtCLElBQUk7UUFBRSxNQUFNLEVBQUUsRUFBRSxDQUFDO1FBQUMsb0JBQW9CLEVBQUUsTUFBTSxDQUFBO0tBQUUsQ0FHakU7SUFFRCxtQkFBbUIsQ0FBQyxLQUFLLEVBQUUsTUFBTSxFQUFFLEtBQUssRUFBRSxNQUFNLEdBQUcsSUFBSSxDQWF0RDtJQUVLLGtCQUFrQixrQkE2Q3ZCO0lBRUssaUJBQWlCLENBQ3JCLGVBQWUsMEJBQWdDLEVBQy9DLGlCQUFpQixFQUFFLFdBQVcsR0FBRyxTQUFTLEVBQzFDLFdBQVcsRUFBRSxXQUFXLEdBQ3ZCLE9BQU8sQ0FBQyxvQkFBb0IsQ0FBQyxDQXNFL0I7SUFFSyxnQkFBZ0IsQ0FBQyxlQUFlLENBQUMsRUFBRSxZQUFZLGlCQTBCcEQ7SUFFSyxpQkFBaUIsQ0FBQyxlQUFlLEdBQUUsWUFBOEIsaUJBOEN0RTtJQUVELE9BQU8sQ0FBQyxpQkFBaUI7WUFpQlgsZ0JBQWdCO1lBNkJoQixlQUFlO0lBUzdCLE9BQU8sQ0FBQyxrQkFBa0I7SUFNMUIsT0FBTyxDQUFDLDhCQUE4QjtDQWtEdkMifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"txe_session.d.ts","sourceRoot":"","sources":["../src/txe_session.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"txe_session.d.ts","sourceRoot":"","sources":["../src/txe_session.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,OAAO,EACL,YAAY,EAGZ,YAAY,EACZ,aAAa,EACb,cAAc,EAEd,SAAS,EACT,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,kBAAkB,EACnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAIL,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAG7B,MAAM,sBAAsB,CAAC;AAY9B,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAO5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAIvF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAG3D,OAAO,KAAK,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE9E,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAuC/D,KAAK,WAAW,CAAC,CAAC,IAAI;KACnB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK;CACjE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG,OAAO,CACzC,WAAW,CAAC,aAAa,CAAC,EAC1B,aAAa,GAAG,eAAe,GAAG,kBAAkB,GAAG,kBAAkB,GAAG,cAAc,GAAG,cAAc,CAC5G,CAAC;AAEF,MAAM,WAAW,sBAAsB;IACrC,qFAAqF;IACrF,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAExD,kBAAkB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,gBAAgB,CAAC,eAAe,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,iBAAiB,CACf,eAAe,EAAE,YAAY,GAAG,SAAS,EACzC,iBAAiB,EAAE,WAAW,GAAG,SAAS,EAC1C,WAAW,EAAE,WAAW,GACvB,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACjC,iBAAiB,CAAC,eAAe,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAGjE,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5B,aAAa,IAAI,MAAM,CAAC;IAExB;;OAEG;IACH,wBAAwB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,EAAE,CAAA;KAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAEzF;;;OAGG;IACH,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC;IAEvC;;;;;OAKG;IACH,0BAA0B,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAA;KAAE,CAAC;IAElD;;;;OAIG;IACH,kBAAkB,IAAI;QAAE,MAAM,EAAE,EAAE,CAAC;QAAC,oBAAoB,EAAE,MAAM,CAAA;KAAE,CAAC;CACpE;AAmCD;;;GAGG;AACH,qBAAa,UAAW,YAAW,sBAAsB;IASrD,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,aAAa;IAKrB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,qBAAqB;IAC7B,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,iBAAiB;IACzB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,kBAAkB;IA9B5B,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,QAAQ,CAAuC;IACvD,OAAO,CAAC,YAAY,CAAuC;IAC3D,OAAO,CAAC,gBAAgB,CAA+C;IAEvE,OAAO,CAAC,QAAQ,CAAS;IAEzB,YACU,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,iBAAiB,EAC/B,YAAY,EAAE,eAAe,EAC7B,aAAa,EACjB,uBAAuB,GACvB,uBAAuB,GACvB,mBAAmB,GACnB,mBAAmB,EACf,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,QAAQ,EAClB,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,eAAe,EAC7B,kBAAkB,EAAE,kBAAkB,EACtC,qBAAqB,EAAE,qBAAqB,EAC5C,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,YAAY,EAC1B,iBAAiB,EAAE,iBAAiB,EACpC,cAAc,EAAE,cAAc,EAC9B,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,EAAE,EACX,OAAO,EAAE,EAAE,EACX,kBAAkB,EAAE,MAAM,EAChC;IAEJ;;;OAGG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAe7B;IAED,OAAa,IAAI,CAAC,aAAa,EAAE,aAAa,uBA+E7C;IAED;;;;;OAKG;IACH,eAAe,CAAC,YAAY,EAAE,qBAAqB,EAAE,MAAM,EAAE,eAAe,GAAG,OAAO,CAAC,iBAAiB,CAAC,CA4CxG;IAED,aAAa,IAAI,MAAM,CAEtB;IAED,4EAA4E;IACtE,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,CAIhC;IAED,OAAO,CAAC,aAAa;IAerB,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,IAAI,CAErC;IAED,OAAO,CAAC,kBAAkB;IAKpB,wBAAwB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,EAAE,CAAA;KAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAS7F;IAED,0BAA0B,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAA;KAAE,CAYhD;IAED,kBAAkB,IAAI;QAAE,MAAM,EAAE,EAAE,CAAC;QAAC,oBAAoB,EAAE,MAAM,CAAA;KAAE,CAGjE;IAED,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAatD;IAEK,kBAAkB,kBA6CvB;IAEK,iBAAiB,CACrB,eAAe,0BAAgC,EAC/C,iBAAiB,EAAE,WAAW,GAAG,SAAS,EAC1C,WAAW,EAAE,WAAW,GACvB,OAAO,CAAC,oBAAoB,CAAC,CAsE/B;IAEK,gBAAgB,CAAC,eAAe,CAAC,EAAE,YAAY,iBA0BpD;IAEK,iBAAiB,CAAC,eAAe,GAAE,YAA8B,iBA8CtE;IAED,OAAO,CAAC,iBAAiB;YAiBX,gBAAgB;YA6BhB,eAAe;IAS7B,OAAO,CAAC,kBAAkB;IAM1B,OAAO,CAAC,8BAA8B;CAkDvC"}
|
package/dest/txe_session.js
CHANGED
|
@@ -2,31 +2,42 @@ import { BlockNumber } from '@aztec/foundation/branded-types';
|
|
|
2
2
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
3
|
import { createLogger } from '@aztec/foundation/log';
|
|
4
4
|
import { KeyStore } from '@aztec/key-store';
|
|
5
|
-
import {
|
|
6
|
-
import { AddressStore, AnchorBlockStore, CapsuleStore, JobCoordinator, NoteService, NoteStore, PrivateEventStore, RecipientTaggingStore, SenderAddressBookStore, SenderTaggingStore } from '@aztec/pxe/server';
|
|
7
|
-
import { ExecutionNoteCache, ExecutionTaggingIndexCache, HashedValuesCache, Oracle,
|
|
5
|
+
import { openEphemeralStore } from '@aztec/kv-store/lmdb-v2';
|
|
6
|
+
import { AddressStore, AnchorBlockStore, CapsuleService, CapsuleStore, JobCoordinator, NoteService, NoteStore, PrivateEventStore, RecipientTaggingStore, SenderAddressBookStore, SenderTaggingStore } from '@aztec/pxe/server';
|
|
7
|
+
import { ExecutionNoteCache, ExecutionTaggingIndexCache, HashedValuesCache, Oracle, UtilityExecutionOracle } from '@aztec/pxe/simulator';
|
|
8
8
|
import { ExecutionError, WASMSimulator, createSimulationError, extractCallStack, resolveAssertionMessageFromError, toACVMWitness } from '@aztec/simulator/client';
|
|
9
|
+
import { STANDARD_AUTH_REGISTRY_ADDRESS } from '@aztec/standard-contracts/auth-registry/constants';
|
|
9
10
|
import { FunctionSelector, FunctionType } from '@aztec/stdlib/abi';
|
|
10
11
|
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
11
|
-
import { GasSettings } from '@aztec/stdlib/gas';
|
|
12
12
|
import { computeProtocolNullifier } from '@aztec/stdlib/hash';
|
|
13
13
|
import { makeGlobalVariables } from '@aztec/stdlib/testing';
|
|
14
|
-
import { CallContext, TxContext } from '@aztec/stdlib/tx';
|
|
14
|
+
import { CallContext, OFFCHAIN_MESSAGE_IDENTIFIER, TxContext } from '@aztec/stdlib/tx';
|
|
15
15
|
import { z } from 'zod';
|
|
16
|
-
import { DEFAULT_ADDRESS } from './constants.js';
|
|
16
|
+
import { DEFAULT_ADDRESS, MAX_OFFCHAIN_EFFECTS_PER_TXE_QUERY, MAX_OFFCHAIN_EFFECT_LEN } from './constants.js';
|
|
17
17
|
import { TXEOraclePublicContext } from './oracle/txe_oracle_public_context.js';
|
|
18
18
|
import { TXEOracleTopLevelContext } from './oracle/txe_oracle_top_level_context.js';
|
|
19
|
+
import { TXEPrivateExecutionOracle } from './oracle/txe_private_execution_oracle.js';
|
|
19
20
|
import { RPCTranslator } from './rpc_translator.js';
|
|
20
21
|
import { TXEArchiver } from './state_machine/archiver.js';
|
|
21
22
|
import { TXEStateMachine } from './state_machine/index.js';
|
|
22
|
-
import {
|
|
23
|
+
import { TXE_ORACLE_VERSION_MAJOR, TXE_ORACLE_VERSION_MINOR } from './txe_oracle_version.js';
|
|
23
24
|
import { getSingleTxBlockRequestHash, insertTxEffectIntoWorldTrees, makeTXEBlock } from './utils/block_creation.js';
|
|
24
25
|
import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
26
|
+
import { TXEAccountStore } from './utils/txe_account_store.js';
|
|
27
|
+
function emptyLastCallState() {
|
|
28
|
+
return {
|
|
29
|
+
offchainEffects: [],
|
|
30
|
+
queried: false,
|
|
31
|
+
txHash: Fr.ZERO,
|
|
32
|
+
anchorBlockTimestamp: 0n
|
|
33
|
+
};
|
|
34
|
+
}
|
|
25
35
|
/**
|
|
26
36
|
* A `TXESession` corresponds to a Noir `#[test]` function, and handles all of its oracle calls, stores test-specific
|
|
27
37
|
* state, etc., independent of all other tests running in parallel.
|
|
28
38
|
*/ export class TXESession {
|
|
29
39
|
logger;
|
|
40
|
+
sessionStore;
|
|
30
41
|
stateMachine;
|
|
31
42
|
oracleHandler;
|
|
32
43
|
contractStore;
|
|
@@ -46,8 +57,12 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
46
57
|
nextBlockTimestamp;
|
|
47
58
|
state;
|
|
48
59
|
authwits;
|
|
49
|
-
|
|
60
|
+
lastCallInfo;
|
|
61
|
+
txeOracleVersion;
|
|
62
|
+
disposed;
|
|
63
|
+
constructor(logger, sessionStore, stateMachine, oracleHandler, contractStore, noteStore, keyStore, addressStore, accountStore, senderTaggingStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, jobCoordinator, currentJobId, chainId, version, nextBlockTimestamp){
|
|
50
64
|
this.logger = logger;
|
|
65
|
+
this.sessionStore = sessionStore;
|
|
51
66
|
this.stateMachine = stateMachine;
|
|
52
67
|
this.oracleHandler = oracleHandler;
|
|
53
68
|
this.contractStore = contractStore;
|
|
@@ -69,9 +84,34 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
69
84
|
name: 'TOP_LEVEL'
|
|
70
85
|
};
|
|
71
86
|
this.authwits = new Map();
|
|
87
|
+
this.lastCallInfo = emptyLastCallState();
|
|
88
|
+
this.disposed = false;
|
|
89
|
+
}
|
|
90
|
+
/**
|
|
91
|
+
* Closes the per-session `txe-session` LMDB and the `NativeWorldStateService` .
|
|
92
|
+
* Called via IPC when the dispatcher detects the end of a test. Idempotent.
|
|
93
|
+
*/ async dispose() {
|
|
94
|
+
if (this.disposed) {
|
|
95
|
+
return;
|
|
96
|
+
}
|
|
97
|
+
this.disposed = true;
|
|
98
|
+
try {
|
|
99
|
+
await this.stateMachine.synchronizer.nativeWorldStateService.close();
|
|
100
|
+
} catch (err) {
|
|
101
|
+
this.logger.warn(`Error closing native world state during session dispose`, err);
|
|
102
|
+
}
|
|
103
|
+
try {
|
|
104
|
+
await this.sessionStore.close();
|
|
105
|
+
} catch (err) {
|
|
106
|
+
this.logger.warn(`Error closing session LMDB during dispose`, err);
|
|
107
|
+
}
|
|
72
108
|
}
|
|
73
109
|
static async init(contractStore) {
|
|
74
|
-
|
|
110
|
+
// Size LMDB's reader slots to the libuv pool (capped to 2 in bin/index.ts via
|
|
111
|
+
// HARDWARE_CONCURRENCY): each native LMDB read needs a libuv worker thread to run, so any
|
|
112
|
+
// slot beyond the pool size would sit idle while still consuming a semaphore + reader-table
|
|
113
|
+
// entry per session.
|
|
114
|
+
const store = await openEphemeralStore('txe-session', undefined, 2);
|
|
75
115
|
const addressStore = new AddressStore(store);
|
|
76
116
|
const privateEventStore = new PrivateEventStore(store);
|
|
77
117
|
const noteStore = new NoteStore(store);
|
|
@@ -81,7 +121,6 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
81
121
|
const capsuleStore = new CapsuleStore(store);
|
|
82
122
|
const keyStore = new KeyStore(store);
|
|
83
123
|
const accountStore = new TXEAccountStore(store);
|
|
84
|
-
// Create job coordinator and register staged stores
|
|
85
124
|
const jobCoordinator = new JobCoordinator(store);
|
|
86
125
|
jobCoordinator.registerStores([
|
|
87
126
|
capsuleStore,
|
|
@@ -97,9 +136,12 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
97
136
|
const version = new Fr(await stateMachine.node.getVersion());
|
|
98
137
|
const chainId = new Fr(await stateMachine.node.getChainId());
|
|
99
138
|
const initialJobId = jobCoordinator.beginJob();
|
|
139
|
+
const logger = createLogger('txe:session');
|
|
100
140
|
const topLevelOracleHandler = new TXEOracleTopLevelContext(stateMachine, contractStore, noteStore, keyStore, addressStore, accountStore, senderTaggingStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, nextBlockTimestamp, version, chainId, new Map());
|
|
101
|
-
await topLevelOracleHandler.
|
|
102
|
-
|
|
141
|
+
await topLevelOracleHandler.mineDeploymentNullifiers([
|
|
142
|
+
STANDARD_AUTH_REGISTRY_ADDRESS
|
|
143
|
+
]);
|
|
144
|
+
return new TXESession(logger, store, stateMachine, topLevelOracleHandler, contractStore, noteStore, keyStore, addressStore, accountStore, senderTaggingStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, jobCoordinator, initialJobId, version, chainId, nextBlockTimestamp);
|
|
103
145
|
}
|
|
104
146
|
/**
|
|
105
147
|
* Processes an oracle function invoked by the Noir test associated to this session.
|
|
@@ -114,7 +156,15 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
114
156
|
return translator[validatedFunctionName](...inputs);
|
|
115
157
|
} catch (error) {
|
|
116
158
|
if (error instanceof z.ZodError) {
|
|
117
|
-
|
|
159
|
+
let versionHint;
|
|
160
|
+
if (!this.txeOracleVersion) {
|
|
161
|
+
versionHint = ' The test appears to use an older version of Aztec.nr that does not' + ' support test environment oracle versioning. Update Aztec.nr to a compatible version.' + ' See https://docs.aztec.network/errors/12';
|
|
162
|
+
} else if (this.txeOracleVersion.minor > TXE_ORACLE_VERSION_MINOR) {
|
|
163
|
+
versionHint = ` The test uses Aztec.nr test oracle version` + ` ${this.txeOracleVersion.major}.${this.txeOracleVersion.minor}, but this test environment` + ` only supports up to ${TXE_ORACLE_VERSION_MAJOR}.${TXE_ORACLE_VERSION_MINOR}.` + ` Upgrade the Aztec CLI to a compatible version.` + ` See https://docs.aztec.network/errors/12`;
|
|
164
|
+
} else {
|
|
165
|
+
versionHint = ` The test's oracle version (${this.txeOracleVersion.major}.${this.txeOracleVersion.minor})` + ` is compatible with this test environment` + ` (${TXE_ORACLE_VERSION_MAJOR}.${TXE_ORACLE_VERSION_MINOR}), so this oracle should be` + ` available. This is an unexpected error, please report it.` + ` See https://docs.aztec.network/errors/13`;
|
|
166
|
+
}
|
|
167
|
+
throw new Error(`Unknown oracle '${functionName}'.${versionHint}`);
|
|
118
168
|
} else if (error instanceof Error) {
|
|
119
169
|
throw new Error(`Execution error while processing function ${functionName} in state ${this.state.name}: ${error.message}`);
|
|
120
170
|
} else {
|
|
@@ -130,6 +180,60 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
130
180
|
this.currentJobId = this.jobCoordinator.beginJob();
|
|
131
181
|
return this.currentJobId;
|
|
132
182
|
}
|
|
183
|
+
resetLastCall() {
|
|
184
|
+
const notQueriedMessageCount = this.lastCallInfo.queried ? 0 : this.lastCallInfo.offchainEffects.filter((payload)=>payload[0]?.equals(OFFCHAIN_MESSAGE_IDENTIFIER)).length;
|
|
185
|
+
if (notQueriedMessageCount > 0) {
|
|
186
|
+
this.logger.warn(`Dropping ${notQueriedMessageCount} unqueried offchain message(s) from the previous top-level call. ` + `To deliver them, call \`env.offchain_messages()\` and forward the result to the recipient contract's ` + `\`offchain_receive\` utility before issuing another top-level call. To intentionally discard, assign ` + `to \`let _ = env.offchain_messages()\` to silence this warning.`);
|
|
187
|
+
}
|
|
188
|
+
this.lastCallInfo = emptyLastCallState();
|
|
189
|
+
}
|
|
190
|
+
recordOffchainEffect(data) {
|
|
191
|
+
this.lastCallInfo.offchainEffects.push(data);
|
|
192
|
+
}
|
|
193
|
+
setLastCallContext(txHash, anchorBlockTimestamp) {
|
|
194
|
+
this.lastCallInfo.txHash = txHash;
|
|
195
|
+
this.lastCallInfo.anchorBlockTimestamp = anchorBlockTimestamp;
|
|
196
|
+
}
|
|
197
|
+
async withTopLevelCallTracking(work) {
|
|
198
|
+
this.resetLastCall();
|
|
199
|
+
// Capture the anchor *before* `work` runs: private/public executor calls mine a new block as a
|
|
200
|
+
// side effect, and that block's timestamp should not be attributed to this call's anchor.
|
|
201
|
+
const anchorBlockTimestamp = (await this.stateMachine.node.getBlockData('latest')).header.globalVariables.timestamp;
|
|
202
|
+
const { result, txHash } = await work();
|
|
203
|
+
this.setLastCallContext(txHash ?? Fr.ZERO, anchorBlockTimestamp);
|
|
204
|
+
return result;
|
|
205
|
+
}
|
|
206
|
+
getLastCallOffchainEffects() {
|
|
207
|
+
this.lastCallInfo.queried = true;
|
|
208
|
+
const effects = this.lastCallInfo.offchainEffects;
|
|
209
|
+
if (effects.length > MAX_OFFCHAIN_EFFECTS_PER_TXE_QUERY) {
|
|
210
|
+
throw new Error(`${effects.length} offchain effects exceed max ${MAX_OFFCHAIN_EFFECTS_PER_TXE_QUERY}`);
|
|
211
|
+
}
|
|
212
|
+
if (effects.some((e)=>e.length > MAX_OFFCHAIN_EFFECT_LEN)) {
|
|
213
|
+
throw new Error(`Some offchain effect has length larger than max ${MAX_OFFCHAIN_EFFECT_LEN}`);
|
|
214
|
+
}
|
|
215
|
+
return {
|
|
216
|
+
effects
|
|
217
|
+
};
|
|
218
|
+
}
|
|
219
|
+
getLastCallContext() {
|
|
220
|
+
const { txHash, anchorBlockTimestamp } = this.lastCallInfo;
|
|
221
|
+
return {
|
|
222
|
+
txHash,
|
|
223
|
+
anchorBlockTimestamp
|
|
224
|
+
};
|
|
225
|
+
}
|
|
226
|
+
setTxeOracleVersion(major, minor) {
|
|
227
|
+
if (major !== TXE_ORACLE_VERSION_MAJOR) {
|
|
228
|
+
const hint = major > TXE_ORACLE_VERSION_MAJOR ? 'The test was compiled with a newer version of Aztec.nr than your test environment supports. Upgrade your test environment to a compatible version.' : 'The test was compiled with an older version of Aztec.nr than your test environment supports. Recompile the test with a compatible version of Aztec.nr.';
|
|
229
|
+
throw new Error(`Incompatible test environment version: ${hint} See https://docs.aztec.network/errors/12 (expected test oracle major version ${TXE_ORACLE_VERSION_MAJOR}, got ${major})`);
|
|
230
|
+
}
|
|
231
|
+
this.txeOracleVersion = {
|
|
232
|
+
major,
|
|
233
|
+
minor
|
|
234
|
+
};
|
|
235
|
+
this.logger.debug(`Test compiled with test oracle version ${major}.${minor}`);
|
|
236
|
+
}
|
|
133
237
|
async enterTopLevelState() {
|
|
134
238
|
switch(this.state.name){
|
|
135
239
|
case 'PRIVATE':
|
|
@@ -164,14 +268,15 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
164
268
|
};
|
|
165
269
|
this.logger.debug(`Entered state ${this.state.name}`);
|
|
166
270
|
}
|
|
167
|
-
async enterPrivateState(contractAddress = DEFAULT_ADDRESS, anchorBlockNumber) {
|
|
271
|
+
async enterPrivateState(contractAddress = DEFAULT_ADDRESS, anchorBlockNumber, gasSettings) {
|
|
168
272
|
this.exitTopLevelState();
|
|
273
|
+
this.resetLastCall();
|
|
169
274
|
// Private execution has two associated block numbers: the anchor block (i.e. the historical block that is used to
|
|
170
275
|
// build the proof), and the *next* block, i.e. the one we'll create once the execution ends, and which will contain
|
|
171
276
|
// a single transaction with the effects of what was done in the test.
|
|
172
|
-
const anchorBlock = await this.stateMachine.node.
|
|
173
|
-
await new NoteService(this.noteStore, this.stateMachine.node, anchorBlock, this.currentJobId).syncNoteNullifiers(contractAddress,
|
|
174
|
-
const latestBlock = await this.stateMachine.node.
|
|
277
|
+
const anchorBlock = await this.stateMachine.node.getBlock(anchorBlockNumber ?? 'latest').then((b)=>b?.header);
|
|
278
|
+
await new NoteService(this.noteStore, this.stateMachine.node, anchorBlock, this.currentJobId).syncNoteNullifiers(contractAddress, await this.keyStore.getAccounts());
|
|
279
|
+
const latestBlock = await this.stateMachine.node.getBlock('latest').then((b)=>b?.header);
|
|
175
280
|
const nextBlockGlobalVariables = makeGlobalVariables(undefined, {
|
|
176
281
|
blockNumber: BlockNumber(latestBlock.globalVariables.blockNumber + 1),
|
|
177
282
|
timestamp: this.nextBlockTimestamp,
|
|
@@ -183,9 +288,9 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
183
288
|
const noteCache = new ExecutionNoteCache(protocolNullifier);
|
|
184
289
|
const taggingIndexCache = new ExecutionTaggingIndexCache();
|
|
185
290
|
const utilityExecutor = this.utilityExecutorForContractSync(anchorBlock);
|
|
186
|
-
this.oracleHandler = new
|
|
291
|
+
this.oracleHandler = new TXEPrivateExecutionOracle({
|
|
187
292
|
argsHash: Fr.ZERO,
|
|
188
|
-
txContext: new TxContext(this.chainId, this.version,
|
|
293
|
+
txContext: new TxContext(this.chainId, this.version, gasSettings),
|
|
189
294
|
callContext: new CallContext(AztecAddress.ZERO, contractAddress, FunctionSelector.empty(), false),
|
|
190
295
|
anchorBlockHeader: anchorBlock,
|
|
191
296
|
utilityExecutor,
|
|
@@ -202,11 +307,14 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
202
307
|
senderTaggingStore: this.senderTaggingStore,
|
|
203
308
|
recipientTaggingStore: this.recipientTaggingStore,
|
|
204
309
|
senderAddressBookStore: this.senderAddressBookStore,
|
|
205
|
-
|
|
310
|
+
capsuleService: new CapsuleService(this.capsuleStore, await this.keyStore.getAccounts()),
|
|
206
311
|
privateEventStore: this.privateEventStore,
|
|
207
312
|
contractSyncService: this.stateMachine.contractSyncService,
|
|
313
|
+
l2TipsStore: this.stateMachine.l2TipsProvider,
|
|
208
314
|
jobId: this.currentJobId,
|
|
209
|
-
scopes:
|
|
315
|
+
scopes: await this.keyStore.getAccounts(),
|
|
316
|
+
messageContextService: this.stateMachine.messageContextService,
|
|
317
|
+
simulator: new WASMSimulator()
|
|
210
318
|
});
|
|
211
319
|
// We store the note and tagging index caches fed into the PrivateExecutionOracle (along with some other auxiliary
|
|
212
320
|
// data) in order to refer to it later, mimicking the way this object is used by the ContractFunctionSimulator. The
|
|
@@ -220,15 +328,19 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
220
328
|
taggingIndexCache
|
|
221
329
|
};
|
|
222
330
|
this.logger.debug(`Entered state ${this.state.name}`);
|
|
331
|
+
// Record the *resolved* anchor's timestamp — if the caller pinned the anchor to a past block
|
|
332
|
+
// via `anchorBlockNumber`, "latest" would be the wrong anchor for offchain-message semantics.
|
|
333
|
+
this.setLastCallContext(Fr.ZERO, anchorBlock.globalVariables.timestamp);
|
|
223
334
|
return this.oracleHandler.getPrivateContextInputs();
|
|
224
335
|
}
|
|
225
336
|
async enterPublicState(contractAddress) {
|
|
226
337
|
this.exitTopLevelState();
|
|
338
|
+
this.resetLastCall();
|
|
227
339
|
// The PublicContext will create a block with a single transaction in it, containing the effects of what was done in
|
|
228
340
|
// the test. The block therefore gets the *next* block number and timestamp.
|
|
229
|
-
const
|
|
341
|
+
const latestHeader = (await this.stateMachine.node.getBlockData('latest')).header;
|
|
230
342
|
const globalVariables = makeGlobalVariables(undefined, {
|
|
231
|
-
blockNumber: BlockNumber(
|
|
343
|
+
blockNumber: BlockNumber(latestHeader.globalVariables.blockNumber + 1),
|
|
232
344
|
timestamp: this.nextBlockTimestamp,
|
|
233
345
|
version: this.version,
|
|
234
346
|
chainId: this.chainId
|
|
@@ -238,16 +350,19 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
238
350
|
name: 'PUBLIC'
|
|
239
351
|
};
|
|
240
352
|
this.logger.debug(`Entered state ${this.state.name}`);
|
|
353
|
+
// Public state is anchored at the latest block.
|
|
354
|
+
this.setLastCallContext(Fr.ZERO, latestHeader.globalVariables.timestamp);
|
|
241
355
|
}
|
|
242
356
|
async enterUtilityState(contractAddress = DEFAULT_ADDRESS) {
|
|
243
357
|
this.exitTopLevelState();
|
|
358
|
+
this.resetLastCall();
|
|
244
359
|
const anchorBlockHeader = await this.stateMachine.anchorBlockStore.getBlockHeader();
|
|
245
360
|
// There is no automatic message discovery and contract-driven syncing process in inlined private or utility
|
|
246
361
|
// contexts, which means that known nullifiers are also not searched for, since it is during the tagging sync that
|
|
247
362
|
// we perform this. We therefore search for known nullifiers now, as otherwise notes that were nullified would not
|
|
248
363
|
// be removed from the database.
|
|
249
364
|
// TODO(#12553): make the synchronizer sync here instead and remove this
|
|
250
|
-
await new NoteService(this.noteStore, this.stateMachine.node, anchorBlockHeader, this.currentJobId).syncNoteNullifiers(contractAddress,
|
|
365
|
+
await new NoteService(this.noteStore, this.stateMachine.node, anchorBlockHeader, this.currentJobId).syncNoteNullifiers(contractAddress, await this.keyStore.getAccounts());
|
|
251
366
|
this.oracleHandler = new UtilityExecutionOracle({
|
|
252
367
|
contractAddress,
|
|
253
368
|
authWitnesses: [],
|
|
@@ -260,15 +375,22 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
260
375
|
aztecNode: this.stateMachine.node,
|
|
261
376
|
recipientTaggingStore: this.recipientTaggingStore,
|
|
262
377
|
senderAddressBookStore: this.senderAddressBookStore,
|
|
263
|
-
|
|
378
|
+
capsuleService: new CapsuleService(this.capsuleStore, await this.keyStore.getAccounts()),
|
|
264
379
|
privateEventStore: this.privateEventStore,
|
|
380
|
+
messageContextService: this.stateMachine.messageContextService,
|
|
381
|
+
contractSyncService: this.stateMachine.contractSyncService,
|
|
382
|
+
l2TipsStore: this.stateMachine.l2TipsProvider,
|
|
265
383
|
jobId: this.currentJobId,
|
|
266
|
-
scopes:
|
|
384
|
+
scopes: await this.keyStore.getAccounts(),
|
|
385
|
+
simulator: new WASMSimulator(),
|
|
386
|
+
utilityExecutor: this.utilityExecutorForContractSync(anchorBlockHeader)
|
|
267
387
|
});
|
|
268
388
|
this.state = {
|
|
269
389
|
name: 'UTILITY'
|
|
270
390
|
};
|
|
271
391
|
this.logger.debug(`Entered state ${this.state.name}`);
|
|
392
|
+
// Utility state anchors at whatever the anchor block store is pointing to (tracked as latest).
|
|
393
|
+
this.setLastCallContext(Fr.ZERO, anchorBlockHeader.globalVariables.timestamp);
|
|
272
394
|
}
|
|
273
395
|
exitTopLevelState() {
|
|
274
396
|
if (this.state.name != 'TOP_LEVEL') {
|
|
@@ -276,8 +398,8 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
276
398
|
}
|
|
277
399
|
// Note that while all public and private contexts do is build a single block that we then process when exiting
|
|
278
400
|
// those, the top level context performs a large number of actions not captured in the following 'close' call. Among
|
|
279
|
-
// others, it will create empty blocks (via `
|
|
280
|
-
// `
|
|
401
|
+
// others, it will create empty blocks (via `advanceBlocksBy` and `deploy`), create blocks with transactions via
|
|
402
|
+
// `privateCallNewFlow` and `publicCallNewFlow`, add accounts to PXE via `addAccount`, etc. This is a
|
|
281
403
|
// slight inconsistency in the working model of this class, but is not too bad.
|
|
282
404
|
// TODO: it's quite unfortunate that we need to capture the authwits created to later pass them again when the top
|
|
283
405
|
// level context is re-created. This is because authwits create a temporary utility context that'd otherwise reset
|
|
@@ -327,6 +449,7 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
327
449
|
throw new Error(`Cannot run ${entryPointArtifact.functionType} function as utility`);
|
|
328
450
|
}
|
|
329
451
|
try {
|
|
452
|
+
const simulator = new WASMSimulator();
|
|
330
453
|
const oracle = new UtilityExecutionOracle({
|
|
331
454
|
contractAddress: call.to,
|
|
332
455
|
authWitnesses: [],
|
|
@@ -339,12 +462,17 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
339
462
|
aztecNode: this.stateMachine.node,
|
|
340
463
|
recipientTaggingStore: this.recipientTaggingStore,
|
|
341
464
|
senderAddressBookStore: this.senderAddressBookStore,
|
|
342
|
-
|
|
465
|
+
capsuleService: new CapsuleService(this.capsuleStore, scopes),
|
|
343
466
|
privateEventStore: this.privateEventStore,
|
|
467
|
+
messageContextService: this.stateMachine.messageContextService,
|
|
468
|
+
contractSyncService: this.stateMachine.contractSyncService,
|
|
469
|
+
l2TipsStore: this.stateMachine.l2TipsProvider,
|
|
344
470
|
jobId: this.currentJobId,
|
|
345
|
-
scopes
|
|
471
|
+
scopes,
|
|
472
|
+
simulator,
|
|
473
|
+
utilityExecutor: this.utilityExecutorForContractSync(anchorBlock)
|
|
346
474
|
});
|
|
347
|
-
await
|
|
475
|
+
await simulator.executeUserCircuit(toACVMWitness(0, call.args), entryPointArtifact, new Oracle(oracle).toACIRCallback()).catch((err)=>{
|
|
348
476
|
err.message = resolveAssertionMessageFromError(err, entryPointArtifact);
|
|
349
477
|
throw new ExecutionError(err.message, {
|
|
350
478
|
contractAddress: call.to,
|