@aztec/simulator 0.87.5 → 0.87.6

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.
Files changed (129) hide show
  1. package/dest/client.d.ts +5 -3
  2. package/dest/client.d.ts.map +1 -1
  3. package/dest/client.js +4 -2
  4. package/dest/private/acvm/acvm.d.ts +5 -2
  5. package/dest/private/acvm/acvm.d.ts.map +1 -1
  6. package/dest/private/acvm/index.d.ts +0 -1
  7. package/dest/private/acvm/index.d.ts.map +1 -1
  8. package/dest/private/acvm/index.js +0 -1
  9. package/dest/private/{providers/acvm_native.d.ts → acvm_native.d.ts} +4 -4
  10. package/dest/private/acvm_native.d.ts.map +1 -0
  11. package/dest/private/{providers/acvm_wasm.d.ts → acvm_wasm.d.ts} +4 -4
  12. package/dest/private/acvm_wasm.d.ts.map +1 -0
  13. package/dest/private/{providers/acvm_wasm.js → acvm_wasm.js} +2 -2
  14. package/dest/private/{providers/acvm_wasm_with_blobs.d.ts → acvm_wasm_with_blobs.d.ts} +5 -5
  15. package/dest/private/acvm_wasm_with_blobs.d.ts.map +1 -0
  16. package/dest/private/{providers/acvm_wasm_with_blobs.js → acvm_wasm_with_blobs.js} +2 -2
  17. package/dest/private/{providers/circuit_recording → circuit_recording}/circuit_recorder.d.ts +41 -21
  18. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -0
  19. package/dest/private/circuit_recording/circuit_recorder.js +209 -0
  20. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +31 -0
  21. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -0
  22. package/dest/private/circuit_recording/file_circuit_recorder.js +135 -0
  23. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +5 -0
  24. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -0
  25. package/dest/private/circuit_recording/memory_circuit_recorder.js +9 -0
  26. package/dest/private/{providers/circuit_recording/simulation_provider_recorder_wrapper.d.ts → circuit_recording/simulator_recorder_wrapper.d.ts} +9 -7
  27. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -0
  28. package/dest/private/{providers/circuit_recording/simulation_provider_recorder_wrapper.js → circuit_recording/simulator_recorder_wrapper.js} +18 -13
  29. package/dest/private/{providers/simulation_provider.d.ts → circuit_simulator.d.ts} +4 -4
  30. package/dest/private/circuit_simulator.d.ts.map +1 -0
  31. package/dest/private/{providers/simulation_provider.js → circuit_simulator.js} +1 -1
  32. package/dest/private/factory.d.ts +12 -0
  33. package/dest/private/factory.d.ts.map +1 -0
  34. package/dest/private/{providers/factory.js → factory.js} +2 -2
  35. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +1 -0
  36. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -1
  37. package/dest/public/avm/fixtures/base_avm_simulation_tester.js +6 -0
  38. package/dest/public/public_tx_simulator/apps_tests/amm_test.d.ts.map +1 -1
  39. package/dest/public/public_tx_simulator/apps_tests/amm_test.js +27 -55
  40. package/dest/server.d.ts +6 -3
  41. package/dest/server.d.ts.map +1 -1
  42. package/dest/server.js +5 -2
  43. package/dest/testing.d.ts +1 -1
  44. package/dest/testing.d.ts.map +1 -1
  45. package/dest/testing.js +1 -1
  46. package/package.json +15 -15
  47. package/src/client.ts +5 -3
  48. package/src/private/acvm/acvm.ts +5 -3
  49. package/src/private/acvm/index.ts +0 -1
  50. package/src/private/{providers/acvm_native.ts → acvm_native.ts} +4 -4
  51. package/src/private/{providers/acvm_wasm.ts → acvm_wasm.ts} +4 -4
  52. package/src/private/{providers/acvm_wasm_with_blobs.ts → acvm_wasm_with_blobs.ts} +5 -5
  53. package/src/private/circuit_recording/circuit_recorder.ts +260 -0
  54. package/src/private/circuit_recording/file_circuit_recorder.ts +158 -0
  55. package/src/private/circuit_recording/memory_circuit_recorder.ts +11 -0
  56. package/src/private/{providers/circuit_recording/simulation_provider_recorder_wrapper.ts → circuit_recording/simulator_recorder_wrapper.ts} +26 -18
  57. package/src/private/{providers/simulation_provider.ts → circuit_simulator.ts} +3 -3
  58. package/src/private/{providers/factory.ts → factory.ts} +6 -6
  59. package/src/public/avm/fixtures/base_avm_simulation_tester.ts +5 -0
  60. package/src/public/public_tx_simulator/apps_tests/amm_test.ts +49 -44
  61. package/src/server.ts +6 -3
  62. package/src/testing.ts +1 -1
  63. package/dest/private/acvm/oracle/index.d.ts +0 -14
  64. package/dest/private/acvm/oracle/index.d.ts.map +0 -1
  65. package/dest/private/acvm/oracle/index.js +0 -2
  66. package/dest/private/acvm/oracle/oracle.d.ts +0 -52
  67. package/dest/private/acvm/oracle/oracle.d.ts.map +0 -1
  68. package/dest/private/acvm/oracle/oracle.js +0 -312
  69. package/dest/private/acvm/oracle/typed_oracle.d.ts +0 -83
  70. package/dest/private/acvm/oracle/typed_oracle.d.ts.map +0 -1
  71. package/dest/private/acvm/oracle/typed_oracle.js +0 -138
  72. package/dest/private/execution_data_provider.d.ts +0 -301
  73. package/dest/private/execution_data_provider.d.ts.map +0 -1
  74. package/dest/private/execution_data_provider.js +0 -14
  75. package/dest/private/execution_note_cache.d.ts +0 -93
  76. package/dest/private/execution_note_cache.d.ts.map +0 -1
  77. package/dest/private/execution_note_cache.js +0 -180
  78. package/dest/private/hashed_values_cache.d.ts +0 -28
  79. package/dest/private/hashed_values_cache.d.ts.map +0 -1
  80. package/dest/private/hashed_values_cache.js +0 -36
  81. package/dest/private/index.d.ts +0 -16
  82. package/dest/private/index.d.ts.map +0 -1
  83. package/dest/private/index.js +0 -15
  84. package/dest/private/message_load_oracle_inputs.d.ts +0 -19
  85. package/dest/private/message_load_oracle_inputs.d.ts.map +0 -1
  86. package/dest/private/message_load_oracle_inputs.js +0 -24
  87. package/dest/private/pick_notes.d.ts +0 -85
  88. package/dest/private/pick_notes.d.ts.map +0 -1
  89. package/dest/private/pick_notes.js +0 -51
  90. package/dest/private/private_execution.d.ts +0 -25
  91. package/dest/private/private_execution.d.ts.map +0 -1
  92. package/dest/private/private_execution.js +0 -95
  93. package/dest/private/private_execution_oracle.d.ts +0 -187
  94. package/dest/private/private_execution_oracle.d.ts.map +0 -1
  95. package/dest/private/private_execution_oracle.js +0 -318
  96. package/dest/private/providers/acvm_native.d.ts.map +0 -1
  97. package/dest/private/providers/acvm_wasm.d.ts.map +0 -1
  98. package/dest/private/providers/acvm_wasm_with_blobs.d.ts.map +0 -1
  99. package/dest/private/providers/circuit_recording/circuit_recorder.d.ts.map +0 -1
  100. package/dest/private/providers/circuit_recording/circuit_recorder.js +0 -246
  101. package/dest/private/providers/circuit_recording/simulation_provider_recorder_wrapper.d.ts.map +0 -1
  102. package/dest/private/providers/factory.d.ts +0 -12
  103. package/dest/private/providers/factory.d.ts.map +0 -1
  104. package/dest/private/providers/simulation_provider.d.ts.map +0 -1
  105. package/dest/private/simulator.d.ts +0 -36
  106. package/dest/private/simulator.d.ts.map +0 -1
  107. package/dest/private/simulator.js +0 -104
  108. package/dest/private/utility_execution_oracle.d.ts +0 -163
  109. package/dest/private/utility_execution_oracle.d.ts.map +0 -1
  110. package/dest/private/utility_execution_oracle.js +0 -257
  111. package/dest/test/utils.d.ts +0 -13
  112. package/dest/test/utils.d.ts.map +0 -1
  113. package/dest/test/utils.js +0 -22
  114. package/src/private/acvm/oracle/index.ts +0 -16
  115. package/src/private/acvm/oracle/oracle.ts +0 -523
  116. package/src/private/acvm/oracle/typed_oracle.ts +0 -273
  117. package/src/private/execution_data_provider.ts +0 -388
  118. package/src/private/execution_note_cache.ts +0 -217
  119. package/src/private/hashed_values_cache.ts +0 -47
  120. package/src/private/index.ts +0 -19
  121. package/src/private/message_load_oracle_inputs.ts +0 -23
  122. package/src/private/pick_notes.ts +0 -141
  123. package/src/private/private_execution.ts +0 -159
  124. package/src/private/private_execution_oracle.ts +0 -508
  125. package/src/private/providers/circuit_recording/circuit_recorder.ts +0 -283
  126. package/src/private/simulator.ts +0 -170
  127. package/src/private/utility_execution_oracle.ts +0 -384
  128. package/src/test/utils.ts +0 -36
  129. /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(66),
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 { WASMSimulatorWithBlobs } from './private/providers/acvm_wasm_with_blobs.js';
3
- export { NativeACVMSimulator } from './private/providers/acvm_native.js';
4
- export { type SimulationProvider } from './private/providers/simulation_provider.js';
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 { SimulationProviderRecorderWrapper } from './private/providers/circuit_recording/simulation_provider_recorder_wrapper.js';
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,2 +0,0 @@
1
- export * from './oracle.js';
2
- export * from './typed_oracle.js';
@@ -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
- }