libsnark::r1cs_gg_ppzksnark_proof_variable< ppT > Class Template Reference

#include <r1cs_gg_ppzksnark_verifier_gadget.hpp>

Inheritance diagram for libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >:

Collaboration diagram for libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >:

Public Types
typedef libff::Fr< ppT >	FieldT

Public Member Functions
	r1cs_gg_ppzksnark_proof_variable (protoboard< FieldT > &pb, const std::string &annotation_prefix)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness (const r1cs_gg_ppzksnark_proof< other_curve< ppT >> &proof)
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 size_t	size ()

Public Attributes
std::shared_ptr< G1_variable< ppT > >	_g_A
std::shared_ptr< G2_variable< ppT > >	_g_B
std::shared_ptr< G1_variable< ppT > >	_g_C
std::vector< std::shared_ptr< G1_variable< ppT > > >	_all_G1_vars
std::vector< std::shared_ptr< G2_variable< ppT > > >	_all_G2_vars
std::vector< std::shared_ptr< G1_checker< ppT > > >	_all_G1_checkers
std::shared_ptr< G2_checker< ppT > >	_G2_checker
pb_variable_array< FieldT >	_proof_contents

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

Definition at line 30 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

Member Typedef Documentation

FieldT

template<typename ppT >

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

Definition at line 33 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

Constructor & Destructor Documentation

r1cs_gg_ppzksnark_proof_variable()

template<typename ppT >

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

Member Function Documentation

generate_r1cs_constraints()

template<typename ppT >

void libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename ppT >

void libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::generate_r1cs_witness

(

const r1cs_gg_ppzksnark_proof< other_curve< ppT >> &

proof

)

size()

template<typename ppT >

static size_t libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::size ( )

static

Member Data Documentation

_all_G1_checkers

template<typename ppT >

std::vector<std::shared_ptr<G1_checker<ppT> > > libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::_all_G1_checkers

Definition at line 42 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_all_G1_vars

template<typename ppT >

std::vector<std::shared_ptr<G1_variable<ppT> > > libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::_all_G1_vars

Definition at line 39 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_all_G2_vars

template<typename ppT >

std::vector<std::shared_ptr<G2_variable<ppT> > > libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::_all_G2_vars

Definition at line 40 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_G2_checker

template<typename ppT >

std::shared_ptr<G2_checker<ppT> > libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::_G2_checker

Definition at line 43 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_g_A

template<typename ppT >

std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::_g_A

Definition at line 35 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_g_B

template<typename ppT >

std::shared_ptr<G2_variable<ppT> > libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::_g_B

Definition at line 36 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_g_C

template<typename ppT >

std::shared_ptr<G1_variable<ppT> > libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::_g_C

Definition at line 37 of file r1cs_gg_ppzksnark_verifier_gadget.hpp.

_proof_contents

template<typename ppT >

pb_variable_array<FieldT> libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >::_proof_contents

Definition at line 45 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