@aztec/simulator 0.73.0 → 0.75.0-commit.c03ba01a2a4122e43e90d5133ba017e54b90e9d2

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 (309) hide show
  1. package/dest/acvm/acvm.js +18 -21
  2. package/dest/acvm/acvm_types.js +3 -2
  3. package/dest/acvm/deserialize.js +9 -13
  4. package/dest/acvm/index.js +0 -1
  5. package/dest/acvm/oracle/index.js +0 -1
  6. package/dest/acvm/oracle/oracle.js +42 -23
  7. package/dest/acvm/oracle/typed_oracle.js +36 -38
  8. package/dest/acvm/serialize.js +7 -14
  9. package/dest/avm/avm_context.js +24 -27
  10. package/dest/avm/avm_contract_call_result.js +12 -7
  11. package/dest/avm/avm_execution_environment.js +10 -7
  12. package/dest/avm/avm_gas.js +93 -56
  13. package/dest/avm/avm_machine_state.js +60 -61
  14. package/dest/avm/avm_memory_types.js +166 -255
  15. package/dest/avm/avm_simulator.js +68 -47
  16. package/dest/avm/avm_tree.js +282 -276
  17. package/dest/avm/bytecode_utils.js +8 -6
  18. package/dest/avm/errors.js +46 -63
  19. package/dest/avm/fixtures/avm_simulation_tester.js +20 -20
  20. package/dest/avm/fixtures/base_avm_simulation_tester.js +21 -16
  21. package/dest/avm/fixtures/index.js +49 -22
  22. package/dest/avm/fixtures/simple_contract_data_source.js +9 -13
  23. package/dest/avm/index.js +0 -1
  24. package/dest/avm/journal/index.js +0 -1
  25. package/dest/avm/journal/journal.js +147 -200
  26. package/dest/avm/journal/nullifiers.js +43 -46
  27. package/dest/avm/journal/public_storage.js +73 -87
  28. package/dest/avm/opcodes/accrued_substate.js +140 -110
  29. package/dest/avm/opcodes/addressing_mode.js +29 -31
  30. package/dest/avm/opcodes/arithmetic.js +17 -15
  31. package/dest/avm/opcodes/bitwise.js +40 -26
  32. package/dest/avm/opcodes/comparators.js +12 -10
  33. package/dest/avm/opcodes/contract.js +31 -29
  34. package/dest/avm/opcodes/control_flow.js +47 -43
  35. package/dest/avm/opcodes/conversion.js +30 -26
  36. package/dest/avm/opcodes/ec_add.js +35 -34
  37. package/dest/avm/opcodes/environment_getters.js +33 -33
  38. package/dest/avm/opcodes/external_calls.js +83 -74
  39. package/dest/avm/opcodes/hashing.js +69 -61
  40. package/dest/avm/opcodes/index.js +0 -1
  41. package/dest/avm/opcodes/instruction.js +31 -40
  42. package/dest/avm/opcodes/instruction_impl.js +12 -15
  43. package/dest/avm/opcodes/memory.js +177 -156
  44. package/dest/avm/opcodes/misc.js +27 -25
  45. package/dest/avm/opcodes/multi_scalar_mul.js +43 -41
  46. package/dest/avm/opcodes/storage.js +28 -25
  47. package/dest/avm/serialization/buffer_cursor.js +4 -4
  48. package/dest/avm/serialization/bytecode_serialization.js +292 -89
  49. package/dest/avm/serialization/instruction_serialization.js +67 -28
  50. package/dest/avm/test_utils.js +6 -9
  51. package/dest/client/client_execution_context.js +197 -219
  52. package/dest/client/db_oracle.js +4 -7
  53. package/dest/client/execution_note_cache.js +80 -81
  54. package/dest/client/index.js +0 -1
  55. package/dest/client/pick_notes.js +27 -30
  56. package/dest/client/private_execution.js +13 -14
  57. package/dest/client/simulator.js +44 -48
  58. package/dest/client/unconstrained_execution.js +8 -11
  59. package/dest/client/view_data_oracle.js +130 -139
  60. package/dest/common/debug_fn_name.js +1 -4
  61. package/dest/common/errors.js +30 -39
  62. package/dest/common/hashed_values_cache.js +16 -20
  63. package/dest/common/index.js +0 -1
  64. package/dest/common/message_load_oracle_inputs.js +7 -7
  65. package/dest/common/simulation_provider.js +3 -6
  66. package/dest/common.js +0 -1
  67. package/dest/providers/acvm_native.js +46 -32
  68. package/dest/providers/acvm_wasm.js +18 -10
  69. package/dest/providers/acvm_wasm_with_blobs.js +2 -5
  70. package/dest/providers/factory.js +5 -5
  71. package/dest/providers/index.js +0 -1
  72. package/dest/public/bytecode_errors.js +1 -2
  73. package/dest/public/db_interfaces.js +1 -2
  74. package/dest/public/execution.js +2 -4
  75. package/dest/public/executor_metrics.js +16 -12
  76. package/dest/public/fee_payment.js +2 -5
  77. package/dest/public/fixtures/index.js +0 -1
  78. package/dest/public/fixtures/public_tx_simulation_tester.js +15 -20
  79. package/dest/public/fixtures/utils.js +11 -14
  80. package/dest/public/index.js +0 -1
  81. package/dest/public/public_db_sources.js +79 -87
  82. package/dest/public/public_processor.js +310 -306
  83. package/dest/public/public_processor_metrics.js +46 -27
  84. package/dest/public/public_tx_context.js +97 -118
  85. package/dest/public/public_tx_simulator.js +299 -314
  86. package/dest/public/side_effect_errors.js +1 -2
  87. package/dest/public/side_effect_trace.js +44 -105
  88. package/dest/public/side_effect_trace_interface.js +1 -2
  89. package/dest/public/unique_class_ids.js +22 -27
  90. package/dest/public/utils.js +16 -11
  91. package/dest/server.js +0 -1
  92. package/dest/stats/index.js +0 -1
  93. package/dest/stats/stats.js +1 -2
  94. package/dest/test/utils.js +5 -4
  95. package/package.json +11 -11
  96. package/src/acvm/oracle/typed_oracle.ts +34 -34
  97. package/src/avm/avm_machine_state.ts +18 -14
  98. package/src/avm/avm_memory_types.ts +43 -183
  99. package/src/avm/avm_simulator.ts +37 -11
  100. package/src/avm/fixtures/avm_simulation_tester.ts +2 -3
  101. package/src/avm/fixtures/index.ts +39 -0
  102. package/src/avm/opcodes/accrued_substate.ts +7 -21
  103. package/src/avm/opcodes/addressing_mode.ts +9 -2
  104. package/src/avm/opcodes/arithmetic.ts +1 -3
  105. package/src/avm/opcodes/bitwise.ts +2 -6
  106. package/src/avm/opcodes/comparators.ts +1 -3
  107. package/src/avm/opcodes/contract.ts +1 -3
  108. package/src/avm/opcodes/control_flow.ts +1 -9
  109. package/src/avm/opcodes/conversion.ts +1 -3
  110. package/src/avm/opcodes/ec_add.ts +1 -3
  111. package/src/avm/opcodes/environment_getters.ts +1 -3
  112. package/src/avm/opcodes/external_calls.ts +3 -6
  113. package/src/avm/opcodes/hashing.ts +3 -9
  114. package/src/avm/opcodes/memory.ts +6 -20
  115. package/src/avm/opcodes/misc.ts +1 -3
  116. package/src/avm/opcodes/multi_scalar_mul.ts +1 -7
  117. package/src/avm/opcodes/storage.ts +2 -6
  118. package/src/client/index.ts +2 -2
  119. package/src/public/fixtures/public_tx_simulation_tester.ts +2 -3
  120. package/src/public/side_effect_trace.ts +1 -42
  121. package/src/public/side_effect_trace_interface.ts +0 -21
  122. package/dest/acvm/acvm.d.ts +0 -35
  123. package/dest/acvm/acvm.d.ts.map +0 -1
  124. package/dest/acvm/acvm_types.d.ts +0 -10
  125. package/dest/acvm/acvm_types.d.ts.map +0 -1
  126. package/dest/acvm/deserialize.d.ts +0 -36
  127. package/dest/acvm/deserialize.d.ts.map +0 -1
  128. package/dest/acvm/index.d.ts +0 -6
  129. package/dest/acvm/index.d.ts.map +0 -1
  130. package/dest/acvm/oracle/index.d.ts +0 -14
  131. package/dest/acvm/oracle/index.d.ts.map +0 -1
  132. package/dest/acvm/oracle/oracle.d.ts +0 -49
  133. package/dest/acvm/oracle/oracle.d.ts.map +0 -1
  134. package/dest/acvm/oracle/typed_oracle.d.ts +0 -75
  135. package/dest/acvm/oracle/typed_oracle.d.ts.map +0 -1
  136. package/dest/acvm/serialize.d.ts +0 -20
  137. package/dest/acvm/serialize.d.ts.map +0 -1
  138. package/dest/avm/avm_context.d.ts +0 -39
  139. package/dest/avm/avm_context.d.ts.map +0 -1
  140. package/dest/avm/avm_contract_call_result.d.ts +0 -30
  141. package/dest/avm/avm_contract_call_result.d.ts.map +0 -1
  142. package/dest/avm/avm_execution_environment.d.ts +0 -21
  143. package/dest/avm/avm_execution_environment.d.ts.map +0 -1
  144. package/dest/avm/avm_gas.d.ts +0 -60
  145. package/dest/avm/avm_gas.d.ts.map +0 -1
  146. package/dest/avm/avm_machine_state.d.ts +0 -93
  147. package/dest/avm/avm_machine_state.d.ts.map +0 -1
  148. package/dest/avm/avm_memory_types.d.ts +0 -310
  149. package/dest/avm/avm_memory_types.d.ts.map +0 -1
  150. package/dest/avm/avm_simulator.d.ts +0 -37
  151. package/dest/avm/avm_simulator.d.ts.map +0 -1
  152. package/dest/avm/avm_tree.d.ts +0 -281
  153. package/dest/avm/avm_tree.d.ts.map +0 -1
  154. package/dest/avm/bytecode_utils.d.ts +0 -5
  155. package/dest/avm/bytecode_utils.d.ts.map +0 -1
  156. package/dest/avm/errors.d.ts +0 -121
  157. package/dest/avm/errors.d.ts.map +0 -1
  158. package/dest/avm/fixtures/avm_simulation_tester.d.ts +0 -21
  159. package/dest/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
  160. package/dest/avm/fixtures/base_avm_simulation_tester.d.ts +0 -35
  161. package/dest/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
  162. package/dest/avm/fixtures/index.d.ts +0 -63
  163. package/dest/avm/fixtures/index.d.ts.map +0 -1
  164. package/dest/avm/fixtures/simple_contract_data_source.d.ts +0 -31
  165. package/dest/avm/fixtures/simple_contract_data_source.d.ts.map +0 -1
  166. package/dest/avm/index.d.ts +0 -4
  167. package/dest/avm/index.d.ts.map +0 -1
  168. package/dest/avm/journal/index.d.ts +0 -2
  169. package/dest/avm/journal/index.d.ts.map +0 -1
  170. package/dest/avm/journal/journal.d.ts +0 -176
  171. package/dest/avm/journal/journal.d.ts.map +0 -1
  172. package/dest/avm/journal/nullifiers.d.ts +0 -62
  173. package/dest/avm/journal/nullifiers.d.ts.map +0 -1
  174. package/dest/avm/journal/public_storage.d.ts +0 -66
  175. package/dest/avm/journal/public_storage.d.ts.map +0 -1
  176. package/dest/avm/opcodes/accrued_substate.d.ts +0 -75
  177. package/dest/avm/opcodes/accrued_substate.d.ts.map +0 -1
  178. package/dest/avm/opcodes/addressing_mode.d.ts +0 -27
  179. package/dest/avm/opcodes/addressing_mode.d.ts.map +0 -1
  180. package/dest/avm/opcodes/arithmetic.d.ts +0 -37
  181. package/dest/avm/opcodes/arithmetic.d.ts.map +0 -1
  182. package/dest/avm/opcodes/bitwise.d.ts +0 -50
  183. package/dest/avm/opcodes/bitwise.d.ts.map +0 -1
  184. package/dest/avm/opcodes/comparators.d.ts +0 -25
  185. package/dest/avm/opcodes/comparators.d.ts.map +0 -1
  186. package/dest/avm/opcodes/contract.d.ts +0 -21
  187. package/dest/avm/opcodes/contract.d.ts.map +0 -1
  188. package/dest/avm/opcodes/control_flow.d.ts +0 -41
  189. package/dest/avm/opcodes/control_flow.d.ts.map +0 -1
  190. package/dest/avm/opcodes/conversion.d.ts +0 -17
  191. package/dest/avm/opcodes/conversion.d.ts.map +0 -1
  192. package/dest/avm/opcodes/ec_add.d.ts +0 -19
  193. package/dest/avm/opcodes/ec_add.d.ts.map +0 -1
  194. package/dest/avm/opcodes/environment_getters.d.ts +0 -28
  195. package/dest/avm/opcodes/environment_getters.d.ts.map +0 -1
  196. package/dest/avm/opcodes/external_calls.d.ts +0 -50
  197. package/dest/avm/opcodes/external_calls.d.ts.map +0 -1
  198. package/dest/avm/opcodes/hashing.d.ts +0 -36
  199. package/dest/avm/opcodes/hashing.d.ts.map +0 -1
  200. package/dest/avm/opcodes/index.d.ts +0 -16
  201. package/dest/avm/opcodes/index.d.ts.map +0 -1
  202. package/dest/avm/opcodes/instruction.d.ts +0 -70
  203. package/dest/avm/opcodes/instruction.d.ts.map +0 -1
  204. package/dest/avm/opcodes/instruction_impl.d.ts +0 -19
  205. package/dest/avm/opcodes/instruction_impl.d.ts.map +0 -1
  206. package/dest/avm/opcodes/memory.d.ts +0 -74
  207. package/dest/avm/opcodes/memory.d.ts.map +0 -1
  208. package/dest/avm/opcodes/misc.d.ts +0 -17
  209. package/dest/avm/opcodes/misc.d.ts.map +0 -1
  210. package/dest/avm/opcodes/multi_scalar_mul.d.ts +0 -16
  211. package/dest/avm/opcodes/multi_scalar_mul.d.ts.map +0 -1
  212. package/dest/avm/opcodes/storage.d.ts +0 -24
  213. package/dest/avm/opcodes/storage.d.ts.map +0 -1
  214. package/dest/avm/serialization/buffer_cursor.d.ts +0 -28
  215. package/dest/avm/serialization/buffer_cursor.d.ts.map +0 -1
  216. package/dest/avm/serialization/bytecode_serialization.d.ts +0 -21
  217. package/dest/avm/serialization/bytecode_serialization.d.ts.map +0 -1
  218. package/dest/avm/serialization/instruction_serialization.d.ts +0 -105
  219. package/dest/avm/serialization/instruction_serialization.d.ts.map +0 -1
  220. package/dest/avm/test_utils.d.ts +0 -16
  221. package/dest/avm/test_utils.d.ts.map +0 -1
  222. package/dest/client/client_execution_context.d.ts +0 -214
  223. package/dest/client/client_execution_context.d.ts.map +0 -1
  224. package/dest/client/db_oracle.d.ts +0 -229
  225. package/dest/client/db_oracle.d.ts.map +0 -1
  226. package/dest/client/execution_note_cache.d.ts +0 -93
  227. package/dest/client/execution_note_cache.d.ts.map +0 -1
  228. package/dest/client/index.d.ts +0 -15
  229. package/dest/client/index.d.ts.map +0 -1
  230. package/dest/client/pick_notes.d.ts +0 -85
  231. package/dest/client/pick_notes.d.ts.map +0 -1
  232. package/dest/client/private_execution.d.ts +0 -19
  233. package/dest/client/private_execution.d.ts.map +0 -1
  234. package/dest/client/simulator.d.ts +0 -60
  235. package/dest/client/simulator.d.ts.map +0 -1
  236. package/dest/client/unconstrained_execution.d.ts +0 -10
  237. package/dest/client/unconstrained_execution.d.ts.map +0 -1
  238. package/dest/client/view_data_oracle.d.ts +0 -159
  239. package/dest/client/view_data_oracle.d.ts.map +0 -1
  240. package/dest/common/debug_fn_name.d.ts +0 -4
  241. package/dest/common/debug_fn_name.d.ts.map +0 -1
  242. package/dest/common/errors.d.ts +0 -54
  243. package/dest/common/errors.d.ts.map +0 -1
  244. package/dest/common/hashed_values_cache.d.ts +0 -28
  245. package/dest/common/hashed_values_cache.d.ts.map +0 -1
  246. package/dest/common/index.d.ts +0 -3
  247. package/dest/common/index.d.ts.map +0 -1
  248. package/dest/common/message_load_oracle_inputs.d.ts +0 -15
  249. package/dest/common/message_load_oracle_inputs.d.ts.map +0 -1
  250. package/dest/common/simulation_provider.d.ts +0 -19
  251. package/dest/common/simulation_provider.d.ts.map +0 -1
  252. package/dest/common.d.ts +0 -2
  253. package/dest/common.d.ts.map +0 -1
  254. package/dest/providers/acvm_native.d.ts +0 -40
  255. package/dest/providers/acvm_native.d.ts.map +0 -1
  256. package/dest/providers/acvm_wasm.d.ts +0 -15
  257. package/dest/providers/acvm_wasm.d.ts.map +0 -1
  258. package/dest/providers/acvm_wasm_with_blobs.d.ts +0 -19
  259. package/dest/providers/acvm_wasm_with_blobs.d.ts.map +0 -1
  260. package/dest/providers/factory.d.ts +0 -12
  261. package/dest/providers/factory.d.ts.map +0 -1
  262. package/dest/providers/index.d.ts +0 -5
  263. package/dest/providers/index.d.ts.map +0 -1
  264. package/dest/public/bytecode_errors.d.ts +0 -4
  265. package/dest/public/bytecode_errors.d.ts.map +0 -1
  266. package/dest/public/db_interfaces.d.ts +0 -105
  267. package/dest/public/db_interfaces.d.ts.map +0 -1
  268. package/dest/public/execution.d.ts +0 -102
  269. package/dest/public/execution.d.ts.map +0 -1
  270. package/dest/public/executor_metrics.d.ts +0 -13
  271. package/dest/public/executor_metrics.d.ts.map +0 -1
  272. package/dest/public/fee_payment.d.ts +0 -11
  273. package/dest/public/fee_payment.d.ts.map +0 -1
  274. package/dest/public/fixtures/index.d.ts +0 -3
  275. package/dest/public/fixtures/index.d.ts.map +0 -1
  276. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +0 -21
  277. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +0 -1
  278. package/dest/public/fixtures/utils.d.ts +0 -17
  279. package/dest/public/fixtures/utils.d.ts.map +0 -1
  280. package/dest/public/index.d.ts +0 -9
  281. package/dest/public/index.d.ts.map +0 -1
  282. package/dest/public/public_db_sources.d.ts +0 -81
  283. package/dest/public/public_db_sources.d.ts.map +0 -1
  284. package/dest/public/public_processor.d.ts +0 -72
  285. package/dest/public/public_processor.d.ts.map +0 -1
  286. package/dest/public/public_processor_metrics.d.ts +0 -27
  287. package/dest/public/public_processor_metrics.d.ts.map +0 -1
  288. package/dest/public/public_tx_context.d.ts +0 -131
  289. package/dest/public/public_tx_context.d.ts.map +0 -1
  290. package/dest/public/public_tx_simulator.d.ts +0 -99
  291. package/dest/public/public_tx_simulator.d.ts.map +0 -1
  292. package/dest/public/side_effect_errors.d.ts +0 -4
  293. package/dest/public/side_effect_errors.d.ts.map +0 -1
  294. package/dest/public/side_effect_trace.d.ts +0 -146
  295. package/dest/public/side_effect_trace.d.ts.map +0 -1
  296. package/dest/public/side_effect_trace_interface.d.ts +0 -49
  297. package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
  298. package/dest/public/unique_class_ids.d.ts +0 -37
  299. package/dest/public/unique_class_ids.d.ts.map +0 -1
  300. package/dest/public/utils.d.ts +0 -5
  301. package/dest/public/utils.d.ts.map +0 -1
  302. package/dest/server.d.ts +0 -6
  303. package/dest/server.d.ts.map +0 -1
  304. package/dest/stats/index.d.ts +0 -2
  305. package/dest/stats/index.d.ts.map +0 -1
  306. package/dest/stats/stats.d.ts +0 -4
  307. package/dest/stats/stats.d.ts.map +0 -1
  308. package/dest/test/utils.d.ts +0 -12
  309. package/dest/test/utils.d.ts.map +0 -1
@@ -1,85 +0,0 @@
1
- import { Comparator, type Note } from '@aztec/circuit-types';
2
- import { Fr } from '@aztec/foundation/fields';
3
- export interface PropertySelector {
4
- index: number;
5
- offset: number;
6
- length: number;
7
- }
8
- /**
9
- * Configuration for selecting values.
10
- */
11
- export interface Select {
12
- /**
13
- * Selector of the field to select and match.
14
- */
15
- selector: PropertySelector;
16
- /**
17
- * Required value of the field.
18
- */
19
- value: Fr;
20
- /**
21
- * The comparator to use
22
- */
23
- comparator: Comparator;
24
- }
25
- /**
26
- * The order to sort an array.
27
- */
28
- export declare enum SortOrder {
29
- NADA = 0,
30
- DESC = 1,
31
- ASC = 2
32
- }
33
- /**
34
- * Configuration for sorting values.
35
- */
36
- export interface Sort {
37
- /**
38
- * Selector of the field to sort.
39
- */
40
- selector: PropertySelector;
41
- /**
42
- * Order to sort the field.
43
- */
44
- order: SortOrder;
45
- }
46
- /**
47
- * Options for picking items from an array of BasicNoteData.
48
- */
49
- interface GetOptions {
50
- /**
51
- * Configurations for selecting items.
52
- * Default: empty array.
53
- */
54
- selects?: Select[];
55
- /**
56
- * Configurations for sorting items.
57
- * Default: empty array.
58
- */
59
- sorts?: Sort[];
60
- /**
61
- * The number of items to retrieve per query.
62
- * Default: 0. No limit.
63
- */
64
- limit?: number;
65
- /**
66
- * The starting index for pagination.
67
- * Default: 0.
68
- */
69
- offset?: number;
70
- }
71
- /**
72
- * Data needed from to perform sort.
73
- */
74
- interface ContainsNote {
75
- /**
76
- * The note.
77
- */
78
- note: Note;
79
- }
80
- /**
81
- * Pick from a note array a number of notes that meet the criteria.
82
- */
83
- export declare function pickNotes<T extends ContainsNote>(noteDatas: T[], { selects, sorts, limit, offset }: GetOptions): T[];
84
- export {};
85
- //# sourceMappingURL=pick_notes.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"pick_notes.d.ts","sourceRoot":"","sources":["../../src/client/pick_notes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,EAAE,CAAC;IACV;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;CACxB;AAED;;GAEG;AACH,oBAAY,SAAS;IACnB,IAAI,IAAI;IACR,IAAI,IAAI;IACR,GAAG,IAAI;CACR;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,SAAS,CAAC;CAClB;AAED;;GAEG;AACH,UAAU,UAAU;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;OAGG;IACH,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,UAAU,YAAY;IACpB;;OAEG;IACH,IAAI,EAAE,IAAI,CAAC;CACZ;AA8CD;;GAEG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,YAAY,EAC9C,SAAS,EAAE,CAAC,EAAE,EACd,EAAE,OAAY,EAAE,KAAU,EAAE,KAAS,EAAE,MAAU,EAAE,EAAE,UAAU,GAC9D,CAAC,EAAE,CAIL"}
@@ -1,19 +0,0 @@
1
- import { PrivateCallExecutionResult } from '@aztec/circuit-types';
2
- import { PrivateCircuitPublicInputs } from '@aztec/circuits.js';
3
- import { type FunctionArtifact, type FunctionSelector } from '@aztec/foundation/abi';
4
- import { type AztecAddress } from '@aztec/foundation/aztec-address';
5
- import { type ACVMWitness } from '../acvm/index.js';
6
- import { type SimulationProvider } from '../server.js';
7
- import { type ClientExecutionContext } from './client_execution_context.js';
8
- /**
9
- * Execute a private function and return the execution result.
10
- */
11
- export declare function executePrivateFunction(simulator: SimulationProvider, context: ClientExecutionContext, artifact: FunctionArtifact, contractAddress: AztecAddress, functionSelector: FunctionSelector, log?: import("@aztec/foundation/log").Logger): Promise<PrivateCallExecutionResult>;
12
- /**
13
- * Get the private circuit public inputs from the partial witness.
14
- * @param artifact - The function artifact
15
- * @param partialWitness - The partial witness, result of simulating the function.
16
- * @returns - The public inputs.
17
- */
18
- export declare function extractPrivateCircuitPublicInputs(artifact: FunctionArtifact, partialWitness: ACVMWitness): PrivateCircuitPublicInputs;
19
- //# sourceMappingURL=private_execution.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"private_execution.d.ts","sourceRoot":"","sources":["../../src/client/private_execution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAElE,OAAO,EAIL,0BAA0B,EAC3B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAsB,MAAM,uBAAuB,CAAC;AACzG,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAKpE,OAAO,EAAE,KAAK,WAAW,EAA4B,MAAM,kBAAkB,CAAC;AAE9E,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,KAAK,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAE5E;;GAEG;AACH,wBAAsB,sBAAsB,CAC1C,SAAS,EAAE,kBAAkB,EAC7B,OAAO,EAAE,sBAAsB,EAC/B,QAAQ,EAAE,gBAAgB,EAC1B,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,gBAAgB,EAClC,GAAG,yCAA8C,GAChD,OAAO,CAAC,0BAA0B,CAAC,CA+DrC;AAED;;;;;GAKG;AACH,wBAAgB,iCAAiC,CAC/C,QAAQ,EAAE,gBAAgB,EAC1B,cAAc,EAAE,WAAW,GAC1B,0BAA0B,CAa5B"}
@@ -1,60 +0,0 @@
1
- import { type AztecNode, type FunctionCall, type Note, PrivateExecutionResult, type TxExecutionRequest } from '@aztec/circuit-types';
2
- import { type FunctionArtifact, type NoteSelector } from '@aztec/foundation/abi';
3
- import { AztecAddress } from '@aztec/foundation/aztec-address';
4
- import { Fr } from '@aztec/foundation/fields';
5
- import { type SimulationProvider } from '../common/simulation_provider.js';
6
- import { type DBOracle } from './db_oracle.js';
7
- /**
8
- * The ACIR simulator.
9
- */
10
- export declare class AcirSimulator {
11
- private db;
12
- private node;
13
- private simulationProvider;
14
- private log;
15
- constructor(db: DBOracle, node: AztecNode, simulationProvider: SimulationProvider);
16
- /**
17
- * Runs a private function.
18
- * @param request - The transaction request.
19
- * @param entryPointArtifact - The artifact of the entry point function.
20
- * @param contractAddress - The address of the contract (should match request.origin)
21
- * @param msgSender - The address calling the function. This can be replaced to simulate a call from another contract or a specific account.
22
- * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
23
- * @returns The result of the execution.
24
- */
25
- run(request: TxExecutionRequest, entryPointArtifact: FunctionArtifact, contractAddress: AztecAddress, msgSender?: AztecAddress, scopes?: AztecAddress[]): Promise<PrivateExecutionResult>;
26
- /**
27
- * Runs an unconstrained function.
28
- * @param request - The transaction request.
29
- * @param entryPointArtifact - The artifact of the entry point function.
30
- * @param contractAddress - The address of the contract.
31
- * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
32
- */
33
- runUnconstrained(request: FunctionCall, entryPointArtifact: FunctionArtifact, contractAddress: AztecAddress, scopes?: AztecAddress[]): Promise<import("@aztec/foundation/abi").AbiDecoded>;
34
- /**
35
- * Computes the inner nullifier of a note.
36
- * @param contractAddress - The address of the contract.
37
- * @param nonce - The nonce of the note hash.
38
- * @param storageSlot - The storage slot.
39
- * @param noteTypeId - The note type identifier.
40
- * @param computeNullifier - A flag indicating whether to compute the nullifier or just return 0.
41
- * @param note - The note.
42
- * @returns The nullifier.
43
- */
44
- computeNoteHashAndOptionallyANullifier(contractAddress: AztecAddress, nonce: Fr, storageSlot: Fr, noteTypeId: NoteSelector, computeNullifier: boolean, note: Note): Promise<{
45
- noteHash: Fr;
46
- uniqueNoteHash: Fr;
47
- siloedNoteHash: Fr;
48
- innerNullifier: Fr;
49
- }>;
50
- /**
51
- * Computes a hash of the note.
52
- * @param contractAddress - The address of the contract.
53
- * @param storageSlot - The storage slot.
54
- * @param noteTypeId - The note type identifier.
55
- * @param note - The note.
56
- * @returns The note hash.
57
- */
58
- computeNoteHash(contractAddress: AztecAddress, storageSlot: Fr, noteTypeId: NoteSelector, note: Note): Promise<Fr>;
59
- }
60
- //# sourceMappingURL=simulator.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"simulator.d.ts","sourceRoot":"","sources":["../../src/client/simulator.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,KAAK,IAAI,EACT,sBAAsB,EACtB,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAEL,KAAK,gBAAgB,EAGrB,KAAK,YAAY,EAElB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAK9C,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAE3E,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAM/C;;GAEG;AACH,qBAAa,aAAa;IAGZ,OAAO,CAAC,EAAE;IAAY,OAAO,CAAC,IAAI;IAAa,OAAO,CAAC,kBAAkB;IAFrF,OAAO,CAAC,GAAG,CAAS;gBAEA,EAAE,EAAE,QAAQ,EAAU,IAAI,EAAE,SAAS,EAAU,kBAAkB,EAAE,kBAAkB;IAIzG;;;;;;;;OAQG;IACU,GAAG,CACd,OAAO,EAAE,kBAAkB,EAC3B,kBAAkB,EAAE,gBAAgB,EACpC,eAAe,EAAE,YAAY,EAC7B,SAAS,eAA6C,EACtD,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,sBAAsB,CAAC;IA0DlC;;;;;;OAMG;IACU,gBAAgB,CAC3B,OAAO,EAAE,YAAY,EACrB,kBAAkB,EAAE,gBAAgB,EACpC,eAAe,EAAE,YAAY,EAC7B,MAAM,CAAC,EAAE,YAAY,EAAE;IAsBzB;;;;;;;;;OASG;IACU,sCAAsC,CACjD,eAAe,EAAE,YAAY,EAC7B,KAAK,EAAE,EAAE,EACT,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,YAAY,EACxB,gBAAgB,EAAE,OAAO,EACzB,IAAI,EAAE,IAAI;;;;;;IA6DZ;;;;;;;OAOG;IACU,eAAe,CAAC,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI;CAWlH"}
@@ -1,10 +0,0 @@
1
- import { type AbiDecoded, type FunctionArtifact, type FunctionSelector } from '@aztec/foundation/abi';
2
- import { type AztecAddress } from '@aztec/foundation/aztec-address';
3
- import { type Fr } from '@aztec/foundation/fields';
4
- import { type SimulationProvider } from '../server.js';
5
- import { type ViewDataOracle } from './view_data_oracle.js';
6
- /**
7
- * Execute an unconstrained function and return the decoded values.
8
- */
9
- export declare function executeUnconstrainedFunction(simulatorProvider: SimulationProvider, oracle: ViewDataOracle, artifact: FunctionArtifact, contractAddress: AztecAddress, functionSelector: FunctionSelector, args: Fr[], log?: import("@aztec/foundation/log").Logger): Promise<AbiDecoded>;
10
- //# sourceMappingURL=unconstrained_execution.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"unconstrained_execution.d.ts","sourceRoot":"","sources":["../../src/client/unconstrained_execution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAiB,MAAM,uBAAuB,CAAC;AACrH,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAMnD,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAG5D;;GAEG;AACH,wBAAsB,4BAA4B,CAChD,iBAAiB,EAAE,kBAAkB,EACrC,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,gBAAgB,EAC1B,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,gBAAgB,EAClC,IAAI,EAAE,EAAE,EAAE,EACV,GAAG,yCAAoD,GACtD,OAAO,CAAC,UAAU,CAAC,CAyBrB"}
@@ -1,159 +0,0 @@
1
- import { type AuthWitness, type AztecNode, type CompleteAddress, type MerkleTreeId, type NoteStatus, type NullifierMembershipWitness, type PublicDataWitness } from '@aztec/circuit-types';
2
- import { type BlockHeader, type ContractInstance, type IndexedTaggingSecret, type KeyValidationRequest } from '@aztec/circuits.js';
3
- import { AztecAddress } from '@aztec/foundation/aztec-address';
4
- import { Fr } from '@aztec/foundation/fields';
5
- import { type NoteData, TypedOracle } from '../acvm/index.js';
6
- import { type DBOracle } from './db_oracle.js';
7
- /**
8
- * The execution context for a client view tx simulation.
9
- * It only reads data from data sources. Nothing will be updated or created during this simulation.
10
- */
11
- export declare class ViewDataOracle extends TypedOracle {
12
- protected readonly contractAddress: AztecAddress;
13
- /** List of transient auth witnesses to be used during this simulation */
14
- protected readonly authWitnesses: AuthWitness[];
15
- protected readonly db: DBOracle;
16
- protected readonly aztecNode: AztecNode;
17
- protected log: import("@aztec/foundation/log").Logger;
18
- protected readonly scopes?: AztecAddress[] | undefined;
19
- constructor(contractAddress: AztecAddress,
20
- /** List of transient auth witnesses to be used during this simulation */
21
- authWitnesses: AuthWitness[], db: DBOracle, aztecNode: AztecNode, log?: import("@aztec/foundation/log").Logger, scopes?: AztecAddress[] | undefined);
22
- getBlockNumber(): Promise<number>;
23
- getContractAddress(): Promise<AztecAddress>;
24
- getChainId(): Promise<Fr>;
25
- getVersion(): Promise<Fr>;
26
- /**
27
- * Retrieve keys associated with a specific master public key and app address.
28
- * @param pkMHash - The master public key hash.
29
- * @returns A Promise that resolves to nullifier keys.
30
- * @throws If the keys are not registered in the key store.
31
- */
32
- getKeyValidationRequest(pkMHash: Fr): Promise<KeyValidationRequest>;
33
- /**
34
- * Fetches the index and sibling path of a leaf at a given block from a given tree.
35
- * @param blockNumber - The block number at which to get the membership witness.
36
- * @param treeId - Id of the tree to get the sibling path from.
37
- * @param leafValue - The leaf value
38
- * @returns The index and sibling path concatenated [index, sibling_path]
39
- */
40
- getMembershipWitness(blockNumber: number, treeId: MerkleTreeId, leafValue: Fr): Promise<Fr[]>;
41
- /**
42
- * Returns a nullifier membership witness for a given nullifier at a given block.
43
- * @param blockNumber - The block number at which to get the index.
44
- * @param nullifier - Nullifier we try to find witness for.
45
- * @returns The nullifier membership witness (if found).
46
- */
47
- getNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
48
- /**
49
- * Returns a low nullifier membership witness for a given nullifier at a given block.
50
- * @param blockNumber - The block number at which to get the index.
51
- * @param nullifier - Nullifier we try to find the low nullifier witness for.
52
- * @returns The low nullifier membership witness (if found).
53
- * @remarks Low nullifier witness can be used to perform a nullifier non-inclusion proof by leveraging the "linked
54
- * list structure" of leaves and proving that a lower nullifier is pointing to a bigger next value than the nullifier
55
- * we are trying to prove non-inclusion for.
56
- */
57
- getLowNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
58
- /**
59
- * Returns a public data tree witness for a given leaf slot at a given block.
60
- * @param blockNumber - The block number at which to get the index.
61
- * @param leafSlot - The slot of the public data tree to get the witness for.
62
- * @returns - The witness
63
- */
64
- getPublicDataTreeWitness(blockNumber: number, leafSlot: Fr): Promise<PublicDataWitness | undefined>;
65
- /**
66
- * Fetches a block header of a given block.
67
- * @param blockNumber - The number of a block of which to get the block header.
68
- * @returns Block extracted from a block with block number `blockNumber`.
69
- */
70
- getBlockHeader(blockNumber: number): Promise<BlockHeader | undefined>;
71
- /**
72
- * Retrieve the complete address associated to a given address.
73
- * @param account - The account address.
74
- * @returns A complete address associated with the input address.
75
- * @throws An error if the account is not registered in the database.
76
- */
77
- getCompleteAddress(account: AztecAddress): Promise<CompleteAddress>;
78
- /**
79
- * Returns a contract instance associated with an address or throws if not found.
80
- * @param address - Address.
81
- * @returns A contract instance.
82
- */
83
- getContractInstance(address: AztecAddress): Promise<ContractInstance>;
84
- /**
85
- * Returns an auth witness for the given message hash. Checks on the list of transient witnesses
86
- * for this transaction first, and falls back to the local database if not found.
87
- * @param messageHash - Hash of the message to authenticate.
88
- * @returns Authentication witness for the requested message hash.
89
- */
90
- getAuthWitness(messageHash: Fr): Promise<Fr[] | undefined>;
91
- /**
92
- * Pops a capsule from the capsule dispenser
93
- * @returns The capsule values
94
- * @remarks A capsule is a "blob" of data that is passed to the contract through an oracle.
95
- */
96
- popCapsule(): Promise<Fr[]>;
97
- /**
98
- * Gets some notes for a contract address and storage slot.
99
- * Returns a flattened array containing filtered notes.
100
- *
101
- * @remarks
102
- * Check for pending notes with matching slot.
103
- * Real notes coming from DB will have a leafIndex which
104
- * represents their index in the note hash tree.
105
- *
106
- * @param storageSlot - The storage slot.
107
- * @param numSelects - The number of valid selects in selectBy and selectValues.
108
- * @param selectBy - An array of indices of the fields to selects.
109
- * @param selectValues - The values to match.
110
- * @param selectComparators - The comparators to use to match values.
111
- * @param sortBy - An array of indices of the fields to sort.
112
- * @param sortOrder - The order of the corresponding index in sortBy. (1: DESC, 2: ASC, 0: Do nothing)
113
- * @param limit - The number of notes to retrieve per query.
114
- * @param offset - The starting index for pagination.
115
- * @param status - The status of notes to fetch.
116
- * @returns Array of note data.
117
- */
118
- getNotes(storageSlot: Fr, numSelects: number, selectByIndexes: number[], selectByOffsets: number[], selectByLengths: number[], selectValues: Fr[], selectComparators: number[], sortByIndexes: number[], sortByOffsets: number[], sortByLengths: number[], sortOrder: number[], limit: number, offset: number, status: NoteStatus): Promise<NoteData[]>;
119
- /**
120
- * Check if a nullifier exists in the nullifier tree.
121
- * @param innerNullifier - The inner nullifier.
122
- * @returns A boolean indicating whether the nullifier exists in the tree or not.
123
- */
124
- checkNullifierExists(innerNullifier: Fr): Promise<boolean>;
125
- /**
126
- * Fetches a message from the db, given its key.
127
- * @param contractAddress - Address of a contract by which the message was emitted.
128
- * @param messageHash - Hash of the message.
129
- * @param secret - Secret used to compute a nullifier.
130
- * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
131
- * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
132
- */
133
- getL1ToL2MembershipWitness(contractAddress: AztecAddress, messageHash: Fr, secret: Fr): Promise<import("./index.js").MessageLoadOracleInputs<39>>;
134
- /**
135
- * Read the public storage data.
136
- * @param contractAddress - The address to read storage from.
137
- * @param startStorageSlot - The starting storage slot.
138
- * @param blockNumber - The block number to read storage at.
139
- * @param numberOfElements - Number of elements to read from the starting storage slot.
140
- */
141
- storageRead(contractAddress: AztecAddress, startStorageSlot: Fr, blockNumber: number, numberOfElements: number): Promise<Fr[]>;
142
- debugLog(message: string, fields: Fr[]): void;
143
- /**
144
- * Returns the tagging secret for a given sender and recipient pair, siloed to the current contract address.
145
- * Includes the next index to be used used for tagging with this secret.
146
- * For this to work, the ivsk_m of the sender must be known.
147
- * @param sender - The address sending the note
148
- * @param recipient - The address receiving the note
149
- * @returns A tagging secret that can be used to tag notes.
150
- */
151
- getIndexedTaggingSecretAsSender(sender: AztecAddress, recipient: AztecAddress): Promise<IndexedTaggingSecret>;
152
- syncNotes(): Promise<void>;
153
- deliverNote(contractAddress: AztecAddress, storageSlot: Fr, nonce: Fr, content: Fr[], noteHash: Fr, nullifier: Fr, txHash: Fr, recipient: AztecAddress): Promise<void>;
154
- dbStore(contractAddress: AztecAddress, slot: Fr, values: Fr[]): Promise<void>;
155
- dbLoad(contractAddress: AztecAddress, slot: Fr): Promise<Fr[] | null>;
156
- dbDelete(contractAddress: AztecAddress, slot: Fr): Promise<void>;
157
- dbCopy(contractAddress: AztecAddress, srcSlot: Fr, dstSlot: Fr, numEntries: number): Promise<void>;
158
- }
159
- //# sourceMappingURL=view_data_oracle.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"view_data_oracle.d.ts","sourceRoot":"","sources":["../../src/client/view_data_oracle.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EAC1B,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,EAAE,KAAK,QAAQ,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C;;;GAGG;AACH,qBAAa,cAAe,SAAQ,WAAW;IAE3C,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACzE,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,EAAE;IAC/C,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ;IAC/B,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS;IACvC,SAAS,CAAC,GAAG;IACb,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;gBANP,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACtD,aAAa,EAAE,WAAW,EAAE,EAC5B,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,SAAS,EAC7B,GAAG,yCAAgD,EAC1C,MAAM,CAAC,4BAAgB;IAK5B,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAIjC,kBAAkB,IAAI,OAAO,CAAC,YAAY,CAAC;IAI3C,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC;IAIzB,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC;IAIzC;;;;;OAKG;IACa,uBAAuB,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAInF;;;;;;OAMG;IACa,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAI7G;;;;;OAKG;IACmB,6BAA6B,CACjD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;;;;OAQG;IACmB,gCAAgC,CACpD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;OAKG;IACmB,wBAAwB,CAC5C,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,EAAE,GACX,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC;IAIzC;;;;OAIG;IACmB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;IAQ3F;;;;;OAKG;IACa,kBAAkB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC;IAInF;;;;OAIG;IACa,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAIrF;;;;;OAKG;IACa,cAAc,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;IAM1E;;;;OAIG;IACa,UAAU,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;IAI3C;;;;;;;;;;;;;;;;;;;;OAoBG;IACmB,QAAQ,CAC5B,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,YAAY,EAAE,EAAE,EAAE,EAClB,iBAAiB,EAAE,MAAM,EAAE,EAC3B,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,QAAQ,EAAE,CAAC;IAiBtB;;;;OAIG;IACmB,oBAAoB,CAAC,cAAc,EAAE,EAAE;IAM7D;;;;;;;OAOG;IACmB,0BAA0B,CAAC,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;IAI3G;;;;;;OAMG;IACmB,WAAW,CAC/B,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,EAAE,EACpB,WAAW,EAAE,MAAM,EACnB,gBAAgB,EAAE,MAAM;IAeV,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI;IAQ7D;;;;;;;OAOG;IACmB,+BAA+B,CACnD,MAAM,EAAE,YAAY,EACpB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,oBAAoB,CAAC;IAIV,SAAS;IAcT,WAAW,CAC/B,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE,EACf,KAAK,EAAE,EAAE,EACT,OAAO,EAAE,EAAE,EAAE,EACb,QAAQ,EAAE,EAAE,EACZ,SAAS,EAAE,EAAE,EACb,MAAM,EAAE,EAAE,EACV,SAAS,EAAE,YAAY;IAUT,OAAO,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQ7E,MAAM,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC;IAQrE,QAAQ,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQhE,MAAM,CAAC,eAAe,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;CAOnH"}
@@ -1,4 +0,0 @@
1
- import { type AztecAddress, type Fr } from '@aztec/circuits.js';
2
- import { type WorldStateDB } from '../public/public_db_sources.js';
3
- export declare function getPublicFunctionDebugName(db: WorldStateDB, contractAddress: AztecAddress, calldata: Fr[]): Promise<string>;
4
- //# sourceMappingURL=debug_fn_name.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"debug_fn_name.d.ts","sourceRoot":"","sources":["../../src/common/debug_fn_name.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,EAAE,EAAoB,MAAM,oBAAoB,CAAC;AAElF,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAEnE,wBAAsB,0BAA0B,CAC9C,EAAE,EAAE,YAAY,EAChB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,EAAE,EAAE,GACb,OAAO,CAAC,MAAM,CAAC,CAOjB"}
@@ -1,54 +0,0 @@
1
- import { type FailingFunction, type NoirCallStack, SimulationError, type SourceCodeLocation } from '@aztec/circuit-types';
2
- import { type Fr } from '@aztec/circuits.js';
3
- import type { BrilligFunctionId, FunctionAbi, FunctionDebugMetadata, OpcodeLocation } from '@aztec/foundation/abi';
4
- import { type RawAssertionPayload } from '@noir-lang/acvm_js';
5
- /**
6
- * An error that occurred during the execution of a function.
7
- * @param message - the error message
8
- * @param failingFunction - the Aztec function that failed
9
- * @param noirCallStack - the internal call stack of the function that failed (within the failing Aztec function)
10
- * @param options - additional error options (an optional "cause" entry allows for a recursive error stack where
11
- * an error's cause may be an ExecutionError itself)
12
- */
13
- export declare class ExecutionError extends Error {
14
- /**
15
- * The function that failed.
16
- */
17
- failingFunction: FailingFunction;
18
- /**
19
- * The noir call stack of the function that failed.
20
- */
21
- noirCallStack?: NoirCallStack | undefined;
22
- constructor(message: string,
23
- /**
24
- * The function that failed.
25
- */
26
- failingFunction: FailingFunction,
27
- /**
28
- * The noir call stack of the function that failed.
29
- */
30
- noirCallStack?: NoirCallStack | undefined, options?: ErrorOptions);
31
- }
32
- /**
33
- * Traverses the cause chain of an error.
34
- * @param error - The error to start from.
35
- * @param callback - A callback on every error, including the first one.
36
- */
37
- export declare function traverseCauseChain(error: Error, callback: (error: Error) => void): void;
38
- /**
39
- * Creates a simulation error from an error chain generated during the execution of a function.
40
- * @param error - The error thrown during execution.
41
- * @returns - A simulation error.
42
- */
43
- export declare function createSimulationError(error: Error, revertData?: Fr[]): SimulationError;
44
- /**
45
- * Extracts the source code locations for an array of opcode locations
46
- * @param opcodeLocations - The opcode locations that caused the error.
47
- * @param debug - The debug metadata of the function.
48
- * @returns The source code locations.
49
- */
50
- export declare function resolveOpcodeLocations(opcodeLocations: OpcodeLocation[], debug: FunctionDebugMetadata, brilligFunctionId?: BrilligFunctionId): SourceCodeLocation[];
51
- export declare function resolveAssertionMessage(errorPayload: RawAssertionPayload, abi: FunctionAbi): string | undefined;
52
- export declare function resolveAssertionMessageFromRevertData(revertData: Fr[], abi: FunctionAbi): string | undefined;
53
- export declare function resolveAssertionMessageFromError(err: Error, abi: FunctionAbi): string;
54
- //# sourceMappingURL=errors.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/common/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,eAAe,EACf,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGnH,OAAO,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAG9D;;;;;;;GAOG;AACH,qBAAa,cAAe,SAAQ,KAAK;IAGrC;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC;gBARrB,OAAO,EAAE,MAAM;IACf;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC,2BAAe,EACpC,OAAO,CAAC,EAAE,YAAY;CAIzB;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,QAUhF;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,eAAe,CAgBtF;AAuDD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,eAAe,EAAE,cAAc,EAAE,EACjC,KAAK,EAAE,qBAAqB,EAC5B,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,kBAAkB,EAAE,CAItB;AAED,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,mBAAmB,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAW/G;AAED,wBAAgB,qCAAqC,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAc5G;AAED,wBAAgB,gCAAgC,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAMrF"}
@@ -1,28 +0,0 @@
1
- import { HashedValues } from '@aztec/circuit-types';
2
- import { Fr } from '@aztec/circuits.js';
3
- /**
4
- * A cache for hashed values (arguments, returns) during transaction execution.
5
- */
6
- export declare class HashedValuesCache {
7
- private cache;
8
- constructor(initialArguments?: HashedValues[]);
9
- /**
10
- * Creates a new hashed values cache.
11
- * @param initialArguments - The initial arguments to add to the cache.
12
- * @returns The new hashed values cache.
13
- */
14
- static create(initialArguments?: HashedValues[]): HashedValuesCache;
15
- /**
16
- * Gets preimage of a hash.
17
- * @param hash - The hash to get the preimage of.
18
- * @returns The preimage.
19
- */
20
- getPreimage(hash: Fr): Fr[];
21
- /**
22
- * Stores values in cache and returns its hash.
23
- * @param values - The values to store.
24
- * @returns The hash of the values.
25
- */
26
- store(values: Fr[]): Promise<Fr>;
27
- }
28
- //# sourceMappingURL=hashed_values_cache.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"hashed_values_cache.d.ts","sourceRoot":"","sources":["../../src/common/hashed_values_cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,EAAE,EAAE,MAAM,oBAAoB,CAAC;AAExC;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,KAAK,CAAoB;gBAErB,gBAAgB,GAAE,YAAY,EAAO;IAOjD;;;;OAIG;WACW,MAAM,CAAC,gBAAgB,GAAE,YAAY,EAAO;IAI1D;;;;OAIG;IACI,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE;IAWlC;;;;OAIG;IACU,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE;CAQhC"}
@@ -1,3 +0,0 @@
1
- export * from './hashed_values_cache.js';
2
- export * from './errors.js';
3
- //# sourceMappingURL=index.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/common/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,aAAa,CAAC"}
@@ -1,15 +0,0 @@
1
- import { type SiblingPath } from '@aztec/circuit-types';
2
- import { Fr } from '@aztec/circuits.js';
3
- export declare class MessageLoadOracleInputs<N extends number> {
4
- /** The index of the message commitment in the merkle tree. */
5
- index: bigint;
6
- /** The path in the merkle tree to the message. */
7
- siblingPath: SiblingPath<N>;
8
- constructor(
9
- /** The index of the message commitment in the merkle tree. */
10
- index: bigint,
11
- /** The path in the merkle tree to the message. */
12
- siblingPath: SiblingPath<N>);
13
- toFields(): Fr[];
14
- }
15
- //# sourceMappingURL=message_load_oracle_inputs.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"message_load_oracle_inputs.d.ts","sourceRoot":"","sources":["../../src/common/message_load_oracle_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,EAAE,EAAE,MAAM,oBAAoB,CAAC;AAExC,qBAAa,uBAAuB,CAAC,CAAC,SAAS,MAAM;IAEjD,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;;IAHlC,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAGpC,QAAQ,IAAI,EAAE,EAAE;CAGjB"}
@@ -1,19 +0,0 @@
1
- /// <reference types="node" resolution-mode="require"/>
2
- /// <reference types="node" resolution-mode="require"/>
3
- import { type NoirCompiledCircuit } from '@aztec/types/noir';
4
- import { type ExecutionError } from '@noir-lang/acvm_js';
5
- import { type Abi, type WitnessMap } from '@noir-lang/types';
6
- import { type ACIRCallback, type ACIRExecutionResult } from '../acvm/acvm.js';
7
- import { type ACVMWitness } from '../acvm/acvm_types.js';
8
- /**
9
- * Low level simulation interface
10
- */
11
- export interface SimulationProvider {
12
- executeProtocolCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
13
- executeUserCircuit(acir: Buffer, initialWitness: ACVMWitness, callback: ACIRCallback): Promise<ACIRExecutionResult>;
14
- }
15
- export type ErrorWithPayload = ExecutionError & {
16
- decodedAssertionPayload?: any;
17
- };
18
- export declare function parseErrorPayload(abi: Abi, originalError: ExecutionError): Error;
19
- //# sourceMappingURL=simulation_provider.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"simulation_provider.d.ts","sourceRoot":"","sources":["../../src/common/simulation_provider.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,KAAK,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEzD,OAAO,EAAE,KAAK,GAAG,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC9E,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACrG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;CACrH;AAED,MAAM,MAAM,gBAAgB,GAAG,cAAc,GAAG;IAAE,uBAAuB,CAAC,EAAE,GAAG,CAAA;CAAE,CAAC;AAIlF,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,cAAc,GAAG,KAAK,CAuBhF"}
package/dest/common.d.ts DELETED
@@ -1,2 +0,0 @@
1
- export * from './common/index.js';
2
- //# sourceMappingURL=common.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../src/common.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC"}
@@ -1,40 +0,0 @@
1
- /// <reference types="node" resolution-mode="require"/>
2
- /// <reference types="node" resolution-mode="require"/>
3
- import { type NoirCompiledCircuit } from '@aztec/types/noir';
4
- import { type WitnessMap } from '@noir-lang/types';
5
- import { type ACIRCallback, type ACIRExecutionResult } from '../acvm/acvm.js';
6
- import { type ACVMWitness } from '../acvm/acvm_types.js';
7
- import { type SimulationProvider } from '../common/simulation_provider.js';
8
- export declare enum ACVM_RESULT {
9
- SUCCESS = 0,
10
- FAILURE = 1
11
- }
12
- export type ACVMSuccess = {
13
- status: ACVM_RESULT.SUCCESS;
14
- duration: number;
15
- witness: Map<number, string>;
16
- };
17
- export type ACVMFailure = {
18
- status: ACVM_RESULT.FAILURE;
19
- reason: string;
20
- };
21
- export type ACVMResult = ACVMSuccess | ACVMFailure;
22
- /**
23
- *
24
- * @param inputWitness - The circuit's input witness
25
- * @param bytecode - The circuit bytecode
26
- * @param workingDirectory - A directory to use for temporary files by the ACVM
27
- * @param pathToAcvm - The path to the ACVM binary
28
- * @param outputFilename - If specified, the output will be stored as a file, encoded using Bincode
29
- * @returns The completed partial witness outputted from the circuit
30
- */
31
- export declare function executeNativeCircuit(inputWitness: WitnessMap, bytecode: Buffer, workingDirectory: string, pathToAcvm: string, outputFilename?: string): Promise<ACVMResult>;
32
- export declare class NativeACVMSimulator implements SimulationProvider {
33
- private workingDirectory;
34
- private pathToAcvm;
35
- private witnessFilename?;
36
- constructor(workingDirectory: string, pathToAcvm: string, witnessFilename?: string | undefined);
37
- executeProtocolCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
38
- executeUserCircuit(_acir: Buffer, _initialWitness: ACVMWitness, _callback: ACIRCallback): Promise<ACIRExecutionResult>;
39
- }
40
- //# sourceMappingURL=acvm_native.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"acvm_native.d.ts","sourceRoot":"","sources":["../../src/providers/acvm_native.ts"],"names":[],"mappings":";;AAGA,OAAO,EAAE,KAAK,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAInD,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC9E,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAI3E,oBAAY,WAAW;IACrB,OAAO,IAAA;IACP,OAAO,IAAA;CACR;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,WAAW,CAAC;AAmBnD;;;;;;;;GAQG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,UAAU,EACxB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,UAAU,EAAE,MAAM,EAClB,cAAc,CAAC,EAAE,MAAM,GACtB,OAAO,CAAC,UAAU,CAAC,CAqErB;AAED,qBAAa,mBAAoB,YAAW,kBAAkB;IAChD,OAAO,CAAC,gBAAgB;IAAU,OAAO,CAAC,UAAU;IAAU,OAAO,CAAC,eAAe,CAAC;gBAA9E,gBAAgB,EAAE,MAAM,EAAU,UAAU,EAAE,MAAM,EAAU,eAAe,CAAC,oBAAQ;IACpG,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC;IAyB1G,kBAAkB,CAChB,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,WAAW,EAC5B,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,mBAAmB,CAAC;CAGhC"}
@@ -1,15 +0,0 @@
1
- /// <reference types="node" resolution-mode="require"/>
2
- /// <reference types="node" resolution-mode="require"/>
3
- import { type NoirCompiledCircuit } from '@aztec/types/noir';
4
- import { type WitnessMap } from '@noir-lang/types';
5
- import { type ACIRCallback } from '../acvm/acvm.js';
6
- import { type ACVMWitness } from '../acvm/acvm_types.js';
7
- import { type SimulationProvider } from '../common/simulation_provider.js';
8
- export declare class WASMSimulator implements SimulationProvider {
9
- protected log: import("@aztec/foundation/log").Logger;
10
- constructor(log?: import("@aztec/foundation/log").Logger);
11
- init(): Promise<void>;
12
- executeProtocolCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
13
- executeUserCircuit(acir: Buffer, initialWitness: ACVMWitness, callback: ACIRCallback): Promise<import("../acvm/acvm.js").ACIRExecutionResult>;
14
- }
15
- //# sourceMappingURL=acvm_wasm.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"acvm_wasm.d.ts","sourceRoot":"","sources":["../../src/providers/acvm_wasm.ts"],"names":[],"mappings":";;AAEA,OAAO,EAAE,KAAK,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAI7D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,KAAK,YAAY,EAAQ,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,kBAAkB,EAAqB,MAAM,kCAAkC,CAAC;AAE9F,qBAAa,aAAc,YAAW,kBAAkB;IAC1C,SAAS,CAAC,GAAG;gBAAH,GAAG,yCAAiC;IAEpD,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAUrB,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC;IAiCpG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY;CAI3F"}
@@ -1,19 +0,0 @@
1
- /// <reference types="node" resolution-mode="require"/>
2
- /// <reference types="node" resolution-mode="require"/>
3
- import { type NoirCompiledCircuit } from '@aztec/types/noir';
4
- import { type WitnessMap } from '@noir-lang/types';
5
- import { type ACIRCallback, type ACIRExecutionResult } from '../acvm/acvm.js';
6
- import { type ACVMWitness } from '../acvm/acvm_types.js';
7
- import { type SimulationProvider } from '../common/simulation_provider.js';
8
- /**
9
- * A simulation provider that uses the WASM simulator with the ability to handle blobs via the foreign call handler.
10
- * This class is temporary while brillig cannot handle the blob math, and it is kept separate
11
- * because the zkg commitment library used in the blob code is not browser compatible.
12
- *
13
- * It is only used in the context of server-side code executing simulated protocol circuits.
14
- */
15
- export declare class WASMSimulatorWithBlobs implements SimulationProvider {
16
- executeProtocolCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
17
- executeUserCircuit(_acir: Buffer, _initialWitness: ACVMWitness, _callback: ACIRCallback): Promise<ACIRExecutionResult>;
18
- }
19
- //# sourceMappingURL=acvm_wasm_with_blobs.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"acvm_wasm_with_blobs.d.ts","sourceRoot":"","sources":["../../src/providers/acvm_wasm_with_blobs.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,KAAK,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAG7D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC9E,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,kBAAkB,EAAqB,MAAM,kCAAkC,CAAC;AAE9F;;;;;;GAMG;AACH,qBAAa,sBAAuB,YAAW,kBAAkB;IACzD,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC;IAwB1G,kBAAkB,CAChB,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,WAAW,EAC5B,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,mBAAmB,CAAC;CAGhC"}