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

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

#include <translator_flavor.hpp>

Inheritance diagram for bb::TranslatorFlavor::PrecomputedEntities< DataType_ >:
bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > bb::TranslatorFlavor::AllEntities< DataType > bb::TranslatorRecursiveFlavor::VerificationKey bb::TranslatorFlavor::AllValues bb::TranslatorFlavor::CommitmentLabels bb::TranslatorFlavor::PartiallyEvaluatedMultivariates bb::TranslatorFlavor::ProverPolynomials bb::TranslatorFlavor::VerifierCommitments_< Commitment, VerificationKey > bb::TranslatorRecursiveFlavor::AllValues

Public Types

using DataType = DataType_
 

Public Member Functions

bool operator== (const PrecomputedEntities &other) const =default
 
 DEFINE_FLAVOR_MEMBERS (DataType, ordered_extra_range_constraints_numerator, lagrange_first, lagrange_last, lagrange_odd_in_minicircuit, lagrange_even_in_minicircuit, lagrange_result_row, lagrange_last_in_minicircuit, lagrange_masking, lagrange_mini_masking, lagrange_real_last)
 

Detailed Description

template<typename DataType_>
class bb::TranslatorFlavor::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 205 of file translator_flavor.hpp.

Member Typedef Documentation

◆ DataType

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

Definition at line 208 of file translator_flavor.hpp.

Member Function Documentation

◆ DEFINE_FLAVOR_MEMBERS()

template<typename DataType_ >
bb::TranslatorFlavor::PrecomputedEntities< DataType_ >::DEFINE_FLAVOR_MEMBERS ( DataType  ,
ordered_extra_range_constraints_numerator  ,
lagrange_first  ,
lagrange_last  ,
lagrange_odd_in_minicircuit  ,
lagrange_even_in_minicircuit  ,
lagrange_result_row  ,
lagrange_last_in_minicircuit  ,
lagrange_masking  ,
lagrange_mini_masking  ,
lagrange_real_last   
)

◆ operator==()

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

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