|
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 <nlohmann/json.hpp>#include <sys/wait.h>#include <unistd.h>#include <vector>#include "barretenberg/avm_fuzzer/common/interfaces/dbs.hpp"#include "barretenberg/avm_fuzzer/common/interfaces/simulation_helper.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/serialization.hpp"#include "barretenberg/world_state/types.hpp"#include "barretenberg/world_state/world_state.hpp"Go to the source code of this file.
Typedefs | |
| using | json = nlohmann::json |
Functions | |
| std::string | serialize_simulation_request (const std::vector< uint8_t > &bytecode, const std::vector< FF > &calldata, const Tx &tx, const GlobalVariables &globals) |
| GlobalVariables | create_default_globals () |
| 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) |
| bool | compare_simulator_results (const SimulatorResult &result1, const SimulatorResult &result2) |
| using json = nlohmann::json |
Definition at line 33 of file simulator.cpp.
| bool compare_simulator_results | ( | const SimulatorResult & | result1, |
| const SimulatorResult & | result2 | ||
| ) |
Definition at line 263 of file simulator.cpp.
| GlobalVariables create_default_globals | ( | ) |
Definition at line 71 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 86 of file simulator.cpp.
| std::string serialize_simulation_request | ( | const std::vector< uint8_t > & | bytecode, |
| const std::vector< FF > & | calldata, | ||
| const Tx & | tx, | ||
| const GlobalVariables & | globals | ||
| ) |
Definition at line 36 of file simulator.cpp.