#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/basic_types/field.hpp"
#include "barretenberg/avm_fuzzer/mutations/basic_types/uint64_t.hpp"
#include "barretenberg/avm_fuzzer/mutations/configuration.hpp"
#include "barretenberg/avm_fuzzer/mutations/fuzzer_data.hpp"
#include "barretenberg/avm_fuzzer/mutations/protocol_contracts.hpp"
#include "barretenberg/avm_fuzzer/mutations/tx_data.hpp"
#include "barretenberg/avm_fuzzer/mutations/tx_types/gas.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/vm2/avm_api.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/simulation/lib/contract_crypto.hpp"
#include "barretenberg/vm2/simulation_helper.hpp"
#include "barretenberg/vm2/tooling/stats.hpp"
#include "barretenberg/vm2/tracegen_helper.hpp"

Functions
size_t	LLVMFuzzerMutate (uint8_t *Data, size_t Size, size_t MaxSize)

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.

TxSimulationResult	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, FuzzerContext &context)

FuzzerTxData	create_default_tx_data (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)

void	populate_context_from_tx_data (FuzzerContext &context, const FuzzerTxData &tx_data)

Function Documentation

◆ build_bytecode_and_artifacts()

ContractArtifacts build_bytecode_and_artifacts ( FuzzerData & fuzzer_data )

Definition at line 273 of file fuzzer_lib.cpp.

◆ create_default_tx_data() [1/2]

FuzzerTxData create_default_tx_data ( FuzzerContext & context )

Definition at line 267 of file fuzzer_lib.cpp.

◆ create_default_tx_data() [2/2]

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

Definition at line 239 of file fuzzer_lib.cpp.

◆ fund_fee_payer()

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

Definition at line 82 of file fuzzer_lib.cpp.

◆ fuzz_prover()

TxSimulationResult 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: the simulation result

Exceptions

An	exception if simulation results differ or check_circuit fails

Definition at line 154 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 96 of file fuzzer_lib.cpp.

◆ LLVMFuzzerMutate()

size_t LLVMFuzzerMutate	(	uint8_t *	Data,
		size_t	Size,
		size_t	MaxSize
	)

extern

◆ 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 306 of file fuzzer_lib.cpp.

◆ populate_context_from_tx_data()

void populate_context_from_tx_data	(	FuzzerContext &	context,
		const FuzzerTxData &	tx_data
	)

Definition at line 446 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 36 of file fuzzer_lib.cpp.

Functions