|
barretenberg
|
Public Types | |
| typedef getters::EvaluationGetter< Field, transcript::StandardTranscript, Settings, num_independent_relations > | EvaluationGetter |
| typedef getters::FFTGetter< Field, transcript::StandardTranscript, Settings, num_independent_relations > | FFTGetter |
| typedef KernelBase< Field, FFTGetter, poly_ptr_map > | FFTKernel |
| typedef KernelBase< Field, EvaluationGetter, poly_array > | EvaluationKernel |
Public Member Functions | |
| TransitionWidget (proving_key *_key=nullptr) | |
| TransitionWidget (const TransitionWidget &other) | |
| TransitionWidget (TransitionWidget &&other) | |
| TransitionWidget & | operator= (const TransitionWidget &other) |
| TransitionWidget & | operator= (TransitionWidget &&other) |
| Field | compute_quotient_contribution (const Field &alpha_base, const transcript::StandardTranscript &transcript) override |
Public Member Functions inherited from proof_system::plonk::widget::TransitionWidgetBase< Field > | |
| TransitionWidgetBase (proving_key *_key=nullptr) | |
| TransitionWidgetBase (const TransitionWidgetBase &other) | |
| TransitionWidgetBase (TransitionWidgetBase &&other) | |
| TransitionWidgetBase & | operator= (const TransitionWidgetBase &other) |
| TransitionWidgetBase & | operator= (TransitionWidgetBase &&other) |
| virtual Field | compute_quotient_contribution (const Field &, const transcript::StandardTranscript &)=0 |
Protected Types | |
| typedef containers::poly_ptr_map< Field > | poly_ptr_map |
| typedef containers::poly_array< Field > | poly_array |
| typedef containers::challenge_array< Field, num_independent_relations > | challenge_array |
Static Protected Attributes | |
| static constexpr size_t | num_independent_relations = KernelBase<int, int, int>::num_independent_relations |
Additional Inherited Members | |
Public Attributes inherited from proof_system::plonk::widget::TransitionWidgetBase< Field > | |
| proving_key * | key |
|
inlineoverridevirtual |