nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType > Class Template Reference

#include <verifier.hpp>

Inheritance diagram for nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >:

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

Public Types
typedef CurveType::scalar_field_type	FieldType

Public Member Functions
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
	r1cs_ppzksnark_verifier_process_vk_component (blueprint< FieldType > &bp, const r1cs_ppzksnark_verification_key_variable< CurveType > &vk, r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType > &pvk)

Public Attributes
std::shared_ptr< precompute_G2_component< CurveType > >	compute_vk_alphaA_g2_precomp
std::shared_ptr< precompute_G1_component< CurveType > >	compute_vk_alphaB_g1_precomp
std::shared_ptr< precompute_G2_component< CurveType > >	compute_vk_alphaC_g2_precomp
std::shared_ptr< precompute_G1_component< CurveType > >	compute_vk_gamma_beta_g1_precomp
std::shared_ptr< precompute_G2_component< CurveType > >	compute_vk_gamma_beta_g2_precomp
std::shared_ptr< precompute_G2_component< CurveType > >	compute_vk_gamma_g2_precomp
std::shared_ptr< precompute_G2_component< CurveType > >	compute_vk_rC_Z_g2_precomp
r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType > &	pvk
r1cs_ppzksnark_verification_key_variable< CurveType >	vk

Protected Attributes
blueprint< CurveType::scalar_field_type > &	bp

Member Typedef Documentation

FieldType

template<typename CurveType >

typedef CurveType::scalar_field_type nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::FieldType

Constructor & Destructor Documentation

r1cs_ppzksnark_verifier_process_vk_component()

template<typename CurveType >

nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::r1cs_ppzksnark_verifier_process_vk_component ( blueprint< FieldType > &  bp, const r1cs_ppzksnark_verification_key_variable< CurveType > &  vk, r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType > &  pvk  )

inline

Member Function Documentation

generate_r1cs_constraints()

template<typename CurveType >

void nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::generate_r1cs_constraints ( )

inline

generate_r1cs_witness()

template<typename CurveType >

void nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::generate_r1cs_witness ( )

inline

Member Data Documentation

bp

blueprint<CurveType::scalar_field_type >& nil::crypto3::zk::components::component< CurveType::scalar_field_type >::bp

protectedinherited

compute_vk_alphaA_g2_precomp

template<typename CurveType >

std::shared_ptr<precompute_G2_component<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::compute_vk_alphaA_g2_precomp

compute_vk_alphaB_g1_precomp

template<typename CurveType >

std::shared_ptr<precompute_G1_component<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::compute_vk_alphaB_g1_precomp

compute_vk_alphaC_g2_precomp

template<typename CurveType >

std::shared_ptr<precompute_G2_component<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::compute_vk_alphaC_g2_precomp

compute_vk_gamma_beta_g1_precomp

template<typename CurveType >

std::shared_ptr<precompute_G1_component<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::compute_vk_gamma_beta_g1_precomp

compute_vk_gamma_beta_g2_precomp

template<typename CurveType >

std::shared_ptr<precompute_G2_component<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::compute_vk_gamma_beta_g2_precomp

compute_vk_gamma_g2_precomp

template<typename CurveType >

std::shared_ptr<precompute_G2_component<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::compute_vk_gamma_g2_precomp

compute_vk_rC_Z_g2_precomp

template<typename CurveType >

std::shared_ptr<precompute_G2_component<CurveType> > nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::compute_vk_rC_Z_g2_precomp

pvk

template<typename CurveType >

r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable<CurveType>& nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::pvk

vk

template<typename CurveType >

r1cs_ppzksnark_verification_key_variable<CurveType> nil::crypto3::zk::snark::components::r1cs_ppzksnark_verifier_process_vk_component< CurveType >::vk

---

The documentation for this class was generated from the following file:

• blueprint/include/nil/crypto3/zk/components/schemes/snark/r1cs_pp_zksnark/verifier.hpp