proof_system::plonk::widget::GenericVerifierWidget< Field, Transcript, Settings, KernelBase > Class Template Reference

Public Types
typedef getters::EvaluationGetter< Field, Transcript, Settings, num_independent_relations >	EvaluationGetter
typedef KernelBase< Field, EvaluationGetter, poly_array >	EvaluationKernel

Static Public Member Functions
static Field	compute_quotient_evaluation_contribution (typename Transcript::Key *key, const Field &alpha_base, const Transcript &transcript, Field &quotient_numerator_eval)
static Field	append_scalar_multiplication_inputs (typename Transcript::Key *, const Field &alpha_base, const Transcript &transcript, std::map< std::string, Field > &)

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

---

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

• src/barretenberg/plonk/proof_system/widgets/transition_widgets/transition_widget.hpp