@aztec/simulator 6.0.0-nightly.20260604 → 6.0.0-nightly.20260721
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/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 +1 -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 +1 -1
- 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 +1 -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/generated/api_types.d.ts +171 -0
- package/dest/public/cdb/generated/api_types.d.ts.map +1 -0
- package/dest/public/cdb/generated/api_types.js +314 -0
- package/dest/public/cdb/generated/server.d.ts +26 -0
- package/dest/public/cdb/generated/server.d.ts.map +1 -0
- package/dest/public/cdb/generated/server.js +135 -0
- package/dest/public/cdb_ipc_server.d.ts +33 -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/amm_test.js +2 -2
- package/dest/public/fixtures/bulk_test.js +2 -2
- 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 +11 -7
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.js +33 -43
- 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 +1 -1
- package/dest/public/fixtures/utils.d.ts.map +1 -1
- package/dest/public/fixtures/utils.js +5 -3
- 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 +18 -14
- 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 +22 -19
- package/src/client.ts +0 -2
- 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 +1 -1
- package/src/public/avm/{fixtures → testing}/utils.ts +1 -40
- package/src/public/avm_simulator.ts +29 -0
- package/src/public/avm_simulator_pool.ts +226 -0
- package/src/public/cdb/generated/api_types.ts +457 -0
- package/src/public/cdb/generated/server.ts +109 -0
- package/src/public/cdb_ipc_server.ts +197 -0
- package/src/public/fixtures/amm_test.ts +2 -2
- package/src/public/fixtures/bulk_test.ts +2 -2
- 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 +41 -55
- 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 +6 -11
- 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 +24 -17
- 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 -14
- package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
- package/dest/public/fixtures/custom_bytecode_tests.js +0 -234
- 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 -366
- 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/src/public/avm/{fixtures → testing}/account_proof.json +0 -0
- /package/src/public/avm/{fixtures → testing}/account_proof_fetcher.ts +0 -0
|
@@ -1,98 +0,0 @@
|
|
|
1
|
-
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
-
import type { Gas } from './avm_gas.js';
|
|
3
|
-
import { TaggedMemory } from './avm_memory_types.js';
|
|
4
|
-
import { type ReturnData } from './calldata.js';
|
|
5
|
-
import { type AvmRevertReason } from './errors.js';
|
|
6
|
-
/**
|
|
7
|
-
* A few fields of machine state are initialized from AVM session inputs or call instruction arguments
|
|
8
|
-
*/
|
|
9
|
-
export type InitialAvmMachineState = {
|
|
10
|
-
l2GasLeft: number;
|
|
11
|
-
daGasLeft: number;
|
|
12
|
-
};
|
|
13
|
-
/**
|
|
14
|
-
* Used to track the call stack and revert data of nested calls.
|
|
15
|
-
* This is used to provide a more detailed revert reason when a contract call reverts.
|
|
16
|
-
* It is only a heuristic and may not always provide the correct revert reason.
|
|
17
|
-
*/
|
|
18
|
-
type TrackedRevertInfo = {
|
|
19
|
-
revertDataRepresentative: Fr[];
|
|
20
|
-
recursiveRevertReason: AvmRevertReason;
|
|
21
|
-
};
|
|
22
|
-
type CallStackEntry = {
|
|
23
|
-
callPc: number;
|
|
24
|
-
returnPc: number;
|
|
25
|
-
};
|
|
26
|
-
/**
|
|
27
|
-
* Avm state modified on an instruction-per-instruction basis.
|
|
28
|
-
*/
|
|
29
|
-
export declare class AvmMachineState {
|
|
30
|
-
/** gas remaining of the gas allocated for a contract call */
|
|
31
|
-
l2GasLeft: number;
|
|
32
|
-
daGasLeft: number;
|
|
33
|
-
/** program counter, byte based */
|
|
34
|
-
pc: number;
|
|
35
|
-
/** program counter of the next instruction, byte based */
|
|
36
|
-
nextPc: number;
|
|
37
|
-
/** return/revertdata of the last nested call. */
|
|
38
|
-
nestedReturndata: ReturnData;
|
|
39
|
-
/** Tracks whether the last external call was successful */
|
|
40
|
-
nestedCallSuccess: boolean;
|
|
41
|
-
/**
|
|
42
|
-
* Used to track the call stack and revert data of nested calls.
|
|
43
|
-
* This is used to provide a more detailed revert reason when a contract call reverts.
|
|
44
|
-
* It is only a heuristic and may not always provide the correct revert reason.
|
|
45
|
-
*/
|
|
46
|
-
collectedRevertInfo: TrackedRevertInfo | undefined;
|
|
47
|
-
/**
|
|
48
|
-
* On INTERNALCALL, internal call stack is pushed to with the current pc and the return pc.
|
|
49
|
-
* On INTERNALRETURN, value is popped from the internal call stack and assigned to the return pc.
|
|
50
|
-
*/
|
|
51
|
-
internalCallStack: CallStackEntry[];
|
|
52
|
-
/** Memory accessible to user code */
|
|
53
|
-
readonly memory: TaggedMemory;
|
|
54
|
-
/**
|
|
55
|
-
* Signals that execution should end.
|
|
56
|
-
* AvmContext execution continues executing instructions until the machine state signals "halted"
|
|
57
|
-
*/
|
|
58
|
-
private halted;
|
|
59
|
-
/** Signals that execution has reverted normally (this does not cover exceptional halts) */
|
|
60
|
-
private reverted;
|
|
61
|
-
/** Output data must NOT be modified once it is set */
|
|
62
|
-
private output;
|
|
63
|
-
/** instruction counter, including nested calls */
|
|
64
|
-
instrCounter: number;
|
|
65
|
-
constructor(gasLeft: Gas);
|
|
66
|
-
constructor(l2GasLeft: number, daGasLeft: number);
|
|
67
|
-
get gasLeft(): Gas;
|
|
68
|
-
static fromState(state: InitialAvmMachineState): AvmMachineState;
|
|
69
|
-
/**
|
|
70
|
-
* Consumes the given gas.
|
|
71
|
-
* Should any of the gas dimensions get depleted, it sets all gas left to zero and triggers
|
|
72
|
-
* an exceptional halt by throwing an OutOfGasError.
|
|
73
|
-
*/
|
|
74
|
-
consumeGas(gasCost: Partial<Gas>): void;
|
|
75
|
-
/** Increases the gas left by the amounts specified. */
|
|
76
|
-
refundGas(gasRefund: Partial<Gas>): void;
|
|
77
|
-
/**
|
|
78
|
-
* Halt as successful
|
|
79
|
-
* Output data must NOT be modified once it is set
|
|
80
|
-
* @param output
|
|
81
|
-
*/
|
|
82
|
-
return(output: ReturnData): void;
|
|
83
|
-
/**
|
|
84
|
-
* Halt as reverted
|
|
85
|
-
* Output data must NOT be modified once it is set
|
|
86
|
-
* @param output
|
|
87
|
-
*/
|
|
88
|
-
revert(output: ReturnData): void;
|
|
89
|
-
getHalted(): boolean;
|
|
90
|
-
getReverted(): boolean;
|
|
91
|
-
getOutput(): ReturnData;
|
|
92
|
-
/**
|
|
93
|
-
* Flag an exceptional halt. Clears gas left and sets the reverted flag. No output data.
|
|
94
|
-
*/
|
|
95
|
-
private exceptionalHalt;
|
|
96
|
-
}
|
|
97
|
-
export {};
|
|
98
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX21hY2hpbmVfc3RhdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvYXZtL2F2bV9tYWNoaW5lX3N0YXRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXpELE9BQU8sS0FBSyxFQUFFLEdBQUcsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQUN4QyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDckQsT0FBTyxFQUFFLEtBQUssVUFBVSxFQUFtQixNQUFNLGVBQWUsQ0FBQztBQUNqRSxPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQWlCLE1BQU0sYUFBYSxDQUFDO0FBRWxFOztHQUVHO0FBQ0gsTUFBTSxNQUFNLHNCQUFzQixHQUFHO0lBQ25DLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsU0FBUyxFQUFFLE1BQU0sQ0FBQztDQUNuQixDQUFDO0FBRUY7Ozs7R0FJRztBQUNILEtBQUssaUJBQWlCLEdBQUc7SUFDdkIsd0JBQXdCLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDL0IscUJBQXFCLEVBQUUsZUFBZSxDQUFDO0NBQ3hDLENBQUM7QUFFRixLQUFLLGNBQWMsR0FBRztJQUNwQixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ2YsUUFBUSxFQUFFLE1BQU0sQ0FBQztDQUNsQixDQUFDO0FBRUY7O0dBRUc7QUFDSCxxQkFBYSxlQUFlO0lBQzFCLDZEQUE2RDtJQUN0RCxTQUFTLEVBQUUsTUFBTSxDQUFDO0lBQ2xCLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDekIsa0NBQWtDO0lBQzNCLEVBQUUsRUFBRSxNQUFNLENBQUs7SUFDdEIsMERBQTBEO0lBQ25ELE1BQU0sRUFBRSxNQUFNLENBQUs7SUFDMUIsaURBQWlEO0lBQzFDLGdCQUFnQixFQUFFLFVBQVUsQ0FBMkI7SUFDOUQsMkRBQTJEO0lBQ3BELGlCQUFpQixFQUFFLE9BQU8sQ0FBUztJQUMxQzs7OztPQUlHO0lBQ0ksbUJBQW1CLEVBQUUsaUJBQWlCLEdBQUcsU0FBUyxDQUFDO0lBRTFEOzs7T0FHRztJQUNJLGlCQUFpQixFQUFFLGNBQWMsRUFBRSxDQUFNO0lBRWhELHFDQUFxQztJQUNyQyxTQUFnQixNQUFNLEVBQUUsWUFBWSxDQUFzQjtJQUUxRDs7O09BR0c7SUFDSCxPQUFPLENBQUMsTUFBTSxDQUFrQjtJQUNoQywyRkFBMkY7SUFDM0YsT0FBTyxDQUFDLFFBQVEsQ0FBa0I7SUFDbEMsc0RBQXNEO0lBQ3RELE9BQU8sQ0FBQyxNQUFNLENBQXVDO0lBR3JELGtEQUFrRDtJQUMzQyxZQUFZLEVBQUUsTUFBTSxDQUFLO0lBR2hDLFlBQVksT0FBTyxFQUFFLEdBQUcsRUFBRTtJQUMxQixZQUFZLFNBQVMsRUFBRSxNQUFNLEVBQUUsU0FBUyxFQUFFLE1BQU0sRUFBRTtJQVVsRCxJQUFXLE9BQU8sSUFBSSxHQUFHLENBRXhCO0lBRUQsT0FBYyxTQUFTLENBQUMsS0FBSyxFQUFFLHNCQUFzQixHQUFHLGVBQWUsQ0FFdEU7SUFFRDs7OztPQUlHO0lBQ0ksVUFBVSxDQUFDLE9BQU8sRUFBRSxPQUFPLENBQUMsR0FBRyxDQUFDLFFBbUJ0QztJQUVELHVEQUF1RDtJQUNoRCxTQUFTLENBQUMsU0FBUyxFQUFFLE9BQU8sQ0FBQyxHQUFHLENBQUMsUUFHdkM7SUFFRDs7OztPQUlHO0lBQ0ksTUFBTSxDQUFDLE1BQU0sRUFBRSxVQUFVLFFBRy9CO0lBRUQ7Ozs7T0FJRztJQUNJLE1BQU0sQ0FBQyxNQUFNLEVBQUUsVUFBVSxRQUkvQjtJQUVNLFNBQVMsSUFBSSxPQUFPLENBRTFCO0lBRU0sV0FBVyxJQUFJLE9BQU8sQ0FFNUI7SUFFTSxTQUFTLElBQUksVUFBVSxDQUU3QjtJQUVEOztPQUVHO0lBQ0gsT0FBTyxDQUFDLGVBQWU7Q0FNeEIifQ==
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"avm_machine_state.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_machine_state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,KAAK,UAAU,EAAmB,MAAM,eAAe,CAAC;AACjE,OAAO,EAAE,KAAK,eAAe,EAAiB,MAAM,aAAa,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF;;;;GAIG;AACH,KAAK,iBAAiB,GAAG;IACvB,wBAAwB,EAAE,EAAE,EAAE,CAAC;IAC/B,qBAAqB,EAAE,eAAe,CAAC;CACxC,CAAC;AAEF,KAAK,cAAc,GAAG;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF;;GAEG;AACH,qBAAa,eAAe;IAC1B,6DAA6D;IACtD,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IACzB,kCAAkC;IAC3B,EAAE,EAAE,MAAM,CAAK;IACtB,0DAA0D;IACnD,MAAM,EAAE,MAAM,CAAK;IAC1B,iDAAiD;IAC1C,gBAAgB,EAAE,UAAU,CAA2B;IAC9D,2DAA2D;IACpD,iBAAiB,EAAE,OAAO,CAAS;IAC1C;;;;OAIG;IACI,mBAAmB,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAE1D;;;OAGG;IACI,iBAAiB,EAAE,cAAc,EAAE,CAAM;IAEhD,qCAAqC;IACrC,SAAgB,MAAM,EAAE,YAAY,CAAsB;IAE1D;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAkB;IAChC,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAkB;IAClC,sDAAsD;IACtD,OAAO,CAAC,MAAM,CAAuC;IAGrD,kDAAkD;IAC3C,YAAY,EAAE,MAAM,CAAK;IAGhC,YAAY,OAAO,EAAE,GAAG,EAAE;IAC1B,YAAY,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE;IAUlD,IAAW,OAAO,IAAI,GAAG,CAExB;IAED,OAAc,SAAS,CAAC,KAAK,EAAE,sBAAsB,GAAG,eAAe,CAEtE;IAED;;;;OAIG;IACI,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,QAmBtC;IAED,uDAAuD;IAChD,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,QAGvC;IAED;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,UAAU,QAG/B;IAED;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,UAAU,QAI/B;IAEM,SAAS,IAAI,OAAO,CAE1B;IAEM,WAAW,IAAI,OAAO,CAE5B;IAEM,SAAS,IAAI,UAAU,CAE7B;IAED;;OAEG;IACH,OAAO,CAAC,eAAe;CAMxB"}
|
|
@@ -1,110 +0,0 @@
|
|
|
1
|
-
import { TaggedMemory } from './avm_memory_types.js';
|
|
2
|
-
import { ReturnDataArray } from './calldata.js';
|
|
3
|
-
import { OutOfGasError } from './errors.js';
|
|
4
|
-
/**
|
|
5
|
-
* Avm state modified on an instruction-per-instruction basis.
|
|
6
|
-
*/ export class AvmMachineState {
|
|
7
|
-
/** gas remaining of the gas allocated for a contract call */ l2GasLeft;
|
|
8
|
-
daGasLeft;
|
|
9
|
-
/** program counter, byte based */ pc = 0;
|
|
10
|
-
/** program counter of the next instruction, byte based */ nextPc = 0;
|
|
11
|
-
/** return/revertdata of the last nested call. */ nestedReturndata = new ReturnDataArray([]);
|
|
12
|
-
/** Tracks whether the last external call was successful */ nestedCallSuccess = false;
|
|
13
|
-
/**
|
|
14
|
-
* Used to track the call stack and revert data of nested calls.
|
|
15
|
-
* This is used to provide a more detailed revert reason when a contract call reverts.
|
|
16
|
-
* It is only a heuristic and may not always provide the correct revert reason.
|
|
17
|
-
*/ collectedRevertInfo;
|
|
18
|
-
/**
|
|
19
|
-
* On INTERNALCALL, internal call stack is pushed to with the current pc and the return pc.
|
|
20
|
-
* On INTERNALRETURN, value is popped from the internal call stack and assigned to the return pc.
|
|
21
|
-
*/ internalCallStack = [];
|
|
22
|
-
/** Memory accessible to user code */ memory = new TaggedMemory();
|
|
23
|
-
/**
|
|
24
|
-
* Signals that execution should end.
|
|
25
|
-
* AvmContext execution continues executing instructions until the machine state signals "halted"
|
|
26
|
-
*/ halted = false;
|
|
27
|
-
/** Signals that execution has reverted normally (this does not cover exceptional halts) */ reverted = false;
|
|
28
|
-
/** Output data must NOT be modified once it is set */ output = new ReturnDataArray([]);
|
|
29
|
-
// Metrics only - not needed for execution
|
|
30
|
-
/** instruction counter, including nested calls */ instrCounter = 0;
|
|
31
|
-
constructor(gasLeftOrL2GasLeft, daGasLeft){
|
|
32
|
-
if (typeof gasLeftOrL2GasLeft === 'object') {
|
|
33
|
-
({ l2Gas: this.l2GasLeft, daGas: this.daGasLeft } = gasLeftOrL2GasLeft);
|
|
34
|
-
} else {
|
|
35
|
-
this.l2GasLeft = gasLeftOrL2GasLeft;
|
|
36
|
-
this.daGasLeft = daGasLeft;
|
|
37
|
-
}
|
|
38
|
-
}
|
|
39
|
-
get gasLeft() {
|
|
40
|
-
return {
|
|
41
|
-
l2Gas: this.l2GasLeft,
|
|
42
|
-
daGas: this.daGasLeft
|
|
43
|
-
};
|
|
44
|
-
}
|
|
45
|
-
static fromState(state) {
|
|
46
|
-
return new AvmMachineState(state.l2GasLeft, state.daGasLeft);
|
|
47
|
-
}
|
|
48
|
-
/**
|
|
49
|
-
* Consumes the given gas.
|
|
50
|
-
* Should any of the gas dimensions get depleted, it sets all gas left to zero and triggers
|
|
51
|
-
* an exceptional halt by throwing an OutOfGasError.
|
|
52
|
-
*/ consumeGas(gasCost) {
|
|
53
|
-
// Assert there is enough gas on every dimension.
|
|
54
|
-
const outOfL2Gas = this.l2GasLeft - (gasCost.l2Gas ?? 0) < 0;
|
|
55
|
-
const outOfDaGas = this.daGasLeft - (gasCost.daGas ?? 0) < 0;
|
|
56
|
-
// If not, trigger an exceptional halt.
|
|
57
|
-
if (outOfL2Gas || outOfDaGas) {
|
|
58
|
-
this.exceptionalHalt();
|
|
59
|
-
const dimensions = [];
|
|
60
|
-
if (outOfL2Gas) {
|
|
61
|
-
dimensions.push('l2Gas');
|
|
62
|
-
}
|
|
63
|
-
if (outOfDaGas) {
|
|
64
|
-
dimensions.push('daGas');
|
|
65
|
-
}
|
|
66
|
-
throw new OutOfGasError(dimensions);
|
|
67
|
-
}
|
|
68
|
-
// Otherwise, charge the corresponding gas
|
|
69
|
-
this.l2GasLeft -= gasCost.l2Gas ?? 0;
|
|
70
|
-
this.daGasLeft -= gasCost.daGas ?? 0;
|
|
71
|
-
}
|
|
72
|
-
/** Increases the gas left by the amounts specified. */ refundGas(gasRefund) {
|
|
73
|
-
this.l2GasLeft += gasRefund.l2Gas ?? 0;
|
|
74
|
-
this.daGasLeft += gasRefund.daGas ?? 0;
|
|
75
|
-
}
|
|
76
|
-
/**
|
|
77
|
-
* Halt as successful
|
|
78
|
-
* Output data must NOT be modified once it is set
|
|
79
|
-
* @param output
|
|
80
|
-
*/ return(output) {
|
|
81
|
-
this.halted = true;
|
|
82
|
-
this.output = output;
|
|
83
|
-
}
|
|
84
|
-
/**
|
|
85
|
-
* Halt as reverted
|
|
86
|
-
* Output data must NOT be modified once it is set
|
|
87
|
-
* @param output
|
|
88
|
-
*/ revert(output) {
|
|
89
|
-
this.halted = true;
|
|
90
|
-
this.reverted = true;
|
|
91
|
-
this.output = output;
|
|
92
|
-
}
|
|
93
|
-
getHalted() {
|
|
94
|
-
return this.halted;
|
|
95
|
-
}
|
|
96
|
-
getReverted() {
|
|
97
|
-
return this.reverted;
|
|
98
|
-
}
|
|
99
|
-
getOutput() {
|
|
100
|
-
return this.output;
|
|
101
|
-
}
|
|
102
|
-
/**
|
|
103
|
-
* Flag an exceptional halt. Clears gas left and sets the reverted flag. No output data.
|
|
104
|
-
*/ exceptionalHalt() {
|
|
105
|
-
this.l2GasLeft = 0;
|
|
106
|
-
this.daGasLeft = 0;
|
|
107
|
-
this.reverted = true;
|
|
108
|
-
this.halted = true;
|
|
109
|
-
}
|
|
110
|
-
}
|
|
@@ -1,275 +0,0 @@
|
|
|
1
|
-
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
-
import { type Logger } from '@aztec/foundation/log';
|
|
3
|
-
import type { FunctionsOf } from '@aztec/foundation/types';
|
|
4
|
-
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
5
|
-
/** MemoryValue gathers the common operations for all memory types. */
|
|
6
|
-
export declare abstract class MemoryValue {
|
|
7
|
-
abstract add(rhs: MemoryValue): MemoryValue;
|
|
8
|
-
abstract sub(rhs: MemoryValue): MemoryValue;
|
|
9
|
-
abstract mul(rhs: MemoryValue): MemoryValue;
|
|
10
|
-
abstract div(rhs: MemoryValue): MemoryValue;
|
|
11
|
-
abstract equals(rhs: MemoryValue): boolean;
|
|
12
|
-
abstract lt(rhs: MemoryValue): boolean;
|
|
13
|
-
abstract build(n: bigint): MemoryValue;
|
|
14
|
-
abstract toBigInt(): bigint;
|
|
15
|
-
getTag(): TypeTag;
|
|
16
|
-
abstract toBuffer(): Buffer;
|
|
17
|
-
toFr(): Fr;
|
|
18
|
-
toAztecAddress(): AztecAddress;
|
|
19
|
-
toNumber(): number;
|
|
20
|
-
toString(): string;
|
|
21
|
-
}
|
|
22
|
-
/** IntegralValue gathers the common operations for all integral memory types. */
|
|
23
|
-
export declare abstract class IntegralValue extends MemoryValue {
|
|
24
|
-
abstract shl(rhs: IntegralValue): IntegralValue;
|
|
25
|
-
abstract shr(rhs: IntegralValue): IntegralValue;
|
|
26
|
-
abstract and(rhs: IntegralValue): IntegralValue;
|
|
27
|
-
abstract or(rhs: IntegralValue): IntegralValue;
|
|
28
|
-
abstract xor(rhs: IntegralValue): IntegralValue;
|
|
29
|
-
abstract not(): IntegralValue;
|
|
30
|
-
}
|
|
31
|
-
declare const Uint1_base: {
|
|
32
|
-
new (n: number | bigint): {
|
|
33
|
-
readonly n: bigint;
|
|
34
|
-
build(n: bigint): /*elided*/ any;
|
|
35
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
36
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
37
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
38
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
39
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
40
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
41
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
42
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
43
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
44
|
-
not(): /*elided*/ any;
|
|
45
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
46
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
47
|
-
toBigInt(): bigint;
|
|
48
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
49
|
-
getTag(): TypeTag;
|
|
50
|
-
toFr(): Fr;
|
|
51
|
-
toAztecAddress(): AztecAddress;
|
|
52
|
-
toNumber(): number;
|
|
53
|
-
toString(): string;
|
|
54
|
-
};
|
|
55
|
-
readonly bits: number;
|
|
56
|
-
readonly mod: bigint;
|
|
57
|
-
readonly bitmask: bigint;
|
|
58
|
-
};
|
|
59
|
-
export declare class Uint1 extends Uint1_base {
|
|
60
|
-
}
|
|
61
|
-
declare const Uint8_base: {
|
|
62
|
-
new (n: number | bigint): {
|
|
63
|
-
readonly n: bigint;
|
|
64
|
-
build(n: bigint): /*elided*/ any;
|
|
65
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
66
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
67
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
68
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
69
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
70
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
71
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
72
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
73
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
74
|
-
not(): /*elided*/ any;
|
|
75
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
76
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
77
|
-
toBigInt(): bigint;
|
|
78
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
79
|
-
getTag(): TypeTag;
|
|
80
|
-
toFr(): Fr;
|
|
81
|
-
toAztecAddress(): AztecAddress;
|
|
82
|
-
toNumber(): number;
|
|
83
|
-
toString(): string;
|
|
84
|
-
};
|
|
85
|
-
readonly bits: number;
|
|
86
|
-
readonly mod: bigint;
|
|
87
|
-
readonly bitmask: bigint;
|
|
88
|
-
};
|
|
89
|
-
export declare class Uint8 extends Uint8_base {
|
|
90
|
-
}
|
|
91
|
-
declare const Uint16_base: {
|
|
92
|
-
new (n: number | bigint): {
|
|
93
|
-
readonly n: bigint;
|
|
94
|
-
build(n: bigint): /*elided*/ any;
|
|
95
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
96
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
97
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
98
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
99
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
100
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
101
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
102
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
103
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
104
|
-
not(): /*elided*/ any;
|
|
105
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
106
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
107
|
-
toBigInt(): bigint;
|
|
108
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
109
|
-
getTag(): TypeTag;
|
|
110
|
-
toFr(): Fr;
|
|
111
|
-
toAztecAddress(): AztecAddress;
|
|
112
|
-
toNumber(): number;
|
|
113
|
-
toString(): string;
|
|
114
|
-
};
|
|
115
|
-
readonly bits: number;
|
|
116
|
-
readonly mod: bigint;
|
|
117
|
-
readonly bitmask: bigint;
|
|
118
|
-
};
|
|
119
|
-
export declare class Uint16 extends Uint16_base {
|
|
120
|
-
}
|
|
121
|
-
declare const Uint32_base: {
|
|
122
|
-
new (n: number | bigint): {
|
|
123
|
-
readonly n: bigint;
|
|
124
|
-
build(n: bigint): /*elided*/ any;
|
|
125
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
126
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
127
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
128
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
129
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
130
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
131
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
132
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
133
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
134
|
-
not(): /*elided*/ any;
|
|
135
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
136
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
137
|
-
toBigInt(): bigint;
|
|
138
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
139
|
-
getTag(): TypeTag;
|
|
140
|
-
toFr(): Fr;
|
|
141
|
-
toAztecAddress(): AztecAddress;
|
|
142
|
-
toNumber(): number;
|
|
143
|
-
toString(): string;
|
|
144
|
-
};
|
|
145
|
-
readonly bits: number;
|
|
146
|
-
readonly mod: bigint;
|
|
147
|
-
readonly bitmask: bigint;
|
|
148
|
-
};
|
|
149
|
-
export declare class Uint32 extends Uint32_base {
|
|
150
|
-
}
|
|
151
|
-
declare const Uint64_base: {
|
|
152
|
-
new (n: number | bigint): {
|
|
153
|
-
readonly n: bigint;
|
|
154
|
-
build(n: bigint): /*elided*/ any;
|
|
155
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
156
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
157
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
158
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
159
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
160
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
161
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
162
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
163
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
164
|
-
not(): /*elided*/ any;
|
|
165
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
166
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
167
|
-
toBigInt(): bigint;
|
|
168
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
169
|
-
getTag(): TypeTag;
|
|
170
|
-
toFr(): Fr;
|
|
171
|
-
toAztecAddress(): AztecAddress;
|
|
172
|
-
toNumber(): number;
|
|
173
|
-
toString(): string;
|
|
174
|
-
};
|
|
175
|
-
readonly bits: number;
|
|
176
|
-
readonly mod: bigint;
|
|
177
|
-
readonly bitmask: bigint;
|
|
178
|
-
};
|
|
179
|
-
export declare class Uint64 extends Uint64_base {
|
|
180
|
-
}
|
|
181
|
-
declare const Uint128_base: {
|
|
182
|
-
new (n: number | bigint): {
|
|
183
|
-
readonly n: bigint;
|
|
184
|
-
build(n: bigint): /*elided*/ any;
|
|
185
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
186
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
187
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
188
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
189
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
190
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
191
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
192
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
193
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
194
|
-
not(): /*elided*/ any;
|
|
195
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
196
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
197
|
-
toBigInt(): bigint;
|
|
198
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
199
|
-
getTag(): TypeTag;
|
|
200
|
-
toFr(): Fr;
|
|
201
|
-
toAztecAddress(): AztecAddress;
|
|
202
|
-
toNumber(): number;
|
|
203
|
-
toString(): string;
|
|
204
|
-
};
|
|
205
|
-
readonly bits: number;
|
|
206
|
-
readonly mod: bigint;
|
|
207
|
-
readonly bitmask: bigint;
|
|
208
|
-
};
|
|
209
|
-
export declare class Uint128 extends Uint128_base {
|
|
210
|
-
}
|
|
211
|
-
export declare class Field extends MemoryValue {
|
|
212
|
-
static readonly MODULUS: bigint;
|
|
213
|
-
private readonly rep;
|
|
214
|
-
constructor(v: number | bigint | Fr | Buffer);
|
|
215
|
-
build(n: bigint): Field;
|
|
216
|
-
add(rhs: Field): Field;
|
|
217
|
-
sub(rhs: Field): Field;
|
|
218
|
-
mul(rhs: Field): Field;
|
|
219
|
-
div(rhs: Field): Field;
|
|
220
|
-
fdiv(rhs: Field): Field;
|
|
221
|
-
equals(rhs: Field): boolean;
|
|
222
|
-
lt(rhs: Field): boolean;
|
|
223
|
-
toBigInt(): bigint;
|
|
224
|
-
toBuffer(): Buffer;
|
|
225
|
-
}
|
|
226
|
-
export declare enum TypeTag {
|
|
227
|
-
FIELD = 0,
|
|
228
|
-
UINT1 = 1,
|
|
229
|
-
UINT8 = 2,
|
|
230
|
-
UINT16 = 3,
|
|
231
|
-
UINT32 = 4,
|
|
232
|
-
UINT64 = 5,
|
|
233
|
-
UINT128 = 6,
|
|
234
|
-
INVALID = 7
|
|
235
|
-
}
|
|
236
|
-
export type TaggedMemoryInterface = FunctionsOf<TaggedMemory>;
|
|
237
|
-
export declare class TaggedMemory implements TaggedMemoryInterface {
|
|
238
|
-
static readonly log: Logger;
|
|
239
|
-
static readonly TRACK_MEMORY_ACCESSES: boolean;
|
|
240
|
-
static readonly MAX_MEMORY_SIZE: number;
|
|
241
|
-
private _mem;
|
|
242
|
-
constructor();
|
|
243
|
-
getMaxMemorySize(): number;
|
|
244
|
-
get(offset: number): MemoryValue;
|
|
245
|
-
getAs<T>(offset: number): T;
|
|
246
|
-
getSlice(offset: number, size: number): MemoryValue[];
|
|
247
|
-
getSliceAs<T>(offset: number, size: number): T[];
|
|
248
|
-
getSliceTags(offset: number, size: number): TypeTag[];
|
|
249
|
-
set(offset: number, v: MemoryValue): void;
|
|
250
|
-
setSlice(offset: number, slice: MemoryValue[]): void;
|
|
251
|
-
getTag(offset: number): TypeTag;
|
|
252
|
-
/**
|
|
253
|
-
* Check that the memory at the given offset matches the specified tag.
|
|
254
|
-
*/
|
|
255
|
-
checkTag(tag: TypeTag, offset: number): void;
|
|
256
|
-
static isValidMemoryAddressTag(tag: TypeTag): tag is TypeTag.UINT32;
|
|
257
|
-
static checkIsIntegralTag(tag: TypeTag): void;
|
|
258
|
-
static checkIsValidTag(tagNumber: number): void;
|
|
259
|
-
/**
|
|
260
|
-
* Check tags for memory at all of the specified offsets.
|
|
261
|
-
*/
|
|
262
|
-
checkTags(tag: TypeTag, ...offsets: number[]): void;
|
|
263
|
-
/**
|
|
264
|
-
* Check that all tags at the given offsets are the same.
|
|
265
|
-
*/
|
|
266
|
-
checkTagsAreSame(offset0: number, offset1: number): void;
|
|
267
|
-
/**
|
|
268
|
-
* Check tags for all memory in the specified range.
|
|
269
|
-
*/
|
|
270
|
-
checkTagsRange(tag: TypeTag, startOffset: number, size: number): void;
|
|
271
|
-
static getTag(v: MemoryValue | undefined): TypeTag;
|
|
272
|
-
static buildFromTagTruncating(v: bigint | number, tag: TypeTag): MemoryValue;
|
|
273
|
-
}
|
|
274
|
-
export {};
|
|
275
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX21lbW9yeV90eXBlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vYXZtX21lbW9yeV90eXBlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFVQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBQ2xFLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzNELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQU0zRCxzRUFBc0U7QUFDdEUsOEJBQXNCLFdBQVc7SUFDL0IsU0FBZ0IsR0FBRyxDQUFDLEdBQUcsRUFBRSxXQUFXLEdBQUcsV0FBVyxDQUFDO0lBQ25ELFNBQWdCLEdBQUcsQ0FBQyxHQUFHLEVBQUUsV0FBVyxHQUFHLFdBQVcsQ0FBQztJQUNuRCxTQUFnQixHQUFHLENBQUMsR0FBRyxFQUFFLFdBQVcsR0FBRyxXQUFXLENBQUM7SUFDbkQsU0FBZ0IsR0FBRyxDQUFDLEdBQUcsRUFBRSxXQUFXLEdBQUcsV0FBVyxDQUFDO0lBRW5ELFNBQWdCLE1BQU0sQ0FBQyxHQUFHLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQztJQUNsRCxTQUFnQixFQUFFLENBQUMsR0FBRyxFQUFFLFdBQVcsR0FBRyxPQUFPLENBQUM7SUFHOUMsU0FBZ0IsS0FBSyxDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsV0FBVyxDQUFDO0lBRzlDLFNBQWdCLFFBQVEsSUFBSSxNQUFNLENBQUM7SUFDNUIsTUFBTSxJQUFJLE9BQU8sQ0FFdkI7SUFHRCxTQUFnQixRQUFRLElBQUksTUFBTSxDQUFDO0lBRzVCLElBQUksSUFBSSxFQUFFLENBRWhCO0lBRU0sY0FBYyxJQUFJLFlBQVksQ0FFcEM7SUFHTSxRQUFRLElBQUksTUFBTSxDQUV4QjtJQUVNLFFBQVEsSUFBSSxNQUFNLENBRXhCO0NBQ0Y7QUFFRCxpRkFBaUY7QUFDakYsOEJBQXNCLGFBQWMsU0FBUSxXQUFXO0lBQ3JELFNBQWdCLEdBQUcsQ0FBQyxHQUFHLEVBQUUsYUFBYSxHQUFHLGFBQWEsQ0FBQztJQUN2RCxTQUFnQixHQUFHLENBQUMsR0FBRyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUM7SUFDdkQsU0FBZ0IsR0FBRyxDQUFDLEdBQUcsRUFBRSxhQUFhLEdBQUcsYUFBYSxDQUFDO0lBQ3ZELFNBQWdCLEVBQUUsQ0FBQyxHQUFHLEVBQUUsYUFBYSxHQUFHLGFBQWEsQ0FBQztJQUN0RCxTQUFnQixHQUFHLENBQUMsR0FBRyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUM7SUFDdkQsU0FBZ0IsR0FBRyxJQUFJLGFBQWEsQ0FBQztDQUN0Qzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFtR0QscUJBQWEsS0FBTSxTQUFRLFVBQThCO0NBQUc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQzVELHFCQUFhLEtBQU0sU0FBUSxVQUE4QjtDQUFHOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUM1RCxxQkFBYSxNQUFPLFNBQVEsV0FBK0I7Q0FBRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFDOUQscUJBQWEsTUFBTyxTQUFRLFdBQStCO0NBQUc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQzlELHFCQUFhLE1BQU8sU0FBUSxXQUErQjtDQUFHOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUM5RCxxQkFBYSxPQUFRLFNBQVEsWUFBZ0M7Q0FBRztBQUVoRSxxQkFBYSxLQUFNLFNBQVEsV0FBVztJQUNwQyxnQkFBdUIsT0FBTyxFQUFFLE1BQU0sQ0FBYztJQUNwRCxPQUFPLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBSztJQUV6QixZQUFZLENBQUMsRUFBRSxNQUFNLEdBQUcsTUFBTSxHQUFHLEVBQUUsR0FBRyxNQUFNLEVBRzNDO0lBRU0sS0FBSyxDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsS0FBSyxDQUU3QjtJQUVNLEdBQUcsQ0FBQyxHQUFHLEVBQUUsS0FBSyxHQUFHLEtBQUssQ0FFNUI7SUFFTSxHQUFHLENBQUMsR0FBRyxFQUFFLEtBQUssR0FBRyxLQUFLLENBRTVCO0lBRU0sR0FBRyxDQUFDLEdBQUcsRUFBRSxLQUFLLEdBQUcsS0FBSyxDQUU1QjtJQUdNLEdBQUcsQ0FBQyxHQUFHLEVBQUUsS0FBSyxHQUFHLEtBQUssQ0FFNUI7SUFHTSxJQUFJLENBQUMsR0FBRyxFQUFFLEtBQUssR0FBRyxLQUFLLENBRTdCO0lBRU0sTUFBTSxDQUFDLEdBQUcsRUFBRSxLQUFLLEdBQUcsT0FBTyxDQUVqQztJQUVNLEVBQUUsQ0FBQyxHQUFHLEVBQUUsS0FBSyxHQUFHLE9BQU8sQ0FFN0I7SUFFTSxRQUFRLElBQUksTUFBTSxDQUV4QjtJQUVNLFFBQVEsSUFBSSxNQUFNLENBRXhCO0NBQ0Y7QUFFRCxvQkFBWSxPQUFPO0lBQ2pCLEtBQUssSUFBYTtJQUNsQixLQUFLLElBQWE7SUFDbEIsS0FBSyxJQUFhO0lBQ2xCLE1BQU0sSUFBYztJQUNwQixNQUFNLElBQWM7SUFDcEIsTUFBTSxJQUFjO0lBQ3BCLE9BQU8sSUFBZTtJQUN0QixPQUFPLElBQW1CO0NBQzNCO0FBR0QsTUFBTSxNQUFNLHFCQUFxQixHQUFHLFdBQVcsQ0FBQyxZQUFZLENBQUMsQ0FBQztBQUU5RCxxQkFBYSxZQUFhLFlBQVcscUJBQXFCO0lBQ3hELE1BQU0sQ0FBQyxRQUFRLENBQUMsR0FBRyxFQUFFLE1BQU0sQ0FBd0M7SUFHbkUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxxQkFBcUIsVUFBbUM7SUFLeEUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxlQUFlLFNBQXFCO0lBQ3BELE9BQU8sQ0FBQyxJQUFJLENBQTJCO0lBRXZDLGNBRUM7SUFFTSxnQkFBZ0IsSUFBSSxNQUFNLENBRWhDO0lBRU0sR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsV0FBVyxDQUV0QztJQUVNLEtBQUssQ0FBQyxDQUFDLEVBQUUsTUFBTSxFQUFFLE1BQU0sR0FBRyxDQUFDLENBU2pDO0lBRU0sUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sR0FBRyxXQUFXLEVBQUUsQ0FlM0Q7SUFFTSxVQUFVLENBQUMsQ0FBQyxFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sR0FBRyxDQUFDLEVBQUUsQ0FFdEQ7SUFFTSxZQUFZLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsTUFBTSxHQUFHLE9BQU8sRUFBRSxDQUUzRDtJQUVNLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLENBQUMsRUFBRSxXQUFXLFFBSXhDO0lBRU0sUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsS0FBSyxFQUFFLFdBQVcsRUFBRSxRQVduRDtJQUVNLE1BQU0sQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FHckM7SUFFRDs7T0FFRztJQUNJLFFBQVEsQ0FBQyxHQUFHLEVBQUUsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLFFBSzNDO0lBRUQsT0FBYyx1QkFBdUIsQ0FBQyxHQUFHLEVBQUUsT0FBTyx5QkFFakQ7SUFFRCxPQUFjLGtCQUFrQixDQUFDLEdBQUcsRUFBRSxPQUFPLFFBSTVDO0lBRUQsT0FBYyxlQUFlLENBQUMsU0FBUyxFQUFFLE1BQU0sUUFJOUM7SUFFRDs7T0FFRztJQUNJLFNBQVMsQ0FBQyxHQUFHLEVBQUUsT0FBTyxFQUFFLEdBQUcsT0FBTyxFQUFFLE1BQU0sRUFBRSxRQUlsRDtJQUVEOztPQUVHO0lBQ0ksZ0JBQWdCLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxPQUFPLEVBQUUsTUFBTSxRQUd2RDtJQUVEOztPQUVHO0lBQ0ksY0FBYyxDQUFDLEdBQUcsRUFBRSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsTUFBTSxRQVFwRTtJQUVELE9BQWMsTUFBTSxDQUFDLENBQUMsRUFBRSxXQUFXLEdBQUcsU0FBUyxHQUFHLE9BQU8sQ0FNeEQ7SUFHRCxPQUFjLHNCQUFzQixDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsTUFBTSxFQUFFLEdBQUcsRUFBRSxPQUFPLEdBQUcsV0FBVyxDQW9CbEY7Q0FDRiJ9
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"avm_memory_types.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_memory_types.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAM3D,sEAAsE;AACtE,8BAAsB,WAAW;IAC/B,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IACnD,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IACnD,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IACnD,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IAEnD,SAAgB,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC;IAClD,SAAgB,EAAE,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC;IAG9C,SAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;IAG9C,SAAgB,QAAQ,IAAI,MAAM,CAAC;IAC5B,MAAM,IAAI,OAAO,CAEvB;IAGD,SAAgB,QAAQ,IAAI,MAAM,CAAC;IAG5B,IAAI,IAAI,EAAE,CAEhB;IAEM,cAAc,IAAI,YAAY,CAEpC;IAGM,QAAQ,IAAI,MAAM,CAExB;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,iFAAiF;AACjF,8BAAsB,aAAc,SAAQ,WAAW;IACrD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,EAAE,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACtD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,GAAG,IAAI,aAAa,CAAC;CACtC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmGD,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,OAAQ,SAAQ,YAAgC;CAAG;AAEhE,qBAAa,KAAM,SAAQ,WAAW;IACpC,gBAAuB,OAAO,EAAE,MAAM,CAAc;IACpD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAK;IAEzB,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,EAAE,GAAG,MAAM,EAG3C;IAEM,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,KAAK,CAE7B;IAEM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAEM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAEM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAGM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAGM,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE7B;IAEM,MAAM,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO,CAEjC;IAEM,EAAE,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO,CAE7B;IAEM,QAAQ,IAAI,MAAM,CAExB;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,oBAAY,OAAO;IACjB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,OAAO,IAAe;IACtB,OAAO,IAAmB;CAC3B;AAGD,MAAM,MAAM,qBAAqB,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;AAE9D,qBAAa,YAAa,YAAW,qBAAqB;IACxD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAwC;IAGnE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,UAAmC;IAKxE,MAAM,CAAC,QAAQ,CAAC,eAAe,SAAqB;IACpD,OAAO,CAAC,IAAI,CAA2B;IAEvC,cAEC;IAEM,gBAAgB,IAAI,MAAM,CAEhC;IAEM,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAEtC;IAEM,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,CASjC;IAEM,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,CAe3D;IAEM,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE,CAEtD;IAEM,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAE3D;IAEM,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,QAIxC;IAEM,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,QAWnD;IAEM,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAGrC;IAED;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAK3C;IAED,OAAc,uBAAuB,CAAC,GAAG,EAAE,OAAO,yBAEjD;IAED,OAAc,kBAAkB,CAAC,GAAG,EAAE,OAAO,QAI5C;IAED,OAAc,eAAe,CAAC,SAAS,EAAE,MAAM,QAI9C;IAED;;OAEG;IACI,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,QAIlD;IAED;;OAEG;IACI,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,QAGvD;IAED;;OAEG;IACI,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAQpE;IAED,OAAc,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,OAAO,CAMxD;IAGD,OAAc,sBAAsB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,WAAW,CAoBlF;CACF"}
|