#include <r1cs_ppzksnark.hpp>
Collaboration diagram for libsnark::r1cs_ppzksnark_processed_verification_key< ppT >:
Public Member Functions | |
| bool | operator== (const r1cs_ppzksnark_processed_verification_key &other) const |
Public Attributes | |
| libff::G2_precomp< ppT > | pp_G2_one_precomp |
| libff::G2_precomp< ppT > | vk_alphaA_g2_precomp |
| libff::G1_precomp< ppT > | vk_alphaB_g1_precomp |
| libff::G2_precomp< ppT > | vk_alphaC_g2_precomp |
| libff::G2_precomp< ppT > | vk_rC_Z_g2_precomp |
| libff::G2_precomp< ppT > | vk_gamma_g2_precomp |
| libff::G1_precomp< ppT > | vk_gamma_beta_g1_precomp |
| libff::G2_precomp< ppT > | vk_gamma_beta_g2_precomp |
| accumulation_vector< libff::G1< ppT > > | encoded_IC_query |
Friends | |
| std::ostream & | operator (std::ostream &out, const r1cs_ppzksnark_processed_verification_key< ppT > &pvk) |
| std::istream & | operator>> (std::istream &in, r1cs_ppzksnark_processed_verification_key< ppT > &pvk) |
Detailed Description
template<typename ppT>
class libsnark::r1cs_ppzksnark_processed_verification_key< ppT >
A processed verification key for the R1CS 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 231 of file r1cs_ppzksnark.hpp.
Member Function Documentation
◆ operator==()
template<typename ppT >
| bool libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::operator== | ( | const r1cs_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
◆ encoded_IC_query
template<typename ppT >
| accumulation_vector<libff::G1<ppT> > libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::encoded_IC_query |
Definition at line 261 of file r1cs_ppzksnark.hpp.
◆ pp_G2_one_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::pp_G2_one_precomp |
Definition at line 252 of file r1cs_ppzksnark.hpp.
◆ vk_alphaA_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::vk_alphaA_g2_precomp |
Definition at line 253 of file r1cs_ppzksnark.hpp.
◆ vk_alphaB_g1_precomp
template<typename ppT >
| libff::G1_precomp<ppT> libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::vk_alphaB_g1_precomp |
Definition at line 254 of file r1cs_ppzksnark.hpp.
◆ vk_alphaC_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::vk_alphaC_g2_precomp |
Definition at line 255 of file r1cs_ppzksnark.hpp.
◆ vk_gamma_beta_g1_precomp
template<typename ppT >
| libff::G1_precomp<ppT> libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::vk_gamma_beta_g1_precomp |
Definition at line 258 of file r1cs_ppzksnark.hpp.
◆ vk_gamma_beta_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::vk_gamma_beta_g2_precomp |
Definition at line 259 of file r1cs_ppzksnark.hpp.
◆ vk_gamma_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::vk_gamma_g2_precomp |
Definition at line 257 of file r1cs_ppzksnark.hpp.
◆ vk_rC_Z_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::r1cs_ppzksnark_processed_verification_key< ppT >::vk_rC_Z_g2_precomp |
Definition at line 256 of file r1cs_ppzksnark.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp
