FieldBase< Builder > Class Template Reference

The class parametrizing Field fuzzing instructions, execution, etc. More...

#include <field.fuzzer.hpp>

Classes
class	ArgSizes
class	ExecutionHandler
	This class implements the execution of safeuint with an oracle to detect discrepancies. More...
class	Instruction
	A class representing a single fuzzing instruction. More...
class	InstructionWeights
	Optional subclass that governs limits on the use of certain instructions, since some of them can be too slow. More...
class	Parser
	Parser class handles the parsing and writing the instructions back to data buffer. More...

Public Types
typedef std::vector< ExecutionHandler >	ExecutionState

Static Public Member Functions
static bool	postProcess (Builder *builder, std::vector< FieldBase::ExecutionHandler > &stack)
	Check that the resulting values are equal to expected.

Private Types
typedef bb::stdlib::bool_t< Builder >	bool_t
typedef bb::stdlib::field_t< Builder >	field_t
typedef bb::stdlib::witness_t< Builder >	witness_t
typedef bb::stdlib::public_witness_t< Builder >	public_witness_t

Detailed Description

template<typename Builder>
class FieldBase< Builder >

The class parametrizing Field fuzzing instructions, execution, etc.

Definition at line 116 of file field.fuzzer.hpp.

Member Typedef Documentation

bool_t

template<typename Builder >

typedef bb::stdlib::bool_t<Builder> FieldBase< Builder >::bool_t

private

Definition at line 118 of file field.fuzzer.hpp.

ExecutionState

template<typename Builder >

typedef std::vector<ExecutionHandler> FieldBase< Builder >::ExecutionState

For field execution state is just a vector of ExecutionHandler objects

Definition at line 1666 of file field.fuzzer.hpp.

field_t

template<typename Builder >

typedef bb::stdlib::field_t<Builder> FieldBase< Builder >::field_t

private

Definition at line 119 of file field.fuzzer.hpp.

public_witness_t

template<typename Builder >

typedef bb::stdlib::public_witness_t<Builder> FieldBase< Builder >::public_witness_t

private

Definition at line 121 of file field.fuzzer.hpp.

witness_t

template<typename Builder >

typedef bb::stdlib::witness_t<Builder> FieldBase< Builder >::witness_t

private

Definition at line 120 of file field.fuzzer.hpp.

Member Function Documentation

postProcess()

template<typename Builder >

static bool FieldBase< Builder >::postProcess ( Builder *  builder, std::vector< FieldBase< Builder >::ExecutionHandler > &  stack  )

inlinestatic

Check that the resulting values are equal to expected.

Template Parameters

Builder

Parameters

builder
stack

Returns

true

false

Definition at line 1676 of file field.fuzzer.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/stdlib/primitives/field/field.fuzzer.hpp