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

#include <commitment_key.test.hpp>

Public Member Functions

 UnivariateClaimData (Polynomial &poly, Commitment &commitment, OpeningPair &opening_pair)
 
ProverOpeningClaim< Curveprover_opening_claim () const
 
OpeningClaim< Curveverifier_opening_claim () const
 
Commitment polynomial_commiment () const
 

Static Public Member Functions

static std::vector< ProverOpeningClaim< Curve > > prover_opening_claims (const std::vector< UnivariateClaimData > &claim_data)
 
static std::vector< OpeningClaim< Curve > > verifier_opening_claims (const std::vector< UnivariateClaimData > &claim_data)
 
static std::vector< Commitmentpolynomial_commitments (const std::vector< UnivariateClaimData > &claim_data)
 

Public Attributes

Polynomial poly
 
Commitment commitment
 
OpeningPair opening_pair
 

Private Types

using Fr = typename Curve::ScalarField
 
using Commitment = typename Curve::AffineElement
 
using Polynomial = bb::Polynomial< Fr >
 
using OpeningPair = OpeningPair< Curve >
 

Detailed Description

template<class Curve>
class bb::UnivariateClaimData< Curve >

Definition at line 23 of file commitment_key.test.hpp.

Member Typedef Documentation

◆ Commitment

template<class Curve >
using bb::UnivariateClaimData< Curve >::Commitment = typename Curve::AffineElement
private

Definition at line 25 of file commitment_key.test.hpp.

◆ Fr

template<class Curve >
using bb::UnivariateClaimData< Curve >::Fr = typename Curve::ScalarField
private

Definition at line 24 of file commitment_key.test.hpp.

◆ OpeningPair

template<class Curve >
using bb::UnivariateClaimData< Curve >::OpeningPair = OpeningPair<Curve>
private

Definition at line 27 of file commitment_key.test.hpp.

◆ Polynomial

template<class Curve >
using bb::UnivariateClaimData< Curve >::Polynomial = bb::Polynomial<Fr>
private

Definition at line 26 of file commitment_key.test.hpp.

Constructor & Destructor Documentation

◆ UnivariateClaimData()

template<class Curve >
bb::UnivariateClaimData< Curve >::UnivariateClaimData ( Polynomial poly,
Commitment commitment,
OpeningPair opening_pair 
)
inline

Definition at line 34 of file commitment_key.test.hpp.

Member Function Documentation

◆ polynomial_commiment()

template<class Curve >
Commitment bb::UnivariateClaimData< Curve >::polynomial_commiment ( ) const
inline

Definition at line 44 of file commitment_key.test.hpp.

◆ polynomial_commitments()

template<class Curve >
static std::vector< Commitment > bb::UnivariateClaimData< Curve >::polynomial_commitments ( const std::vector< UnivariateClaimData< Curve > > &  claim_data)
inlinestatic

Definition at line 67 of file commitment_key.test.hpp.

◆ prover_opening_claim()

template<class Curve >
ProverOpeningClaim< Curve > bb::UnivariateClaimData< Curve >::prover_opening_claim ( ) const
inline

Definition at line 40 of file commitment_key.test.hpp.

◆ prover_opening_claims()

template<class Curve >
static std::vector< ProverOpeningClaim< Curve > > bb::UnivariateClaimData< Curve >::prover_opening_claims ( const std::vector< UnivariateClaimData< Curve > > &  claim_data)
inlinestatic

Definition at line 46 of file commitment_key.test.hpp.

◆ verifier_opening_claim()

template<class Curve >
OpeningClaim< Curve > bb::UnivariateClaimData< Curve >::verifier_opening_claim ( ) const
inline

Definition at line 42 of file commitment_key.test.hpp.

◆ verifier_opening_claims()

template<class Curve >
static std::vector< OpeningClaim< Curve > > bb::UnivariateClaimData< Curve >::verifier_opening_claims ( const std::vector< UnivariateClaimData< Curve > > &  claim_data)
inlinestatic

Definition at line 57 of file commitment_key.test.hpp.

Member Data Documentation

◆ commitment

template<class Curve >
Commitment bb::UnivariateClaimData< Curve >::commitment

Definition at line 31 of file commitment_key.test.hpp.

◆ opening_pair

template<class Curve >
OpeningPair bb::UnivariateClaimData< Curve >::opening_pair

Definition at line 32 of file commitment_key.test.hpp.

◆ poly

template<class Curve >
Polynomial bb::UnivariateClaimData< Curve >::poly

Definition at line 30 of file commitment_key.test.hpp.


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