#include <r1cs_ppzksnark_verifier_gadget.hpp>

Inheritance diagram for libsnark::r1cs_ppzksnark_verification_key_variable< ppT >:

Collaboration diagram for libsnark::r1cs_ppzksnark_verification_key_variable< ppT >:

Public Types
typedef libff::Fr< ppT >	FieldT

Public Member Functions
	__attribute__ ((noinline)) r1cs_ppzksnark_verification_key_variable(protoboard< FieldT > &pb

void	generate_r1cs_constraints ()

void	generate_r1cs_witness (const r1cs_ppzksnark_verification_key< other_curve< ppT >> &vk)

size_t	num_primary_inputs () const

const pb_linear_combination_array< FieldT > &	get_all_vars () const

Public Member Functions inherited from libsnark::gadget< libff::Fr< ppT > >
	gadget (protoboard< libff::Fr< ppT > > &pb, const std::string &annotation_prefix)

Static Public Member Functions
static std::vector< FieldT >	get_verification_key_scalars (const r1cs_ppzksnark_verification_key< other_curve< ppT >> &r1cs_vk)

Public Attributes
std::shared_ptr< G2_variable< ppT > >	alphaA_g2

std::shared_ptr< G1_variable< ppT > >	alphaB_g1

std::shared_ptr< G2_variable< ppT > >	alphaC_g2

std::shared_ptr< G2_variable< ppT > >	gamma_g2

std::shared_ptr< G1_variable< ppT > >	gamma_beta_g1

std::shared_ptr< G2_variable< ppT > >	gamma_beta_g2

std::shared_ptr< G2_variable< ppT > >	rC_Z_g2

std::shared_ptr< G1_variable< ppT > >	encoded_IC_base

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

pb_linear_combination_array< FieldT >	all_vars

size_t	input_size

std::vector< std::shared_ptr< G1_variable< ppT > > >	all_G1_vars

std::vector< std::shared_ptr< G2_variable< ppT > > >	all_G2_vars

const size_t	input_size

const size_t const std::string &	annotation_prefix

Additional Inherited Members
Protected Attributes inherited from libsnark::gadget< libff::Fr< ppT > >
protoboard< libff::Fr< ppT > > &	pb

const std::string	annotation_prefix

Detailed Description

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

Definition at line 66 of file r1cs_ppzksnark_verifier_gadget.hpp.

Member Typedef Documentation

◆ FieldT

template<typename ppT >

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

Definition at line 69 of file r1cs_ppzksnark_verifier_gadget.hpp.

Member Function Documentation

◆ attribute()

template<typename ppT >

libsnark::r1cs_ppzksnark_verification_key_variable< ppT >::__attribute__ ( (noinline) ) &

◆ generate_r1cs_constraints()

template<typename ppT >

void libsnark::r1cs_ppzksnark_verification_key_variable< ppT >::generate_r1cs_constraints ( )

◆ generate_r1cs_witness()

template<typename ppT >

void libsnark::r1cs_ppzksnark_verification_key_variable< ppT >::generate_r1cs_witness ( const r1cs_ppzksnark_verification_key< other_curve< ppT >> & vk )

◆ get_all_vars()

template<typename ppT >

const pb_linear_combination_array<FieldT>& libsnark::r1cs_ppzksnark_verification_key_variable< ppT >::get_all_vars ( ) const

◆ get_verification_key_scalars()

template<typename ppT >

static std::vector<FieldT> libsnark::r1cs_ppzksnark_verification_key_variable< ppT >::get_verification_key_scalars ( const r1cs_ppzksnark_verification_key< other_curve< ppT >> & r1cs_vk )