@aztec/simulator 0.0.1-commit.993d52e → 0.0.1-commit.9a89641
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/client.d.ts +1 -3
- package/dest/client.d.ts.map +1 -1
- package/dest/client.js +0 -2
- package/dest/private/acvm_wasm.d.ts +1 -1
- package/dest/private/acvm_wasm.d.ts.map +1 -1
- package/dest/private/acvm_wasm.js +3 -1
- package/dest/private/circuit_recording/circuit_recorder.d.ts +36 -23
- package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
- package/dest/private/circuit_recording/circuit_recorder.js +65 -69
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts +7 -19
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
- package/dest/private/circuit_recording/file_circuit_recorder.js +38 -42
- package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +1 -1
- package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -1
- package/dest/private/circuit_recording/simulator_recorder_wrapper.js +11 -14
- 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 +2 -1
- package/dest/public/avm/testing/base_avm_simulation_tester.d.ts.map +1 -0
- package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.js +18 -3
- 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 +4 -34
- 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/contracts_db_checkpoint.d.ts +2 -2
- package/dest/public/contracts_db_checkpoint.d.ts.map +1 -1
- package/dest/public/contracts_db_checkpoint.js +1 -1
- package/dest/public/fixtures/amm_test.js +2 -2
- package/dest/public/fixtures/bulk_test.d.ts +1 -1
- package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
- package/dest/public/fixtures/bulk_test.js +33 -6
- package/dest/public/fixtures/custom_bytecode_tester.d.ts +1 -1
- package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
- package/dest/public/fixtures/custom_bytecode_tester.js +2 -2
- 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 +12 -7
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.js +32 -15
- package/dest/public/fixtures/simple_contract_data_source.js +1 -1
- package/dest/public/fixtures/token_test.js +3 -3
- package/dest/public/fixtures/utils.d.ts +2 -2
- package/dest/public/fixtures/utils.d.ts.map +1 -1
- package/dest/public/fixtures/utils.js +17 -16
- 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 +6 -3
- package/dest/public/public_db_sources.d.ts.map +1 -1
- package/dest/public/public_db_sources.js +16 -10
- package/dest/public/public_processor/guarded_merkle_tree.d.ts +7 -6
- package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
- package/dest/public/public_processor/guarded_merkle_tree.js +7 -4
- package/dest/public/public_processor/public_processor.d.ts +12 -7
- package/dest/public/public_processor/public_processor.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor.js +103 -74
- package/dest/public/public_processor/public_processor_metrics.d.ts +4 -1
- package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor_metrics.js +8 -0
- 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 -71
- 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 -318
- 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/package.json +20 -18
- package/src/client.ts +0 -2
- package/src/private/acvm_wasm.ts +4 -1
- package/src/private/circuit_recording/circuit_recorder.ts +84 -78
- package/src/private/circuit_recording/file_circuit_recorder.ts +38 -48
- package/src/private/circuit_recording/simulator_recorder_wrapper.ts +9 -15
- package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +23 -3
- package/src/public/avm/{fixtures → testing}/utils.ts +4 -40
- 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/contracts_db_checkpoint.ts +1 -1
- package/src/public/fixtures/amm_test.ts +2 -2
- package/src/public/fixtures/bulk_test.ts +31 -6
- package/src/public/fixtures/custom_bytecode_tester.ts +2 -2
- 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 +44 -25
- package/src/public/fixtures/simple_contract_data_source.ts +1 -1
- package/src/public/fixtures/token_test.ts +3 -3
- package/src/public/fixtures/utils.ts +19 -20
- 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 +21 -14
- package/src/public/public_processor/guarded_merkle_tree.ts +10 -7
- package/src/public/public_processor/public_processor.ts +134 -87
- package/src/public/public_processor/public_processor_metrics.ts +12 -0
- 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 -476
- 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/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 -63
- 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 -20
- package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
- package/dest/public/avm/opcodes/contract.js +0 -65
- 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 -19
- package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
- package/dest/public/avm/opcodes/ec_add.js +0 -93
- 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 -12
- package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
- package/dest/public/fixtures/custom_bytecode_tests.js +0 -174
- 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 -1653
- 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 -355
- 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 -98
- 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 -131
- 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 -300
- 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 -100
- 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 -72
- 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 -105
- 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 -228
- package/src/public/fixtures/minimal_public_tx.ts +0 -26
- package/src/public/fixtures/opcode_spammer.ts +0 -1717
- package/src/public/hinting_db_sources.ts +0 -607
- package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +0 -124
- 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 -484
- 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/src/public/avm/{fixtures → testing}/account_proof.json +0 -0
- /package/src/public/avm/{fixtures → testing}/account_proof_fetcher.ts +0 -0
|
@@ -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
|
+
}
|
|
@@ -31,7 +31,7 @@ export class ContractsDbCheckpoint {
|
|
|
31
31
|
return this.bytecodeCommitments.get(classId.toString());
|
|
32
32
|
}
|
|
33
33
|
|
|
34
|
-
public
|
|
34
|
+
public fork(): ContractsDbCheckpoint {
|
|
35
35
|
const copy = new ContractsDbCheckpoint();
|
|
36
36
|
this.instances.forEach((value, key) => copy.instances.set(key, value));
|
|
37
37
|
this.classes.forEach((value, key) => copy.classes.set(key, value));
|
|
@@ -25,8 +25,8 @@ export async function ammTest(
|
|
|
25
25
|
) {
|
|
26
26
|
const timer = new Timer();
|
|
27
27
|
|
|
28
|
-
const admin = AztecAddress.
|
|
29
|
-
const sender = AztecAddress.
|
|
28
|
+
const admin = AztecAddress.fromNumberUnsafe(42);
|
|
29
|
+
const sender = AztecAddress.fromNumberUnsafe(111);
|
|
30
30
|
|
|
31
31
|
logger.debug(`Deploying tokens`);
|
|
32
32
|
const token0 = await setUpToken(tester, tokenArtifact, admin, expectToBeTrue, /*seed=*/ 0);
|
|
@@ -13,7 +13,7 @@ export async function bulkTest(
|
|
|
13
13
|
) {
|
|
14
14
|
const timer = new Timer();
|
|
15
15
|
|
|
16
|
-
const deployer = AztecAddress.
|
|
16
|
+
const deployer = AztecAddress.fromNumberUnsafe(42);
|
|
17
17
|
const avmTestContract = await tester.registerAndDeployContract(
|
|
18
18
|
/*constructorArgs=*/ [],
|
|
19
19
|
deployer,
|
|
@@ -25,14 +25,26 @@ export async function bulkTest(
|
|
|
25
25
|
// Register multiple different protocol contracts (to ensure we don't dedup bytecode hashing events):
|
|
26
26
|
await tester.registerAuthContract();
|
|
27
27
|
await tester.registerInstanceRegistryContract();
|
|
28
|
+
await tester.registerClassRegistryContract();
|
|
28
29
|
|
|
29
30
|
// Get a deployed contract instance to pass to the contract
|
|
30
31
|
// for it to use as "expected" values when testing contract instance retrieval.
|
|
31
32
|
const expectContractInstance = avmTestContract;
|
|
32
33
|
const argsField = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
33
|
-
const argsU8 = [1, 2, 3, 4, 5, 6, 7, 8].map(x => new Fr(x));
|
|
34
|
-
|
|
35
|
-
|
|
34
|
+
const argsU8 = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
35
|
+
// Pinned grumpkin-Poseidon2 Schnorr signature (mirrors the C++ `pinned_test_vector_large`
|
|
36
|
+
// and noir-lang/schnorr v0.4.0's `pinned_vector_large`). Passing these in as calldata
|
|
37
|
+
// (rather than baking them into Noir as constants) keeps MSM + Poseidon2 from being folded
|
|
38
|
+
// by the Noir compiler.
|
|
39
|
+
const schnorrInputs = [
|
|
40
|
+
Fr.fromHexString('0x065812e335a97c2108ea8cf4ccfe2f9dd6b117a0714f5e18461575be93f61da6'), // pubkey.x
|
|
41
|
+
Fr.fromHexString('0x1a915003e8ec534f9a15d926a7ded478e178468ccc4f28e236e67450a55ac622'), // pubkey.y
|
|
42
|
+
Fr.fromHexString('0xf3bc3b7147acb9c621fd9f72dbf15ffa'), // sig_s.lo
|
|
43
|
+
Fr.fromHexString('0x08599f379f0301dfefdbd0272554454d'), // sig_s.hi
|
|
44
|
+
Fr.fromHexString('0x97065383ebbbd76620398792bd259bc2'), // sig_e.lo
|
|
45
|
+
Fr.fromHexString('0x2ceaee87f45b7a417f0ffb05451a8c92'), // sig_e.hi
|
|
46
|
+
Fr.fromHexString('0x0123456789abcdef0fedcba9876543210123456789abcdef0fedcba987654321'), // message
|
|
47
|
+
];
|
|
36
48
|
const args = [
|
|
37
49
|
argsField,
|
|
38
50
|
argsU8,
|
|
@@ -40,6 +52,8 @@ export async function bulkTest(
|
|
|
40
52
|
/*expectedDeployer=*/ expectContractInstance.deployer,
|
|
41
53
|
/*expectedClassId=*/ expectContractInstance.currentContractClassId,
|
|
42
54
|
/*expectedInitializationHash=*/ expectContractInstance.initializationHash,
|
|
55
|
+
/*expectedImmutablesHash=*/ expectContractInstance.immutablesHash,
|
|
56
|
+
/*schnorrInputs=*/ schnorrInputs,
|
|
43
57
|
/*skip_strictly_limited_side_effects=*/ false,
|
|
44
58
|
];
|
|
45
59
|
|
|
@@ -62,7 +76,7 @@ export async function bulkTest(
|
|
|
62
76
|
{
|
|
63
77
|
address: avmTestContract.address,
|
|
64
78
|
fnName: 'assert_calldata_copy',
|
|
65
|
-
args: [argsField.slice(3), /* with_selector: */ true],
|
|
79
|
+
args: [argsField.slice(0, 3), /* with_selector: */ true],
|
|
66
80
|
},
|
|
67
81
|
{
|
|
68
82
|
address: avmTestContract.address,
|
|
@@ -100,7 +114,7 @@ export async function megaBulkTest(
|
|
|
100
114
|
) {
|
|
101
115
|
const timer = new Timer();
|
|
102
116
|
|
|
103
|
-
const deployer = AztecAddress.
|
|
117
|
+
const deployer = AztecAddress.fromNumberUnsafe(42);
|
|
104
118
|
const avmTestContract = await tester.registerAndDeployContract(
|
|
105
119
|
/*constructorArgs=*/ [],
|
|
106
120
|
deployer,
|
|
@@ -123,6 +137,15 @@ export async function megaBulkTest(
|
|
|
123
137
|
//const argsField7 = [15, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
124
138
|
//const argsField8 = [17, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
125
139
|
const argsU8 = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
140
|
+
const schnorrInputs = [
|
|
141
|
+
Fr.fromHexString('0x065812e335a97c2108ea8cf4ccfe2f9dd6b117a0714f5e18461575be93f61da6'), // pubkey.x
|
|
142
|
+
Fr.fromHexString('0x1a915003e8ec534f9a15d926a7ded478e178468ccc4f28e236e67450a55ac622'), // pubkey.y
|
|
143
|
+
Fr.fromHexString('0xf3bc3b7147acb9c621fd9f72dbf15ffa'), // sig_s.lo
|
|
144
|
+
Fr.fromHexString('0x08599f379f0301dfefdbd0272554454d'), // sig_s.hi
|
|
145
|
+
Fr.fromHexString('0x97065383ebbbd76620398792bd259bc2'), // sig_e.lo
|
|
146
|
+
Fr.fromHexString('0x2ceaee87f45b7a417f0ffb05451a8c92'), // sig_e.hi
|
|
147
|
+
Fr.fromHexString('0x0123456789abcdef0fedcba9876543210123456789abcdef0fedcba987654321'), // message
|
|
148
|
+
];
|
|
126
149
|
const genArgs = (argsField: Fr[]) => [
|
|
127
150
|
argsField,
|
|
128
151
|
argsU8,
|
|
@@ -130,6 +153,8 @@ export async function megaBulkTest(
|
|
|
130
153
|
/*expectedDeployer=*/ expectContractInstance.deployer.toField(),
|
|
131
154
|
/*expectedClassId=*/ expectContractInstance.currentContractClassId.toField(),
|
|
132
155
|
/*expectedInitializationHash=*/ expectContractInstance.initializationHash.toField(),
|
|
156
|
+
/*expectedImmutablesHash=*/ expectContractInstance.immutablesHash.toField(),
|
|
157
|
+
/*schnorrInputs=*/ schnorrInputs,
|
|
133
158
|
// Must skip strictly limited side effects (logs, messages) so we can spam the bulk test several times.
|
|
134
159
|
/*skip_strictly_limited_side_effects=*/ true,
|
|
135
160
|
];
|
|
@@ -17,7 +17,7 @@ export async function deployCustomBytecode(
|
|
|
17
17
|
bytecode: Buffer,
|
|
18
18
|
tester: PublicTxSimulationTester,
|
|
19
19
|
contractName: string = 'CustomBytecodeContract',
|
|
20
|
-
deployer: AztecAddress = AztecAddress.
|
|
20
|
+
deployer: AztecAddress = AztecAddress.fromNumberUnsafe(42),
|
|
21
21
|
): Promise<ContractInstanceWithAddress> {
|
|
22
22
|
const contractArtifact = emptyContractArtifact();
|
|
23
23
|
contractArtifact.name = contractName;
|
|
@@ -75,7 +75,7 @@ export async function deployAndExecuteCustomBytecode(
|
|
|
75
75
|
tester: PublicTxSimulationTester,
|
|
76
76
|
txLabel: string = 'CustomBytecodeTest',
|
|
77
77
|
contractName: string = 'CustomBytecodeContract',
|
|
78
|
-
deployer: AztecAddress = AztecAddress.
|
|
78
|
+
deployer: AztecAddress = AztecAddress.fromNumberUnsafe(42),
|
|
79
79
|
calldata: any[] = [],
|
|
80
80
|
): Promise<PublicTxResult> {
|
|
81
81
|
const testContract = await deployCustomBytecode(bytecode, tester, contractName, deployer);
|
|
@@ -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';
|
|
@@ -0,0 +1,88 @@
|
|
|
1
|
+
import { createLogger } from '@aztec/foundation/log';
|
|
2
|
+
import { TestDateProvider } from '@aztec/foundation/timer';
|
|
3
|
+
import { PublicSimulatorConfig } from '@aztec/stdlib/avm';
|
|
4
|
+
import { GasFees } from '@aztec/stdlib/gas';
|
|
5
|
+
import { GlobalVariables } from '@aztec/stdlib/tx';
|
|
6
|
+
import { getTelemetryClient } from '@aztec/telemetry-client';
|
|
7
|
+
import { NativeWorldStateService } from '@aztec/world-state';
|
|
8
|
+
|
|
9
|
+
import { AvmSimulatorPool } from '../avm_simulator_pool.js';
|
|
10
|
+
import { PublicContractsDB } from '../public_db_sources.js';
|
|
11
|
+
import { GuardedMerkleTreeOperations } from '../public_processor/guarded_merkle_tree.js';
|
|
12
|
+
import { PublicProcessor } from '../public_processor/public_processor.js';
|
|
13
|
+
import { PublicTxSimulator } from '../public_tx_simulator/public_tx_simulator.js';
|
|
14
|
+
import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
|
|
15
|
+
import { SimpleContractDataSource } from './simple_contract_data_source.js';
|
|
16
|
+
|
|
17
|
+
/** Options for {@link PublicProcessorTestEnv.create}. */
|
|
18
|
+
export interface PublicProcessorTestEnvOptions {
|
|
19
|
+
/** Global variables shared by the processor and the tester. Defaults to empty with nonzero gas fees. */
|
|
20
|
+
globals?: GlobalVariables;
|
|
21
|
+
/** Simulator config for the processor's PublicTxSimulator. */
|
|
22
|
+
config?: Partial<PublicSimulatorConfig>;
|
|
23
|
+
}
|
|
24
|
+
|
|
25
|
+
function defaultGlobals(): GlobalVariables {
|
|
26
|
+
const globals = GlobalVariables.empty();
|
|
27
|
+
globals.gasFees = new GasFees(2, 3);
|
|
28
|
+
return globals;
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
const defaultConfig = PublicSimulatorConfig.from({
|
|
32
|
+
skipFeeEnforcement: false,
|
|
33
|
+
collectDebugLogs: true,
|
|
34
|
+
collectHints: false,
|
|
35
|
+
collectStatistics: false,
|
|
36
|
+
collectCallMetadata: true,
|
|
37
|
+
});
|
|
38
|
+
|
|
39
|
+
/**
|
|
40
|
+
* Bundles the real-AVM wiring shared by public-processor app tests: a live WSDB world state, a CDB IPC
|
|
41
|
+
* server, a spawned AVM simulator, a {@link PublicProcessor} backed by all three, and a setup-only
|
|
42
|
+
* {@link PublicTxSimulationTester} sharing the same fork and contract data source for building txs and
|
|
43
|
+
* seeding balances. Own it with `await using`, or call {@link Symbol.asyncDispose} from `afterEach`.
|
|
44
|
+
*/
|
|
45
|
+
export class PublicProcessorTestEnv implements AsyncDisposable {
|
|
46
|
+
private constructor(
|
|
47
|
+
public readonly processor: PublicProcessor,
|
|
48
|
+
public readonly tester: PublicTxSimulationTester,
|
|
49
|
+
public readonly contractsDB: PublicContractsDB,
|
|
50
|
+
public readonly globals: GlobalVariables,
|
|
51
|
+
private readonly worldStateService: NativeWorldStateService,
|
|
52
|
+
private readonly avmSimulator: AvmSimulatorPool,
|
|
53
|
+
) {}
|
|
54
|
+
|
|
55
|
+
static async create(opts: PublicProcessorTestEnvOptions = {}): Promise<PublicProcessorTestEnv> {
|
|
56
|
+
const globals = opts.globals ?? defaultGlobals();
|
|
57
|
+
const config = opts.config ? PublicSimulatorConfig.from({ ...defaultConfig, ...opts.config }) : defaultConfig;
|
|
58
|
+
|
|
59
|
+
const contractDataSource = new SimpleContractDataSource();
|
|
60
|
+
const worldStateService = await NativeWorldStateService.tmp();
|
|
61
|
+
const merkleTrees = await worldStateService.fork();
|
|
62
|
+
const contractsDB = new PublicContractsDB(contractDataSource);
|
|
63
|
+
|
|
64
|
+
const forkId = merkleTrees.getRevision().forkId;
|
|
65
|
+
const avmSimulator = await AvmSimulatorPool.spawn({ wsdbIpcPath: worldStateService.getIpcPath() });
|
|
66
|
+
|
|
67
|
+
const simulator = new PublicTxSimulator(avmSimulator, globals, contractsDB, forkId, config, undefined);
|
|
68
|
+
const processor = new PublicProcessor(
|
|
69
|
+
globals,
|
|
70
|
+
new GuardedMerkleTreeOperations(merkleTrees),
|
|
71
|
+
contractsDB,
|
|
72
|
+
simulator,
|
|
73
|
+
new TestDateProvider(),
|
|
74
|
+
getTelemetryClient(),
|
|
75
|
+
createLogger('simulator:public-processor'),
|
|
76
|
+
);
|
|
77
|
+
|
|
78
|
+
const tester = new PublicTxSimulationTester(merkleTrees, contractDataSource, globals);
|
|
79
|
+
|
|
80
|
+
return new PublicProcessorTestEnv(processor, tester, contractsDB, globals, worldStateService, avmSimulator);
|
|
81
|
+
}
|
|
82
|
+
|
|
83
|
+
async [Symbol.asyncDispose](): Promise<void> {
|
|
84
|
+
await this.avmSimulator[Symbol.asyncDispose]();
|
|
85
|
+
await this.tester.close();
|
|
86
|
+
await this.worldStateService.close();
|
|
87
|
+
}
|
|
88
|
+
}
|