Loading...
Searching...
No Matches
bb::TranslatorFlavor::ProverPolynomials Class Reference
A container for the prover polynomials handles. More...
#include <translator_flavor.hpp>
Inheritance diagram for bb::TranslatorFlavor::ProverPolynomials:
Public Member Functions | |
| ProverPolynomials () | |
| ProverPolynomials constructor. | |
| ProverPolynomials & | operator= (const ProverPolynomials &)=delete |
| ProverPolynomials (const ProverPolynomials &o)=delete | |
| ProverPolynomials (ProverPolynomials &&o) noexcept=default | |
| ProverPolynomials & | operator= (ProverPolynomials &&o) noexcept=default |
| ~ProverPolynomials ()=default | |
| size_t | get_polynomial_size () const |
| AllValues | get_row (size_t row_idx) const |
| Returns the evaluations of all prover polynomials at one point on the boolean hypercube, which represents one row in the execution trace. | |
| void | set_shifted () |
 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 the prover polynomials handles.
Definition at line 655 of file translator_flavor.hpp.
Constructor & Destructor Documentation
◆ ProverPolynomials() [1/3]
|
inline |
ProverPolynomials constructor.
Initializes wire polynomials efficiently to be only minicircuit size..
Definition at line 661 of file translator_flavor.hpp.
◆ ProverPolynomials() [2/3]
|
delete |
◆ ProverPolynomials() [3/3]
|
defaultnoexcept |
◆ ~ProverPolynomials()
|
default |
Member Function Documentation
◆ get_polynomial_size()
|
inline |
Definition at line 707 of file translator_flavor.hpp.
◆ get_row()
|
inline |
Returns the evaluations of all prover polynomials at one point on the boolean hypercube, which represents one row in the execution trace.
Definition at line 712 of file translator_flavor.hpp.
◆ operator=() [1/2]
|
delete |
◆ operator=() [2/2]
|
defaultnoexcept |
◆ set_shifted()
|
inline |
Definition at line 721 of file translator_flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/translator_vm/translator_flavor.hpp
