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>
Public Member Functions | |
| 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. | |
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
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 + MaskingEntities.
Definition at line 574 of file translator_flavor.hpp.
Member Function Documentation
◆ DEFINE_COMPOUND_GET_ALL()
|
inline |
Getter for concatenated polynomials.
Definition at line 579 of file translator_flavor.hpp.
◆ get_full_circuit_entities()
|
inline |
Full-circuit entities sent in the proof (excludes computable precomputed, minicircuit wires, and concatenated polys whose evals are reconstructed from wire evals).
Masking(1) + ordered_extra(1) + op(1) + OpQueueTBS(3) + OrderedRange(5) + z_perm(1)
- pcs_shifted(9) = 21
Definition at line 631 of file translator_flavor.hpp.
◆ get_minicircuit_wires()
|
inline |
The 77 minicircuit wires (unshifted): NonRangeMain(13) + RangeConstraint(64).
Definition at line 645 of file translator_flavor.hpp.
◆ get_minicircuit_wires_shifted()
|
inline |
The 77 minicircuit wire shifts: corresponds 1:1 with get_minicircuit_wires().
Definition at line 650 of file translator_flavor.hpp.
◆ get_ordered_range_constraints()
|
inline |
Getter for the ordered entities used in computing the denominator of the grand product in the permutation relation.
Definition at line 593 of file translator_flavor.hpp.
◆ get_pcs_shifted()
|
inline |
Definition at line 623 of file translator_flavor.hpp.
◆ get_pcs_to_be_shifted()
|
inline |
All to-be-shifted polynomials for PCS (base to-be-shifted + concatenated).
op_queue_shifted(3) + ordered(5) + z_perm(1) + concat(5) = 14
Definition at line 614 of file translator_flavor.hpp.
◆ get_pcs_unshifted()
|
inline |
All unshifted polynomials for PCS (excludes computable precomputed, includes concatenated).
masking(1) + ordered_extra(1) + op(1) + ordered(5) + z_perm(1) + concat(5) = 14
Definition at line 599 of file translator_flavor.hpp.
◆ get_shifted()
|
inline |
Definition at line 622 of file translator_flavor.hpp.
Friends And Related Symbol Documentation
◆ operator<<
|
friend |
Definition at line 652 of file translator_flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/translator_vm/translator_flavor.hpp
