#include <r1cs_gg_ppzksnark.hpp>
Collaboration diagram for libsnark::r1cs_gg_ppzksnark_processed_verification_key< ppT >:
Public Member Functions | |
| bool | operator== (const r1cs_gg_ppzksnark_processed_verification_key &other) const |
Public Attributes | |
| libff::G1_precomp< ppT > | vk_alpha_g1_precomp |
| libff::G2_precomp< ppT > | vk_beta_g2_precomp |
| libff::G2_precomp< ppT > | vk_generator_g2_precomp |
| libff::G2_precomp< ppT > | vk_delta_g2_precomp |
| accumulation_vector< libff::G1< ppT > > | ABC_g1 |
Friends | |
| std::ostream & | operator (std::ostream &out, const r1cs_gg_ppzksnark_processed_verification_key< ppT > &pvk) |
| std::istream & | operator>> (std::istream &in, r1cs_gg_ppzksnark_processed_verification_key< ppT > &pvk) |
Detailed Description
template<typename ppT>
class libsnark::r1cs_gg_ppzksnark_processed_verification_key< ppT >
A processed verification key for the R1CS GG-ppzkSNARK.
Compared to a (non-processed) verification key, a processed verification key contains a small constant amount of additional pre-computed information that enables a faster verification time.
Definition at line 241 of file r1cs_gg_ppzksnark.hpp.
Member Function Documentation
◆ operator==()
template<typename ppT >
| bool libsnark::r1cs_gg_ppzksnark_processed_verification_key< ppT >::operator== | ( | const r1cs_gg_ppzksnark_processed_verification_key< ppT > & | other | ) | const |
Friends And Related Function Documentation
◆ operator
template<typename ppT >
|
friend |
◆ operator>>
template<typename ppT >
|
friend |
Member Data Documentation
◆ ABC_g1
template<typename ppT >
| accumulation_vector<libff::G1<ppT> > libsnark::r1cs_gg_ppzksnark_processed_verification_key< ppT >::ABC_g1 |
Definition at line 267 of file r1cs_gg_ppzksnark.hpp.
◆ vk_alpha_g1_precomp
template<typename ppT >
| libff::G1_precomp<ppT> libsnark::r1cs_gg_ppzksnark_processed_verification_key< ppT >::vk_alpha_g1_precomp |
Definition at line 262 of file r1cs_gg_ppzksnark.hpp.
◆ vk_beta_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::r1cs_gg_ppzksnark_processed_verification_key< ppT >::vk_beta_g2_precomp |
Definition at line 263 of file r1cs_gg_ppzksnark.hpp.
◆ vk_delta_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::r1cs_gg_ppzksnark_processed_verification_key< ppT >::vk_delta_g2_precomp |
Definition at line 265 of file r1cs_gg_ppzksnark.hpp.
◆ vk_generator_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::r1cs_gg_ppzksnark_processed_verification_key< ppT >::vk_generator_g2_precomp |
Definition at line 264 of file r1cs_gg_ppzksnark.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/r1cs_gg_ppzksnark.hpp
