Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::TranslatorFlavor::PartiallyEvaluatedMultivariates Class Reference

A container for storing the partially evaluated multivariates produced by sumcheck. More...

#include <translator_flavor.hpp>

Inheritance diagram for bb::TranslatorFlavor::PartiallyEvaluatedMultivariates:
bb::TranslatorFlavor::AllEntities< DataType > bb::TranslatorFlavor::PrecomputedEntities< DataType_ > bb::TranslatorFlavor::WitnessEntities< DataType > bb::TranslatorFlavor::ShiftedEntities< DataType > bb::TranslatorFlavor::WireNonshiftedEntities< DataType > bb::TranslatorFlavor::WireToBeShiftedEntities< DataType > bb::TranslatorFlavor::OrderedRangeConstraints< DataType > bb::TranslatorFlavor::DerivedWitnessEntities< DataType > bb::TranslatorFlavor::InterleavedRangeConstraints< DataType >

Public Member Functions

 PartiallyEvaluatedMultivariates ()=default
 
 PartiallyEvaluatedMultivariates (const size_t circuit_size)
 
 PartiallyEvaluatedMultivariates (const ProverPolynomials &full_polynomials, size_t circuit_size)
 
- Public Member Functions inherited from bb::TranslatorFlavor::AllEntities< DataType >
auto get_precomputed () const
 
auto get_interleaved ()
 Getter for entities constructed by interleaving.
 
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_unshifted ()
 
auto get_unshifted_without_interleaved ()
 
auto get_shifted ()
 
- 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)
 
- Public Member Functions inherited from bb::TranslatorFlavor::WitnessEntities< DataType >
 DEFINE_COMPOUND_GET_ALL (WireNonshiftedEntities< DataType >, WireToBeShiftedEntities< DataType >, OrderedRangeConstraints< DataType >, DerivedWitnessEntities< DataType >, InterleavedRangeConstraints< DataType >) auto get_wires()
 Entities constructed from circuit data.
 
auto get_wires_to_be_shifted ()
 
auto get_wires_and_ordered_range_constraints ()
 Witness Entities to which the prover commits and do not require challenges (i.e. not derived).
 
auto get_unshifted_without_interleaved ()
 Witness Entities on which Shplemini operates in the default manner.
 
auto get_unshifted ()
 
auto get_to_be_shifted ()
 
auto get_interleaved ()
 Get the entities constructed by interleaving.
 
std::vector< RefVector< DataType > > get_groups_to_be_interleaved ()
 Get the entities interleaved for the permutation relation.
 
- Public Member Functions inherited from bb::TranslatorFlavor::WireNonshiftedEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, op)
 
- Public Member Functions inherited from bb::TranslatorFlavor::WireToBeShiftedEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, x_lo_y_hi, x_hi_z_1, y_lo_z_2, p_x_low_limbs, p_x_high_limbs, p_y_low_limbs, p_y_high_limbs, z_low_limbs, z_high_limbs, accumulators_binary_limbs_0, accumulators_binary_limbs_1, accumulators_binary_limbs_2, accumulators_binary_limbs_3, quotient_low_binary_limbs, quotient_high_binary_limbs, relation_wide_limbs, 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)
 

Additional Inherited Members

- Public Types inherited from bb::TranslatorFlavor::PrecomputedEntities< DataType_ >
using DataType = DataType_
 

Detailed Description

A container for storing the partially evaluated multivariates produced by sumcheck.

Definition at line 838 of file translator_flavor.hpp.

Constructor & Destructor Documentation

◆ PartiallyEvaluatedMultivariates() [1/3]

bb::TranslatorFlavor::PartiallyEvaluatedMultivariates::PartiallyEvaluatedMultivariates ( )
default

◆ PartiallyEvaluatedMultivariates() [2/3]

bb::TranslatorFlavor::PartiallyEvaluatedMultivariates::PartiallyEvaluatedMultivariates ( const size_t  circuit_size)
inline

Definition at line 841 of file translator_flavor.hpp.

◆ PartiallyEvaluatedMultivariates() [3/3]

bb::TranslatorFlavor::PartiallyEvaluatedMultivariates::PartiallyEvaluatedMultivariates ( const ProverPolynomials full_polynomials,
size_t  circuit_size 
)
inline

Definition at line 848 of file translator_flavor.hpp.


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