snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp
Go to the documentation of this file.
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:43
knowledge_commitment< g1_type, g1_type >::value_type g_C
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:53
r1cs_ppzksnark_proof(typename knowledge_commitment< g1_type, g1_type >::value_type &&g_A, typename knowledge_commitment< g2_type, g1_type >::value_type &&g_B, typename knowledge_commitment< g1_type, g1_type >::value_type &&g_C, g1_value_type &&g_H, g1_value_type &&g_K)
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:68
knowledge_commitment< g1_type, g1_type >::value_type g_A
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:51
r1cs_ppzksnark_proof()
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:57
knowledge_commitment< g2_type, g1_type >::value_type g_B
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:52
g1_value_type g_H
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:54
std::size_t G1_size() const
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:76
bool operator==(const r1cs_ppzksnark_proof &other) const
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:94
std::size_t size_in_bits() const
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:84
bool is_well_formed() const
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:88
g1_value_type g_K
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:55
std::size_t G2_size() const
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:80
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
Definition: pair.hpp:31
Definition: knowledge_commitment.hpp:49