#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"

Functions
std::string	serialize_simulation_request (const Tx &tx, const GlobalVariables &globals, const FuzzerContractDB &contract_db, const std::vector< bb::crypto::merkle_tree::PublicDataLeafValue > &public_data_writes, const std::vector< FF > &note_hashes, const ProtocolContracts &protocol_contracts)

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
constexpr auto	MAX_RETURN_DATA_SIZE_IN_FIELDS = 1024

Function Documentation

◆ compare_simulator_results()

bool compare_simulator_results	(	SimulatorResult &	result1,
		SimulatorResult &	result2
	)

Definition at line 186 of file simulator.cpp.

◆ create_default_globals()

GlobalVariables create_default_globals ( )

Definition at line 68 of file simulator.cpp.

◆ create_default_tx()

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 213 of file simulator.cpp.

◆ serialize_simulation_request()

std::string serialize_simulation_request	(	const Tx &	tx,
		const GlobalVariables &	globals,
		const FuzzerContractDB &	contract_db,
		const std::vector< bb::crypto::merkle_tree::PublicDataLeafValue > &	public_data_writes,
		const std::vector< FF > &	note_hashes,
		const ProtocolContracts &	protocol_contracts
	)

Definition at line 37 of file simulator.cpp.

Variable Documentation

◆ MAX_RETURN_DATA_SIZE_IN_FIELDS

constexpr auto MAX_RETURN_DATA_SIZE_IN_FIELDS = 1024

constexpr

Definition at line 34 of file simulator.cpp.

Functions