nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key Class Reference
#include <basic_policy.hpp>
Collaboration diagram for nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key:
Public Member Functions | |
bool | operator== (const processed_verification_key &other) const |
Public Attributes | |
CurveType::template g1_type ::value_type | A0 |
std::vector< typename CurveType::template g1_type<>::value_type > | Ain |
pairing_policy::g2_precomputed_type | pp_G2_one_precomp |
std::vector< pairing_policy::g1_precomputed_type > | proof_g_vki_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_i_g2_precomp |
pairing_policy::g2_precomputed_type | vk_rC_Z_g2_precomp |
Detailed Description
template<typename CurveType>
class nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key
A processed verification key for the R1CS ppzkADSNARK.
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
◆ A0
template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::A0 |
◆ Ain
template<typename CurveType >
std::vector<typename CurveType::template g1_type<>::value_type> nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::Ain |
◆ pp_G2_one_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::pp_G2_one_precomp |
◆ proof_g_vki_precomp
template<typename CurveType >
std::vector<pairing_policy::g1_precomputed_type> nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::proof_g_vki_precomp |
◆ vk_alphaA_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::vk_alphaA_g2_precomp |
◆ vk_alphaB_g1_precomp
template<typename CurveType >
pairing_policy::g1_precomputed_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::vk_alphaB_g1_precomp |
◆ vk_alphaC_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::vk_alphaC_g2_precomp |
◆ vk_gamma_beta_g1_precomp
template<typename CurveType >
pairing_policy::g1_precomputed_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::vk_gamma_beta_g1_precomp |
◆ vk_gamma_beta_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::vk_gamma_beta_g2_precomp |
◆ vk_gamma_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::vk_gamma_g2_precomp |
◆ vk_rC_i_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::vk_rC_i_g2_precomp |
◆ vk_rC_Z_g2_precomp
template<typename CurveType >
pairing_policy::g2_precomputed_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::processed_verification_key::vk_rC_Z_g2_precomp |
The documentation for this class was generated from the following file: