libsnark::mnt6_final_exp_gadget< ppT > Class Template Reference

#include <mnt_final_exponentiation.hpp>

Inheritance diagram for libsnark::mnt6_final_exp_gadget< ppT >:

Collaboration diagram for libsnark::mnt6_final_exp_gadget< ppT >:

Public Types
typedef libff::Fr< ppT >	FieldT

Public Member Functions
	mnt6_final_exp_gadget (protoboard< FieldT > &pb, const Fqk_variable< ppT > &el, const pb_variable< FieldT > &result_is_one, const std::string &annotation_prefix)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
Public Member Functions inherited from libsnark::gadget< libff::Fr< ppT > >
	gadget (protoboard< libff::Fr< ppT > > &pb, const std::string &annotation_prefix)

Public Attributes
Fqk_variable< ppT >	el
std::shared_ptr< Fqk_variable< ppT > >	one
std::shared_ptr< Fqk_variable< ppT > >	el_inv
std::shared_ptr< Fqk_variable< ppT > >	el_q_2
std::shared_ptr< Fqk_variable< ppT > >	el_q_2_minus_1
std::shared_ptr< Fqk_variable< ppT > >	el_q_3_minus_q
std::shared_ptr< Fqk_variable< ppT > >	el_inv_q_2
std::shared_ptr< Fqk_variable< ppT > >	el_inv_q_2_minus_1
std::shared_ptr< Fqk_variable< ppT > >	w1
std::shared_ptr< Fqk_variable< ppT > >	w0
std::shared_ptr< Fqk_variable< ppT > >	result
std::shared_ptr< Fqk_mul_gadget< ppT > >	compute_el_inv
std::shared_ptr< Fqk_mul_gadget< ppT > >	compute_el_q_2_minus_1
std::shared_ptr< Fqk_mul_gadget< ppT > >	compute_el_inv_q_2_minus_1
std::shared_ptr< exponentiation_gadget< FqkT< ppT >, Fp4_variable, Fp4_mul_gadget, Fp4_cyclotomic_sqr_gadget, libff::mnt4_q_limbs > >	compute_w1
std::shared_ptr< exponentiation_gadget< FqkT< ppT >, Fp4_variable, Fp4_mul_gadget, Fp4_cyclotomic_sqr_gadget, libff::mnt4_q_limbs > >	compute_w0
std::shared_ptr< Fqk_mul_gadget< ppT > >	compute_result
pb_variable< FieldT >	result_is_one

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::mnt6_final_exp_gadget< ppT >

Gadget for final exponentiation with embedding degree 6.

Definition at line 91 of file mnt_final_exponentiation.hpp.

Member Typedef Documentation

FieldT

template<typename ppT >

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

Definition at line 94 of file mnt_final_exponentiation.hpp.

Constructor & Destructor Documentation

mnt6_final_exp_gadget()

template<typename ppT >

libsnark::mnt6_final_exp_gadget< ppT >::mnt6_final_exp_gadget	(	protoboard< FieldT > &	pb,
		const Fqk_variable< ppT > &	el,
		const pb_variable< FieldT > &	result_is_one,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename ppT >

void libsnark::mnt6_final_exp_gadget< ppT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename ppT >

void libsnark::mnt6_final_exp_gadget< ppT >::generate_r1cs_witness

(

)

Member Data Documentation

compute_el_inv

template<typename ppT >

std::shared_ptr<Fqk_mul_gadget<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::compute_el_inv

Definition at line 108 of file mnt_final_exponentiation.hpp.

compute_el_inv_q_2_minus_1

template<typename ppT >

std::shared_ptr<Fqk_mul_gadget<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::compute_el_inv_q_2_minus_1

Definition at line 110 of file mnt_final_exponentiation.hpp.

compute_el_q_2_minus_1

template<typename ppT >

std::shared_ptr<Fqk_mul_gadget<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::compute_el_q_2_minus_1

Definition at line 109 of file mnt_final_exponentiation.hpp.

compute_result

template<typename ppT >

std::shared_ptr<Fqk_mul_gadget<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::compute_result

Definition at line 126 of file mnt_final_exponentiation.hpp.

compute_w0

template<typename ppT >

std::shared_ptr<exponentiation_gadget< FqkT<ppT>, Fp4_variable, Fp4_mul_gadget, Fp4_cyclotomic_sqr_gadget, libff::mnt4_q_limbs> > libsnark::mnt6_final_exp_gadget< ppT >::compute_w0

Definition at line 125 of file mnt_final_exponentiation.hpp.

compute_w1

template<typename ppT >

std::shared_ptr<exponentiation_gadget< FqkT<ppT>, Fp4_variable, Fp4_mul_gadget, Fp4_cyclotomic_sqr_gadget, libff::mnt4_q_limbs> > libsnark::mnt6_final_exp_gadget< ppT >::compute_w1

Definition at line 118 of file mnt_final_exponentiation.hpp.

el

template<typename ppT >

Fqk_variable<ppT> libsnark::mnt6_final_exp_gadget< ppT >::el

Definition at line 96 of file mnt_final_exponentiation.hpp.

el_inv

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::el_inv

Definition at line 98 of file mnt_final_exponentiation.hpp.

el_inv_q_2

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::el_inv_q_2

Definition at line 102 of file mnt_final_exponentiation.hpp.

el_inv_q_2_minus_1

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::el_inv_q_2_minus_1

Definition at line 103 of file mnt_final_exponentiation.hpp.

el_q_2

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::el_q_2

Definition at line 99 of file mnt_final_exponentiation.hpp.

el_q_2_minus_1

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::el_q_2_minus_1

Definition at line 100 of file mnt_final_exponentiation.hpp.

el_q_3_minus_q

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::el_q_3_minus_q

Definition at line 101 of file mnt_final_exponentiation.hpp.

one

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::one

Definition at line 97 of file mnt_final_exponentiation.hpp.

result

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::result

Definition at line 106 of file mnt_final_exponentiation.hpp.

result_is_one

template<typename ppT >

pb_variable<FieldT> libsnark::mnt6_final_exp_gadget< ppT >::result_is_one

Definition at line 128 of file mnt_final_exponentiation.hpp.

w0

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::w0

Definition at line 105 of file mnt_final_exponentiation.hpp.

w1

template<typename ppT >

std::shared_ptr<Fqk_variable<ppT> > libsnark::mnt6_final_exp_gadget< ppT >::w1

Definition at line 104 of file mnt_final_exponentiation.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/pairing/mnt/mnt_final_exponentiation.hpp