bb::DeciderProvingKeys_< Flavor_, NUM_ > Struct Template Reference

#include <decider_keys.hpp>

Public Types
using	Flavor = Flavor_
using	FF = typename Flavor::FF
using	DeciderPK = DeciderProvingKey_< Flavor >
using	ArrayType = std::array< std::shared_ptr< DeciderPK >, NUM_ >

Public Member Functions
std::shared_ptr< DeciderPK > const &	operator[] (size_t idx) const
ArrayType::const_iterator	begin () const
ArrayType::iterator	begin ()
ArrayType::const_iterator	end () const
ArrayType::iterator	end ()
	DeciderProvingKeys_ ()=default
	DeciderProvingKeys_ (std::vector< std::shared_ptr< DeciderPK > > data)
template<size_t LENGTH, size_t skip_count = 0>
auto	row_to_univariates (size_t row_idx) const
Flavor::template ProverUnivariates< 2 >	row_to_short_univariates (size_t row_idx) const

Public Attributes
ArrayType	_data

Static Public Attributes
static constexpr size_t	NUM = NUM_
static constexpr size_t	NUM_SUBRELATIONS = Flavor::NUM_SUBRELATIONS
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

Private Member Functions
auto	get_polynomials_views () const

Detailed Description

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>
struct bb::DeciderProvingKeys_< Flavor_, NUM_ >

Definition at line 14 of file decider_keys.hpp.

Member Typedef Documentation

ArrayType

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderProvingKeys_< Flavor_, NUM_ >::ArrayType = std::array<std::shared_ptr<DeciderPK>, NUM_>

Definition at line 23 of file decider_keys.hpp.

DeciderPK

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderProvingKeys_< Flavor_, NUM_ >::DeciderPK = DeciderProvingKey_<Flavor>

Definition at line 21 of file decider_keys.hpp.

FF

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderProvingKeys_< Flavor_, NUM_ >::FF = typename Flavor::FF

Definition at line 18 of file decider_keys.hpp.

Flavor

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

using bb::DeciderProvingKeys_< Flavor_, NUM_ >::Flavor = Flavor_

Definition at line 17 of file decider_keys.hpp.

Constructor & Destructor Documentation

DeciderProvingKeys_() [1/2]

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

bb::DeciderProvingKeys_< Flavor_, NUM_ >::DeciderProvingKeys_ ( )

default

DeciderProvingKeys_() [2/2]

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

bb::DeciderProvingKeys_< Flavor_, NUM_ >::DeciderProvingKeys_ ( std::vector< std::shared_ptr< DeciderPK > >  data )

inline

Definition at line 36 of file decider_keys.hpp.

Member Function Documentation

begin() [1/2]

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

ArrayType::iterator bb::DeciderProvingKeys_< Flavor_, NUM_ >::begin ( )

inline

Definition at line 32 of file decider_keys.hpp.

begin() [2/2]

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

ArrayType::const_iterator bb::DeciderProvingKeys_< Flavor_, NUM_ >::begin ( ) const

inline

Definition at line 31 of file decider_keys.hpp.

end() [1/2]

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

ArrayType::iterator bb::DeciderProvingKeys_< Flavor_, NUM_ >::end ( )

inline

Definition at line 34 of file decider_keys.hpp.

end() [2/2]

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

ArrayType::const_iterator bb::DeciderProvingKeys_< Flavor_, NUM_ >::end ( ) const

inline

Definition at line 33 of file decider_keys.hpp.

get_polynomials_views()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

auto bb::DeciderProvingKeys_< Flavor_, NUM_ >::get_polynomials_views ( ) const

inlineprivate

Definition at line 97 of file decider_keys.hpp.

operator[]()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

std::shared_ptr< DeciderPK > const & bb::DeciderProvingKeys_< Flavor_, NUM_ >::operator[] ( size_t  idx ) const

inline

Definition at line 30 of file decider_keys.hpp.

row_to_short_univariates()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

Flavor::template ProverUnivariates< 2 > bb::DeciderProvingKeys_< Flavor_, NUM_ >::row_to_short_univariates ( size_t  row_idx ) const

inline

Definition at line 79 of file decider_keys.hpp.

row_to_univariates()

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

template<size_t LENGTH, size_t skip_count = 0>

auto bb::DeciderProvingKeys_< Flavor_, NUM_ >::row_to_univariates ( size_t  row_idx ) const

inline

Definition at line 63 of file decider_keys.hpp.

Member Data Documentation

_data

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

ArrayType bb::DeciderProvingKeys_< Flavor_, NUM_ >::_data

Definition at line 28 of file decider_keys.hpp.

BATCHED_EXTENDED_LENGTH

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

constexpr size_t bb::DeciderProvingKeys_< Flavor_, NUM_ >::BATCHED_EXTENDED_LENGTH = (Flavor::MAX_TOTAL_RELATION_LENGTH - 1 + NUM - 1) * (NUM - 1) + 1

staticconstexpr

Definition at line 26 of file decider_keys.hpp.

EXTENDED_LENGTH

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

constexpr size_t bb::DeciderProvingKeys_< Flavor_, NUM_ >::EXTENDED_LENGTH = (Flavor::MAX_TOTAL_RELATION_LENGTH - 1) * (NUM - 1) + 1

staticconstexpr

Definition at line 25 of file decider_keys.hpp.

NUM

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

constexpr size_t bb::DeciderProvingKeys_< Flavor_, NUM_ >::NUM = NUM_

staticconstexpr

Definition at line 19 of file decider_keys.hpp.

NUM_SUBRELATIONS

template<IsUltraOrMegaHonk Flavor_, size_t NUM_ = 2>

constexpr size_t bb::DeciderProvingKeys_< Flavor_, NUM_ >::NUM_SUBRELATIONS = Flavor::NUM_SUBRELATIONS

staticconstexpr

Definition at line 20 of file decider_keys.hpp.

---

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

• src/barretenberg/ultra_honk/decider_keys.hpp