|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/avm_fuzzer/fuzz_lib/simulator.hpp"#include <cstdint>#include <iomanip>#include <iostream>#include <sys/wait.h>#include <unistd.h>#include <vector>#include "barretenberg/avm_fuzzer/common/interfaces/dbs.hpp"#include "barretenberg/avm_fuzzer/fuzz_lib/constants.hpp"#include "barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp"#include "barretenberg/common/base64.hpp"#include "barretenberg/serialize/msgpack_impl.hpp"#include "barretenberg/vm2/common/avm_io.hpp"#include "barretenberg/vm2/common/aztec_types.hpp"#include "barretenberg/vm2/common/field.hpp"#include "barretenberg/vm2/common/memory_types.hpp"#include "barretenberg/vm2/common/opcodes.hpp"#include "barretenberg/vm2/common/stringify.hpp"#include "barretenberg/vm2/simulation/interfaces/db.hpp"#include "barretenberg/vm2/simulation/lib/contract_crypto.hpp"#include "barretenberg/vm2/simulation/lib/serialization.hpp"#include "barretenberg/vm2/simulation_helper.hpp"#include "barretenberg/world_state/types.hpp"#include "barretenberg/world_state/world_state.hpp"Go to the source code of this file.
Functions | |
| std::string | serialize_simulation_request (const Tx &tx, const GlobalVariables &globals, const FuzzerContractDB &contract_db) |
| GlobalVariables | create_default_globals () |
| bool | compare_simulator_results (SimulatorResult &result1, SimulatorResult &result2) |
| Tx | create_default_tx (const AztecAddress &contract_address, const AztecAddress &sender_address, const std::vector< FF > &calldata, const FF &transaction_fee, bool is_static_call, const Gas &gas_limit) |
Variables | |
| const auto | MAX_RETURN_DATA_SIZE_IN_FIELDS = 1024 |
| bool compare_simulator_results | ( | SimulatorResult & | result1, |
| SimulatorResult & | result2 | ||
| ) |
Definition at line 172 of file simulator.cpp.
| GlobalVariables create_default_globals | ( | ) |
Definition at line 61 of file simulator.cpp.
| Tx create_default_tx | ( | const AztecAddress & | contract_address, |
| const AztecAddress & | sender_address, | ||
| const std::vector< FF > & | calldata, | ||
| const FF & | transaction_fee, | ||
| bool | is_static_call, | ||
| const Gas & | gas_limit | ||
| ) |
Definition at line 188 of file simulator.cpp.
| std::string serialize_simulation_request | ( | const Tx & | tx, |
| const GlobalVariables & | globals, | ||
| const FuzzerContractDB & | contract_db | ||
| ) |
Definition at line 37 of file simulator.cpp.
| const auto MAX_RETURN_DATA_SIZE_IN_FIELDS = 1024 |
Definition at line 34 of file simulator.cpp.