Implements loading polynomial openings from transcript in addition to BaseGetter's loading challenges from the transcript and computing powers of α More...

#include <transition_widget.hpp>

Inheritance diagram for proof_system::plonk::widget::getters::EvaluationGetter< Field, Transcript, Settings, num_widget_relations >:

Static Public Member Functions
template<bool use_shifted_evaluation, PolynomialIndex id>
static const Field &	get_value (const poly_array &polynomials, const size_t=0)

static poly_array	get_polynomial_evaluations (const polynomial_manifest &polynomial_manifest, const Transcript &transcript)
	Return an array with poly.

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_array< Field >	poly_array

typedef PolynomialManifest	polynomial_manifest

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<class Field, class Transcript, class Settings, size_t num_widget_relations>
class proof_system::plonk::widget::getters::EvaluationGetter< Field, Transcript, Settings, num_widget_relations >

Implements loading polynomial openings from transcript in addition to BaseGetter's loading challenges from the transcript and computing powers of α

Template Parameters

Field	Base field
Transcript	Transcript class
Settings	Configuration
num_widget_relations	How many powers of α are needed

Member Function Documentation

◆ get_polynomial_evaluations()

template<class Field , class Transcript , class Settings , size_t num_widget_relations>

static poly_array proof_system::plonk::widget::getters::EvaluationGetter< Field, Transcript, Settings, num_widget_relations >::get_polynomial_evaluations	(	const polynomial_manifest &	polynomial_manifest,
		const Transcript &	transcript
	)

inlinestatic

Return an array with poly.

Parameters

polynomial_manifest
transcript

Returns: poly_array

◆ get_value()

template<class Field , class Transcript , class Settings , size_t num_widget_relations>

template<bool use_shifted_evaluation, PolynomialIndex id>

static const Field & proof_system::plonk::widget::getters::EvaluationGetter< Field, Transcript, Settings, num_widget_relations >::get_value	(	const poly_array &	polynomials,
		const	size_t = `0`
	)

inlinestatic

Get a polynomial at offset id

Parameters

polynomials	An array of polynomials
size_t	Unused

Template Parameters

use_shifted_evaluation	Whether to pick first or second
id	Polynomial index.

Returns: The chosen polynomial

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

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

Static Public Member Functions

Protected Types

Detailed Description

Member Function Documentation

◆ get_polynomial_evaluations()

◆ get_value()