Public Types | Public Member Functions | Public Attributes | List of all members
nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType > Class Template Reference

#include <verifier.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >:

Public Types

typedef CurveType::scalar_field_type FieldType
 

Public Member Functions

 r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable ()
 
 r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable (blueprint< FieldType > &bp, const typename r1cs_ppzksnark< typename CurveType::pairing::pair_curve_type >::verification_key &r1cs_vk)
 

Public Attributes

std::shared_ptr< element_g1< CurveType > > encoded_IC_base
 
std::vector< std::shared_ptr< element_g1< CurveType > > > encoded_IC_query
 
std::shared_ptr< g2_precomputation< CurveType > > pp_G2_one_precomp
 
std::shared_ptr< g2_precomputation< CurveType > > vk_alphaA_g2_precomp
 
std::shared_ptr< g1_precomputation< CurveType > > vk_alphaB_g1_precomp
 
std::shared_ptr< g2_precomputation< CurveType > > vk_alphaC_g2_precomp
 
std::shared_ptr< g1_precomputation< CurveType > > vk_gamma_beta_g1_precomp
 
std::shared_ptr< g2_precomputation< CurveType > > vk_gamma_beta_g2_precomp
 
std::shared_ptr< g2_precomputation< CurveType > > vk_gamma_g2_precomp
 
std::shared_ptr< g2_precomputation< CurveType > > vk_rC_Z_g2_precomp
 

Member Typedef Documentation

◆ FieldType

template<typename CurveType >
typedef CurveType::scalar_field_type nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::FieldType

Constructor & Destructor Documentation

◆ r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable() [1/2]

template<typename CurveType >
nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable ( )
inline

◆ r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable() [2/2]

template<typename CurveType >
nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable ( blueprint< FieldType > &  bp,
const typename r1cs_ppzksnark< typename CurveType::pairing::pair_curve_type >::verification_key &  r1cs_vk 
)
inline

Member Data Documentation

◆ encoded_IC_base

template<typename CurveType >
std::shared_ptr<element_g1<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::encoded_IC_base

◆ encoded_IC_query

template<typename CurveType >
std::vector<std::shared_ptr<element_g1<CurveType> > > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::encoded_IC_query

◆ pp_G2_one_precomp

template<typename CurveType >
std::shared_ptr<g2_precomputation<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::pp_G2_one_precomp

◆ vk_alphaA_g2_precomp

template<typename CurveType >
std::shared_ptr<g2_precomputation<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::vk_alphaA_g2_precomp

◆ vk_alphaB_g1_precomp

template<typename CurveType >
std::shared_ptr<g1_precomputation<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::vk_alphaB_g1_precomp

◆ vk_alphaC_g2_precomp

template<typename CurveType >
std::shared_ptr<g2_precomputation<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::vk_alphaC_g2_precomp

◆ vk_gamma_beta_g1_precomp

template<typename CurveType >
std::shared_ptr<g1_precomputation<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::vk_gamma_beta_g1_precomp

◆ vk_gamma_beta_g2_precomp

template<typename CurveType >
std::shared_ptr<g2_precomputation<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::vk_gamma_beta_g2_precomp

◆ vk_gamma_g2_precomp

template<typename CurveType >
std::shared_ptr<g2_precomputation<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::vk_gamma_g2_precomp

◆ vk_rC_Z_g2_precomp

template<typename CurveType >
std::shared_ptr<g2_precomputation<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType >::vk_rC_Z_g2_precomp
The documentation for this class was generated from the following file: