barretenberg
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Protected Types | Static Protected Attributes | List of all members
proof_system::plonk::widget::TransitionWidget< Field, Settings, KernelBase > Class Template Reference
Inheritance diagram for proof_system::plonk::widget::TransitionWidget< Field, Settings, KernelBase >:
proof_system::plonk::widget::TransitionWidgetBase< Field >

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_mapFFTKernel
 
typedef KernelBase< Field, EvaluationGetter, poly_array > EvaluationKernel
 

Public Member Functions

 TransitionWidget (proving_key *_key=nullptr)
 
 TransitionWidget (const TransitionWidget &other)
 
 TransitionWidget (TransitionWidget &&other)
 
TransitionWidgetoperator= (const TransitionWidget &other)
 
TransitionWidgetoperator= (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)
 
TransitionWidgetBaseoperator= (const TransitionWidgetBase &other)
 
TransitionWidgetBaseoperator= (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_keykey
 

Member Function Documentation

◆ compute_quotient_contribution()

template<class Field , class Settings , template< typename, typename, typename > typename KernelBase>
Field proof_system::plonk::widget::TransitionWidget< Field, Settings, KernelBase >::compute_quotient_contribution ( const Field &  alpha_base,
const transcript::StandardTranscript transcript 
)
inlineoverridevirtual

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