@aztec/txe 0.0.1-commit.86469d5 → 0.0.1-commit.88c5703d4
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 +120 -50
- package/dest/rpc_translator.d.ts +85 -83
- package/dest/rpc_translator.d.ts.map +1 -1
- package/dest/rpc_translator.js +268 -156
- 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 +7 -7
- package/dest/state_machine/dummy_p2p_client.d.ts +16 -12
- package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
- package/dest/state_machine/dummy_p2p_client.js +28 -16
- package/dest/state_machine/index.d.ts +7 -5
- package/dest/state_machine/index.d.ts.map +1 -1
- package/dest/state_machine/index.js +19 -10
- package/dest/state_machine/mock_epoch_cache.d.ts +3 -1
- package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
- package/dest/state_machine/mock_epoch_cache.js +4 -0
- package/dest/state_machine/synchronizer.d.ts +5 -5
- package/dest/state_machine/synchronizer.d.ts.map +1 -1
- package/dest/state_machine/synchronizer.js +3 -3
- package/dest/txe_session.d.ts +9 -6
- package/dest/txe_session.d.ts.map +1 -1
- package/dest/txe_session.js +85 -23
- 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/dest/utils/block_creation.d.ts +1 -1
- package/dest/utils/block_creation.d.ts.map +1 -1
- package/dest/utils/block_creation.js +3 -1
- 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 +123 -103
- package/src/rpc_translator.ts +290 -170
- package/src/state_machine/archiver.ts +7 -5
- package/src/state_machine/dummy_p2p_client.ts +40 -22
- package/src/state_machine/index.ts +29 -9
- package/src/state_machine/mock_epoch_cache.ts +5 -0
- package/src/state_machine/synchronizer.ts +4 -4
- package/src/txe_session.ts +88 -71
- package/src/util/txe_public_contract_data_source.ts +10 -36
- package/src/utils/block_creation.ts +3 -1
- package/dest/util/txe_contract_store.d.ts +0 -12
- package/dest/util/txe_contract_store.d.ts.map +0 -1
- package/dest/util/txe_contract_store.js +0 -22
- package/src/util/txe_contract_store.ts +0 -36
package/src/rpc_translator.ts
CHANGED
|
@@ -30,7 +30,7 @@ import {
|
|
|
30
30
|
toSingle,
|
|
31
31
|
} from './util/encoding.js';
|
|
32
32
|
|
|
33
|
-
const MAX_EVENT_LEN =
|
|
33
|
+
const MAX_EVENT_LEN = 10; // This is MAX_MESSAGE_CONTENT_LEN - PRIVATE_EVENT_MSG_PLAINTEXT_RESERVED_FIELDS_LEN
|
|
34
34
|
const MAX_PRIVATE_EVENTS_PER_TXE_QUERY = 5;
|
|
35
35
|
|
|
36
36
|
export class UnavailableOracleError extends Error {
|
|
@@ -104,13 +104,15 @@ export class RPCTranslator {
|
|
|
104
104
|
|
|
105
105
|
// TXE session state transition functions - these get handled by the state handler
|
|
106
106
|
|
|
107
|
-
|
|
107
|
+
// eslint-disable-next-line camelcase
|
|
108
|
+
async aztec_txe_setTopLevelTXEContext() {
|
|
108
109
|
await this.stateHandler.enterTopLevelState();
|
|
109
110
|
|
|
110
111
|
return toForeignCallResult([]);
|
|
111
112
|
}
|
|
112
113
|
|
|
113
|
-
|
|
114
|
+
// eslint-disable-next-line camelcase
|
|
115
|
+
async aztec_txe_setPrivateTXEContext(
|
|
114
116
|
foreignContractAddressIsSome: ForeignCallSingle,
|
|
115
117
|
foreignContractAddressValue: ForeignCallSingle,
|
|
116
118
|
foreignAnchorBlockNumberIsSome: ForeignCallSingle,
|
|
@@ -129,7 +131,8 @@ export class RPCTranslator {
|
|
|
129
131
|
return toForeignCallResult(privateContextInputs.toFields().map(toSingle));
|
|
130
132
|
}
|
|
131
133
|
|
|
132
|
-
|
|
134
|
+
// eslint-disable-next-line camelcase
|
|
135
|
+
async aztec_txe_setPublicTXEContext(
|
|
133
136
|
foreignContractAddressIsSome: ForeignCallSingle,
|
|
134
137
|
foreignContractAddressValue: ForeignCallSingle,
|
|
135
138
|
) {
|
|
@@ -142,7 +145,8 @@ export class RPCTranslator {
|
|
|
142
145
|
return toForeignCallResult([]);
|
|
143
146
|
}
|
|
144
147
|
|
|
145
|
-
|
|
148
|
+
// eslint-disable-next-line camelcase
|
|
149
|
+
async aztec_txe_setUtilityTXEContext(
|
|
146
150
|
foreignContractAddressIsSome: ForeignCallSingle,
|
|
147
151
|
foreignContractAddressValue: ForeignCallSingle,
|
|
148
152
|
) {
|
|
@@ -159,44 +163,54 @@ export class RPCTranslator {
|
|
|
159
163
|
|
|
160
164
|
// TXE-specific oracles
|
|
161
165
|
|
|
162
|
-
|
|
163
|
-
|
|
166
|
+
// eslint-disable-next-line camelcase
|
|
167
|
+
aztec_txe_getDefaultAddress() {
|
|
168
|
+
const defaultAddress = this.handlerAsTxe().getDefaultAddress();
|
|
164
169
|
|
|
165
170
|
return toForeignCallResult([toSingle(defaultAddress)]);
|
|
166
171
|
}
|
|
167
172
|
|
|
168
|
-
|
|
169
|
-
|
|
173
|
+
// eslint-disable-next-line camelcase
|
|
174
|
+
async aztec_txe_getNextBlockNumber() {
|
|
175
|
+
const nextBlockNumber = await this.handlerAsTxe().getNextBlockNumber();
|
|
170
176
|
|
|
171
177
|
return toForeignCallResult([toSingle(nextBlockNumber)]);
|
|
172
178
|
}
|
|
173
179
|
|
|
174
|
-
|
|
175
|
-
|
|
180
|
+
// eslint-disable-next-line camelcase
|
|
181
|
+
async aztec_txe_getNextBlockTimestamp() {
|
|
182
|
+
const nextBlockTimestamp = await this.handlerAsTxe().getNextBlockTimestamp();
|
|
176
183
|
|
|
177
184
|
return toForeignCallResult([toSingle(nextBlockTimestamp)]);
|
|
178
185
|
}
|
|
179
186
|
|
|
180
|
-
|
|
187
|
+
// eslint-disable-next-line camelcase
|
|
188
|
+
async aztec_txe_advanceBlocksBy(foreignBlocks: ForeignCallSingle) {
|
|
181
189
|
const blocks = fromSingle(foreignBlocks).toNumber();
|
|
182
190
|
|
|
183
|
-
await this.handlerAsTxe().
|
|
191
|
+
await this.handlerAsTxe().advanceBlocksBy(blocks);
|
|
184
192
|
|
|
185
193
|
return toForeignCallResult([]);
|
|
186
194
|
}
|
|
187
195
|
|
|
188
|
-
|
|
196
|
+
// eslint-disable-next-line camelcase
|
|
197
|
+
aztec_txe_advanceTimestampBy(foreignDuration: ForeignCallSingle) {
|
|
189
198
|
const duration = fromSingle(foreignDuration).toBigInt();
|
|
190
199
|
|
|
191
|
-
this.handlerAsTxe().
|
|
200
|
+
this.handlerAsTxe().advanceTimestampBy(duration);
|
|
192
201
|
|
|
193
202
|
return toForeignCallResult([]);
|
|
194
203
|
}
|
|
195
204
|
|
|
196
|
-
|
|
205
|
+
// eslint-disable-next-line camelcase
|
|
206
|
+
async aztec_txe_deploy(
|
|
207
|
+
artifact: ContractArtifact,
|
|
208
|
+
instance: ContractInstanceWithAddress,
|
|
209
|
+
foreignSecret: ForeignCallSingle,
|
|
210
|
+
) {
|
|
197
211
|
const secret = fromSingle(foreignSecret);
|
|
198
212
|
|
|
199
|
-
await this.handlerAsTxe().
|
|
213
|
+
await this.handlerAsTxe().deploy(artifact, instance, secret);
|
|
200
214
|
|
|
201
215
|
return toForeignCallResult([
|
|
202
216
|
toArray([
|
|
@@ -209,10 +223,11 @@ export class RPCTranslator {
|
|
|
209
223
|
]);
|
|
210
224
|
}
|
|
211
225
|
|
|
212
|
-
|
|
226
|
+
// eslint-disable-next-line camelcase
|
|
227
|
+
async aztec_txe_createAccount(foreignSecret: ForeignCallSingle) {
|
|
213
228
|
const secret = fromSingle(foreignSecret);
|
|
214
229
|
|
|
215
|
-
const completeAddress = await this.handlerAsTxe().
|
|
230
|
+
const completeAddress = await this.handlerAsTxe().createAccount(secret);
|
|
216
231
|
|
|
217
232
|
return toForeignCallResult([
|
|
218
233
|
toSingle(completeAddress.address),
|
|
@@ -220,14 +235,15 @@ export class RPCTranslator {
|
|
|
220
235
|
]);
|
|
221
236
|
}
|
|
222
237
|
|
|
223
|
-
|
|
238
|
+
// eslint-disable-next-line camelcase
|
|
239
|
+
async aztec_txe_addAccount(
|
|
224
240
|
artifact: ContractArtifact,
|
|
225
241
|
instance: ContractInstanceWithAddress,
|
|
226
242
|
foreignSecret: ForeignCallSingle,
|
|
227
243
|
) {
|
|
228
244
|
const secret = fromSingle(foreignSecret);
|
|
229
245
|
|
|
230
|
-
const completeAddress = await this.handlerAsTxe().
|
|
246
|
+
const completeAddress = await this.handlerAsTxe().addAccount(artifact, instance, secret);
|
|
231
247
|
|
|
232
248
|
return toForeignCallResult([
|
|
233
249
|
toSingle(completeAddress.address),
|
|
@@ -235,39 +251,44 @@ export class RPCTranslator {
|
|
|
235
251
|
]);
|
|
236
252
|
}
|
|
237
253
|
|
|
238
|
-
|
|
254
|
+
// eslint-disable-next-line camelcase
|
|
255
|
+
async aztec_txe_addAuthWitness(foreignAddress: ForeignCallSingle, foreignMessageHash: ForeignCallSingle) {
|
|
239
256
|
const address = addressFromSingle(foreignAddress);
|
|
240
257
|
const messageHash = fromSingle(foreignMessageHash);
|
|
241
258
|
|
|
242
|
-
await this.handlerAsTxe().
|
|
259
|
+
await this.handlerAsTxe().addAuthWitness(address, messageHash);
|
|
243
260
|
|
|
244
261
|
return toForeignCallResult([]);
|
|
245
262
|
}
|
|
246
263
|
|
|
247
264
|
// PXE oracles
|
|
248
265
|
|
|
249
|
-
|
|
266
|
+
// eslint-disable-next-line camelcase
|
|
267
|
+
aztec_utl_assertCompatibleOracleVersion(foreignVersion: ForeignCallSingle) {
|
|
250
268
|
const version = fromSingle(foreignVersion).toNumber();
|
|
251
269
|
|
|
252
|
-
this.handlerAsMisc().
|
|
270
|
+
this.handlerAsMisc().assertCompatibleOracleVersion(version);
|
|
253
271
|
|
|
254
272
|
return toForeignCallResult([]);
|
|
255
273
|
}
|
|
256
274
|
|
|
257
|
-
|
|
258
|
-
|
|
275
|
+
// eslint-disable-next-line camelcase
|
|
276
|
+
aztec_utl_getRandomField() {
|
|
277
|
+
const randomField = this.handlerAsMisc().getRandomField();
|
|
259
278
|
|
|
260
279
|
return toForeignCallResult([toSingle(randomField)]);
|
|
261
280
|
}
|
|
262
281
|
|
|
263
|
-
|
|
264
|
-
|
|
282
|
+
// eslint-disable-next-line camelcase
|
|
283
|
+
async aztec_txe_getLastBlockTimestamp() {
|
|
284
|
+
const timestamp = await this.handlerAsTxe().getLastBlockTimestamp();
|
|
265
285
|
|
|
266
286
|
return toForeignCallResult([toSingle(new Fr(timestamp))]);
|
|
267
287
|
}
|
|
268
288
|
|
|
269
|
-
|
|
270
|
-
|
|
289
|
+
// eslint-disable-next-line camelcase
|
|
290
|
+
async aztec_txe_getLastTxEffects() {
|
|
291
|
+
const { txHash, noteHashes, nullifiers } = await this.handlerAsTxe().getLastTxEffects();
|
|
271
292
|
|
|
272
293
|
return toForeignCallResult([
|
|
273
294
|
toSingle(txHash.hash),
|
|
@@ -276,7 +297,8 @@ export class RPCTranslator {
|
|
|
276
297
|
]);
|
|
277
298
|
}
|
|
278
299
|
|
|
279
|
-
|
|
300
|
+
// eslint-disable-next-line camelcase
|
|
301
|
+
async aztec_txe_getPrivateEvents(
|
|
280
302
|
foreignSelector: ForeignCallSingle,
|
|
281
303
|
foreignContractAddress: ForeignCallSingle,
|
|
282
304
|
foreignScope: ForeignCallSingle,
|
|
@@ -285,7 +307,14 @@ export class RPCTranslator {
|
|
|
285
307
|
const contractAddress = addressFromSingle(foreignContractAddress);
|
|
286
308
|
const scope = addressFromSingle(foreignScope);
|
|
287
309
|
|
|
288
|
-
|
|
310
|
+
// TODO(F-335): Avoid doing the following 2 calls here.
|
|
311
|
+
{
|
|
312
|
+
await this.handlerAsTxe().syncContractNonOracleMethod(contractAddress, scope, this.stateHandler.getCurrentJob());
|
|
313
|
+
// We cycle job to commit the stores after the contract sync.
|
|
314
|
+
await this.stateHandler.cycleJob();
|
|
315
|
+
}
|
|
316
|
+
|
|
317
|
+
const events = await this.handlerAsTxe().getPrivateEvents(selector, contractAddress, scope);
|
|
289
318
|
|
|
290
319
|
if (events.length > MAX_PRIVATE_EVENTS_PER_TXE_QUERY) {
|
|
291
320
|
throw new Error(`Array of length ${events.length} larger than maxLen ${MAX_PRIVATE_EVENTS_PER_TXE_QUERY}`);
|
|
@@ -309,26 +338,29 @@ export class RPCTranslator {
|
|
|
309
338
|
return toForeignCallResult([toArray(rawArrayStorage), toArray(eventLengths), toSingle(queryLength)]);
|
|
310
339
|
}
|
|
311
340
|
|
|
312
|
-
|
|
341
|
+
// eslint-disable-next-line camelcase
|
|
342
|
+
aztec_prv_storeInExecutionCache(foreignValues: ForeignCallArray, foreignHash: ForeignCallSingle) {
|
|
313
343
|
const values = fromArray(foreignValues);
|
|
314
344
|
const hash = fromSingle(foreignHash);
|
|
315
345
|
|
|
316
|
-
this.handlerAsPrivate().
|
|
346
|
+
this.handlerAsPrivate().storeInExecutionCache(values, hash);
|
|
317
347
|
|
|
318
348
|
return toForeignCallResult([]);
|
|
319
349
|
}
|
|
320
350
|
|
|
321
|
-
|
|
351
|
+
// eslint-disable-next-line camelcase
|
|
352
|
+
async aztec_prv_loadFromExecutionCache(foreignHash: ForeignCallSingle) {
|
|
322
353
|
const hash = fromSingle(foreignHash);
|
|
323
354
|
|
|
324
|
-
const returns = await this.handlerAsPrivate().
|
|
355
|
+
const returns = await this.handlerAsPrivate().loadFromExecutionCache(hash);
|
|
325
356
|
|
|
326
357
|
return toForeignCallResult([toArray(returns)]);
|
|
327
358
|
}
|
|
328
359
|
|
|
329
360
|
// When the argument is a slice, noir automatically adds a length field to oracle call.
|
|
330
361
|
// When the argument is an array, we add the field length manually to the signature.
|
|
331
|
-
|
|
362
|
+
// eslint-disable-next-line camelcase
|
|
363
|
+
async aztec_utl_log(
|
|
332
364
|
foreignLevel: ForeignCallSingle,
|
|
333
365
|
foreignMessage: ForeignCallArray,
|
|
334
366
|
_foreignLength: ForeignCallSingle,
|
|
@@ -340,12 +372,13 @@ export class RPCTranslator {
|
|
|
340
372
|
.join('');
|
|
341
373
|
const fields = fromArray(foreignFields);
|
|
342
374
|
|
|
343
|
-
this.handlerAsMisc().
|
|
375
|
+
await this.handlerAsMisc().log(level, message, fields);
|
|
344
376
|
|
|
345
377
|
return toForeignCallResult([]);
|
|
346
378
|
}
|
|
347
379
|
|
|
348
|
-
|
|
380
|
+
// eslint-disable-next-line camelcase
|
|
381
|
+
async aztec_utl_storageRead(
|
|
349
382
|
foreignBlockHash: ForeignCallSingle,
|
|
350
383
|
foreignContractAddress: ForeignCallSingle,
|
|
351
384
|
foreignStartStorageSlot: ForeignCallSingle,
|
|
@@ -356,7 +389,7 @@ export class RPCTranslator {
|
|
|
356
389
|
const startStorageSlot = fromSingle(foreignStartStorageSlot);
|
|
357
390
|
const numberOfElements = fromSingle(foreignNumberOfElements).toNumber();
|
|
358
391
|
|
|
359
|
-
const values = await this.handlerAsUtility().
|
|
392
|
+
const values = await this.handlerAsUtility().storageRead(
|
|
360
393
|
blockHash,
|
|
361
394
|
contractAddress,
|
|
362
395
|
startStorageSlot,
|
|
@@ -366,11 +399,12 @@ export class RPCTranslator {
|
|
|
366
399
|
return toForeignCallResult([toArray(values)]);
|
|
367
400
|
}
|
|
368
401
|
|
|
369
|
-
|
|
402
|
+
// eslint-disable-next-line camelcase
|
|
403
|
+
async aztec_utl_getPublicDataWitness(foreignBlockHash: ForeignCallSingle, foreignLeafSlot: ForeignCallSingle) {
|
|
370
404
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
371
405
|
const leafSlot = fromSingle(foreignLeafSlot);
|
|
372
406
|
|
|
373
|
-
const witness = await this.handlerAsUtility().
|
|
407
|
+
const witness = await this.handlerAsUtility().getPublicDataWitness(blockHash, leafSlot);
|
|
374
408
|
|
|
375
409
|
if (!witness) {
|
|
376
410
|
throw new Error(`Public data witness not found for slot ${leafSlot} at block ${blockHash.toString()}.`);
|
|
@@ -378,7 +412,8 @@ export class RPCTranslator {
|
|
|
378
412
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
379
413
|
}
|
|
380
414
|
|
|
381
|
-
|
|
415
|
+
// eslint-disable-next-line camelcase
|
|
416
|
+
async aztec_utl_getNotes(
|
|
382
417
|
foreignOwnerIsSome: ForeignCallSingle,
|
|
383
418
|
foreignOwnerValue: ForeignCallSingle,
|
|
384
419
|
foreignStorageSlot: ForeignCallSingle,
|
|
@@ -419,7 +454,7 @@ export class RPCTranslator {
|
|
|
419
454
|
const maxNotes = fromSingle(foreignMaxNotes).toNumber();
|
|
420
455
|
const packedHintedNoteLength = fromSingle(foreignPackedHintedNoteLength).toNumber();
|
|
421
456
|
|
|
422
|
-
const noteDatas = await this.handlerAsUtility().
|
|
457
|
+
const noteDatas = await this.handlerAsUtility().getNotes(
|
|
423
458
|
owner,
|
|
424
459
|
storageSlot,
|
|
425
460
|
numSelects,
|
|
@@ -460,7 +495,8 @@ export class RPCTranslator {
|
|
|
460
495
|
);
|
|
461
496
|
}
|
|
462
497
|
|
|
463
|
-
|
|
498
|
+
// eslint-disable-next-line camelcase
|
|
499
|
+
aztec_prv_notifyCreatedNote(
|
|
464
500
|
foreignOwner: ForeignCallSingle,
|
|
465
501
|
foreignStorageSlot: ForeignCallSingle,
|
|
466
502
|
foreignRandomness: ForeignCallSingle,
|
|
@@ -477,20 +513,13 @@ export class RPCTranslator {
|
|
|
477
513
|
const noteHash = fromSingle(foreignNoteHash);
|
|
478
514
|
const counter = fromSingle(foreignCounter).toNumber();
|
|
479
515
|
|
|
480
|
-
this.handlerAsPrivate().
|
|
481
|
-
owner,
|
|
482
|
-
storageSlot,
|
|
483
|
-
randomness,
|
|
484
|
-
noteTypeId,
|
|
485
|
-
note,
|
|
486
|
-
noteHash,
|
|
487
|
-
counter,
|
|
488
|
-
);
|
|
516
|
+
this.handlerAsPrivate().notifyCreatedNote(owner, storageSlot, randomness, noteTypeId, note, noteHash, counter);
|
|
489
517
|
|
|
490
518
|
return toForeignCallResult([]);
|
|
491
519
|
}
|
|
492
520
|
|
|
493
|
-
|
|
521
|
+
// eslint-disable-next-line camelcase
|
|
522
|
+
async aztec_prv_notifyNullifiedNote(
|
|
494
523
|
foreignInnerNullifier: ForeignCallSingle,
|
|
495
524
|
foreignNoteHash: ForeignCallSingle,
|
|
496
525
|
foreignCounter: ForeignCallSingle,
|
|
@@ -499,40 +528,47 @@ export class RPCTranslator {
|
|
|
499
528
|
const noteHash = fromSingle(foreignNoteHash);
|
|
500
529
|
const counter = fromSingle(foreignCounter).toNumber();
|
|
501
530
|
|
|
502
|
-
await this.handlerAsPrivate().
|
|
531
|
+
await this.handlerAsPrivate().notifyNullifiedNote(innerNullifier, noteHash, counter);
|
|
503
532
|
|
|
504
533
|
return toForeignCallResult([]);
|
|
505
534
|
}
|
|
506
535
|
|
|
507
|
-
|
|
536
|
+
// eslint-disable-next-line camelcase
|
|
537
|
+
async aztec_prv_notifyCreatedNullifier(foreignInnerNullifier: ForeignCallSingle) {
|
|
508
538
|
const innerNullifier = fromSingle(foreignInnerNullifier);
|
|
509
539
|
|
|
510
|
-
await this.handlerAsPrivate().
|
|
540
|
+
await this.handlerAsPrivate().notifyCreatedNullifier(innerNullifier);
|
|
511
541
|
|
|
512
542
|
return toForeignCallResult([]);
|
|
513
543
|
}
|
|
514
544
|
|
|
515
|
-
|
|
545
|
+
// eslint-disable-next-line camelcase
|
|
546
|
+
async aztec_prv_isNullifierPending(
|
|
547
|
+
foreignInnerNullifier: ForeignCallSingle,
|
|
548
|
+
foreignContractAddress: ForeignCallSingle,
|
|
549
|
+
) {
|
|
516
550
|
const innerNullifier = fromSingle(foreignInnerNullifier);
|
|
517
551
|
const contractAddress = addressFromSingle(foreignContractAddress);
|
|
518
552
|
|
|
519
|
-
const isPending = await this.handlerAsPrivate().
|
|
553
|
+
const isPending = await this.handlerAsPrivate().isNullifierPending(innerNullifier, contractAddress);
|
|
520
554
|
|
|
521
555
|
return toForeignCallResult([toSingle(new Fr(isPending))]);
|
|
522
556
|
}
|
|
523
557
|
|
|
524
|
-
|
|
558
|
+
// eslint-disable-next-line camelcase
|
|
559
|
+
async aztec_utl_checkNullifierExists(foreignInnerNullifier: ForeignCallSingle) {
|
|
525
560
|
const innerNullifier = fromSingle(foreignInnerNullifier);
|
|
526
561
|
|
|
527
|
-
const exists = await this.handlerAsUtility().
|
|
562
|
+
const exists = await this.handlerAsUtility().checkNullifierExists(innerNullifier);
|
|
528
563
|
|
|
529
564
|
return toForeignCallResult([toSingle(new Fr(exists))]);
|
|
530
565
|
}
|
|
531
566
|
|
|
532
|
-
|
|
567
|
+
// eslint-disable-next-line camelcase
|
|
568
|
+
async aztec_utl_getContractInstance(foreignAddress: ForeignCallSingle) {
|
|
533
569
|
const address = addressFromSingle(foreignAddress);
|
|
534
570
|
|
|
535
|
-
const instance = await this.handlerAsUtility().
|
|
571
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
536
572
|
|
|
537
573
|
return toForeignCallResult(
|
|
538
574
|
[
|
|
@@ -545,23 +581,37 @@ export class RPCTranslator {
|
|
|
545
581
|
);
|
|
546
582
|
}
|
|
547
583
|
|
|
548
|
-
|
|
584
|
+
// eslint-disable-next-line camelcase
|
|
585
|
+
async aztec_utl_tryGetPublicKeysAndPartialAddress(foreignAddress: ForeignCallSingle) {
|
|
549
586
|
const address = addressFromSingle(foreignAddress);
|
|
550
587
|
|
|
551
|
-
const
|
|
588
|
+
const result = await this.handlerAsUtility().tryGetPublicKeysAndPartialAddress(address);
|
|
552
589
|
|
|
553
|
-
return
|
|
590
|
+
// We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
|
|
591
|
+
// with two fields: `some` (a boolean) and `value` (a field array in this case).
|
|
592
|
+
if (result === undefined) {
|
|
593
|
+
// No data was found so we set `some` to 0 and pad `value` with zeros get the correct return size.
|
|
594
|
+
return toForeignCallResult([toSingle(new Fr(0)), toArray(Array(13).fill(new Fr(0)))]);
|
|
595
|
+
} else {
|
|
596
|
+
// Data was found so we set `some` to 1 and return it along with `value`.
|
|
597
|
+
return toForeignCallResult([
|
|
598
|
+
toSingle(new Fr(1)),
|
|
599
|
+
toArray([...result.publicKeys.toFields(), result.partialAddress]),
|
|
600
|
+
]);
|
|
601
|
+
}
|
|
554
602
|
}
|
|
555
603
|
|
|
556
|
-
|
|
604
|
+
// eslint-disable-next-line camelcase
|
|
605
|
+
async aztec_utl_getKeyValidationRequest(foreignPkMHash: ForeignCallSingle) {
|
|
557
606
|
const pkMHash = fromSingle(foreignPkMHash);
|
|
558
607
|
|
|
559
|
-
const keyValidationRequest = await this.handlerAsUtility().
|
|
608
|
+
const keyValidationRequest = await this.handlerAsUtility().getKeyValidationRequest(pkMHash);
|
|
560
609
|
|
|
561
610
|
return toForeignCallResult(keyValidationRequest.toFields().map(toSingle));
|
|
562
611
|
}
|
|
563
612
|
|
|
564
|
-
|
|
613
|
+
// eslint-disable-next-line camelcase
|
|
614
|
+
aztec_prv_callPrivateFunction(
|
|
565
615
|
_foreignTargetContractAddress: ForeignCallSingle,
|
|
566
616
|
_foreignFunctionSelector: ForeignCallSingle,
|
|
567
617
|
_foreignArgsHash: ForeignCallSingle,
|
|
@@ -573,11 +623,15 @@ export class RPCTranslator {
|
|
|
573
623
|
);
|
|
574
624
|
}
|
|
575
625
|
|
|
576
|
-
|
|
626
|
+
// eslint-disable-next-line camelcase
|
|
627
|
+
async aztec_utl_getNullifierMembershipWitness(
|
|
628
|
+
foreignBlockHash: ForeignCallSingle,
|
|
629
|
+
foreignNullifier: ForeignCallSingle,
|
|
630
|
+
) {
|
|
577
631
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
578
632
|
const nullifier = fromSingle(foreignNullifier);
|
|
579
633
|
|
|
580
|
-
const witness = await this.handlerAsUtility().
|
|
634
|
+
const witness = await this.handlerAsUtility().getNullifierMembershipWitness(blockHash, nullifier);
|
|
581
635
|
|
|
582
636
|
if (!witness) {
|
|
583
637
|
throw new Error(`Nullifier membership witness not found at block ${blockHash}.`);
|
|
@@ -585,10 +639,11 @@ export class RPCTranslator {
|
|
|
585
639
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
586
640
|
}
|
|
587
641
|
|
|
588
|
-
|
|
642
|
+
// eslint-disable-next-line camelcase
|
|
643
|
+
async aztec_utl_getAuthWitness(foreignMessageHash: ForeignCallSingle) {
|
|
589
644
|
const messageHash = fromSingle(foreignMessageHash);
|
|
590
645
|
|
|
591
|
-
const authWitness = await this.handlerAsUtility().
|
|
646
|
+
const authWitness = await this.handlerAsUtility().getAuthWitness(messageHash);
|
|
592
647
|
|
|
593
648
|
if (!authWitness) {
|
|
594
649
|
throw new Error(`Auth witness not found for message hash ${messageHash}.`);
|
|
@@ -596,44 +651,35 @@ export class RPCTranslator {
|
|
|
596
651
|
return toForeignCallResult([toArray(authWitness)]);
|
|
597
652
|
}
|
|
598
653
|
|
|
599
|
-
|
|
600
|
-
|
|
601
|
-
_foreignCalldataHash: ForeignCallSingle,
|
|
602
|
-
_foreignSideEffectCounter: ForeignCallSingle,
|
|
603
|
-
_foreignIsStaticCall: ForeignCallSingle,
|
|
604
|
-
) {
|
|
605
|
-
throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
|
|
606
|
-
}
|
|
607
|
-
|
|
608
|
-
public privateNotifySetPublicTeardownFunctionCall(
|
|
609
|
-
_foreignTargetContractAddress: ForeignCallSingle,
|
|
610
|
-
_foreignCalldataHash: ForeignCallSingle,
|
|
611
|
-
_foreignSideEffectCounter: ForeignCallSingle,
|
|
612
|
-
_foreignIsStaticCall: ForeignCallSingle,
|
|
613
|
-
) {
|
|
654
|
+
// eslint-disable-next-line camelcase
|
|
655
|
+
public aztec_prv_validatePublicCalldata(_foreignCalldataHash: ForeignCallSingle) {
|
|
614
656
|
throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
|
|
615
657
|
}
|
|
616
658
|
|
|
617
|
-
|
|
659
|
+
// eslint-disable-next-line camelcase
|
|
660
|
+
public aztec_prv_notifyRevertiblePhaseStart(_foreignMinRevertibleSideEffectCounter: ForeignCallSingle) {
|
|
618
661
|
throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
|
|
619
662
|
}
|
|
620
663
|
|
|
621
|
-
|
|
664
|
+
// eslint-disable-next-line camelcase
|
|
665
|
+
public async aztec_prv_inRevertiblePhase(foreignSideEffectCounter: ForeignCallSingle) {
|
|
622
666
|
const sideEffectCounter = fromSingle(foreignSideEffectCounter).toNumber();
|
|
623
|
-
const isRevertible = await this.handlerAsPrivate().
|
|
667
|
+
const isRevertible = await this.handlerAsPrivate().inRevertiblePhase(sideEffectCounter);
|
|
624
668
|
return toForeignCallResult([toSingle(new Fr(isRevertible))]);
|
|
625
669
|
}
|
|
626
670
|
|
|
627
|
-
|
|
628
|
-
|
|
671
|
+
// eslint-disable-next-line camelcase
|
|
672
|
+
aztec_utl_getUtilityContext() {
|
|
673
|
+
const context = this.handlerAsUtility().getUtilityContext();
|
|
629
674
|
|
|
630
675
|
return toForeignCallResult(context.toNoirRepresentation());
|
|
631
676
|
}
|
|
632
677
|
|
|
633
|
-
|
|
678
|
+
// eslint-disable-next-line camelcase
|
|
679
|
+
async aztec_utl_getBlockHeader(foreignBlockNumber: ForeignCallSingle) {
|
|
634
680
|
const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
|
|
635
681
|
|
|
636
|
-
const header = await this.handlerAsUtility().
|
|
682
|
+
const header = await this.handlerAsUtility().getBlockHeader(blockNumber);
|
|
637
683
|
|
|
638
684
|
if (!header) {
|
|
639
685
|
throw new Error(`Block header not found for block ${blockNumber}.`);
|
|
@@ -641,14 +687,15 @@ export class RPCTranslator {
|
|
|
641
687
|
return toForeignCallResult(header.toFields().map(toSingle));
|
|
642
688
|
}
|
|
643
689
|
|
|
644
|
-
|
|
690
|
+
// eslint-disable-next-line camelcase
|
|
691
|
+
async aztec_utl_getNoteHashMembershipWitness(
|
|
645
692
|
foreignAnchorBlockHash: ForeignCallSingle,
|
|
646
693
|
foreignNoteHash: ForeignCallSingle,
|
|
647
694
|
) {
|
|
648
695
|
const blockHash = new BlockHash(fromSingle(foreignAnchorBlockHash));
|
|
649
696
|
const noteHash = fromSingle(foreignNoteHash);
|
|
650
697
|
|
|
651
|
-
const witness = await this.handlerAsUtility().
|
|
698
|
+
const witness = await this.handlerAsUtility().getNoteHashMembershipWitness(blockHash, noteHash);
|
|
652
699
|
|
|
653
700
|
if (!witness) {
|
|
654
701
|
throw new Error(`Note hash ${noteHash} not found in the note hash tree at block ${blockHash.toString()}.`);
|
|
@@ -656,14 +703,15 @@ export class RPCTranslator {
|
|
|
656
703
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
657
704
|
}
|
|
658
705
|
|
|
659
|
-
|
|
706
|
+
// eslint-disable-next-line camelcase
|
|
707
|
+
async aztec_utl_getBlockHashMembershipWitness(
|
|
660
708
|
foreignAnchorBlockHash: ForeignCallSingle,
|
|
661
709
|
foreignBlockHash: ForeignCallSingle,
|
|
662
710
|
) {
|
|
663
711
|
const anchorBlockHash = new BlockHash(fromSingle(foreignAnchorBlockHash));
|
|
664
712
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
665
713
|
|
|
666
|
-
const witness = await this.handlerAsUtility().
|
|
714
|
+
const witness = await this.handlerAsUtility().getBlockHashMembershipWitness(anchorBlockHash, blockHash);
|
|
667
715
|
|
|
668
716
|
if (!witness) {
|
|
669
717
|
throw new Error(
|
|
@@ -673,14 +721,15 @@ export class RPCTranslator {
|
|
|
673
721
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
674
722
|
}
|
|
675
723
|
|
|
676
|
-
|
|
724
|
+
// eslint-disable-next-line camelcase
|
|
725
|
+
async aztec_utl_getLowNullifierMembershipWitness(
|
|
677
726
|
foreignBlockHash: ForeignCallSingle,
|
|
678
727
|
foreignNullifier: ForeignCallSingle,
|
|
679
728
|
) {
|
|
680
729
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
681
730
|
const nullifier = fromSingle(foreignNullifier);
|
|
682
731
|
|
|
683
|
-
const witness = await this.handlerAsUtility().
|
|
732
|
+
const witness = await this.handlerAsUtility().getLowNullifierMembershipWitness(blockHash, nullifier);
|
|
684
733
|
|
|
685
734
|
if (!witness) {
|
|
686
735
|
throw new Error(`Low nullifier witness not found for nullifier ${nullifier} at block ${blockHash}.`);
|
|
@@ -688,33 +737,42 @@ export class RPCTranslator {
|
|
|
688
737
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
689
738
|
}
|
|
690
739
|
|
|
691
|
-
|
|
740
|
+
// eslint-disable-next-line camelcase
|
|
741
|
+
async aztec_utl_fetchTaggedLogs(foreignPendingTaggedLogArrayBaseSlot: ForeignCallSingle) {
|
|
692
742
|
const pendingTaggedLogArrayBaseSlot = fromSingle(foreignPendingTaggedLogArrayBaseSlot);
|
|
693
743
|
|
|
694
|
-
await this.handlerAsUtility().
|
|
744
|
+
await this.handlerAsUtility().fetchTaggedLogs(pendingTaggedLogArrayBaseSlot);
|
|
695
745
|
|
|
696
746
|
return toForeignCallResult([]);
|
|
697
747
|
}
|
|
698
748
|
|
|
699
|
-
|
|
749
|
+
// eslint-disable-next-line camelcase
|
|
750
|
+
public async aztec_utl_validateAndStoreEnqueuedNotesAndEvents(
|
|
700
751
|
foreignContractAddress: ForeignCallSingle,
|
|
701
752
|
foreignNoteValidationRequestsArrayBaseSlot: ForeignCallSingle,
|
|
702
753
|
foreignEventValidationRequestsArrayBaseSlot: ForeignCallSingle,
|
|
754
|
+
foreignMaxNotePackedLen: ForeignCallSingle,
|
|
755
|
+
foreignMaxEventSerializedLen: ForeignCallSingle,
|
|
703
756
|
) {
|
|
704
757
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
705
758
|
const noteValidationRequestsArrayBaseSlot = fromSingle(foreignNoteValidationRequestsArrayBaseSlot);
|
|
706
759
|
const eventValidationRequestsArrayBaseSlot = fromSingle(foreignEventValidationRequestsArrayBaseSlot);
|
|
760
|
+
const maxNotePackedLen = fromSingle(foreignMaxNotePackedLen).toNumber();
|
|
761
|
+
const maxEventSerializedLen = fromSingle(foreignMaxEventSerializedLen).toNumber();
|
|
707
762
|
|
|
708
|
-
await this.handlerAsUtility().
|
|
763
|
+
await this.handlerAsUtility().validateAndStoreEnqueuedNotesAndEvents(
|
|
709
764
|
contractAddress,
|
|
710
765
|
noteValidationRequestsArrayBaseSlot,
|
|
711
766
|
eventValidationRequestsArrayBaseSlot,
|
|
767
|
+
maxNotePackedLen,
|
|
768
|
+
maxEventSerializedLen,
|
|
712
769
|
);
|
|
713
770
|
|
|
714
771
|
return toForeignCallResult([]);
|
|
715
772
|
}
|
|
716
773
|
|
|
717
|
-
|
|
774
|
+
// eslint-disable-next-line camelcase
|
|
775
|
+
public async aztec_utl_bulkRetrieveLogs(
|
|
718
776
|
foreignContractAddress: ForeignCallSingle,
|
|
719
777
|
foreignLogRetrievalRequestsArrayBaseSlot: ForeignCallSingle,
|
|
720
778
|
foreignLogRetrievalResponsesArrayBaseSlot: ForeignCallSingle,
|
|
@@ -723,7 +781,7 @@ export class RPCTranslator {
|
|
|
723
781
|
const logRetrievalRequestsArrayBaseSlot = fromSingle(foreignLogRetrievalRequestsArrayBaseSlot);
|
|
724
782
|
const logRetrievalResponsesArrayBaseSlot = fromSingle(foreignLogRetrievalResponsesArrayBaseSlot);
|
|
725
783
|
|
|
726
|
-
await this.handlerAsUtility().
|
|
784
|
+
await this.handlerAsUtility().bulkRetrieveLogs(
|
|
727
785
|
contractAddress,
|
|
728
786
|
logRetrievalRequestsArrayBaseSlot,
|
|
729
787
|
logRetrievalResponsesArrayBaseSlot,
|
|
@@ -732,7 +790,27 @@ export class RPCTranslator {
|
|
|
732
790
|
return toForeignCallResult([]);
|
|
733
791
|
}
|
|
734
792
|
|
|
735
|
-
|
|
793
|
+
// eslint-disable-next-line camelcase
|
|
794
|
+
public async aztec_utl_utilityResolveMessageContexts(
|
|
795
|
+
foreignContractAddress: ForeignCallSingle,
|
|
796
|
+
foreignMessageContextRequestsArrayBaseSlot: ForeignCallSingle,
|
|
797
|
+
foreignMessageContextResponsesArrayBaseSlot: ForeignCallSingle,
|
|
798
|
+
) {
|
|
799
|
+
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
800
|
+
const messageContextRequestsArrayBaseSlot = fromSingle(foreignMessageContextRequestsArrayBaseSlot);
|
|
801
|
+
const messageContextResponsesArrayBaseSlot = fromSingle(foreignMessageContextResponsesArrayBaseSlot);
|
|
802
|
+
|
|
803
|
+
await this.handlerAsUtility().utilityResolveMessageContexts(
|
|
804
|
+
contractAddress,
|
|
805
|
+
messageContextRequestsArrayBaseSlot,
|
|
806
|
+
messageContextResponsesArrayBaseSlot,
|
|
807
|
+
);
|
|
808
|
+
|
|
809
|
+
return toForeignCallResult([]);
|
|
810
|
+
}
|
|
811
|
+
|
|
812
|
+
// eslint-disable-next-line camelcase
|
|
813
|
+
async aztec_utl_storeCapsule(
|
|
736
814
|
foreignContractAddress: ForeignCallSingle,
|
|
737
815
|
foreignSlot: ForeignCallSingle,
|
|
738
816
|
foreignCapsule: ForeignCallArray,
|
|
@@ -741,12 +819,13 @@ export class RPCTranslator {
|
|
|
741
819
|
const slot = fromSingle(foreignSlot);
|
|
742
820
|
const capsule = fromArray(foreignCapsule);
|
|
743
821
|
|
|
744
|
-
await this.handlerAsUtility().
|
|
822
|
+
await this.handlerAsUtility().storeCapsule(contractAddress, slot, capsule);
|
|
745
823
|
|
|
746
824
|
return toForeignCallResult([]);
|
|
747
825
|
}
|
|
748
826
|
|
|
749
|
-
|
|
827
|
+
// eslint-disable-next-line camelcase
|
|
828
|
+
async aztec_utl_loadCapsule(
|
|
750
829
|
foreignContractAddress: ForeignCallSingle,
|
|
751
830
|
foreignSlot: ForeignCallSingle,
|
|
752
831
|
foreignTSize: ForeignCallSingle,
|
|
@@ -755,7 +834,7 @@ export class RPCTranslator {
|
|
|
755
834
|
const slot = fromSingle(foreignSlot);
|
|
756
835
|
const tSize = fromSingle(foreignTSize).toNumber();
|
|
757
836
|
|
|
758
|
-
const values = await this.handlerAsUtility().
|
|
837
|
+
const values = await this.handlerAsUtility().loadCapsule(contractAddress, slot);
|
|
759
838
|
|
|
760
839
|
// We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
|
|
761
840
|
// with two fields: `some` (a boolean) and `value` (a field array in this case).
|
|
@@ -768,16 +847,18 @@ export class RPCTranslator {
|
|
|
768
847
|
}
|
|
769
848
|
}
|
|
770
849
|
|
|
771
|
-
|
|
850
|
+
// eslint-disable-next-line camelcase
|
|
851
|
+
async aztec_utl_deleteCapsule(foreignContractAddress: ForeignCallSingle, foreignSlot: ForeignCallSingle) {
|
|
772
852
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
773
853
|
const slot = fromSingle(foreignSlot);
|
|
774
854
|
|
|
775
|
-
await this.handlerAsUtility().
|
|
855
|
+
await this.handlerAsUtility().deleteCapsule(contractAddress, slot);
|
|
776
856
|
|
|
777
857
|
return toForeignCallResult([]);
|
|
778
858
|
}
|
|
779
859
|
|
|
780
|
-
|
|
860
|
+
// eslint-disable-next-line camelcase
|
|
861
|
+
async aztec_utl_copyCapsule(
|
|
781
862
|
foreignContractAddress: ForeignCallSingle,
|
|
782
863
|
foreignSrcSlot: ForeignCallSingle,
|
|
783
864
|
foreignDstSlot: ForeignCallSingle,
|
|
@@ -788,7 +869,7 @@ export class RPCTranslator {
|
|
|
788
869
|
const dstSlot = fromSingle(foreignDstSlot);
|
|
789
870
|
const numEntries = fromSingle(foreignNumEntries).toNumber();
|
|
790
871
|
|
|
791
|
-
await this.handlerAsUtility().
|
|
872
|
+
await this.handlerAsUtility().copyCapsule(contractAddress, srcSlot, dstSlot, numEntries);
|
|
792
873
|
|
|
793
874
|
return toForeignCallResult([]);
|
|
794
875
|
}
|
|
@@ -797,7 +878,9 @@ export class RPCTranslator {
|
|
|
797
878
|
// The compiler didn't throw an error, so it took me a while to learn of the existence of this file, and that I need
|
|
798
879
|
// to implement this function here. Isn't there a way to programmatically identify that this is missing, given the
|
|
799
880
|
// existence of a txe_oracle method?
|
|
800
|
-
|
|
881
|
+
// TODO(F-452): Return Option and wrap in try/catch so BB exceptions don't crash TXE.
|
|
882
|
+
// eslint-disable-next-line camelcase
|
|
883
|
+
async aztec_utl_aes128Decrypt(
|
|
801
884
|
foreignCiphertextBVecStorage: ForeignCallArray,
|
|
802
885
|
foreignCiphertextLength: ForeignCallSingle,
|
|
803
886
|
foreignIv: ForeignCallArray,
|
|
@@ -807,14 +890,15 @@ export class RPCTranslator {
|
|
|
807
890
|
const iv = fromUintArray(foreignIv, 8);
|
|
808
891
|
const symKey = fromUintArray(foreignSymKey, 8);
|
|
809
892
|
|
|
810
|
-
const plaintextBuffer = await this.handlerAsUtility().
|
|
893
|
+
const plaintextBuffer = await this.handlerAsUtility().aes128Decrypt(ciphertext, iv, symKey);
|
|
811
894
|
|
|
812
895
|
return toForeignCallResult(
|
|
813
896
|
arrayToBoundedVec(bufferToU8Array(plaintextBuffer), foreignCiphertextBVecStorage.length),
|
|
814
897
|
);
|
|
815
898
|
}
|
|
816
899
|
|
|
817
|
-
|
|
900
|
+
// eslint-disable-next-line camelcase
|
|
901
|
+
async aztec_utl_getSharedSecret(
|
|
818
902
|
foreignAddress: ForeignCallSingle,
|
|
819
903
|
foreignEphPKField0: ForeignCallSingle,
|
|
820
904
|
foreignEphPKField1: ForeignCallSingle,
|
|
@@ -827,44 +911,49 @@ export class RPCTranslator {
|
|
|
827
911
|
fromSingle(foreignEphPKField2),
|
|
828
912
|
]);
|
|
829
913
|
|
|
830
|
-
const secret = await this.handlerAsUtility().
|
|
914
|
+
const secret = await this.handlerAsUtility().getSharedSecret(address, ephPK);
|
|
831
915
|
|
|
832
916
|
return toForeignCallResult(secret.toFields().map(toSingle));
|
|
833
917
|
}
|
|
834
918
|
|
|
835
|
-
|
|
919
|
+
// eslint-disable-next-line camelcase
|
|
920
|
+
aztec_utl_emitOffchainEffect(_foreignData: ForeignCallArray) {
|
|
836
921
|
throw new Error('Offchain effects are not yet supported in the TestEnvironment');
|
|
837
922
|
}
|
|
838
923
|
|
|
839
924
|
// AVM opcodes
|
|
840
925
|
|
|
841
|
-
|
|
926
|
+
// eslint-disable-next-line camelcase
|
|
927
|
+
aztec_avm_emitPublicLog(_foreignMessage: ForeignCallArray) {
|
|
842
928
|
// TODO(#8811): Implement
|
|
843
929
|
return toForeignCallResult([]);
|
|
844
930
|
}
|
|
845
931
|
|
|
846
|
-
|
|
932
|
+
// eslint-disable-next-line camelcase
|
|
933
|
+
async aztec_avm_storageRead(foreignSlot: ForeignCallSingle, foreignContractAddress: ForeignCallSingle) {
|
|
847
934
|
const slot = fromSingle(foreignSlot);
|
|
848
935
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
849
936
|
|
|
850
|
-
const value = (await this.handlerAsAvm().
|
|
937
|
+
const value = (await this.handlerAsAvm().storageRead(slot, contractAddress)).value;
|
|
851
938
|
|
|
852
939
|
return toForeignCallResult([toSingle(new Fr(value))]);
|
|
853
940
|
}
|
|
854
941
|
|
|
855
|
-
|
|
942
|
+
// eslint-disable-next-line camelcase
|
|
943
|
+
async aztec_avm_storageWrite(foreignSlot: ForeignCallSingle, foreignValue: ForeignCallSingle) {
|
|
856
944
|
const slot = fromSingle(foreignSlot);
|
|
857
945
|
const value = fromSingle(foreignValue);
|
|
858
946
|
|
|
859
|
-
await this.handlerAsAvm().
|
|
947
|
+
await this.handlerAsAvm().storageWrite(slot, value);
|
|
860
948
|
|
|
861
949
|
return toForeignCallResult([]);
|
|
862
950
|
}
|
|
863
951
|
|
|
864
|
-
|
|
952
|
+
// eslint-disable-next-line camelcase
|
|
953
|
+
async aztec_avm_getContractInstanceDeployer(foreignAddress: ForeignCallSingle) {
|
|
865
954
|
const address = addressFromSingle(foreignAddress);
|
|
866
955
|
|
|
867
|
-
const instance = await this.handlerAsUtility().
|
|
956
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
868
957
|
|
|
869
958
|
return toForeignCallResult([
|
|
870
959
|
toSingle(instance.deployer),
|
|
@@ -873,10 +962,11 @@ export class RPCTranslator {
|
|
|
873
962
|
]);
|
|
874
963
|
}
|
|
875
964
|
|
|
876
|
-
|
|
965
|
+
// eslint-disable-next-line camelcase
|
|
966
|
+
async aztec_avm_getContractInstanceClassId(foreignAddress: ForeignCallSingle) {
|
|
877
967
|
const address = addressFromSingle(foreignAddress);
|
|
878
968
|
|
|
879
|
-
const instance = await this.handlerAsUtility().
|
|
969
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
880
970
|
|
|
881
971
|
return toForeignCallResult([
|
|
882
972
|
toSingle(instance.currentContractClassId),
|
|
@@ -885,10 +975,11 @@ export class RPCTranslator {
|
|
|
885
975
|
]);
|
|
886
976
|
}
|
|
887
977
|
|
|
888
|
-
|
|
978
|
+
// eslint-disable-next-line camelcase
|
|
979
|
+
async aztec_avm_getContractInstanceInitializationHash(foreignAddress: ForeignCallSingle) {
|
|
889
980
|
const address = addressFromSingle(foreignAddress);
|
|
890
981
|
|
|
891
|
-
const instance = await this.handlerAsUtility().
|
|
982
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
892
983
|
|
|
893
984
|
return toForeignCallResult([
|
|
894
985
|
toSingle(instance.initializationHash),
|
|
@@ -897,85 +988,98 @@ export class RPCTranslator {
|
|
|
897
988
|
]);
|
|
898
989
|
}
|
|
899
990
|
|
|
900
|
-
|
|
901
|
-
|
|
991
|
+
// eslint-disable-next-line camelcase
|
|
992
|
+
async aztec_avm_sender() {
|
|
993
|
+
const sender = await this.handlerAsAvm().sender();
|
|
902
994
|
|
|
903
995
|
return toForeignCallResult([toSingle(sender)]);
|
|
904
996
|
}
|
|
905
997
|
|
|
906
|
-
|
|
998
|
+
// eslint-disable-next-line camelcase
|
|
999
|
+
async aztec_avm_emitNullifier(foreignNullifier: ForeignCallSingle) {
|
|
907
1000
|
const nullifier = fromSingle(foreignNullifier);
|
|
908
1001
|
|
|
909
|
-
await this.handlerAsAvm().
|
|
1002
|
+
await this.handlerAsAvm().emitNullifier(nullifier);
|
|
910
1003
|
|
|
911
1004
|
return toForeignCallResult([]);
|
|
912
1005
|
}
|
|
913
1006
|
|
|
914
|
-
|
|
1007
|
+
// eslint-disable-next-line camelcase
|
|
1008
|
+
async aztec_avm_emitNoteHash(foreignNoteHash: ForeignCallSingle) {
|
|
915
1009
|
const noteHash = fromSingle(foreignNoteHash);
|
|
916
1010
|
|
|
917
|
-
await this.handlerAsAvm().
|
|
1011
|
+
await this.handlerAsAvm().emitNoteHash(noteHash);
|
|
918
1012
|
|
|
919
1013
|
return toForeignCallResult([]);
|
|
920
1014
|
}
|
|
921
1015
|
|
|
922
|
-
|
|
1016
|
+
// eslint-disable-next-line camelcase
|
|
1017
|
+
async aztec_avm_nullifierExists(foreignSiloedNullifier: ForeignCallSingle) {
|
|
923
1018
|
const siloedNullifier = fromSingle(foreignSiloedNullifier);
|
|
924
1019
|
|
|
925
|
-
const exists = await this.handlerAsAvm().
|
|
1020
|
+
const exists = await this.handlerAsAvm().nullifierExists(siloedNullifier);
|
|
926
1021
|
|
|
927
1022
|
return toForeignCallResult([toSingle(new Fr(exists))]);
|
|
928
1023
|
}
|
|
929
1024
|
|
|
930
|
-
|
|
931
|
-
|
|
1025
|
+
// eslint-disable-next-line camelcase
|
|
1026
|
+
async aztec_avm_address() {
|
|
1027
|
+
const contractAddress = await this.handlerAsAvm().address();
|
|
932
1028
|
|
|
933
1029
|
return toForeignCallResult([toSingle(contractAddress.toField())]);
|
|
934
1030
|
}
|
|
935
1031
|
|
|
936
|
-
|
|
937
|
-
|
|
1032
|
+
// eslint-disable-next-line camelcase
|
|
1033
|
+
async aztec_avm_blockNumber() {
|
|
1034
|
+
const blockNumber = await this.handlerAsAvm().blockNumber();
|
|
938
1035
|
|
|
939
1036
|
return toForeignCallResult([toSingle(new Fr(blockNumber))]);
|
|
940
1037
|
}
|
|
941
1038
|
|
|
942
|
-
|
|
943
|
-
|
|
1039
|
+
// eslint-disable-next-line camelcase
|
|
1040
|
+
async aztec_avm_timestamp() {
|
|
1041
|
+
const timestamp = await this.handlerAsAvm().timestamp();
|
|
944
1042
|
|
|
945
1043
|
return toForeignCallResult([toSingle(new Fr(timestamp))]);
|
|
946
1044
|
}
|
|
947
1045
|
|
|
948
|
-
|
|
949
|
-
|
|
1046
|
+
// eslint-disable-next-line camelcase
|
|
1047
|
+
async aztec_avm_isStaticCall() {
|
|
1048
|
+
const isStaticCall = await this.handlerAsAvm().isStaticCall();
|
|
950
1049
|
|
|
951
1050
|
return toForeignCallResult([toSingle(new Fr(isStaticCall ? 1 : 0))]);
|
|
952
1051
|
}
|
|
953
1052
|
|
|
954
|
-
|
|
955
|
-
|
|
1053
|
+
// eslint-disable-next-line camelcase
|
|
1054
|
+
async aztec_avm_chainId() {
|
|
1055
|
+
const chainId = await this.handlerAsAvm().chainId();
|
|
956
1056
|
|
|
957
1057
|
return toForeignCallResult([toSingle(chainId)]);
|
|
958
1058
|
}
|
|
959
1059
|
|
|
960
|
-
|
|
961
|
-
|
|
1060
|
+
// eslint-disable-next-line camelcase
|
|
1061
|
+
async aztec_avm_version() {
|
|
1062
|
+
const version = await this.handlerAsAvm().version();
|
|
962
1063
|
|
|
963
1064
|
return toForeignCallResult([toSingle(version)]);
|
|
964
1065
|
}
|
|
965
1066
|
|
|
966
|
-
|
|
1067
|
+
// eslint-disable-next-line camelcase
|
|
1068
|
+
aztec_avm_returndataSize() {
|
|
967
1069
|
throw new Error(
|
|
968
1070
|
'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
|
|
969
1071
|
);
|
|
970
1072
|
}
|
|
971
1073
|
|
|
972
|
-
|
|
1074
|
+
// eslint-disable-next-line camelcase
|
|
1075
|
+
aztec_avm_returndataCopy(_foreignRdOffset: ForeignCallSingle, _foreignCopySize: ForeignCallSingle) {
|
|
973
1076
|
throw new Error(
|
|
974
1077
|
'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
|
|
975
1078
|
);
|
|
976
1079
|
}
|
|
977
1080
|
|
|
978
|
-
|
|
1081
|
+
// eslint-disable-next-line camelcase
|
|
1082
|
+
aztec_avm_call(
|
|
979
1083
|
_foreignL2Gas: ForeignCallSingle,
|
|
980
1084
|
_foreignDaGas: ForeignCallSingle,
|
|
981
1085
|
_foreignAddress: ForeignCallSingle,
|
|
@@ -987,7 +1091,8 @@ export class RPCTranslator {
|
|
|
987
1091
|
);
|
|
988
1092
|
}
|
|
989
1093
|
|
|
990
|
-
|
|
1094
|
+
// eslint-disable-next-line camelcase
|
|
1095
|
+
aztec_avm_staticCall(
|
|
991
1096
|
_foreignL2Gas: ForeignCallSingle,
|
|
992
1097
|
_foreignDaGas: ForeignCallSingle,
|
|
993
1098
|
_foreignAddress: ForeignCallSingle,
|
|
@@ -999,13 +1104,15 @@ export class RPCTranslator {
|
|
|
999
1104
|
);
|
|
1000
1105
|
}
|
|
1001
1106
|
|
|
1002
|
-
|
|
1107
|
+
// eslint-disable-next-line camelcase
|
|
1108
|
+
aztec_avm_successCopy() {
|
|
1003
1109
|
throw new Error(
|
|
1004
1110
|
'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
|
|
1005
1111
|
);
|
|
1006
1112
|
}
|
|
1007
1113
|
|
|
1008
|
-
|
|
1114
|
+
// eslint-disable-next-line camelcase
|
|
1115
|
+
async aztec_txe_privateCallNewFlow(
|
|
1009
1116
|
foreignFrom: ForeignCallSingle,
|
|
1010
1117
|
foreignTargetContractAddress: ForeignCallSingle,
|
|
1011
1118
|
foreignFunctionSelector: ForeignCallSingle,
|
|
@@ -1020,19 +1127,23 @@ export class RPCTranslator {
|
|
|
1020
1127
|
const argsHash = fromSingle(foreignArgsHash);
|
|
1021
1128
|
const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
|
|
1022
1129
|
|
|
1023
|
-
const returnValues = await this.handlerAsTxe().
|
|
1130
|
+
const returnValues = await this.handlerAsTxe().privateCallNewFlow(
|
|
1024
1131
|
from,
|
|
1025
1132
|
targetContractAddress,
|
|
1026
1133
|
functionSelector,
|
|
1027
1134
|
args,
|
|
1028
1135
|
argsHash,
|
|
1029
1136
|
isStaticCall,
|
|
1137
|
+
this.stateHandler.getCurrentJob(),
|
|
1030
1138
|
);
|
|
1031
1139
|
|
|
1140
|
+
// TODO(F-335): Avoid doing the following call here.
|
|
1141
|
+
await this.stateHandler.cycleJob();
|
|
1032
1142
|
return toForeignCallResult([toArray(returnValues)]);
|
|
1033
1143
|
}
|
|
1034
1144
|
|
|
1035
|
-
|
|
1145
|
+
// eslint-disable-next-line camelcase
|
|
1146
|
+
async aztec_txe_executeUtilityFunction(
|
|
1036
1147
|
foreignTargetContractAddress: ForeignCallSingle,
|
|
1037
1148
|
foreignFunctionSelector: ForeignCallSingle,
|
|
1038
1149
|
foreignArgs: ForeignCallArray,
|
|
@@ -1041,16 +1152,20 @@ export class RPCTranslator {
|
|
|
1041
1152
|
const functionSelector = FunctionSelector.fromField(fromSingle(foreignFunctionSelector));
|
|
1042
1153
|
const args = fromArray(foreignArgs);
|
|
1043
1154
|
|
|
1044
|
-
const returnValues = await this.handlerAsTxe().
|
|
1155
|
+
const returnValues = await this.handlerAsTxe().executeUtilityFunction(
|
|
1045
1156
|
targetContractAddress,
|
|
1046
1157
|
functionSelector,
|
|
1047
1158
|
args,
|
|
1159
|
+
this.stateHandler.getCurrentJob(),
|
|
1048
1160
|
);
|
|
1049
1161
|
|
|
1162
|
+
// TODO(F-335): Avoid doing the following call here.
|
|
1163
|
+
await this.stateHandler.cycleJob();
|
|
1050
1164
|
return toForeignCallResult([toArray(returnValues)]);
|
|
1051
1165
|
}
|
|
1052
1166
|
|
|
1053
|
-
|
|
1167
|
+
// eslint-disable-next-line camelcase
|
|
1168
|
+
async aztec_txe_publicCallNewFlow(
|
|
1054
1169
|
foreignFrom: ForeignCallSingle,
|
|
1055
1170
|
foreignAddress: ForeignCallSingle,
|
|
1056
1171
|
foreignCalldata: ForeignCallArray,
|
|
@@ -1061,13 +1176,16 @@ export class RPCTranslator {
|
|
|
1061
1176
|
const calldata = fromArray(foreignCalldata);
|
|
1062
1177
|
const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
|
|
1063
1178
|
|
|
1064
|
-
const returnValues = await this.handlerAsTxe().
|
|
1179
|
+
const returnValues = await this.handlerAsTxe().publicCallNewFlow(from, address, calldata, isStaticCall);
|
|
1065
1180
|
|
|
1181
|
+
// TODO(F-335): Avoid doing the following call here.
|
|
1182
|
+
await this.stateHandler.cycleJob();
|
|
1066
1183
|
return toForeignCallResult([toArray(returnValues)]);
|
|
1067
1184
|
}
|
|
1068
1185
|
|
|
1069
|
-
|
|
1070
|
-
|
|
1186
|
+
// eslint-disable-next-line camelcase
|
|
1187
|
+
async aztec_prv_getSenderForTags() {
|
|
1188
|
+
const sender = await this.handlerAsPrivate().getSenderForTags();
|
|
1071
1189
|
|
|
1072
1190
|
// Return a Noir Option struct with `some` and `value` fields
|
|
1073
1191
|
if (sender === undefined) {
|
|
@@ -1079,19 +1197,21 @@ export class RPCTranslator {
|
|
|
1079
1197
|
}
|
|
1080
1198
|
}
|
|
1081
1199
|
|
|
1082
|
-
|
|
1200
|
+
// eslint-disable-next-line camelcase
|
|
1201
|
+
async aztec_prv_setSenderForTags(foreignSenderForTags: ForeignCallSingle) {
|
|
1083
1202
|
const senderForTags = AztecAddress.fromField(fromSingle(foreignSenderForTags));
|
|
1084
1203
|
|
|
1085
|
-
await this.handlerAsPrivate().
|
|
1204
|
+
await this.handlerAsPrivate().setSenderForTags(senderForTags);
|
|
1086
1205
|
|
|
1087
1206
|
return toForeignCallResult([]);
|
|
1088
1207
|
}
|
|
1089
1208
|
|
|
1090
|
-
|
|
1209
|
+
// eslint-disable-next-line camelcase
|
|
1210
|
+
async aztec_prv_getNextAppTagAsSender(foreignSender: ForeignCallSingle, foreignRecipient: ForeignCallSingle) {
|
|
1091
1211
|
const sender = AztecAddress.fromField(fromSingle(foreignSender));
|
|
1092
1212
|
const recipient = AztecAddress.fromField(fromSingle(foreignRecipient));
|
|
1093
1213
|
|
|
1094
|
-
const nextAppTag = await this.handlerAsPrivate().
|
|
1214
|
+
const nextAppTag = await this.handlerAsPrivate().getNextAppTagAsSender(sender, recipient);
|
|
1095
1215
|
|
|
1096
1216
|
return toForeignCallResult([toSingle(nextAppTag.value)]);
|
|
1097
1217
|
}
|