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

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

#include <mega_flavor.hpp>

Inheritance diagram for bb::MegaFlavor::PrecomputedEntities< DataType_ >:
bb::StdlibVerificationKey_< BuilderType, MegaFlavor::PrecomputedEntities< Commitment > > bb::MegaFlavor::AllEntities< DataType > bb::MegaRecursiveFlavor_< BuilderType >::VerificationKey bb::MegaFlavor::AllValues bb::MegaFlavor::CommitmentLabels bb::MegaFlavor::PartiallyEvaluatedMultivariates bb::MegaFlavor::ProverPolynomials bb::MegaFlavor::VerifierCommitments_< Commitment, VerificationKey > bb::MegaRecursiveFlavor_< 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_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 ()
 

Detailed Description

template<typename DataType_>
class bb::MegaFlavor::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 144 of file mega_flavor.hpp.

Member Typedef Documentation

◆ DataType

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

Definition at line 147 of file mega_flavor.hpp.

Member Function Documentation

◆ DEFINE_FLAVOR_MEMBERS()

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

◆ get_gate_selectors()

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

Definition at line 185 of file mega_flavor.hpp.

◆ get_ids()

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

Definition at line 202 of file mega_flavor.hpp.

◆ get_non_gate_selectors()

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

Definition at line 184 of file mega_flavor.hpp.

◆ get_selectors()

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

Definition at line 199 of file mega_flavor.hpp.

◆ get_sigmas()

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

Definition at line 201 of file mega_flavor.hpp.

◆ get_tables()

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

Definition at line 203 of file mega_flavor.hpp.

◆ operator==()

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

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