Loading...
Searching...
No Matches
bb::TranslatorFlavor::WitnessEntities< DataType > Class Template Reference
Container for all witness polynomials used/constructed by the prover. More...
#include <translator_flavor.hpp>
Inheritance diagram for bb::TranslatorFlavor::WitnessEntities< DataType >:
Public Member Functions | |
| 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) | |
Detailed Description
template<typename DataType>
class bb::TranslatorFlavor::WitnessEntities< DataType >
class bb::TranslatorFlavor::WitnessEntities< DataType >
Container for all witness polynomials used/constructed by the prover.
Definition at line 351 of file translator_flavor.hpp.
Member Function Documentation
◆ DEFINE_COMPOUND_GET_ALL()
template<typename DataType >
|
inline |
Entities constructed from circuit data.
Definition at line 357 of file translator_flavor.hpp.
◆ get_all_to_be_shifted()
template<typename DataType >
|
inline |
All polys that need shifted views for Sumcheck (corresponds 1:1 with ShiftedEntities).
WireToBeShifted(80) + OrderedRangeConstraints(5) + DerivedWitness(1) = 86
Definition at line 387 of file translator_flavor.hpp.
◆ get_concatenated()
template<typename DataType >
|
inline |
Get the concatenated polynomials.
Definition at line 397 of file translator_flavor.hpp.
◆ get_groups_to_be_concatenated()
template<typename DataType >
|
inline |
Get all minicircuit wire polynomials that are concatenated into the 5 concatenated polys.
Returns 5 groups of 16 wires each. Groups 0-3 are range constraint wires; group 4 is 13 non-range main wires + 3 null padding slots.
Definition at line 404 of file translator_flavor.hpp.
◆ get_non_opqueue_wires_and_ordered_range_constraints()
template<typename DataType >
|
inline |
Concatenated polynomials and ordered range constraints (committed to by translator prover).
5 concatenated + 5 ordered = 10 commitments.
Definition at line 377 of file translator_flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/translator_vm/translator_flavor.hpp
