#include <r1cs_gg_ppzksnark_verifier_gadget.hpp>

Inheritance diagram for libsnark::r1cs_gg_ppzksnark_verification_key_variable< ppT >:

Collaboration diagram for libsnark::r1cs_gg_ppzksnark_verification_key_variable< ppT >:

Public Types
typedef libff::Fr< ppT >	FieldT

Public Member Functions
	r1cs_gg_ppzksnark_verification_key_variable (protoboard< FieldT > &pb, const size_t num_primary_inputs, const std::string &annotation_prefix)

void	generate_r1cs_constraints ()

void	generate_r1cs_witness (const r1cs_gg_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_gg_ppzksnark_verification_key< other_curve< ppT >> &r1cs_vk)

Public Attributes
G1_variable< ppT >	_alpha_g1

G2_variable< ppT >	_beta_g2

G2_variable< ppT >	_delta_g2

std::shared_ptr< G1_variable< ppT > >	_encoded_ABC_base

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

Protected Attributes
pb_linear_combination_array< FieldT >	_all_vars

const size_t	_num_primary_inputs

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_gg_ppzksnark_verification_key_variable< ppT >

Definition at line 56 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

Member Typedef Documentation

◆ FieldT

template<typename ppT >

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

Definition at line 60 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

Constructor & Destructor Documentation

◆ r1cs_gg_ppzksnark_verification_key_variable()

template<typename ppT >

libsnark::r1cs_gg_ppzksnark_verification_key_variable< ppT >::r1cs_gg_ppzksnark_verification_key_variable	(	protoboard< FieldT > &	pb,
		const size_t	num_primary_inputs,
		const std::string &	annotation_prefix
	)

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename ppT >

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

◆ generate_r1cs_witness()

template<typename ppT >

void libsnark::r1cs_gg_ppzksnark_verification_key_variable< ppT >::generate_r1cs_witness ( const r1cs_gg_ppzksnark_verification_key< other_curve< ppT >> & vk )

◆ get_all_vars()

template<typename ppT >

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

◆ get_verification_key_scalars()

template<typename ppT >

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