nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType > Class Template Reference
#include <verification_key.hpp>
Collaboration diagram for nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >:
Public Member Functions | |
bool | operator== (const r1cs_ppzksnark_processed_verification_key &other) const |
Public Attributes | |
accumulation_vector< typename CurveType::template g1_type<> > | encoded_IC_query |
pairing_policy::g2_precomputed_type | pp_G2_one_precomp |
pairing_policy::g2_precomputed_type | vk_alphaA_g2_precomp |
pairing_policy::g1_precomputed_type | vk_alphaB_g1_precomp |
pairing_policy::g2_precomputed_type | vk_alphaC_g2_precomp |
pairing_policy::g1_precomputed_type | vk_gamma_beta_g1_precomp |
pairing_policy::g2_precomputed_type | vk_gamma_beta_g2_precomp |
pairing_policy::g2_precomputed_type | vk_gamma_g2_precomp |
pairing_policy::g2_precomputed_type | vk_rC_Z_g2_precomp |
Detailed Description
template<typename CurveType>
class nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >
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.
Member Function Documentation
◆ operator==()
template<typename CurveType >
|
inline |
Member Data Documentation
◆ encoded_IC_query
template<typename CurveType >
accumulation_vector<typename CurveType::template g1_type<> > nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >::encoded_IC_query |
◆ pp_G2_one_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >::pp_G2_one_precomp |
◆ vk_alphaA_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >::vk_alphaA_g2_precomp |
◆ vk_alphaB_g1_precomp
template<typename CurveType >
pairing_policy::g1_precomputed_type nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >::vk_alphaB_g1_precomp |
◆ vk_alphaC_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >::vk_alphaC_g2_precomp |
◆ vk_gamma_beta_g1_precomp
template<typename CurveType >
pairing_policy::g1_precomputed_type nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >::vk_gamma_beta_g1_precomp |
◆ vk_gamma_beta_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >::vk_gamma_beta_g2_precomp |
◆ vk_gamma_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >::vk_gamma_g2_precomp |
◆ vk_rC_Z_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::r1cs_ppzksnark_processed_verification_key< CurveType >::vk_rC_Z_g2_precomp |
The documentation for this class was generated from the following file: