@aztec/txe 0.0.1-commit.b2a5d0dd1 → 0.0.1-commit.b3d3157a
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-PII7Q556.js +3 -0
- package/dest/ContractClassRegistry-PII7Q556.js.map +7 -0
- package/dest/ContractInstanceRegistry-3MHLGFNZ.js +3 -0
- package/dest/ContractInstanceRegistry-3MHLGFNZ.js.map +7 -0
- package/dest/FeeJuice-TQV5AQK7.js +3 -0
- package/dest/FeeJuice-TQV5AQK7.js.map +7 -0
- package/dest/MultiCallEntrypoint-SBJUIJY7.js +3 -0
- package/dest/MultiCallEntrypoint-SBJUIJY7.js.map +7 -0
- package/dest/SchnorrAccount-MQXPIZ44.js +3 -0
- package/dest/SchnorrAccount-MQXPIZ44.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 +61 -0
- package/dest/bin/index.js +3 -30
- package/dest/bin/index.js.map +7 -0
- package/dest/bin/oracle_test_server.d.ts +3 -0
- package/dest/bin/oracle_test_server.d.ts.map +1 -0
- package/dest/bin/oracle_test_server.js +41 -0
- package/dest/chunk-2FGZE6YL.js +265 -0
- package/dest/chunk-2FGZE6YL.js.map +7 -0
- package/dest/chunk-6HRVNWJU.js +304 -0
- package/dest/chunk-6HRVNWJU.js.map +7 -0
- package/dest/chunk-BJVAAXNA.js +3 -0
- package/dest/chunk-BJVAAXNA.js.map +7 -0
- package/dest/constants.d.ts +5 -1
- package/dest/constants.d.ts.map +1 -1
- package/dest/constants.js +8 -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 +185 -7
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +70 -190
- package/dest/metafile.json +38642 -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 +33 -8
- package/dest/oracle/interfaces.d.ts.map +1 -1
- package/dest/oracle/test-resolver/fixtures.d.ts +43 -0
- package/dest/oracle/test-resolver/fixtures.d.ts.map +1 -0
- package/dest/oracle/test-resolver/fixtures.js +39 -0
- package/dest/oracle/test-resolver/index.d.ts +9 -0
- package/dest/oracle/test-resolver/index.d.ts.map +1 -0
- package/dest/oracle/test-resolver/index.js +33 -0
- package/dest/oracle/test-resolver/resolver.d.ts +34 -0
- package/dest/oracle/test-resolver/resolver.d.ts.map +1 -0
- package/dest/oracle/test-resolver/resolver.js +114 -0
- package/dest/oracle/txe_oracle_public_context.d.ts +26 -2
- package/dest/oracle/txe_oracle_public_context.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_public_context.js +43 -1
- package/dest/oracle/txe_oracle_registry.d.ts +147 -0
- package/dest/oracle/txe_oracle_registry.d.ts.map +1 -0
- package/dest/oracle/txe_oracle_registry.js +562 -0
- package/dest/oracle/txe_oracle_top_level_context.d.ts +27 -13
- package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_top_level_context.js +129 -52
- package/dest/oracle/txe_oracle_version.d.ts +17 -0
- package/dest/oracle/txe_oracle_version.d.ts.map +1 -0
- package/dest/oracle/txe_oracle_version.js +14 -0
- 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 +96 -266
- package/dest/rpc_translator.d.ts.map +1 -1
- package/dest/rpc_translator.js +699 -730
- package/dest/server.bundle.js +3 -0
- package/dest/server.bundle.js.map +7 -0
- package/dest/state_machine/archiver.d.ts +4 -3
- package/dest/state_machine/archiver.d.ts.map +1 -1
- package/dest/state_machine/archiver.js +24 -14
- package/dest/state_machine/dummy_p2p_client.d.ts +11 -6
- package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
- package/dest/state_machine/dummy_p2p_client.js +11 -2
- 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 +16 -2
- package/dest/state_machine/mock_epoch_cache.d.ts +1 -3
- package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
- package/dest/state_machine/mock_epoch_cache.js +0 -6
- package/dest/state_machine/synchronizer.js +1 -1
- package/dest/txe_session.d.ts +75 -14
- package/dest/txe_session.d.ts.map +1 -1
- package/dest/txe_session.js +164 -38
- package/dest/utils/encoding.d.ts +191 -0
- package/dest/utils/encoding.d.ts.map +1 -0
- package/dest/{util → utils}/encoding.js +3 -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_artifact_resolver.d.ts +37 -0
- package/dest/utils/txe_artifact_resolver.d.ts.map +1 -0
- package/dest/utils/txe_artifact_resolver.js +161 -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/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 +38 -21
- package/src/bin/check_txe_oracle_version.ts +70 -0
- package/src/bin/index.ts +11 -2
- package/src/bin/oracle_test_server.ts +51 -0
- package/src/constants.ts +10 -0
- package/src/dispatcher_pool.ts +316 -0
- package/src/index.ts +97 -227
- package/src/msgpackr_fr_extension.ts +23 -0
- package/src/oracle/interfaces.ts +29 -7
- package/src/oracle/test-resolver/fixtures.ts +84 -0
- package/src/oracle/test-resolver/index.ts +45 -0
- package/src/oracle/test-resolver/resolver.ts +165 -0
- package/src/oracle/txe_oracle_public_context.ts +60 -0
- package/src/oracle/txe_oracle_registry.ts +401 -0
- package/src/oracle/txe_oracle_top_level_context.ts +157 -62
- package/src/oracle/txe_oracle_version.ts +17 -0
- package/src/oracle/txe_private_execution_oracle.ts +30 -0
- package/src/rpc_server.ts +87 -0
- package/src/rpc_translator.ts +774 -1043
- package/src/state_machine/archiver.ts +37 -16
- package/src/state_machine/dummy_p2p_client.ts +25 -9
- package/src/state_machine/index.ts +17 -4
- package/src/state_machine/mock_epoch_cache.ts +0 -8
- package/src/state_machine/synchronizer.ts +1 -1
- package/src/txe_session.ts +269 -39
- package/src/{util → utils}/encoding.ts +3 -2
- package/src/utils/txe_artifact_resolver.ts +217 -0
- package/src/worker.ts +98 -0
- package/dest/util/encoding.d.ts +0 -790
- 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/dest/{util → utils}/txe_public_contract_data_source.js +0 -0
- /package/src/{util → utils}/expected_failure_error.ts +0 -0
- /package/src/{util → utils}/txe_account_store.ts +0 -0
- /package/src/{util → utils}/txe_public_contract_data_source.ts +0 -0
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, CapsuleService, CapsuleStore,
|
|
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 { TXE_ORACLE_VERSION_MAJOR, TXE_ORACLE_VERSION_MINOR } from './oracle/txe_oracle_version.js';
|
|
20
|
+
import { TXEPrivateExecutionOracle } from './oracle/txe_private_execution_oracle.js';
|
|
19
21
|
import { RPCTranslator } from './rpc_translator.js';
|
|
20
22
|
import { TXEArchiver } from './state_machine/archiver.js';
|
|
21
23
|
import { TXEStateMachine } from './state_machine/index.js';
|
|
22
|
-
import { TXEAccountStore } from './util/txe_account_store.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;
|
|
@@ -44,11 +55,17 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
44
55
|
chainId;
|
|
45
56
|
version;
|
|
46
57
|
nextBlockTimestamp;
|
|
47
|
-
|
|
58
|
+
artifactResolver;
|
|
59
|
+
rootPath;
|
|
60
|
+
packageName;
|
|
48
61
|
state;
|
|
49
62
|
authwits;
|
|
50
|
-
|
|
63
|
+
lastCallInfo;
|
|
64
|
+
txeOracleVersion;
|
|
65
|
+
disposed;
|
|
66
|
+
constructor(logger, sessionStore, stateMachine, oracleHandler, contractStore, noteStore, keyStore, addressStore, accountStore, senderTaggingStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, jobCoordinator, currentJobId, chainId, version, nextBlockTimestamp, artifactResolver, rootPath, packageName){
|
|
51
67
|
this.logger = logger;
|
|
68
|
+
this.sessionStore = sessionStore;
|
|
52
69
|
this.stateMachine = stateMachine;
|
|
53
70
|
this.oracleHandler = oracleHandler;
|
|
54
71
|
this.contractStore = contractStore;
|
|
@@ -66,14 +83,41 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
66
83
|
this.chainId = chainId;
|
|
67
84
|
this.version = version;
|
|
68
85
|
this.nextBlockTimestamp = nextBlockTimestamp;
|
|
69
|
-
this.
|
|
86
|
+
this.artifactResolver = artifactResolver;
|
|
87
|
+
this.rootPath = rootPath;
|
|
88
|
+
this.packageName = packageName;
|
|
70
89
|
this.state = {
|
|
71
90
|
name: 'TOP_LEVEL'
|
|
72
91
|
};
|
|
73
92
|
this.authwits = new Map();
|
|
93
|
+
this.lastCallInfo = emptyLastCallState();
|
|
94
|
+
this.disposed = false;
|
|
95
|
+
}
|
|
96
|
+
/**
|
|
97
|
+
* Closes the per-session `txe-session` LMDB and the `NativeWorldStateService` .
|
|
98
|
+
* Called via IPC when the dispatcher detects the end of a test. Idempotent.
|
|
99
|
+
*/ async dispose() {
|
|
100
|
+
if (this.disposed) {
|
|
101
|
+
return;
|
|
102
|
+
}
|
|
103
|
+
this.disposed = true;
|
|
104
|
+
try {
|
|
105
|
+
await this.stateMachine.synchronizer.nativeWorldStateService.close();
|
|
106
|
+
} catch (err) {
|
|
107
|
+
this.logger.warn(`Error closing native world state during session dispose`, err);
|
|
108
|
+
}
|
|
109
|
+
try {
|
|
110
|
+
await this.sessionStore.close();
|
|
111
|
+
} catch (err) {
|
|
112
|
+
this.logger.warn(`Error closing session LMDB during dispose`, err);
|
|
113
|
+
}
|
|
74
114
|
}
|
|
75
|
-
static async init(contractStore) {
|
|
76
|
-
|
|
115
|
+
static async init(contractStore, artifactResolver, rootPath, packageName) {
|
|
116
|
+
// Size LMDB's reader slots to the libuv pool (capped to 2 in bin/index.ts via
|
|
117
|
+
// HARDWARE_CONCURRENCY): each native LMDB read needs a libuv worker thread to run, so any
|
|
118
|
+
// slot beyond the pool size would sit idle while still consuming a semaphore + reader-table
|
|
119
|
+
// entry per session.
|
|
120
|
+
const store = await openEphemeralStore('txe-session', undefined, 2);
|
|
77
121
|
const addressStore = new AddressStore(store);
|
|
78
122
|
const privateEventStore = new PrivateEventStore(store);
|
|
79
123
|
const noteStore = new NoteStore(store);
|
|
@@ -83,7 +127,6 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
83
127
|
const capsuleStore = new CapsuleStore(store);
|
|
84
128
|
const keyStore = new KeyStore(store);
|
|
85
129
|
const accountStore = new TXEAccountStore(store);
|
|
86
|
-
// Create job coordinator and register staged stores
|
|
87
130
|
const jobCoordinator = new JobCoordinator(store);
|
|
88
131
|
jobCoordinator.registerStores([
|
|
89
132
|
capsuleStore,
|
|
@@ -100,10 +143,11 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
100
143
|
const chainId = new Fr(await stateMachine.node.getChainId());
|
|
101
144
|
const initialJobId = jobCoordinator.beginJob();
|
|
102
145
|
const logger = createLogger('txe:session');
|
|
103
|
-
const
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
146
|
+
const topLevelOracleHandler = new TXEOracleTopLevelContext(stateMachine, contractStore, noteStore, keyStore, addressStore, accountStore, senderTaggingStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, nextBlockTimestamp, version, chainId, new Map(), artifactResolver, rootPath, packageName);
|
|
147
|
+
await topLevelOracleHandler.mineDeploymentNullifiers([
|
|
148
|
+
STANDARD_AUTH_REGISTRY_ADDRESS
|
|
149
|
+
]);
|
|
150
|
+
return new TXESession(logger, store, stateMachine, topLevelOracleHandler, contractStore, noteStore, keyStore, addressStore, accountStore, senderTaggingStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, jobCoordinator, initialJobId, version, chainId, nextBlockTimestamp, artifactResolver, rootPath, packageName);
|
|
107
151
|
}
|
|
108
152
|
/**
|
|
109
153
|
* Processes an oracle function invoked by the Noir test associated to this session.
|
|
@@ -118,7 +162,15 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
118
162
|
return translator[validatedFunctionName](...inputs);
|
|
119
163
|
} catch (error) {
|
|
120
164
|
if (error instanceof z.ZodError) {
|
|
121
|
-
|
|
165
|
+
let versionHint;
|
|
166
|
+
if (!this.txeOracleVersion) {
|
|
167
|
+
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';
|
|
168
|
+
} else if (this.txeOracleVersion.minor > TXE_ORACLE_VERSION_MINOR) {
|
|
169
|
+
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`;
|
|
170
|
+
} else {
|
|
171
|
+
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`;
|
|
172
|
+
}
|
|
173
|
+
throw new Error(`Unknown oracle '${functionName}'.${versionHint}`);
|
|
122
174
|
} else if (error instanceof Error) {
|
|
123
175
|
throw new Error(`Execution error while processing function ${functionName} in state ${this.state.name}: ${error.message}`);
|
|
124
176
|
} else {
|
|
@@ -134,6 +186,60 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
134
186
|
this.currentJobId = this.jobCoordinator.beginJob();
|
|
135
187
|
return this.currentJobId;
|
|
136
188
|
}
|
|
189
|
+
resetLastCall() {
|
|
190
|
+
const notQueriedMessageCount = this.lastCallInfo.queried ? 0 : this.lastCallInfo.offchainEffects.filter((payload)=>payload[0]?.equals(OFFCHAIN_MESSAGE_IDENTIFIER)).length;
|
|
191
|
+
if (notQueriedMessageCount > 0) {
|
|
192
|
+
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.`);
|
|
193
|
+
}
|
|
194
|
+
this.lastCallInfo = emptyLastCallState();
|
|
195
|
+
}
|
|
196
|
+
recordOffchainEffect(data) {
|
|
197
|
+
this.lastCallInfo.offchainEffects.push(data);
|
|
198
|
+
}
|
|
199
|
+
setLastCallContext(txHash, anchorBlockTimestamp) {
|
|
200
|
+
this.lastCallInfo.txHash = txHash;
|
|
201
|
+
this.lastCallInfo.anchorBlockTimestamp = anchorBlockTimestamp;
|
|
202
|
+
}
|
|
203
|
+
async withTopLevelCallTracking(work) {
|
|
204
|
+
this.resetLastCall();
|
|
205
|
+
// Capture the anchor *before* `work` runs: private/public executor calls mine a new block as a
|
|
206
|
+
// side effect, and that block's timestamp should not be attributed to this call's anchor.
|
|
207
|
+
const anchorBlockTimestamp = (await this.stateMachine.node.getBlockData('latest')).header.globalVariables.timestamp;
|
|
208
|
+
const { result, txHash } = await work();
|
|
209
|
+
this.setLastCallContext(txHash ?? Fr.ZERO, anchorBlockTimestamp);
|
|
210
|
+
return result;
|
|
211
|
+
}
|
|
212
|
+
getLastCallOffchainEffects() {
|
|
213
|
+
this.lastCallInfo.queried = true;
|
|
214
|
+
const effects = this.lastCallInfo.offchainEffects;
|
|
215
|
+
if (effects.length > MAX_OFFCHAIN_EFFECTS_PER_TXE_QUERY) {
|
|
216
|
+
throw new Error(`${effects.length} offchain effects exceed max ${MAX_OFFCHAIN_EFFECTS_PER_TXE_QUERY}`);
|
|
217
|
+
}
|
|
218
|
+
if (effects.some((e)=>e.length > MAX_OFFCHAIN_EFFECT_LEN)) {
|
|
219
|
+
throw new Error(`Some offchain effect has length larger than max ${MAX_OFFCHAIN_EFFECT_LEN}`);
|
|
220
|
+
}
|
|
221
|
+
return {
|
|
222
|
+
effects
|
|
223
|
+
};
|
|
224
|
+
}
|
|
225
|
+
getLastCallContext() {
|
|
226
|
+
const { txHash, anchorBlockTimestamp } = this.lastCallInfo;
|
|
227
|
+
return {
|
|
228
|
+
txHash,
|
|
229
|
+
anchorBlockTimestamp
|
|
230
|
+
};
|
|
231
|
+
}
|
|
232
|
+
setTxeOracleVersion(major, minor) {
|
|
233
|
+
if (major !== TXE_ORACLE_VERSION_MAJOR) {
|
|
234
|
+
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.';
|
|
235
|
+
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})`);
|
|
236
|
+
}
|
|
237
|
+
this.txeOracleVersion = {
|
|
238
|
+
major,
|
|
239
|
+
minor
|
|
240
|
+
};
|
|
241
|
+
this.logger.debug(`Test compiled with test oracle version ${major}.${minor}`);
|
|
242
|
+
}
|
|
137
243
|
async enterTopLevelState() {
|
|
138
244
|
switch(this.state.name){
|
|
139
245
|
case 'PRIVATE':
|
|
@@ -162,20 +268,23 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
162
268
|
}
|
|
163
269
|
// Commit all staged stores from the job that was just completed, then begin a new job
|
|
164
270
|
await this.cycleJob();
|
|
165
|
-
this.oracleHandler = new TXEOracleTopLevelContext(this.stateMachine, this.contractStore, this.noteStore, this.keyStore, this.addressStore, this.accountStore, this.senderTaggingStore, this.recipientTaggingStore, this.senderAddressBookStore, this.capsuleStore, this.privateEventStore, this.nextBlockTimestamp, this.version, this.chainId, this.authwits, this.
|
|
271
|
+
this.oracleHandler = new TXEOracleTopLevelContext(this.stateMachine, this.contractStore, this.noteStore, this.keyStore, this.addressStore, this.accountStore, this.senderTaggingStore, this.recipientTaggingStore, this.senderAddressBookStore, this.capsuleStore, this.privateEventStore, this.nextBlockTimestamp, this.version, this.chainId, this.authwits, this.artifactResolver, this.rootPath, this.packageName);
|
|
166
272
|
this.state = {
|
|
167
273
|
name: 'TOP_LEVEL'
|
|
168
274
|
};
|
|
169
275
|
this.logger.debug(`Entered state ${this.state.name}`);
|
|
170
276
|
}
|
|
171
|
-
async enterPrivateState(
|
|
277
|
+
async enterPrivateState(contractAddressOpt, anchorBlockNumberOpt, gasSettings) {
|
|
278
|
+
const contractAddress = contractAddressOpt?.value ?? DEFAULT_ADDRESS;
|
|
279
|
+
const anchorBlockNumber = anchorBlockNumberOpt?.value;
|
|
172
280
|
this.exitTopLevelState();
|
|
281
|
+
this.resetLastCall();
|
|
173
282
|
// Private execution has two associated block numbers: the anchor block (i.e. the historical block that is used to
|
|
174
283
|
// build the proof), and the *next* block, i.e. the one we'll create once the execution ends, and which will contain
|
|
175
284
|
// a single transaction with the effects of what was done in the test.
|
|
176
|
-
const anchorBlock = await this.stateMachine.node.
|
|
285
|
+
const anchorBlock = await this.stateMachine.node.getBlock(anchorBlockNumber ?? 'latest').then((b)=>b?.header);
|
|
177
286
|
await new NoteService(this.noteStore, this.stateMachine.node, anchorBlock, this.currentJobId).syncNoteNullifiers(contractAddress, await this.keyStore.getAccounts());
|
|
178
|
-
const latestBlock = await this.stateMachine.node.
|
|
287
|
+
const latestBlock = await this.stateMachine.node.getBlock('latest').then((b)=>b?.header);
|
|
179
288
|
const nextBlockGlobalVariables = makeGlobalVariables(undefined, {
|
|
180
289
|
blockNumber: BlockNumber(latestBlock.globalVariables.blockNumber + 1),
|
|
181
290
|
timestamp: this.nextBlockTimestamp,
|
|
@@ -187,9 +296,9 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
187
296
|
const noteCache = new ExecutionNoteCache(protocolNullifier);
|
|
188
297
|
const taggingIndexCache = new ExecutionTaggingIndexCache();
|
|
189
298
|
const utilityExecutor = this.utilityExecutorForContractSync(anchorBlock);
|
|
190
|
-
this.oracleHandler = new
|
|
299
|
+
this.oracleHandler = new TXEPrivateExecutionOracle({
|
|
191
300
|
argsHash: Fr.ZERO,
|
|
192
|
-
txContext: new TxContext(this.chainId, this.version,
|
|
301
|
+
txContext: new TxContext(this.chainId, this.version, gasSettings),
|
|
193
302
|
callContext: new CallContext(AztecAddress.ZERO, contractAddress, FunctionSelector.empty(), false),
|
|
194
303
|
anchorBlockHeader: anchorBlock,
|
|
195
304
|
utilityExecutor,
|
|
@@ -209,10 +318,11 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
209
318
|
capsuleService: new CapsuleService(this.capsuleStore, await this.keyStore.getAccounts()),
|
|
210
319
|
privateEventStore: this.privateEventStore,
|
|
211
320
|
contractSyncService: this.stateMachine.contractSyncService,
|
|
212
|
-
l2TipsStore: this.stateMachine.
|
|
321
|
+
l2TipsStore: this.stateMachine.l2TipsProvider,
|
|
213
322
|
jobId: this.currentJobId,
|
|
214
323
|
scopes: await this.keyStore.getAccounts(),
|
|
215
|
-
messageContextService: this.stateMachine.messageContextService
|
|
324
|
+
messageContextService: this.stateMachine.messageContextService,
|
|
325
|
+
simulator: new WASMSimulator()
|
|
216
326
|
});
|
|
217
327
|
// We store the note and tagging index caches fed into the PrivateExecutionOracle (along with some other auxiliary
|
|
218
328
|
// data) in order to refer to it later, mimicking the way this object is used by the ContractFunctionSimulator. The
|
|
@@ -226,27 +336,36 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
226
336
|
taggingIndexCache
|
|
227
337
|
};
|
|
228
338
|
this.logger.debug(`Entered state ${this.state.name}`);
|
|
339
|
+
// Record the *resolved* anchor's timestamp — if the caller pinned the anchor to a past block
|
|
340
|
+
// via `anchorBlockNumber`, "latest" would be the wrong anchor for offchain-message semantics.
|
|
341
|
+
this.setLastCallContext(Fr.ZERO, anchorBlock.globalVariables.timestamp);
|
|
229
342
|
return this.oracleHandler.getPrivateContextInputs();
|
|
230
343
|
}
|
|
231
|
-
async enterPublicState(
|
|
344
|
+
async enterPublicState(contractAddressOpt) {
|
|
345
|
+
const contractAddress = contractAddressOpt?.value ?? DEFAULT_ADDRESS;
|
|
232
346
|
this.exitTopLevelState();
|
|
347
|
+
this.resetLastCall();
|
|
233
348
|
// The PublicContext will create a block with a single transaction in it, containing the effects of what was done in
|
|
234
349
|
// the test. The block therefore gets the *next* block number and timestamp.
|
|
235
|
-
const
|
|
350
|
+
const latestHeader = (await this.stateMachine.node.getBlockData('latest')).header;
|
|
236
351
|
const globalVariables = makeGlobalVariables(undefined, {
|
|
237
|
-
blockNumber: BlockNumber(
|
|
352
|
+
blockNumber: BlockNumber(latestHeader.globalVariables.blockNumber + 1),
|
|
238
353
|
timestamp: this.nextBlockTimestamp,
|
|
239
354
|
version: this.version,
|
|
240
355
|
chainId: this.chainId
|
|
241
356
|
});
|
|
242
|
-
this.oracleHandler = new TXEOraclePublicContext(contractAddress
|
|
357
|
+
this.oracleHandler = new TXEOraclePublicContext(contractAddress, await this.stateMachine.synchronizer.nativeWorldStateService.fork(), getSingleTxBlockRequestHash(globalVariables.blockNumber), globalVariables, this.contractStore);
|
|
243
358
|
this.state = {
|
|
244
359
|
name: 'PUBLIC'
|
|
245
360
|
};
|
|
246
361
|
this.logger.debug(`Entered state ${this.state.name}`);
|
|
362
|
+
// Public state is anchored at the latest block.
|
|
363
|
+
this.setLastCallContext(Fr.ZERO, latestHeader.globalVariables.timestamp);
|
|
247
364
|
}
|
|
248
|
-
async enterUtilityState(
|
|
365
|
+
async enterUtilityState(contractAddressOpt) {
|
|
366
|
+
const contractAddress = contractAddressOpt?.value ?? DEFAULT_ADDRESS;
|
|
249
367
|
this.exitTopLevelState();
|
|
368
|
+
this.resetLastCall();
|
|
250
369
|
const anchorBlockHeader = await this.stateMachine.anchorBlockStore.getBlockHeader();
|
|
251
370
|
// There is no automatic message discovery and contract-driven syncing process in inlined private or utility
|
|
252
371
|
// contexts, which means that known nullifiers are also not searched for, since it is during the tagging sync that
|
|
@@ -269,15 +388,19 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
269
388
|
capsuleService: new CapsuleService(this.capsuleStore, await this.keyStore.getAccounts()),
|
|
270
389
|
privateEventStore: this.privateEventStore,
|
|
271
390
|
messageContextService: this.stateMachine.messageContextService,
|
|
272
|
-
contractSyncService: this.contractSyncService,
|
|
273
|
-
l2TipsStore: this.stateMachine.
|
|
391
|
+
contractSyncService: this.stateMachine.contractSyncService,
|
|
392
|
+
l2TipsStore: this.stateMachine.l2TipsProvider,
|
|
274
393
|
jobId: this.currentJobId,
|
|
275
|
-
scopes: await this.keyStore.getAccounts()
|
|
394
|
+
scopes: await this.keyStore.getAccounts(),
|
|
395
|
+
simulator: new WASMSimulator(),
|
|
396
|
+
utilityExecutor: this.utilityExecutorForContractSync(anchorBlockHeader)
|
|
276
397
|
});
|
|
277
398
|
this.state = {
|
|
278
399
|
name: 'UTILITY'
|
|
279
400
|
};
|
|
280
401
|
this.logger.debug(`Entered state ${this.state.name}`);
|
|
402
|
+
// Utility state anchors at whatever the anchor block store is pointing to (tracked as latest).
|
|
403
|
+
this.setLastCallContext(Fr.ZERO, anchorBlockHeader.globalVariables.timestamp);
|
|
281
404
|
}
|
|
282
405
|
exitTopLevelState() {
|
|
283
406
|
if (this.state.name != 'TOP_LEVEL') {
|
|
@@ -336,6 +459,7 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
336
459
|
throw new Error(`Cannot run ${entryPointArtifact.functionType} function as utility`);
|
|
337
460
|
}
|
|
338
461
|
try {
|
|
462
|
+
const simulator = new WASMSimulator();
|
|
339
463
|
const oracle = new UtilityExecutionOracle({
|
|
340
464
|
contractAddress: call.to,
|
|
341
465
|
authWitnesses: [],
|
|
@@ -351,12 +475,14 @@ import { makeTxEffect } from './utils/tx_effect_creation.js';
|
|
|
351
475
|
capsuleService: new CapsuleService(this.capsuleStore, scopes),
|
|
352
476
|
privateEventStore: this.privateEventStore,
|
|
353
477
|
messageContextService: this.stateMachine.messageContextService,
|
|
354
|
-
contractSyncService: this.contractSyncService,
|
|
355
|
-
l2TipsStore: this.stateMachine.
|
|
478
|
+
contractSyncService: this.stateMachine.contractSyncService,
|
|
479
|
+
l2TipsStore: this.stateMachine.l2TipsProvider,
|
|
356
480
|
jobId: this.currentJobId,
|
|
357
|
-
scopes
|
|
481
|
+
scopes,
|
|
482
|
+
simulator,
|
|
483
|
+
utilityExecutor: this.utilityExecutorForContractSync(anchorBlock)
|
|
358
484
|
});
|
|
359
|
-
await
|
|
485
|
+
await simulator.executeUserCircuit(toACVMWitness(0, call.args), entryPointArtifact, new Oracle(oracle).toACIRCallback()).catch((err)=>{
|
|
360
486
|
err.message = resolveAssertionMessageFromError(err, entryPointArtifact);
|
|
361
487
|
throw new ExecutionError(err.message, {
|
|
362
488
|
contractAddress: call.to,
|
|
@@ -0,0 +1,191 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
+
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
3
|
+
import { type ContractArtifact } from '@aztec/stdlib/abi';
|
|
4
|
+
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
5
|
+
import { BlockHash } from '@aztec/stdlib/block';
|
|
6
|
+
import { type ContractInstanceWithAddress } from '@aztec/stdlib/contract';
|
|
7
|
+
import { z } from 'zod';
|
|
8
|
+
export type ForeignCallSingle = string;
|
|
9
|
+
export type ForeignCallArray = string[];
|
|
10
|
+
export type ForeignCallArgs = (ForeignCallSingle | ForeignCallArray | ContractArtifact | ContractInstanceWithAddress)[];
|
|
11
|
+
export type ForeignCallResult = {
|
|
12
|
+
values: (ForeignCallSingle | ForeignCallArray)[];
|
|
13
|
+
};
|
|
14
|
+
export declare function fromSingle(obj: ForeignCallSingle): Fr;
|
|
15
|
+
export declare function addressFromSingle(obj: ForeignCallSingle): AztecAddress;
|
|
16
|
+
export declare function blockHashFromSingle(obj: ForeignCallSingle): BlockHash;
|
|
17
|
+
export declare function fromArray(obj: ForeignCallArray): Fr[];
|
|
18
|
+
/**
|
|
19
|
+
* Converts an array of Noir unsigned integers to a single tightly-packed buffer.
|
|
20
|
+
* @param uintBitSize If it's an array of Noir u8's, put `8`, etc.
|
|
21
|
+
* @returns A buffer where each byte is correctly represented as a single byte in the buffer.
|
|
22
|
+
*/
|
|
23
|
+
export declare function fromUintArray(obj: ForeignCallArray, uintBitSize: number): Buffer;
|
|
24
|
+
/**
|
|
25
|
+
* Converts a Noir BoundedVec of unsigned integers into a Buffer. Note that BoundedVecs are structs, and therefore
|
|
26
|
+
* translated as two separate ForeignCallArray and ForeignCallSingle values (an array and a single field).
|
|
27
|
+
*
|
|
28
|
+
* @param storage The array with the BoundedVec's storage (i.e. BoundedVec::storage())
|
|
29
|
+
* @param length The length of the BoundedVec (i.e. BoundedVec::len())
|
|
30
|
+
* @param uintBitSize If it's an array of Noir u8's, put `8`, etc.
|
|
31
|
+
* @returns A buffer containing the unsigned integers tightly packed
|
|
32
|
+
*/
|
|
33
|
+
export declare function fromUintBoundedVec(storage: ForeignCallArray, length: ForeignCallSingle, uintBitSize: number): Buffer;
|
|
34
|
+
export declare function toSingle(value: AztecAddress | EthAddress | Fr | Buffer | boolean | number | bigint): ForeignCallSingle;
|
|
35
|
+
export declare function toArray(objs: Fr[]): ForeignCallArray;
|
|
36
|
+
export declare function toSingleOrArray(value: Fr | Fr[]): string | string[];
|
|
37
|
+
export declare function bufferToU8Array(buffer: Buffer): ForeignCallArray;
|
|
38
|
+
/**
|
|
39
|
+
* Converts a ForeignCallArray into a tuple which represents a nr BoundedVec.
|
|
40
|
+
* If the input array is shorter than the maxLen, it pads the result with zeros,
|
|
41
|
+
* so that nr can correctly coerce this result into a BoundedVec.
|
|
42
|
+
* @param bVecStorage - The array underlying the BoundedVec.
|
|
43
|
+
* @param maxLen - the max length of the BoundedVec.
|
|
44
|
+
* @returns a tuple representing a BoundedVec.
|
|
45
|
+
*/
|
|
46
|
+
export declare function arrayToBoundedVec(bVecStorage: ForeignCallArray, maxLen: number): [ForeignCallArray, ForeignCallSingle];
|
|
47
|
+
/**
|
|
48
|
+
* Converts an array of arrays representing Noir BoundedVec of nested arrays into its Noir serialized form.
|
|
49
|
+
* @param bVecStorage - The array underlying the BoundedVec.
|
|
50
|
+
* @param maxLen - The max length of the BoundedVec (max num of the nested arrays in the BoundedVec).
|
|
51
|
+
* @param nestedArrayLength - The length of the nested arrays (each nested array has to have the same length).
|
|
52
|
+
* @returns Serialized BoundedVec following Noir intrinsic serialization.
|
|
53
|
+
*/
|
|
54
|
+
export declare function arrayOfArraysToBoundedVecOfArrays(bVecStorage: ForeignCallArray[], maxLen: number, nestedArrayLength: number): [ForeignCallArray, ForeignCallSingle];
|
|
55
|
+
export declare function toForeignCallResult(obj: (ForeignCallSingle | ForeignCallArray)[]): {
|
|
56
|
+
values: (string | ForeignCallArray)[];
|
|
57
|
+
};
|
|
58
|
+
export declare const ForeignCallSingleSchema: z.ZodString;
|
|
59
|
+
export declare const ForeignCallArraySchema: z.ZodArray<z.ZodString>;
|
|
60
|
+
export declare const ForeignCallArgsSchema: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>, z.ZodObject<{
|
|
61
|
+
name: z.ZodString;
|
|
62
|
+
aztecVersion: z.ZodDefault<z.ZodString>;
|
|
63
|
+
functions: z.ZodArray<z.ZodIntersection<z.ZodObject<{
|
|
64
|
+
name: z.ZodString;
|
|
65
|
+
functionType: z.ZodEnum<typeof import("@aztec/stdlib/abi").FunctionType>;
|
|
66
|
+
isOnlySelf: z.ZodBoolean;
|
|
67
|
+
isStatic: z.ZodBoolean;
|
|
68
|
+
isInitializer: z.ZodBoolean;
|
|
69
|
+
parameters: z.ZodArray<z.ZodObject<{
|
|
70
|
+
name: z.ZodString;
|
|
71
|
+
type: z.ZodType<import("@aztec/stdlib/abi").AbiType, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiType, unknown>>;
|
|
72
|
+
visibility: z.ZodEnum<{
|
|
73
|
+
databus: "databus";
|
|
74
|
+
private: "private";
|
|
75
|
+
public: "public";
|
|
76
|
+
}>;
|
|
77
|
+
}, z.core.$strip>>;
|
|
78
|
+
returnTypes: z.ZodArray<z.ZodType<import("@aztec/stdlib/abi").AbiType, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiType, unknown>>>;
|
|
79
|
+
errorTypes: z.ZodRecord<z.ZodString, z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
|
|
80
|
+
error_kind: z.ZodLiteral<"string">;
|
|
81
|
+
string: z.ZodString;
|
|
82
|
+
}, z.core.$strip>, z.ZodObject<{
|
|
83
|
+
error_kind: z.ZodLiteral<"fmtstring">;
|
|
84
|
+
length: z.ZodNumber;
|
|
85
|
+
item_types: z.ZodArray<z.ZodType<import("@aztec/stdlib/abi").AbiType, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiType, unknown>>>;
|
|
86
|
+
}, z.core.$strip>, z.ZodIntersection<z.ZodObject<{
|
|
87
|
+
error_kind: z.ZodLiteral<"custom">;
|
|
88
|
+
}, z.core.$strip>, z.ZodType<import("@aztec/stdlib/abi").AbiType, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiType, unknown>>>]>>>;
|
|
89
|
+
}, z.core.$strip>, z.ZodObject<{
|
|
90
|
+
bytecode: import("@aztec/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
|
|
91
|
+
verificationKey: z.ZodOptional<z.ZodString>;
|
|
92
|
+
debugSymbols: z.ZodString;
|
|
93
|
+
debug: z.ZodOptional<z.ZodObject<{
|
|
94
|
+
debugSymbols: z.ZodObject<{
|
|
95
|
+
location_tree: z.ZodObject<{
|
|
96
|
+
locations: z.ZodArray<z.ZodObject<{
|
|
97
|
+
parent: z.ZodNullable<z.ZodNumber>;
|
|
98
|
+
value: z.ZodObject<{
|
|
99
|
+
span: z.ZodObject<{
|
|
100
|
+
start: z.ZodNumber;
|
|
101
|
+
end: z.ZodNumber;
|
|
102
|
+
}, z.core.$strip>;
|
|
103
|
+
file: z.ZodNumber;
|
|
104
|
+
}, z.core.$strip>;
|
|
105
|
+
}, z.core.$strip>>;
|
|
106
|
+
}, z.core.$strip>;
|
|
107
|
+
acir_locations: z.ZodRecord<z.ZodString, z.ZodNumber>;
|
|
108
|
+
brillig_locations: z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodNumber>>;
|
|
109
|
+
}, z.core.$strip>;
|
|
110
|
+
files: z.ZodRecord<z.ZodString, z.ZodObject<{
|
|
111
|
+
source: z.ZodString;
|
|
112
|
+
path: z.ZodString;
|
|
113
|
+
function_locations: z.ZodArray<z.ZodObject<{
|
|
114
|
+
start: z.ZodNumber;
|
|
115
|
+
name: z.ZodString;
|
|
116
|
+
}, z.core.$strip>>;
|
|
117
|
+
}, z.core.$strip>>;
|
|
118
|
+
}, z.core.$strip>>;
|
|
119
|
+
}, z.core.$strip>>>;
|
|
120
|
+
nonDispatchPublicFunctions: z.ZodArray<z.ZodObject<{
|
|
121
|
+
name: z.ZodString;
|
|
122
|
+
functionType: z.ZodEnum<typeof import("@aztec/stdlib/abi").FunctionType>;
|
|
123
|
+
isOnlySelf: z.ZodBoolean;
|
|
124
|
+
isStatic: z.ZodBoolean;
|
|
125
|
+
isInitializer: z.ZodBoolean;
|
|
126
|
+
parameters: z.ZodArray<z.ZodObject<{
|
|
127
|
+
name: z.ZodString;
|
|
128
|
+
type: z.ZodType<import("@aztec/stdlib/abi").AbiType, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiType, unknown>>;
|
|
129
|
+
visibility: z.ZodEnum<{
|
|
130
|
+
databus: "databus";
|
|
131
|
+
private: "private";
|
|
132
|
+
public: "public";
|
|
133
|
+
}>;
|
|
134
|
+
}, z.core.$strip>>;
|
|
135
|
+
returnTypes: z.ZodArray<z.ZodType<import("@aztec/stdlib/abi").AbiType, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiType, unknown>>>;
|
|
136
|
+
errorTypes: z.ZodRecord<z.ZodString, z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
|
|
137
|
+
error_kind: z.ZodLiteral<"string">;
|
|
138
|
+
string: z.ZodString;
|
|
139
|
+
}, z.core.$strip>, z.ZodObject<{
|
|
140
|
+
error_kind: z.ZodLiteral<"fmtstring">;
|
|
141
|
+
length: z.ZodNumber;
|
|
142
|
+
item_types: z.ZodArray<z.ZodType<import("@aztec/stdlib/abi").AbiType, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiType, unknown>>>;
|
|
143
|
+
}, z.core.$strip>, z.ZodIntersection<z.ZodObject<{
|
|
144
|
+
error_kind: z.ZodLiteral<"custom">;
|
|
145
|
+
}, z.core.$strip>, z.ZodType<import("@aztec/stdlib/abi").AbiType, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiType, unknown>>>]>>>;
|
|
146
|
+
}, z.core.$strip>>;
|
|
147
|
+
outputs: z.ZodObject<{
|
|
148
|
+
structs: z.ZodPipe<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodType<import("@aztec/stdlib/abi").AbiType, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiType, unknown>>>>, z.ZodTransform<Record<string, import("@aztec/stdlib/abi").AbiType[]>, Record<string, import("@aztec/stdlib/abi").AbiType[]>>>;
|
|
149
|
+
globals: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodType<import("@aztec/stdlib/abi").AbiValue, unknown, z.core.$ZodTypeInternals<import("@aztec/stdlib/abi").AbiValue, unknown>>>>;
|
|
150
|
+
}, z.core.$strip>;
|
|
151
|
+
storageLayout: z.ZodRecord<z.ZodString, z.ZodObject<{
|
|
152
|
+
slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
|
|
153
|
+
}, z.core.$strip>>;
|
|
154
|
+
fileMap: z.ZodRecord<z.ZodCoercedNumber<unknown>, z.ZodObject<{
|
|
155
|
+
source: z.ZodString;
|
|
156
|
+
path: z.ZodString;
|
|
157
|
+
function_locations: z.ZodArray<z.ZodObject<{
|
|
158
|
+
start: z.ZodNumber;
|
|
159
|
+
name: z.ZodString;
|
|
160
|
+
}, z.core.$strip>>;
|
|
161
|
+
}, z.core.$strip>>;
|
|
162
|
+
}, z.core.$strip>, z.ZodIntersection<z.ZodObject<{
|
|
163
|
+
version: z.ZodLiteral<2>;
|
|
164
|
+
salt: import("@aztec/foundation/schemas").ZodFor<Fr>;
|
|
165
|
+
deployer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
|
|
166
|
+
currentContractClassId: import("@aztec/foundation/schemas").ZodFor<Fr>;
|
|
167
|
+
originalContractClassId: import("@aztec/foundation/schemas").ZodFor<Fr>;
|
|
168
|
+
initializationHash: import("@aztec/foundation/schemas").ZodFor<Fr>;
|
|
169
|
+
immutablesHash: import("@aztec/foundation/schemas").ZodFor<Fr>;
|
|
170
|
+
publicKeys: z.ZodPipe<z.ZodObject<{
|
|
171
|
+
npkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
|
|
172
|
+
ivpkM: z.ZodType<import("@aztec/foundation/schemas").Point, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Point, string>>;
|
|
173
|
+
ovpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
|
|
174
|
+
tpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
|
|
175
|
+
mspkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
|
|
176
|
+
fbpkMHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
|
|
177
|
+
}, z.core.$strip>, z.ZodTransform<import("@aztec/stdlib/keys").PublicKeys, {
|
|
178
|
+
npkMHash: Fr;
|
|
179
|
+
ivpkM: import("@aztec/foundation/schemas").Point;
|
|
180
|
+
ovpkMHash: Fr;
|
|
181
|
+
tpkMHash: Fr;
|
|
182
|
+
mspkMHash: Fr;
|
|
183
|
+
fbpkMHash: Fr;
|
|
184
|
+
}>>;
|
|
185
|
+
}, z.core.$strip>, z.ZodObject<{
|
|
186
|
+
address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
|
|
187
|
+
}, z.core.$strip>>]>>;
|
|
188
|
+
export declare const ForeignCallResultSchema: z.ZodObject<{
|
|
189
|
+
values: z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]>>;
|
|
190
|
+
}, z.core.$strip>;
|
|
191
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW5jb2RpbmcuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlscy9lbmNvZGluZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFFaEUsT0FBTyxFQUFFLEtBQUssZ0JBQWdCLEVBQTBCLE1BQU0sbUJBQW1CLENBQUM7QUFDbEYsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQzNELE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNoRCxPQUFPLEVBQUUsS0FBSywyQkFBMkIsRUFBcUMsTUFBTSx3QkFBd0IsQ0FBQztBQUU3RyxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxNQUFNLENBQUM7QUFFdkMsTUFBTSxNQUFNLGdCQUFnQixHQUFHLE1BQU0sRUFBRSxDQUFDO0FBRXhDLE1BQU0sTUFBTSxlQUFlLEdBQUcsQ0FBQyxpQkFBaUIsR0FBRyxnQkFBZ0IsR0FBRyxnQkFBZ0IsR0FBRywyQkFBMkIsQ0FBQyxFQUFFLENBQUM7QUFFeEgsTUFBTSxNQUFNLGlCQUFpQixHQUFHO0lBQzlCLE1BQU0sRUFBRSxDQUFDLGlCQUFpQixHQUFHLGdCQUFnQixDQUFDLEVBQUUsQ0FBQztDQUNsRCxDQUFDO0FBRUYsd0JBQWdCLFVBQVUsQ0FBQyxHQUFHLEVBQUUsaUJBQWlCLE1BRWhEO0FBRUQsd0JBQWdCLGlCQUFpQixDQUFDLEdBQUcsRUFBRSxpQkFBaUIsZ0JBRXZEO0FBRUQsd0JBQWdCLG1CQUFtQixDQUFDLEdBQUcsRUFBRSxpQkFBaUIsYUFFekQ7QUFFRCx3QkFBZ0IsU0FBUyxDQUFDLEdBQUcsRUFBRSxnQkFBZ0IsUUFFOUM7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLGFBQWEsQ0FBQyxHQUFHLEVBQUUsZ0JBQWdCLEVBQUUsV0FBVyxFQUFFLE1BQU0sR0FBRyxNQUFNLENBTWhGO0FBRUQ7Ozs7Ozs7O0dBUUc7QUFDSCx3QkFBZ0Isa0JBQWtCLENBQUMsT0FBTyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sRUFBRSxpQkFBaUIsRUFBRSxXQUFXLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FPcEg7QUFJRCx3QkFBZ0IsUUFBUSxDQUN0QixLQUFLLEVBQUUsWUFBWSxHQUFHLFVBQVUsR0FBRyxFQUFFLEdBQUcsTUFBTSxHQUFHLE9BQU8sR0FBRyxNQUFNLEdBQUcsTUFBTSxHQUN6RSxpQkFBaUIsQ0FZbkI7QUFFRCx3QkFBZ0IsT0FBTyxDQUFDLElBQUksRUFBRSxFQUFFLEVBQUUsR0FBRyxnQkFBZ0IsQ0FFcEQ7QUFFRCx3QkFBZ0IsZUFBZSxDQUFDLEtBQUssRUFBRSxFQUFFLEdBQUcsRUFBRSxFQUFFLHFCQUUvQztBQUVELHdCQUFnQixlQUFlLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxnQkFBZ0IsQ0FFaEU7QUFFRDs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLGlCQUFpQixDQUMvQixXQUFXLEVBQUUsZ0JBQWdCLEVBQzdCLE1BQU0sRUFBRSxNQUFNLEdBQ2IsQ0FBQyxnQkFBZ0IsRUFBRSxpQkFBaUIsQ0FBQyxDQVl2QztBQUVEOzs7Ozs7R0FNRztBQUNILHdCQUFnQixpQ0FBaUMsQ0FDL0MsV0FBVyxFQUFFLGdCQUFnQixFQUFFLEVBQy9CLE1BQU0sRUFBRSxNQUFNLEVBQ2QsaUJBQWlCLEVBQUUsTUFBTSxHQUN4QixDQUFDLGdCQUFnQixFQUFFLGlCQUFpQixDQUFDLENBc0J2QztBQUVELHdCQUFnQixtQkFBbUIsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxpQkFBaUIsR0FBRyxnQkFBZ0IsQ0FBQyxFQUFFOztFQUVoRjtBQUVELGVBQU8sTUFBTSx1QkFBdUIsYUFBYSxDQUFDO0FBRWxELGVBQU8sTUFBTSxzQkFBc0IseUJBQXNCLENBQUM7QUFFMUQsZUFBTyxNQUFNLHFCQUFxQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztxQkFFakMsQ0FBQztBQUVGLGVBQU8sTUFBTSx1QkFBdUI7O2lCQUVsQyxDQUFDIn0=
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"encoding.d.ts","sourceRoot":"","sources":["../../src/utils/encoding.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,EAAE,KAAK,gBAAgB,EAA0B,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,KAAK,2BAA2B,EAAqC,MAAM,wBAAwB,CAAC;AAE7G,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAEvC,MAAM,MAAM,gBAAgB,GAAG,MAAM,EAAE,CAAC;AAExC,MAAM,MAAM,eAAe,GAAG,CAAC,iBAAiB,GAAG,gBAAgB,GAAG,gBAAgB,GAAG,2BAA2B,CAAC,EAAE,CAAC;AAExH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,EAAE,CAAC,iBAAiB,GAAG,gBAAgB,CAAC,EAAE,CAAC;CAClD,CAAC;AAEF,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,MAEhD;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,iBAAiB,gBAEvD;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,iBAAiB,aAEzD;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,gBAAgB,QAE9C;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAMhF;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAOpH;AAID,wBAAgB,QAAQ,CACtB,KAAK,EAAE,YAAY,GAAG,UAAU,GAAG,EAAE,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GACzE,iBAAiB,CAYnB;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAEpD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,qBAE/C;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAEhE;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,gBAAgB,EAC7B,MAAM,EAAE,MAAM,GACb,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAYvC;AAED;;;;;;GAMG;AACH,wBAAgB,iCAAiC,CAC/C,WAAW,EAAE,gBAAgB,EAAE,EAC/B,MAAM,EAAE,MAAM,EACd,iBAAiB,EAAE,MAAM,GACxB,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAsBvC;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,CAAC,iBAAiB,GAAG,gBAAgB,CAAC,EAAE;;EAEhF;AAED,eAAO,MAAM,uBAAuB,aAAa,CAAC;AAElD,eAAO,MAAM,sBAAsB,yBAAsB,CAAC;AAE1D,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAEjC,CAAC;AAEF,eAAO,MAAM,uBAAuB;;iBAElC,CAAC"}
|
|
@@ -106,8 +106,9 @@ export function bufferToU8Array(buffer) {
|
|
|
106
106
|
}
|
|
107
107
|
const flattenedStorage = bVecStorage.flat();
|
|
108
108
|
const numFieldsToPad = maxLen * nestedArrayLength - flattenedStorage.length;
|
|
109
|
-
|
|
110
|
-
//
|
|
109
|
+
// Pad with hex-encoded zeros so the result is uniformly `ForeignCallSingle` (string); raw Fr
|
|
110
|
+
// instances would JSON-serialize as `{ asBigInt: "0" }` and nargo would reject the response.
|
|
111
|
+
const flattenedStorageWithPadding = flattenedStorage.concat(toArray(Array(numFieldsToPad).fill(new Fr(0))));
|
|
111
112
|
const len = toSingle(new Fr(bVecStorage.length));
|
|
112
113
|
return [
|
|
113
114
|
flattenedStorageWithPadding,
|
|
@@ -1,4 +1,4 @@
|
|
|
1
1
|
export declare class ExpectedFailureError extends Error {
|
|
2
2
|
constructor(message: string);
|
|
3
3
|
}
|
|
4
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
4
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXhwZWN0ZWRfZmFpbHVyZV9lcnJvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3V0aWxzL2V4cGVjdGVkX2ZhaWx1cmVfZXJyb3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEscUJBQWEsb0JBQXFCLFNBQVEsS0FBSztJQUM3QyxZQUFZLE9BQU8sRUFBRSxNQUFNLEVBRTFCO0NBQ0YifQ==
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"expected_failure_error.d.ts","sourceRoot":"","sources":["../../src/utils/expected_failure_error.ts"],"names":[],"mappings":"AAAA,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAO,EAAE,MAAM,EAE1B;CACF"}
|
|
@@ -7,4 +7,4 @@ export declare class TXEAccountStore {
|
|
|
7
7
|
getAccount(key: AztecAddress): Promise<CompleteAddress>;
|
|
8
8
|
setAccount(key: AztecAddress, value: CompleteAddress): Promise<void>;
|
|
9
9
|
}
|
|
10
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
10
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX2FjY291bnRfc3RvcmUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlscy90eGVfYWNjb3VudF9zdG9yZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBaUIsTUFBTSxpQkFBaUIsQ0FBQztBQUN4RSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUNoRSxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFFekQscUJBQWEsZUFBZTs7SUFHMUIsWUFBWSxLQUFLLEVBQUUsaUJBQWlCLEVBRW5DO0lBRUssVUFBVSxDQUFDLEdBQUcsRUFBRSxZQUFZLDRCQU1qQztJQUVLLFVBQVUsQ0FBQyxHQUFHLEVBQUUsWUFBWSxFQUFFLEtBQUssRUFBRSxlQUFlLGlCQUV6RDtDQUNGIn0=
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"txe_account_store.d.ts","sourceRoot":"","sources":["../../src/utils/txe_account_store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAiB,MAAM,iBAAiB,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,qBAAa,eAAe;;IAG1B,YAAY,KAAK,EAAE,iBAAiB,EAEnC;IAEK,UAAU,CAAC,GAAG,EAAE,YAAY,4BAMjC;IAEK,UAAU,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,eAAe,iBAEzD;CACF"}
|