A container for storing the partially evaluated multivariates produced by sumcheck.
More...
#include <ultra_flavor.hpp>
|
| PartiallyEvaluatedMultivariates ()=default |
|
| PartiallyEvaluatedMultivariates (const size_t circuit_size) |
|
| PartiallyEvaluatedMultivariates (const ProverPolynomials &full_polynomials, size_t circuit_size) |
|
auto | get_unshifted () |
|
auto | get_precomputed () |
|
auto | get_witness () |
|
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) 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 () |
|
| 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() |
|
A container for storing the partially evaluated multivariates produced by sumcheck.
Definition at line 539 of file ultra_flavor.hpp.
◆ PartiallyEvaluatedMultivariates() [1/3]
bb::UltraFlavor::PartiallyEvaluatedMultivariates::PartiallyEvaluatedMultivariates |
( |
| ) |
|
|
default |
◆ PartiallyEvaluatedMultivariates() [2/3]
bb::UltraFlavor::PartiallyEvaluatedMultivariates::PartiallyEvaluatedMultivariates |
( |
const size_t |
circuit_size | ) |
|
|
inline |
◆ PartiallyEvaluatedMultivariates() [3/3]
bb::UltraFlavor::PartiallyEvaluatedMultivariates::PartiallyEvaluatedMultivariates |
( |
const ProverPolynomials & |
full_polynomials, |
|
|
size_t |
circuit_size |
|
) |
| |
|
inline |
The documentation for this class was generated from the following file: