libsnark::bls12_377_final_exp_first_part_gadget< ppT > Class Template Reference

#include <bls12_377_final_exponentiation.hpp>

Inheritance diagram for libsnark::bls12_377_final_exp_first_part_gadget< ppT >:

Collaboration diagram for libsnark::bls12_377_final_exp_first_part_gadget< ppT >:

Public Types
using	FieldT = libff::Fr< ppT >
using	FqkT = libff::Fqk< other_curve< ppT > >

Public Member Functions
	bls12_377_final_exp_first_part_gadget (protoboard< FieldT > &pb, const Fp12_2over3over2_variable< FqkT > &in, const Fp12_2over3over2_variable< FqkT > &result, const std::string &annotation_prefix)
const Fp12_2over3over2_variable< FqkT > &	result () const
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
Fp12_2over3over2_variable< FqkT >	_result
Fp12_2over3over2_inv_gadget< FqkT >	_compute_B
Fp12_2over3over2_mul_gadget< FqkT >	_compute_C
Fp12_2over3over2_mul_gadget< FqkT >	_compute_D_times_C

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

Definition at line 24 of file bls12_377_final_exponentiation.hpp.

Member Typedef Documentation

FieldT

template<typename ppT >

using libsnark::bls12_377_final_exp_first_part_gadget< ppT >::FieldT = libff::Fr<ppT>

Definition at line 27 of file bls12_377_final_exponentiation.hpp.

FqkT

template<typename ppT >

using libsnark::bls12_377_final_exp_first_part_gadget< ppT >::FqkT = libff::Fqk<other_curve<ppT> >

Definition at line 28 of file bls12_377_final_exponentiation.hpp.

Constructor & Destructor Documentation

bls12_377_final_exp_first_part_gadget()

template<typename ppT >

libsnark::bls12_377_final_exp_first_part_gadget< ppT >::bls12_377_final_exp_first_part_gadget	(	protoboard< FieldT > &	pb,
		const Fp12_2over3over2_variable< FqkT > &	in,
		const Fp12_2over3over2_variable< FqkT > &	result,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename ppT >

void libsnark::bls12_377_final_exp_first_part_gadget< ppT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename ppT >

void libsnark::bls12_377_final_exp_first_part_gadget< ppT >::generate_r1cs_witness

(

)

result()

template<typename ppT >

const Fp12_2over3over2_variable<FqkT>& libsnark::bls12_377_final_exp_first_part_gadget< ppT >::result

(

)

const

Member Data Documentation

_compute_B

template<typename ppT >

Fp12_2over3over2_inv_gadget<FqkT> libsnark::bls12_377_final_exp_first_part_gadget< ppT >::_compute_B

Definition at line 40 of file bls12_377_final_exponentiation.hpp.

_compute_C

template<typename ppT >

Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_first_part_gadget< ppT >::_compute_C

Definition at line 42 of file bls12_377_final_exponentiation.hpp.

_compute_D_times_C

template<typename ppT >

Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_first_part_gadget< ppT >::_compute_D_times_C

Definition at line 45 of file bls12_377_final_exponentiation.hpp.

_result

template<typename ppT >

Fp12_2over3over2_variable<FqkT> libsnark::bls12_377_final_exp_first_part_gadget< ppT >::_result

Definition at line 36 of file bls12_377_final_exponentiation.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/pairing/bw6_761_bls12_377/bls12_377_final_exponentiation.hpp