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 <ultra_flavor.hpp>
Public Member Functions | |
| auto | get_unshifted () |
| auto | get_precomputed () |
| auto | get_witness () |
 Public Member Functions inherited from bb::UltraFlavor::PrecomputedEntities< DataType_ > | |
| bool | operator== (const PrecomputedEntities &) const =default |
| DEFINE_FLAVOR_MEMBERS (DataType, q_m, q_c, q_l, q_r, q_o, q_4, q_lookup, q_arith, q_delta_range, q_elliptic, q_memory, q_nnf, q_poseidon2_external, q_poseidon2_internal, sigma_1, sigma_2, sigma_3, sigma_4, id_1, id_2, id_3, id_4, table_1, table_2, table_3, table_4, lagrange_first, lagrange_last) static const expr CircuitType CIRCUIT_TYPE | |
| auto | get_non_gate_selectors () |
| auto | get_gate_selectors () |
| auto | get_selectors () |
| auto | get_sigmas () |
| auto | get_ids () |
| auto | get_tables () |
| Public Member Functions inherited from bb::UltraFlavor::WitnessEntities< DataType > | |
| DEFINE_FLAVOR_MEMBERS (DataType, w_l, w_r, w_o, w_4, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags) auto get_wires() | |
| auto | get_to_be_shifted () |
| MSGPACK_FIELDS (w_l, w_r, w_o, w_4, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags) | |
| Public Member Functions inherited from bb::UltraFlavor::ShiftedEntities< DataType > | |
| DEFINE_FLAVOR_MEMBERS (DataType, w_l_shift, w_r_shift, w_o_shift, w_4_shift, z_perm_shift) auto get_shifted() | |
Additional Inherited Members | |
| Public Types inherited from bb::UltraFlavor::PrecomputedEntities< DataType_ > | |
| using | DataType = DataType_ |
Detailed Description
class bb::UltraFlavor::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". It could be implemented as such, but we have this now.
Definition at line 247 of file ultra_flavor.hpp.
Member Function Documentation
◆ get_precomputed()
|
inline |
Definition at line 257 of file ultra_flavor.hpp.
◆ get_unshifted()
|
inline |
Definition at line 253 of file ultra_flavor.hpp.
◆ get_witness()
|
inline |
Definition at line 258 of file ultra_flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/flavor/ultra_flavor.hpp
