srs.hpp
Go to the documentation of this file.
44 structured_generators_scalar_power(std::size_t n, const typename ScalarFieldType::value_type &s) {
std::vector< typename GroupType::value_type > structured_generators_scalar_power(std::size_t n, const typename ScalarFieldType::value_type &s)
Definition: srs.hpp:44
Definition: pair.hpp:31
Definition: srs.hpp:61
curve_type::template g2_type g2_type
Definition: srs.hpp:65
std::size_t n
number of proofs to aggregate
Definition: srs.hpp:82
std::vector< g1_value_type > g_beta_powers
_{i=n}^{N}$ where N is the smallest size of the two Groth16 CRS.
Definition: srs.hpp:88
std::vector< g2_value_type > h_beta_powers
_{i=0}^{N}$ where N is the smallest size of the two Groth16 CRS.
Definition: srs.hpp:90
commitment_type::vkey_type vkey_type
Definition: srs.hpp:70
commitment_type::wkey_type wkey_type
Definition: srs.hpp:71
std::vector< g1_value_type > g_alpha_powers
_{i=0}^{N}$ where N is the smallest size of the two Groth16 CRS.
Definition: srs.hpp:84
g1_type::value_type g1_value_type
Definition: srs.hpp:66
CurveType curve_type
Definition: srs.hpp:62
vkey_type vkey
commitment key using in MIPP and TIPP
Definition: srs.hpp:92
curve_type::template g1_type g1_type
Definition: srs.hpp:64
wkey_type wkey
commitment key using in TIPP
Definition: srs.hpp:94
bool has_correct_len(std::size_t n) const
Definition: srs.hpp:77
std::vector< g2_value_type > h_alpha_powers
_{i=0}^{N}$ where N is the smallest size of the two Groth16 CRS.
Definition: srs.hpp:86
g2_type::value_type g2_value_type
Definition: srs.hpp:67
r1cs_gg_ppzksnark_ipp2_commitment< CurveType > commitment_type
Definition: srs.hpp:69
Definition: srs.hpp:121
curve_type::scalar_field_type scalar_field_type
Definition: srs.hpp:124
scalar_field_type::value_type scalar_field_value_type
Definition: srs.hpp:129
CurveType curve_type
Definition: srs.hpp:122
curve_type::template g2_type g2_type
Definition: srs.hpp:126
r1cs_gg_ppzksnark_aggregate_srs()=default
g1_type::value_type g1_value_type
Definition: srs.hpp:127
std::vector< g2_value_type > h_alpha_powers
_{i=0}^{N}$ where N is the smallest size of the two Groth16 CRS.
Definition: srs.hpp:138
std::vector< g1_value_type > g_alpha_powers
_{i=0}^{N}$ where N is the smallest size of the two Groth16 CRS.
Definition: srs.hpp:136
std::vector< g2_value_type > h_beta_powers
_{i=0}^{N}$ where N is the smallest size of the two Groth16 CRS.
Definition: srs.hpp:142
std::pair< proving_srs_type, verification_srs_type > srs_pair_type
Definition: srs.hpp:133
std::vector< g1_value_type > g_beta_powers
_{i=n}^{N}$ where N is the smallest size of the two Groth16 CRS.
Definition: srs.hpp:140
r1cs_gg_ppzksnark_aggregate_verification_srs< CurveType > verification_srs_type
Definition: srs.hpp:132
r1cs_gg_ppzksnark_aggregate_proving_srs< CurveType > proving_srs_type
Definition: srs.hpp:131
curve_type::template g1_type g1_type
Definition: srs.hpp:125
static constexpr ProvingMode mode
Definition: srs.hpp:123
srs_pair_type specialize(std::size_t num_proofs)
Definition: srs.hpp:157
r1cs_gg_ppzksnark_aggregate_srs(std::size_t num_proofs, const scalar_field_value_type &alpha, const scalar_field_value_type &beta)
Definition: srs.hpp:145
g2_type::value_type g2_value_type
Definition: srs.hpp:128
Definition: srs.hpp:101
CurveType curve_type
Definition: srs.hpp:102
CurveType::template g1_type ::value_type g
Definition: srs.hpp:105
std::size_t n
Definition: srs.hpp:104
CurveType::template g2_type ::value_type h_beta
Definition: srs.hpp:110
CurveType::template g1_type ::value_type g_beta
Definition: srs.hpp:108
CurveType::template g2_type ::value_type h
Definition: srs.hpp:106
CurveType::template g2_type ::value_type h_alpha
Definition: srs.hpp:109
CurveType::template g1_type ::value_type g_alpha
Definition: srs.hpp:107
Definition: commitment.hpp:81
bool has_correct_len(std::size_t n) const
Definition: commitment.hpp:98
Definition: commitment.hpp:200