#include <bls12_377_final_exponentiation.hpp>
Public Types | |
| using | FieldT = libff::Fr< ppT > |
| using | FqkT = libff::Fqk< other_curve< ppT > > |
Public Member Functions | |
| bls12_377_final_exp_last_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) | |
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_last_part_gadget< ppT >
Definition at line 95 of file bls12_377_final_exponentiation.hpp.
Member Typedef Documentation
◆ FieldT
| using libsnark::bls12_377_final_exp_last_part_gadget< ppT >::FieldT = libff::Fr<ppT> |
Definition at line 98 of file bls12_377_final_exponentiation.hpp.
◆ FqkT
| using libsnark::bls12_377_final_exp_last_part_gadget< ppT >::FqkT = libff::Fqk<other_curve<ppT> > |
Definition at line 99 of file bls12_377_final_exponentiation.hpp.
Constructor & Destructor Documentation
◆ bls12_377_final_exp_last_part_gadget()
| libsnark::bls12_377_final_exp_last_part_gadget< ppT >::bls12_377_final_exp_last_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()
| void libsnark::bls12_377_final_exp_last_part_gadget< ppT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
| void libsnark::bls12_377_final_exp_last_part_gadget< ppT >::generate_r1cs_witness | ( | ) |
◆ result()
| const Fp12_2over3over2_variable<FqkT>& libsnark::bls12_377_final_exp_last_part_gadget< ppT >::result | ( | ) | const |
Member Data Documentation
◆ _compute_B
| bls12_377_exp_by_z_gadget<ppT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_B |
Definition at line 110 of file bls12_377_final_exponentiation.hpp.
◆ _compute_C
| Fp12_2over3over2_square_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_C |
Definition at line 111 of file bls12_377_final_exponentiation.hpp.
◆ _compute_D
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_D |
Definition at line 112 of file bls12_377_final_exponentiation.hpp.
◆ _compute_E
| bls12_377_exp_by_z_gadget<ppT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_E |
Definition at line 113 of file bls12_377_final_exponentiation.hpp.
◆ _compute_F
| bls12_377_exp_by_z_gadget<ppT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_F |
Definition at line 114 of file bls12_377_final_exponentiation.hpp.
◆ _compute_G
| bls12_377_exp_by_z_gadget<ppT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_G |
Definition at line 115 of file bls12_377_final_exponentiation.hpp.
◆ _compute_H
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_H |
Definition at line 116 of file bls12_377_final_exponentiation.hpp.
◆ _compute_I
| bls12_377_exp_by_z_gadget<ppT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_I |
Definition at line 117 of file bls12_377_final_exponentiation.hpp.
◆ _compute_in_squared
| Fp12_2over3over2_cyclotomic_square_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_in_squared |
Definition at line 109 of file bls12_377_final_exponentiation.hpp.
◆ _compute_K
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_K |
Definition at line 118 of file bls12_377_final_exponentiation.hpp.
◆ _compute_L
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_L |
Definition at line 119 of file bls12_377_final_exponentiation.hpp.
◆ _compute_N
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_N |
Definition at line 120 of file bls12_377_final_exponentiation.hpp.
◆ _compute_P
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_P |
Definition at line 121 of file bls12_377_final_exponentiation.hpp.
◆ _compute_R
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_R |
Definition at line 122 of file bls12_377_final_exponentiation.hpp.
◆ _compute_T
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_T |
Definition at line 123 of file bls12_377_final_exponentiation.hpp.
◆ _compute_U
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_U |
Definition at line 124 of file bls12_377_final_exponentiation.hpp.
◆ _compute_U_times_L
| Fp12_2over3over2_mul_gadget<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_compute_U_times_L |
Definition at line 125 of file bls12_377_final_exponentiation.hpp.
◆ _result
| Fp12_2over3over2_variable<FqkT> libsnark::bls12_377_final_exp_last_part_gadget< ppT >::_result |
Definition at line 107 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
