libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT > Class Template Reference

#include <r1cs_gg_ppzksnark_verifier_gadget.hpp>

Public Types
typedef libff::Fr< ppT >	FieldT

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

Public Attributes
std::shared_ptr< G1_precomputation< ppT > >	_vk_alpha_g1_precomp
std::shared_ptr< G2_precomputation< ppT > >	_vk_generator_g2_precomp
std::shared_ptr< G2_precomputation< ppT > >	_vk_beta_g2_precomp
std::shared_ptr< G2_precomputation< ppT > >	_vk_delta_g2_precomp
std::shared_ptr< G1_variable< ppT > >	_encoded_ABC_base
std::vector< std::shared_ptr< G1_variable< ppT > > >	_ABC_g1

Detailed Description

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

Definition at line 87 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

Member Typedef Documentation

FieldT

template<typename ppT >

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

Definition at line 90 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

Constructor & Destructor Documentation

r1cs_gg_ppzksnark_preprocessed_verification_key_variable() [1/2]

template<typename ppT >

libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT >::r1cs_gg_ppzksnark_preprocessed_verification_key_variable

(

)

r1cs_gg_ppzksnark_preprocessed_verification_key_variable() [2/2]

template<typename ppT >

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

Member Data Documentation

_ABC_g1

template<typename ppT >

std::vector<std::shared_ptr<G1_variable<ppT> > > libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT >::_ABC_g1

Definition at line 98 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_encoded_ABC_base

template<typename ppT >

std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT >::_encoded_ABC_base

Definition at line 97 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_vk_alpha_g1_precomp

template<typename ppT >

std::shared_ptr<G1_precomputation<ppT> > libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT >::_vk_alpha_g1_precomp

Definition at line 92 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_vk_beta_g2_precomp

template<typename ppT >

std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT >::_vk_beta_g2_precomp

Definition at line 94 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_vk_delta_g2_precomp

template<typename ppT >

std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT >::_vk_delta_g2_precomp

Definition at line 95 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_vk_generator_g2_precomp

template<typename ppT >

std::shared_ptr<G2_precomputation<ppT> > libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT >::_vk_generator_g2_precomp

Definition at line 93 of file r1cs_gg_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_gg_ppzksnark_verifier_gadget.hpp