|
| ProverPolynomials ()=default |
|
| ProverPolynomials (size_t circuit_size) |
|
ProverPolynomials & | operator= (const ProverPolynomials &)=delete |
|
| ProverPolynomials (const ProverPolynomials &o)=delete |
|
| ProverPolynomials (ProverPolynomials &&o) noexcept=default |
|
ProverPolynomials & | operator= (ProverPolynomials &&o) noexcept=default |
|
| ~ProverPolynomials ()=default |
|
size_t | get_polynomial_size () const |
|
AllValues | get_row (size_t row_idx) const |
|
AllValues | get_row_for_permutation_arg (size_t row_idx) |
|
void | set_shifted () |
|
void | increase_polynomials_virtual_size (const size_t size_in) |
|
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 the prover polynomials handles.
Definition at line 361 of file mega_flavor.hpp.