bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector Struct Reference

Public Member Functions
Polynomial	construct_combined_tensor (const Polynomial &eq) const
Fr	evaluate_folded (std::span< const Fr > ipa_round_challenges_inv) const

Public Attributes
std::vector< Fr >	multilinear_challenge
Fr	univariate_challenge = Fr::zero()
Fr	eq_weight = Fr::zero()
Fr	shifted_eq_weight = Fr::zero()
Fr	powers_weight = Fr::zero()

Static Private Member Functions
static Fr	evaluate_pow_folded (const Fr &challenge, std::span< const Fr > ipa_round_challenges_inv)

Detailed Description

template<typename Curve_, size_t log_poly_length>
struct bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector

Definition at line 56 of file triple_ipa.hpp.

Member Function Documentation

construct_combined_tensor()

template<typename Curve_ , size_t log_poly_length>

Polynomial bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector::construct_combined_tensor ( const Polynomial &  eq ) const

inline

Definition at line 65 of file triple_ipa.hpp.

evaluate_folded()

template<typename Curve_ , size_t log_poly_length>

Fr bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector::evaluate_folded ( std::span< const Fr >  ipa_round_challenges_inv ) const

inline

Definition at line 76 of file triple_ipa.hpp.

evaluate_pow_folded()

template<typename Curve_ , size_t log_poly_length>

static Fr bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector::evaluate_pow_folded ( const Fr &  challenge, std::span< const Fr >  ipa_round_challenges_inv  )

inlinestaticprivate

Definition at line 86 of file triple_ipa.hpp.

Member Data Documentation

eq_weight

template<typename Curve_ , size_t log_poly_length>

Fr bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector::eq_weight = Fr::zero()

Definition at line 59 of file triple_ipa.hpp.

multilinear_challenge

template<typename Curve_ , size_t log_poly_length>

std::vector<Fr> bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector::multilinear_challenge

Definition at line 57 of file triple_ipa.hpp.

powers_weight

template<typename Curve_ , size_t log_poly_length>

Fr bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector::powers_weight = Fr::zero()

Definition at line 61 of file triple_ipa.hpp.

shifted_eq_weight

template<typename Curve_ , size_t log_poly_length>

Fr bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector::shifted_eq_weight = Fr::zero()

Definition at line 60 of file triple_ipa.hpp.

univariate_challenge

template<typename Curve_ , size_t log_poly_length>

Fr bb::TripleIPA< Curve_, log_poly_length >::IpaOpeningVector::univariate_challenge = Fr::zero()

Definition at line 58 of file triple_ipa.hpp.

---

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

• src/barretenberg/commitment_schemes/triple_ipa/triple_ipa.hpp