snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.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
std::pair< typename GroupType::value_type, typename GroupType::value_type > kzg_opening
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:45
std::pair< typename CurveType::gt_type::value_type, typename CurveType::gt_type::value_type > r1cs_gg_ppzksnark_ipp2_commitment_output
Both commitment outputs a pair of $F_q^k$ element.
Definition: commitment.hpp:76
Definition: pair.hpp:31
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:50
curve_type::template g1_type ::value_type final_a
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:66
std::vector< std::pair< r1cs_gg_ppzksnark_ipp2_commitment_output< curve_type >, r1cs_gg_ppzksnark_ipp2_commitment_output< curve_type > > > comms_ab
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:56
std::size_t nproofs
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:53
curve_type::template g2_type ::value_type final_b
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:67
std::vector< std::pair< typename curve_type::template g1_type<>::value_type, typename curve_type::template g1_type<>::value_type > > z_c
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:65
std::pair< typename curve_type::template g1_type<>::value_type, typename curve_type::template g1_type<>::value_type > final_wkey
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:77
static std::size_t log_proofs(std::size_t nproofs)
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:79
std::vector< std::pair< typename curve_type::gt_type::value_type, typename curve_type::gt_type::value_type > > z_ab
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:62
std::pair< typename curve_type::template g2_type<>::value_type, typename curve_type::template g2_type<>::value_type > final_vkey
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:74
CurveType curve_type
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:51
std::vector< std::pair< r1cs_gg_ppzksnark_ipp2_commitment_output< curve_type >, r1cs_gg_ppzksnark_ipp2_commitment_output< curve_type > > > comms_c
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:59
curve_type::template g1_type ::value_type final_c
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:68
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:96
r1cs_gg_ppzksnark_ipp2_commitment_output< curve_type > com_ab
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:100
r1cs_gg_ppzksnark_ipp2_commitment_output< curve_type > com_c
commit to C separate since we use it only in MIPP
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:102
curve_type::gt_type::value_type ip_ab
$A^r * B = Z$ is the left value on the aggregated Groth16 equation
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:104
CurveType curve_type
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:97
bool is_valid() const
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:111
curve_type::template g1_type ::value_type agg_c
$C^r$ is used on the right side of the aggregated Groth16 equation
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:106
tipp_mipp_proof< curve_type > tmipp
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:107
Definition: srs.hpp:121
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:85
gipa_proof< curve_type > gipa
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:88
kzg_opening< typename curve_type::template g2_type<> > vkey_opening
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:89
kzg_opening< typename curve_type::template g1_type<> > wkey_opening
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:90
CurveType curve_type
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/proof.hpp:86