#include "barretenberg/vm2/generated/relations/ecc.hpp"
#include <cassert>
#include <cstdint>
#include <fuzzer/FuzzedDataProvider.h>
#include <random>
#include "barretenberg/avm_fuzzer/mutations/basic_types/field.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/ecc/groups/affine_element.hpp"
#include "barretenberg/numeric/uint256/uint256.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/standard_affine_point.hpp"
#include "barretenberg/vm2/constraining/testing/check_relation.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
#include "barretenberg/vm2/generated/relations/scalar_mul.hpp"
#include "barretenberg/vm2/simulation/events/ecc_events.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/field_gt_event.hpp"
#include "barretenberg/vm2/simulation/events/gt_event.hpp"
#include "barretenberg/vm2/simulation/events/range_check_event.hpp"
#include "barretenberg/vm2/simulation/gadgets/ecc.hpp"
#include "barretenberg/vm2/simulation/gadgets/field_gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/range_check.hpp"
#include "barretenberg/vm2/simulation/gadgets/to_radix.hpp"
#include "barretenberg/vm2/tooling/debugger.hpp"
#include "barretenberg/vm2/tracegen/ecc_trace.hpp"
#include "barretenberg/vm2/tracegen/execution_trace.hpp"
#include "barretenberg/vm2/tracegen/field_gt_trace.hpp"
#include "barretenberg/vm2/tracegen/gt_trace.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/range_check_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"
#include "barretenberg/vm2/tracegen/to_radix_trace.hpp"

Classes
struct	EccFuzzerInput

Typedefs
using	StandardAffinePoint = avm2::StandardAffinePoint< AffinePoint >

using	ecc_rel = bb::avm2::ecc< FF >

using	scalar_mul_rel = bb::avm2::scalar_mul< 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

◆ ecc_rel

using ecc_rel = bb::avm2::ecc<FF>

Definition at line 51 of file ecc.fuzzer.cpp.

◆ scalar_mul_rel

using scalar_mul_rel = bb::avm2::scalar_mul<FF>

Definition at line 52 of file ecc.fuzzer.cpp.

◆ StandardAffinePoint

using StandardAffinePoint = avm2::StandardAffinePoint<AffinePoint>

Definition at line 44 of file ecc.fuzzer.cpp.

Function Documentation

◆ LLVMFuzzerCustomMutator()

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

Definition at line 132 of file ecc.fuzzer.cpp.

◆ LLVMFuzzerTestOneInput()

int LLVMFuzzerTestOneInput	(	const uint8_t *	data,
		size_t	size
	)

Definition at line 217 of file ecc.fuzzer.cpp.

Classes

Typedefs