A container for storing the partially evaluated multivariates produced by sumcheck.
More...
|
| 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 () |
|
auto | get_shifted () |
|
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 () |
|
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) |
|
| DEFINE_FLAVOR_MEMBERS (DataType, w_l, w_r, w_o, w_4) |
|
| 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 () |
|
A container for storing the partially evaluated multivariates produced by sumcheck.
Definition at line 511 of file mega_flavor.hpp.