libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT > Class Template Reference

#include <r1cs_ppzksnark_verifier_gadget.hpp>

Public Types
typedef libff::Fr< ppT >	FieldT

Public Member Functions
	r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable ()
	r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable (protoboard< FieldT > &pb, const r1cs_ppzksnark_verification_key< other_curve< ppT >> &r1cs_vk, const std::string &annotation_prefix)

Public Attributes
std::shared_ptr< G1_variable< ppT > >	encoded_IC_base
std::vector< std::shared_ptr< G1_variable< ppT > > >	encoded_IC_query
std::shared_ptr< G1_precomputation< ppT > >	vk_alphaB_g1_precomp
std::shared_ptr< G1_precomputation< ppT > >	vk_gamma_beta_g1_precomp
std::shared_ptr< G2_precomputation< ppT > >	pp_G2_one_precomp
std::shared_ptr< G2_precomputation< ppT > >	vk_alphaA_g2_precomp
std::shared_ptr< G2_precomputation< ppT > >	vk_alphaC_g2_precomp
std::shared_ptr< G2_precomputation< ppT > >	vk_gamma_beta_g2_precomp
std::shared_ptr< G2_precomputation< ppT > >	vk_gamma_g2_precomp
std::shared_ptr< G2_precomputation< ppT > >	vk_rC_Z_g2_precomp

Detailed Description

template<typename ppT>
class libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >

Definition at line 112 of file r1cs_ppzksnark_verifier_gadget.hpp.

Member Typedef Documentation

FieldT

template<typename ppT >

typedef libff::Fr<ppT> libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::FieldT

Definition at line 115 of file r1cs_ppzksnark_verifier_gadget.hpp.

Constructor & Destructor Documentation

r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable() [1/2]

template<typename ppT >

libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable

(

)

r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable() [2/2]

template<typename ppT >

libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable	(	protoboard< FieldT > &	pb,
		const r1cs_ppzksnark_verification_key< other_curve< ppT >> &	r1cs_vk,
		const std::string &	annotation_prefix
	)

Member Data Documentation

encoded_IC_base

template<typename ppT >

std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::encoded_IC_base

Definition at line 117 of file r1cs_ppzksnark_verifier_gadget.hpp.

encoded_IC_query

template<typename ppT >

std::vector<std::shared_ptr<G1_variable<ppT> > > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::encoded_IC_query

Definition at line 118 of file r1cs_ppzksnark_verifier_gadget.hpp.

pp_G2_one_precomp

template<typename ppT >

std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::pp_G2_one_precomp

Definition at line 123 of file r1cs_ppzksnark_verifier_gadget.hpp.

vk_alphaA_g2_precomp

template<typename ppT >

std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::vk_alphaA_g2_precomp

Definition at line 124 of file r1cs_ppzksnark_verifier_gadget.hpp.

vk_alphaB_g1_precomp

template<typename ppT >

std::shared_ptr<G1_precomputation<ppT> > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::vk_alphaB_g1_precomp

Definition at line 120 of file r1cs_ppzksnark_verifier_gadget.hpp.

vk_alphaC_g2_precomp

template<typename ppT >

std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::vk_alphaC_g2_precomp

Definition at line 125 of file r1cs_ppzksnark_verifier_gadget.hpp.

vk_gamma_beta_g1_precomp

template<typename ppT >

std::shared_ptr<G1_precomputation<ppT> > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::vk_gamma_beta_g1_precomp

Definition at line 121 of file r1cs_ppzksnark_verifier_gadget.hpp.

vk_gamma_beta_g2_precomp

template<typename ppT >

std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::vk_gamma_beta_g2_precomp

Definition at line 126 of file r1cs_ppzksnark_verifier_gadget.hpp.

vk_gamma_g2_precomp

template<typename ppT >

std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::vk_gamma_g2_precomp

Definition at line 127 of file r1cs_ppzksnark_verifier_gadget.hpp.

vk_rC_Z_g2_precomp

template<typename ppT >

std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >::vk_rC_Z_g2_precomp

Definition at line 128 of file r1cs_ppzksnark_verifier_gadget.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/verifiers/r1cs_ppzksnark_verifier_gadget.hpp