@aztec/txe 4.1.2 → 4.2.0-aztecnr-rc.2
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 +8 -6
- package/dest/oracle/interfaces.d.ts +28 -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 -21
- package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_top_level_context.js +33 -27
- package/dest/rpc_translator.d.ts +87 -82
- package/dest/rpc_translator.d.ts.map +1 -1
- package/dest/rpc_translator.js +272 -151
- package/dest/state_machine/index.d.ts +6 -3
- package/dest/state_machine/index.d.ts.map +1 -1
- package/dest/state_machine/index.js +8 -4
- 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 +4 -3
- package/dest/txe_session.d.ts.map +1 -1
- package/dest/txe_session.js +19 -10
- package/package.json +15 -15
- package/src/index.ts +8 -5
- package/src/oracle/interfaces.ts +27 -31
- package/src/oracle/txe_oracle_public_context.ts +12 -12
- package/src/oracle/txe_oracle_top_level_context.ts +34 -25
- package/src/rpc_translator.ts +316 -173
- package/src/state_machine/index.ts +8 -1
- package/src/state_machine/synchronizer.ts +4 -4
- package/src/txe_session.ts +24 -5
package/src/rpc_translator.ts
CHANGED
|
@@ -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,
|
|
@@ -292,7 +314,7 @@ export class RPCTranslator {
|
|
|
292
314
|
await this.stateHandler.cycleJob();
|
|
293
315
|
}
|
|
294
316
|
|
|
295
|
-
const events = await this.handlerAsTxe().
|
|
317
|
+
const events = await this.handlerAsTxe().getPrivateEvents(selector, contractAddress, scope);
|
|
296
318
|
|
|
297
319
|
if (events.length > MAX_PRIVATE_EVENTS_PER_TXE_QUERY) {
|
|
298
320
|
throw new Error(`Array of length ${events.length} larger than maxLen ${MAX_PRIVATE_EVENTS_PER_TXE_QUERY}`);
|
|
@@ -316,26 +338,29 @@ export class RPCTranslator {
|
|
|
316
338
|
return toForeignCallResult([toArray(rawArrayStorage), toArray(eventLengths), toSingle(queryLength)]);
|
|
317
339
|
}
|
|
318
340
|
|
|
319
|
-
|
|
341
|
+
// eslint-disable-next-line camelcase
|
|
342
|
+
aztec_prv_setHashPreimage(foreignValues: ForeignCallArray, foreignHash: ForeignCallSingle) {
|
|
320
343
|
const values = fromArray(foreignValues);
|
|
321
344
|
const hash = fromSingle(foreignHash);
|
|
322
345
|
|
|
323
|
-
this.handlerAsPrivate().
|
|
346
|
+
this.handlerAsPrivate().setHashPreimage(values, hash);
|
|
324
347
|
|
|
325
348
|
return toForeignCallResult([]);
|
|
326
349
|
}
|
|
327
350
|
|
|
328
|
-
|
|
351
|
+
// eslint-disable-next-line camelcase
|
|
352
|
+
async aztec_prv_getHashPreimage(foreignHash: ForeignCallSingle) {
|
|
329
353
|
const hash = fromSingle(foreignHash);
|
|
330
354
|
|
|
331
|
-
const returns = await this.handlerAsPrivate().
|
|
355
|
+
const returns = await this.handlerAsPrivate().getHashPreimage(hash);
|
|
332
356
|
|
|
333
357
|
return toForeignCallResult([toArray(returns)]);
|
|
334
358
|
}
|
|
335
359
|
|
|
336
360
|
// When the argument is a slice, noir automatically adds a length field to oracle call.
|
|
337
361
|
// When the argument is an array, we add the field length manually to the signature.
|
|
338
|
-
|
|
362
|
+
// eslint-disable-next-line camelcase
|
|
363
|
+
async aztec_utl_log(
|
|
339
364
|
foreignLevel: ForeignCallSingle,
|
|
340
365
|
foreignMessage: ForeignCallArray,
|
|
341
366
|
_foreignLength: ForeignCallSingle,
|
|
@@ -347,12 +372,13 @@ export class RPCTranslator {
|
|
|
347
372
|
.join('');
|
|
348
373
|
const fields = fromArray(foreignFields);
|
|
349
374
|
|
|
350
|
-
await this.handlerAsMisc().
|
|
375
|
+
await this.handlerAsMisc().log(level, message, fields);
|
|
351
376
|
|
|
352
377
|
return toForeignCallResult([]);
|
|
353
378
|
}
|
|
354
379
|
|
|
355
|
-
|
|
380
|
+
// eslint-disable-next-line camelcase
|
|
381
|
+
async aztec_utl_getFromPublicStorage(
|
|
356
382
|
foreignBlockHash: ForeignCallSingle,
|
|
357
383
|
foreignContractAddress: ForeignCallSingle,
|
|
358
384
|
foreignStartStorageSlot: ForeignCallSingle,
|
|
@@ -363,7 +389,7 @@ export class RPCTranslator {
|
|
|
363
389
|
const startStorageSlot = fromSingle(foreignStartStorageSlot);
|
|
364
390
|
const numberOfElements = fromSingle(foreignNumberOfElements).toNumber();
|
|
365
391
|
|
|
366
|
-
const values = await this.handlerAsUtility().
|
|
392
|
+
const values = await this.handlerAsUtility().getFromPublicStorage(
|
|
367
393
|
blockHash,
|
|
368
394
|
contractAddress,
|
|
369
395
|
startStorageSlot,
|
|
@@ -373,11 +399,12 @@ export class RPCTranslator {
|
|
|
373
399
|
return toForeignCallResult([toArray(values)]);
|
|
374
400
|
}
|
|
375
401
|
|
|
376
|
-
|
|
402
|
+
// eslint-disable-next-line camelcase
|
|
403
|
+
async aztec_utl_getPublicDataWitness(foreignBlockHash: ForeignCallSingle, foreignLeafSlot: ForeignCallSingle) {
|
|
377
404
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
378
405
|
const leafSlot = fromSingle(foreignLeafSlot);
|
|
379
406
|
|
|
380
|
-
const witness = await this.handlerAsUtility().
|
|
407
|
+
const witness = await this.handlerAsUtility().getPublicDataWitness(blockHash, leafSlot);
|
|
381
408
|
|
|
382
409
|
if (!witness) {
|
|
383
410
|
throw new Error(`Public data witness not found for slot ${leafSlot} at block ${blockHash.toString()}.`);
|
|
@@ -385,7 +412,8 @@ export class RPCTranslator {
|
|
|
385
412
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
386
413
|
}
|
|
387
414
|
|
|
388
|
-
|
|
415
|
+
// eslint-disable-next-line camelcase
|
|
416
|
+
async aztec_utl_getNotes(
|
|
389
417
|
foreignOwnerIsSome: ForeignCallSingle,
|
|
390
418
|
foreignOwnerValue: ForeignCallSingle,
|
|
391
419
|
foreignStorageSlot: ForeignCallSingle,
|
|
@@ -426,7 +454,7 @@ export class RPCTranslator {
|
|
|
426
454
|
const maxNotes = fromSingle(foreignMaxNotes).toNumber();
|
|
427
455
|
const packedHintedNoteLength = fromSingle(foreignPackedHintedNoteLength).toNumber();
|
|
428
456
|
|
|
429
|
-
const noteDatas = await this.handlerAsUtility().
|
|
457
|
+
const noteDatas = await this.handlerAsUtility().getNotes(
|
|
430
458
|
owner,
|
|
431
459
|
storageSlot,
|
|
432
460
|
numSelects,
|
|
@@ -467,7 +495,8 @@ export class RPCTranslator {
|
|
|
467
495
|
);
|
|
468
496
|
}
|
|
469
497
|
|
|
470
|
-
|
|
498
|
+
// eslint-disable-next-line camelcase
|
|
499
|
+
aztec_prv_notifyCreatedNote(
|
|
471
500
|
foreignOwner: ForeignCallSingle,
|
|
472
501
|
foreignStorageSlot: ForeignCallSingle,
|
|
473
502
|
foreignRandomness: ForeignCallSingle,
|
|
@@ -484,20 +513,13 @@ export class RPCTranslator {
|
|
|
484
513
|
const noteHash = fromSingle(foreignNoteHash);
|
|
485
514
|
const counter = fromSingle(foreignCounter).toNumber();
|
|
486
515
|
|
|
487
|
-
this.handlerAsPrivate().
|
|
488
|
-
owner,
|
|
489
|
-
storageSlot,
|
|
490
|
-
randomness,
|
|
491
|
-
noteTypeId,
|
|
492
|
-
note,
|
|
493
|
-
noteHash,
|
|
494
|
-
counter,
|
|
495
|
-
);
|
|
516
|
+
this.handlerAsPrivate().notifyCreatedNote(owner, storageSlot, randomness, noteTypeId, note, noteHash, counter);
|
|
496
517
|
|
|
497
518
|
return toForeignCallResult([]);
|
|
498
519
|
}
|
|
499
520
|
|
|
500
|
-
|
|
521
|
+
// eslint-disable-next-line camelcase
|
|
522
|
+
async aztec_prv_notifyNullifiedNote(
|
|
501
523
|
foreignInnerNullifier: ForeignCallSingle,
|
|
502
524
|
foreignNoteHash: ForeignCallSingle,
|
|
503
525
|
foreignCounter: ForeignCallSingle,
|
|
@@ -506,40 +528,47 @@ export class RPCTranslator {
|
|
|
506
528
|
const noteHash = fromSingle(foreignNoteHash);
|
|
507
529
|
const counter = fromSingle(foreignCounter).toNumber();
|
|
508
530
|
|
|
509
|
-
await this.handlerAsPrivate().
|
|
531
|
+
await this.handlerAsPrivate().notifyNullifiedNote(innerNullifier, noteHash, counter);
|
|
510
532
|
|
|
511
533
|
return toForeignCallResult([]);
|
|
512
534
|
}
|
|
513
535
|
|
|
514
|
-
|
|
536
|
+
// eslint-disable-next-line camelcase
|
|
537
|
+
async aztec_prv_notifyCreatedNullifier(foreignInnerNullifier: ForeignCallSingle) {
|
|
515
538
|
const innerNullifier = fromSingle(foreignInnerNullifier);
|
|
516
539
|
|
|
517
|
-
await this.handlerAsPrivate().
|
|
540
|
+
await this.handlerAsPrivate().notifyCreatedNullifier(innerNullifier);
|
|
518
541
|
|
|
519
542
|
return toForeignCallResult([]);
|
|
520
543
|
}
|
|
521
544
|
|
|
522
|
-
|
|
545
|
+
// eslint-disable-next-line camelcase
|
|
546
|
+
async aztec_prv_isNullifierPending(
|
|
547
|
+
foreignInnerNullifier: ForeignCallSingle,
|
|
548
|
+
foreignContractAddress: ForeignCallSingle,
|
|
549
|
+
) {
|
|
523
550
|
const innerNullifier = fromSingle(foreignInnerNullifier);
|
|
524
551
|
const contractAddress = addressFromSingle(foreignContractAddress);
|
|
525
552
|
|
|
526
|
-
const isPending = await this.handlerAsPrivate().
|
|
553
|
+
const isPending = await this.handlerAsPrivate().isNullifierPending(innerNullifier, contractAddress);
|
|
527
554
|
|
|
528
555
|
return toForeignCallResult([toSingle(new Fr(isPending))]);
|
|
529
556
|
}
|
|
530
557
|
|
|
531
|
-
|
|
558
|
+
// eslint-disable-next-line camelcase
|
|
559
|
+
async aztec_utl_doesNullifierExist(foreignInnerNullifier: ForeignCallSingle) {
|
|
532
560
|
const innerNullifier = fromSingle(foreignInnerNullifier);
|
|
533
561
|
|
|
534
|
-
const exists = await this.handlerAsUtility().
|
|
562
|
+
const exists = await this.handlerAsUtility().doesNullifierExist(innerNullifier);
|
|
535
563
|
|
|
536
564
|
return toForeignCallResult([toSingle(new Fr(exists))]);
|
|
537
565
|
}
|
|
538
566
|
|
|
539
|
-
|
|
567
|
+
// eslint-disable-next-line camelcase
|
|
568
|
+
async aztec_utl_getContractInstance(foreignAddress: ForeignCallSingle) {
|
|
540
569
|
const address = addressFromSingle(foreignAddress);
|
|
541
570
|
|
|
542
|
-
const instance = await this.handlerAsUtility().
|
|
571
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
543
572
|
|
|
544
573
|
return toForeignCallResult(
|
|
545
574
|
[
|
|
@@ -552,10 +581,11 @@ export class RPCTranslator {
|
|
|
552
581
|
);
|
|
553
582
|
}
|
|
554
583
|
|
|
555
|
-
|
|
584
|
+
// eslint-disable-next-line camelcase
|
|
585
|
+
async aztec_utl_getPublicKeysAndPartialAddress(foreignAddress: ForeignCallSingle) {
|
|
556
586
|
const address = addressFromSingle(foreignAddress);
|
|
557
587
|
|
|
558
|
-
const result = await this.handlerAsUtility().
|
|
588
|
+
const result = await this.handlerAsUtility().getPublicKeysAndPartialAddress(address);
|
|
559
589
|
|
|
560
590
|
// We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
|
|
561
591
|
// with two fields: `some` (a boolean) and `value` (a field array in this case).
|
|
@@ -571,15 +601,17 @@ export class RPCTranslator {
|
|
|
571
601
|
}
|
|
572
602
|
}
|
|
573
603
|
|
|
574
|
-
|
|
604
|
+
// eslint-disable-next-line camelcase
|
|
605
|
+
async aztec_utl_getKeyValidationRequest(foreignPkMHash: ForeignCallSingle) {
|
|
575
606
|
const pkMHash = fromSingle(foreignPkMHash);
|
|
576
607
|
|
|
577
|
-
const keyValidationRequest = await this.handlerAsUtility().
|
|
608
|
+
const keyValidationRequest = await this.handlerAsUtility().getKeyValidationRequest(pkMHash);
|
|
578
609
|
|
|
579
610
|
return toForeignCallResult(keyValidationRequest.toFields().map(toSingle));
|
|
580
611
|
}
|
|
581
612
|
|
|
582
|
-
|
|
613
|
+
// eslint-disable-next-line camelcase
|
|
614
|
+
aztec_prv_callPrivateFunction(
|
|
583
615
|
_foreignTargetContractAddress: ForeignCallSingle,
|
|
584
616
|
_foreignFunctionSelector: ForeignCallSingle,
|
|
585
617
|
_foreignArgsHash: ForeignCallSingle,
|
|
@@ -591,11 +623,15 @@ export class RPCTranslator {
|
|
|
591
623
|
);
|
|
592
624
|
}
|
|
593
625
|
|
|
594
|
-
|
|
626
|
+
// eslint-disable-next-line camelcase
|
|
627
|
+
async aztec_utl_getNullifierMembershipWitness(
|
|
628
|
+
foreignBlockHash: ForeignCallSingle,
|
|
629
|
+
foreignNullifier: ForeignCallSingle,
|
|
630
|
+
) {
|
|
595
631
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
596
632
|
const nullifier = fromSingle(foreignNullifier);
|
|
597
633
|
|
|
598
|
-
const witness = await this.handlerAsUtility().
|
|
634
|
+
const witness = await this.handlerAsUtility().getNullifierMembershipWitness(blockHash, nullifier);
|
|
599
635
|
|
|
600
636
|
if (!witness) {
|
|
601
637
|
throw new Error(`Nullifier membership witness not found at block ${blockHash}.`);
|
|
@@ -603,10 +639,11 @@ export class RPCTranslator {
|
|
|
603
639
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
604
640
|
}
|
|
605
641
|
|
|
606
|
-
|
|
642
|
+
// eslint-disable-next-line camelcase
|
|
643
|
+
async aztec_utl_getAuthWitness(foreignMessageHash: ForeignCallSingle) {
|
|
607
644
|
const messageHash = fromSingle(foreignMessageHash);
|
|
608
645
|
|
|
609
|
-
const authWitness = await this.handlerAsUtility().
|
|
646
|
+
const authWitness = await this.handlerAsUtility().getAuthWitness(messageHash);
|
|
610
647
|
|
|
611
648
|
if (!authWitness) {
|
|
612
649
|
throw new Error(`Auth witness not found for message hash ${messageHash}.`);
|
|
@@ -614,44 +651,35 @@ export class RPCTranslator {
|
|
|
614
651
|
return toForeignCallResult([toArray(authWitness)]);
|
|
615
652
|
}
|
|
616
653
|
|
|
617
|
-
|
|
618
|
-
|
|
619
|
-
_foreignCalldataHash: ForeignCallSingle,
|
|
620
|
-
_foreignSideEffectCounter: ForeignCallSingle,
|
|
621
|
-
_foreignIsStaticCall: ForeignCallSingle,
|
|
622
|
-
) {
|
|
623
|
-
throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
|
|
624
|
-
}
|
|
625
|
-
|
|
626
|
-
public privateNotifySetPublicTeardownFunctionCall(
|
|
627
|
-
_foreignTargetContractAddress: ForeignCallSingle,
|
|
628
|
-
_foreignCalldataHash: ForeignCallSingle,
|
|
629
|
-
_foreignSideEffectCounter: ForeignCallSingle,
|
|
630
|
-
_foreignIsStaticCall: ForeignCallSingle,
|
|
631
|
-
) {
|
|
654
|
+
// eslint-disable-next-line camelcase
|
|
655
|
+
public aztec_prv_assertValidPublicCalldata(_foreignCalldataHash: ForeignCallSingle) {
|
|
632
656
|
throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
|
|
633
657
|
}
|
|
634
658
|
|
|
635
|
-
|
|
659
|
+
// eslint-disable-next-line camelcase
|
|
660
|
+
public aztec_prv_notifyRevertiblePhaseStart(_foreignMinRevertibleSideEffectCounter: ForeignCallSingle) {
|
|
636
661
|
throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
|
|
637
662
|
}
|
|
638
663
|
|
|
639
|
-
|
|
664
|
+
// eslint-disable-next-line camelcase
|
|
665
|
+
public async aztec_prv_isExecutionInRevertiblePhase(foreignSideEffectCounter: ForeignCallSingle) {
|
|
640
666
|
const sideEffectCounter = fromSingle(foreignSideEffectCounter).toNumber();
|
|
641
|
-
const isRevertible = await this.handlerAsPrivate().
|
|
667
|
+
const isRevertible = await this.handlerAsPrivate().isExecutionInRevertiblePhase(sideEffectCounter);
|
|
642
668
|
return toForeignCallResult([toSingle(new Fr(isRevertible))]);
|
|
643
669
|
}
|
|
644
670
|
|
|
645
|
-
|
|
646
|
-
|
|
671
|
+
// eslint-disable-next-line camelcase
|
|
672
|
+
aztec_utl_getUtilityContext() {
|
|
673
|
+
const context = this.handlerAsUtility().getUtilityContext();
|
|
647
674
|
|
|
648
675
|
return toForeignCallResult(context.toNoirRepresentation());
|
|
649
676
|
}
|
|
650
677
|
|
|
651
|
-
|
|
678
|
+
// eslint-disable-next-line camelcase
|
|
679
|
+
async aztec_utl_getBlockHeader(foreignBlockNumber: ForeignCallSingle) {
|
|
652
680
|
const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
|
|
653
681
|
|
|
654
|
-
const header = await this.handlerAsUtility().
|
|
682
|
+
const header = await this.handlerAsUtility().getBlockHeader(blockNumber);
|
|
655
683
|
|
|
656
684
|
if (!header) {
|
|
657
685
|
throw new Error(`Block header not found for block ${blockNumber}.`);
|
|
@@ -659,14 +687,15 @@ export class RPCTranslator {
|
|
|
659
687
|
return toForeignCallResult(header.toFields().map(toSingle));
|
|
660
688
|
}
|
|
661
689
|
|
|
662
|
-
|
|
690
|
+
// eslint-disable-next-line camelcase
|
|
691
|
+
async aztec_utl_getNoteHashMembershipWitness(
|
|
663
692
|
foreignAnchorBlockHash: ForeignCallSingle,
|
|
664
693
|
foreignNoteHash: ForeignCallSingle,
|
|
665
694
|
) {
|
|
666
695
|
const blockHash = new BlockHash(fromSingle(foreignAnchorBlockHash));
|
|
667
696
|
const noteHash = fromSingle(foreignNoteHash);
|
|
668
697
|
|
|
669
|
-
const witness = await this.handlerAsUtility().
|
|
698
|
+
const witness = await this.handlerAsUtility().getNoteHashMembershipWitness(blockHash, noteHash);
|
|
670
699
|
|
|
671
700
|
if (!witness) {
|
|
672
701
|
throw new Error(`Note hash ${noteHash} not found in the note hash tree at block ${blockHash.toString()}.`);
|
|
@@ -674,14 +703,15 @@ export class RPCTranslator {
|
|
|
674
703
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
675
704
|
}
|
|
676
705
|
|
|
677
|
-
|
|
706
|
+
// eslint-disable-next-line camelcase
|
|
707
|
+
async aztec_utl_getBlockHashMembershipWitness(
|
|
678
708
|
foreignAnchorBlockHash: ForeignCallSingle,
|
|
679
709
|
foreignBlockHash: ForeignCallSingle,
|
|
680
710
|
) {
|
|
681
711
|
const anchorBlockHash = new BlockHash(fromSingle(foreignAnchorBlockHash));
|
|
682
712
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
683
713
|
|
|
684
|
-
const witness = await this.handlerAsUtility().
|
|
714
|
+
const witness = await this.handlerAsUtility().getBlockHashMembershipWitness(anchorBlockHash, blockHash);
|
|
685
715
|
|
|
686
716
|
if (!witness) {
|
|
687
717
|
throw new Error(
|
|
@@ -691,14 +721,15 @@ export class RPCTranslator {
|
|
|
691
721
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
692
722
|
}
|
|
693
723
|
|
|
694
|
-
|
|
724
|
+
// eslint-disable-next-line camelcase
|
|
725
|
+
async aztec_utl_getLowNullifierMembershipWitness(
|
|
695
726
|
foreignBlockHash: ForeignCallSingle,
|
|
696
727
|
foreignNullifier: ForeignCallSingle,
|
|
697
728
|
) {
|
|
698
729
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
699
730
|
const nullifier = fromSingle(foreignNullifier);
|
|
700
731
|
|
|
701
|
-
const witness = await this.handlerAsUtility().
|
|
732
|
+
const witness = await this.handlerAsUtility().getLowNullifierMembershipWitness(blockHash, nullifier);
|
|
702
733
|
|
|
703
734
|
if (!witness) {
|
|
704
735
|
throw new Error(`Low nullifier witness not found for nullifier ${nullifier} at block ${blockHash}.`);
|
|
@@ -706,74 +737,121 @@ export class RPCTranslator {
|
|
|
706
737
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
707
738
|
}
|
|
708
739
|
|
|
709
|
-
|
|
740
|
+
// eslint-disable-next-line camelcase
|
|
741
|
+
async aztec_utl_getPendingTaggedLogs(
|
|
742
|
+
foreignPendingTaggedLogArrayBaseSlot: ForeignCallSingle,
|
|
743
|
+
foreignScope: ForeignCallSingle,
|
|
744
|
+
) {
|
|
710
745
|
const pendingTaggedLogArrayBaseSlot = fromSingle(foreignPendingTaggedLogArrayBaseSlot);
|
|
746
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
711
747
|
|
|
712
|
-
await this.handlerAsUtility().
|
|
748
|
+
await this.handlerAsUtility().getPendingTaggedLogs(pendingTaggedLogArrayBaseSlot, scope);
|
|
713
749
|
|
|
714
750
|
return toForeignCallResult([]);
|
|
715
751
|
}
|
|
716
752
|
|
|
717
|
-
|
|
753
|
+
// eslint-disable-next-line camelcase
|
|
754
|
+
public async aztec_utl_validateAndStoreEnqueuedNotesAndEvents(
|
|
718
755
|
foreignContractAddress: ForeignCallSingle,
|
|
719
756
|
foreignNoteValidationRequestsArrayBaseSlot: ForeignCallSingle,
|
|
720
757
|
foreignEventValidationRequestsArrayBaseSlot: ForeignCallSingle,
|
|
758
|
+
foreignMaxNotePackedLen: ForeignCallSingle,
|
|
759
|
+
foreignMaxEventSerializedLen: ForeignCallSingle,
|
|
760
|
+
foreignScope: ForeignCallSingle,
|
|
721
761
|
) {
|
|
722
762
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
723
763
|
const noteValidationRequestsArrayBaseSlot = fromSingle(foreignNoteValidationRequestsArrayBaseSlot);
|
|
724
764
|
const eventValidationRequestsArrayBaseSlot = fromSingle(foreignEventValidationRequestsArrayBaseSlot);
|
|
765
|
+
const maxNotePackedLen = fromSingle(foreignMaxNotePackedLen).toNumber();
|
|
766
|
+
const maxEventSerializedLen = fromSingle(foreignMaxEventSerializedLen).toNumber();
|
|
767
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
725
768
|
|
|
726
|
-
await this.handlerAsUtility().
|
|
769
|
+
await this.handlerAsUtility().validateAndStoreEnqueuedNotesAndEvents(
|
|
727
770
|
contractAddress,
|
|
728
771
|
noteValidationRequestsArrayBaseSlot,
|
|
729
772
|
eventValidationRequestsArrayBaseSlot,
|
|
773
|
+
maxNotePackedLen,
|
|
774
|
+
maxEventSerializedLen,
|
|
775
|
+
scope,
|
|
730
776
|
);
|
|
731
777
|
|
|
732
778
|
return toForeignCallResult([]);
|
|
733
779
|
}
|
|
734
780
|
|
|
735
|
-
|
|
781
|
+
// eslint-disable-next-line camelcase
|
|
782
|
+
public async aztec_utl_getLogsByTag(
|
|
736
783
|
foreignContractAddress: ForeignCallSingle,
|
|
737
784
|
foreignLogRetrievalRequestsArrayBaseSlot: ForeignCallSingle,
|
|
738
785
|
foreignLogRetrievalResponsesArrayBaseSlot: ForeignCallSingle,
|
|
786
|
+
foreignScope: ForeignCallSingle,
|
|
739
787
|
) {
|
|
740
788
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
741
789
|
const logRetrievalRequestsArrayBaseSlot = fromSingle(foreignLogRetrievalRequestsArrayBaseSlot);
|
|
742
790
|
const logRetrievalResponsesArrayBaseSlot = fromSingle(foreignLogRetrievalResponsesArrayBaseSlot);
|
|
791
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
743
792
|
|
|
744
|
-
await this.handlerAsUtility().
|
|
793
|
+
await this.handlerAsUtility().getLogsByTag(
|
|
745
794
|
contractAddress,
|
|
746
795
|
logRetrievalRequestsArrayBaseSlot,
|
|
747
796
|
logRetrievalResponsesArrayBaseSlot,
|
|
797
|
+
scope,
|
|
798
|
+
);
|
|
799
|
+
|
|
800
|
+
return toForeignCallResult([]);
|
|
801
|
+
}
|
|
802
|
+
|
|
803
|
+
// eslint-disable-next-line camelcase
|
|
804
|
+
public async aztec_utl_getMessageContextsByTxHash(
|
|
805
|
+
foreignContractAddress: ForeignCallSingle,
|
|
806
|
+
foreignMessageContextRequestsArrayBaseSlot: ForeignCallSingle,
|
|
807
|
+
foreignMessageContextResponsesArrayBaseSlot: ForeignCallSingle,
|
|
808
|
+
foreignScope: ForeignCallSingle,
|
|
809
|
+
) {
|
|
810
|
+
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
811
|
+
const messageContextRequestsArrayBaseSlot = fromSingle(foreignMessageContextRequestsArrayBaseSlot);
|
|
812
|
+
const messageContextResponsesArrayBaseSlot = fromSingle(foreignMessageContextResponsesArrayBaseSlot);
|
|
813
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
814
|
+
|
|
815
|
+
await this.handlerAsUtility().getMessageContextsByTxHash(
|
|
816
|
+
contractAddress,
|
|
817
|
+
messageContextRequestsArrayBaseSlot,
|
|
818
|
+
messageContextResponsesArrayBaseSlot,
|
|
819
|
+
scope,
|
|
748
820
|
);
|
|
749
821
|
|
|
750
822
|
return toForeignCallResult([]);
|
|
751
823
|
}
|
|
752
824
|
|
|
753
|
-
|
|
825
|
+
// eslint-disable-next-line camelcase
|
|
826
|
+
aztec_utl_setCapsule(
|
|
754
827
|
foreignContractAddress: ForeignCallSingle,
|
|
755
828
|
foreignSlot: ForeignCallSingle,
|
|
756
829
|
foreignCapsule: ForeignCallArray,
|
|
830
|
+
foreignScope: ForeignCallSingle,
|
|
757
831
|
) {
|
|
758
832
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
759
833
|
const slot = fromSingle(foreignSlot);
|
|
760
834
|
const capsule = fromArray(foreignCapsule);
|
|
835
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
761
836
|
|
|
762
|
-
|
|
837
|
+
this.handlerAsUtility().setCapsule(contractAddress, slot, capsule, scope);
|
|
763
838
|
|
|
764
839
|
return toForeignCallResult([]);
|
|
765
840
|
}
|
|
766
841
|
|
|
767
|
-
|
|
842
|
+
// eslint-disable-next-line camelcase
|
|
843
|
+
async aztec_utl_getCapsule(
|
|
768
844
|
foreignContractAddress: ForeignCallSingle,
|
|
769
845
|
foreignSlot: ForeignCallSingle,
|
|
770
846
|
foreignTSize: ForeignCallSingle,
|
|
847
|
+
foreignScope: ForeignCallSingle,
|
|
771
848
|
) {
|
|
772
849
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
773
850
|
const slot = fromSingle(foreignSlot);
|
|
774
851
|
const tSize = fromSingle(foreignTSize).toNumber();
|
|
852
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
775
853
|
|
|
776
|
-
const values = await this.handlerAsUtility().
|
|
854
|
+
const values = await this.handlerAsUtility().getCapsule(contractAddress, slot, scope);
|
|
777
855
|
|
|
778
856
|
// We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
|
|
779
857
|
// with two fields: `some` (a boolean) and `value` (a field array in this case).
|
|
@@ -786,27 +864,36 @@ export class RPCTranslator {
|
|
|
786
864
|
}
|
|
787
865
|
}
|
|
788
866
|
|
|
789
|
-
|
|
867
|
+
// eslint-disable-next-line camelcase
|
|
868
|
+
aztec_utl_deleteCapsule(
|
|
869
|
+
foreignContractAddress: ForeignCallSingle,
|
|
870
|
+
foreignSlot: ForeignCallSingle,
|
|
871
|
+
foreignScope: ForeignCallSingle,
|
|
872
|
+
) {
|
|
790
873
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
791
874
|
const slot = fromSingle(foreignSlot);
|
|
875
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
792
876
|
|
|
793
|
-
|
|
877
|
+
this.handlerAsUtility().deleteCapsule(contractAddress, slot, scope);
|
|
794
878
|
|
|
795
879
|
return toForeignCallResult([]);
|
|
796
880
|
}
|
|
797
881
|
|
|
798
|
-
|
|
882
|
+
// eslint-disable-next-line camelcase
|
|
883
|
+
async aztec_utl_copyCapsule(
|
|
799
884
|
foreignContractAddress: ForeignCallSingle,
|
|
800
885
|
foreignSrcSlot: ForeignCallSingle,
|
|
801
886
|
foreignDstSlot: ForeignCallSingle,
|
|
802
887
|
foreignNumEntries: ForeignCallSingle,
|
|
888
|
+
foreignScope: ForeignCallSingle,
|
|
803
889
|
) {
|
|
804
890
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
805
891
|
const srcSlot = fromSingle(foreignSrcSlot);
|
|
806
892
|
const dstSlot = fromSingle(foreignDstSlot);
|
|
807
893
|
const numEntries = fromSingle(foreignNumEntries).toNumber();
|
|
894
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
808
895
|
|
|
809
|
-
await this.handlerAsUtility().
|
|
896
|
+
await this.handlerAsUtility().copyCapsule(contractAddress, srcSlot, dstSlot, numEntries, scope);
|
|
810
897
|
|
|
811
898
|
return toForeignCallResult([]);
|
|
812
899
|
}
|
|
@@ -815,7 +902,8 @@ export class RPCTranslator {
|
|
|
815
902
|
// 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
|
|
816
903
|
// to implement this function here. Isn't there a way to programmatically identify that this is missing, given the
|
|
817
904
|
// existence of a txe_oracle method?
|
|
818
|
-
|
|
905
|
+
// eslint-disable-next-line camelcase
|
|
906
|
+
async aztec_utl_decryptAes128(
|
|
819
907
|
foreignCiphertextBVecStorage: ForeignCallArray,
|
|
820
908
|
foreignCiphertextLength: ForeignCallSingle,
|
|
821
909
|
foreignIv: ForeignCallArray,
|
|
@@ -825,18 +913,27 @@ export class RPCTranslator {
|
|
|
825
913
|
const iv = fromUintArray(foreignIv, 8);
|
|
826
914
|
const symKey = fromUintArray(foreignSymKey, 8);
|
|
827
915
|
|
|
828
|
-
|
|
829
|
-
|
|
830
|
-
|
|
831
|
-
|
|
832
|
-
|
|
916
|
+
// Noir Option<BoundedVec> is encoded as [is_some: Field, storage: Field[], length: Field].
|
|
917
|
+
try {
|
|
918
|
+
const plaintextBuffer = await this.handlerAsUtility().decryptAes128(ciphertext, iv, symKey);
|
|
919
|
+
const [storage, length] = arrayToBoundedVec(
|
|
920
|
+
bufferToU8Array(plaintextBuffer),
|
|
921
|
+
foreignCiphertextBVecStorage.length,
|
|
922
|
+
);
|
|
923
|
+
return toForeignCallResult([toSingle(new Fr(1)), storage, length]);
|
|
924
|
+
} catch {
|
|
925
|
+
const zeroStorage = toArray(Array(foreignCiphertextBVecStorage.length).fill(new Fr(0)));
|
|
926
|
+
return toForeignCallResult([toSingle(new Fr(0)), zeroStorage, toSingle(new Fr(0))]);
|
|
927
|
+
}
|
|
833
928
|
}
|
|
834
929
|
|
|
835
|
-
|
|
930
|
+
// eslint-disable-next-line camelcase
|
|
931
|
+
async aztec_utl_getSharedSecret(
|
|
836
932
|
foreignAddress: ForeignCallSingle,
|
|
837
933
|
foreignEphPKField0: ForeignCallSingle,
|
|
838
934
|
foreignEphPKField1: ForeignCallSingle,
|
|
839
935
|
foreignEphPKField2: ForeignCallSingle,
|
|
936
|
+
foreignContractAddress: ForeignCallSingle,
|
|
840
937
|
) {
|
|
841
938
|
const address = AztecAddress.fromField(fromSingle(foreignAddress));
|
|
842
939
|
const ephPK = Point.fromFields([
|
|
@@ -844,45 +941,68 @@ export class RPCTranslator {
|
|
|
844
941
|
fromSingle(foreignEphPKField1),
|
|
845
942
|
fromSingle(foreignEphPKField2),
|
|
846
943
|
]);
|
|
944
|
+
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
945
|
+
|
|
946
|
+
const secret = await this.handlerAsUtility().getSharedSecret(address, ephPK, contractAddress);
|
|
947
|
+
|
|
948
|
+
return toForeignCallResult([toSingle(secret)]);
|
|
949
|
+
}
|
|
950
|
+
|
|
951
|
+
// eslint-disable-next-line camelcase
|
|
952
|
+
aztec_utl_setContractSyncCacheInvalid(
|
|
953
|
+
foreignContractAddress: ForeignCallSingle,
|
|
954
|
+
foreignScopes: ForeignCallArray,
|
|
955
|
+
foreignScopeCount: ForeignCallSingle,
|
|
956
|
+
) {
|
|
957
|
+
const contractAddress = addressFromSingle(foreignContractAddress);
|
|
958
|
+
const count = fromSingle(foreignScopeCount).toNumber();
|
|
959
|
+
const scopes = fromArray(foreignScopes)
|
|
960
|
+
.slice(0, count)
|
|
961
|
+
.map(f => new AztecAddress(f));
|
|
847
962
|
|
|
848
|
-
|
|
963
|
+
this.handlerAsUtility().setContractSyncCacheInvalid(contractAddress, scopes);
|
|
849
964
|
|
|
850
|
-
return
|
|
965
|
+
return Promise.resolve(toForeignCallResult([]));
|
|
851
966
|
}
|
|
852
967
|
|
|
853
|
-
|
|
968
|
+
// eslint-disable-next-line camelcase
|
|
969
|
+
aztec_utl_emitOffchainEffect(_foreignData: ForeignCallArray) {
|
|
854
970
|
throw new Error('Offchain effects are not yet supported in the TestEnvironment');
|
|
855
971
|
}
|
|
856
972
|
|
|
857
973
|
// AVM opcodes
|
|
858
974
|
|
|
859
|
-
|
|
975
|
+
// eslint-disable-next-line camelcase
|
|
976
|
+
aztec_avm_emitPublicLog(_foreignMessage: ForeignCallArray) {
|
|
860
977
|
// TODO(#8811): Implement
|
|
861
978
|
return toForeignCallResult([]);
|
|
862
979
|
}
|
|
863
980
|
|
|
864
|
-
|
|
981
|
+
// eslint-disable-next-line camelcase
|
|
982
|
+
async aztec_avm_storageRead(foreignSlot: ForeignCallSingle, foreignContractAddress: ForeignCallSingle) {
|
|
865
983
|
const slot = fromSingle(foreignSlot);
|
|
866
984
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
867
985
|
|
|
868
|
-
const value = (await this.handlerAsAvm().
|
|
986
|
+
const value = (await this.handlerAsAvm().storageRead(slot, contractAddress)).value;
|
|
869
987
|
|
|
870
988
|
return toForeignCallResult([toSingle(new Fr(value))]);
|
|
871
989
|
}
|
|
872
990
|
|
|
873
|
-
|
|
991
|
+
// eslint-disable-next-line camelcase
|
|
992
|
+
async aztec_avm_storageWrite(foreignSlot: ForeignCallSingle, foreignValue: ForeignCallSingle) {
|
|
874
993
|
const slot = fromSingle(foreignSlot);
|
|
875
994
|
const value = fromSingle(foreignValue);
|
|
876
995
|
|
|
877
|
-
await this.handlerAsAvm().
|
|
996
|
+
await this.handlerAsAvm().storageWrite(slot, value);
|
|
878
997
|
|
|
879
998
|
return toForeignCallResult([]);
|
|
880
999
|
}
|
|
881
1000
|
|
|
882
|
-
|
|
1001
|
+
// eslint-disable-next-line camelcase
|
|
1002
|
+
async aztec_avm_getContractInstanceDeployer(foreignAddress: ForeignCallSingle) {
|
|
883
1003
|
const address = addressFromSingle(foreignAddress);
|
|
884
1004
|
|
|
885
|
-
const instance = await this.handlerAsUtility().
|
|
1005
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
886
1006
|
|
|
887
1007
|
return toForeignCallResult([
|
|
888
1008
|
toSingle(instance.deployer),
|
|
@@ -891,10 +1011,11 @@ export class RPCTranslator {
|
|
|
891
1011
|
]);
|
|
892
1012
|
}
|
|
893
1013
|
|
|
894
|
-
|
|
1014
|
+
// eslint-disable-next-line camelcase
|
|
1015
|
+
async aztec_avm_getContractInstanceClassId(foreignAddress: ForeignCallSingle) {
|
|
895
1016
|
const address = addressFromSingle(foreignAddress);
|
|
896
1017
|
|
|
897
|
-
const instance = await this.handlerAsUtility().
|
|
1018
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
898
1019
|
|
|
899
1020
|
return toForeignCallResult([
|
|
900
1021
|
toSingle(instance.currentContractClassId),
|
|
@@ -903,10 +1024,11 @@ export class RPCTranslator {
|
|
|
903
1024
|
]);
|
|
904
1025
|
}
|
|
905
1026
|
|
|
906
|
-
|
|
1027
|
+
// eslint-disable-next-line camelcase
|
|
1028
|
+
async aztec_avm_getContractInstanceInitializationHash(foreignAddress: ForeignCallSingle) {
|
|
907
1029
|
const address = addressFromSingle(foreignAddress);
|
|
908
1030
|
|
|
909
|
-
const instance = await this.handlerAsUtility().
|
|
1031
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
910
1032
|
|
|
911
1033
|
return toForeignCallResult([
|
|
912
1034
|
toSingle(instance.initializationHash),
|
|
@@ -915,85 +1037,98 @@ export class RPCTranslator {
|
|
|
915
1037
|
]);
|
|
916
1038
|
}
|
|
917
1039
|
|
|
918
|
-
|
|
919
|
-
|
|
1040
|
+
// eslint-disable-next-line camelcase
|
|
1041
|
+
async aztec_avm_sender() {
|
|
1042
|
+
const sender = await this.handlerAsAvm().sender();
|
|
920
1043
|
|
|
921
1044
|
return toForeignCallResult([toSingle(sender)]);
|
|
922
1045
|
}
|
|
923
1046
|
|
|
924
|
-
|
|
1047
|
+
// eslint-disable-next-line camelcase
|
|
1048
|
+
async aztec_avm_emitNullifier(foreignNullifier: ForeignCallSingle) {
|
|
925
1049
|
const nullifier = fromSingle(foreignNullifier);
|
|
926
1050
|
|
|
927
|
-
await this.handlerAsAvm().
|
|
1051
|
+
await this.handlerAsAvm().emitNullifier(nullifier);
|
|
928
1052
|
|
|
929
1053
|
return toForeignCallResult([]);
|
|
930
1054
|
}
|
|
931
1055
|
|
|
932
|
-
|
|
1056
|
+
// eslint-disable-next-line camelcase
|
|
1057
|
+
async aztec_avm_emitNoteHash(foreignNoteHash: ForeignCallSingle) {
|
|
933
1058
|
const noteHash = fromSingle(foreignNoteHash);
|
|
934
1059
|
|
|
935
|
-
await this.handlerAsAvm().
|
|
1060
|
+
await this.handlerAsAvm().emitNoteHash(noteHash);
|
|
936
1061
|
|
|
937
1062
|
return toForeignCallResult([]);
|
|
938
1063
|
}
|
|
939
1064
|
|
|
940
|
-
|
|
1065
|
+
// eslint-disable-next-line camelcase
|
|
1066
|
+
async aztec_avm_nullifierExists(foreignSiloedNullifier: ForeignCallSingle) {
|
|
941
1067
|
const siloedNullifier = fromSingle(foreignSiloedNullifier);
|
|
942
1068
|
|
|
943
|
-
const exists = await this.handlerAsAvm().
|
|
1069
|
+
const exists = await this.handlerAsAvm().nullifierExists(siloedNullifier);
|
|
944
1070
|
|
|
945
1071
|
return toForeignCallResult([toSingle(new Fr(exists))]);
|
|
946
1072
|
}
|
|
947
1073
|
|
|
948
|
-
|
|
949
|
-
|
|
1074
|
+
// eslint-disable-next-line camelcase
|
|
1075
|
+
async aztec_avm_address() {
|
|
1076
|
+
const contractAddress = await this.handlerAsAvm().address();
|
|
950
1077
|
|
|
951
1078
|
return toForeignCallResult([toSingle(contractAddress.toField())]);
|
|
952
1079
|
}
|
|
953
1080
|
|
|
954
|
-
|
|
955
|
-
|
|
1081
|
+
// eslint-disable-next-line camelcase
|
|
1082
|
+
async aztec_avm_blockNumber() {
|
|
1083
|
+
const blockNumber = await this.handlerAsAvm().blockNumber();
|
|
956
1084
|
|
|
957
1085
|
return toForeignCallResult([toSingle(new Fr(blockNumber))]);
|
|
958
1086
|
}
|
|
959
1087
|
|
|
960
|
-
|
|
961
|
-
|
|
1088
|
+
// eslint-disable-next-line camelcase
|
|
1089
|
+
async aztec_avm_timestamp() {
|
|
1090
|
+
const timestamp = await this.handlerAsAvm().timestamp();
|
|
962
1091
|
|
|
963
1092
|
return toForeignCallResult([toSingle(new Fr(timestamp))]);
|
|
964
1093
|
}
|
|
965
1094
|
|
|
966
|
-
|
|
967
|
-
|
|
1095
|
+
// eslint-disable-next-line camelcase
|
|
1096
|
+
async aztec_avm_isStaticCall() {
|
|
1097
|
+
const isStaticCall = await this.handlerAsAvm().isStaticCall();
|
|
968
1098
|
|
|
969
1099
|
return toForeignCallResult([toSingle(new Fr(isStaticCall ? 1 : 0))]);
|
|
970
1100
|
}
|
|
971
1101
|
|
|
972
|
-
|
|
973
|
-
|
|
1102
|
+
// eslint-disable-next-line camelcase
|
|
1103
|
+
async aztec_avm_chainId() {
|
|
1104
|
+
const chainId = await this.handlerAsAvm().chainId();
|
|
974
1105
|
|
|
975
1106
|
return toForeignCallResult([toSingle(chainId)]);
|
|
976
1107
|
}
|
|
977
1108
|
|
|
978
|
-
|
|
979
|
-
|
|
1109
|
+
// eslint-disable-next-line camelcase
|
|
1110
|
+
async aztec_avm_version() {
|
|
1111
|
+
const version = await this.handlerAsAvm().version();
|
|
980
1112
|
|
|
981
1113
|
return toForeignCallResult([toSingle(version)]);
|
|
982
1114
|
}
|
|
983
1115
|
|
|
984
|
-
|
|
1116
|
+
// eslint-disable-next-line camelcase
|
|
1117
|
+
aztec_avm_returndataSize() {
|
|
985
1118
|
throw new Error(
|
|
986
1119
|
'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
|
|
987
1120
|
);
|
|
988
1121
|
}
|
|
989
1122
|
|
|
990
|
-
|
|
1123
|
+
// eslint-disable-next-line camelcase
|
|
1124
|
+
aztec_avm_returndataCopy(_foreignRdOffset: ForeignCallSingle, _foreignCopySize: ForeignCallSingle) {
|
|
991
1125
|
throw new Error(
|
|
992
1126
|
'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
|
|
993
1127
|
);
|
|
994
1128
|
}
|
|
995
1129
|
|
|
996
|
-
|
|
1130
|
+
// eslint-disable-next-line camelcase
|
|
1131
|
+
aztec_avm_call(
|
|
997
1132
|
_foreignL2Gas: ForeignCallSingle,
|
|
998
1133
|
_foreignDaGas: ForeignCallSingle,
|
|
999
1134
|
_foreignAddress: ForeignCallSingle,
|
|
@@ -1005,7 +1140,8 @@ export class RPCTranslator {
|
|
|
1005
1140
|
);
|
|
1006
1141
|
}
|
|
1007
1142
|
|
|
1008
|
-
|
|
1143
|
+
// eslint-disable-next-line camelcase
|
|
1144
|
+
aztec_avm_staticCall(
|
|
1009
1145
|
_foreignL2Gas: ForeignCallSingle,
|
|
1010
1146
|
_foreignDaGas: ForeignCallSingle,
|
|
1011
1147
|
_foreignAddress: ForeignCallSingle,
|
|
@@ -1017,13 +1153,15 @@ export class RPCTranslator {
|
|
|
1017
1153
|
);
|
|
1018
1154
|
}
|
|
1019
1155
|
|
|
1020
|
-
|
|
1156
|
+
// eslint-disable-next-line camelcase
|
|
1157
|
+
aztec_avm_successCopy() {
|
|
1021
1158
|
throw new Error(
|
|
1022
1159
|
'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
|
|
1023
1160
|
);
|
|
1024
1161
|
}
|
|
1025
1162
|
|
|
1026
|
-
|
|
1163
|
+
// eslint-disable-next-line camelcase
|
|
1164
|
+
async aztec_txe_privateCallNewFlow(
|
|
1027
1165
|
foreignFrom: ForeignCallSingle,
|
|
1028
1166
|
foreignTargetContractAddress: ForeignCallSingle,
|
|
1029
1167
|
foreignFunctionSelector: ForeignCallSingle,
|
|
@@ -1038,7 +1176,7 @@ export class RPCTranslator {
|
|
|
1038
1176
|
const argsHash = fromSingle(foreignArgsHash);
|
|
1039
1177
|
const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
|
|
1040
1178
|
|
|
1041
|
-
const returnValues = await this.handlerAsTxe().
|
|
1179
|
+
const returnValues = await this.handlerAsTxe().privateCallNewFlow(
|
|
1042
1180
|
from,
|
|
1043
1181
|
targetContractAddress,
|
|
1044
1182
|
functionSelector,
|
|
@@ -1053,7 +1191,8 @@ export class RPCTranslator {
|
|
|
1053
1191
|
return toForeignCallResult([toArray(returnValues)]);
|
|
1054
1192
|
}
|
|
1055
1193
|
|
|
1056
|
-
|
|
1194
|
+
// eslint-disable-next-line camelcase
|
|
1195
|
+
async aztec_txe_executeUtilityFunction(
|
|
1057
1196
|
foreignTargetContractAddress: ForeignCallSingle,
|
|
1058
1197
|
foreignFunctionSelector: ForeignCallSingle,
|
|
1059
1198
|
foreignArgs: ForeignCallArray,
|
|
@@ -1062,7 +1201,7 @@ export class RPCTranslator {
|
|
|
1062
1201
|
const functionSelector = FunctionSelector.fromField(fromSingle(foreignFunctionSelector));
|
|
1063
1202
|
const args = fromArray(foreignArgs);
|
|
1064
1203
|
|
|
1065
|
-
const returnValues = await this.handlerAsTxe().
|
|
1204
|
+
const returnValues = await this.handlerAsTxe().executeUtilityFunction(
|
|
1066
1205
|
targetContractAddress,
|
|
1067
1206
|
functionSelector,
|
|
1068
1207
|
args,
|
|
@@ -1074,7 +1213,8 @@ export class RPCTranslator {
|
|
|
1074
1213
|
return toForeignCallResult([toArray(returnValues)]);
|
|
1075
1214
|
}
|
|
1076
1215
|
|
|
1077
|
-
|
|
1216
|
+
// eslint-disable-next-line camelcase
|
|
1217
|
+
async aztec_txe_publicCallNewFlow(
|
|
1078
1218
|
foreignFrom: ForeignCallSingle,
|
|
1079
1219
|
foreignAddress: ForeignCallSingle,
|
|
1080
1220
|
foreignCalldata: ForeignCallArray,
|
|
@@ -1085,15 +1225,16 @@ export class RPCTranslator {
|
|
|
1085
1225
|
const calldata = fromArray(foreignCalldata);
|
|
1086
1226
|
const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
|
|
1087
1227
|
|
|
1088
|
-
const returnValues = await this.handlerAsTxe().
|
|
1228
|
+
const returnValues = await this.handlerAsTxe().publicCallNewFlow(from, address, calldata, isStaticCall);
|
|
1089
1229
|
|
|
1090
1230
|
// TODO(F-335): Avoid doing the following call here.
|
|
1091
1231
|
await this.stateHandler.cycleJob();
|
|
1092
1232
|
return toForeignCallResult([toArray(returnValues)]);
|
|
1093
1233
|
}
|
|
1094
1234
|
|
|
1095
|
-
|
|
1096
|
-
|
|
1235
|
+
// eslint-disable-next-line camelcase
|
|
1236
|
+
async aztec_prv_getSenderForTags() {
|
|
1237
|
+
const sender = await this.handlerAsPrivate().getSenderForTags();
|
|
1097
1238
|
|
|
1098
1239
|
// Return a Noir Option struct with `some` and `value` fields
|
|
1099
1240
|
if (sender === undefined) {
|
|
@@ -1105,19 +1246,21 @@ export class RPCTranslator {
|
|
|
1105
1246
|
}
|
|
1106
1247
|
}
|
|
1107
1248
|
|
|
1108
|
-
|
|
1249
|
+
// eslint-disable-next-line camelcase
|
|
1250
|
+
async aztec_prv_setSenderForTags(foreignSenderForTags: ForeignCallSingle) {
|
|
1109
1251
|
const senderForTags = AztecAddress.fromField(fromSingle(foreignSenderForTags));
|
|
1110
1252
|
|
|
1111
|
-
await this.handlerAsPrivate().
|
|
1253
|
+
await this.handlerAsPrivate().setSenderForTags(senderForTags);
|
|
1112
1254
|
|
|
1113
1255
|
return toForeignCallResult([]);
|
|
1114
1256
|
}
|
|
1115
1257
|
|
|
1116
|
-
|
|
1258
|
+
// eslint-disable-next-line camelcase
|
|
1259
|
+
async aztec_prv_getNextAppTagAsSender(foreignSender: ForeignCallSingle, foreignRecipient: ForeignCallSingle) {
|
|
1117
1260
|
const sender = AztecAddress.fromField(fromSingle(foreignSender));
|
|
1118
1261
|
const recipient = AztecAddress.fromField(fromSingle(foreignRecipient));
|
|
1119
1262
|
|
|
1120
|
-
const nextAppTag = await this.handlerAsPrivate().
|
|
1263
|
+
const nextAppTag = await this.handlerAsPrivate().getNextAppTagAsSender(sender, recipient);
|
|
1121
1264
|
|
|
1122
1265
|
return toForeignCallResult([toSingle(nextAppTag.value)]);
|
|
1123
1266
|
}
|