Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::VerifierCommitmentKey< curve::Grumpkin > Class Reference

Specialization for Grumpkin. More...

#include <verification_key.hpp>

Public Types

using Curve = curve::Grumpkin
 
using GroupElement = typename Curve::Element
 
using Commitment = typename Curve::AffineElement
 

Public Member Functions

 VerifierCommitmentKey (size_t num_points, const std::shared_ptr< bb::srs::factories::CrsFactory< Curve > > &crs_factory)
 Construct a new IPA Verification Key object from existing SRS.
 
 VerifierCommitmentKey (size_t num_points)
 
 VerifierCommitmentKey ()=default
 
bool operator== (const VerifierCommitmentKey &) const =default
 
bool initialized () const
 
Commitment get_g1_identity () const
 
std::span< const Commitmentget_monomial_points () const
 

Private Attributes

std::shared_ptr< bb::srs::factories::Crs< Curve > > srs
 

Detailed Description

Specialization for Grumpkin.

Template Parameters
curve::Grumpkin

Definition at line 87 of file verification_key.hpp.

Member Typedef Documentation

◆ Commitment

Definition at line 91 of file verification_key.hpp.

◆ Curve

◆ GroupElement

using bb::VerifierCommitmentKey< curve::Grumpkin >::GroupElement = typename Curve::Element

Definition at line 90 of file verification_key.hpp.

Constructor & Destructor Documentation

◆ VerifierCommitmentKey() [1/3]

bb::VerifierCommitmentKey< curve::Grumpkin >::VerifierCommitmentKey ( size_t  num_points,
const std::shared_ptr< bb::srs::factories::CrsFactory< Curve > > &  crs_factory 
)
inline

Construct a new IPA Verification Key object from existing SRS.

Parameters
num_pointsspecifies the length of the SRS
pathis the location to the SRS file

Definition at line 100 of file verification_key.hpp.

◆ VerifierCommitmentKey() [2/3]

bb::VerifierCommitmentKey< curve::Grumpkin >::VerifierCommitmentKey ( size_t  num_points)
inline

Definition at line 104 of file verification_key.hpp.

◆ VerifierCommitmentKey() [3/3]

bb::VerifierCommitmentKey< curve::Grumpkin >::VerifierCommitmentKey ( )
default

Member Function Documentation

◆ get_g1_identity()

Commitment bb::VerifierCommitmentKey< curve::Grumpkin >::get_g1_identity ( ) const
inline

Definition at line 112 of file verification_key.hpp.

◆ get_monomial_points()

std::span< const Commitment > bb::VerifierCommitmentKey< curve::Grumpkin >::get_monomial_points ( ) const
inline

Definition at line 114 of file verification_key.hpp.

◆ initialized()

bool bb::VerifierCommitmentKey< curve::Grumpkin >::initialized ( ) const
inline

Definition at line 110 of file verification_key.hpp.

◆ operator==()

bool bb::VerifierCommitmentKey< curve::Grumpkin >::operator== ( const VerifierCommitmentKey< curve::Grumpkin > &  ) const
default

Member Data Documentation

◆ srs

Definition at line 117 of file verification_key.hpp.


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