systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp
Go to the documentation of this file.
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:47
std::vector< g1_value_type > H_query
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:60
std::size_t G2_size() const
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:84
std::size_t G2_sparse_size() const
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:92
knowledge_commitment_vector< g1_type, g1_type > A_query
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:57
constraint_system_type constraint_system
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:63
ConstraintSystemType constraint_system_type
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:55
knowledge_commitment_vector< g2_type, g1_type > B_query
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:58
std::size_t G1_sparse_size() const
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:88
r1cs_ppzksnark_proving_key(knowledge_commitment_vector< g1_type, g1_type > &&A_query, knowledge_commitment_vector< g2_type, g1_type > &&B_query, knowledge_commitment_vector< g1_type, g1_type > &&C_query, typename std::vector< g1_value_type > &&H_query, typename std::vector< g1_value_type > &&K_query, constraint_system_type &&constraint_system)
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:69
r1cs_ppzksnark_proving_key(const r1cs_ppzksnark_proving_key &other)=default
r1cs_ppzksnark_proving_key & operator=(const r1cs_ppzksnark_proving_key &other)=default
bool operator==(const r1cs_ppzksnark_proving_key &other) const
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:102
std::size_t size_in_bits() const
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:96
std::size_t G1_size() const
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:79
std::vector< g1_value_type > K_query
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:61
r1cs_ppzksnark_proving_key()
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:65
r1cs_ppzksnark_proving_key(r1cs_ppzksnark_proving_key &&other)=default
knowledge_commitment_vector< g1_type, g1_type > C_query
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:59
CurveType curve_type
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:54
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
Definition: pair.hpp:31
Definition: sparse_vector.hpp:48