Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::UltraFlavor::ProverPolynomials_< HasZK_ > Class Template Reference

A container for polynomials handles. More...

#include <ultra_flavor.hpp>

Inheritance diagram for bb::UltraFlavor::ProverPolynomials_< HasZK_ >:
bb::UltraFlavor::AllEntities_< DataType, HasZK_ > bb::UltraFlavor::MaskingEntities< DataType, HasZK_ > bb::UltraFlavor::PrecomputedEntities< DataType_ > bb::UltraFlavor::WitnessEntities< DataType > bb::UltraFlavor::ShiftedEntities< DataType >

Public Member Functions

 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_< HasZK_ > get_row (const size_t row_idx) const
 
AllValues_< HasZK_ > 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, HasZK_ >
 DEFINE_COMPOUND_GET_ALL (MaskingEntities< DataType, HasZK_ >, PrecomputedEntities< DataType >, WitnessEntities< DataType >, ShiftedEntities< DataType >) auto get_unshifted()
 
auto get_precomputed ()
 
auto get_witness ()
 
auto get_witness () const
 
- Public Member Functions inherited from bb::UltraFlavor::MaskingEntities< DataType, HasZK_ >
auto get_all ()
 
auto get_all () const
 
- 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) 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_
 
- Static Public Member Functions inherited from bb::UltraFlavor::MaskingEntities< DataType, HasZK_ >
static auto get_labels ()
 

Detailed Description

template<bool HasZK_ = HasZK>
class bb::UltraFlavor::ProverPolynomials_< HasZK_ >

A container for polynomials handles.

Definition at line 297 of file ultra_flavor.hpp.

Constructor & Destructor Documentation

◆ ProverPolynomials_() [1/4]

template<bool HasZK_ = HasZK>
bb::UltraFlavor::ProverPolynomials_< HasZK_ >::ProverPolynomials_ ( )
default

◆ ProverPolynomials_() [2/4]

template<bool HasZK_ = HasZK>
bb::UltraFlavor::ProverPolynomials_< HasZK_ >::ProverPolynomials_ ( size_t  circuit_size)
inline

Definition at line 301 of file ultra_flavor.hpp.

◆ ProverPolynomials_() [3/4]

template<bool HasZK_ = HasZK>
bb::UltraFlavor::ProverPolynomials_< HasZK_ >::ProverPolynomials_ ( const ProverPolynomials_< HasZK_ > &  o)
delete

◆ ProverPolynomials_() [4/4]

template<bool HasZK_ = HasZK>
bb::UltraFlavor::ProverPolynomials_< HasZK_ >::ProverPolynomials_ ( ProverPolynomials_< HasZK_ > &&  o)
defaultnoexcept

◆ ~ProverPolynomials_()

template<bool HasZK_ = HasZK>
bb::UltraFlavor::ProverPolynomials_< HasZK_ >::~ProverPolynomials_ ( )
default

Member Function Documentation

◆ get_polynomial_size()

template<bool HasZK_ = HasZK>
size_t bb::UltraFlavor::ProverPolynomials_< HasZK_ >::get_polynomial_size ( ) const
inline

Definition at line 324 of file ultra_flavor.hpp.

◆ get_row()

template<bool HasZK_ = HasZK>
AllValues_< HasZK_ > bb::UltraFlavor::ProverPolynomials_< HasZK_ >::get_row ( const size_t  row_idx) const
inline

Definition at line 325 of file ultra_flavor.hpp.

◆ get_row_for_permutation_arg()

template<bool HasZK_ = HasZK>
AllValues_< HasZK_ > bb::UltraFlavor::ProverPolynomials_< HasZK_ >::get_row_for_permutation_arg ( size_t  row_idx)
inline

Definition at line 334 of file ultra_flavor.hpp.

◆ increase_polynomials_virtual_size()

template<bool HasZK_ = HasZK>
void bb::UltraFlavor::ProverPolynomials_< HasZK_ >::increase_polynomials_virtual_size ( const size_t  size_in)
inline

Definition at line 357 of file ultra_flavor.hpp.

◆ operator=() [1/2]

template<bool HasZK_ = HasZK>
ProverPolynomials_ & bb::UltraFlavor::ProverPolynomials_< HasZK_ >::operator= ( const ProverPolynomials_< HasZK_ > &  )
delete

◆ operator=() [2/2]

template<bool HasZK_ = HasZK>
ProverPolynomials_ & bb::UltraFlavor::ProverPolynomials_< HasZK_ >::operator= ( ProverPolynomials_< HasZK_ > &&  o)
defaultnoexcept

◆ set_shifted()

template<bool HasZK_ = HasZK>
void bb::UltraFlavor::ProverPolynomials_< HasZK_ >::set_shifted ( )
inline

Definition at line 350 of file ultra_flavor.hpp.


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