CycleGroupBase< Builder > Class Template Reference

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

#include <cycle_group.fuzzer.hpp>

Classes
class	ArgSizes
class	ExecutionHandler
	This class implements the execution of cycle group with an oracle to detect discrepancies. More...
class	Instruction
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< CycleGroupBase::ExecutionHandler > &stack)
	Check that the resulting values are equal to expected.

Private Types
using	bool_t = typename bb::stdlib::bool_t< Builder >
using	field_t = typename bb::stdlib::field_t< Builder >
using	witness_t = typename bb::stdlib::witness_t< Builder >
using	public_witness_t = typename bb::stdlib::public_witness_t< Builder >
using	cycle_group_t = typename bb::stdlib::cycle_group< Builder >
using	cycle_scalar_t = typename cycle_group_t::cycle_scalar
using	Curve = typename bb::stdlib::cycle_group< Builder >::Curve
using	GroupElement = typename Curve::Element
using	AffineElement = typename Curve::AffineElement
using	ScalarField = typename Curve::ScalarField
using	BaseField = typename Curve::BaseField

Detailed Description

template<typename Builder>
class CycleGroupBase< Builder >

The class parametrizing CycleGroup fuzzing instructions, execution, etc.

Definition at line 64 of file cycle_group.fuzzer.hpp.

Member Typedef Documentation

AffineElement

template<typename Builder >

using CycleGroupBase< Builder >::AffineElement = typename Curve::AffineElement

private

Definition at line 74 of file cycle_group.fuzzer.hpp.

BaseField

template<typename Builder >

using CycleGroupBase< Builder >::BaseField = typename Curve::BaseField

private

Definition at line 76 of file cycle_group.fuzzer.hpp.

bool_t

template<typename Builder >

using CycleGroupBase< Builder >::bool_t = typename bb::stdlib::bool_t<Builder>

private

Definition at line 66 of file cycle_group.fuzzer.hpp.

Curve

template<typename Builder >

using CycleGroupBase< Builder >::Curve = typename bb::stdlib::cycle_group<Builder>::Curve

private

Definition at line 72 of file cycle_group.fuzzer.hpp.

cycle_group_t

template<typename Builder >

using CycleGroupBase< Builder >::cycle_group_t = typename bb::stdlib::cycle_group<Builder>

private

Definition at line 70 of file cycle_group.fuzzer.hpp.

cycle_scalar_t

template<typename Builder >

using CycleGroupBase< Builder >::cycle_scalar_t = typename cycle_group_t::cycle_scalar

private

Definition at line 71 of file cycle_group.fuzzer.hpp.

ExecutionState

template<typename Builder >

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

For cycle group execution state is just a vector of ExecutionHandler objects

Definition at line 1596 of file cycle_group.fuzzer.hpp.

field_t

template<typename Builder >

using CycleGroupBase< Builder >::field_t = typename bb::stdlib::field_t<Builder>

private

Definition at line 67 of file cycle_group.fuzzer.hpp.

GroupElement

template<typename Builder >

using CycleGroupBase< Builder >::GroupElement = typename Curve::Element

private

Definition at line 73 of file cycle_group.fuzzer.hpp.

public_witness_t

template<typename Builder >

using CycleGroupBase< Builder >::public_witness_t = typename bb::stdlib::public_witness_t<Builder>

private

Definition at line 69 of file cycle_group.fuzzer.hpp.

ScalarField

template<typename Builder >

using CycleGroupBase< Builder >::ScalarField = typename Curve::ScalarField

private

Definition at line 75 of file cycle_group.fuzzer.hpp.

witness_t

template<typename Builder >

using CycleGroupBase< Builder >::witness_t = typename bb::stdlib::witness_t<Builder>

private

Definition at line 68 of file cycle_group.fuzzer.hpp.

Member Function Documentation

postProcess()

template<typename Builder >

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

---

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

• src/barretenberg/stdlib/primitives/group/cycle_group.fuzzer.hpp