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 <goblin_ultra.hpp>
Inheritance diagram for proof_system::honk::flavor::GoblinUltra::AllEntities< DataType >:
Public Member Functions | |
| RefVector< DataType > | get_wires () |
| RefVector< DataType > | get_ecc_op_wires () |
| RefVector< DataType > | get_unshifted () |
| RefVector< DataType > | get_witness () |
| RefVector< DataType > | get_to_be_shifted () |
| RefVector< DataType > | get_precomputed () |
| RefVector< DataType > | get_shifted () |
 Public Member Functions inherited from proof_system::honk::flavor::GoblinUltra::PrecomputedEntities< DataType_ > | |
| DEFINE_FLAVOR_MEMBERS (DataType, q_m, q_c, q_l, q_r, q_o, q_4, q_arith, q_sort, q_elliptic, q_aux, q_lookup, q_busread, 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 | |
| RefVector< DataType > | get_selectors () |
| RefVector< DataType > | get_sigma_polynomials () |
| RefVector< DataType > | get_id_polynomials () |
| RefVector< DataType > | get_table_polynomials () |
Additional Inherited Members | |
| Public Types inherited from proof_system::honk::flavor::GoblinUltra::PrecomputedEntities< DataType_ > | |
| using | DataType = DataType_ |
| Public Attributes inherited from proof_system::honk::flavor::PrecomputedEntitiesBase | |
| size_t | circuit_size |
| size_t | log_circuit_size |
| size_t | num_public_inputs |
| CircuitType | circuit_type |
Detailed Description
template<typename DataType>
class proof_system::honk::flavor::GoblinUltra::AllEntities< DataType >
class proof_system::honk::flavor::GoblinUltra::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.
The documentation for this class was generated from the following file:
- src/barretenberg/flavor/goblin_ultra.hpp
