simulator.hpp File Reference

#include <vector>
#include "barretenberg/avm_fuzzer/common/interfaces/dbs.hpp"
#include "barretenberg/avm_fuzzer/common/process.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/simulation/interfaces/execution.hpp"

Go to the source code of this file.

Classes
struct	FuzzerSimulationRequest
struct	SimulatorResult
class	Simulator
class	CppSimulator
	uses barretenberg/vm2 to simulate the bytecode More...
class	JsSimulator
	uses the yarn-project/simulator to simulate the bytecode Singleton, because initializing the simulator is expensive More...

Functions
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 (SimulatorResult &result1, SimulatorResult &result2)

Function Documentation

compare_simulator_results()

bool compare_simulator_results	(	SimulatorResult &	result1,
		SimulatorResult &	result2
	)

Definition at line 172 of file simulator.cpp.

create_default_globals()

GlobalVariables create_default_globals

(

)

Definition at line 61 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 188 of file simulator.cpp.