eccvm.fuzzer.cpp File Reference

#include "barretenberg/crypto/generators/generator_data.hpp"
#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/ecc/fields/field.fuzzer.hpp"
#include "barretenberg/eccvm/eccvm_circuit_builder.hpp"
#include "barretenberg/eccvm/eccvm_trace_checker.hpp"
#include "barretenberg/op_queue/ecc_op_queue.hpp"
#include <cassert>
#include <cstdint>
#include <iostream>
#include <vector>

Go to the source code of this file.

Classes
struct	FieldVMDataChunk
struct	SingleOp
struct	FuzzerTuple
struct	OperationDetail

Typedefs
using	G1 = bb::g1
using	Fr = typename G1::Fr
using	Element = bb::curve::BN254::Element

Enumerations
enum class	OpType : uint8_t {   ADD = 0 , MUL = 1 , EQ_AND_RESET = 2 , MERGE = 3 ,   EMPTY_ROW = 4 , MAX_OP = 5 }

Functions
void	print_operation_details (size_t op_index, OpType op_type, size_t generator_index, const Fr &scalar, bool is_infinity, bool should_negate=false)
int	LLVMFuzzerTestOneInput (const uint8_t *Data, size_t Size)

Typedef Documentation

Element

using Element = bb::curve::BN254::Element

Definition at line 21 of file eccvm.fuzzer.cpp.

Fr

using Fr = typename G1::Fr

Definition at line 20 of file eccvm.fuzzer.cpp.

G1

using G1 = bb::g1

Definition at line 19 of file eccvm.fuzzer.cpp.

Enumeration Type Documentation

OpType

enum class OpType : uint8_t

strong

Enumerator
ADD
MUL
EQ_AND_RESET
MERGE
EMPTY_ROW
MAX_OP

Definition at line 28 of file eccvm.fuzzer.cpp.

Function Documentation

LLVMFuzzerTestOneInput()

int LLVMFuzzerTestOneInput	(	const uint8_t *	Data,
		size_t	Size
	)

Definition at line 96 of file eccvm.fuzzer.cpp.

print_operation_details()

void print_operation_details	(	size_t	op_index,
		OpType	op_type,
		size_t	generator_index,
		const Fr &	scalar,
		bool	is_infinity,
		bool	should_negate = false
	)

Definition at line 63 of file eccvm.fuzzer.cpp.