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 >
bool nil::crypto3::zk::snark::r1cs_se_ppzksnark_processed_verification_key< CurveType >::operator== ( const r1cs_se_ppzksnark_processed_verification_key< CurveType > &  other) const
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: