Loading...
Searching...
No Matches
bb::TranslatorFlavor::AllEntities< DataType > Class Template Reference
A base class labelling all entities (for instance, all of the polynomials used by the prover during sumcheck) in this Honk variant along with particular subsets of interest. More...
#include <translator_flavor.hpp>
Inheritance diagram for bb::TranslatorFlavor::AllEntities< DataType >:
Public Member Functions | |
| 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 () const |
| 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_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) | |
Friends | |
| std::ostream & | operator<< (std::ostream &os, const AllEntities &a) |
Additional Inherited Members | |
| Public Types inherited from bb::TranslatorFlavor::PrecomputedEntities< DataType_ > | |
| using | DataType = DataType_ |
Detailed Description
template<typename DataType>
class bb::TranslatorFlavor::AllEntities< DataType >
class bb::TranslatorFlavor::AllEntities< DataType >
A base class labelling all entities (for instance, all of the polynomials used by the prover during sumcheck) in this Honk variant along with particular subsets of interest.
Used to build containers for: the prover's polynomial during sumcheck; the sumcheck's folded polynomials; the univariates consturcted during during sumcheck; the evaluations produced by sumcheck.
Symbolically we have: AllEntities = PrecomputedEntities + WitnessEntities + ShiftedEntities.
Definition at line 601 of file translator_flavor.hpp.
Member Function Documentation
◆ get_interleaved()
template<typename DataType >
|
inline |
Getter for entities constructed by interleaving.
Definition at line 612 of file translator_flavor.hpp.
◆ get_ordered_range_constraints()
template<typename DataType >
|
inline |
Getter for the ordered entities used in computing the denominator of the grand product in the permutation relation.
Definition at line 618 of file translator_flavor.hpp.
◆ get_precomputed()
template<typename DataType >
|
inline |
Definition at line 607 of file translator_flavor.hpp.
◆ get_shifted()
template<typename DataType >
|
inline |
Definition at line 631 of file translator_flavor.hpp.
◆ get_unshifted()
template<typename DataType >
|
inline |
Definition at line 620 of file translator_flavor.hpp.
◆ get_unshifted_without_interleaved()
template<typename DataType >
|
inline |
Definition at line 625 of file translator_flavor.hpp.
Friends And Related Symbol Documentation
◆ operator<<
template<typename DataType >
|
friend |
Definition at line 633 of file translator_flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/translator_vm/translator_flavor.hpp
