#include <pairing_checks.hpp>
Inheritance diagram for libsnark::check_e_equals_eee_gadget< ppT >:
Collaboration diagram for libsnark::check_e_equals_eee_gadget< ppT >:
Public Types | |
| typedef libff::Fr< ppT > | FieldT |
Public Member Functions | |
| check_e_equals_eee_gadget (protoboard< FieldT > &pb, const G1_precomputation< ppT > &lhs_G1, const G2_precomputation< ppT > &lhs_G2, const G1_precomputation< ppT > &rhs1_G1, const G2_precomputation< ppT > &rhs1_G2, const G1_precomputation< ppT > &rhs2_G1, const G2_precomputation< ppT > &rhs2_G2, const G1_precomputation< ppT > &rhs3_G1, const G2_precomputation< ppT > &rhs3_G2, const pb_variable< FieldT > &result, 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 | |
| std::shared_ptr< Fqk_variable< ppT > > | ratio |
| std::shared_ptr< e_times_e_times_e_over_e_miller_loop_gadget< ppT > > | compute_ratio |
| std::shared_ptr< final_exp_gadget< ppT > > | check_finexp |
| G1_precomputation< ppT > | lhs_G1 |
| G2_precomputation< ppT > | lhs_G2 |
| G1_precomputation< ppT > | rhs1_G1 |
| G2_precomputation< ppT > | rhs1_G2 |
| G1_precomputation< ppT > | rhs2_G1 |
| G2_precomputation< ppT > | rhs2_G2 |
| G1_precomputation< ppT > | rhs3_G1 |
| G2_precomputation< ppT > | rhs3_G2 |
| pb_variable< FieldT > | result |
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::check_e_equals_eee_gadget< ppT >
Definition at line 95 of file pairing_checks.hpp.
Member Typedef Documentation
◆ FieldT
template<typename ppT >
| typedef libff::Fr<ppT> libsnark::check_e_equals_eee_gadget< ppT >::FieldT |
Definition at line 98 of file pairing_checks.hpp.
Constructor & Destructor Documentation
◆ check_e_equals_eee_gadget()
template<typename ppT >
| libsnark::check_e_equals_eee_gadget< ppT >::check_e_equals_eee_gadget | ( | protoboard< FieldT > & | pb, |
| const G1_precomputation< ppT > & | lhs_G1, | ||
| const G2_precomputation< ppT > & | lhs_G2, | ||
| const G1_precomputation< ppT > & | rhs1_G1, | ||
| const G2_precomputation< ppT > & | rhs1_G2, | ||
| const G1_precomputation< ppT > & | rhs2_G1, | ||
| const G2_precomputation< ppT > & | rhs2_G2, | ||
| const G1_precomputation< ppT > & | rhs3_G1, | ||
| const G2_precomputation< ppT > & | rhs3_G2, | ||
| const pb_variable< FieldT > & | result, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename ppT >
| void libsnark::check_e_equals_eee_gadget< ppT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename ppT >
| void libsnark::check_e_equals_eee_gadget< ppT >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ check_finexp
template<typename ppT >
| std::shared_ptr<final_exp_gadget<ppT> > libsnark::check_e_equals_eee_gadget< ppT >::check_finexp |
Definition at line 103 of file pairing_checks.hpp.
◆ compute_ratio
template<typename ppT >
| std::shared_ptr<e_times_e_times_e_over_e_miller_loop_gadget<ppT> > libsnark::check_e_equals_eee_gadget< ppT >::compute_ratio |
Definition at line 102 of file pairing_checks.hpp.
◆ lhs_G1
template<typename ppT >
| G1_precomputation<ppT> libsnark::check_e_equals_eee_gadget< ppT >::lhs_G1 |
Definition at line 105 of file pairing_checks.hpp.
◆ lhs_G2
template<typename ppT >
| G2_precomputation<ppT> libsnark::check_e_equals_eee_gadget< ppT >::lhs_G2 |
Definition at line 106 of file pairing_checks.hpp.
◆ ratio
template<typename ppT >
| std::shared_ptr<Fqk_variable<ppT> > libsnark::check_e_equals_eee_gadget< ppT >::ratio |
Definition at line 100 of file pairing_checks.hpp.
◆ result
template<typename ppT >
| pb_variable<FieldT> libsnark::check_e_equals_eee_gadget< ppT >::result |
Definition at line 114 of file pairing_checks.hpp.
◆ rhs1_G1
template<typename ppT >
| G1_precomputation<ppT> libsnark::check_e_equals_eee_gadget< ppT >::rhs1_G1 |
Definition at line 107 of file pairing_checks.hpp.
◆ rhs1_G2
template<typename ppT >
| G2_precomputation<ppT> libsnark::check_e_equals_eee_gadget< ppT >::rhs1_G2 |
Definition at line 108 of file pairing_checks.hpp.
◆ rhs2_G1
template<typename ppT >
| G1_precomputation<ppT> libsnark::check_e_equals_eee_gadget< ppT >::rhs2_G1 |
Definition at line 109 of file pairing_checks.hpp.
◆ rhs2_G2
template<typename ppT >
| G2_precomputation<ppT> libsnark::check_e_equals_eee_gadget< ppT >::rhs2_G2 |
Definition at line 110 of file pairing_checks.hpp.
◆ rhs3_G1
template<typename ppT >
| G1_precomputation<ppT> libsnark::check_e_equals_eee_gadget< ppT >::rhs3_G1 |
Definition at line 111 of file pairing_checks.hpp.
◆ rhs3_G2
template<typename ppT >
| G2_precomputation<ppT> libsnark::check_e_equals_eee_gadget< ppT >::rhs3_G2 |
Definition at line 112 of file pairing_checks.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/pairing/pairing_checks.hpp
