Provides access to polynomials (monomial or coset FFT) for use in widgets. More...
#include <transition_widget.hpp>
Inheritance diagram for proof_system::plonk::widget::getters::FFTGetter< Field, Transcript, Settings, num_widget_relations >:
Static Public Member Functions | |
| static poly_ptr_map | get_polynomials (proving_key *key, std::set< PolynomialIndex > required_polynomial_ids) |
| template<EvaluationType evaluation_type, PolynomialIndex id> | |
| static const Field & | get_value (poly_ptr_map &polynomials, const size_t index=0) |
 Static Public Member Functions inherited from proof_system::plonk::widget::getters::BaseGetter< Field, Transcript, Settings, num_widget_relations > | |
| static challenge_array | get_challenges (const Transcript &transcript, const Field &alpha_base, uint8_t required_challenges) |
| static Field | update_alpha (const challenge_array &challenges, const size_t num_independent_relations) |
Protected Types | |
| typedef containers::poly_ptr_map< Field > | poly_ptr_map |
| Protected Types inherited from proof_system::plonk::widget::getters::BaseGetter< Field, Transcript, Settings, num_widget_relations > | |
| typedef containers::challenge_array< Field, num_widget_relations > | challenge_array |
Detailed Description
template<typename Field, class Transcript, class Settings, size_t num_widget_relations>
class proof_system::plonk::widget::getters::FFTGetter< Field, Transcript, Settings, num_widget_relations >
class proof_system::plonk::widget::getters::FFTGetter< Field, Transcript, Settings, num_widget_relations >
Provides access to polynomials (monomial or coset FFT) for use in widgets.
Coset FFT access is needed in quotient construction.
- Template Parameters
-
Field Transcript Settings num_widget_relations representation
The documentation for this class was generated from the following file:
- src/barretenberg/plonk/proof_system/widgets/transition_widgets/transition_widget.hpp
