Barretenberg
The ZK-SNARK library at the core of Aztec
|
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 Commitment > | get_monomial_points () const |
Private Attributes | |
std::shared_ptr< bb::srs::factories::Crs< Curve > > | srs |
Specialization for Grumpkin.
curve::Grumpkin |
Definition at line 87 of file verification_key.hpp.
using bb::VerifierCommitmentKey< curve::Grumpkin >::Commitment = typename Curve::AffineElement |
Definition at line 91 of file verification_key.hpp.
Definition at line 89 of file verification_key.hpp.
using bb::VerifierCommitmentKey< curve::Grumpkin >::GroupElement = typename Curve::Element |
Definition at line 90 of file verification_key.hpp.
|
inline |
Construct a new IPA Verification Key object from existing SRS.
num_points | specifies the length of the SRS |
path | is the location to the SRS file |
Definition at line 100 of file verification_key.hpp.
|
inline |
Definition at line 104 of file verification_key.hpp.
|
default |
|
inline |
Definition at line 112 of file verification_key.hpp.
|
inline |
Definition at line 114 of file verification_key.hpp.
|
inline |
Definition at line 110 of file verification_key.hpp.
|
default |
|
private |
Definition at line 117 of file verification_key.hpp.