#include "barretenberg/avm_fuzzer/fuzzer_lib.hpp"
#include <cstdint>
#include <string>
#include <unordered_set>
#include <vector>
#include "barretenberg/api/file_io.hpp"
#include "barretenberg/avm_fuzzer/common/interfaces/dbs.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/constants.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/control_flow.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/fuzz.hpp"
#include "barretenberg/avm_fuzzer/fuzzer_comparison_helper.hpp"
#include "barretenberg/avm_fuzzer/mutations/fuzzer_data.hpp"
#include "barretenberg/avm_fuzzer/mutations/tx_data.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/vm2/avm_api.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/simulation/lib/contract_crypto.hpp"
#include "barretenberg/vm2/simulation_helper.hpp"
#include "barretenberg/vm2/tooling/stats.hpp"

Functions
void	setup_fuzzer_state (FuzzerWorldStateManager &ws_mgr, FuzzerContractDB &contract_db, const FuzzerTxData &tx_data)

void	fund_fee_payer (FuzzerWorldStateManager &ws_mgr, const Tx &tx)

SimulatorResult	fuzz_tx (FuzzerWorldStateManager &ws_mgr, FuzzerContractDB &contract_db, FuzzerTxData &tx_data)
	Fuzz CPP vs JS simulator with a full transaction containing multiple enqueued calls.

int	fuzz_prover (FuzzerWorldStateManager &ws_mgr, FuzzerContractDB &contract_db, FuzzerTxData &tx_data)
	Run the prover fuzzer: fast simulation, hint collection, comparison, and check_circuit.

FuzzerTxData	create_default_tx_data (std::mt19937_64 &rng, const FuzzerContext &context)

FuzzerTxData	create_default_tx_data (const FuzzerContext &context)

ContractArtifacts	build_bytecode_and_artifacts (FuzzerData &fuzzer_data)

size_t	mutate_tx_data (FuzzerContext &context, uint8_t *serialized_fuzzer_data, size_t serialized_fuzzer_data_size, size_t max_size, unsigned int seed)

Function Documentation

◆ build_bytecode_and_artifacts()

ContractArtifacts build_bytecode_and_artifacts ( FuzzerData & fuzzer_data )

Definition at line 214 of file fuzzer_lib.cpp.

◆ create_default_tx_data() [1/2]

FuzzerTxData create_default_tx_data ( const FuzzerContext & context )

Definition at line 208 of file fuzzer_lib.cpp.

◆ create_default_tx_data() [2/2]

FuzzerTxData create_default_tx_data	(	std::mt19937_64 &	rng,
		const FuzzerContext &	context
	)

Definition at line 188 of file fuzzer_lib.cpp.

◆ fund_fee_payer()

void fund_fee_payer	(	FuzzerWorldStateManager &	ws_mgr,
		const Tx &	tx
	)

Definition at line 48 of file fuzzer_lib.cpp.

◆ fuzz_prover()

int fuzz_prover	(	FuzzerWorldStateManager &	ws_mgr,
		FuzzerContractDB &	contract_db,
		FuzzerTxData &	tx_data
	)

Run the prover fuzzer: fast simulation, hint collection, comparison, and check_circuit.

Parameters

ws_mgr	The world state manager (should already be forked)
contract_db	The contract database
tx_data	The transaction data

Returns: 0 on success

Exceptions

An	exception if simulation results differ or check_circuit fails

Definition at line 106 of file fuzzer_lib.cpp.

◆ fuzz_tx()

SimulatorResult fuzz_tx	(	FuzzerWorldStateManager &	ws_mgr,
		FuzzerContractDB &	contract_db,
		FuzzerTxData &	tx_data
	)

Fuzz CPP vs JS simulator with a full transaction containing multiple enqueued calls.

Parameters

tx_data The transaction data containing multiple enqueued calls

Returns: The simulator result if the results are the same

Exceptions

An	exception if the simulator results are different

Definition at line 62 of file fuzzer_lib.cpp.

◆ mutate_tx_data()

size_t mutate_tx_data	(	FuzzerContext &	context,
		uint8_t *	serialized_fuzzer_data,
		size_t	serialized_fuzzer_data_size,
		size_t	max_size,
		unsigned int	seed
	)

Definition at line 246 of file fuzzer_lib.cpp.

◆ setup_fuzzer_state()

void setup_fuzzer_state	(	FuzzerWorldStateManager &	ws_mgr,
		FuzzerContractDB &	contract_db,
		const FuzzerTxData &	tx_data
	)

Definition at line 27 of file fuzzer_lib.cpp.

Functions