@aztec/simulator 0.0.1-commit.3100065 → 0.0.1-commit.330febf
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/public/avm/testing/account_proof_fetcher.d.ts +2 -0
- package/dest/public/avm/testing/account_proof_fetcher.d.ts.map +1 -0
- package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.d.ts +1 -1
- package/dest/public/avm/testing/base_avm_simulation_tester.d.ts.map +1 -0
- package/dest/public/avm/testing/utils.d.ts +32 -0
- package/dest/public/avm/testing/utils.d.ts.map +1 -0
- package/dest/public/avm/{fixtures → testing}/utils.js +0 -33
- package/dest/public/avm_simulator.d.ts +28 -0
- package/dest/public/avm_simulator.d.ts.map +1 -0
- package/dest/public/avm_simulator.js +4 -0
- package/dest/public/avm_simulator_pool.d.ts +45 -0
- package/dest/public/avm_simulator_pool.d.ts.map +1 -0
- package/dest/public/avm_simulator_pool.js +197 -0
- package/dest/public/cdb_ipc_server.d.ts +40 -0
- package/dest/public/cdb_ipc_server.d.ts.map +1 -0
- package/dest/public/cdb_ipc_server.js +153 -0
- package/dest/public/fixtures/index.d.ts +2 -4
- package/dest/public/fixtures/index.d.ts.map +1 -1
- package/dest/public/fixtures/index.js +1 -3
- package/dest/public/fixtures/public_processor_test_env.d.ts +30 -0
- package/dest/public/fixtures/public_processor_test_env.d.ts.map +1 -0
- package/dest/public/fixtures/public_processor_test_env.js +73 -0
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts +11 -7
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.js +29 -41
- package/dest/public/fixtures/simple_contract_data_source.js +1 -1
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +11 -4
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -1
- package/dest/public/fuzzing/avm_fuzzer_simulator.js +24 -10
- package/dest/public/fuzzing/avm_simulator_bin.js +4 -4
- package/dest/public/index.d.ts +5 -2
- package/dest/public/index.d.ts.map +1 -1
- package/dest/public/index.js +2 -1
- package/dest/public/public_db_sources.d.ts +2 -2
- package/dest/public/public_db_sources.d.ts.map +1 -1
- package/dest/public/public_db_sources.js +1 -1
- package/dest/public/public_processor/guarded_merkle_tree.d.ts +4 -3
- package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
- package/dest/public/public_processor/guarded_merkle_tree.js +3 -0
- package/dest/public/public_processor/public_processor.d.ts +8 -4
- package/dest/public/public_processor/public_processor.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor.js +19 -34
- package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts +17 -0
- package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.js → dumping_public_tx_simulator.js} +10 -23
- package/dest/public/public_tx_simulator/factories.d.ts +8 -8
- package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/factories.js +8 -8
- package/dest/public/public_tx_simulator/index.d.ts +4 -6
- package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/index.js +2 -4
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +42 -75
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_simulator.js +98 -323
- package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts +24 -0
- package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/public_tx_simulator_base.js +31 -0
- package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +5 -5
- package/dest/public/test_executor_metrics.d.ts +1 -6
- package/dest/public/test_executor_metrics.d.ts.map +1 -1
- package/dest/public/test_executor_metrics.js +0 -22
- package/package.json +20 -18
- package/src/public/avm/{fixtures → testing}/utils.ts +0 -39
- package/src/public/avm_simulator.ts +29 -0
- package/src/public/avm_simulator_pool.ts +226 -0
- package/src/public/cdb_ipc_server.ts +198 -0
- package/src/public/fixtures/index.ts +1 -3
- package/src/public/fixtures/public_processor_test_env.ts +88 -0
- package/src/public/fixtures/public_tx_simulation_tester.ts +37 -50
- package/src/public/fixtures/simple_contract_data_source.ts +1 -1
- package/src/public/fuzzing/avm_fuzzer_simulator.ts +25 -10
- package/src/public/fuzzing/avm_simulator_bin.ts +3 -5
- package/src/public/index.ts +7 -3
- package/src/public/public_db_sources.ts +1 -1
- package/src/public/public_processor/guarded_merkle_tree.ts +5 -2
- package/src/public/public_processor/public_processor.ts +25 -39
- package/src/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.ts → dumping_public_tx_simulator.ts} +15 -31
- package/src/public/public_tx_simulator/factories.ts +27 -10
- package/src/public/public_tx_simulator/index.ts +6 -5
- package/src/public/public_tx_simulator/public_tx_simulator.ts +139 -480
- package/src/public/public_tx_simulator/public_tx_simulator_base.ts +37 -0
- package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +5 -5
- package/src/public/test_executor_metrics.ts +0 -24
- package/dest/public/avm/avm_context.d.ts +0 -41
- package/dest/public/avm/avm_context.d.ts.map +0 -1
- package/dest/public/avm/avm_context.js +0 -44
- package/dest/public/avm/avm_contract_call_result.d.ts +0 -32
- package/dest/public/avm/avm_contract_call_result.d.ts.map +0 -1
- package/dest/public/avm/avm_contract_call_result.js +0 -54
- package/dest/public/avm/avm_execution_environment.d.ts +0 -24
- package/dest/public/avm/avm_execution_environment.d.ts.map +0 -1
- package/dest/public/avm/avm_execution_environment.js +0 -33
- package/dest/public/avm/avm_gas.d.ts +0 -44
- package/dest/public/avm/avm_gas.d.ts.map +0 -1
- package/dest/public/avm/avm_gas.js +0 -195
- package/dest/public/avm/avm_machine_state.d.ts +0 -98
- package/dest/public/avm/avm_machine_state.d.ts.map +0 -1
- package/dest/public/avm/avm_machine_state.js +0 -110
- package/dest/public/avm/avm_memory_types.d.ts +0 -275
- package/dest/public/avm/avm_memory_types.d.ts.map +0 -1
- package/dest/public/avm/avm_memory_types.js +0 -354
- package/dest/public/avm/avm_simulator.d.ts +0 -41
- package/dest/public/avm/avm_simulator.d.ts.map +0 -1
- package/dest/public/avm/avm_simulator.js +0 -192
- package/dest/public/avm/avm_simulator_interface.d.ts +0 -9
- package/dest/public/avm/avm_simulator_interface.d.ts.map +0 -1
- package/dest/public/avm/avm_simulator_interface.js +0 -3
- package/dest/public/avm/calldata.d.ts +0 -51
- package/dest/public/avm/calldata.d.ts.map +0 -1
- package/dest/public/avm/calldata.js +0 -64
- package/dest/public/avm/errors.d.ts +0 -104
- package/dest/public/avm/errors.d.ts.map +0 -1
- package/dest/public/avm/errors.js +0 -141
- package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +0 -2
- package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +0 -1
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +0 -22
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
- package/dest/public/avm/fixtures/avm_simulation_tester.js +0 -84
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
- package/dest/public/avm/fixtures/initializers.d.ts +0 -42
- package/dest/public/avm/fixtures/initializers.d.ts.map +0 -1
- package/dest/public/avm/fixtures/initializers.js +0 -45
- package/dest/public/avm/fixtures/utils.d.ts +0 -39
- package/dest/public/avm/fixtures/utils.d.ts.map +0 -1
- package/dest/public/avm/index.d.ts +0 -2
- package/dest/public/avm/index.d.ts.map +0 -1
- package/dest/public/avm/index.js +0 -1
- package/dest/public/avm/opcodes/accrued_substate.d.ts +0 -74
- package/dest/public/avm/opcodes/accrued_substate.d.ts.map +0 -1
- package/dest/public/avm/opcodes/accrued_substate.js +0 -254
- package/dest/public/avm/opcodes/addressing_mode.d.ts +0 -31
- package/dest/public/avm/opcodes/addressing_mode.d.ts.map +0 -1
- package/dest/public/avm/opcodes/addressing_mode.js +0 -94
- package/dest/public/avm/opcodes/arithmetic.d.ts +0 -49
- package/dest/public/avm/opcodes/arithmetic.d.ts.map +0 -1
- package/dest/public/avm/opcodes/arithmetic.js +0 -97
- package/dest/public/avm/opcodes/bitwise.d.ts +0 -42
- package/dest/public/avm/opcodes/bitwise.d.ts.map +0 -1
- package/dest/public/avm/opcodes/bitwise.js +0 -99
- package/dest/public/avm/opcodes/comparators.d.ts +0 -25
- package/dest/public/avm/opcodes/comparators.d.ts.map +0 -1
- package/dest/public/avm/opcodes/comparators.js +0 -43
- package/dest/public/avm/opcodes/contract.d.ts +0 -21
- package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
- package/dest/public/avm/opcodes/contract.js +0 -69
- package/dest/public/avm/opcodes/control_flow.d.ts +0 -41
- package/dest/public/avm/opcodes/control_flow.d.ts.map +0 -1
- package/dest/public/avm/opcodes/control_flow.js +0 -107
- package/dest/public/avm/opcodes/conversion.d.ts +0 -18
- package/dest/public/avm/opcodes/conversion.d.ts.map +0 -1
- package/dest/public/avm/opcodes/conversion.js +0 -333
- package/dest/public/avm/opcodes/ec_add.d.ts +0 -17
- package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
- package/dest/public/avm/opcodes/ec_add.js +0 -79
- package/dest/public/avm/opcodes/environment_getters.d.ts +0 -28
- package/dest/public/avm/opcodes/environment_getters.d.ts.map +0 -1
- package/dest/public/avm/opcodes/environment_getters.js +0 -77
- package/dest/public/avm/opcodes/external_calls.d.ts +0 -59
- package/dest/public/avm/opcodes/external_calls.d.ts.map +0 -1
- package/dest/public/avm/opcodes/external_calls.js +0 -210
- package/dest/public/avm/opcodes/hashing.d.ts +0 -36
- package/dest/public/avm/opcodes/hashing.d.ts.map +0 -1
- package/dest/public/avm/opcodes/hashing.js +0 -119
- package/dest/public/avm/opcodes/index.d.ts +0 -16
- package/dest/public/avm/opcodes/index.d.ts.map +0 -1
- package/dest/public/avm/opcodes/index.js +0 -15
- package/dest/public/avm/opcodes/instruction.d.ts +0 -74
- package/dest/public/avm/opcodes/instruction.d.ts.map +0 -1
- package/dest/public/avm/opcodes/instruction.js +0 -95
- package/dest/public/avm/opcodes/instruction_impl.d.ts +0 -19
- package/dest/public/avm/opcodes/instruction_impl.d.ts.map +0 -1
- package/dest/public/avm/opcodes/instruction_impl.js +0 -30
- package/dest/public/avm/opcodes/memory.d.ts +0 -74
- package/dest/public/avm/opcodes/memory.d.ts.map +0 -1
- package/dest/public/avm/opcodes/memory.js +0 -257
- package/dest/public/avm/opcodes/misc.d.ts +0 -18
- package/dest/public/avm/opcodes/misc.d.ts.map +0 -1
- package/dest/public/avm/opcodes/misc.js +0 -73
- package/dest/public/avm/opcodes/storage.d.ts +0 -25
- package/dest/public/avm/opcodes/storage.d.ts.map +0 -1
- package/dest/public/avm/opcodes/storage.js +0 -78
- package/dest/public/avm/revert_reason.d.ts +0 -18
- package/dest/public/avm/revert_reason.d.ts.map +0 -1
- package/dest/public/avm/revert_reason.js +0 -39
- package/dest/public/avm/serialization/buffer_cursor.d.ts +0 -26
- package/dest/public/avm/serialization/buffer_cursor.d.ts.map +0 -1
- package/dest/public/avm/serialization/buffer_cursor.js +0 -99
- package/dest/public/avm/serialization/bytecode_serialization.d.ts +0 -17
- package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +0 -1
- package/dest/public/avm/serialization/bytecode_serialization.js +0 -336
- package/dest/public/avm/serialization/instruction_serialization.d.ts +0 -114
- package/dest/public/avm/serialization/instruction_serialization.d.ts.map +0 -1
- package/dest/public/avm/serialization/instruction_serialization.js +0 -261
- package/dest/public/avm/test_utils.d.ts +0 -15
- package/dest/public/avm/test_utils.d.ts.map +0 -1
- package/dest/public/avm/test_utils.js +0 -44
- package/dest/public/debug_fn_name.d.ts +0 -18
- package/dest/public/debug_fn_name.d.ts.map +0 -1
- package/dest/public/debug_fn_name.js +0 -37
- package/dest/public/fixtures/custom_bytecode_tests.d.ts +0 -19
- package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
- package/dest/public/fixtures/custom_bytecode_tests.js +0 -263
- package/dest/public/fixtures/minimal_public_tx.d.ts +0 -4
- package/dest/public/fixtures/minimal_public_tx.d.ts.map +0 -1
- package/dest/public/fixtures/minimal_public_tx.js +0 -19
- package/dest/public/fixtures/opcode_spammer.d.ts +0 -122
- package/dest/public/fixtures/opcode_spammer.d.ts.map +0 -1
- package/dest/public/fixtures/opcode_spammer.js +0 -1645
- package/dest/public/hinting_db_sources.d.ts +0 -80
- package/dest/public/hinting_db_sources.d.ts.map +0 -1
- package/dest/public/hinting_db_sources.js +0 -356
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +0 -19
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +0 -99
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +0 -53
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +0 -131
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +0 -42
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +0 -86
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +0 -30
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +0 -171
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +0 -23
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +0 -31
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +0 -51
- package/dest/public/public_tx_simulator/public_tx_context.d.ts +0 -135
- package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/public_tx_context.js +0 -298
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +0 -21
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +0 -415
- package/dest/public/side_effect_trace.d.ts +0 -87
- package/dest/public/side_effect_trace.d.ts.map +0 -1
- package/dest/public/side_effect_trace.js +0 -199
- package/dest/public/side_effect_trace_interface.d.ts +0 -22
- package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
- package/dest/public/side_effect_trace_interface.js +0 -1
- package/dest/public/state_manager/index.d.ts +0 -2
- package/dest/public/state_manager/index.d.ts.map +0 -1
- package/dest/public/state_manager/index.js +0 -1
- package/dest/public/state_manager/nullifiers.d.ts +0 -61
- package/dest/public/state_manager/nullifiers.d.ts.map +0 -1
- package/dest/public/state_manager/nullifiers.js +0 -92
- package/dest/public/state_manager/public_storage.d.ts +0 -66
- package/dest/public/state_manager/public_storage.d.ts.map +0 -1
- package/dest/public/state_manager/public_storage.js +0 -145
- package/dest/public/state_manager/state_manager.d.ts +0 -170
- package/dest/public/state_manager/state_manager.d.ts.map +0 -1
- package/dest/public/state_manager/state_manager.js +0 -402
- package/src/public/avm/avm_context.ts +0 -61
- package/src/public/avm/avm_contract_call_result.ts +0 -69
- package/src/public/avm/avm_execution_environment.ts +0 -51
- package/src/public/avm/avm_gas.ts +0 -183
- package/src/public/avm/avm_machine_state.ts +0 -170
- package/src/public/avm/avm_memory_types.ts +0 -440
- package/src/public/avm/avm_simulator.ts +0 -279
- package/src/public/avm/avm_simulator_interface.ts +0 -8
- package/src/public/avm/calldata.ts +0 -101
- package/src/public/avm/errors.ts +0 -177
- package/src/public/avm/fixtures/avm_simulation_tester.ts +0 -122
- package/src/public/avm/fixtures/initializers.ts +0 -103
- package/src/public/avm/index.ts +0 -1
- package/src/public/avm/opcodes/accrued_substate.ts +0 -285
- package/src/public/avm/opcodes/addressing_mode.ts +0 -111
- package/src/public/avm/opcodes/arithmetic.ts +0 -129
- package/src/public/avm/opcodes/bitwise.ts +0 -113
- package/src/public/avm/opcodes/comparators.ts +0 -55
- package/src/public/avm/opcodes/contract.ts +0 -76
- package/src/public/avm/opcodes/control_flow.ts +0 -123
- package/src/public/avm/opcodes/conversion.ts +0 -104
- package/src/public/avm/opcodes/ec_add.ts +0 -86
- package/src/public/avm/opcodes/environment_getters.ts +0 -87
- package/src/public/avm/opcodes/external_calls.ts +0 -262
- package/src/public/avm/opcodes/hashing.ts +0 -151
- package/src/public/avm/opcodes/index.ts +0 -15
- package/src/public/avm/opcodes/instruction.ts +0 -136
- package/src/public/avm/opcodes/instruction_impl.ts +0 -36
- package/src/public/avm/opcodes/memory.ts +0 -293
- package/src/public/avm/opcodes/misc.ts +0 -102
- package/src/public/avm/opcodes/storage.ts +0 -95
- package/src/public/avm/revert_reason.ts +0 -58
- package/src/public/avm/serialization/buffer_cursor.ts +0 -118
- package/src/public/avm/serialization/bytecode_serialization.ts +0 -215
- package/src/public/avm/serialization/instruction_serialization.ts +0 -249
- package/src/public/avm/test_utils.ts +0 -64
- package/src/public/debug_fn_name.ts +0 -52
- package/src/public/fixtures/custom_bytecode_tests.ts +0 -435
- package/src/public/fixtures/minimal_public_tx.ts +0 -26
- package/src/public/fixtures/opcode_spammer.ts +0 -1713
- package/src/public/hinting_db_sources.ts +0 -610
- package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +0 -125
- package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +0 -210
- package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +0 -134
- package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +0 -239
- package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +0 -105
- package/src/public/public_tx_simulator/public_tx_context.ts +0 -482
- package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +0 -63
- package/src/public/side_effect_trace.ts +0 -293
- package/src/public/side_effect_trace_interface.ts +0 -28
- package/src/public/state_manager/index.ts +0 -1
- package/src/public/state_manager/nullifiers.ts +0 -103
- package/src/public/state_manager/public_storage.ts +0 -174
- package/src/public/state_manager/state_manager.ts +0 -569
- /package/dest/public/avm/{fixtures → testing}/account_proof_fetcher.js +0 -0
- /package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.js +0 -0
- /package/src/public/avm/{fixtures → testing}/account_proof.json +0 -0
- /package/src/public/avm/{fixtures → testing}/account_proof_fetcher.ts +0 -0
- /package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +0 -0
|
@@ -24,7 +24,6 @@ function createEmptyTxMetrics() {
|
|
|
24
24
|
totalDurationMs: 0,
|
|
25
25
|
manaUsed: 0,
|
|
26
26
|
totalInstructionsExecuted: 0,
|
|
27
|
-
bytecodeSizes: [],
|
|
28
27
|
nonRevertiblePrivateInsertionsUs: undefined,
|
|
29
28
|
revertiblePrivateInsertionsUs: undefined,
|
|
30
29
|
enqueuedCalls: [],
|
|
@@ -100,14 +99,6 @@ export class TestExecutorMetrics {
|
|
|
100
99
|
txMetrics.nonRevertiblePrivateInsertionsUs = durationUs;
|
|
101
100
|
}
|
|
102
101
|
}
|
|
103
|
-
recordBytecodeSize(txLabel, contractName, sizeBytes) {
|
|
104
|
-
const txMetrics = this.txMetrics.get(txLabel);
|
|
105
|
-
assert(txMetrics, `Cannot record bytecode size for unknown tx label: ${txLabel}`);
|
|
106
|
-
txMetrics.bytecodeSizes.push({
|
|
107
|
-
contractName,
|
|
108
|
-
sizeBytes
|
|
109
|
-
});
|
|
110
|
-
}
|
|
111
102
|
recordProverMetrics(txLabel, metrics) {
|
|
112
103
|
if (!this.txMetrics.has(txLabel)) {
|
|
113
104
|
this.txMetrics.set(txLabel, createEmptyTxMetrics());
|
|
@@ -141,12 +132,6 @@ export class TestExecutorMetrics {
|
|
|
141
132
|
if (filter === 3 || filter === 1 || filter === 0) {
|
|
142
133
|
pretty += `${INDENT0}Total instructions executed: ${fmtNum(txMetrics.totalInstructionsExecuted)}\n`;
|
|
143
134
|
}
|
|
144
|
-
if ((filter === 1 || filter === 0) && txMetrics.bytecodeSizes.length > 0) {
|
|
145
|
-
pretty += `${INDENT0}Bytecode sizes:\n`;
|
|
146
|
-
for (const { contractName, sizeBytes } of txMetrics.bytecodeSizes){
|
|
147
|
-
pretty += `${INDENT1}${contractName}: ${fmtNum(sizeBytes, 'bytes')}\n`;
|
|
148
|
-
}
|
|
149
|
-
}
|
|
150
135
|
if (filter === 2 || filter === 0) {
|
|
151
136
|
pretty += `${INDENT0}Private insertions:\n`;
|
|
152
137
|
pretty += `${INDENT1}Non-revertible: ${fmtNum(txMetrics.nonRevertiblePrivateInsertionsUs / 1_000, 'ms')}\n`;
|
|
@@ -313,13 +298,6 @@ export class TestExecutorMetrics {
|
|
|
313
298
|
});
|
|
314
299
|
}
|
|
315
300
|
}
|
|
316
|
-
for (const { contractName, sizeBytes } of txMetrics.bytecodeSizes){
|
|
317
|
-
data.push({
|
|
318
|
-
name: `${txLabel}/bytecodeSizeBytes/${contractName}`,
|
|
319
|
-
value: sizeBytes,
|
|
320
|
-
unit: 'bytes'
|
|
321
|
-
});
|
|
322
|
-
}
|
|
323
301
|
}
|
|
324
302
|
return JSON.stringify(data, null, indent);
|
|
325
303
|
}
|
package/package.json
CHANGED
|
@@ -1,13 +1,12 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/simulator",
|
|
3
|
-
"version": "0.0.1-commit.
|
|
3
|
+
"version": "0.0.1-commit.330febf",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
"./server": "./dest/server.js",
|
|
7
7
|
"./client": "./dest/client.js",
|
|
8
8
|
"./testing": "./dest/testing.js",
|
|
9
|
-
"./public/fixtures": "./dest/public/fixtures/index.js"
|
|
10
|
-
"./public/avm/opcodes": "./dest/public/avm/opcodes/index.js"
|
|
9
|
+
"./public/fixtures": "./dest/public/fixtures/index.js"
|
|
11
10
|
},
|
|
12
11
|
"typedocOptions": {
|
|
13
12
|
"entryPoints": [
|
|
@@ -64,26 +63,29 @@
|
|
|
64
63
|
]
|
|
65
64
|
},
|
|
66
65
|
"dependencies": {
|
|
67
|
-
"@aztec/
|
|
68
|
-
"@aztec/
|
|
69
|
-
"@aztec/
|
|
70
|
-
"@aztec/
|
|
71
|
-
"@aztec/
|
|
72
|
-
"@aztec/
|
|
73
|
-
"@aztec/noir-
|
|
74
|
-
"@aztec/
|
|
75
|
-
"@aztec/
|
|
76
|
-
"@aztec/
|
|
77
|
-
"@aztec/
|
|
78
|
-
"@aztec/
|
|
66
|
+
"@aztec/bb-avm-sim": "6.0.0-nightly.20260807",
|
|
67
|
+
"@aztec/cdb": "6.0.0-nightly.20260807",
|
|
68
|
+
"@aztec/constants": "0.0.1-commit.330febf",
|
|
69
|
+
"@aztec/foundation": "0.0.1-commit.330febf",
|
|
70
|
+
"@aztec/ipc-runtime": "6.0.0-nightly.20260807",
|
|
71
|
+
"@aztec/native": "0.0.1-commit.330febf",
|
|
72
|
+
"@aztec/noir-acvm_js": "6.0.0-nightly.20260807",
|
|
73
|
+
"@aztec/noir-noirc_abi": "6.0.0-nightly.20260807",
|
|
74
|
+
"@aztec/noir-types": "6.0.0-nightly.20260807",
|
|
75
|
+
"@aztec/protocol-contracts": "0.0.1-commit.330febf",
|
|
76
|
+
"@aztec/standard-contracts": "0.0.1-commit.330febf",
|
|
77
|
+
"@aztec/stdlib": "0.0.1-commit.330febf",
|
|
78
|
+
"@aztec/telemetry-client": "0.0.1-commit.330febf",
|
|
79
|
+
"@aztec/world-state": "0.0.1-commit.330febf",
|
|
79
80
|
"lodash.clonedeep": "^4.5.0",
|
|
80
81
|
"lodash.merge": "^4.6.2",
|
|
82
|
+
"msgpackr": "^1.11.2",
|
|
81
83
|
"tslib": "^2.4.0"
|
|
82
84
|
},
|
|
83
85
|
"devDependencies": {
|
|
84
|
-
"@aztec/kv-store": "0.0.1-commit.
|
|
85
|
-
"@aztec/noir-contracts.js": "0.0.1-commit.
|
|
86
|
-
"@aztec/noir-test-contracts.js": "0.0.1-commit.
|
|
86
|
+
"@aztec/kv-store": "0.0.1-commit.330febf",
|
|
87
|
+
"@aztec/noir-contracts.js": "0.0.1-commit.330febf",
|
|
88
|
+
"@aztec/noir-test-contracts.js": "0.0.1-commit.330febf",
|
|
87
89
|
"@jest/globals": "^30.0.0",
|
|
88
90
|
"@types/jest": "^30.0.0",
|
|
89
91
|
"@types/lodash.clonedeep": "^4.5.7",
|
|
@@ -14,7 +14,6 @@ import {
|
|
|
14
14
|
type ContractInstanceWithAddress,
|
|
15
15
|
computeInitializationHash,
|
|
16
16
|
} from '@aztec/stdlib/contract';
|
|
17
|
-
import { isNoirCallStackUnresolved } from '@aztec/stdlib/errors';
|
|
18
17
|
import { siloNullifier } from '@aztec/stdlib/hash';
|
|
19
18
|
import { deriveKeys } from '@aztec/stdlib/keys';
|
|
20
19
|
import { makeContractClassPublic, makeContractInstanceFromClassId } from '@aztec/stdlib/testing';
|
|
@@ -23,10 +22,6 @@ import type { UInt64 } from '@aztec/stdlib/types';
|
|
|
23
22
|
import { strict as assert } from 'assert';
|
|
24
23
|
import merge from 'lodash.merge';
|
|
25
24
|
|
|
26
|
-
import { resolveAssertionMessageFromRevertData, traverseCauseChain } from '../../../common/index.js';
|
|
27
|
-
import { Field, Uint8, Uint32, Uint64 } from '../avm_memory_types.js';
|
|
28
|
-
import type { AvmRevertReason } from '../errors.js';
|
|
29
|
-
|
|
30
25
|
export const PUBLIC_DISPATCH_FN_NAME = 'public_dispatch';
|
|
31
26
|
export const DEFAULT_TIMESTAMP: UInt64 = 99833n;
|
|
32
27
|
export const DEFAULT_BLOCK_NUMBER = BlockNumber(42);
|
|
@@ -38,22 +33,6 @@ export function allSameExcept(original: any, overrides: any): any {
|
|
|
38
33
|
return merge({}, original, overrides);
|
|
39
34
|
}
|
|
40
35
|
|
|
41
|
-
export function randomMemoryBytes(length: number): Uint8[] {
|
|
42
|
-
return [...Array(length)].map(_ => new Uint8(Math.floor(Math.random() * 255)));
|
|
43
|
-
}
|
|
44
|
-
|
|
45
|
-
export function randomMemoryUint32s(length: number): Uint32[] {
|
|
46
|
-
return [...Array(length)].map(_ => new Uint32(Math.floor(Math.random() * 255)));
|
|
47
|
-
}
|
|
48
|
-
|
|
49
|
-
export function randomMemoryUint64s(length: number): Uint64[] {
|
|
50
|
-
return [...Array(length)].map(_ => new Uint64(Math.floor(Math.random() * 255)));
|
|
51
|
-
}
|
|
52
|
-
|
|
53
|
-
export function randomMemoryFields(length: number): Field[] {
|
|
54
|
-
return [...Array(length)].map(_ => new Field(Fr.random()));
|
|
55
|
-
}
|
|
56
|
-
|
|
57
36
|
export function getFunctionSelector(
|
|
58
37
|
functionName: string,
|
|
59
38
|
contractArtifact: ContractArtifact,
|
|
@@ -81,24 +60,6 @@ export function getContractFunctionAbi(
|
|
|
81
60
|
);
|
|
82
61
|
}
|
|
83
62
|
|
|
84
|
-
export function resolveContractAssertionMessage(
|
|
85
|
-
functionName: string,
|
|
86
|
-
revertReason: AvmRevertReason,
|
|
87
|
-
output: Fr[],
|
|
88
|
-
contractArtifact: ContractArtifact,
|
|
89
|
-
): string | undefined {
|
|
90
|
-
traverseCauseChain(revertReason, cause => {
|
|
91
|
-
revertReason = cause as AvmRevertReason;
|
|
92
|
-
});
|
|
93
|
-
|
|
94
|
-
const functionArtifact = getAllFunctionAbis(contractArtifact).find(f => f.name === functionName);
|
|
95
|
-
if (!functionArtifact || !revertReason.noirCallStack || !isNoirCallStackUnresolved(revertReason.noirCallStack)) {
|
|
96
|
-
return undefined;
|
|
97
|
-
}
|
|
98
|
-
|
|
99
|
-
return resolveAssertionMessageFromRevertData(output, functionArtifact);
|
|
100
|
-
}
|
|
101
|
-
|
|
102
63
|
/**
|
|
103
64
|
* Create a contract class and instance given constructor args, artifact, etc.
|
|
104
65
|
* NOTE: This is useful for testing real-ish contract class registration and instance deployment TXs (via logs)
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
import type { PublicContractsDB } from './public_db_sources.js';
|
|
2
|
+
|
|
3
|
+
/**
|
|
4
|
+
* Identifies the contract data a single simulation reads. The AVM's contract-data lookups during a
|
|
5
|
+
* `simulate` call are answered from `contractsDB`; `forkId` and `timestamp` scope those lookups to the
|
|
6
|
+
* world-state fork being simulated against. How this reaches the AVM (in-process call, IPC callback
|
|
7
|
+
* server, ...) is the implementation's concern — callers only supply the context.
|
|
8
|
+
*/
|
|
9
|
+
export interface AvmContractsDBContext {
|
|
10
|
+
contractsDB: PublicContractsDB;
|
|
11
|
+
forkId: number;
|
|
12
|
+
timestamp: bigint;
|
|
13
|
+
}
|
|
14
|
+
|
|
15
|
+
/**
|
|
16
|
+
* Something that can run AVM simulations, independent of how the work is dispatched (a single external
|
|
17
|
+
* process, a pool of them, or an in-process stub). Callers hold this and never see the underlying transport.
|
|
18
|
+
*/
|
|
19
|
+
export interface AvmSimulator {
|
|
20
|
+
/**
|
|
21
|
+
* Run a fast simulation and return the msgpack-encoded result. `context` supplies the contracts DB whose
|
|
22
|
+
* data the simulation reads. If `signal` aborts, the simulation stops at the next cancellation checkpoint.
|
|
23
|
+
*/
|
|
24
|
+
simulate(inputBuffer: Uint8Array, context: AvmContractsDBContext, signal?: AbortSignal): Promise<Uint8Array>;
|
|
25
|
+
/** Run a simulation collecting proving hints and return the msgpack-encoded result. */
|
|
26
|
+
simulateWithHints(inputBuffer: Uint8Array): Promise<Uint8Array>;
|
|
27
|
+
/** Release any resources held by the underlying implementation. */
|
|
28
|
+
destroy?(): Promise<void>;
|
|
29
|
+
}
|
|
@@ -0,0 +1,226 @@
|
|
|
1
|
+
import { AvmService } from '@aztec/bb-avm-sim';
|
|
2
|
+
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
3
|
+
|
|
4
|
+
import type { AvmContractsDBContext, AvmSimulator } from './avm_simulator.js';
|
|
5
|
+
import { CdbIpcServer } from './cdb_ipc_server.js';
|
|
6
|
+
|
|
7
|
+
export interface AvmSimulatorPoolOptions {
|
|
8
|
+
/** Maximum number of concurrent AVM processes. If not set, defaults to AVM_MAX_CONCURRENT_SIMULATIONS env var or 4. */
|
|
9
|
+
maxSize?: number;
|
|
10
|
+
/** Path to the bb-avm-sim binary. If omitted, the generated package resolves it. */
|
|
11
|
+
avmBinaryPath?: string;
|
|
12
|
+
/** IPC path for the shared WSDB server. */
|
|
13
|
+
wsdbIpcPath: string;
|
|
14
|
+
/** Optional logger function for AVM process output. */
|
|
15
|
+
logger?: (msg: string) => void;
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
* A raw handle to a single bb-avm-sim process: it runs a serialized simulation and connects back to the
|
|
20
|
+
* shared CDB/WSDB servers for state, but is unaware of which fork's contract data it is reading — that is
|
|
21
|
+
* routed by the fork id baked into the input buffer.
|
|
22
|
+
*/
|
|
23
|
+
interface AvmProcessHandle {
|
|
24
|
+
simulate(inputBuffer: Uint8Array, signal?: AbortSignal): Promise<Uint8Array>;
|
|
25
|
+
simulateWithHints(inputBuffer: Uint8Array): Promise<Uint8Array>;
|
|
26
|
+
destroy(): Promise<void>;
|
|
27
|
+
}
|
|
28
|
+
|
|
29
|
+
/**
|
|
30
|
+
* The public-execution AVM backend: a lazily-grown pool of bb-avm-sim processes plus the CDB server that
|
|
31
|
+
* answers those processes' contract-data callbacks. Callers hold this as an {@link AvmSimulator}; the pool,
|
|
32
|
+
* the CDB server, its IPC path, and fork-id routing are all hidden behind that interface. Each `simulate`
|
|
33
|
+
* registers the call's contracts DB on the CDB server for the duration of the simulation (keyed by fork id
|
|
34
|
+
* so concurrent simulations on different forks don't collide) and unregisters it once the call returns.
|
|
35
|
+
*/
|
|
36
|
+
export class AvmSimulatorPool implements AvmSimulator {
|
|
37
|
+
private slots: Array<AvmProcessHandle | null> = [];
|
|
38
|
+
private available: number[] = [];
|
|
39
|
+
private waiters: Array<{ resolve: (simulator: AvmProcessHandle) => void; reject: (error: Error) => void }> = [];
|
|
40
|
+
private createdCount = 0;
|
|
41
|
+
private log: Logger;
|
|
42
|
+
private maxSize: number;
|
|
43
|
+
private cdbServer: CdbIpcServer;
|
|
44
|
+
|
|
45
|
+
constructor(private options: AvmSimulatorPoolOptions) {
|
|
46
|
+
this.log = createLogger('simulator:avm-pool');
|
|
47
|
+
this.maxSize = options.maxSize ?? parseInt(process.env.AVM_MAX_CONCURRENT_SIMULATIONS ?? '4', 10);
|
|
48
|
+
this.cdbServer = new CdbIpcServer();
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
static async spawn(options: AvmSimulatorPoolOptions): Promise<AvmSimulatorPool> {
|
|
52
|
+
const pool = new AvmSimulatorPool(options);
|
|
53
|
+
// Always start one process up front so the first simulate() doesn't pay process spawn/connect cost.
|
|
54
|
+
await pool.prewarm();
|
|
55
|
+
return pool;
|
|
56
|
+
}
|
|
57
|
+
|
|
58
|
+
async [Symbol.asyncDispose](): Promise<void> {
|
|
59
|
+
await this.destroy();
|
|
60
|
+
}
|
|
61
|
+
|
|
62
|
+
async simulate(inputBuffer: Uint8Array, context: AvmContractsDBContext, signal?: AbortSignal): Promise<Uint8Array> {
|
|
63
|
+
// Register the fork's contracts DB so the C++ AVM's callbacks (which carry this fork id) route to it,
|
|
64
|
+
// and unregister once the simulation returns — registration is only needed while the call is running.
|
|
65
|
+
this.cdbServer.registerFork(context.forkId, context.contractsDB, context.timestamp);
|
|
66
|
+
try {
|
|
67
|
+
const simulator = await this.checkout();
|
|
68
|
+
try {
|
|
69
|
+
return await simulator.simulate(inputBuffer, signal);
|
|
70
|
+
} finally {
|
|
71
|
+
this.return(simulator);
|
|
72
|
+
}
|
|
73
|
+
} finally {
|
|
74
|
+
this.cdbServer.unregisterFork(context.forkId);
|
|
75
|
+
}
|
|
76
|
+
}
|
|
77
|
+
|
|
78
|
+
async simulateWithHints(inputBuffer: Uint8Array): Promise<Uint8Array> {
|
|
79
|
+
// The hinted path makes no contract-data callbacks, so no CDB registration is needed.
|
|
80
|
+
const simulator = await this.checkout();
|
|
81
|
+
try {
|
|
82
|
+
return await simulator.simulateWithHints(inputBuffer);
|
|
83
|
+
} finally {
|
|
84
|
+
this.return(simulator);
|
|
85
|
+
}
|
|
86
|
+
}
|
|
87
|
+
|
|
88
|
+
/** Destroy all AVM processes in the pool and close the CDB server. */
|
|
89
|
+
async destroy(): Promise<void> {
|
|
90
|
+
for (const waiter of this.waiters) {
|
|
91
|
+
waiter.reject(new Error('AVM simulator pool destroyed'));
|
|
92
|
+
}
|
|
93
|
+
this.waiters = [];
|
|
94
|
+
|
|
95
|
+
const destroyPromises: Promise<void>[] = [];
|
|
96
|
+
for (const slot of this.slots) {
|
|
97
|
+
if (slot) {
|
|
98
|
+
destroyPromises.push(slot.destroy());
|
|
99
|
+
}
|
|
100
|
+
}
|
|
101
|
+
await Promise.all(destroyPromises);
|
|
102
|
+
|
|
103
|
+
this.slots = [];
|
|
104
|
+
this.available = [];
|
|
105
|
+
this.createdCount = 0;
|
|
106
|
+
await this.cdbServer.close();
|
|
107
|
+
this.log.info('AVM simulator pool destroyed');
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
/**
|
|
111
|
+
* Eagerly spawn up to `count` AVM processes (capped at maxSize) and leave them available, so the
|
|
112
|
+
* first simulate() doesn't pay process spawn/connect cost. Idempotent.
|
|
113
|
+
*/
|
|
114
|
+
async prewarm(count = 1): Promise<void> {
|
|
115
|
+
const target = Math.min(count, this.maxSize);
|
|
116
|
+
const created: AvmProcessHandle[] = [];
|
|
117
|
+
while (this.createdCount < target) {
|
|
118
|
+
created.push(await this.createSlot());
|
|
119
|
+
}
|
|
120
|
+
// Hand the freshly-spawned processes back to the pool so checkout() reuses them.
|
|
121
|
+
for (const simulator of created) {
|
|
122
|
+
this.return(simulator);
|
|
123
|
+
}
|
|
124
|
+
}
|
|
125
|
+
|
|
126
|
+
/** Check out an AVM process from the pool, blocking until one is free. Caller must return() it when done. */
|
|
127
|
+
private async checkout(): Promise<AvmProcessHandle> {
|
|
128
|
+
const idx = this.available.pop();
|
|
129
|
+
if (idx !== undefined && this.slots[idx]) {
|
|
130
|
+
return this.slots[idx]!;
|
|
131
|
+
}
|
|
132
|
+
|
|
133
|
+
if (this.createdCount < this.maxSize || (idx !== undefined && !this.slots[idx])) {
|
|
134
|
+
return await this.createSlot(idx);
|
|
135
|
+
}
|
|
136
|
+
|
|
137
|
+
return new Promise<AvmProcessHandle>((resolve, reject) => {
|
|
138
|
+
this.waiters.push({ resolve, reject });
|
|
139
|
+
});
|
|
140
|
+
}
|
|
141
|
+
|
|
142
|
+
/** Return an AVM process to the pool after use. */
|
|
143
|
+
private return(simulator: AvmProcessHandle): void {
|
|
144
|
+
const waiter = this.waiters.shift();
|
|
145
|
+
if (waiter) {
|
|
146
|
+
waiter.resolve(simulator);
|
|
147
|
+
} else {
|
|
148
|
+
const idx = this.slots.indexOf(simulator);
|
|
149
|
+
if (idx >= 0) {
|
|
150
|
+
this.available.push(idx);
|
|
151
|
+
}
|
|
152
|
+
}
|
|
153
|
+
}
|
|
154
|
+
|
|
155
|
+
private async createSlot(reuseIdx?: number): Promise<AvmProcessHandle> {
|
|
156
|
+
const reuse = reuseIdx !== undefined && reuseIdx < this.slots.length;
|
|
157
|
+
// Reserve the slot count synchronously, before the async spawn, so concurrent checkouts can't all
|
|
158
|
+
// observe `createdCount < maxSize` and overshoot the pool (the count is only bumped once control has
|
|
159
|
+
// yielded on the await). Roll back the reservation if the spawn itself fails.
|
|
160
|
+
if (!reuse) {
|
|
161
|
+
this.createdCount++;
|
|
162
|
+
}
|
|
163
|
+
let simulator: AvmProcessHandle;
|
|
164
|
+
try {
|
|
165
|
+
simulator = await AvmSimulatorProcess.spawn({
|
|
166
|
+
binaryPath: this.options.avmBinaryPath,
|
|
167
|
+
wsdbIpcPath: this.options.wsdbIpcPath,
|
|
168
|
+
cdbIpcPath: this.cdbServer.ipcPath,
|
|
169
|
+
logger: this.options.logger,
|
|
170
|
+
});
|
|
171
|
+
} catch (err) {
|
|
172
|
+
if (!reuse) {
|
|
173
|
+
this.createdCount--;
|
|
174
|
+
}
|
|
175
|
+
throw err;
|
|
176
|
+
}
|
|
177
|
+
if (reuse) {
|
|
178
|
+
this.slots[reuseIdx!] = simulator;
|
|
179
|
+
} else {
|
|
180
|
+
this.slots.push(simulator);
|
|
181
|
+
}
|
|
182
|
+
this.log.debug(`Created AVM pool slot (${this.createdCount}/${this.maxSize})`);
|
|
183
|
+
return simulator;
|
|
184
|
+
}
|
|
185
|
+
}
|
|
186
|
+
|
|
187
|
+
class AvmSimulatorProcess implements AvmProcessHandle {
|
|
188
|
+
private constructor(private service: AvmService) {}
|
|
189
|
+
|
|
190
|
+
static async spawn(options: {
|
|
191
|
+
binaryPath?: string;
|
|
192
|
+
wsdbIpcPath: string;
|
|
193
|
+
cdbIpcPath: string;
|
|
194
|
+
logger?: (msg: string) => void;
|
|
195
|
+
}): Promise<AvmSimulatorProcess> {
|
|
196
|
+
const service = await AvmService.spawn({
|
|
197
|
+
binaryPath: options.binaryPath,
|
|
198
|
+
transport: 'uds',
|
|
199
|
+
logger: options.logger,
|
|
200
|
+
extraArgs: ['--wsdb', options.wsdbIpcPath, '--cdb', options.cdbIpcPath],
|
|
201
|
+
});
|
|
202
|
+
return new AvmSimulatorProcess(service);
|
|
203
|
+
}
|
|
204
|
+
|
|
205
|
+
public async simulate(inputBuffer: Uint8Array, signal?: AbortSignal): Promise<Uint8Array> {
|
|
206
|
+
// Signal the C++ process to stop at its next cancellation checkpoint when the caller aborts.
|
|
207
|
+
const onAbort = () => this.service.sendProcessSignal('SIGUSR1');
|
|
208
|
+
if (signal?.aborted) {
|
|
209
|
+
onAbort();
|
|
210
|
+
}
|
|
211
|
+
signal?.addEventListener('abort', onAbort, { once: true });
|
|
212
|
+
try {
|
|
213
|
+
return (await this.service.simulate({ inputs: inputBuffer })).result;
|
|
214
|
+
} finally {
|
|
215
|
+
signal?.removeEventListener('abort', onAbort);
|
|
216
|
+
}
|
|
217
|
+
}
|
|
218
|
+
|
|
219
|
+
public async simulateWithHints(inputBuffer: Uint8Array): Promise<Uint8Array> {
|
|
220
|
+
return (await this.service.simulateWithHints({ inputs: inputBuffer })).result;
|
|
221
|
+
}
|
|
222
|
+
|
|
223
|
+
public async destroy(): Promise<void> {
|
|
224
|
+
await this.service.destroy();
|
|
225
|
+
}
|
|
226
|
+
}
|
|
@@ -0,0 +1,198 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* UDS server for AVM CDB requests.
|
|
3
|
+
*
|
|
4
|
+
* Transport (socket, framing, per-connection response ordering) is handled by the shared
|
|
5
|
+
* `UdsIpcServer` from `@aztec/ipc-runtime`; message dispatch comes from the generated CDB
|
|
6
|
+
* server. This class only implements the generated handler interface and routes requests to
|
|
7
|
+
* PublicContractsDB instances by fork ID.
|
|
8
|
+
*/
|
|
9
|
+
import {
|
|
10
|
+
type CdbAddContracts,
|
|
11
|
+
type CdbAddContractsResponse,
|
|
12
|
+
type CdbCommitCheckpoint,
|
|
13
|
+
type CdbCommitCheckpointResponse,
|
|
14
|
+
type CdbCreateCheckpoint,
|
|
15
|
+
type CdbCreateCheckpointResponse,
|
|
16
|
+
type CdbGetBytecodeCommitment,
|
|
17
|
+
type CdbGetBytecodeCommitmentResponse,
|
|
18
|
+
type CdbGetContractClass,
|
|
19
|
+
type CdbGetContractClassResponse,
|
|
20
|
+
type CdbGetContractInstance,
|
|
21
|
+
type CdbGetContractInstanceResponse,
|
|
22
|
+
type CdbGetDebugFunctionName,
|
|
23
|
+
type CdbGetDebugFunctionNameResponse,
|
|
24
|
+
type Handler as CdbHandler,
|
|
25
|
+
type CdbRevertCheckpoint,
|
|
26
|
+
type CdbRevertCheckpointResponse,
|
|
27
|
+
handleRequest,
|
|
28
|
+
} from '@aztec/cdb';
|
|
29
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
30
|
+
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
31
|
+
import { UdsIpcServer } from '@aztec/ipc-runtime';
|
|
32
|
+
import { FunctionSelector } from '@aztec/stdlib/abi';
|
|
33
|
+
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
34
|
+
import { ContractDeploymentData, type ContractInstanceWithAddress } from '@aztec/stdlib/contract';
|
|
35
|
+
|
|
36
|
+
import { Decoder, Encoder } from 'msgpackr';
|
|
37
|
+
import * as os from 'node:os';
|
|
38
|
+
import * as path from 'node:path';
|
|
39
|
+
import { threadId } from 'node:worker_threads';
|
|
40
|
+
|
|
41
|
+
import type { PublicContractsDB } from './public_db_sources.js';
|
|
42
|
+
|
|
43
|
+
const encoder = new Encoder({ useRecords: false });
|
|
44
|
+
const decoder = new Decoder({ useRecords: false });
|
|
45
|
+
|
|
46
|
+
let instanceCounter = 0;
|
|
47
|
+
|
|
48
|
+
function toFieldBuffer(field: Fr | AztecAddress): Buffer {
|
|
49
|
+
return field.toBuffer();
|
|
50
|
+
}
|
|
51
|
+
|
|
52
|
+
/** Serializes contract instances to the AVM CDB wire shape. */
|
|
53
|
+
export function serializeContractInstance(instance: ContractInstanceWithAddress): Record<string, unknown> {
|
|
54
|
+
return {
|
|
55
|
+
salt: toFieldBuffer(instance.salt),
|
|
56
|
+
deployer: toFieldBuffer(instance.deployer),
|
|
57
|
+
currentContractClassId: toFieldBuffer(instance.currentContractClassId),
|
|
58
|
+
originalContractClassId: toFieldBuffer(instance.originalContractClassId),
|
|
59
|
+
initializationHash: toFieldBuffer(instance.initializationHash),
|
|
60
|
+
immutablesHash: toFieldBuffer(instance.immutablesHash),
|
|
61
|
+
publicKeys: {
|
|
62
|
+
npkMHash: toFieldBuffer(instance.publicKeys.npkMHash),
|
|
63
|
+
ivpkM: {
|
|
64
|
+
x: toFieldBuffer(instance.publicKeys.ivpkM.x),
|
|
65
|
+
y: toFieldBuffer(instance.publicKeys.ivpkM.y),
|
|
66
|
+
},
|
|
67
|
+
ovpkMHash: toFieldBuffer(instance.publicKeys.ovpkMHash),
|
|
68
|
+
tpkMHash: toFieldBuffer(instance.publicKeys.tpkMHash),
|
|
69
|
+
mspkMHash: toFieldBuffer(instance.publicKeys.mspkMHash),
|
|
70
|
+
fbpkMHash: toFieldBuffer(instance.publicKeys.fbpkMHash),
|
|
71
|
+
},
|
|
72
|
+
};
|
|
73
|
+
}
|
|
74
|
+
|
|
75
|
+
/** Serializes contract classes to the AVM CDB wire shape. */
|
|
76
|
+
function serializeContractClass(contractClass: {
|
|
77
|
+
id: Fr;
|
|
78
|
+
artifactHash: Fr;
|
|
79
|
+
privateFunctionsRoot: Fr;
|
|
80
|
+
packedBytecode: Buffer;
|
|
81
|
+
}): Record<string, unknown> {
|
|
82
|
+
return {
|
|
83
|
+
id: toFieldBuffer(contractClass.id),
|
|
84
|
+
artifactHash: toFieldBuffer(contractClass.artifactHash),
|
|
85
|
+
privateFunctionsRoot: toFieldBuffer(contractClass.privateFunctionsRoot),
|
|
86
|
+
packedBytecode: contractClass.packedBytecode,
|
|
87
|
+
};
|
|
88
|
+
}
|
|
89
|
+
|
|
90
|
+
/** Routes AVM CDB IPC requests to registered PublicContractsDB forks. */
|
|
91
|
+
export class CdbIpcServer implements CdbHandler {
|
|
92
|
+
public readonly ipcPath: string;
|
|
93
|
+
private server: Promise<UdsIpcServer>;
|
|
94
|
+
private log: Logger;
|
|
95
|
+
/** Maps WSDB fork IDs to contracts DB/timestamp pairs for concurrent simulations. */
|
|
96
|
+
private forks = new Map<number, { db: PublicContractsDB; timestamp: bigint }>();
|
|
97
|
+
|
|
98
|
+
constructor() {
|
|
99
|
+
this.log = createLogger('cdb-ipc-server');
|
|
100
|
+
this.ipcPath = path.join(os.tmpdir(), `cdb-ts-${process.pid}-${threadId}-${instanceCounter++}.sock`);
|
|
101
|
+
|
|
102
|
+
// Listen asynchronously; the C++ AVM retries connecting until the socket is up.
|
|
103
|
+
this.server = UdsIpcServer.listen(this.ipcPath, (_clientId, request) => handleRequest(this, request));
|
|
104
|
+
this.server.then(
|
|
105
|
+
() => this.log.debug(`CDB IPC server listening on ${this.ipcPath}`),
|
|
106
|
+
err => this.log.error(`CDB IPC server failed to listen on ${this.ipcPath}`, { err }),
|
|
107
|
+
);
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
/** Register a PublicContractsDB for a given WSDB fork ID. */
|
|
111
|
+
registerFork(forkId: number, contractsDB: PublicContractsDB, timestamp: bigint): void {
|
|
112
|
+
this.forks.set(forkId, { db: contractsDB, timestamp });
|
|
113
|
+
}
|
|
114
|
+
|
|
115
|
+
/** Unregister a fork's contracts DB (call after simulation completes). */
|
|
116
|
+
unregisterFork(forkId: number): void {
|
|
117
|
+
this.forks.delete(forkId);
|
|
118
|
+
}
|
|
119
|
+
|
|
120
|
+
/** Close the server and all active connections. */
|
|
121
|
+
async close(): Promise<void> {
|
|
122
|
+
const server = await this.server.catch(() => undefined);
|
|
123
|
+
await server?.close();
|
|
124
|
+
}
|
|
125
|
+
|
|
126
|
+
async [Symbol.asyncDispose](): Promise<void> {
|
|
127
|
+
await this.close();
|
|
128
|
+
}
|
|
129
|
+
|
|
130
|
+
/** Look up the contracts DB for a given fork ID, throwing if not registered. */
|
|
131
|
+
private getFork(forkId: number): { db: PublicContractsDB; timestamp: bigint } {
|
|
132
|
+
const fork = this.forks.get(forkId);
|
|
133
|
+
if (!fork) {
|
|
134
|
+
const registered = Array.from(this.forks.keys()).sort((a, b) => a - b);
|
|
135
|
+
throw new Error(
|
|
136
|
+
`CDB server: no contracts DB registered for forkId ${forkId} (registered=[${registered.join(',')}])`,
|
|
137
|
+
);
|
|
138
|
+
}
|
|
139
|
+
return fork;
|
|
140
|
+
}
|
|
141
|
+
|
|
142
|
+
async getContractInstance(command: CdbGetContractInstance): Promise<CdbGetContractInstanceResponse> {
|
|
143
|
+
const { db, timestamp } = this.getFork(command.forkId);
|
|
144
|
+
const address = AztecAddress.fromBuffer(Buffer.from(command.address));
|
|
145
|
+
const instance = await db.getContractInstance(address, timestamp);
|
|
146
|
+
return { instance: instance ? encoder.encode(serializeContractInstance(instance)) : null };
|
|
147
|
+
}
|
|
148
|
+
|
|
149
|
+
async getContractClass(command: CdbGetContractClass): Promise<CdbGetContractClassResponse> {
|
|
150
|
+
const { db } = this.getFork(command.forkId);
|
|
151
|
+
const classId = Fr.fromBuffer(Buffer.from(command.classId));
|
|
152
|
+
const contractClass = await db.getContractClass(classId);
|
|
153
|
+
return { contractClass: contractClass ? encoder.encode(serializeContractClass(contractClass)) : null };
|
|
154
|
+
}
|
|
155
|
+
|
|
156
|
+
async getBytecodeCommitment(command: CdbGetBytecodeCommitment): Promise<CdbGetBytecodeCommitmentResponse> {
|
|
157
|
+
const { db } = this.getFork(command.forkId);
|
|
158
|
+
const classId = Fr.fromBuffer(Buffer.from(command.classId));
|
|
159
|
+
const commitment = await db.getBytecodeCommitment(classId);
|
|
160
|
+
return { commitment: commitment ? toFieldBuffer(commitment) : null };
|
|
161
|
+
}
|
|
162
|
+
|
|
163
|
+
async getDebugFunctionName(command: CdbGetDebugFunctionName): Promise<CdbGetDebugFunctionNameResponse> {
|
|
164
|
+
const { db } = this.getFork(command.forkId);
|
|
165
|
+
const address = AztecAddress.fromBuffer(Buffer.from(command.address));
|
|
166
|
+
const selectorField = Fr.fromBuffer(Buffer.from(command.selector));
|
|
167
|
+
const selector = FunctionSelector.fromFieldOrUndefined(selectorField);
|
|
168
|
+
const name = selector ? await db.getDebugFunctionName(address, selector) : undefined;
|
|
169
|
+
return { name: name ?? null };
|
|
170
|
+
}
|
|
171
|
+
|
|
172
|
+
addContracts(command: CdbAddContracts): Promise<CdbAddContractsResponse> {
|
|
173
|
+
const { db } = this.getFork(command.forkId);
|
|
174
|
+
const contractDeploymentData = ContractDeploymentData.fromPlainObject(
|
|
175
|
+
decoder.decode(command.contractDeploymentData),
|
|
176
|
+
);
|
|
177
|
+
db.addContractsFromLogs(contractDeploymentData);
|
|
178
|
+
return Promise.resolve({});
|
|
179
|
+
}
|
|
180
|
+
|
|
181
|
+
createCheckpoint(command: CdbCreateCheckpoint): Promise<CdbCreateCheckpointResponse> {
|
|
182
|
+
const { db } = this.getFork(command.forkId);
|
|
183
|
+
db.createCheckpoint();
|
|
184
|
+
return Promise.resolve({});
|
|
185
|
+
}
|
|
186
|
+
|
|
187
|
+
commitCheckpoint(command: CdbCommitCheckpoint): Promise<CdbCommitCheckpointResponse> {
|
|
188
|
+
const { db } = this.getFork(command.forkId);
|
|
189
|
+
db.commitCheckpoint();
|
|
190
|
+
return Promise.resolve({});
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
revertCheckpoint(command: CdbRevertCheckpoint): Promise<CdbRevertCheckpointResponse> {
|
|
194
|
+
const { db } = this.getFork(command.forkId);
|
|
195
|
+
db.revertCheckpoint();
|
|
196
|
+
return Promise.resolve({});
|
|
197
|
+
}
|
|
198
|
+
}
|
|
@@ -1,15 +1,13 @@
|
|
|
1
1
|
export * from './public_tx_simulation_tester.js';
|
|
2
|
+
export * from './public_processor_test_env.js';
|
|
2
3
|
export * from './utils.js';
|
|
3
4
|
export * from './simple_contract_data_source.js';
|
|
4
|
-
export { executeAvmMinimalPublicTx } from './minimal_public_tx.js';
|
|
5
5
|
export { TestExecutorMetrics } from '../test_executor_metrics.js';
|
|
6
6
|
export { ammTest } from './amm_test.js';
|
|
7
7
|
export { bulkTest, megaBulkTest } from './bulk_test.js';
|
|
8
8
|
export { tokenTest } from './token_test.js';
|
|
9
|
-
export * from './custom_bytecode_tests.js';
|
|
10
9
|
export {
|
|
11
10
|
deployCustomBytecode,
|
|
12
11
|
executeCustomBytecode,
|
|
13
12
|
deployAndExecuteCustomBytecode,
|
|
14
13
|
} from './custom_bytecode_tester.js';
|
|
15
|
-
export { getSpamConfigsPerOpcode, testOpcodeSpamCase } from './opcode_spammer.js';
|