@aztec/simulator 0.87.5 → 0.87.7
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/client.d.ts +5 -3
- package/dest/client.d.ts.map +1 -1
- package/dest/client.js +4 -2
- package/dest/private/acvm/acvm.d.ts +5 -2
- package/dest/private/acvm/acvm.d.ts.map +1 -1
- package/dest/private/acvm/index.d.ts +0 -1
- package/dest/private/acvm/index.d.ts.map +1 -1
- package/dest/private/acvm/index.js +0 -1
- package/dest/private/{providers/acvm_native.d.ts → acvm_native.d.ts} +4 -4
- package/dest/private/acvm_native.d.ts.map +1 -0
- package/dest/private/{providers/acvm_wasm.d.ts → acvm_wasm.d.ts} +4 -4
- package/dest/private/acvm_wasm.d.ts.map +1 -0
- package/dest/private/{providers/acvm_wasm.js → acvm_wasm.js} +2 -2
- package/dest/private/{providers/acvm_wasm_with_blobs.d.ts → acvm_wasm_with_blobs.d.ts} +5 -5
- package/dest/private/acvm_wasm_with_blobs.d.ts.map +1 -0
- package/dest/private/{providers/acvm_wasm_with_blobs.js → acvm_wasm_with_blobs.js} +2 -2
- package/dest/private/{providers/circuit_recording → circuit_recording}/circuit_recorder.d.ts +41 -21
- package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -0
- package/dest/private/circuit_recording/circuit_recorder.js +209 -0
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts +31 -0
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -0
- package/dest/private/circuit_recording/file_circuit_recorder.js +135 -0
- package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +5 -0
- package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -0
- package/dest/private/circuit_recording/memory_circuit_recorder.js +9 -0
- package/dest/private/{providers/circuit_recording/simulation_provider_recorder_wrapper.d.ts → circuit_recording/simulator_recorder_wrapper.d.ts} +9 -7
- package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -0
- package/dest/private/{providers/circuit_recording/simulation_provider_recorder_wrapper.js → circuit_recording/simulator_recorder_wrapper.js} +18 -13
- package/dest/private/{providers/simulation_provider.d.ts → circuit_simulator.d.ts} +4 -4
- package/dest/private/circuit_simulator.d.ts.map +1 -0
- package/dest/private/{providers/simulation_provider.js → circuit_simulator.js} +1 -1
- package/dest/private/factory.d.ts +12 -0
- package/dest/private/factory.d.ts.map +1 -0
- package/dest/private/{providers/factory.js → factory.js} +2 -2
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +1 -0
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -1
- package/dest/public/avm/fixtures/base_avm_simulation_tester.js +6 -0
- package/dest/public/public_tx_simulator/apps_tests/amm_test.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/apps_tests/amm_test.js +27 -55
- package/dest/server.d.ts +6 -3
- package/dest/server.d.ts.map +1 -1
- package/dest/server.js +5 -2
- package/dest/testing.d.ts +1 -1
- package/dest/testing.d.ts.map +1 -1
- package/dest/testing.js +1 -1
- package/package.json +15 -15
- package/src/client.ts +5 -3
- package/src/private/acvm/acvm.ts +5 -3
- package/src/private/acvm/index.ts +0 -1
- package/src/private/{providers/acvm_native.ts → acvm_native.ts} +4 -4
- package/src/private/{providers/acvm_wasm.ts → acvm_wasm.ts} +4 -4
- package/src/private/{providers/acvm_wasm_with_blobs.ts → acvm_wasm_with_blobs.ts} +5 -5
- package/src/private/circuit_recording/circuit_recorder.ts +260 -0
- package/src/private/circuit_recording/file_circuit_recorder.ts +158 -0
- package/src/private/circuit_recording/memory_circuit_recorder.ts +11 -0
- package/src/private/{providers/circuit_recording/simulation_provider_recorder_wrapper.ts → circuit_recording/simulator_recorder_wrapper.ts} +26 -18
- package/src/private/{providers/simulation_provider.ts → circuit_simulator.ts} +3 -3
- package/src/private/{providers/factory.ts → factory.ts} +6 -6
- package/src/public/avm/fixtures/base_avm_simulation_tester.ts +5 -0
- package/src/public/public_tx_simulator/apps_tests/amm_test.ts +49 -44
- package/src/server.ts +6 -3
- package/src/testing.ts +1 -1
- package/dest/private/acvm/oracle/index.d.ts +0 -14
- package/dest/private/acvm/oracle/index.d.ts.map +0 -1
- package/dest/private/acvm/oracle/index.js +0 -2
- package/dest/private/acvm/oracle/oracle.d.ts +0 -52
- package/dest/private/acvm/oracle/oracle.d.ts.map +0 -1
- package/dest/private/acvm/oracle/oracle.js +0 -312
- package/dest/private/acvm/oracle/typed_oracle.d.ts +0 -83
- package/dest/private/acvm/oracle/typed_oracle.d.ts.map +0 -1
- package/dest/private/acvm/oracle/typed_oracle.js +0 -138
- package/dest/private/execution_data_provider.d.ts +0 -301
- package/dest/private/execution_data_provider.d.ts.map +0 -1
- package/dest/private/execution_data_provider.js +0 -14
- package/dest/private/execution_note_cache.d.ts +0 -93
- package/dest/private/execution_note_cache.d.ts.map +0 -1
- package/dest/private/execution_note_cache.js +0 -180
- package/dest/private/hashed_values_cache.d.ts +0 -28
- package/dest/private/hashed_values_cache.d.ts.map +0 -1
- package/dest/private/hashed_values_cache.js +0 -36
- package/dest/private/index.d.ts +0 -16
- package/dest/private/index.d.ts.map +0 -1
- package/dest/private/index.js +0 -15
- package/dest/private/message_load_oracle_inputs.d.ts +0 -19
- package/dest/private/message_load_oracle_inputs.d.ts.map +0 -1
- package/dest/private/message_load_oracle_inputs.js +0 -24
- package/dest/private/pick_notes.d.ts +0 -85
- package/dest/private/pick_notes.d.ts.map +0 -1
- package/dest/private/pick_notes.js +0 -51
- package/dest/private/private_execution.d.ts +0 -25
- package/dest/private/private_execution.d.ts.map +0 -1
- package/dest/private/private_execution.js +0 -95
- package/dest/private/private_execution_oracle.d.ts +0 -187
- package/dest/private/private_execution_oracle.d.ts.map +0 -1
- package/dest/private/private_execution_oracle.js +0 -318
- package/dest/private/providers/acvm_native.d.ts.map +0 -1
- package/dest/private/providers/acvm_wasm.d.ts.map +0 -1
- package/dest/private/providers/acvm_wasm_with_blobs.d.ts.map +0 -1
- package/dest/private/providers/circuit_recording/circuit_recorder.d.ts.map +0 -1
- package/dest/private/providers/circuit_recording/circuit_recorder.js +0 -246
- package/dest/private/providers/circuit_recording/simulation_provider_recorder_wrapper.d.ts.map +0 -1
- package/dest/private/providers/factory.d.ts +0 -12
- package/dest/private/providers/factory.d.ts.map +0 -1
- package/dest/private/providers/simulation_provider.d.ts.map +0 -1
- package/dest/private/simulator.d.ts +0 -36
- package/dest/private/simulator.d.ts.map +0 -1
- package/dest/private/simulator.js +0 -104
- package/dest/private/utility_execution_oracle.d.ts +0 -163
- package/dest/private/utility_execution_oracle.d.ts.map +0 -1
- package/dest/private/utility_execution_oracle.js +0 -257
- package/dest/test/utils.d.ts +0 -13
- package/dest/test/utils.d.ts.map +0 -1
- package/dest/test/utils.js +0 -22
- package/src/private/acvm/oracle/index.ts +0 -16
- package/src/private/acvm/oracle/oracle.ts +0 -523
- package/src/private/acvm/oracle/typed_oracle.ts +0 -273
- package/src/private/execution_data_provider.ts +0 -388
- package/src/private/execution_note_cache.ts +0 -217
- package/src/private/hashed_values_cache.ts +0 -47
- package/src/private/index.ts +0 -19
- package/src/private/message_load_oracle_inputs.ts +0 -23
- package/src/private/pick_notes.ts +0 -141
- package/src/private/private_execution.ts +0 -159
- package/src/private/private_execution_oracle.ts +0 -508
- package/src/private/providers/circuit_recording/circuit_recorder.ts +0 -283
- package/src/private/simulator.ts +0 -170
- package/src/private/utility_execution_oracle.ts +0 -384
- package/src/test/utils.ts +0 -36
- /package/dest/private/{providers/acvm_native.js → acvm_native.js} +0 -0
|
@@ -1,3 +1,5 @@
|
|
|
1
|
+
import { GeneratorIndex } from '@aztec/constants';
|
|
2
|
+
import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto';
|
|
1
3
|
import { Fr } from '@aztec/foundation/fields';
|
|
2
4
|
import type { Logger } from '@aztec/foundation/log';
|
|
3
5
|
import { AMMContractArtifact } from '@aztec/noir-contracts.js/AMM';
|
|
@@ -137,6 +139,24 @@ async function addLiquidity(
|
|
|
137
139
|
const liquidityPartialNote = {
|
|
138
140
|
commitment: new Fr(99),
|
|
139
141
|
};
|
|
142
|
+
const refundToken0PartialNoteValidityCommitment = await computePartialNoteValidityCommitment(
|
|
143
|
+
refundToken0PartialNote,
|
|
144
|
+
amm.address,
|
|
145
|
+
);
|
|
146
|
+
const refundToken1PartialNoteValidityCommitment = await computePartialNoteValidityCommitment(
|
|
147
|
+
refundToken1PartialNote,
|
|
148
|
+
amm.address,
|
|
149
|
+
);
|
|
150
|
+
const liquidityPartialNoteValidityCommitment = await computePartialNoteValidityCommitment(
|
|
151
|
+
liquidityPartialNote,
|
|
152
|
+
amm.address,
|
|
153
|
+
);
|
|
154
|
+
|
|
155
|
+
// We need to inject the validity commitments into the nullifier tree as that would be performed by the private token
|
|
156
|
+
// functions that are not invoked in this test.
|
|
157
|
+
await tester.insertNullifier(token0.address, refundToken0PartialNoteValidityCommitment);
|
|
158
|
+
await tester.insertNullifier(token1.address, refundToken1PartialNoteValidityCommitment);
|
|
159
|
+
await tester.insertNullifier(liquidityToken.address, liquidityPartialNoteValidityCommitment);
|
|
140
160
|
|
|
141
161
|
return await tester.simulateTxWithLabel(
|
|
142
162
|
/*txLabel=*/ 'AMM/add_liquidity',
|
|
@@ -150,13 +170,6 @@ async function addLiquidity(
|
|
|
150
170
|
args: [/*to=*/ amm.address, /*amount=*/ amount0Max],
|
|
151
171
|
address: token0.address,
|
|
152
172
|
},
|
|
153
|
-
// token0.prepare_private_balance_increase enqueues a call to _store_balances_set_partial_note
|
|
154
|
-
{
|
|
155
|
-
sender: token0.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
156
|
-
fnName: '_store_balances_set_partial_note',
|
|
157
|
-
args: [refundToken0PartialNote],
|
|
158
|
-
address: token0.address,
|
|
159
|
-
},
|
|
160
173
|
// token1.transfer_to_public enqueues a call to _increase_public_balance
|
|
161
174
|
{
|
|
162
175
|
sender: token1.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
@@ -164,20 +177,6 @@ async function addLiquidity(
|
|
|
164
177
|
args: [/*to=*/ amm.address, /*amount=*/ amount1Max],
|
|
165
178
|
address: token1.address,
|
|
166
179
|
},
|
|
167
|
-
// token1.prepare_private_balance_increase enqueues a call to _store_balances_set_partial_note
|
|
168
|
-
{
|
|
169
|
-
sender: token1.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
170
|
-
fnName: '_store_balances_set_partial_note',
|
|
171
|
-
args: [refundToken1PartialNote],
|
|
172
|
-
address: token1.address,
|
|
173
|
-
},
|
|
174
|
-
// liquidityToken.prepare_private_balance_increase enqueues a call to _store_balances_set_partial_note
|
|
175
|
-
{
|
|
176
|
-
sender: liquidityToken.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
177
|
-
fnName: '_store_balances_set_partial_note',
|
|
178
|
-
args: [liquidityPartialNote],
|
|
179
|
-
address: liquidityToken.address,
|
|
180
|
-
},
|
|
181
180
|
// amm.add_liquidity enqueues a call to _add_liquidity
|
|
182
181
|
{
|
|
183
182
|
sender: amm.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
@@ -214,8 +213,16 @@ async function swapExactTokensForTokens(
|
|
|
214
213
|
_nonce?: bigint,
|
|
215
214
|
) {
|
|
216
215
|
const tokenOutPartialNote = {
|
|
217
|
-
commitment: new Fr(
|
|
216
|
+
commitment: new Fr(166),
|
|
218
217
|
};
|
|
218
|
+
const tokenOutPartialNoteValidityCommitment = await computePartialNoteValidityCommitment(
|
|
219
|
+
tokenOutPartialNote,
|
|
220
|
+
amm.address,
|
|
221
|
+
);
|
|
222
|
+
|
|
223
|
+
// We need to inject the validity commitment into the nullifier tree as that would be performed by the private token
|
|
224
|
+
// function that is not invoked in this test.
|
|
225
|
+
await tester.insertNullifier(tokenOut.address, tokenOutPartialNoteValidityCommitment);
|
|
219
226
|
|
|
220
227
|
return await tester.simulateTxWithLabel(
|
|
221
228
|
/*txLabel=*/ 'AMM/swap_exact_tokens_for_tokens',
|
|
@@ -229,14 +236,6 @@ async function swapExactTokensForTokens(
|
|
|
229
236
|
args: [/*to=*/ amm.address, /*amount=*/ amountIn],
|
|
230
237
|
address: tokenIn.address,
|
|
231
238
|
},
|
|
232
|
-
// tokenOut.prepare_private_balance_increase enqueues a call to _store_balances_set_partial_note
|
|
233
|
-
{
|
|
234
|
-
sender: tokenOut.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
235
|
-
fnName: '_store_balances_set_partial_note',
|
|
236
|
-
args: [tokenOutPartialNote],
|
|
237
|
-
address: tokenOut.address,
|
|
238
|
-
},
|
|
239
|
-
|
|
240
239
|
{
|
|
241
240
|
sender: amm.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
242
241
|
fnName: '_swap_exact_tokens_for_tokens',
|
|
@@ -265,6 +264,19 @@ async function removeLiquidity(
|
|
|
265
264
|
const token1PartialNote = {
|
|
266
265
|
commitment: new Fr(222),
|
|
267
266
|
};
|
|
267
|
+
const token0PartialNoteValidityCommitment = await computePartialNoteValidityCommitment(
|
|
268
|
+
token0PartialNote,
|
|
269
|
+
amm.address,
|
|
270
|
+
);
|
|
271
|
+
const token1PartialNoteValidityCommitment = await computePartialNoteValidityCommitment(
|
|
272
|
+
token1PartialNote,
|
|
273
|
+
amm.address,
|
|
274
|
+
);
|
|
275
|
+
|
|
276
|
+
// We need to inject the validity commitments into the nullifier tree as that would be performed by the private token
|
|
277
|
+
// functions that are not invoked in this test.
|
|
278
|
+
await tester.insertNullifier(token0.address, token0PartialNoteValidityCommitment);
|
|
279
|
+
await tester.insertNullifier(token1.address, token1PartialNoteValidityCommitment);
|
|
268
280
|
|
|
269
281
|
return await tester.simulateTxWithLabel(
|
|
270
282
|
/*txLabel=*/ 'AMM/remove_liquidity',
|
|
@@ -278,20 +290,6 @@ async function removeLiquidity(
|
|
|
278
290
|
args: [/*to=*/ amm.address, /*amount=*/ liquidity],
|
|
279
291
|
address: liquidityToken.address,
|
|
280
292
|
},
|
|
281
|
-
// token0.prepare_private_balance_increase enqueues a call to _store_balances_set_partial_note
|
|
282
|
-
{
|
|
283
|
-
sender: token0.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
284
|
-
fnName: '_store_balances_set_partial_note',
|
|
285
|
-
args: [token0PartialNote],
|
|
286
|
-
address: token0.address,
|
|
287
|
-
},
|
|
288
|
-
// token1.prepare_private_balance_increase enqueues a call to _store_balances_set_partial_note
|
|
289
|
-
{
|
|
290
|
-
sender: token1.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
291
|
-
fnName: '_store_balances_set_partial_note',
|
|
292
|
-
args: [token1PartialNote],
|
|
293
|
-
address: token1.address,
|
|
294
|
-
},
|
|
295
293
|
// amm.remove_liquidity enqueues a call to _remove_liquidity
|
|
296
294
|
{
|
|
297
295
|
sender: amm.address, // INTERNAL FUNCTION! Sender must be 'this'.
|
|
@@ -314,3 +312,10 @@ async function removeLiquidity(
|
|
|
314
312
|
],
|
|
315
313
|
);
|
|
316
314
|
}
|
|
315
|
+
|
|
316
|
+
async function computePartialNoteValidityCommitment(partialNote: { commitment: Fr }, completer: AztecAddress) {
|
|
317
|
+
return await poseidon2HashWithSeparator(
|
|
318
|
+
[partialNote.commitment, completer],
|
|
319
|
+
GeneratorIndex.PARTIAL_NOTE_VALIDITY_COMMITMENT,
|
|
320
|
+
);
|
|
321
|
+
}
|
package/src/server.ts
CHANGED
|
@@ -1,5 +1,8 @@
|
|
|
1
1
|
export * from './public/index.js';
|
|
2
|
-
export
|
|
3
|
-
export {
|
|
4
|
-
export {
|
|
2
|
+
export * from './private/acvm/index.js';
|
|
3
|
+
export { WASMSimulatorWithBlobs } from './private/acvm_wasm_with_blobs.js';
|
|
4
|
+
export { NativeACVMSimulator } from './private/acvm_native.js';
|
|
5
|
+
export { SimulatorRecorderWrapper } from './private/circuit_recording/simulator_recorder_wrapper.js';
|
|
6
|
+
export { MemoryCircuitRecorder } from './private/circuit_recording/memory_circuit_recorder.js';
|
|
7
|
+
export { type CircuitSimulator, type DecodedError } from './private/circuit_simulator.js';
|
|
5
8
|
export * from './common/index.js';
|
package/src/testing.ts
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
export {
|
|
1
|
+
export { FileCircuitRecorder } from './private/circuit_recording/file_circuit_recorder.js';
|
|
@@ -1,14 +0,0 @@
|
|
|
1
|
-
import type { Oracle } from './oracle.js';
|
|
2
|
-
export * from './oracle.js';
|
|
3
|
-
export * from './typed_oracle.js';
|
|
4
|
-
/**
|
|
5
|
-
* A conditional type that takes a type `T` and returns a union of its method names.
|
|
6
|
-
*/
|
|
7
|
-
type MethodNames<T> = {
|
|
8
|
-
[K in keyof T]: T[K] extends (...args: any[]) => any ? K : never;
|
|
9
|
-
}[keyof T];
|
|
10
|
-
/**
|
|
11
|
-
* Available oracle function names.
|
|
12
|
-
*/
|
|
13
|
-
export type ORACLE_NAMES = MethodNames<Oracle>;
|
|
14
|
-
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/private/acvm/oracle/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAElC;;GAEG;AACH,KAAK,WAAW,CAAC,CAAC,IAAI;KACnB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK;CACjE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC"}
|
|
@@ -1,52 +0,0 @@
|
|
|
1
|
-
import type { ACVMField } from '../acvm_types.js';
|
|
2
|
-
import type { TypedOracle } from './typed_oracle.js';
|
|
3
|
-
/**
|
|
4
|
-
* A data source that has all the apis required by Aztec.nr.
|
|
5
|
-
*/
|
|
6
|
-
export declare class Oracle {
|
|
7
|
-
private typedOracle;
|
|
8
|
-
constructor(typedOracle: TypedOracle);
|
|
9
|
-
getRandomField(): Promise<ACVMField[]>;
|
|
10
|
-
storeInExecutionCache(_length: ACVMField[], values: ACVMField[], [hash]: ACVMField[]): Promise<ACVMField[]>;
|
|
11
|
-
loadFromExecutionCache([returnsHash]: ACVMField[]): Promise<ACVMField[][]>;
|
|
12
|
-
getBlockNumber(): Promise<ACVMField[]>;
|
|
13
|
-
getContractAddress(): Promise<ACVMField[]>;
|
|
14
|
-
getVersion(): Promise<ACVMField[]>;
|
|
15
|
-
getChainId(): Promise<ACVMField[]>;
|
|
16
|
-
getKeyValidationRequest([pkMHash]: ACVMField[]): Promise<ACVMField[]>;
|
|
17
|
-
getContractInstance([address]: ACVMField[]): Promise<ACVMField[]>;
|
|
18
|
-
getMembershipWitness([blockNumber]: ACVMField[], [treeId]: ACVMField[], [leafValue]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
|
|
19
|
-
getNullifierMembershipWitness([blockNumber]: ACVMField[], [nullifier]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
|
|
20
|
-
getLowNullifierMembershipWitness([blockNumber]: ACVMField[], [nullifier]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
|
|
21
|
-
getPublicDataWitness([blockNumber]: ACVMField[], [leafSlot]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
|
|
22
|
-
getBlockHeader([blockNumber]: ACVMField[]): Promise<ACVMField[]>;
|
|
23
|
-
getAuthWitness([messageHash]: ACVMField[]): Promise<ACVMField[][]>;
|
|
24
|
-
getPublicKeysAndPartialAddress([address]: ACVMField[]): Promise<ACVMField[][]>;
|
|
25
|
-
getNotes([storageSlot]: ACVMField[], [numSelects]: ACVMField[], selectByIndexes: ACVMField[], selectByOffsets: ACVMField[], selectByLengths: ACVMField[], selectValues: ACVMField[], selectComparators: ACVMField[], sortByIndexes: ACVMField[], sortByOffsets: ACVMField[], sortByLengths: ACVMField[], sortOrder: ACVMField[], [limit]: ACVMField[], [offset]: ACVMField[], [status]: ACVMField[], [maxNotes]: ACVMField[], [packedRetrievedNoteLength]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
|
|
26
|
-
notifyCreatedNote([storageSlot]: ACVMField[], [noteTypeId]: ACVMField[], note: ACVMField[], [noteHash]: ACVMField[], [counter]: ACVMField[]): Promise<ACVMField[]>;
|
|
27
|
-
notifyNullifiedNote([innerNullifier]: ACVMField[], [noteHash]: ACVMField[], [counter]: ACVMField[]): Promise<ACVMField[]>;
|
|
28
|
-
notifyCreatedNullifier([innerNullifier]: ACVMField[]): Promise<ACVMField[]>;
|
|
29
|
-
checkNullifierExists([innerNullifier]: ACVMField[]): Promise<ACVMField[]>;
|
|
30
|
-
getL1ToL2MembershipWitness([contractAddress]: ACVMField[], [messageHash]: ACVMField[], [secret]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
|
|
31
|
-
storageRead([contractAddress]: ACVMField[], [startStorageSlot]: ACVMField[], [blockNumber]: ACVMField[], [numberOfElements]: ACVMField[]): Promise<ACVMField[][]>;
|
|
32
|
-
storageWrite([startStorageSlot]: ACVMField[], values: ACVMField[]): Promise<ACVMField[]>;
|
|
33
|
-
notifyCreatedContractClassLog([contractAddress]: ACVMField[], message: ACVMField[], [length]: ACVMField[], [counter]: ACVMField[]): Promise<ACVMField[]>;
|
|
34
|
-
debugLog(message: ACVMField[], _ignoredFieldsSize: ACVMField[], fields: ACVMField[]): Promise<ACVMField[]>;
|
|
35
|
-
callPrivateFunction([contractAddress]: ACVMField[], [functionSelector]: ACVMField[], [argsHash]: ACVMField[], [sideEffectCounter]: ACVMField[], [isStaticCall]: ACVMField[]): Promise<ACVMField[][]>;
|
|
36
|
-
notifyEnqueuedPublicFunctionCall([contractAddress]: ACVMField[], [calldataHash]: ACVMField[], [sideEffectCounter]: ACVMField[], [isStaticCall]: ACVMField[]): Promise<ACVMField[]>;
|
|
37
|
-
notifySetPublicTeardownFunctionCall([contractAddress]: ACVMField[], [calldataHash]: ACVMField[], [sideEffectCounter]: ACVMField[], [isStaticCall]: ACVMField[]): Promise<ACVMField[]>;
|
|
38
|
-
notifySetMinRevertibleSideEffectCounter([minRevertibleSideEffectCounter]: ACVMField[]): Promise<ACVMField[]>;
|
|
39
|
-
getIndexedTaggingSecretAsSender([sender]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField[]>;
|
|
40
|
-
incrementAppTaggingSecretIndexAsSender([sender]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField[]>;
|
|
41
|
-
syncPrivateState([pendingTaggedLogArrayBaseSlot]: ACVMField[]): Promise<ACVMField[]>;
|
|
42
|
-
deliverNote([contractAddress]: ACVMField[], [storageSlot]: ACVMField[], [nonce]: ACVMField[], content: ACVMField[], [contentLength]: ACVMField[], [noteHash]: ACVMField[], [nullifier]: ACVMField[], [txHash]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField[]>;
|
|
43
|
-
getLogByTag([tag]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
|
|
44
|
-
storeCapsule([contractAddress]: ACVMField[], [slot]: ACVMField[], capsule: ACVMField[]): Promise<ACVMField[]>;
|
|
45
|
-
loadCapsule([contractAddress]: ACVMField[], [slot]: ACVMField[], [tSize]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
|
|
46
|
-
deleteCapsule([contractAddress]: ACVMField[], [slot]: ACVMField[]): Promise<ACVMField[]>;
|
|
47
|
-
copyCapsule([contractAddress]: ACVMField[], [srcSlot]: ACVMField[], [dstSlot]: ACVMField[], [numEntries]: ACVMField[]): Promise<ACVMField[]>;
|
|
48
|
-
aes128Decrypt(ciphertextBVecStorage: ACVMField[], [ciphertextLength]: ACVMField[], iv: ACVMField[], symKey: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
|
|
49
|
-
getSharedSecret([address]: ACVMField[], [ephPKField0]: ACVMField[], [ephPKField1]: ACVMField[], [ephPKField2]: ACVMField[]): Promise<ACVMField[]>;
|
|
50
|
-
storePrivateEventLog([contractAddress]: ACVMField[], [recipient]: ACVMField[], [eventSelector]: ACVMField[], msgContentBVecStorage: ACVMField[], [msgContentLength]: ACVMField[], [txHash]: ACVMField[], [logIndexInTx]: ACVMField[], [txIndexInBlock]: ACVMField[]): Promise<never[]>;
|
|
51
|
-
}
|
|
52
|
-
//# sourceMappingURL=oracle.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"oracle.d.ts","sourceRoot":"","sources":["../../../../src/private/acvm/oracle/oracle.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAQlD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErD;;GAEG;AACH,qBAAa,MAAM;IACL,OAAO,CAAC,WAAW;gBAAX,WAAW,EAAE,WAAW;IAE5C,cAAc,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAMtC,qBAAqB,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAKrG,sBAAsB,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IAK1E,cAAc,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAItC,kBAAkB,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAI1C,UAAU,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAIlC,UAAU,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAIlC,uBAAuB,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAMrE,mBAAmB,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAYjE,oBAAoB,CACxB,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAcjC,6BAA6B,CACjC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAWjC,gCAAgC,CACpC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAajC,oBAAoB,CACxB,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,GACtB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAWjC,cAAc,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAUhE,cAAc,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IASlE,8BAA8B,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IAO9E,QAAQ,CACZ,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,EACzB,eAAe,EAAE,SAAS,EAAE,EAC5B,eAAe,EAAE,SAAS,EAAE,EAC5B,eAAe,EAAE,SAAS,EAAE,EAC5B,YAAY,EAAE,SAAS,EAAE,EACzB,iBAAiB,EAAE,SAAS,EAAE,EAC9B,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,SAAS,EAAE,SAAS,EAAE,EACtB,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,EACpB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,yBAAyB,CAAC,EAAE,SAAS,EAAE,GACvC,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IA4CvC,iBAAiB,CACf,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,EACzB,IAAI,EAAE,SAAS,EAAE,EACjB,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC;IAWjB,mBAAmB,CACvB,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,EAC7B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC;IAKjB,sBAAsB,CAAC,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAK3E,oBAAoB,CAAC,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAKzE,0BAA0B,CAC9B,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,GACpB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IASjC,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,GAC9B,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IAUnB,YAAY,CAAC,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAK9F,6BAA6B,CAC3B,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,OAAO,EAAE,SAAS,EAAE,EACpB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC;IAQvB,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,kBAAkB,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAOpG,mBAAmB,CACvB,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAChC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,GAC1B,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IAWnB,gCAAgC,CACpC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,EAC3B,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAChC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,GAC1B,OAAO,CAAC,SAAS,EAAE,CAAC;IAUjB,mCAAmC,CACvC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,EAC3B,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAChC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,GAC1B,OAAO,CAAC,SAAS,EAAE,CAAC;IAUjB,uCAAuC,CAAC,CAAC,8BAA8B,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAO5G,+BAA+B,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAQtG,sCAAsC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAQ7G,gBAAgB,CAAC,CAAC,6BAA6B,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAKpF,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,EACpB,OAAO,EAAE,SAAS,EAAE,EACpB,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,EAC5B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,EACxB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,SAAS,EAAE,CAAC;IAkBjB,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAUrE,YAAY,CAAC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAS7G,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EACnB,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,GACnB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAiBjC,aAAa,CAAC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAKxF,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,EACtB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,EACtB,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,GACxB,OAAO,CAAC,SAAS,EAAE,CAAC;IAUjB,aAAa,CACjB,qBAAqB,EAAE,SAAS,EAAE,EAClC,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,EAAE,EAAE,SAAS,EAAE,EACf,MAAM,EAAE,SAAS,EAAE,GAClB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IASjC,eAAe,CACnB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,EACtB,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GACzB,OAAO,CAAC,SAAS,EAAE,CAAC;IAQjB,oBAAoB,CACxB,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,EACxB,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,EAC5B,qBAAqB,EAAE,SAAS,EAAE,EAClC,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,EAC3B,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE;CAahC"}
|
|
@@ -1,312 +0,0 @@
|
|
|
1
|
-
import { Fr, Point } from '@aztec/foundation/fields';
|
|
2
|
-
import { EventSelector, FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
|
|
3
|
-
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
4
|
-
import { ContractClassLog, ContractClassLogFields, LogWithTxData } from '@aztec/stdlib/logs';
|
|
5
|
-
import { MerkleTreeId } from '@aztec/stdlib/trees';
|
|
6
|
-
import { TxHash } from '@aztec/stdlib/tx';
|
|
7
|
-
import { fromBoundedVec, fromUintArray, fromUintBoundedVec } from '../deserialize.js';
|
|
8
|
-
import { arrayOfArraysToBoundedVecOfArrays, bufferToBoundedVec, toACVMField, toACVMFieldSingleOrArray } from '../serialize.js';
|
|
9
|
-
/**
|
|
10
|
-
* A data source that has all the apis required by Aztec.nr.
|
|
11
|
-
*/ export class Oracle {
|
|
12
|
-
typedOracle;
|
|
13
|
-
constructor(typedOracle){
|
|
14
|
-
this.typedOracle = typedOracle;
|
|
15
|
-
}
|
|
16
|
-
getRandomField() {
|
|
17
|
-
const val = this.typedOracle.getRandomField();
|
|
18
|
-
return Promise.resolve([
|
|
19
|
-
toACVMField(val)
|
|
20
|
-
]);
|
|
21
|
-
}
|
|
22
|
-
// Since the argument is a slice, noir automatically adds a length field to oracle call.
|
|
23
|
-
storeInExecutionCache(_length, values, [hash]) {
|
|
24
|
-
this.typedOracle.storeInExecutionCache(values.map(Fr.fromString), Fr.fromString(hash));
|
|
25
|
-
return Promise.resolve([]);
|
|
26
|
-
}
|
|
27
|
-
async loadFromExecutionCache([returnsHash]) {
|
|
28
|
-
const values = await this.typedOracle.loadFromExecutionCache(Fr.fromString(returnsHash));
|
|
29
|
-
return [
|
|
30
|
-
values.map(toACVMField)
|
|
31
|
-
];
|
|
32
|
-
}
|
|
33
|
-
async getBlockNumber() {
|
|
34
|
-
return [
|
|
35
|
-
toACVMField(await this.typedOracle.getBlockNumber())
|
|
36
|
-
];
|
|
37
|
-
}
|
|
38
|
-
async getContractAddress() {
|
|
39
|
-
return [
|
|
40
|
-
toACVMField(await this.typedOracle.getContractAddress())
|
|
41
|
-
];
|
|
42
|
-
}
|
|
43
|
-
async getVersion() {
|
|
44
|
-
return [
|
|
45
|
-
toACVMField(await this.typedOracle.getVersion())
|
|
46
|
-
];
|
|
47
|
-
}
|
|
48
|
-
async getChainId() {
|
|
49
|
-
return [
|
|
50
|
-
toACVMField(await this.typedOracle.getChainId())
|
|
51
|
-
];
|
|
52
|
-
}
|
|
53
|
-
async getKeyValidationRequest([pkMHash]) {
|
|
54
|
-
const keyValidationRequest = await this.typedOracle.getKeyValidationRequest(Fr.fromString(pkMHash));
|
|
55
|
-
return keyValidationRequest.toFields().map(toACVMField);
|
|
56
|
-
}
|
|
57
|
-
async getContractInstance([address]) {
|
|
58
|
-
const instance = await this.typedOracle.getContractInstance(AztecAddress.fromField(Fr.fromString(address)));
|
|
59
|
-
return [
|
|
60
|
-
instance.salt,
|
|
61
|
-
instance.deployer,
|
|
62
|
-
instance.currentContractClassId,
|
|
63
|
-
instance.initializationHash,
|
|
64
|
-
...instance.publicKeys.toFields()
|
|
65
|
-
].map(toACVMField);
|
|
66
|
-
}
|
|
67
|
-
async getMembershipWitness([blockNumber], [treeId], [leafValue]) {
|
|
68
|
-
const parsedBlockNumber = Fr.fromString(blockNumber).toNumber();
|
|
69
|
-
const parsedTreeId = Fr.fromString(treeId).toNumber();
|
|
70
|
-
const parsedLeafValue = Fr.fromString(leafValue);
|
|
71
|
-
const witness = await this.typedOracle.getMembershipWitness(parsedBlockNumber, parsedTreeId, parsedLeafValue);
|
|
72
|
-
if (!witness) {
|
|
73
|
-
throw new Error(`Leaf ${leafValue} not found in the tree ${MerkleTreeId[parsedTreeId]} at block ${parsedBlockNumber}.`);
|
|
74
|
-
}
|
|
75
|
-
return [
|
|
76
|
-
toACVMField(witness[0]),
|
|
77
|
-
witness.slice(1).map(toACVMField)
|
|
78
|
-
];
|
|
79
|
-
}
|
|
80
|
-
async getNullifierMembershipWitness([blockNumber], [nullifier]) {
|
|
81
|
-
const parsedBlockNumber = Fr.fromString(blockNumber).toNumber();
|
|
82
|
-
const parsedNullifier = Fr.fromString(nullifier);
|
|
83
|
-
const witness = await this.typedOracle.getNullifierMembershipWitness(parsedBlockNumber, parsedNullifier);
|
|
84
|
-
if (!witness) {
|
|
85
|
-
throw new Error(`Nullifier witness not found for nullifier ${parsedNullifier} at block ${parsedBlockNumber}.`);
|
|
86
|
-
}
|
|
87
|
-
return witness.toNoirRepresentation();
|
|
88
|
-
}
|
|
89
|
-
async getLowNullifierMembershipWitness([blockNumber], [nullifier]) {
|
|
90
|
-
const parsedBlockNumber = Fr.fromString(blockNumber).toNumber();
|
|
91
|
-
const parsedNullifier = Fr.fromString(nullifier);
|
|
92
|
-
const witness = await this.typedOracle.getLowNullifierMembershipWitness(parsedBlockNumber, parsedNullifier);
|
|
93
|
-
if (!witness) {
|
|
94
|
-
throw new Error(`Low nullifier witness not found for nullifier ${parsedNullifier} at block ${parsedBlockNumber}.`);
|
|
95
|
-
}
|
|
96
|
-
return witness.toNoirRepresentation();
|
|
97
|
-
}
|
|
98
|
-
async getPublicDataWitness([blockNumber], [leafSlot]) {
|
|
99
|
-
const parsedBlockNumber = Fr.fromString(blockNumber).toNumber();
|
|
100
|
-
const parsedLeafSlot = Fr.fromString(leafSlot);
|
|
101
|
-
const witness = await this.typedOracle.getPublicDataWitness(parsedBlockNumber, parsedLeafSlot);
|
|
102
|
-
if (!witness) {
|
|
103
|
-
throw new Error(`Public data witness not found for slot ${parsedLeafSlot} at block ${parsedBlockNumber}.`);
|
|
104
|
-
}
|
|
105
|
-
return witness.toNoirRepresentation();
|
|
106
|
-
}
|
|
107
|
-
async getBlockHeader([blockNumber]) {
|
|
108
|
-
const parsedBlockNumber = Fr.fromString(blockNumber).toNumber();
|
|
109
|
-
const header = await this.typedOracle.getBlockHeader(parsedBlockNumber);
|
|
110
|
-
if (!header) {
|
|
111
|
-
throw new Error(`Block header not found for block ${parsedBlockNumber}.`);
|
|
112
|
-
}
|
|
113
|
-
return header.toFields().map(toACVMField);
|
|
114
|
-
}
|
|
115
|
-
async getAuthWitness([messageHash]) {
|
|
116
|
-
const messageHashField = Fr.fromString(messageHash);
|
|
117
|
-
const witness = await this.typedOracle.getAuthWitness(messageHashField);
|
|
118
|
-
if (!witness) {
|
|
119
|
-
throw new Error(`Unknown auth witness for message hash ${messageHashField}`);
|
|
120
|
-
}
|
|
121
|
-
return [
|
|
122
|
-
witness.map(toACVMField)
|
|
123
|
-
];
|
|
124
|
-
}
|
|
125
|
-
async getPublicKeysAndPartialAddress([address]) {
|
|
126
|
-
const parsedAddress = AztecAddress.fromField(Fr.fromString(address));
|
|
127
|
-
const { publicKeys, partialAddress } = await this.typedOracle.getCompleteAddress(parsedAddress);
|
|
128
|
-
return [
|
|
129
|
-
[
|
|
130
|
-
...publicKeys.toFields(),
|
|
131
|
-
partialAddress
|
|
132
|
-
].map(toACVMField)
|
|
133
|
-
];
|
|
134
|
-
}
|
|
135
|
-
async getNotes([storageSlot], [numSelects], selectByIndexes, selectByOffsets, selectByLengths, selectValues, selectComparators, sortByIndexes, sortByOffsets, sortByLengths, sortOrder, [limit], [offset], [status], [maxNotes], [packedRetrievedNoteLength]) {
|
|
136
|
-
const noteDatas = await this.typedOracle.getNotes(Fr.fromString(storageSlot), +numSelects, selectByIndexes.map((s)=>+s), selectByOffsets.map((s)=>+s), selectByLengths.map((s)=>+s), selectValues.map(Fr.fromString), selectComparators.map((s)=>+s), sortByIndexes.map((s)=>+s), sortByOffsets.map((s)=>+s), sortByLengths.map((s)=>+s), sortOrder.map((s)=>+s), +limit, +offset, +status);
|
|
137
|
-
if (noteDatas.length > 0) {
|
|
138
|
-
const noteLength = noteDatas[0].note.items.length;
|
|
139
|
-
if (!noteDatas.every(({ note })=>noteLength === note.items.length)) {
|
|
140
|
-
throw new Error('Notes should all be the same length.');
|
|
141
|
-
}
|
|
142
|
-
}
|
|
143
|
-
// The expected return type is a BoundedVec<[Field; packedRetrievedNoteLength], maxNotes> where each
|
|
144
|
-
// array is structured as [contract_address, nonce, nonzero_note_hash_counter, ...packed_note].
|
|
145
|
-
const returnDataAsArrayOfArrays = noteDatas.map(({ contractAddress, nonce, index, note })=>{
|
|
146
|
-
// If index is undefined, the note is transient which implies that the nonzero_note_hash_counter has to be true
|
|
147
|
-
const noteIsTransient = index === undefined;
|
|
148
|
-
const nonzeroNoteHashCounter = noteIsTransient ? true : false;
|
|
149
|
-
// If you change the array on the next line you have to change the `unpack_retrieved_note` function in
|
|
150
|
-
// `aztec/src/note/retrieved_note.nr`
|
|
151
|
-
return [
|
|
152
|
-
contractAddress,
|
|
153
|
-
nonce,
|
|
154
|
-
nonzeroNoteHashCounter,
|
|
155
|
-
...note.items
|
|
156
|
-
];
|
|
157
|
-
});
|
|
158
|
-
// Now we convert each sub-array to an array of ACVMField
|
|
159
|
-
const returnDataAsArrayOfACVMFieldArrays = returnDataAsArrayOfArrays.map((subArray)=>subArray.map(toACVMField));
|
|
160
|
-
// At last we convert the array of arrays to a bounded vec of arrays
|
|
161
|
-
return arrayOfArraysToBoundedVecOfArrays(returnDataAsArrayOfACVMFieldArrays, +maxNotes, +packedRetrievedNoteLength);
|
|
162
|
-
}
|
|
163
|
-
notifyCreatedNote([storageSlot], [noteTypeId], note, [noteHash], [counter]) {
|
|
164
|
-
this.typedOracle.notifyCreatedNote(Fr.fromString(storageSlot), NoteSelector.fromField(Fr.fromString(noteTypeId)), note.map(Fr.fromString), Fr.fromString(noteHash), +counter);
|
|
165
|
-
return Promise.resolve([]);
|
|
166
|
-
}
|
|
167
|
-
async notifyNullifiedNote([innerNullifier], [noteHash], [counter]) {
|
|
168
|
-
await this.typedOracle.notifyNullifiedNote(Fr.fromString(innerNullifier), Fr.fromString(noteHash), +counter);
|
|
169
|
-
return [];
|
|
170
|
-
}
|
|
171
|
-
async notifyCreatedNullifier([innerNullifier]) {
|
|
172
|
-
await this.typedOracle.notifyCreatedNullifier(Fr.fromString(innerNullifier));
|
|
173
|
-
return [];
|
|
174
|
-
}
|
|
175
|
-
async checkNullifierExists([innerNullifier]) {
|
|
176
|
-
const exists = await this.typedOracle.checkNullifierExists(Fr.fromString(innerNullifier));
|
|
177
|
-
return [
|
|
178
|
-
toACVMField(exists)
|
|
179
|
-
];
|
|
180
|
-
}
|
|
181
|
-
async getL1ToL2MembershipWitness([contractAddress], [messageHash], [secret]) {
|
|
182
|
-
const message = await this.typedOracle.getL1ToL2MembershipWitness(AztecAddress.fromString(contractAddress), Fr.fromString(messageHash), Fr.fromString(secret));
|
|
183
|
-
return message.toNoirRepresentation();
|
|
184
|
-
}
|
|
185
|
-
async storageRead([contractAddress], [startStorageSlot], [blockNumber], [numberOfElements]) {
|
|
186
|
-
const values = await this.typedOracle.storageRead(new AztecAddress(Fr.fromString(contractAddress)), Fr.fromString(startStorageSlot), +blockNumber, +numberOfElements);
|
|
187
|
-
return [
|
|
188
|
-
values.map(toACVMField)
|
|
189
|
-
];
|
|
190
|
-
}
|
|
191
|
-
async storageWrite([startStorageSlot], values) {
|
|
192
|
-
const newValues = await this.typedOracle.storageWrite(Fr.fromString(startStorageSlot), values.map(Fr.fromString));
|
|
193
|
-
return newValues.map(toACVMField);
|
|
194
|
-
}
|
|
195
|
-
notifyCreatedContractClassLog([contractAddress], message, [length], [counter]) {
|
|
196
|
-
const logFields = new ContractClassLogFields(message.map(Fr.fromString));
|
|
197
|
-
const log = new ContractClassLog(new AztecAddress(Fr.fromString(contractAddress)), logFields, +length);
|
|
198
|
-
this.typedOracle.notifyCreatedContractClassLog(log, +counter);
|
|
199
|
-
return Promise.resolve([]);
|
|
200
|
-
}
|
|
201
|
-
debugLog(message, _ignoredFieldsSize, fields) {
|
|
202
|
-
const messageStr = message.map((acvmField)=>String.fromCharCode(Fr.fromString(acvmField).toNumber())).join('');
|
|
203
|
-
const fieldsFr = fields.map(Fr.fromString);
|
|
204
|
-
this.typedOracle.debugLog(messageStr, fieldsFr);
|
|
205
|
-
return Promise.resolve([]);
|
|
206
|
-
}
|
|
207
|
-
async callPrivateFunction([contractAddress], [functionSelector], [argsHash], [sideEffectCounter], [isStaticCall]) {
|
|
208
|
-
const { endSideEffectCounter, returnsHash } = await this.typedOracle.callPrivateFunction(AztecAddress.fromField(Fr.fromString(contractAddress)), FunctionSelector.fromField(Fr.fromString(functionSelector)), Fr.fromString(argsHash), Fr.fromString(sideEffectCounter).toNumber(), Fr.fromString(isStaticCall).toBool());
|
|
209
|
-
return [
|
|
210
|
-
[
|
|
211
|
-
endSideEffectCounter,
|
|
212
|
-
returnsHash
|
|
213
|
-
].map(toACVMField)
|
|
214
|
-
];
|
|
215
|
-
}
|
|
216
|
-
async notifyEnqueuedPublicFunctionCall([contractAddress], [calldataHash], [sideEffectCounter], [isStaticCall]) {
|
|
217
|
-
await this.typedOracle.notifyEnqueuedPublicFunctionCall(AztecAddress.fromString(contractAddress), Fr.fromString(calldataHash), Fr.fromString(sideEffectCounter).toNumber(), Fr.fromString(isStaticCall).toBool());
|
|
218
|
-
return [];
|
|
219
|
-
}
|
|
220
|
-
async notifySetPublicTeardownFunctionCall([contractAddress], [calldataHash], [sideEffectCounter], [isStaticCall]) {
|
|
221
|
-
await this.typedOracle.notifySetPublicTeardownFunctionCall(AztecAddress.fromString(contractAddress), Fr.fromString(calldataHash), Fr.fromString(sideEffectCounter).toNumber(), Fr.fromString(isStaticCall).toBool());
|
|
222
|
-
return [];
|
|
223
|
-
}
|
|
224
|
-
async notifySetMinRevertibleSideEffectCounter([minRevertibleSideEffectCounter]) {
|
|
225
|
-
await this.typedOracle.notifySetMinRevertibleSideEffectCounter(Fr.fromString(minRevertibleSideEffectCounter).toNumber());
|
|
226
|
-
return Promise.resolve([]);
|
|
227
|
-
}
|
|
228
|
-
async getIndexedTaggingSecretAsSender([sender], [recipient]) {
|
|
229
|
-
const taggingSecret = await this.typedOracle.getIndexedTaggingSecretAsSender(AztecAddress.fromString(sender), AztecAddress.fromString(recipient));
|
|
230
|
-
return taggingSecret.toFields().map(toACVMField);
|
|
231
|
-
}
|
|
232
|
-
async incrementAppTaggingSecretIndexAsSender([sender], [recipient]) {
|
|
233
|
-
await this.typedOracle.incrementAppTaggingSecretIndexAsSender(AztecAddress.fromString(sender), AztecAddress.fromString(recipient));
|
|
234
|
-
return [];
|
|
235
|
-
}
|
|
236
|
-
async syncPrivateState([pendingTaggedLogArrayBaseSlot]) {
|
|
237
|
-
await this.typedOracle.syncPrivateState(Fr.fromString(pendingTaggedLogArrayBaseSlot));
|
|
238
|
-
return [];
|
|
239
|
-
}
|
|
240
|
-
async deliverNote([contractAddress], [storageSlot], [nonce], content, [contentLength], [noteHash], [nullifier], [txHash], [recipient]) {
|
|
241
|
-
// TODO(#10728): try-catch this block and return false if we get an exception so that the contract can decide what
|
|
242
|
-
// to do if a note fails delivery (e.g. not increment the tagging index, or add it to some pending work list).
|
|
243
|
-
// Delivery might fail due to temporary issues, such as poor node connectivity.
|
|
244
|
-
await this.typedOracle.deliverNote(AztecAddress.fromString(contractAddress), Fr.fromString(storageSlot), Fr.fromString(nonce), fromBoundedVec(content, contentLength), Fr.fromString(noteHash), Fr.fromString(nullifier), TxHash.fromString(txHash), AztecAddress.fromString(recipient));
|
|
245
|
-
return [
|
|
246
|
-
toACVMField(true)
|
|
247
|
-
];
|
|
248
|
-
}
|
|
249
|
-
async getLogByTag([tag]) {
|
|
250
|
-
const log = await this.typedOracle.getLogByTag(Fr.fromString(tag));
|
|
251
|
-
if (log == null) {
|
|
252
|
-
return [
|
|
253
|
-
toACVMField(0),
|
|
254
|
-
...LogWithTxData.noirSerializationOfEmpty().map(toACVMFieldSingleOrArray)
|
|
255
|
-
];
|
|
256
|
-
} else {
|
|
257
|
-
return [
|
|
258
|
-
toACVMField(1),
|
|
259
|
-
...log.toNoirSerialization().map(toACVMFieldSingleOrArray)
|
|
260
|
-
];
|
|
261
|
-
}
|
|
262
|
-
}
|
|
263
|
-
async storeCapsule([contractAddress], [slot], capsule) {
|
|
264
|
-
await this.typedOracle.storeCapsule(AztecAddress.fromField(Fr.fromString(contractAddress)), Fr.fromString(slot), capsule.map(Fr.fromString));
|
|
265
|
-
return [];
|
|
266
|
-
}
|
|
267
|
-
async loadCapsule([contractAddress], [slot], [tSize]) {
|
|
268
|
-
const values = await this.typedOracle.loadCapsule(AztecAddress.fromField(Fr.fromString(contractAddress)), Fr.fromString(slot));
|
|
269
|
-
// We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
|
|
270
|
-
// with two fields: `some` (a boolean) and `value` (a field array in this case).
|
|
271
|
-
if (values === null) {
|
|
272
|
-
// No data was found so we set `some` to 0 and pad `value` with zeros get the correct return size.
|
|
273
|
-
return [
|
|
274
|
-
toACVMField(0),
|
|
275
|
-
Array(Fr.fromString(tSize).toNumber()).fill(toACVMField(0))
|
|
276
|
-
];
|
|
277
|
-
} else {
|
|
278
|
-
// Data was found so we set `some` to 1 and return it along with `value`.
|
|
279
|
-
return [
|
|
280
|
-
toACVMField(1),
|
|
281
|
-
values.map(toACVMField)
|
|
282
|
-
];
|
|
283
|
-
}
|
|
284
|
-
}
|
|
285
|
-
async deleteCapsule([contractAddress], [slot]) {
|
|
286
|
-
await this.typedOracle.deleteCapsule(AztecAddress.fromField(Fr.fromString(contractAddress)), Fr.fromString(slot));
|
|
287
|
-
return [];
|
|
288
|
-
}
|
|
289
|
-
async copyCapsule([contractAddress], [srcSlot], [dstSlot], [numEntries]) {
|
|
290
|
-
await this.typedOracle.copyCapsule(AztecAddress.fromField(Fr.fromString(contractAddress)), Fr.fromString(srcSlot), Fr.fromString(dstSlot), Fr.fromString(numEntries).toNumber());
|
|
291
|
-
return [];
|
|
292
|
-
}
|
|
293
|
-
async aes128Decrypt(ciphertextBVecStorage, [ciphertextLength], iv, symKey) {
|
|
294
|
-
const ciphertext = fromUintBoundedVec(ciphertextBVecStorage, ciphertextLength, 8);
|
|
295
|
-
const ivBuffer = fromUintArray(iv, 8);
|
|
296
|
-
const symKeyBuffer = fromUintArray(symKey, 8);
|
|
297
|
-
const plaintext = await this.typedOracle.aes128Decrypt(ciphertext, ivBuffer, symKeyBuffer);
|
|
298
|
-
return bufferToBoundedVec(plaintext, ciphertextBVecStorage.length);
|
|
299
|
-
}
|
|
300
|
-
async getSharedSecret([address], [ephPKField0], [ephPKField1], [ephPKField2]) {
|
|
301
|
-
const secret = await this.typedOracle.getSharedSecret(AztecAddress.fromField(Fr.fromString(address)), Point.fromFields([
|
|
302
|
-
ephPKField0,
|
|
303
|
-
ephPKField1,
|
|
304
|
-
ephPKField2
|
|
305
|
-
].map(Fr.fromString)));
|
|
306
|
-
return secret.toFields().map(toACVMField);
|
|
307
|
-
}
|
|
308
|
-
async storePrivateEventLog([contractAddress], [recipient], [eventSelector], msgContentBVecStorage, [msgContentLength], [txHash], [logIndexInTx], [txIndexInBlock]) {
|
|
309
|
-
await this.typedOracle.storePrivateEventLog(AztecAddress.fromField(Fr.fromString(contractAddress)), AztecAddress.fromField(Fr.fromString(recipient)), EventSelector.fromField(Fr.fromString(eventSelector)), fromBoundedVec(msgContentBVecStorage, msgContentLength), new TxHash(Fr.fromString(txHash)), Fr.fromString(logIndexInTx).toNumber(), Fr.fromString(txIndexInBlock).toNumber());
|
|
310
|
-
return [];
|
|
311
|
-
}
|
|
312
|
-
}
|