systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp
Go to the documentation of this file.
vector(T, U...) -> vector< std::enable_if_t<(std::is_same_v< T, U > &&...), T >, 1+sizeof...(U)>
deduction guide for uniform initialization
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
Definition: pair.hpp:31
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:39
CurveType::template g2_type ::value_type delta_g2
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:47
r1cs_gg_ppzksnark_proving_key & operator=(const r1cs_gg_ppzksnark_proving_key &other)=default
r1cs_gg_ppzksnark_proving_key(r1cs_gg_ppzksnark_proving_key &&other)=default
CurveType::template g2_type ::value_type beta_g2
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:45
r1cs_gg_ppzksnark_proving_key(const r1cs_gg_ppzksnark_proving_key &other)=default
r1cs_gg_ppzksnark_proving_key(typename CurveType::template g1_type<>::value_type &&alpha_g1, typename CurveType::template g1_type<>::value_type &&beta_g1, typename CurveType::template g2_type<>::value_type &&beta_g2, typename CurveType::template g1_type<>::value_type &&delta_g1, typename CurveType::template g2_type<>::value_type &&delta_g2, std::vector< typename CurveType::template g1_type<>::value_type > &&A_query, knowledge_commitment_vector< typename CurveType::template g2_type<>, typename CurveType::template g1_type<>> &&B_query, std::vector< typename CurveType::template g1_type<>::value_type > &&H_query, std::vector< typename CurveType::template g1_type<>::value_type > &&L_query, constraint_system_type &&constraint_system)
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:80
bool operator==(const r1cs_gg_ppzksnark_proving_key &other) const
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:123
std::size_t G2_sparse_size() const
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:110
constraint_system_type constraint_system
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:57
std::vector< typename CurveType::template g1_type<>::value_type > A_query
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:50
CurveType::template g1_type ::value_type delta_g1
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:46
std::vector< typename CurveType::template g1_type<>::value_type > H_query
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:54
CurveType curve_type
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:40
r1cs_gg_ppzksnark_proving_key(const typename CurveType::template g1_type<>::value_type &alpha_g1, const typename CurveType::template g1_type<>::value_type &beta_g1, const typename CurveType::template g2_type<>::value_type &beta_g2, const typename CurveType::template g1_type<>::value_type &delta_g1, const typename CurveType::template g2_type<>::value_type &delta_g2, const std::vector< typename CurveType::template g1_type<>::value_type > &A_query, const knowledge_commitment_vector< typename CurveType::template g2_type<>, typename CurveType::template g1_type<>> &B_query, const std::vector< typename CurveType::template g1_type<>::value_type > &H_query, const std::vector< typename CurveType::template g1_type<>::value_type > &L_query, const constraint_system_type &constraint_system)
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:64
std::size_t G1_size() const
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:98
std::size_t size_in_bits() const
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:114
r1cs_constraint_system< typename CurveType::scalar_field_type > constraint_system_type
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:41
r1cs_gg_ppzksnark_proving_key()
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:59
std::vector< typename CurveType::template g1_type<>::value_type > L_query
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:55
std::size_t G1_sparse_size() const
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:106
knowledge_commitment_vector< typename CurveType::template g2_type<>, typename CurveType::template g1_type<> > B_query
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:53
CurveType::template g1_type ::value_type beta_g1
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:44
CurveType::template g1_type ::value_type alpha_g1
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:43
std::size_t G2_size() const
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:102
Definition: sparse_vector.hpp:48