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_shifted () |
 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_busread, 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, lagrange_ecc_op, databus_id) 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::MegaFlavor::WitnessEntities< DataType > | |
| auto | get_wires () |
| auto | get_ecc_op_wires () |
| auto | get_databus_entities () |
| auto | get_databus_inverses () |
| auto | get_to_be_shifted () |
| MSGPACK_FIELDS (this->w_l, this->w_r, this->w_o, this->w_4, this->z_perm, this->lookup_inverses, this->lookup_read_counts, this->lookup_read_tags, this->ecc_op_wire_1, this->ecc_op_wire_2, this->ecc_op_wire_3, this->ecc_op_wire_4, this->calldata, this->calldata_read_counts, this->calldata_read_tags, this->calldata_inverses, this->secondary_calldata, this->secondary_calldata_read_counts, this->secondary_calldata_read_tags, this->secondary_calldata_inverses, this->return_data, this->return_data_read_counts, this->return_data_read_tags, this->return_data_inverses) | |
| 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, calldata, calldata_read_counts, calldata_read_tags, calldata_inverses, secondary_calldata, secondary_calldata_read_counts, secondary_calldata_read_tags, secondary_calldata_inverses, return_data, return_data_read_counts, return_data_read_tags, 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 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 333 of file mega_flavor.hpp.
Member Function Documentation
◆ get_precomputed()
|
inline |
Definition at line 343 of file mega_flavor.hpp.
◆ get_shifted()
|
inline |
Definition at line 345 of file mega_flavor.hpp.
◆ get_unshifted()
|
inline |
Definition at line 339 of file mega_flavor.hpp.
◆ get_witness()
|
inline |
Definition at line 344 of file mega_flavor.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/flavor/mega_flavor.hpp
