Public Types
using	Flavor = Flavor_

using	FoldingParameters = typename Flavor::FoldingParameters

using	FF = typename Flavor::FF

using	Instance = ProverInstance_< Flavor >

using	ArrayType = std::array< std::shared_ptr< Instance >, NUM_ >

using	RelationParameters = proof_system::RelationParameters< Univariate< FF, EXTENDED_LENGTH > >

using	AlphaType = Univariate< FF, BATCHED_EXTENDED_LENGTH >

Public Member Functions
std::shared_ptr< Instance > const &	operator[] (size_t idx) const

ArrayType::iterator	begin ()

ArrayType::iterator	end ()

	ProverInstances_ (std::vector< std::shared_ptr< Instance > > data)

std::vector< Univariate< FF, NUM > >	row_to_univariates (size_t row_idx) const

Static Public Attributes
static constexpr size_t	NUM = NUM_

static constexpr size_t	EXTENDED_LENGTH = (Flavor::MAX_TOTAL_RELATION_LENGTH - 1) * (NUM - 1) + 1

static constexpr size_t	BATCHED_EXTENDED_LENGTH = (Flavor::MAX_TOTAL_RELATION_LENGTH - 1 + NUM - 1) * (NUM - 1) + 1

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

Public Types

Public Member Functions