snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp
Go to the documentation of this file.
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
Definition: pair.hpp:31
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:40
CurveType curve_type
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:41
std::size_t G2_size() const
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:71
bool operator==(const r1cs_gg_ppzksnark_proof &other) const
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:86
CurveType::template g1_type ::value_type g_A
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:43
CurveType::template g1_type ::value_type g_C
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:45
r1cs_gg_ppzksnark_proof()
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:47
r1cs_gg_ppzksnark_proof(typename CurveType::template g1_type<>::value_type &&g_A, typename CurveType::template g2_type<>::value_type &&g_B, typename CurveType::template g1_type<>::value_type &&g_C)
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:61
bool is_well_formed() const
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:82
r1cs_gg_ppzksnark_proof(const typename CurveType::template g1_type<>::value_type &g_A, const typename CurveType::template g2_type<>::value_type &g_B, const typename CurveType::template g1_type<>::value_type &g_C)
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:56
std::size_t size_in_bits() const
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:75
CurveType::template g2_type ::value_type g_B
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:44
std::size_t G1_size() const
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:67