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

A container for polynomials handles. More...

#include <ultra_flavor.hpp>

Inheritance diagram for bb::UltraFlavor::ProverPolynomials:
bb::UltraFlavor::AllEntities< DataType > bb::UltraFlavor::PrecomputedEntities< DataType_ > bb::UltraFlavor::WitnessEntities< DataType > bb::UltraFlavor::ShiftedEntities< 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 (const 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::UltraFlavor::AllEntities< DataType >
auto get_unshifted ()
 
auto get_precomputed ()
 
auto get_witness ()
 
- Public Member Functions inherited from bb::UltraFlavor::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_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 ()
 
- Public Member Functions inherited from bb::UltraFlavor::WitnessEntities< DataType >
 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)
 
- Public Member Functions inherited from bb::UltraFlavor::ShiftedEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, w_l_shift, w_r_shift, w_o_shift, w_4_shift, z_perm_shift) auto get_shifted()
 

Additional Inherited Members

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

Detailed Description

A container for polynomials handles.

Definition at line 275 of file ultra_flavor.hpp.

Constructor & Destructor Documentation

◆ ProverPolynomials() [1/4]

bb::UltraFlavor::ProverPolynomials::ProverPolynomials ( )
default

◆ ProverPolynomials() [2/4]

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

Definition at line 279 of file ultra_flavor.hpp.

◆ ProverPolynomials() [3/4]

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

◆ ProverPolynomials() [4/4]

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

◆ ~ProverPolynomials()

bb::UltraFlavor::ProverPolynomials::~ProverPolynomials ( )
default

Member Function Documentation

◆ get_polynomial_size()

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

Definition at line 302 of file ultra_flavor.hpp.

◆ get_row()

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

Definition at line 303 of file ultra_flavor.hpp.

◆ get_row_for_permutation_arg()

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

Definition at line 312 of file ultra_flavor.hpp.

◆ increase_polynomials_virtual_size()

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

Definition at line 335 of file ultra_flavor.hpp.

◆ operator=() [1/2]

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

◆ operator=() [2/2]

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

◆ set_shifted()

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

Definition at line 328 of file ultra_flavor.hpp.


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