bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial > Class Template Reference

A container for polynomials handles used by the prover. More...

#include <prover_polynomials.hpp>

Inheritance diagram for bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >:

Public Member Functions
	ProverPolynomialsBase ()=default
ProverPolynomialsBase &	operator= (const ProverPolynomialsBase &)=delete
	ProverPolynomialsBase (const ProverPolynomialsBase &o)=delete
	ProverPolynomialsBase (ProverPolynomialsBase &&o) noexcept=default
ProverPolynomialsBase &	operator= (ProverPolynomialsBase &&o) noexcept=default
	~ProverPolynomialsBase ()=default
size_t	get_polynomial_size () const
AllValuesType	get_row (size_t row_idx) const
AllValuesType	get_row_for_permutation_arg (size_t row_idx)
void	set_shifted ()
size_t	max_end_index () const
void	increase_polynomials_virtual_size (const size_t size_in)

Detailed Description

template<typename AllEntitiesBase, typename AllValuesType, typename Polynomial>
class bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >

A container for polynomials handles used by the prover.

This base class provides the common implementation for all flavors. Each flavor should define a type alias like: template <bool HasZK_ = HasZK>> using ProverPolynomials_ = ProverPolynomialsBase<AllEntities_<Polynomial, HasZK_>, AllValues_<HasZK_>, Polynomial>;

Template Parameters

AllEntitiesBase	The AllEntities<Polynomial> type from the flavor
AllValuesType	The AllValues type from the flavor
Polynomial	The Polynomial type from the flavor

Definition at line 25 of file prover_polynomials.hpp.

Constructor & Destructor Documentation

ProverPolynomialsBase() [1/3]

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::ProverPolynomialsBase ( )

default

ProverPolynomialsBase() [2/3]

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::ProverPolynomialsBase ( const ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial > &  o )

delete

ProverPolynomialsBase() [3/3]

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::ProverPolynomialsBase ( ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial > &&  o )

defaultnoexcept

~ProverPolynomialsBase()

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::~ProverPolynomialsBase ( )

default

Member Function Documentation

get_polynomial_size()

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

size_t bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::get_polynomial_size ( ) const

inline

Definition at line 34 of file prover_polynomials.hpp.

get_row()

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

AllValuesType bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::get_row ( size_t  row_idx ) const

inline

Definition at line 35 of file prover_polynomials.hpp.

get_row_for_permutation_arg()

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

AllValuesType bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::get_row_for_permutation_arg ( size_t  row_idx )

inline

Definition at line 44 of file prover_polynomials.hpp.

increase_polynomials_virtual_size()

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

void bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::increase_polynomials_virtual_size ( const size_t  size_in )

inline

Definition at line 77 of file prover_polynomials.hpp.

max_end_index()

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

size_t bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::max_end_index ( ) const

inline

Definition at line 68 of file prover_polynomials.hpp.

operator=() [1/2]

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

ProverPolynomialsBase & bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::operator= ( const ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial > &  )

delete

operator=() [2/2]

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

ProverPolynomialsBase & bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::operator= ( ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial > &&  o )

defaultnoexcept

set_shifted()

template<typename AllEntitiesBase , typename AllValuesType , typename Polynomial >

void bb::ProverPolynomialsBase< AllEntitiesBase, AllValuesType, Polynomial >::set_shifted ( )

inline

Definition at line 60 of file prover_polynomials.hpp.

---

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

• src/barretenberg/flavor/prover_polynomials.hpp