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

A base class labelling precomputed entities and (ordered) subsets of interest. More...

#include <ultra_flavor.hpp>

Inheritance diagram for bb::UltraFlavor::PrecomputedEntities< DataType_ >:
bb::StdlibVerificationKey_< BuilderType, UltraFlavor::PrecomputedEntities< Commitment > > bb::UltraFlavor::AllEntities< DataType > bb::UltraRecursiveFlavor_< BuilderType >::VerificationKey bb::UltraFlavor::AllValues bb::UltraFlavor::CommitmentLabels bb::UltraFlavor::PartiallyEvaluatedMultivariates bb::UltraFlavor::ProverPolynomials bb::UltraFlavor::VerifierCommitments_< Commitment, VerificationKey > bb::UltraRecursiveFlavor_< BuilderType >::AllValues

Public Types

using DataType = DataType_
 

Public Member Functions

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 ()
 

Detailed Description

template<typename DataType_>
class bb::UltraFlavor::PrecomputedEntities< DataType_ >

A base class labelling precomputed entities and (ordered) subsets of interest.

Used to build the proving key and verification key.

Definition at line 151 of file ultra_flavor.hpp.

Member Typedef Documentation

◆ DataType

template<typename DataType_ >
using bb::UltraFlavor::PrecomputedEntities< DataType_ >::DataType = DataType_

Definition at line 154 of file ultra_flavor.hpp.

Member Function Documentation

◆ DEFINE_FLAVOR_MEMBERS()

template<typename DataType_ >
bb::UltraFlavor::PrecomputedEntities< DataType_ >::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   
) const

◆ get_gate_selectors()

template<typename DataType_ >
auto bb::UltraFlavor::PrecomputedEntities< DataType_ >::get_gate_selectors ( )
inline

Definition at line 188 of file ultra_flavor.hpp.

◆ get_ids()

template<typename DataType_ >
auto bb::UltraFlavor::PrecomputedEntities< DataType_ >::get_ids ( )
inline

Definition at line 196 of file ultra_flavor.hpp.

◆ get_non_gate_selectors()

template<typename DataType_ >
auto bb::UltraFlavor::PrecomputedEntities< DataType_ >::get_non_gate_selectors ( )
inline

Definition at line 187 of file ultra_flavor.hpp.

◆ get_selectors()

template<typename DataType_ >
auto bb::UltraFlavor::PrecomputedEntities< DataType_ >::get_selectors ( )
inline

Definition at line 193 of file ultra_flavor.hpp.

◆ get_sigmas()

template<typename DataType_ >
auto bb::UltraFlavor::PrecomputedEntities< DataType_ >::get_sigmas ( )
inline

Definition at line 195 of file ultra_flavor.hpp.

◆ get_tables()

template<typename DataType_ >
auto bb::UltraFlavor::PrecomputedEntities< DataType_ >::get_tables ( )
inline

Definition at line 197 of file ultra_flavor.hpp.

◆ operator==()

template<typename DataType_ >
bool bb::UltraFlavor::PrecomputedEntities< DataType_ >::operator== ( const PrecomputedEntities< DataType_ > &  ) const
default

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