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