|
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.