Core class implementing the arithmetic gate in Standard plonk. More...

Static Public Member Functions
static std::set< PolynomialIndex > const &	get_required_polynomial_ids ()

static void	accumulate_contribution (PolyContainer &polynomials, const challenge_array &challenges, Field &quotient, const size_t i=0)
	Computes the linear terms.

Static Public Attributes
static constexpr size_t	num_independent_relations = 1

static constexpr uint8_t	quotient_required_challenges = CHALLENGE_BIT_ALPHA

static constexpr uint8_t	update_required_challenges = CHALLENGE_BIT_ALPHA

Detailed Description

template<class Field, class Getters, typename PolyContainer>
class proof_system::plonk::widget::ArithmeticKernel< Field, Getters, PolyContainer >

Core class implementing the arithmetic gate in Standard plonk.

ArithmethicKernel provides the logic that implements the standard arithmetic transition q_m * w_1 * w_2 + q_1 * w_1 + q_2 * w_2 + q_3 * w_3 + q_c=0

Uses only the alpha challenge

Template Parameters

Field	The basic field in which the elements operates
Getters	The class providing functions that access evaluations of polynomials at indices
PolyContainer	Container for the polynomials or their simulation

Member Function Documentation

template<class Field , class Getters , typename PolyContainer >

static void proof_system::plonk::widget::ArithmeticKernel< Field, Getters, PolyContainer >::accumulate_contribution	(	PolyContainer &	polynomials,
		const challenge_array &	challenges,
		Field &	quotient,
		const size_t	i = `0`
	)

inlinestatic

Computes the linear terms.

Multiplies the values at the first and second wire, puts the product and all the wires into the linear terms

Parameters

polynomials	Polynomials from which the values of wires are obtained
linear_terms	Container for results of computation
i	Index at which the wire values are sampled.

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

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