bb::TranslatorRecursiveFlavor::AllValues Class Reference

A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. More...

#include <translator_recursive_flavor.hpp>

Inheritance diagram for bb::TranslatorRecursiveFlavor::AllValues:

Public Types
using	Base = TranslatorFlavor::AllEntities< FF >
Public Types inherited from bb::TranslatorFlavor::PrecomputedEntities< DataType_ >
using	DataType = DataType_

Additional Inherited Members
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.

Detailed Description

A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point.

Definition at line 92 of file translator_recursive_flavor.hpp.

Member Typedef Documentation

Base

using bb::TranslatorRecursiveFlavor::AllValues::Base = TranslatorFlavor::AllEntities<FF>

Definition at line 94 of file translator_recursive_flavor.hpp.

---

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

• src/barretenberg/stdlib/translator_vm_verifier/translator_recursive_flavor.hpp