nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType > Struct Template Reference
#include <verification_key.hpp>
Collaboration diagram for nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >:
Public Member Functions | |
bool | operator== (const r1cs_se_ppzksnark_processed_verification_key &other) const |
Public Attributes | |
CurveType::template g1_type ::value_type | G_alpha |
CurveType::gt_type::value_type | G_alpha_H_beta_ml |
pairing::pairing_policy< CurveType >::g1_precomputed_type | G_gamma_pc |
CurveType::template g2_type ::value_type | H_beta |
pairing::pairing_policy< CurveType >::g2_precomputed_type | H_gamma_pc |
pairing::pairing_policy< CurveType >::g2_precomputed_type | H_pc |
std::vector< typename CurveType::template g1_type<>::value_type > | query |
Detailed Description
template<typename CurveType>
struct nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >
A processed verification key for the R1CS SEppzkSNARK.
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
◆ G_alpha
template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >::G_alpha |
◆ G_alpha_H_beta_ml
template<typename CurveType >
CurveType::gt_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >::G_alpha_H_beta_ml |
◆ G_gamma_pc
template<typename CurveType >
pairing::pairing_policy<CurveType>::g1_precomputed_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >::G_gamma_pc |
◆ H_beta
template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >::H_beta |
◆ H_gamma_pc
template<typename CurveType >
pairing::pairing_policy<CurveType>::g2_precomputed_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >::H_gamma_pc |
◆ H_pc
template<typename CurveType >
pairing::pairing_policy<CurveType>::g2_precomputed_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >::H_pc |
◆ query
template<typename CurveType >
std::vector<typename CurveType::template g1_type<>::value_type> nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >::query |
The documentation for this struct was generated from the following file: