merkle_check.fuzzer.cpp File Reference

#include "barretenberg/vm2/simulation/gadgets/merkle_check.hpp"
#include <cassert>
#include <cstdint>
#include <fuzzer/FuzzedDataProvider.h>
#include "barretenberg/avm_fuzzer/fuzz_lib/constants.hpp"
#include "barretenberg/avm_fuzzer/harness/mutation_helper.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/numeric/uint128/uint128.hpp"
#include "barretenberg/vm2/constraining/testing/check_relation.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/merkle_check_event.hpp"
#include "barretenberg/vm2/simulation/events/poseidon2_event.hpp"
#include "barretenberg/vm2/simulation/gadgets/poseidon2.hpp"
#include "barretenberg/vm2/simulation/lib/execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/lib/merkle.hpp"
#include "barretenberg/vm2/simulation/standalone/pure_gt.hpp"
#include "barretenberg/vm2/tooling/debugger.hpp"
#include "barretenberg/vm2/tracegen/merkle_check_trace.hpp"
#include "barretenberg/vm2/tracegen/poseidon2_trace.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"

Go to the source code of this file.

Classes
struct	MerkleCheckFuzzerInput

Typedefs
using	merkle_check_rel = bb::avm2::merkle_check< FF >

Functions
size_t	LLVMFuzzerCustomMutator (uint8_t *data, size_t size, size_t max_size, unsigned int seed)
int	LLVMFuzzerTestOneInput (const uint8_t *data, size_t size)

Typedef Documentation

merkle_check_rel

using merkle_check_rel = bb::avm2::merkle_check<FF>

Definition at line 33 of file merkle_check.fuzzer.cpp.

Function Documentation

LLVMFuzzerCustomMutator()

size_t LLVMFuzzerCustomMutator	(	uint8_t *	data,
		size_t	size,
		size_t	max_size,
		unsigned int	seed
	)

Definition at line 89 of file merkle_check.fuzzer.cpp.

LLVMFuzzerTestOneInput()

int LLVMFuzzerTestOneInput	(	const uint8_t *	data,
		size_t	size
	)

Definition at line 170 of file merkle_check.fuzzer.cpp.