@aztec/txe 0.0.1-commit.e558bd1c → 0.0.1-commit.e588bc7e5
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 +23 -23
- package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
- package/dest/oracle/txe_oracle_top_level_context.js +123 -55
- package/dest/rpc_translator.d.ts +88 -83
- package/dest/rpc_translator.d.ts.map +1 -1
- package/dest/rpc_translator.js +285 -152
- 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 -8
- 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/global_variable_builder.d.ts +3 -3
- package/dest/state_machine/global_variable_builder.d.ts.map +1 -1
- package/dest/state_machine/global_variable_builder.js +1 -1
- package/dest/state_machine/index.d.ts +4 -2
- package/dest/state_machine/index.d.ts.map +1 -1
- package/dest/state_machine/index.js +7 -3
- package/dest/state_machine/mock_epoch_cache.d.ts +19 -3
- package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
- package/dest/state_machine/mock_epoch_cache.js +36 -2
- package/dest/state_machine/synchronizer.d.ts +5 -5
- package/dest/state_machine/synchronizer.d.ts.map +1 -1
- package/dest/state_machine/synchronizer.js +3 -3
- package/dest/txe_session.d.ts +10 -6
- package/dest/txe_session.d.ts.map +1 -1
- package/dest/txe_session.js +89 -24
- package/dest/util/encoding.d.ts +69 -1
- package/dest/util/encoding.d.ts.map +1 -1
- 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 +6 -25
- 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 +128 -102
- package/src/rpc_translator.ts +332 -174
- package/src/state_machine/archiver.ts +6 -5
- package/src/state_machine/dummy_p2p_client.ts +39 -22
- package/src/state_machine/global_variable_builder.ts +7 -1
- package/src/state_machine/index.ts +7 -1
- package/src/state_machine/mock_epoch_cache.ts +47 -3
- package/src/state_machine/synchronizer.ts +4 -4
- package/src/txe_session.ts +94 -72
- package/src/util/txe_public_contract_data_source.ts +10 -38
- 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_setHashPreimage(foreignValues: ForeignCallArray, foreignHash: ForeignCallSingle) {
|
|
313
343
|
const values = fromArray(foreignValues);
|
|
314
344
|
const hash = fromSingle(foreignHash);
|
|
315
345
|
|
|
316
|
-
this.handlerAsPrivate().
|
|
346
|
+
this.handlerAsPrivate().setHashPreimage(values, hash);
|
|
317
347
|
|
|
318
348
|
return toForeignCallResult([]);
|
|
319
349
|
}
|
|
320
350
|
|
|
321
|
-
|
|
351
|
+
// eslint-disable-next-line camelcase
|
|
352
|
+
async aztec_prv_getHashPreimage(foreignHash: ForeignCallSingle) {
|
|
322
353
|
const hash = fromSingle(foreignHash);
|
|
323
354
|
|
|
324
|
-
const returns = await this.handlerAsPrivate().
|
|
355
|
+
const returns = await this.handlerAsPrivate().getHashPreimage(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_getFromPublicStorage(
|
|
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().getFromPublicStorage(
|
|
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_doesNullifierExist(foreignInnerNullifier: ForeignCallSingle) {
|
|
525
560
|
const innerNullifier = fromSingle(foreignInnerNullifier);
|
|
526
561
|
|
|
527
|
-
const exists = await this.handlerAsUtility().
|
|
562
|
+
const exists = await this.handlerAsUtility().doesNullifierExist(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,10 +581,11 @@ export class RPCTranslator {
|
|
|
545
581
|
);
|
|
546
582
|
}
|
|
547
583
|
|
|
548
|
-
|
|
584
|
+
// eslint-disable-next-line camelcase
|
|
585
|
+
async aztec_utl_getPublicKeysAndPartialAddress(foreignAddress: ForeignCallSingle) {
|
|
549
586
|
const address = addressFromSingle(foreignAddress);
|
|
550
587
|
|
|
551
|
-
const result = await this.handlerAsUtility().
|
|
588
|
+
const result = await this.handlerAsUtility().getPublicKeysAndPartialAddress(address);
|
|
552
589
|
|
|
553
590
|
// We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
|
|
554
591
|
// with two fields: `some` (a boolean) and `value` (a field array in this case).
|
|
@@ -564,15 +601,17 @@ export class RPCTranslator {
|
|
|
564
601
|
}
|
|
565
602
|
}
|
|
566
603
|
|
|
567
|
-
|
|
604
|
+
// eslint-disable-next-line camelcase
|
|
605
|
+
async aztec_utl_getKeyValidationRequest(foreignPkMHash: ForeignCallSingle) {
|
|
568
606
|
const pkMHash = fromSingle(foreignPkMHash);
|
|
569
607
|
|
|
570
|
-
const keyValidationRequest = await this.handlerAsUtility().
|
|
608
|
+
const keyValidationRequest = await this.handlerAsUtility().getKeyValidationRequest(pkMHash);
|
|
571
609
|
|
|
572
610
|
return toForeignCallResult(keyValidationRequest.toFields().map(toSingle));
|
|
573
611
|
}
|
|
574
612
|
|
|
575
|
-
|
|
613
|
+
// eslint-disable-next-line camelcase
|
|
614
|
+
aztec_prv_callPrivateFunction(
|
|
576
615
|
_foreignTargetContractAddress: ForeignCallSingle,
|
|
577
616
|
_foreignFunctionSelector: ForeignCallSingle,
|
|
578
617
|
_foreignArgsHash: ForeignCallSingle,
|
|
@@ -584,11 +623,15 @@ export class RPCTranslator {
|
|
|
584
623
|
);
|
|
585
624
|
}
|
|
586
625
|
|
|
587
|
-
|
|
626
|
+
// eslint-disable-next-line camelcase
|
|
627
|
+
async aztec_utl_getNullifierMembershipWitness(
|
|
628
|
+
foreignBlockHash: ForeignCallSingle,
|
|
629
|
+
foreignNullifier: ForeignCallSingle,
|
|
630
|
+
) {
|
|
588
631
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
589
632
|
const nullifier = fromSingle(foreignNullifier);
|
|
590
633
|
|
|
591
|
-
const witness = await this.handlerAsUtility().
|
|
634
|
+
const witness = await this.handlerAsUtility().getNullifierMembershipWitness(blockHash, nullifier);
|
|
592
635
|
|
|
593
636
|
if (!witness) {
|
|
594
637
|
throw new Error(`Nullifier membership witness not found at block ${blockHash}.`);
|
|
@@ -596,10 +639,11 @@ export class RPCTranslator {
|
|
|
596
639
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
597
640
|
}
|
|
598
641
|
|
|
599
|
-
|
|
642
|
+
// eslint-disable-next-line camelcase
|
|
643
|
+
async aztec_utl_getAuthWitness(foreignMessageHash: ForeignCallSingle) {
|
|
600
644
|
const messageHash = fromSingle(foreignMessageHash);
|
|
601
645
|
|
|
602
|
-
const authWitness = await this.handlerAsUtility().
|
|
646
|
+
const authWitness = await this.handlerAsUtility().getAuthWitness(messageHash);
|
|
603
647
|
|
|
604
648
|
if (!authWitness) {
|
|
605
649
|
throw new Error(`Auth witness not found for message hash ${messageHash}.`);
|
|
@@ -607,44 +651,35 @@ export class RPCTranslator {
|
|
|
607
651
|
return toForeignCallResult([toArray(authWitness)]);
|
|
608
652
|
}
|
|
609
653
|
|
|
610
|
-
|
|
611
|
-
|
|
612
|
-
_foreignCalldataHash: ForeignCallSingle,
|
|
613
|
-
_foreignSideEffectCounter: ForeignCallSingle,
|
|
614
|
-
_foreignIsStaticCall: ForeignCallSingle,
|
|
615
|
-
) {
|
|
654
|
+
// eslint-disable-next-line camelcase
|
|
655
|
+
public aztec_prv_assertValidPublicCalldata(_foreignCalldataHash: ForeignCallSingle) {
|
|
616
656
|
throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
|
|
617
657
|
}
|
|
618
658
|
|
|
619
|
-
|
|
620
|
-
|
|
621
|
-
_foreignCalldataHash: ForeignCallSingle,
|
|
622
|
-
_foreignSideEffectCounter: ForeignCallSingle,
|
|
623
|
-
_foreignIsStaticCall: ForeignCallSingle,
|
|
624
|
-
) {
|
|
659
|
+
// eslint-disable-next-line camelcase
|
|
660
|
+
public aztec_prv_notifyRevertiblePhaseStart(_foreignMinRevertibleSideEffectCounter: ForeignCallSingle) {
|
|
625
661
|
throw new Error('Enqueueing public calls is not supported in TestEnvironment::private_context');
|
|
626
662
|
}
|
|
627
663
|
|
|
628
|
-
|
|
629
|
-
|
|
630
|
-
}
|
|
631
|
-
|
|
632
|
-
public async privateIsSideEffectCounterRevertible(foreignSideEffectCounter: ForeignCallSingle) {
|
|
664
|
+
// eslint-disable-next-line camelcase
|
|
665
|
+
public async aztec_prv_isExecutionInRevertiblePhase(foreignSideEffectCounter: ForeignCallSingle) {
|
|
633
666
|
const sideEffectCounter = fromSingle(foreignSideEffectCounter).toNumber();
|
|
634
|
-
const isRevertible = await this.handlerAsPrivate().
|
|
667
|
+
const isRevertible = await this.handlerAsPrivate().isExecutionInRevertiblePhase(sideEffectCounter);
|
|
635
668
|
return toForeignCallResult([toSingle(new Fr(isRevertible))]);
|
|
636
669
|
}
|
|
637
670
|
|
|
638
|
-
|
|
639
|
-
|
|
671
|
+
// eslint-disable-next-line camelcase
|
|
672
|
+
aztec_utl_getUtilityContext() {
|
|
673
|
+
const context = this.handlerAsUtility().getUtilityContext();
|
|
640
674
|
|
|
641
675
|
return toForeignCallResult(context.toNoirRepresentation());
|
|
642
676
|
}
|
|
643
677
|
|
|
644
|
-
|
|
678
|
+
// eslint-disable-next-line camelcase
|
|
679
|
+
async aztec_utl_getBlockHeader(foreignBlockNumber: ForeignCallSingle) {
|
|
645
680
|
const blockNumber = BlockNumber(fromSingle(foreignBlockNumber).toNumber());
|
|
646
681
|
|
|
647
|
-
const header = await this.handlerAsUtility().
|
|
682
|
+
const header = await this.handlerAsUtility().getBlockHeader(blockNumber);
|
|
648
683
|
|
|
649
684
|
if (!header) {
|
|
650
685
|
throw new Error(`Block header not found for block ${blockNumber}.`);
|
|
@@ -652,14 +687,15 @@ export class RPCTranslator {
|
|
|
652
687
|
return toForeignCallResult(header.toFields().map(toSingle));
|
|
653
688
|
}
|
|
654
689
|
|
|
655
|
-
|
|
690
|
+
// eslint-disable-next-line camelcase
|
|
691
|
+
async aztec_utl_getNoteHashMembershipWitness(
|
|
656
692
|
foreignAnchorBlockHash: ForeignCallSingle,
|
|
657
693
|
foreignNoteHash: ForeignCallSingle,
|
|
658
694
|
) {
|
|
659
695
|
const blockHash = new BlockHash(fromSingle(foreignAnchorBlockHash));
|
|
660
696
|
const noteHash = fromSingle(foreignNoteHash);
|
|
661
697
|
|
|
662
|
-
const witness = await this.handlerAsUtility().
|
|
698
|
+
const witness = await this.handlerAsUtility().getNoteHashMembershipWitness(blockHash, noteHash);
|
|
663
699
|
|
|
664
700
|
if (!witness) {
|
|
665
701
|
throw new Error(`Note hash ${noteHash} not found in the note hash tree at block ${blockHash.toString()}.`);
|
|
@@ -667,14 +703,15 @@ export class RPCTranslator {
|
|
|
667
703
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
668
704
|
}
|
|
669
705
|
|
|
670
|
-
|
|
706
|
+
// eslint-disable-next-line camelcase
|
|
707
|
+
async aztec_utl_getBlockHashMembershipWitness(
|
|
671
708
|
foreignAnchorBlockHash: ForeignCallSingle,
|
|
672
709
|
foreignBlockHash: ForeignCallSingle,
|
|
673
710
|
) {
|
|
674
711
|
const anchorBlockHash = new BlockHash(fromSingle(foreignAnchorBlockHash));
|
|
675
712
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
676
713
|
|
|
677
|
-
const witness = await this.handlerAsUtility().
|
|
714
|
+
const witness = await this.handlerAsUtility().getBlockHashMembershipWitness(anchorBlockHash, blockHash);
|
|
678
715
|
|
|
679
716
|
if (!witness) {
|
|
680
717
|
throw new Error(
|
|
@@ -684,14 +721,15 @@ export class RPCTranslator {
|
|
|
684
721
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
685
722
|
}
|
|
686
723
|
|
|
687
|
-
|
|
724
|
+
// eslint-disable-next-line camelcase
|
|
725
|
+
async aztec_utl_getLowNullifierMembershipWitness(
|
|
688
726
|
foreignBlockHash: ForeignCallSingle,
|
|
689
727
|
foreignNullifier: ForeignCallSingle,
|
|
690
728
|
) {
|
|
691
729
|
const blockHash = new BlockHash(fromSingle(foreignBlockHash));
|
|
692
730
|
const nullifier = fromSingle(foreignNullifier);
|
|
693
731
|
|
|
694
|
-
const witness = await this.handlerAsUtility().
|
|
732
|
+
const witness = await this.handlerAsUtility().getLowNullifierMembershipWitness(blockHash, nullifier);
|
|
695
733
|
|
|
696
734
|
if (!witness) {
|
|
697
735
|
throw new Error(`Low nullifier witness not found for nullifier ${nullifier} at block ${blockHash}.`);
|
|
@@ -699,74 +737,121 @@ export class RPCTranslator {
|
|
|
699
737
|
return toForeignCallResult(witness.toNoirRepresentation());
|
|
700
738
|
}
|
|
701
739
|
|
|
702
|
-
|
|
740
|
+
// eslint-disable-next-line camelcase
|
|
741
|
+
async aztec_utl_getPendingTaggedLogs(
|
|
742
|
+
foreignPendingTaggedLogArrayBaseSlot: ForeignCallSingle,
|
|
743
|
+
foreignScope: ForeignCallSingle,
|
|
744
|
+
) {
|
|
703
745
|
const pendingTaggedLogArrayBaseSlot = fromSingle(foreignPendingTaggedLogArrayBaseSlot);
|
|
746
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
704
747
|
|
|
705
|
-
await this.handlerAsUtility().
|
|
748
|
+
await this.handlerAsUtility().getPendingTaggedLogs(pendingTaggedLogArrayBaseSlot, scope);
|
|
706
749
|
|
|
707
750
|
return toForeignCallResult([]);
|
|
708
751
|
}
|
|
709
752
|
|
|
710
|
-
|
|
753
|
+
// eslint-disable-next-line camelcase
|
|
754
|
+
public async aztec_utl_validateAndStoreEnqueuedNotesAndEvents(
|
|
711
755
|
foreignContractAddress: ForeignCallSingle,
|
|
712
756
|
foreignNoteValidationRequestsArrayBaseSlot: ForeignCallSingle,
|
|
713
757
|
foreignEventValidationRequestsArrayBaseSlot: ForeignCallSingle,
|
|
758
|
+
foreignMaxNotePackedLen: ForeignCallSingle,
|
|
759
|
+
foreignMaxEventSerializedLen: ForeignCallSingle,
|
|
760
|
+
foreignScope: ForeignCallSingle,
|
|
714
761
|
) {
|
|
715
762
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
716
763
|
const noteValidationRequestsArrayBaseSlot = fromSingle(foreignNoteValidationRequestsArrayBaseSlot);
|
|
717
764
|
const eventValidationRequestsArrayBaseSlot = fromSingle(foreignEventValidationRequestsArrayBaseSlot);
|
|
765
|
+
const maxNotePackedLen = fromSingle(foreignMaxNotePackedLen).toNumber();
|
|
766
|
+
const maxEventSerializedLen = fromSingle(foreignMaxEventSerializedLen).toNumber();
|
|
767
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
718
768
|
|
|
719
|
-
await this.handlerAsUtility().
|
|
769
|
+
await this.handlerAsUtility().validateAndStoreEnqueuedNotesAndEvents(
|
|
720
770
|
contractAddress,
|
|
721
771
|
noteValidationRequestsArrayBaseSlot,
|
|
722
772
|
eventValidationRequestsArrayBaseSlot,
|
|
773
|
+
maxNotePackedLen,
|
|
774
|
+
maxEventSerializedLen,
|
|
775
|
+
scope,
|
|
723
776
|
);
|
|
724
777
|
|
|
725
778
|
return toForeignCallResult([]);
|
|
726
779
|
}
|
|
727
780
|
|
|
728
|
-
|
|
781
|
+
// eslint-disable-next-line camelcase
|
|
782
|
+
public async aztec_utl_getLogsByTag(
|
|
729
783
|
foreignContractAddress: ForeignCallSingle,
|
|
730
784
|
foreignLogRetrievalRequestsArrayBaseSlot: ForeignCallSingle,
|
|
731
785
|
foreignLogRetrievalResponsesArrayBaseSlot: ForeignCallSingle,
|
|
786
|
+
foreignScope: ForeignCallSingle,
|
|
732
787
|
) {
|
|
733
788
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
734
789
|
const logRetrievalRequestsArrayBaseSlot = fromSingle(foreignLogRetrievalRequestsArrayBaseSlot);
|
|
735
790
|
const logRetrievalResponsesArrayBaseSlot = fromSingle(foreignLogRetrievalResponsesArrayBaseSlot);
|
|
791
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
736
792
|
|
|
737
|
-
await this.handlerAsUtility().
|
|
793
|
+
await this.handlerAsUtility().getLogsByTag(
|
|
738
794
|
contractAddress,
|
|
739
795
|
logRetrievalRequestsArrayBaseSlot,
|
|
740
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,
|
|
741
820
|
);
|
|
742
821
|
|
|
743
822
|
return toForeignCallResult([]);
|
|
744
823
|
}
|
|
745
824
|
|
|
746
|
-
|
|
825
|
+
// eslint-disable-next-line camelcase
|
|
826
|
+
aztec_utl_setCapsule(
|
|
747
827
|
foreignContractAddress: ForeignCallSingle,
|
|
748
828
|
foreignSlot: ForeignCallSingle,
|
|
749
829
|
foreignCapsule: ForeignCallArray,
|
|
830
|
+
foreignScope: ForeignCallSingle,
|
|
750
831
|
) {
|
|
751
832
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
752
833
|
const slot = fromSingle(foreignSlot);
|
|
753
834
|
const capsule = fromArray(foreignCapsule);
|
|
835
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
754
836
|
|
|
755
|
-
|
|
837
|
+
this.handlerAsUtility().setCapsule(contractAddress, slot, capsule, scope);
|
|
756
838
|
|
|
757
839
|
return toForeignCallResult([]);
|
|
758
840
|
}
|
|
759
841
|
|
|
760
|
-
|
|
842
|
+
// eslint-disable-next-line camelcase
|
|
843
|
+
async aztec_utl_getCapsule(
|
|
761
844
|
foreignContractAddress: ForeignCallSingle,
|
|
762
845
|
foreignSlot: ForeignCallSingle,
|
|
763
846
|
foreignTSize: ForeignCallSingle,
|
|
847
|
+
foreignScope: ForeignCallSingle,
|
|
764
848
|
) {
|
|
765
849
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
766
850
|
const slot = fromSingle(foreignSlot);
|
|
767
851
|
const tSize = fromSingle(foreignTSize).toNumber();
|
|
852
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
768
853
|
|
|
769
|
-
const values = await this.handlerAsUtility().
|
|
854
|
+
const values = await this.handlerAsUtility().getCapsule(contractAddress, slot, scope);
|
|
770
855
|
|
|
771
856
|
// We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
|
|
772
857
|
// with two fields: `some` (a boolean) and `value` (a field array in this case).
|
|
@@ -779,27 +864,36 @@ export class RPCTranslator {
|
|
|
779
864
|
}
|
|
780
865
|
}
|
|
781
866
|
|
|
782
|
-
|
|
867
|
+
// eslint-disable-next-line camelcase
|
|
868
|
+
aztec_utl_deleteCapsule(
|
|
869
|
+
foreignContractAddress: ForeignCallSingle,
|
|
870
|
+
foreignSlot: ForeignCallSingle,
|
|
871
|
+
foreignScope: ForeignCallSingle,
|
|
872
|
+
) {
|
|
783
873
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
784
874
|
const slot = fromSingle(foreignSlot);
|
|
875
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
785
876
|
|
|
786
|
-
|
|
877
|
+
this.handlerAsUtility().deleteCapsule(contractAddress, slot, scope);
|
|
787
878
|
|
|
788
879
|
return toForeignCallResult([]);
|
|
789
880
|
}
|
|
790
881
|
|
|
791
|
-
|
|
882
|
+
// eslint-disable-next-line camelcase
|
|
883
|
+
async aztec_utl_copyCapsule(
|
|
792
884
|
foreignContractAddress: ForeignCallSingle,
|
|
793
885
|
foreignSrcSlot: ForeignCallSingle,
|
|
794
886
|
foreignDstSlot: ForeignCallSingle,
|
|
795
887
|
foreignNumEntries: ForeignCallSingle,
|
|
888
|
+
foreignScope: ForeignCallSingle,
|
|
796
889
|
) {
|
|
797
890
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
798
891
|
const srcSlot = fromSingle(foreignSrcSlot);
|
|
799
892
|
const dstSlot = fromSingle(foreignDstSlot);
|
|
800
893
|
const numEntries = fromSingle(foreignNumEntries).toNumber();
|
|
894
|
+
const scope = AztecAddress.fromField(fromSingle(foreignScope));
|
|
801
895
|
|
|
802
|
-
await this.handlerAsUtility().
|
|
896
|
+
await this.handlerAsUtility().copyCapsule(contractAddress, srcSlot, dstSlot, numEntries, scope);
|
|
803
897
|
|
|
804
898
|
return toForeignCallResult([]);
|
|
805
899
|
}
|
|
@@ -808,7 +902,8 @@ export class RPCTranslator {
|
|
|
808
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
|
|
809
903
|
// to implement this function here. Isn't there a way to programmatically identify that this is missing, given the
|
|
810
904
|
// existence of a txe_oracle method?
|
|
811
|
-
|
|
905
|
+
// eslint-disable-next-line camelcase
|
|
906
|
+
async aztec_utl_decryptAes128(
|
|
812
907
|
foreignCiphertextBVecStorage: ForeignCallArray,
|
|
813
908
|
foreignCiphertextLength: ForeignCallSingle,
|
|
814
909
|
foreignIv: ForeignCallArray,
|
|
@@ -818,18 +913,27 @@ export class RPCTranslator {
|
|
|
818
913
|
const iv = fromUintArray(foreignIv, 8);
|
|
819
914
|
const symKey = fromUintArray(foreignSymKey, 8);
|
|
820
915
|
|
|
821
|
-
|
|
822
|
-
|
|
823
|
-
|
|
824
|
-
|
|
825
|
-
|
|
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
|
+
}
|
|
826
928
|
}
|
|
827
929
|
|
|
828
|
-
|
|
930
|
+
// eslint-disable-next-line camelcase
|
|
931
|
+
async aztec_utl_getSharedSecret(
|
|
829
932
|
foreignAddress: ForeignCallSingle,
|
|
830
933
|
foreignEphPKField0: ForeignCallSingle,
|
|
831
934
|
foreignEphPKField1: ForeignCallSingle,
|
|
832
935
|
foreignEphPKField2: ForeignCallSingle,
|
|
936
|
+
foreignContractAddress: ForeignCallSingle,
|
|
833
937
|
) {
|
|
834
938
|
const address = AztecAddress.fromField(fromSingle(foreignAddress));
|
|
835
939
|
const ephPK = Point.fromFields([
|
|
@@ -837,45 +941,68 @@ export class RPCTranslator {
|
|
|
837
941
|
fromSingle(foreignEphPKField1),
|
|
838
942
|
fromSingle(foreignEphPKField2),
|
|
839
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));
|
|
840
962
|
|
|
841
|
-
|
|
963
|
+
this.handlerAsUtility().setContractSyncCacheInvalid(contractAddress, scopes);
|
|
842
964
|
|
|
843
|
-
return
|
|
965
|
+
return Promise.resolve(toForeignCallResult([]));
|
|
844
966
|
}
|
|
845
967
|
|
|
846
|
-
|
|
968
|
+
// eslint-disable-next-line camelcase
|
|
969
|
+
aztec_utl_emitOffchainEffect(_foreignData: ForeignCallArray) {
|
|
847
970
|
throw new Error('Offchain effects are not yet supported in the TestEnvironment');
|
|
848
971
|
}
|
|
849
972
|
|
|
850
973
|
// AVM opcodes
|
|
851
974
|
|
|
852
|
-
|
|
975
|
+
// eslint-disable-next-line camelcase
|
|
976
|
+
aztec_avm_emitPublicLog(_foreignMessage: ForeignCallArray) {
|
|
853
977
|
// TODO(#8811): Implement
|
|
854
978
|
return toForeignCallResult([]);
|
|
855
979
|
}
|
|
856
980
|
|
|
857
|
-
|
|
981
|
+
// eslint-disable-next-line camelcase
|
|
982
|
+
async aztec_avm_storageRead(foreignSlot: ForeignCallSingle, foreignContractAddress: ForeignCallSingle) {
|
|
858
983
|
const slot = fromSingle(foreignSlot);
|
|
859
984
|
const contractAddress = AztecAddress.fromField(fromSingle(foreignContractAddress));
|
|
860
985
|
|
|
861
|
-
const value = (await this.handlerAsAvm().
|
|
986
|
+
const value = (await this.handlerAsAvm().storageRead(slot, contractAddress)).value;
|
|
862
987
|
|
|
863
988
|
return toForeignCallResult([toSingle(new Fr(value))]);
|
|
864
989
|
}
|
|
865
990
|
|
|
866
|
-
|
|
991
|
+
// eslint-disable-next-line camelcase
|
|
992
|
+
async aztec_avm_storageWrite(foreignSlot: ForeignCallSingle, foreignValue: ForeignCallSingle) {
|
|
867
993
|
const slot = fromSingle(foreignSlot);
|
|
868
994
|
const value = fromSingle(foreignValue);
|
|
869
995
|
|
|
870
|
-
await this.handlerAsAvm().
|
|
996
|
+
await this.handlerAsAvm().storageWrite(slot, value);
|
|
871
997
|
|
|
872
998
|
return toForeignCallResult([]);
|
|
873
999
|
}
|
|
874
1000
|
|
|
875
|
-
|
|
1001
|
+
// eslint-disable-next-line camelcase
|
|
1002
|
+
async aztec_avm_getContractInstanceDeployer(foreignAddress: ForeignCallSingle) {
|
|
876
1003
|
const address = addressFromSingle(foreignAddress);
|
|
877
1004
|
|
|
878
|
-
const instance = await this.handlerAsUtility().
|
|
1005
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
879
1006
|
|
|
880
1007
|
return toForeignCallResult([
|
|
881
1008
|
toSingle(instance.deployer),
|
|
@@ -884,10 +1011,11 @@ export class RPCTranslator {
|
|
|
884
1011
|
]);
|
|
885
1012
|
}
|
|
886
1013
|
|
|
887
|
-
|
|
1014
|
+
// eslint-disable-next-line camelcase
|
|
1015
|
+
async aztec_avm_getContractInstanceClassId(foreignAddress: ForeignCallSingle) {
|
|
888
1016
|
const address = addressFromSingle(foreignAddress);
|
|
889
1017
|
|
|
890
|
-
const instance = await this.handlerAsUtility().
|
|
1018
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
891
1019
|
|
|
892
1020
|
return toForeignCallResult([
|
|
893
1021
|
toSingle(instance.currentContractClassId),
|
|
@@ -896,10 +1024,11 @@ export class RPCTranslator {
|
|
|
896
1024
|
]);
|
|
897
1025
|
}
|
|
898
1026
|
|
|
899
|
-
|
|
1027
|
+
// eslint-disable-next-line camelcase
|
|
1028
|
+
async aztec_avm_getContractInstanceInitializationHash(foreignAddress: ForeignCallSingle) {
|
|
900
1029
|
const address = addressFromSingle(foreignAddress);
|
|
901
1030
|
|
|
902
|
-
const instance = await this.handlerAsUtility().
|
|
1031
|
+
const instance = await this.handlerAsUtility().getContractInstance(address);
|
|
903
1032
|
|
|
904
1033
|
return toForeignCallResult([
|
|
905
1034
|
toSingle(instance.initializationHash),
|
|
@@ -908,85 +1037,98 @@ export class RPCTranslator {
|
|
|
908
1037
|
]);
|
|
909
1038
|
}
|
|
910
1039
|
|
|
911
|
-
|
|
912
|
-
|
|
1040
|
+
// eslint-disable-next-line camelcase
|
|
1041
|
+
async aztec_avm_sender() {
|
|
1042
|
+
const sender = await this.handlerAsAvm().sender();
|
|
913
1043
|
|
|
914
1044
|
return toForeignCallResult([toSingle(sender)]);
|
|
915
1045
|
}
|
|
916
1046
|
|
|
917
|
-
|
|
1047
|
+
// eslint-disable-next-line camelcase
|
|
1048
|
+
async aztec_avm_emitNullifier(foreignNullifier: ForeignCallSingle) {
|
|
918
1049
|
const nullifier = fromSingle(foreignNullifier);
|
|
919
1050
|
|
|
920
|
-
await this.handlerAsAvm().
|
|
1051
|
+
await this.handlerAsAvm().emitNullifier(nullifier);
|
|
921
1052
|
|
|
922
1053
|
return toForeignCallResult([]);
|
|
923
1054
|
}
|
|
924
1055
|
|
|
925
|
-
|
|
1056
|
+
// eslint-disable-next-line camelcase
|
|
1057
|
+
async aztec_avm_emitNoteHash(foreignNoteHash: ForeignCallSingle) {
|
|
926
1058
|
const noteHash = fromSingle(foreignNoteHash);
|
|
927
1059
|
|
|
928
|
-
await this.handlerAsAvm().
|
|
1060
|
+
await this.handlerAsAvm().emitNoteHash(noteHash);
|
|
929
1061
|
|
|
930
1062
|
return toForeignCallResult([]);
|
|
931
1063
|
}
|
|
932
1064
|
|
|
933
|
-
|
|
1065
|
+
// eslint-disable-next-line camelcase
|
|
1066
|
+
async aztec_avm_nullifierExists(foreignSiloedNullifier: ForeignCallSingle) {
|
|
934
1067
|
const siloedNullifier = fromSingle(foreignSiloedNullifier);
|
|
935
1068
|
|
|
936
|
-
const exists = await this.handlerAsAvm().
|
|
1069
|
+
const exists = await this.handlerAsAvm().nullifierExists(siloedNullifier);
|
|
937
1070
|
|
|
938
1071
|
return toForeignCallResult([toSingle(new Fr(exists))]);
|
|
939
1072
|
}
|
|
940
1073
|
|
|
941
|
-
|
|
942
|
-
|
|
1074
|
+
// eslint-disable-next-line camelcase
|
|
1075
|
+
async aztec_avm_address() {
|
|
1076
|
+
const contractAddress = await this.handlerAsAvm().address();
|
|
943
1077
|
|
|
944
1078
|
return toForeignCallResult([toSingle(contractAddress.toField())]);
|
|
945
1079
|
}
|
|
946
1080
|
|
|
947
|
-
|
|
948
|
-
|
|
1081
|
+
// eslint-disable-next-line camelcase
|
|
1082
|
+
async aztec_avm_blockNumber() {
|
|
1083
|
+
const blockNumber = await this.handlerAsAvm().blockNumber();
|
|
949
1084
|
|
|
950
1085
|
return toForeignCallResult([toSingle(new Fr(blockNumber))]);
|
|
951
1086
|
}
|
|
952
1087
|
|
|
953
|
-
|
|
954
|
-
|
|
1088
|
+
// eslint-disable-next-line camelcase
|
|
1089
|
+
async aztec_avm_timestamp() {
|
|
1090
|
+
const timestamp = await this.handlerAsAvm().timestamp();
|
|
955
1091
|
|
|
956
1092
|
return toForeignCallResult([toSingle(new Fr(timestamp))]);
|
|
957
1093
|
}
|
|
958
1094
|
|
|
959
|
-
|
|
960
|
-
|
|
1095
|
+
// eslint-disable-next-line camelcase
|
|
1096
|
+
async aztec_avm_isStaticCall() {
|
|
1097
|
+
const isStaticCall = await this.handlerAsAvm().isStaticCall();
|
|
961
1098
|
|
|
962
1099
|
return toForeignCallResult([toSingle(new Fr(isStaticCall ? 1 : 0))]);
|
|
963
1100
|
}
|
|
964
1101
|
|
|
965
|
-
|
|
966
|
-
|
|
1102
|
+
// eslint-disable-next-line camelcase
|
|
1103
|
+
async aztec_avm_chainId() {
|
|
1104
|
+
const chainId = await this.handlerAsAvm().chainId();
|
|
967
1105
|
|
|
968
1106
|
return toForeignCallResult([toSingle(chainId)]);
|
|
969
1107
|
}
|
|
970
1108
|
|
|
971
|
-
|
|
972
|
-
|
|
1109
|
+
// eslint-disable-next-line camelcase
|
|
1110
|
+
async aztec_avm_version() {
|
|
1111
|
+
const version = await this.handlerAsAvm().version();
|
|
973
1112
|
|
|
974
1113
|
return toForeignCallResult([toSingle(version)]);
|
|
975
1114
|
}
|
|
976
1115
|
|
|
977
|
-
|
|
1116
|
+
// eslint-disable-next-line camelcase
|
|
1117
|
+
aztec_avm_returndataSize() {
|
|
978
1118
|
throw new Error(
|
|
979
1119
|
'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
|
|
980
1120
|
);
|
|
981
1121
|
}
|
|
982
1122
|
|
|
983
|
-
|
|
1123
|
+
// eslint-disable-next-line camelcase
|
|
1124
|
+
aztec_avm_returndataCopy(_foreignRdOffset: ForeignCallSingle, _foreignCopySize: ForeignCallSingle) {
|
|
984
1125
|
throw new Error(
|
|
985
1126
|
'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
|
|
986
1127
|
);
|
|
987
1128
|
}
|
|
988
1129
|
|
|
989
|
-
|
|
1130
|
+
// eslint-disable-next-line camelcase
|
|
1131
|
+
aztec_avm_call(
|
|
990
1132
|
_foreignL2Gas: ForeignCallSingle,
|
|
991
1133
|
_foreignDaGas: ForeignCallSingle,
|
|
992
1134
|
_foreignAddress: ForeignCallSingle,
|
|
@@ -998,7 +1140,8 @@ export class RPCTranslator {
|
|
|
998
1140
|
);
|
|
999
1141
|
}
|
|
1000
1142
|
|
|
1001
|
-
|
|
1143
|
+
// eslint-disable-next-line camelcase
|
|
1144
|
+
aztec_avm_staticCall(
|
|
1002
1145
|
_foreignL2Gas: ForeignCallSingle,
|
|
1003
1146
|
_foreignDaGas: ForeignCallSingle,
|
|
1004
1147
|
_foreignAddress: ForeignCallSingle,
|
|
@@ -1010,13 +1153,15 @@ export class RPCTranslator {
|
|
|
1010
1153
|
);
|
|
1011
1154
|
}
|
|
1012
1155
|
|
|
1013
|
-
|
|
1156
|
+
// eslint-disable-next-line camelcase
|
|
1157
|
+
aztec_avm_successCopy() {
|
|
1014
1158
|
throw new Error(
|
|
1015
1159
|
'Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead',
|
|
1016
1160
|
);
|
|
1017
1161
|
}
|
|
1018
1162
|
|
|
1019
|
-
|
|
1163
|
+
// eslint-disable-next-line camelcase
|
|
1164
|
+
async aztec_txe_privateCallNewFlow(
|
|
1020
1165
|
foreignFrom: ForeignCallSingle,
|
|
1021
1166
|
foreignTargetContractAddress: ForeignCallSingle,
|
|
1022
1167
|
foreignFunctionSelector: ForeignCallSingle,
|
|
@@ -1031,19 +1176,23 @@ export class RPCTranslator {
|
|
|
1031
1176
|
const argsHash = fromSingle(foreignArgsHash);
|
|
1032
1177
|
const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
|
|
1033
1178
|
|
|
1034
|
-
const returnValues = await this.handlerAsTxe().
|
|
1179
|
+
const returnValues = await this.handlerAsTxe().privateCallNewFlow(
|
|
1035
1180
|
from,
|
|
1036
1181
|
targetContractAddress,
|
|
1037
1182
|
functionSelector,
|
|
1038
1183
|
args,
|
|
1039
1184
|
argsHash,
|
|
1040
1185
|
isStaticCall,
|
|
1186
|
+
this.stateHandler.getCurrentJob(),
|
|
1041
1187
|
);
|
|
1042
1188
|
|
|
1189
|
+
// TODO(F-335): Avoid doing the following call here.
|
|
1190
|
+
await this.stateHandler.cycleJob();
|
|
1043
1191
|
return toForeignCallResult([toArray(returnValues)]);
|
|
1044
1192
|
}
|
|
1045
1193
|
|
|
1046
|
-
|
|
1194
|
+
// eslint-disable-next-line camelcase
|
|
1195
|
+
async aztec_txe_executeUtilityFunction(
|
|
1047
1196
|
foreignTargetContractAddress: ForeignCallSingle,
|
|
1048
1197
|
foreignFunctionSelector: ForeignCallSingle,
|
|
1049
1198
|
foreignArgs: ForeignCallArray,
|
|
@@ -1052,16 +1201,20 @@ export class RPCTranslator {
|
|
|
1052
1201
|
const functionSelector = FunctionSelector.fromField(fromSingle(foreignFunctionSelector));
|
|
1053
1202
|
const args = fromArray(foreignArgs);
|
|
1054
1203
|
|
|
1055
|
-
const returnValues = await this.handlerAsTxe().
|
|
1204
|
+
const returnValues = await this.handlerAsTxe().executeUtilityFunction(
|
|
1056
1205
|
targetContractAddress,
|
|
1057
1206
|
functionSelector,
|
|
1058
1207
|
args,
|
|
1208
|
+
this.stateHandler.getCurrentJob(),
|
|
1059
1209
|
);
|
|
1060
1210
|
|
|
1211
|
+
// TODO(F-335): Avoid doing the following call here.
|
|
1212
|
+
await this.stateHandler.cycleJob();
|
|
1061
1213
|
return toForeignCallResult([toArray(returnValues)]);
|
|
1062
1214
|
}
|
|
1063
1215
|
|
|
1064
|
-
|
|
1216
|
+
// eslint-disable-next-line camelcase
|
|
1217
|
+
async aztec_txe_publicCallNewFlow(
|
|
1065
1218
|
foreignFrom: ForeignCallSingle,
|
|
1066
1219
|
foreignAddress: ForeignCallSingle,
|
|
1067
1220
|
foreignCalldata: ForeignCallArray,
|
|
@@ -1072,13 +1225,16 @@ export class RPCTranslator {
|
|
|
1072
1225
|
const calldata = fromArray(foreignCalldata);
|
|
1073
1226
|
const isStaticCall = fromSingle(foreignIsStaticCall).toBool();
|
|
1074
1227
|
|
|
1075
|
-
const returnValues = await this.handlerAsTxe().
|
|
1228
|
+
const returnValues = await this.handlerAsTxe().publicCallNewFlow(from, address, calldata, isStaticCall);
|
|
1076
1229
|
|
|
1230
|
+
// TODO(F-335): Avoid doing the following call here.
|
|
1231
|
+
await this.stateHandler.cycleJob();
|
|
1077
1232
|
return toForeignCallResult([toArray(returnValues)]);
|
|
1078
1233
|
}
|
|
1079
1234
|
|
|
1080
|
-
|
|
1081
|
-
|
|
1235
|
+
// eslint-disable-next-line camelcase
|
|
1236
|
+
async aztec_prv_getSenderForTags() {
|
|
1237
|
+
const sender = await this.handlerAsPrivate().getSenderForTags();
|
|
1082
1238
|
|
|
1083
1239
|
// Return a Noir Option struct with `some` and `value` fields
|
|
1084
1240
|
if (sender === undefined) {
|
|
@@ -1090,19 +1246,21 @@ export class RPCTranslator {
|
|
|
1090
1246
|
}
|
|
1091
1247
|
}
|
|
1092
1248
|
|
|
1093
|
-
|
|
1249
|
+
// eslint-disable-next-line camelcase
|
|
1250
|
+
async aztec_prv_setSenderForTags(foreignSenderForTags: ForeignCallSingle) {
|
|
1094
1251
|
const senderForTags = AztecAddress.fromField(fromSingle(foreignSenderForTags));
|
|
1095
1252
|
|
|
1096
|
-
await this.handlerAsPrivate().
|
|
1253
|
+
await this.handlerAsPrivate().setSenderForTags(senderForTags);
|
|
1097
1254
|
|
|
1098
1255
|
return toForeignCallResult([]);
|
|
1099
1256
|
}
|
|
1100
1257
|
|
|
1101
|
-
|
|
1258
|
+
// eslint-disable-next-line camelcase
|
|
1259
|
+
async aztec_prv_getNextAppTagAsSender(foreignSender: ForeignCallSingle, foreignRecipient: ForeignCallSingle) {
|
|
1102
1260
|
const sender = AztecAddress.fromField(fromSingle(foreignSender));
|
|
1103
1261
|
const recipient = AztecAddress.fromField(fromSingle(foreignRecipient));
|
|
1104
1262
|
|
|
1105
|
-
const nextAppTag = await this.handlerAsPrivate().
|
|
1263
|
+
const nextAppTag = await this.handlerAsPrivate().getNextAppTagAsSender(sender, recipient);
|
|
1106
1264
|
|
|
1107
1265
|
return toForeignCallResult([toSingle(nextAppTag.value)]);
|
|
1108
1266
|
}
|