#include <uscs_ppzksnark.hpp>
Collaboration diagram for libsnark::uscs_ppzksnark_processed_verification_key< ppT >:
Public Member Functions | |
| bool | operator== (const uscs_ppzksnark_processed_verification_key &other) const |
Public Attributes | |
| libff::G1_precomp< ppT > | pp_G1_one_precomp |
| libff::G2_precomp< ppT > | pp_G2_one_precomp |
| libff::G2_precomp< ppT > | vk_tilde_g2_precomp |
| libff::G2_precomp< ppT > | vk_alpha_tilde_g2_precomp |
| libff::G2_precomp< ppT > | vk_Z_g2_precomp |
| libff::GT< ppT > | pairing_of_g1_and_g2 |
| accumulation_vector< libff::G1< ppT > > | encoded_IC_query |
Friends | |
| std::ostream & | operator (std::ostream &out, const uscs_ppzksnark_processed_verification_key< ppT > &pvk) |
| std::istream & | operator>> (std::istream &in, uscs_ppzksnark_processed_verification_key< ppT > &pvk) |
Detailed Description
template<typename ppT>
class libsnark::uscs_ppzksnark_processed_verification_key< ppT >
A processed verification key for the USCS 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 208 of file uscs_ppzksnark.hpp.
Member Function Documentation
◆ operator==()
template<typename ppT >
| bool libsnark::uscs_ppzksnark_processed_verification_key< ppT >::operator== | ( | const uscs_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::uscs_ppzksnark_processed_verification_key< ppT >::encoded_IC_query |
Definition at line 236 of file uscs_ppzksnark.hpp.
◆ pairing_of_g1_and_g2
template<typename ppT >
| libff::GT<ppT> libsnark::uscs_ppzksnark_processed_verification_key< ppT >::pairing_of_g1_and_g2 |
Definition at line 234 of file uscs_ppzksnark.hpp.
◆ pp_G1_one_precomp
template<typename ppT >
| libff::G1_precomp<ppT> libsnark::uscs_ppzksnark_processed_verification_key< ppT >::pp_G1_one_precomp |
Definition at line 229 of file uscs_ppzksnark.hpp.
◆ pp_G2_one_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::uscs_ppzksnark_processed_verification_key< ppT >::pp_G2_one_precomp |
Definition at line 230 of file uscs_ppzksnark.hpp.
◆ vk_alpha_tilde_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::uscs_ppzksnark_processed_verification_key< ppT >::vk_alpha_tilde_g2_precomp |
Definition at line 232 of file uscs_ppzksnark.hpp.
◆ vk_tilde_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::uscs_ppzksnark_processed_verification_key< ppT >::vk_tilde_g2_precomp |
Definition at line 231 of file uscs_ppzksnark.hpp.
◆ vk_Z_g2_precomp
template<typename ppT >
| libff::G2_precomp<ppT> libsnark::uscs_ppzksnark_processed_verification_key< ppT >::vk_Z_g2_precomp |
Definition at line 233 of file uscs_ppzksnark.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/ppzksnark/uscs_ppzksnark/uscs_ppzksnark.hpp
