@aztec/simulator 0.77.0-testnet-ignition.26 → 0.77.0-testnet-ignition.27

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 (198) hide show
  1. package/dest/private/index.js +2 -2
  2. package/dest/private/private_execution.js +18 -16
  3. package/dest/private/{client_execution_context.js → private_execution_oracle.js} +24 -19
  4. package/dest/private/simulator.js +12 -14
  5. package/dest/private/{view_data_oracle.js → unconstrained_execution_oracle.js} +32 -34
  6. package/dest/public/public_tx_simulator/public_tx_simulator.js +21 -12
  7. package/package.json +14 -14
  8. package/src/private/{db_oracle.ts → execution_data_provider.ts} +28 -2
  9. package/src/private/index.ts +6 -2
  10. package/src/private/private_execution.ts +21 -20
  11. package/src/private/{client_execution_context.ts → private_execution_oracle.ts} +41 -26
  12. package/src/private/simulator.ts +20 -24
  13. package/src/private/unconstrained_execution.ts +2 -2
  14. package/src/private/{view_data_oracle.ts → unconstrained_execution_oracle.ts} +42 -35
  15. package/src/public/public_tx_simulator/public_tx_simulator.ts +29 -16
  16. package/dest/client.d.ts +0 -5
  17. package/dest/client.d.ts.map +0 -1
  18. package/dest/common/db_interfaces.d.ts +0 -80
  19. package/dest/common/db_interfaces.d.ts.map +0 -1
  20. package/dest/common/debug_fn_name.d.ts +0 -5
  21. package/dest/common/debug_fn_name.d.ts.map +0 -1
  22. package/dest/common/errors.d.ts +0 -54
  23. package/dest/common/errors.d.ts.map +0 -1
  24. package/dest/common/index.d.ts +0 -4
  25. package/dest/common/index.d.ts.map +0 -1
  26. package/dest/common/message_load_oracle_inputs.d.ts +0 -15
  27. package/dest/common/message_load_oracle_inputs.d.ts.map +0 -1
  28. package/dest/common/stats/index.d.ts +0 -2
  29. package/dest/common/stats/index.d.ts.map +0 -1
  30. package/dest/common/stats/stats.d.ts +0 -4
  31. package/dest/common/stats/stats.d.ts.map +0 -1
  32. package/dest/private/acvm/acvm.d.ts +0 -35
  33. package/dest/private/acvm/acvm.d.ts.map +0 -1
  34. package/dest/private/acvm/acvm_types.d.ts +0 -10
  35. package/dest/private/acvm/acvm_types.d.ts.map +0 -1
  36. package/dest/private/acvm/deserialize.d.ts +0 -36
  37. package/dest/private/acvm/deserialize.d.ts.map +0 -1
  38. package/dest/private/acvm/index.d.ts +0 -6
  39. package/dest/private/acvm/index.d.ts.map +0 -1
  40. package/dest/private/acvm/oracle/index.d.ts +0 -14
  41. package/dest/private/acvm/oracle/index.d.ts.map +0 -1
  42. package/dest/private/acvm/oracle/oracle.d.ts +0 -49
  43. package/dest/private/acvm/oracle/oracle.d.ts.map +0 -1
  44. package/dest/private/acvm/oracle/typed_oracle.d.ts +0 -83
  45. package/dest/private/acvm/oracle/typed_oracle.d.ts.map +0 -1
  46. package/dest/private/acvm/serialize.d.ts +0 -24
  47. package/dest/private/acvm/serialize.d.ts.map +0 -1
  48. package/dest/private/client_execution_context.d.ts +0 -217
  49. package/dest/private/client_execution_context.d.ts.map +0 -1
  50. package/dest/private/db_oracle.d.ts +0 -238
  51. package/dest/private/db_oracle.d.ts.map +0 -1
  52. package/dest/private/execution_note_cache.d.ts +0 -93
  53. package/dest/private/execution_note_cache.d.ts.map +0 -1
  54. package/dest/private/hashed_values_cache.d.ts +0 -28
  55. package/dest/private/hashed_values_cache.d.ts.map +0 -1
  56. package/dest/private/index.d.ts +0 -13
  57. package/dest/private/index.d.ts.map +0 -1
  58. package/dest/private/pick_notes.d.ts +0 -85
  59. package/dest/private/pick_notes.d.ts.map +0 -1
  60. package/dest/private/private_execution.d.ts +0 -24
  61. package/dest/private/private_execution.d.ts.map +0 -1
  62. package/dest/private/providers/acvm_native.d.ts +0 -40
  63. package/dest/private/providers/acvm_native.d.ts.map +0 -1
  64. package/dest/private/providers/acvm_wasm.d.ts +0 -15
  65. package/dest/private/providers/acvm_wasm.d.ts.map +0 -1
  66. package/dest/private/providers/acvm_wasm_with_blobs.d.ts +0 -19
  67. package/dest/private/providers/acvm_wasm_with_blobs.d.ts.map +0 -1
  68. package/dest/private/providers/factory.d.ts +0 -12
  69. package/dest/private/providers/factory.d.ts.map +0 -1
  70. package/dest/private/providers/simulation_provider.d.ts +0 -19
  71. package/dest/private/providers/simulation_provider.d.ts.map +0 -1
  72. package/dest/private/simulator.d.ts +0 -36
  73. package/dest/private/simulator.d.ts.map +0 -1
  74. package/dest/private/unconstrained_execution.d.ts +0 -10
  75. package/dest/private/unconstrained_execution.d.ts.map +0 -1
  76. package/dest/private/view_data_oracle.d.ts +0 -164
  77. package/dest/private/view_data_oracle.d.ts.map +0 -1
  78. package/dest/public/avm/avm_context.d.ts +0 -41
  79. package/dest/public/avm/avm_context.d.ts.map +0 -1
  80. package/dest/public/avm/avm_contract_call_result.d.ts +0 -30
  81. package/dest/public/avm/avm_contract_call_result.d.ts.map +0 -1
  82. package/dest/public/avm/avm_execution_environment.d.ts +0 -21
  83. package/dest/public/avm/avm_execution_environment.d.ts.map +0 -1
  84. package/dest/public/avm/avm_gas.d.ts +0 -60
  85. package/dest/public/avm/avm_gas.d.ts.map +0 -1
  86. package/dest/public/avm/avm_machine_state.d.ts +0 -93
  87. package/dest/public/avm/avm_machine_state.d.ts.map +0 -1
  88. package/dest/public/avm/avm_memory_types.d.ts +0 -264
  89. package/dest/public/avm/avm_memory_types.d.ts.map +0 -1
  90. package/dest/public/avm/avm_simulator.d.ts +0 -40
  91. package/dest/public/avm/avm_simulator.d.ts.map +0 -1
  92. package/dest/public/avm/bytecode_utils.d.ts +0 -5
  93. package/dest/public/avm/bytecode_utils.d.ts.map +0 -1
  94. package/dest/public/avm/errors.d.ts +0 -122
  95. package/dest/public/avm/errors.d.ts.map +0 -1
  96. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +0 -21
  97. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
  98. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +0 -36
  99. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
  100. package/dest/public/avm/fixtures/index.d.ts +0 -84
  101. package/dest/public/avm/fixtures/index.d.ts.map +0 -1
  102. package/dest/public/avm/fixtures/simple_contract_data_source.d.ts +0 -35
  103. package/dest/public/avm/fixtures/simple_contract_data_source.d.ts.map +0 -1
  104. package/dest/public/avm/index.d.ts +0 -4
  105. package/dest/public/avm/index.d.ts.map +0 -1
  106. package/dest/public/avm/journal/index.d.ts +0 -2
  107. package/dest/public/avm/journal/index.d.ts.map +0 -1
  108. package/dest/public/avm/journal/journal.d.ts +0 -209
  109. package/dest/public/avm/journal/journal.d.ts.map +0 -1
  110. package/dest/public/avm/journal/nullifiers.d.ts +0 -64
  111. package/dest/public/avm/journal/nullifiers.d.ts.map +0 -1
  112. package/dest/public/avm/journal/public_storage.d.ts +0 -66
  113. package/dest/public/avm/journal/public_storage.d.ts.map +0 -1
  114. package/dest/public/avm/opcodes/accrued_substate.d.ts +0 -75
  115. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +0 -1
  116. package/dest/public/avm/opcodes/addressing_mode.d.ts +0 -27
  117. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +0 -1
  118. package/dest/public/avm/opcodes/arithmetic.d.ts +0 -37
  119. package/dest/public/avm/opcodes/arithmetic.d.ts.map +0 -1
  120. package/dest/public/avm/opcodes/bitwise.d.ts +0 -50
  121. package/dest/public/avm/opcodes/bitwise.d.ts.map +0 -1
  122. package/dest/public/avm/opcodes/comparators.d.ts +0 -25
  123. package/dest/public/avm/opcodes/comparators.d.ts.map +0 -1
  124. package/dest/public/avm/opcodes/contract.d.ts +0 -21
  125. package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
  126. package/dest/public/avm/opcodes/control_flow.d.ts +0 -41
  127. package/dest/public/avm/opcodes/control_flow.d.ts.map +0 -1
  128. package/dest/public/avm/opcodes/conversion.d.ts +0 -17
  129. package/dest/public/avm/opcodes/conversion.d.ts.map +0 -1
  130. package/dest/public/avm/opcodes/ec_add.d.ts +0 -19
  131. package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
  132. package/dest/public/avm/opcodes/environment_getters.d.ts +0 -28
  133. package/dest/public/avm/opcodes/environment_getters.d.ts.map +0 -1
  134. package/dest/public/avm/opcodes/external_calls.d.ts +0 -50
  135. package/dest/public/avm/opcodes/external_calls.d.ts.map +0 -1
  136. package/dest/public/avm/opcodes/hashing.d.ts +0 -36
  137. package/dest/public/avm/opcodes/hashing.d.ts.map +0 -1
  138. package/dest/public/avm/opcodes/index.d.ts +0 -16
  139. package/dest/public/avm/opcodes/index.d.ts.map +0 -1
  140. package/dest/public/avm/opcodes/instruction.d.ts +0 -70
  141. package/dest/public/avm/opcodes/instruction.d.ts.map +0 -1
  142. package/dest/public/avm/opcodes/instruction_impl.d.ts +0 -19
  143. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +0 -1
  144. package/dest/public/avm/opcodes/memory.d.ts +0 -74
  145. package/dest/public/avm/opcodes/memory.d.ts.map +0 -1
  146. package/dest/public/avm/opcodes/misc.d.ts +0 -17
  147. package/dest/public/avm/opcodes/misc.d.ts.map +0 -1
  148. package/dest/public/avm/opcodes/storage.d.ts +0 -24
  149. package/dest/public/avm/opcodes/storage.d.ts.map +0 -1
  150. package/dest/public/avm/serialization/buffer_cursor.d.ts +0 -28
  151. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +0 -1
  152. package/dest/public/avm/serialization/bytecode_serialization.d.ts +0 -21
  153. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +0 -1
  154. package/dest/public/avm/serialization/instruction_serialization.d.ts +0 -104
  155. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +0 -1
  156. package/dest/public/avm/test_utils.d.ts +0 -18
  157. package/dest/public/avm/test_utils.d.ts.map +0 -1
  158. package/dest/public/bytecode_errors.d.ts +0 -4
  159. package/dest/public/bytecode_errors.d.ts.map +0 -1
  160. package/dest/public/execution.d.ts +0 -108
  161. package/dest/public/execution.d.ts.map +0 -1
  162. package/dest/public/executor_metrics.d.ts +0 -13
  163. package/dest/public/executor_metrics.d.ts.map +0 -1
  164. package/dest/public/fixtures/index.d.ts +0 -3
  165. package/dest/public/fixtures/index.d.ts.map +0 -1
  166. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +0 -32
  167. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +0 -1
  168. package/dest/public/fixtures/utils.d.ts +0 -13
  169. package/dest/public/fixtures/utils.d.ts.map +0 -1
  170. package/dest/public/index.d.ts +0 -10
  171. package/dest/public/index.d.ts.map +0 -1
  172. package/dest/public/public_db_sources.d.ts +0 -129
  173. package/dest/public/public_db_sources.d.ts.map +0 -1
  174. package/dest/public/public_processor/public_processor.d.ts +0 -74
  175. package/dest/public/public_processor/public_processor.d.ts.map +0 -1
  176. package/dest/public/public_processor/public_processor_metrics.d.ts +0 -27
  177. package/dest/public/public_processor/public_processor_metrics.d.ts.map +0 -1
  178. package/dest/public/public_tx_simulator/public_tx_context.d.ts +0 -137
  179. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +0 -1
  180. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +0 -102
  181. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +0 -1
  182. package/dest/public/side_effect_errors.d.ts +0 -4
  183. package/dest/public/side_effect_errors.d.ts.map +0 -1
  184. package/dest/public/side_effect_trace.d.ts +0 -132
  185. package/dest/public/side_effect_trace.d.ts.map +0 -1
  186. package/dest/public/side_effect_trace_interface.d.ts +0 -34
  187. package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
  188. package/dest/public/tx_contract_cache.d.ts +0 -41
  189. package/dest/public/tx_contract_cache.d.ts.map +0 -1
  190. package/dest/public/unique_class_ids.d.ts +0 -37
  191. package/dest/public/unique_class_ids.d.ts.map +0 -1
  192. package/dest/public/utils.d.ts +0 -5
  193. package/dest/public/utils.d.ts.map +0 -1
  194. package/dest/server.d.ts +0 -6
  195. package/dest/server.d.ts.map +0 -1
  196. package/dest/test/utils.d.ts +0 -13
  197. package/dest/test/utils.d.ts.map +0 -1
  198. /package/dest/private/{db_oracle.js → execution_data_provider.js} +0 -0
@@ -1,137 +0,0 @@
1
- import { Fr } from '@aztec/foundation/fields';
2
- import { type AvmProvingRequest, RevertCode } from '@aztec/stdlib/avm';
3
- import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
- import type { SimulationError } from '@aztec/stdlib/errors';
5
- import { Gas, GasSettings } from '@aztec/stdlib/gas';
6
- import type { MerkleTreeReadOperations } from '@aztec/stdlib/interfaces/server';
7
- import { type PrivateToPublicAccumulatedData, PublicCallRequest } from '@aztec/stdlib/kernel';
8
- import { type GlobalVariables, type PublicExecutionRequest, type StateReference, type Tx, TxExecutionPhase, type TxHash } from '@aztec/stdlib/tx';
9
- import { AvmPersistableStateManager } from '../avm/index.js';
10
- import type { WorldStateDB } from '../public_db_sources.js';
11
- import { SideEffectTrace } from '../side_effect_trace.js';
12
- /**
13
- * The transaction-level context for public execution.
14
- */
15
- export declare class PublicTxContext {
16
- readonly txHash: TxHash;
17
- readonly state: PhaseStateManager;
18
- private readonly globalVariables;
19
- private readonly startStateReference;
20
- private readonly gasSettings;
21
- private readonly gasUsedByPrivate;
22
- private readonly gasAllocatedToPublic;
23
- private readonly setupCallRequests;
24
- private readonly appLogicCallRequests;
25
- private readonly teardownCallRequests;
26
- private readonly setupExecutionRequests;
27
- private readonly appLogicExecutionRequests;
28
- private readonly teardownExecutionRequests;
29
- readonly nonRevertibleAccumulatedDataFromPrivate: PrivateToPublicAccumulatedData;
30
- readonly revertibleAccumulatedDataFromPrivate: PrivateToPublicAccumulatedData;
31
- readonly feePayer: AztecAddress;
32
- trace: SideEffectTrace;
33
- private log;
34
- private gasUsedByPublic;
35
- teardownGasUsed: Gas;
36
- private halted;
37
- private revertCode;
38
- revertReason: SimulationError | undefined;
39
- avmProvingRequest: AvmProvingRequest | undefined;
40
- constructor(txHash: TxHash, state: PhaseStateManager, globalVariables: GlobalVariables, startStateReference: StateReference, gasSettings: GasSettings, gasUsedByPrivate: Gas, gasAllocatedToPublic: Gas, setupCallRequests: PublicCallRequest[], appLogicCallRequests: PublicCallRequest[], teardownCallRequests: PublicCallRequest[], setupExecutionRequests: PublicExecutionRequest[], appLogicExecutionRequests: PublicExecutionRequest[], teardownExecutionRequests: PublicExecutionRequest[], nonRevertibleAccumulatedDataFromPrivate: PrivateToPublicAccumulatedData, revertibleAccumulatedDataFromPrivate: PrivateToPublicAccumulatedData, feePayer: AztecAddress, trace: SideEffectTrace);
41
- static create(db: MerkleTreeReadOperations, worldStateDB: WorldStateDB, tx: Tx, globalVariables: GlobalVariables, doMerkleOperations: boolean): Promise<PublicTxContext>;
42
- /**
43
- * Signal that the entire transaction execution is done.
44
- * All phases have been processed.
45
- * Actual transaction fee and actual total consumed gas can now be queried.
46
- */
47
- halt(): Promise<void>;
48
- /**
49
- * Revert execution a phase. Populate revertReason & revertCode.
50
- * If in setup, throw an error (transaction will be thrown out).
51
- * NOTE: this does not "halt" the entire transaction execution.
52
- */
53
- revert(phase: TxExecutionPhase, revertReason?: SimulationError | undefined, culprit?: string): void;
54
- /**
55
- * Get the revert code.
56
- * @returns The revert code.
57
- */
58
- getFinalRevertCode(): RevertCode;
59
- /**
60
- * Are there any call requests for the speciiied phase?
61
- */
62
- hasPhase(phase: TxExecutionPhase): boolean;
63
- /**
64
- * Get the call requests for the specified phase (including args hashes).
65
- */
66
- getCallRequestsForPhase(phase: TxExecutionPhase): PublicCallRequest[];
67
- /**
68
- * Get the call requests for the specified phase (including actual args).
69
- */
70
- getExecutionRequestsForPhase(phase: TxExecutionPhase): PublicExecutionRequest[];
71
- /**
72
- * How much gas is left as of the specified phase?
73
- */
74
- getGasLeftAtPhase(phase: TxExecutionPhase): Gas;
75
- /**
76
- * Consume gas. Track gas for teardown phase separately.
77
- */
78
- consumeGas(phase: TxExecutionPhase, gas: Gas): void;
79
- /**
80
- * The gasUsed by public and private,
81
- * as if the entire teardown gas limit was consumed.
82
- */
83
- getTotalGasUsed(): Gas;
84
- /**
85
- * Compute the gas used using the actual gas used during teardown instead
86
- * of the teardown gas limit.
87
- * Note that this.gasUsed is initialized from private's gasUsed which includes
88
- * teardown gas limit.
89
- */
90
- getActualGasUsed(): Gas;
91
- /**
92
- * Compute the public gas used using the actual gas used during teardown instead
93
- * of the teardown gas limit.
94
- */
95
- getActualPublicGasUsed(): Gas;
96
- /**
97
- * Get the transaction fee as is available to the specified phase.
98
- * Only teardown should have access to the actual transaction fee.
99
- */
100
- getTransactionFee(phase: TxExecutionPhase): Fr;
101
- /**
102
- * Compute the transaction fee.
103
- * Should only be called during or after teardown.
104
- */
105
- private getTransactionFeeUnsafe;
106
- /**
107
- * Generate the public inputs for the AVM circuit.
108
- */
109
- private generateAvmCircuitPublicInputs;
110
- /**
111
- * Generate the proving request for the AVM circuit.
112
- */
113
- generateProvingRequest(endStateReference: StateReference): Promise<AvmProvingRequest>;
114
- }
115
- /**
116
- * Thin wrapper around the state manager to handle forking and merging for phases.
117
- *
118
- * This lets us keep track of whether the state has already been forked
119
- * so that we can conditionally fork at the start of a phase.
120
- *
121
- * There is a state manager that lives at the level of the entire transaction,
122
- * but for app logic and teardown the active state manager will be a fork of the
123
- * transaction level one.
124
- */
125
- declare class PhaseStateManager {
126
- private readonly txStateManager;
127
- private log;
128
- private currentlyActiveStateManager;
129
- constructor(txStateManager: AvmPersistableStateManager);
130
- fork(): Promise<void>;
131
- getActiveStateManager(): AvmPersistableStateManager;
132
- isForked(): boolean;
133
- mergeForkedState(): Promise<void>;
134
- discardForkedState(): Promise<void>;
135
- }
136
- export {};
137
- //# sourceMappingURL=public_tx_context.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"public_tx_context.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_context.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,EAGL,KAAK,iBAAiB,EAEtB,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAGL,KAAK,8BAA8B,EACnC,iBAAiB,EAGlB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,sBAAsB,EAC3B,KAAK,cAAc,EAEnB,KAAK,EAAE,EACP,gBAAgB,EAChB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAK1B,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAA0B,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAGlF;;GAEG;AACH,qBAAa,eAAe;aAkBR,MAAM,EAAE,MAAM;aACd,KAAK,EAAE,iBAAiB;IACxC,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,OAAO,CAAC,QAAQ,CAAC,mBAAmB;IACpC,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,sBAAsB;IACvC,OAAO,CAAC,QAAQ,CAAC,yBAAyB;IAC1C,OAAO,CAAC,QAAQ,CAAC,yBAAyB;aAC1B,uCAAuC,EAAE,8BAA8B;aACvE,oCAAoC,EAAE,8BAA8B;aACpE,QAAQ,EAAE,YAAY;IAC/B,KAAK,EAAE,eAAe;IAjC/B,OAAO,CAAC,GAAG,CAAS;IAGpB,OAAO,CAAC,eAAe,CAAoB;IAEpC,eAAe,EAAE,GAAG,CAAe;IAG1C,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,UAAU,CAA6B;IAExC,YAAY,EAAE,eAAe,GAAG,SAAS,CAAC;IAE1C,iBAAiB,EAAE,iBAAiB,GAAG,SAAS,CAAC;gBAGtC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,iBAAiB,EACvB,eAAe,EAAE,eAAe,EAChC,mBAAmB,EAAE,cAAc,EACnC,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,GAAG,EACrB,oBAAoB,EAAE,GAAG,EACzB,iBAAiB,EAAE,iBAAiB,EAAE,EACtC,oBAAoB,EAAE,iBAAiB,EAAE,EACzC,oBAAoB,EAAE,iBAAiB,EAAE,EACzC,sBAAsB,EAAE,sBAAsB,EAAE,EAChD,yBAAyB,EAAE,sBAAsB,EAAE,EACnD,yBAAyB,EAAE,sBAAsB,EAAE,EACpD,uCAAuC,EAAE,8BAA8B,EACvE,oCAAoC,EAAE,8BAA8B,EACpE,QAAQ,EAAE,YAAY,EAC/B,KAAK,EAAE,eAAe;WAKX,MAAM,CACxB,EAAE,EAAE,wBAAwB,EAC5B,YAAY,EAAE,YAAY,EAC1B,EAAE,EAAE,EAAE,EACN,eAAe,EAAE,eAAe,EAChC,kBAAkB,EAAE,OAAO;IA8C7B;;;;OAIG;IACG,IAAI;IAOV;;;;OAIG;IACH,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,GAAE,eAAe,GAAG,SAAqB,EAAE,OAAO,SAAK;IA0BnG;;;OAGG;IACH,kBAAkB,IAAI,UAAU;IAKhC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO;IAW1C;;OAEG;IACH,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,GAAG,iBAAiB,EAAE;IAWrE;;OAEG;IACH,4BAA4B,CAAC,KAAK,EAAE,gBAAgB,GAAG,sBAAsB,EAAE;IAW/E;;OAEG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,GAAG;IAS/C;;OAEG;IACH,UAAU,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG;IAQ5C;;;OAGG;IACH,eAAe,IAAI,GAAG;IAItB;;;;;OAKG;IACH,gBAAgB,IAAI,GAAG;IAOvB;;;OAGG;IACH,sBAAsB,IAAI,GAAG;IAK7B;;;OAGG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,EAAE;IAQ9C;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IAa/B;;OAEG;YACW,8BAA8B;IAwG5C;;OAEG;IACG,sBAAsB,CAAC,iBAAiB,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;CAY5F;AAED;;;;;;;;;GASG;AACH,cAAM,iBAAiB;IAKT,OAAO,CAAC,QAAQ,CAAC,cAAc;IAJ3C,OAAO,CAAC,GAAG,CAAS;IAEpB,OAAO,CAAC,2BAA2B,CAAyC;gBAE/C,cAAc,EAAE,0BAA0B;IAIjE,IAAI;IAMV,qBAAqB;IAIrB,QAAQ;IAIF,gBAAgB;IAQhB,kBAAkB;CAOzB"}
@@ -1,102 +0,0 @@
1
- import type { AvmProvingRequest, RevertCode } from '@aztec/stdlib/avm';
2
- import type { SimulationError } from '@aztec/stdlib/errors';
3
- import type { GasUsed } from '@aztec/stdlib/gas';
4
- import type { MerkleTreeReadOperations } from '@aztec/stdlib/interfaces/server';
5
- import { type GlobalVariables, NestedProcessReturnValues, Tx, TxExecutionPhase } from '@aztec/stdlib/tx';
6
- import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
7
- import { ExecutorMetrics } from '../executor_metrics.js';
8
- import type { WorldStateDB } from '../public_db_sources.js';
9
- import { PublicTxContext } from './public_tx_context.js';
10
- export type ProcessedPhase = {
11
- phase: TxExecutionPhase;
12
- durationMs: number;
13
- returnValues: NestedProcessReturnValues[];
14
- reverted: boolean;
15
- revertReason?: SimulationError;
16
- };
17
- export type PublicTxResult = {
18
- avmProvingRequest: AvmProvingRequest;
19
- /** Gas used during the execution of this tx */
20
- gasUsed: GasUsed;
21
- revertCode: RevertCode;
22
- /** Revert reason, if any */
23
- revertReason?: SimulationError;
24
- processedPhases: ProcessedPhase[];
25
- };
26
- export declare class PublicTxSimulator {
27
- private db;
28
- private worldStateDB;
29
- private globalVariables;
30
- private doMerkleOperations;
31
- private skipFeeEnforcement;
32
- metrics: ExecutorMetrics;
33
- private log;
34
- constructor(db: MerkleTreeReadOperations, worldStateDB: WorldStateDB, globalVariables: GlobalVariables, doMerkleOperations?: boolean, skipFeeEnforcement?: boolean, telemetryClient?: TelemetryClient);
35
- get tracer(): Tracer;
36
- /**
37
- * Simulate a transaction's public portion including all of its phases.
38
- * @param tx - The transaction to simulate.
39
- * @returns The result of the transaction's public execution.
40
- */
41
- simulate(tx: Tx): Promise<PublicTxResult>;
42
- /**
43
- * Simulate the setup phase of a transaction's public execution.
44
- * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
45
- * @returns The phase result.
46
- */
47
- private simulateSetupPhase;
48
- /**
49
- * Simulate the app logic phase of a transaction's public execution.
50
- * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
51
- * @returns The phase result.
52
- */
53
- private simulateAppLogicPhase;
54
- /**
55
- * Simulate the teardown phase of a transaction's public execution.
56
- * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
57
- * @returns The phase result.
58
- */
59
- private simulateTeardownPhase;
60
- /**
61
- * Simulate a phase of a transaction's public execution.
62
- * @param phase - The current phase
63
- * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
64
- * @returns The phase result.
65
- */
66
- private simulatePhase;
67
- /**
68
- * Simulate an enqueued public call.
69
- * @param phase - The current phase of public execution
70
- * @param context - WILL BE MUTATED. The context of the currently executing public transaction portion
71
- * @param callRequest - The enqueued call to execute
72
- * @param executionRequest - The execution request (includes args)
73
- * @returns The result of execution.
74
- */
75
- private simulateEnqueuedCall;
76
- /**
77
- * Simulate an enqueued public call, without modifying the context (PublicTxContext).
78
- * Resulting modifications to the context can be applied by the caller.
79
- *
80
- * This function can be mocked for testing to skip actual AVM simulation
81
- * while still simulating phases and generating a proving request.
82
- *
83
- * @param stateManager - The state manager for AvmSimulation
84
- * @param context - The context of the currently executing public transaction portion
85
- * @param executionRequest - The execution request (includes args)
86
- * @param allocatedGas - The gas allocated to the enqueued call
87
- * @param fnName - The name of the function
88
- * @returns The result of execution.
89
- */
90
- private simulateEnqueuedCallInternal;
91
- /**
92
- * Insert the non-revertible accumulated data from private into the public state.
93
- */
94
- insertNonRevertiblesFromPrivate(context: PublicTxContext): Promise<void>;
95
- /**
96
- * Insert the revertible accumulated data from private into the public state.
97
- * Start by forking state so we can rollback to the end of setup if app logic or teardown reverts.
98
- */
99
- insertRevertiblesFromPrivate(context: PublicTxContext): Promise<void>;
100
- private payFee;
101
- }
102
- //# sourceMappingURL=public_tx_simulator.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_simulator.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAO,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAGhF,OAAO,EACL,KAAK,eAAe,EACpB,yBAAyB,EAEzB,EAAE,EACF,gBAAgB,EACjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAc,KAAK,eAAe,EAAE,KAAK,MAAM,EAAiC,MAAM,yBAAyB,CAAC;AAQvH,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,gBAAgB,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,yBAAyB,EAAE,CAAC;IAC1C,QAAQ,EAAE,OAAO,CAAC;IAClB,YAAY,CAAC,EAAE,eAAe,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,+CAA+C;IAC/C,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,UAAU,CAAC;IACvB,4BAA4B;IAC5B,YAAY,CAAC,EAAE,eAAe,CAAC;IAC/B,eAAe,EAAE,cAAc,EAAE,CAAC;CACnC,CAAC;AAEF,qBAAa,iBAAiB;IAM1B,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,kBAAkB;IAT5B,OAAO,EAAE,eAAe,CAAC;IAEzB,OAAO,CAAC,GAAG,CAAS;gBAGV,EAAE,EAAE,wBAAwB,EAC5B,YAAY,EAAE,YAAY,EAC1B,eAAe,EAAE,eAAe,EAChC,kBAAkB,GAAE,OAAe,EACnC,kBAAkB,GAAE,OAAe,EAC3C,eAAe,GAAE,eAAsC;IAMzD,IAAI,MAAM,IAAI,MAAM,CAEnB;IACD;;;;OAIG;IACU,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC;IAsFtD;;;;OAIG;YACW,kBAAkB;IAIhC;;;;OAIG;YACW,qBAAqB;IAkBnC;;;;OAIG;YACW,qBAAqB;IAoBnC;;;;;OAKG;YACW,aAAa;IA0C3B;;;;;;;OAOG;YAOW,oBAAoB;IAoClC;;;;;;;;;;;;;OAaG;YAOW,4BAA4B;IAgD1C;;OAEG;IACU,+BAA+B,CAAC,OAAO,EAAE,eAAe;IAkBrE;;;OAGG;IACU,4BAA4B,CAAC,OAAO,EAAE,eAAe;YAsBpD,MAAM;CA+BrB"}
@@ -1,4 +0,0 @@
1
- export declare class SideEffectLimitReachedError extends Error {
2
- constructor(sideEffectType: string, limit: number);
3
- }
4
- //# sourceMappingURL=side_effect_errors.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"side_effect_errors.d.ts","sourceRoot":"","sources":["../../src/public/side_effect_errors.ts"],"names":[],"mappings":"AAAA,qBAAa,2BAA4B,SAAQ,KAAK;gBACxC,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;CAIlD"}
@@ -1,132 +0,0 @@
1
- import { Fr } from '@aztec/foundation/fields';
2
- import { AvmCircuitPublicInputs, AvmExecutionHints, AvmPublicDataReadTreeHint, PublicDataUpdateRequest } from '@aztec/stdlib/avm';
3
- import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
- import { type ContractClassWithCommitment, SerializableContractInstance } from '@aztec/stdlib/contract';
5
- import type { Gas, GasSettings } from '@aztec/stdlib/gas';
6
- import { NoteHash, Nullifier, PublicCallRequest } from '@aztec/stdlib/kernel';
7
- import { PublicLog } from '@aztec/stdlib/logs';
8
- import { ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
9
- import { NullifierLeafPreimage, PublicDataTreeLeafPreimage } from '@aztec/stdlib/trees';
10
- import type { GlobalVariables, TreeSnapshots } from '@aztec/stdlib/tx';
11
- import type { PublicSideEffectTraceInterface } from './side_effect_trace_interface.js';
12
- import { UniqueClassIds } from './unique_class_ids.js';
13
- /**
14
- * A struct containing just the side effects as regular arrays
15
- * as opposed to "Tuple" arrays used by circuit public inputs.
16
- * This struct is helpful for testing and checking array lengths.
17
- **/
18
- export type SideEffects = {
19
- enqueuedCalls: PublicCallRequest[];
20
- publicDataWrites: PublicDataUpdateRequest[];
21
- noteHashes: NoteHash[];
22
- nullifiers: Nullifier[];
23
- l2ToL1Msgs: ScopedL2ToL1Message[];
24
- publicLogs: PublicLog[];
25
- };
26
- export declare class SideEffectArrayLengths {
27
- readonly publicDataWrites: number;
28
- readonly protocolPublicDataWrites: number;
29
- readonly noteHashes: number;
30
- readonly nullifiers: number;
31
- readonly l2ToL1Msgs: number;
32
- readonly publicLogs: number;
33
- constructor(publicDataWrites: number, protocolPublicDataWrites: number, noteHashes: number, nullifiers: number, l2ToL1Msgs: number, publicLogs: number);
34
- static empty(): SideEffectArrayLengths;
35
- }
36
- /**
37
- * Trace side effects for an enqueued public call's execution.
38
- */
39
- export declare class SideEffectTrace implements PublicSideEffectTraceInterface {
40
- /** The counter of this trace's first side effect. */
41
- readonly startSideEffectCounter: number;
42
- /** Track parent's (or previous kernel's) lengths so the AVM can properly enforce TX-wide limits,
43
- * otherwise the public kernel can fail to prove because TX limits are breached.
44
- */
45
- private readonly previousSideEffectArrayLengths;
46
- /** We need to track the set of class IDs used, to enforce limits. */
47
- private uniqueClassIds;
48
- log: import("@aztec/foundation/log").Logger;
49
- /** The side effect counter increments with every call to the trace. */
50
- private sideEffectCounter;
51
- private enqueuedCalls;
52
- private publicDataWrites;
53
- private protocolPublicDataWritesLength;
54
- private userPublicDataWritesLength;
55
- private noteHashes;
56
- private nullifiers;
57
- private l2ToL1Messages;
58
- private publicLogs;
59
- private avmCircuitHints;
60
- /** Make sure a forked trace is never merged twice. */
61
- private alreadyMergedIntoParent;
62
- constructor(
63
- /** The counter of this trace's first side effect. */
64
- startSideEffectCounter?: number,
65
- /** Track parent's (or previous kernel's) lengths so the AVM can properly enforce TX-wide limits,
66
- * otherwise the public kernel can fail to prove because TX limits are breached.
67
- */
68
- previousSideEffectArrayLengths?: SideEffectArrayLengths,
69
- /** We need to track the set of class IDs used, to enforce limits. */
70
- uniqueClassIds?: UniqueClassIds);
71
- fork(): SideEffectTrace;
72
- merge(forkedTrace: this, reverted?: boolean): void;
73
- private mergeHints;
74
- getCounter(): number;
75
- private incrementSideEffectCounter;
76
- getNoteHashCount(): number;
77
- tracePublicStorageRead(contractAddress: AztecAddress, slot: Fr, value: Fr, leafPreimage?: PublicDataTreeLeafPreimage, leafIndex?: Fr, path?: Fr[]): void;
78
- tracePublicStorageWrite(contractAddress: AztecAddress, slot: Fr, value: Fr, protocolWrite: boolean, lowLeafPreimage?: PublicDataTreeLeafPreimage, lowLeafIndex?: Fr, lowLeafPath?: Fr[], newLeafPreimage?: PublicDataTreeLeafPreimage, insertionPath?: Fr[]): Promise<void>;
79
- traceNoteHashCheck(_contractAddress: AztecAddress, noteHash: Fr, leafIndex: Fr, _exists: boolean, path?: Fr[]): void;
80
- traceNewNoteHash(noteHash: Fr, leafIndex?: Fr, path?: Fr[]): void;
81
- traceNullifierCheck(_siloedNullifier: Fr, _exists: boolean, lowLeafPreimage?: NullifierLeafPreimage, lowLeafIndex?: Fr, lowLeafPath?: Fr[]): void;
82
- traceNewNullifier(siloedNullifier: Fr, lowLeafPreimage?: NullifierLeafPreimage, lowLeafIndex?: Fr, lowLeafPath?: Fr[], insertionPath?: Fr[]): void;
83
- traceL1ToL2MessageCheck(_contractAddress: AztecAddress, msgHash: Fr, msgLeafIndex: Fr, _exists: boolean, path?: Fr[]): void;
84
- traceNewL2ToL1Message(contractAddress: AztecAddress, recipient: Fr, content: Fr): void;
85
- tracePublicLog(contractAddress: AztecAddress, log: Fr[]): void;
86
- traceGetContractInstance(contractAddress: AztecAddress, exists: boolean, instance?: SerializableContractInstance, updateMembershipHint?: AvmPublicDataReadTreeHint, updatePreimage?: Fr[]): void;
87
- traceGetContractClass(contractClassId: Fr, exists: boolean, contractClass?: ContractClassWithCommitment): void;
88
- /**
89
- * Trace an enqueued call.
90
- * Accept some results from a finished call's trace into this one.
91
- */
92
- traceEnqueuedCall(
93
- /** The call request from private that enqueued this call. */
94
- publicCallRequest: PublicCallRequest,
95
- /** The call's calldata */
96
- calldata: Fr[],
97
- /** Did the call revert? */
98
- _reverted: boolean): void;
99
- getSideEffects(): SideEffects;
100
- toAvmCircuitPublicInputs(
101
- /** Globals. */
102
- globalVariables: GlobalVariables,
103
- /** Start tree snapshots. */
104
- startTreeSnapshots: TreeSnapshots,
105
- /** Gas used at start of TX. */
106
- startGasUsed: Gas,
107
- /** How much gas was available for this public execution. */
108
- gasLimits: GasSettings,
109
- /** Address of the fee payer. */
110
- feePayer: AztecAddress,
111
- /** Call requests for setup phase. */
112
- publicSetupCallRequests: PublicCallRequest[],
113
- /** Call requests for app logic phase. */
114
- publicAppLogicCallRequests: PublicCallRequest[],
115
- /** Call request for teardown phase. */
116
- publicTeardownCallRequest: PublicCallRequest,
117
- /** End tree snapshots. */
118
- endTreeSnapshots: TreeSnapshots,
119
- /**
120
- * Gas used by the whole transaction, assuming entire teardown limit is used.
121
- * This is the gas used when computing transaction fee.
122
- */
123
- endGasUsed: Gas,
124
- /** Transaction fee. */
125
- transactionFee: Fr,
126
- /** The call's results */
127
- reverted: boolean): AvmCircuitPublicInputs;
128
- getPublicLogs(): PublicLog[];
129
- getAvmCircuitHints(): AvmExecutionHints;
130
- private getAvmAccumulatedData;
131
- }
132
- //# sourceMappingURL=side_effect_trace.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"side_effect_trace.d.ts","sourceRoot":"","sources":["../../src/public/side_effect_trace.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAGL,sBAAsB,EAItB,iBAAiB,EAGjB,yBAAyB,EAEzB,uBAAuB,EAExB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,KAAK,2BAA2B,EAAE,4BAA4B,EAAE,MAAM,wBAAwB,CAAC;AACxG,OAAO,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EACL,QAAQ,EACR,SAAS,EAGT,iBAAiB,EAClB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAiB,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACxF,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAKvE,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAOvD;;;;IAII;AACJ,MAAM,MAAM,WAAW,GAAG;IACxB,aAAa,EAAE,iBAAiB,EAAE,CAAC;IAEnC,gBAAgB,EAAE,uBAAuB,EAAE,CAAC;IAC5C,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAElC,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB,CAAC;AAEF,qBAAa,sBAAsB;aAEf,gBAAgB,EAAE,MAAM;aACxB,wBAAwB,EAAE,MAAM;aAChC,UAAU,EAAE,MAAM;aAClB,UAAU,EAAE,MAAM;aAClB,UAAU,EAAE,MAAM;aAClB,UAAU,EAAE,MAAM;gBALlB,gBAAgB,EAAE,MAAM,EACxB,wBAAwB,EAAE,MAAM,EAChC,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM;IAGpC,MAAM,CAAC,KAAK;CAGb;AAED;;GAEG;AACH,qBAAa,eAAgB,YAAW,8BAA8B;IAsBlE,qDAAqD;aACrC,sBAAsB,EAAE,MAAM;IAC9C;;OAEG;IACH,OAAO,CAAC,QAAQ,CAAC,8BAA8B;IAC/C,qEAAqE;IACrE,OAAO,CAAC,cAAc;IA5BjB,GAAG,yCAA+C;IAEzD,uEAAuE;IACvE,OAAO,CAAC,iBAAiB,CAAS;IAElC,OAAO,CAAC,aAAa,CAA2B;IAEhD,OAAO,CAAC,gBAAgB,CAAiC;IACzD,OAAO,CAAC,8BAA8B,CAAa;IACnD,OAAO,CAAC,0BAA0B,CAAa;IAC/C,OAAO,CAAC,UAAU,CAAkB;IACpC,OAAO,CAAC,UAAU,CAAmB;IACrC,OAAO,CAAC,cAAc,CAA6B;IACnD,OAAO,CAAC,UAAU,CAAmB;IAErC,OAAO,CAAC,eAAe,CAAoB;IAE3C,sDAAsD;IACtD,OAAO,CAAC,uBAAuB,CAAS;;IAGtC,qDAAqD;IACrC,sBAAsB,GAAE,MAAU;IAClD;;OAEG;IACc,8BAA8B,GAAE,sBAAuD;IACxG,qEAAqE;IAC7D,cAAc,GAAE,cAAqC;IAMxD,IAAI;IAeJ,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,GAAE,OAAe;IAqBzD,OAAO,CAAC,UAAU;IAcX,UAAU;IAIjB,OAAO,CAAC,0BAA0B;IAI3B,gBAAgB;IAIhB,sBAAsB,CAC3B,eAAe,EAAE,YAAY,EAC7B,IAAI,EAAE,EAAE,EACR,KAAK,EAAE,EAAE,EACT,YAAY,GAAE,0BAA+D,EAC7E,SAAS,GAAE,EAAc,EACzB,IAAI,GAAE,EAAE,EAA0B;IASvB,uBAAuB,CAClC,eAAe,EAAE,YAAY,EAC7B,IAAI,EAAE,EAAE,EACR,KAAK,EAAE,EAAE,EACT,aAAa,EAAE,OAAO,EACtB,eAAe,GAAE,0BAA+D,EAChF,YAAY,GAAE,EAAc,EAC5B,WAAW,GAAE,EAAE,EAA0B,EACzC,eAAe,GAAE,0BAA+D,EAChF,aAAa,GAAE,EAAE,EAA0B,GAC1C,OAAO,CAAC,IAAI,CAAC;IAyCT,kBAAkB,CACvB,gBAAgB,EAAE,YAAY,EAC9B,QAAQ,EAAE,EAAE,EACZ,SAAS,EAAE,EAAE,EACb,OAAO,EAAE,OAAO,EAChB,IAAI,GAAE,EAAE,EAAwB;IAQ3B,gBAAgB,CAAC,QAAQ,EAAE,EAAE,EAAE,SAAS,GAAE,EAAc,EAAE,IAAI,GAAE,EAAE,EAAwB;IAW1F,mBAAmB,CACxB,gBAAgB,EAAE,EAAE,EACpB,OAAO,EAAE,OAAO,EAChB,eAAe,GAAE,qBAAqD,EACtE,YAAY,GAAE,EAAc,EAC5B,WAAW,GAAE,EAAE,EAAyB;IAOnC,iBAAiB,CACtB,eAAe,EAAE,EAAE,EACnB,eAAe,GAAE,qBAAqD,EACtE,YAAY,GAAE,EAAc,EAC5B,WAAW,GAAE,EAAE,EAAyB,EACxC,aAAa,GAAE,EAAE,EAAyB;IAerC,uBAAuB,CAC5B,gBAAgB,EAAE,YAAY,EAC9B,OAAO,EAAE,EAAE,EACX,YAAY,EAAE,EAAE,EAChB,OAAO,EAAE,OAAO,EAChB,IAAI,GAAE,EAAE,EAA6B;IAMhC,qBAAqB,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;IAa/E,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE;IAcvD,wBAAwB,CAC7B,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,OAAO,EACf,QAAQ,GAAE,4BAAqE,EAC/E,oBAAoB,GAAE,yBAA6D,EACnF,cAAc,GAAE,EAAE,EAAO;IAoBpB,qBAAqB,CAAC,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,2BAA2B;IA8B9G;;;OAGG;IACI,iBAAiB;IACtB,6DAA6D;IAC7D,iBAAiB,EAAE,iBAAiB;IACpC,0BAA0B;IAC1B,QAAQ,EAAE,EAAE,EAAE;IACd,2BAA2B;IAC3B,SAAS,EAAE,OAAO;IAOb,cAAc,IAAI,WAAW;IAW7B,wBAAwB;IAC7B,eAAe;IACf,eAAe,EAAE,eAAe;IAChC,4BAA4B;IAC5B,kBAAkB,EAAE,aAAa;IACjC,+BAA+B;IAC/B,YAAY,EAAE,GAAG;IACjB,4DAA4D;IAC5D,SAAS,EAAE,WAAW;IACtB,gCAAgC;IAChC,QAAQ,EAAE,YAAY;IACtB,qCAAqC;IACrC,uBAAuB,EAAE,iBAAiB,EAAE;IAC5C,yCAAyC;IACzC,0BAA0B,EAAE,iBAAiB,EAAE;IAC/C,uCAAuC;IACvC,yBAAyB,EAAE,iBAAiB;IAC5C,0BAA0B;IAC1B,gBAAgB,EAAE,aAAa;IAC/B;;;OAGG;IACH,UAAU,EAAE,GAAG;IACf,uBAAuB;IACvB,cAAc,EAAE,EAAE;IAClB,yBAAyB;IACzB,QAAQ,EAAE,OAAO,GAChB,sBAAsB;IAsBlB,aAAa;IAIb,kBAAkB;IAIzB,OAAO,CAAC,qBAAqB;CAqB9B"}
@@ -1,34 +0,0 @@
1
- import type { Fr } from '@aztec/foundation/fields';
2
- import type { AvmPublicDataReadTreeHint } from '@aztec/stdlib/avm';
3
- import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
- import type { ContractClassWithCommitment, SerializableContractInstance } from '@aztec/stdlib/contract';
5
- import type { PublicCallRequest } from '@aztec/stdlib/kernel';
6
- import type { PublicLog } from '@aztec/stdlib/logs';
7
- import type { NullifierLeafPreimage, PublicDataTreeLeafPreimage } from '@aztec/stdlib/trees';
8
- export interface PublicSideEffectTraceInterface {
9
- fork(): PublicSideEffectTraceInterface;
10
- merge(nestedTrace: PublicSideEffectTraceInterface, reverted?: boolean): void;
11
- getCounter(): number;
12
- tracePublicStorageRead(contractAddress: AztecAddress, slot: Fr, value: Fr, leafPreimage?: PublicDataTreeLeafPreimage, leafIndex?: Fr, path?: Fr[]): void;
13
- tracePublicStorageWrite(contractAddress: AztecAddress, slot: Fr, // This is the storage slot not the computed leaf slot
14
- value: Fr, protocolWrite: boolean, lowLeafPreimage?: PublicDataTreeLeafPreimage, lowLeafIndex?: Fr, lowLeafPath?: Fr[], newLeafPreimage?: PublicDataTreeLeafPreimage, insertionPath?: Fr[]): Promise<void>;
15
- traceNoteHashCheck(contractAddress: AztecAddress, noteHash: Fr, leafIndex: Fr, exists: boolean, path?: Fr[]): void;
16
- traceNewNoteHash(uniqueNoteHash: Fr, leafIndex?: Fr, path?: Fr[]): void;
17
- getNoteHashCount(): number;
18
- traceNullifierCheck(siloedNullifier: Fr, exists: boolean, lowLeafPreimage?: NullifierLeafPreimage, lowLeafIndex?: Fr, lowLeafPath?: Fr[]): void;
19
- traceNewNullifier(siloedNullifier: Fr, lowLeafPreimage?: NullifierLeafPreimage, lowLeafIndex?: Fr, lowLeafPath?: Fr[], insertionPath?: Fr[]): void;
20
- traceL1ToL2MessageCheck(contractAddress: AztecAddress, msgHash: Fr, msgLeafIndex: Fr, exists: boolean, path?: Fr[]): void;
21
- traceNewL2ToL1Message(contractAddress: AztecAddress, recipient: Fr, content: Fr): void;
22
- tracePublicLog(contractAddress: AztecAddress, log: Fr[]): void;
23
- traceGetContractInstance(contractAddress: AztecAddress, exists: boolean, instance?: SerializableContractInstance, updateMembershipHint?: AvmPublicDataReadTreeHint, updatePreimage?: Fr[]): void;
24
- traceGetContractClass(contractClassId: Fr, exists: boolean, contractClass?: ContractClassWithCommitment): void;
25
- traceEnqueuedCall(
26
- /** The call request from private that enqueued this call. */
27
- publicCallRequest: PublicCallRequest,
28
- /** The call's calldata */
29
- calldata: Fr[],
30
- /** Did the call revert? */
31
- reverted: boolean): void;
32
- getPublicLogs(): PublicLog[];
33
- }
34
- //# sourceMappingURL=side_effect_trace_interface.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"side_effect_trace_interface.d.ts","sourceRoot":"","sources":["../../src/public/side_effect_trace_interface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,2BAA2B,EAAE,4BAA4B,EAAE,MAAM,wBAAwB,CAAC;AACxG,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AAE7F,MAAM,WAAW,8BAA8B;IAC7C,IAAI,IAAI,8BAA8B,CAAC;IACvC,KAAK,CAAC,WAAW,EAAE,8BAA8B,EAAE,QAAQ,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IAC7E,UAAU,IAAI,MAAM,CAAC;IAErB,sBAAsB,CACpB,eAAe,EAAE,YAAY,EAC7B,IAAI,EAAE,EAAE,EACR,KAAK,EAAE,EAAE,EACT,YAAY,CAAC,EAAE,0BAA0B,EACzC,SAAS,CAAC,EAAE,EAAE,EACd,IAAI,CAAC,EAAE,EAAE,EAAE,GACV,IAAI,CAAC;IACR,uBAAuB,CACrB,eAAe,EAAE,YAAY,EAC7B,IAAI,EAAE,EAAE,EAAE,sDAAsD;IAChE,KAAK,EAAE,EAAE,EACT,aAAa,EAAE,OAAO,EACtB,eAAe,CAAC,EAAE,0BAA0B,EAC5C,YAAY,CAAC,EAAE,EAAE,EACjB,WAAW,CAAC,EAAE,EAAE,EAAE,EAClB,eAAe,CAAC,EAAE,0BAA0B,EAC5C,aAAa,CAAC,EAAE,EAAE,EAAE,GACnB,OAAO,CAAC,IAAI,CAAC,CAAC;IACjB,kBAAkB,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC;IACnH,gBAAgB,CAAC,cAAc,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC;IACxE,gBAAgB,IAAI,MAAM,CAAC;IAC3B,mBAAmB,CACjB,eAAe,EAAE,EAAE,EACnB,MAAM,EAAE,OAAO,EACf,eAAe,CAAC,EAAE,qBAAqB,EACvC,YAAY,CAAC,EAAE,EAAE,EACjB,WAAW,CAAC,EAAE,EAAE,EAAE,GACjB,IAAI,CAAC;IACR,iBAAiB,CACf,eAAe,EAAE,EAAE,EACnB,eAAe,CAAC,EAAE,qBAAqB,EACvC,YAAY,CAAC,EAAE,EAAE,EACjB,WAAW,CAAC,EAAE,EAAE,EAAE,EAClB,aAAa,CAAC,EAAE,EAAE,EAAE,GACnB,IAAI,CAAC;IACR,uBAAuB,CACrB,eAAe,EAAE,YAAY,EAC7B,OAAO,EAAE,EAAE,EACX,YAAY,EAAE,EAAE,EAChB,MAAM,EAAE,OAAO,EACf,IAAI,CAAC,EAAE,EAAE,EAAE,GACV,IAAI,CAAC;IACR,qBAAqB,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,IAAI,CAAC;IACvF,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC;IAC/D,wBAAwB,CACtB,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,OAAO,EACf,QAAQ,CAAC,EAAE,4BAA4B,EACvC,oBAAoB,CAAC,EAAE,yBAAyB,EAChD,cAAc,CAAC,EAAE,EAAE,EAAE,GACpB,IAAI,CAAC;IACR,qBAAqB,CAAC,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAC;IAC/G,iBAAiB;IACf,6DAA6D;IAC7D,iBAAiB,EAAE,iBAAiB;IACpC,0BAA0B;IAC1B,QAAQ,EAAE,EAAE,EAAE;IACd,2BAA2B;IAC3B,QAAQ,EAAE,OAAO,GAChB,IAAI,CAAC;IACR,aAAa,IAAI,SAAS,EAAE,CAAC;CAC9B"}
@@ -1,41 +0,0 @@
1
- import type { Fr } from '@aztec/foundation/fields';
2
- import type { AztecAddress } from '@aztec/stdlib/aztec-address';
3
- import type { ContractClassPublic, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
4
- /**
5
- * A cache for contract classes and instances for a single transaction.
6
- * Useful for tracking/retrieving contracts for a tx while leaving
7
- * the option to clear them if the tx is reverted.
8
- */
9
- export declare class TxContractCache {
10
- private instanceCache;
11
- private classCache;
12
- /**
13
- * Add a contract instance to the cache
14
- */
15
- addInstance(address: AztecAddress, instance: ContractInstanceWithAddress): void;
16
- /**
17
- * Add a contract class to the cache
18
- */
19
- addClass(classId: Fr, contractClass: ContractClassPublic): void;
20
- /**
21
- * Get a contract instance from the cache
22
- */
23
- getInstance(address: AztecAddress): ContractInstanceWithAddress | undefined;
24
- /**
25
- * Get a contract class from the cache
26
- */
27
- getClass(classId: Fr): ContractClassPublic | undefined;
28
- /**
29
- * Check if the cache has a contract class
30
- */
31
- hasClass(classId: Fr): boolean;
32
- /**
33
- * Clear all entries from the cache
34
- */
35
- clear(): void;
36
- /**
37
- * Merge another cache into this one
38
- */
39
- mergeFrom(other: TxContractCache): void;
40
- }
41
- //# sourceMappingURL=tx_contract_cache.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"tx_contract_cache.d.ts","sourceRoot":"","sources":["../../src/public/tx_contract_cache.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAE/F;;;;GAIG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,aAAa,CAAkD;IACvE,OAAO,CAAC,UAAU,CAA0C;IAE5D;;OAEG;IACI,WAAW,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,2BAA2B,GAAG,IAAI;IAItF;;OAEG;IACI,QAAQ,CAAC,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,mBAAmB,GAAG,IAAI;IAItE;;OAEG;IACI,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,2BAA2B,GAAG,SAAS;IAIlF;;OAEG;IACI,QAAQ,CAAC,OAAO,EAAE,EAAE,GAAG,mBAAmB,GAAG,SAAS;IAI7D;;OAEG;IACI,QAAQ,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO;IAIrC;;OAEG;IACI,KAAK,IAAI,IAAI;IAKpB;;OAEG;IACI,SAAS,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI;CAS/C"}
@@ -1,37 +0,0 @@
1
- /**
2
- * A class manage a de-duplicated set of class IDs that errors if you try to add a duplicate.
3
- * Useful for bytecode retrieval hints to avoid duplicates in parent trace & grandparent trace....
4
- */
5
- export declare class UniqueClassIds {
6
- private readonly parent?;
7
- private readonly classIds;
8
- constructor(parent?: UniqueClassIds | undefined);
9
- /**
10
- * Create a fork that references this one as its parent
11
- */
12
- fork(): UniqueClassIds;
13
- /**
14
- * Check for a class ID here or in parent's (recursively).
15
- *
16
- * @param classId - the contract class ID (as a string) to check
17
- * @returns boolean: whether the class ID is here
18
- */
19
- has(classId: string): boolean;
20
- /**
21
- * Get the total number of classIds
22
- */
23
- size(): number;
24
- /**
25
- * Add a class ID (if not already present) to the set.
26
- *
27
- * @param classId - the contract class ID (as a string)
28
- */
29
- add(classId: string): void;
30
- /**
31
- * Merge in another set of unique class IDs into this one, but fail on duplicates.
32
- *
33
- * @param incoming: other unique class IDs
34
- */
35
- acceptAndMerge(incoming: UniqueClassIds): void;
36
- }
37
- //# sourceMappingURL=unique_class_ids.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"unique_class_ids.d.ts","sourceRoot":"","sources":["../../src/public/unique_class_ids.ts"],"names":[],"mappings":"AAIA;;;GAGG;AACH,qBAAa,cAAc;IAGb,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;IAFpC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA0B;gBAEtB,MAAM,CAAC,4BAAgB;IAEpD;;OAEG;IACI,IAAI;IAIX;;;;;OAKG;IACI,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAWpC;;OAEG;IACI,IAAI,IAAI,MAAM;IAIrB;;;;OAIG;IACI,GAAG,CAAC,OAAO,EAAE,MAAM;IAW1B;;;;OAIG;IACI,cAAc,CAAC,QAAQ,EAAE,cAAc;CAc/C"}
@@ -1,5 +0,0 @@
1
- import type { PublicCallRequest } from '@aztec/stdlib/kernel';
2
- import { type PublicExecutionRequest, type Tx, TxExecutionPhase } from '@aztec/stdlib/tx';
3
- export declare function getExecutionRequestsByPhase(tx: Tx, phase: TxExecutionPhase): PublicExecutionRequest[];
4
- export declare function getCallRequestsByPhase(tx: Tx, phase: TxExecutionPhase): PublicCallRequest[];
5
- //# sourceMappingURL=utils.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/public/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,KAAK,sBAAsB,EAAE,KAAK,EAAE,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE1F,wBAAgB,2BAA2B,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,GAAG,sBAAsB,EAAE,CAarG;AAED,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,GAAG,iBAAiB,EAAE,CAa3F"}
package/dest/server.d.ts DELETED
@@ -1,6 +0,0 @@
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';
5
- export * from './common/index.js';
6
- //# sourceMappingURL=server.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AACrF,cAAc,mBAAmB,CAAC"}
@@ -1,13 +0,0 @@
1
- import { Fr } from '@aztec/foundation/fields';
2
- import type { AztecAddress } from '@aztec/stdlib/aztec-address';
3
- import { L1ToL2Message } from '@aztec/stdlib/messaging';
4
- /**
5
- * Test utility function to craft an L1 to L2 message.
6
- * @param selector - The cross chain message selector.
7
- * @param contentPreimage - The args after the selector.
8
- * @param targetContract - The contract to consume the message.
9
- * @param secret - The secret to unlock the message.
10
- * @returns The L1 to L2 message.
11
- */
12
- export declare const buildL1ToL2Message: (selector: string, contentPreimage: Fr[], targetContract: AztecAddress, secret: Fr, msgIndex: Fr | number) => Promise<L1ToL2Message>;
13
- //# sourceMappingURL=utils.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/test/utils.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EAAW,aAAa,EAAW,MAAM,yBAAyB,CAAC;AAE1E;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,aACnB,MAAM,mBACC,EAAE,EAAE,kBACL,YAAY,UACpB,EAAE,YACA,EAAE,GAAG,MAAM,2BAetB,CAAC"}