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 <mega_flavor.hpp>
Public Member Functions | |
| auto | get_unshifted () |
| auto | get_precomputed () |
| auto | get_witness () |
| auto | get_witness () const |
| auto | get_shifted () |
| auto | get_shifted () const |
 Public Member Functions inherited from bb::MegaFlavor::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_5, q_busread, q_lookup, q_arith, q_delta_range, q_elliptic, q_memory, q_nnf, q_poseidon2_external, q_poseidon2_external_initial, q_poseidon2_quad_internal, q_poseidon2_quad_internal_terminal, q_poseidon2_transition_entry, 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, lagrange_ecc_op, databus_id) 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::MegaFlavor::WitnessEntities_< DataType > | |
| auto | get_wires () |
| auto | get_ecc_op_wires () |
| template<size_t bus_idx> | |
| auto | databus_entities_for_bus () |
| template<size_t bus_idx> | |
| auto | databus_inverse_for_bus () |
| auto | get_databus_entities () |
| auto | get_databus_inverses () |
| auto | get_to_be_shifted () |
| Public Member Functions inherited from bb::MegaFlavor::WireEntities< DataType > | |
| DEFINE_FLAVOR_MEMBERS (DataType, w_l, w_r, w_o, w_4) | |
| Public Member Functions inherited from bb::MegaFlavor::DerivedEntities< DataType > | |
| DEFINE_FLAVOR_MEMBERS (DataType, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags, ecc_op_wire_1, ecc_op_wire_2, ecc_op_wire_3, ecc_op_wire_4, kernel_calldata, kernel_calldata_read_counts, kernel_calldata_inverses, first_app_calldata, first_app_calldata_read_counts, first_app_calldata_inverses, second_app_calldata, second_app_calldata_read_counts, second_app_calldata_inverses, third_app_calldata, third_app_calldata_read_counts, third_app_calldata_inverses, return_data, return_data_read_counts, return_data_inverses) | |
| auto | get_to_be_shifted () |
Additional Inherited Members | |
| Public Types inherited from bb::MegaFlavor::PrecomputedEntities< DataType_ > | |
| using | DataType = DataType_ |
Detailed Description
class bb::MegaFlavor::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 constructed during sumcheck; the evaluations produced by sumcheck.
Symbolically we have: AllEntities = PrecomputedEntities + WitnessEntities + ShiftedEntities. Note: Mega has no MaskingEntities — ZK masking is provided by the Translator in Chonk.
Definition at line 316 of file mega_flavor.hpp.
Member Function Documentation
◆ get_precomputed()
|
inline |
Definition at line 326 of file mega_flavor.hpp.
◆ get_shifted() [1/2]
|
inline |
Definition at line 329 of file mega_flavor.hpp.
◆ get_shifted() [2/2]
|
inline |
Definition at line 330 of file mega_flavor.hpp.
◆ get_unshifted()
|
inline |
Definition at line 322 of file mega_flavor.hpp.
◆ get_witness() [1/2]
|
inline |
Definition at line 327 of file mega_flavor.hpp.
◆ get_witness() [2/2]
|
inline |
Definition at line 328 of file mega_flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/flavor/mega_flavor.hpp
