|
barretenberg
|
A container for storing the partially evaluated multivariates produced by sumcheck. More...
#include <goblin_ultra.hpp>
Public Member Functions | |
| PartiallyEvaluatedMultivariates (const size_t circuit_size) | |
Public Member Functions inherited from proof_system::honk::flavor::GoblinUltra::AllEntities< DataType > | |
| 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 |
A container for storing the partially evaluated multivariates produced by sumcheck.