A container for storing the partially evaluated multivariates produced by sumcheck.
More...
|
| | PartiallyEvaluatedMultivariates_ ()=default |
| |
| | PartiallyEvaluatedMultivariates_ (const size_t circuit_size) |
| |
| | PartiallyEvaluatedMultivariates_ (const ProverPolynomials_< HasZK_ > &full_polynomials, size_t circuit_size) |
| |
| | DEFINE_COMPOUND_GET_ALL (MaskingEntities< DataType, HasZK_ >, PrecomputedEntities< DataType >, WitnessEntities< DataType >, ShiftedEntities< DataType >) auto get_unshifted() |
| |
| auto | get_precomputed () |
| |
| auto | get_witness () |
| |
| auto | get_witness () const |
| |
| auto | get_all () |
| |
| auto | get_all () const |
| |
| 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) auto get_non_gate_selectors() |
| |
| auto | get_gate_selectors () |
| |
| auto | get_selectors () |
| |
| auto | get_sigmas () |
| |
| auto | get_ids () |
| |
| auto | get_tables () |
| |
| | 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) |
| |
| | DEFINE_FLAVOR_MEMBERS (DataType, w_l_shift, w_r_shift, w_o_shift, w_4_shift, z_perm_shift) auto get_shifted() |
| |
template<bool HasZK_ = HasZK>
class bb::UltraFlavor::PartiallyEvaluatedMultivariates_< HasZK_ >
A container for storing the partially evaluated multivariates produced by sumcheck.
Definition at line 532 of file ultra_flavor.hpp.