Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Attributes | List of all members
bb::TripleIpaInput< Curve > Struct Template Reference

Prover-side TripleIPA input: claim data plus the witness polynomials needed to build the proof. More...

#include <triple_ipa_claim.hpp>

Public Types

using Fr = typename Curve::ScalarField
 
using Polynomial = bb::Polynomial< Fr >
 

Public Attributes

TripleIpaClaimData< Curve > claim_data
 
std::vector< Polynomial > unshifted_polynomials
 
std::vector< Polynomial > shifted_polynomials
 
Polynomial univariate_polynomial
 

Detailed Description

template<typename Curve>
struct bb::TripleIpaInput< Curve >

Prover-side TripleIPA input: claim data plus the witness polynomials needed to build the proof.

Definition at line 158 of file triple_ipa_claim.hpp.

Member Typedef Documentation

◆ Fr

template<typename Curve >
using bb::TripleIpaInput< Curve >::Fr = typename Curve::ScalarField

Definition at line 159 of file triple_ipa_claim.hpp.

◆ Polynomial

template<typename Curve >
using bb::TripleIpaInput< Curve >::Polynomial = bb::Polynomial<Fr>

Definition at line 160 of file triple_ipa_claim.hpp.

Member Data Documentation

◆ claim_data

template<typename Curve >
TripleIpaClaimData<Curve> bb::TripleIpaInput< Curve >::claim_data

Definition at line 162 of file triple_ipa_claim.hpp.

◆ shifted_polynomials

template<typename Curve >
std::vector<Polynomial> bb::TripleIpaInput< Curve >::shifted_polynomials

Definition at line 164 of file triple_ipa_claim.hpp.

◆ univariate_polynomial

template<typename Curve >
Polynomial bb::TripleIpaInput< Curve >::univariate_polynomial

Definition at line 165 of file triple_ipa_claim.hpp.

◆ unshifted_polynomials

template<typename Curve >
std::vector<Polynomial> bb::TripleIpaInput< Curve >::unshifted_polynomials

Definition at line 163 of file triple_ipa_claim.hpp.

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