Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::MegaFlavor::ProverPolynomials Class Reference

A container for the prover polynomials handles. More...

#include <mega_flavor.hpp>

Inheritance diagram for bb::MegaFlavor::ProverPolynomials:
bb::MegaFlavor::AllEntities< DataType > bb::MegaFlavor::PrecomputedEntities< DataType_ > bb::MegaFlavor::WitnessEntities< DataType > bb::MegaFlavor::ShiftedEntities< DataType > bb::MegaFlavor::WireEntities< DataType > bb::MegaFlavor::DerivedEntities< DataType >

Public Member Functions

 ProverPolynomials ()=default
 
 ProverPolynomials (size_t circuit_size)
 
ProverPolynomialsoperator= (const ProverPolynomials &)=delete
 
 ProverPolynomials (const ProverPolynomials &o)=delete
 
 ProverPolynomials (ProverPolynomials &&o) noexcept=default
 
ProverPolynomialsoperator= (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)
 
- Public Member Functions inherited from bb::MegaFlavor::AllEntities< DataType >
auto get_unshifted ()
 
auto get_precomputed ()
 
auto get_witness ()
 
auto get_shifted ()
 
- Public Member Functions inherited from bb::MegaFlavor::PrecomputedEntities< DataType_ >
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 ()
 
- Public Member Functions inherited from bb::MegaFlavor::WitnessEntities< DataType >
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)
 
- Public Member Functions inherited from bb::MegaFlavor::WireEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, w_l, w_r, w_o, w_4)
 
- Public Member Functions inherited from bb::MegaFlavor::DerivedEntities< DataType >
 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 ()
 

Additional Inherited Members

- Public Types inherited from bb::MegaFlavor::PrecomputedEntities< DataType_ >
using DataType = DataType_
 

Detailed Description

A container for the prover polynomials handles.

Definition at line 361 of file mega_flavor.hpp.

Constructor & Destructor Documentation

◆ ProverPolynomials() [1/4]

bb::MegaFlavor::ProverPolynomials::ProverPolynomials ( )
default

◆ ProverPolynomials() [2/4]

bb::MegaFlavor::ProverPolynomials::ProverPolynomials ( size_t  circuit_size)
inline

Definition at line 366 of file mega_flavor.hpp.

◆ ProverPolynomials() [3/4]

bb::MegaFlavor::ProverPolynomials::ProverPolynomials ( const ProverPolynomials o)
delete

◆ ProverPolynomials() [4/4]

bb::MegaFlavor::ProverPolynomials::ProverPolynomials ( ProverPolynomials &&  o)
defaultnoexcept

◆ ~ProverPolynomials()

bb::MegaFlavor::ProverPolynomials::~ProverPolynomials ( )
default

Member Function Documentation

◆ get_polynomial_size()

size_t bb::MegaFlavor::ProverPolynomials::get_polynomial_size ( ) const
inline

Definition at line 389 of file mega_flavor.hpp.

◆ get_row()

AllValues bb::MegaFlavor::ProverPolynomials::get_row ( size_t  row_idx) const
inline

Definition at line 390 of file mega_flavor.hpp.

◆ get_row_for_permutation_arg()

AllValues bb::MegaFlavor::ProverPolynomials::get_row_for_permutation_arg ( size_t  row_idx)
inline

Definition at line 399 of file mega_flavor.hpp.

◆ increase_polynomials_virtual_size()

void bb::MegaFlavor::ProverPolynomials::increase_polynomials_virtual_size ( const size_t  size_in)
inline

Definition at line 421 of file mega_flavor.hpp.

◆ operator=() [1/2]

ProverPolynomials & bb::MegaFlavor::ProverPolynomials::operator= ( const ProverPolynomials )
delete

◆ operator=() [2/2]

ProverPolynomials & bb::MegaFlavor::ProverPolynomials::operator= ( ProverPolynomials &&  o)
defaultnoexcept

◆ set_shifted()

void bb::MegaFlavor::ProverPolynomials::set_shifted ( )
inline

Definition at line 414 of file mega_flavor.hpp.


The documentation for this class was generated from the following file: