Inheritance diagram for bb::SmallSubgroupIPATest< Flavor >:

Public Types
using	Curve = typename Flavor::Curve

using	Transcript = typename Flavor::Transcript

using	FF = typename Curve::ScalarField

Public Member Functions
void	SetUp () override

std::array< FF, NUM_SMALL_IPA_EVALUATIONS >	evaluate_small_ipa_witnesses (const std::array< Polynomial< FF >, NUM_SMALL_IPA_EVALUATIONS > &witness_polynomials)

Static Public Member Functions
static std::vector< FF >	generate_random_vector (const size_t size)

Public Attributes
FF	evaluation_challenge

Static Public Attributes
static constexpr FF	subgroup_generator = Curve::subgroup_generator

static constexpr size_t	log_circuit_size = 7

static constexpr size_t	circuit_size = 1ULL << log_circuit_size

Detailed Description

template<typename Flavor>
class bb::SmallSubgroupIPATest< Flavor >

Definition at line 11 of file small_subgroup_ipa.test.cpp.

Member Typedef Documentation

◆ Curve

template<typename Flavor >

using bb::SmallSubgroupIPATest< Flavor >::Curve = typename Flavor::Curve

Definition at line 13 of file small_subgroup_ipa.test.cpp.

◆ FF

template<typename Flavor >

using bb::SmallSubgroupIPATest< Flavor >::FF = typename Curve::ScalarField

Definition at line 15 of file small_subgroup_ipa.test.cpp.

◆ Transcript

template<typename Flavor >

using bb::SmallSubgroupIPATest< Flavor >::Transcript = typename Flavor::Transcript

Definition at line 14 of file small_subgroup_ipa.test.cpp.

Member Function Documentation

◆ evaluate_small_ipa_witnesses()

template<typename Flavor >

std::array< FF, NUM_SMALL_IPA_EVALUATIONS > bb::SmallSubgroupIPATest< Flavor >::evaluate_small_ipa_witnesses ( const std::array< Polynomial< FF >, NUM_SMALL_IPA_EVALUATIONS > & witness_polynomials )