bb::TranslatorFlavor::ProverPolynomials Class Reference

A container for the prover polynomials handles. More...

#include <translator_flavor.hpp>

Inheritance diagram for bb::TranslatorFlavor::ProverPolynomials:

Public Member Functions
	ProverPolynomials ()
	ProverPolynomials constructor.
ProverPolynomials &	operator= (const ProverPolynomials &)=delete
	ProverPolynomials (const ProverPolynomials &o)=delete
	ProverPolynomials (ProverPolynomials &&o) noexcept=default
ProverPolynomials &	operator= (ProverPolynomials &&o) noexcept=default
	~ProverPolynomials ()=default
AllValues	get_row (size_t row_idx) const
	Returns the evaluations of all prover polynomials at one point on the boolean hypercube, which represents one row in the execution trace.
void	set_shifted ()
Public Member Functions inherited from bb::TranslatorFlavor::AllEntities< DataType >
	DEFINE_COMPOUND_GET_ALL (MaskingEntities< DataType >, PrecomputedEntities< DataType >, WitnessEntities< DataType >, ShiftedEntities< DataType >) auto get_concatenated()
	Getter for concatenated polynomials.
auto	get_ordered_range_constraints ()
	Getter for the ordered entities used in computing the denominator of the grand product in the permutation relation.
auto	get_pcs_unshifted ()
	All unshifted polynomials for PCS (excludes computable precomputed, includes concatenated).
auto	get_pcs_to_be_shifted ()
	All to-be-shifted polynomials for PCS (base to-be-shifted + concatenated).
auto	get_shifted ()
auto	get_pcs_shifted ()
auto	get_full_circuit_entities ()
	Full-circuit entities sent in the proof (excludes computable precomputed, minicircuit wires, and concatenated polys whose evals are reconstructed from wire evals).
auto	get_minicircuit_wires ()
	The 77 minicircuit wires (unshifted): NonRangeMain(13) + RangeConstraint(64).
auto	get_minicircuit_wires_shifted ()
	The 77 minicircuit wire shifts: corresponds 1:1 with get_minicircuit_wires().
Public Member Functions inherited from bb::TranslatorFlavor::PrecomputedEntities< DataType_ >
bool	operator== (const PrecomputedEntities &other) const =default
	DEFINE_FLAVOR_MEMBERS (DataType, ordered_extra_range_constraints_numerator, lagrange_first, lagrange_last, lagrange_odd_in_minicircuit, lagrange_even_in_minicircuit, lagrange_result_row, lagrange_last_in_minicircuit, lagrange_masking, lagrange_mini_masking, lagrange_real_last, lagrange_ordered_masking)
Public Member Functions inherited from bb::TranslatorFlavor::WitnessEntities< DataType >
	DEFINE_COMPOUND_GET_ALL (WireNonshiftedEntities< DataType >, WireToBeShiftedEntities< DataType >, OrderedRangeConstraints< DataType >, DerivedWitnessEntities< DataType >, ConcatenatedPolynomials< DataType >) auto get_wires()
	Entities constructed from circuit data.
auto	get_non_opqueue_wires_and_ordered_range_constraints ()
	Concatenated polynomials and ordered range constraints (committed to by translator prover).
auto	get_all_to_be_shifted ()
	All polys that need shifted views for Sumcheck (corresponds 1:1 with ShiftedEntities).
auto	get_concatenated ()
	Get the concatenated polynomials.
std::vector< RefVector< DataType > >	get_groups_to_be_concatenated ()
	Get all minicircuit wire polynomials that are concatenated into the 5 concatenated polys.
Public Member Functions inherited from bb::TranslatorFlavor::OpQueueWireNonshiftedEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, op)
Public Member Functions inherited from bb::TranslatorFlavor::RangeConstraintWires< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, p_x_low_limbs_range_constraint_0, p_x_low_limbs_range_constraint_1, p_x_low_limbs_range_constraint_2, p_x_low_limbs_range_constraint_3, p_x_low_limbs_range_constraint_4, p_x_low_limbs_range_constraint_tail, p_x_high_limbs_range_constraint_0, p_x_high_limbs_range_constraint_1, p_x_high_limbs_range_constraint_2, p_x_high_limbs_range_constraint_3, p_x_high_limbs_range_constraint_4, p_x_high_limbs_range_constraint_tail, p_y_low_limbs_range_constraint_0, p_y_low_limbs_range_constraint_1, p_y_low_limbs_range_constraint_2, p_y_low_limbs_range_constraint_3, p_y_low_limbs_range_constraint_4, p_y_low_limbs_range_constraint_tail, p_y_high_limbs_range_constraint_0, p_y_high_limbs_range_constraint_1, p_y_high_limbs_range_constraint_2, p_y_high_limbs_range_constraint_3, p_y_high_limbs_range_constraint_4, p_y_high_limbs_range_constraint_tail, z_low_limbs_range_constraint_0, z_low_limbs_range_constraint_1, z_low_limbs_range_constraint_2, z_low_limbs_range_constraint_3, z_low_limbs_range_constraint_4, z_low_limbs_range_constraint_tail, z_high_limbs_range_constraint_0, z_high_limbs_range_constraint_1, z_high_limbs_range_constraint_2, z_high_limbs_range_constraint_3, z_high_limbs_range_constraint_4, z_high_limbs_range_constraint_tail, accumulator_low_limbs_range_constraint_0, accumulator_low_limbs_range_constraint_1, accumulator_low_limbs_range_constraint_2, accumulator_low_limbs_range_constraint_3, accumulator_low_limbs_range_constraint_4, accumulator_low_limbs_range_constraint_tail, accumulator_high_limbs_range_constraint_0, accumulator_high_limbs_range_constraint_1, accumulator_high_limbs_range_constraint_2, accumulator_high_limbs_range_constraint_3, accumulator_high_limbs_range_constraint_4, accumulator_high_limbs_range_constraint_tail, quotient_low_limbs_range_constraint_0, quotient_low_limbs_range_constraint_1, quotient_low_limbs_range_constraint_2, quotient_low_limbs_range_constraint_3, quotient_low_limbs_range_constraint_4, quotient_low_limbs_range_constraint_tail, quotient_high_limbs_range_constraint_0, quotient_high_limbs_range_constraint_1, quotient_high_limbs_range_constraint_2, quotient_high_limbs_range_constraint_3, quotient_high_limbs_range_constraint_4, quotient_high_limbs_range_constraint_tail, relation_wide_limbs_range_constraint_0, relation_wide_limbs_range_constraint_1, relation_wide_limbs_range_constraint_2, relation_wide_limbs_range_constraint_3)
Public Member Functions inherited from bb::TranslatorFlavor::OrderedRangeConstraints< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, ordered_range_constraints_0, ordered_range_constraints_1, ordered_range_constraints_2, ordered_range_constraints_3, ordered_range_constraints_4)
Public Member Functions inherited from bb::TranslatorFlavor::DerivedWitnessEntities< DataType >
	DEFINE_FLAVOR_MEMBERS (DataType, z_perm)
Public Member Functions inherited from bb::TranslatorFlavor::ShiftedEntities< DataType >
	DEFINE_COMPOUND_GET_ALL (OpQueueShiftedEntities< DataType >, NonOpQueueShiftedEntities< DataType >, DerivedShiftedEntities< DataType >) auto get_pcs_shifted()
	PCS-level shifted evaluations matching get_to_be_shifted(): op_queue(3) + ordered_range(5) + z_perm(1) = 9.
std::vector< RefVector< DataType > >	get_groups_to_be_concatenated_shifted ()
	Get the shifted versions of minicircuit wires organized into 5 concatenation groups.

Static Public Member Functions
static size_t	get_polynomial_size ()

Additional Inherited Members
Public Types inherited from bb::TranslatorFlavor::PrecomputedEntities< DataType_ >
using	DataType = DataType_

Detailed Description

A container for the prover polynomials handles.

Definition at line 996 of file translator_flavor.hpp.

Constructor & Destructor Documentation

ProverPolynomials() [1/3]

bb::TranslatorFlavor::ProverPolynomials::ProverPolynomials ( )

inline

ProverPolynomials constructor.

Initializes wire polynomials efficiently to be only minicircuit size..

Definition at line 1002 of file translator_flavor.hpp.

ProverPolynomials() [2/3]

bb::TranslatorFlavor::ProverPolynomials::ProverPolynomials ( const ProverPolynomials &  o )

delete

ProverPolynomials() [3/3]

bb::TranslatorFlavor::ProverPolynomials::ProverPolynomials ( ProverPolynomials &&  o )

defaultnoexcept

~ProverPolynomials()

bb::TranslatorFlavor::ProverPolynomials::~ProverPolynomials ( )

default

Member Function Documentation

get_polynomial_size()

static size_t bb::TranslatorFlavor::ProverPolynomials::get_polynomial_size ( )

inlinestatic

Definition at line 1087 of file translator_flavor.hpp.

get_row()

AllValues bb::TranslatorFlavor::ProverPolynomials::get_row ( size_t  row_idx ) const

inline

Returns the evaluations of all prover polynomials at one point on the boolean hypercube, which represents one row in the execution trace.

Definition at line 1092 of file translator_flavor.hpp.

operator=() [1/2]

ProverPolynomials & bb::TranslatorFlavor::ProverPolynomials::operator= ( const ProverPolynomials &  )

delete

operator=() [2/2]

ProverPolynomials & bb::TranslatorFlavor::ProverPolynomials::operator= ( ProverPolynomials &&  o )

defaultnoexcept

set_shifted()

void bb::TranslatorFlavor::ProverPolynomials::set_shifted ( )

inline

Definition at line 1108 of file translator_flavor.hpp.

---

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

• src/barretenberg/translator_vm/translator_flavor.hpp