BigFieldBase< Builder > Class Template Reference

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

#include <bigfield.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< BigFieldBase::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
typedef bb::stdlib::bigfield< Builder, bb::Bn254FqParams >	bigfield_t

Detailed Description

template<typename Builder>
class BigFieldBase< Builder >

The class parametrizing Bigfield fuzzing instructions, execution, etc.

Definition at line 129 of file bigfield.fuzzer.hpp.

Member Typedef Documentation

bigfield_t

template<typename Builder >

typedef bb::stdlib::bigfield<Builder, bb::Bn254FqParams> BigFieldBase< Builder >::bigfield_t

private

Definition at line 135 of file bigfield.fuzzer.hpp.

bool_t

template<typename Builder >

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

private

Definition at line 131 of file bigfield.fuzzer.hpp.

ExecutionState

template<typename Builder >

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

For bigfield execution state is just a vector of ExecutionHandler objects

Definition at line 1882 of file bigfield.fuzzer.hpp.

field_t

template<typename Builder >

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

private

Definition at line 132 of file bigfield.fuzzer.hpp.

public_witness_t

template<typename Builder >

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

private

Definition at line 134 of file bigfield.fuzzer.hpp.

witness_t

template<typename Builder >

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

private

Definition at line 133 of file bigfield.fuzzer.hpp.

Member Function Documentation

postProcess()

template<typename Builder >

static bool BigFieldBase< Builder >::postProcess ( Builder *  builder, std::vector< BigFieldBase< 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 1892 of file bigfield.fuzzer.hpp.

---

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

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