Loading...
Searching...
No Matches
bb::TranslatorFlavor::CommitmentLabels Class Reference
A container for commitment labels. More...
#include <translator_flavor.hpp>
Inheritance diagram for bb::TranslatorFlavor::CommitmentLabels:
Public Member Functions | |
| CommitmentLabels () | |
 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. | |
Additional Inherited Members | |
| Public Types inherited from bb::TranslatorFlavor::PrecomputedEntities< DataType_ > | |
| using | DataType = DataType_ |
Detailed Description
A container for commitment labels.
Only labels accessed by the prover/verifier are set: the 5 concatenated polynomials, 5 ordered range constraints, and z_perm. All other AllEntities fields remain empty strings.
Definition at line 1172 of file translator_flavor.hpp.
Constructor & Destructor Documentation
◆ CommitmentLabels()
|
inline |
Definition at line 1174 of file translator_flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/translator_vm/translator_flavor.hpp
