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