Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::MultilinearBatchingFlavor_< NumClaims >::PartiallyEvaluatedMultivariates Class Reference

#include <multilinear_batching_flavor.hpp>

Inheritance diagram for bb::MultilinearBatchingFlavor_< NumClaims >::PartiallyEvaluatedMultivariates:
bb::PartiallyEvaluatedMultivariatesBase< AllEntities< Polynomial >, ProverPolynomials, Polynomial > bb::ECCVMFlavor::AllEntities< Polynomial > bb::ECCVMFlavor::MaskingEntities< DataType > bb::ECCVMFlavor::PrecomputedEntities< DataType_ > bb::ECCVMFlavor::WitnessEntities< DataType > bb::ECCVMFlavor::ShiftedEntities< DataType > bb::ECCVMFlavor::WireNonShiftedEntities< DataType > bb::ECCVMFlavor::WireToBeShiftedWithoutAccumulatorsEntities< DataType > bb::ECCVMFlavor::WireToBeShiftedAccumulatorEntities< DataType > bb::ECCVMFlavor::DerivedWitnessEntities< DataType >

Public Types

using Base = PartiallyEvaluatedMultivariatesBase< AllEntities< Polynomial >, ProverPolynomials, Polynomial >
 
- Public Types inherited from bb::ECCVMFlavor::PrecomputedEntities< DataType_ >
using DataType = DataType_
 

Public Member Functions

 PartiallyEvaluatedMultivariates (const ProverPolynomials &full_polynomials, size_t circuit_size)
 
- Public Member Functions inherited from bb::PartiallyEvaluatedMultivariatesBase< AllEntities< Polynomial >, ProverPolynomials, Polynomial >
 PartiallyEvaluatedMultivariatesBase (const ProverPolynomials &full_polynomials, size_t circuit_size)
 Construct from full polynomials, allocating based on their actual sizes.
 
- Public Member Functions inherited from bb::ECCVMFlavor::AllEntities< Polynomial >
 DEFINE_COMPOUND_GET_ALL (MaskingEntities< Polynomial >, PrecomputedEntities< Polynomial >, WitnessEntities< Polynomial >, ShiftedEntities< Polynomial >) auto get_unshifted()
 
auto get_to_be_shifted ()
 
auto get_to_be_shifted () const
 
auto get_shifted ()
 
auto get_shifted () const
 
auto get_precomputed ()
 
- Public Member Functions inherited from bb::ECCVMFlavor::PrecomputedEntities< DataType_ >
bool operator== (const PrecomputedEntities &other) const =default
 
 DEFINE_FLAVOR_MEMBERS (DataType, lagrange_first, lagrange_second, lagrange_third, lagrange_last)
 
DataType get_selectors ()
 
- Public Member Functions inherited from bb::ECCVMFlavor::WitnessEntities< DataType >
 DEFINE_COMPOUND_GET_ALL (WireNonShiftedEntities< DataType >, WireToBeShiftedWithoutAccumulatorsEntities< DataType >, WireToBeShiftedAccumulatorEntities< DataType >, DerivedWitnessEntities< DataType >) auto get_wires()
 
auto get_accumulators ()
 
auto get_wires_without_accumulators ()
 
auto get_transcript_wires ()
 
auto get_shifted_transcript_wires ()
 
auto get_precompute_wires ()
 
auto get_shifted_precompute_wires ()
 
auto get_msm_wires ()
 
auto get_shifted_msm_wires ()
 
auto get_lookup_read_counts ()
 
- Public Member Functions inherited from bb::ECCVMFlavor::DerivedWitnessEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, z_perm, lookup_inverses)
 
- Public Member Functions inherited from bb::ECCVMFlavor::ShiftedEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, transcript_mul_shift, transcript_msm_count_shift, precompute_scalar_sum_shift, precompute_s1hi_shift, precompute_dx_shift, precompute_dy_shift, precompute_tx_shift, precompute_ty_shift, msm_transition_shift, msm_add_shift, msm_double_shift, msm_skew_shift, msm_accumulator_x_shift, msm_accumulator_y_shift, msm_count_shift, msm_round_shift, msm_add1_shift, msm_pc_shift, precompute_pc_shift, transcript_pc_shift, precompute_round_shift, precompute_select_shift, transcript_accumulator_not_empty_shift, transcript_accumulator_x_shift, transcript_accumulator_y_shift, z_perm_shift)
 

Public Attributes

std::array< std::vector< FF >, NUM_CLAIMSclaim_challenges
 
- Public Attributes inherited from bb::PartiallyEvaluatedMultivariatesBase< AllEntities< Polynomial >, ProverPolynomials, Polynomial >
size_t row_skip_active_prefix_end
 

Detailed Description

template<size_t NumClaims>
class bb::MultilinearBatchingFlavor_< NumClaims >::PartiallyEvaluatedMultivariates

Definition at line 180 of file multilinear_batching_flavor.hpp.

Member Typedef Documentation

◆ Base

template<size_t NumClaims>
using bb::MultilinearBatchingFlavor_< NumClaims >::PartiallyEvaluatedMultivariates::Base = PartiallyEvaluatedMultivariatesBase<AllEntities<Polynomial>, ProverPolynomials, Polynomial>

Definition at line 183 of file multilinear_batching_flavor.hpp.

Constructor & Destructor Documentation

◆ PartiallyEvaluatedMultivariates()

template<size_t NumClaims>
bb::MultilinearBatchingFlavor_< NumClaims >::PartiallyEvaluatedMultivariates::PartiallyEvaluatedMultivariates ( const ProverPolynomials full_polynomials,
size_t  circuit_size 
)
inline

Definition at line 186 of file multilinear_batching_flavor.hpp.

Member Data Documentation

◆ claim_challenges

template<size_t NumClaims>
std::array<std::vector<FF>, NUM_CLAIMS> bb::MultilinearBatchingFlavor_< NumClaims >::PartiallyEvaluatedMultivariates::claim_challenges

Definition at line 184 of file multilinear_batching_flavor.hpp.


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