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

Polynomial p and an opening pair (r,v) such that p(r) = v. More...

#include <claim.hpp>

Public Attributes

Polynomial polynomial
 
OpeningPair< Curve > opening_pair
 
bool gemini_fold = false
 

Private Types

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

Detailed Description

template<typename Curve>
class bb::ProverOpeningClaim< Curve >

Polynomial p and an opening pair (r,v) such that p(r) = v.

Template Parameters
Paramsfor the given commitment scheme

Definition at line 34 of file claim.hpp.

Member Typedef Documentation

◆ Fr

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

Definition at line 35 of file claim.hpp.

◆ Polynomial

template<typename Curve >
using bb::ProverOpeningClaim< Curve >::Polynomial = bb::Polynomial<Fr>
private

Definition at line 36 of file claim.hpp.

Member Data Documentation

◆ gemini_fold

template<typename Curve >
bool bb::ProverOpeningClaim< Curve >::gemini_fold = false

Definition at line 43 of file claim.hpp.

◆ opening_pair

template<typename Curve >
OpeningPair<Curve> bb::ProverOpeningClaim< Curve >::opening_pair

Definition at line 40 of file claim.hpp.

◆ polynomial

template<typename Curve >
Polynomial bb::ProverOpeningClaim< Curve >::polynomial

Definition at line 39 of file claim.hpp.

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