Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <commitment_key.test.hpp>
Public Member Functions | |
UnivariateClaimData (Polynomial &poly, Commitment &commitment, OpeningPair &opening_pair) | |
ProverOpeningClaim< Curve > | prover_opening_claim () const |
OpeningClaim< Curve > | verifier_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< Commitment > | polynomial_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 > |
Definition at line 23 of file commitment_key.test.hpp.
|
private |
Definition at line 25 of file commitment_key.test.hpp.
|
private |
Definition at line 24 of file commitment_key.test.hpp.
|
private |
Definition at line 27 of file commitment_key.test.hpp.
|
private |
Definition at line 26 of file commitment_key.test.hpp.
|
inline |
Definition at line 34 of file commitment_key.test.hpp.
|
inline |
Definition at line 44 of file commitment_key.test.hpp.
|
inlinestatic |
Definition at line 67 of file commitment_key.test.hpp.
|
inline |
Definition at line 40 of file commitment_key.test.hpp.
|
inlinestatic |
Definition at line 46 of file commitment_key.test.hpp.
|
inline |
Definition at line 42 of file commitment_key.test.hpp.
|
inlinestatic |
Definition at line 57 of file commitment_key.test.hpp.
Commitment bb::UnivariateClaimData< Curve >::commitment |
Definition at line 31 of file commitment_key.test.hpp.
OpeningPair bb::UnivariateClaimData< Curve >::opening_pair |
Definition at line 32 of file commitment_key.test.hpp.
Polynomial bb::UnivariateClaimData< Curve >::poly |
Definition at line 30 of file commitment_key.test.hpp.