Double a G2 point. More...
#include <weierstrass_g2_gadget.hpp>
Inheritance diagram for libsnark::G2_dbl_gadget< wppT >:
Collaboration diagram for libsnark::G2_dbl_gadget< wppT >:
Public Types | |
| using | nppT = other_curve< wppT > |
Public Member Functions | |
| G2_dbl_gadget (protoboard< libff::Fr< wppT >> &pb, const G2_variable< wppT > &A, const G2_variable< wppT > &result, const std::string &annotation_prefix) | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness () |
 Public Member Functions inherited from libsnark::gadget< libff::Fr< wppT > > | |
| gadget (protoboard< libff::Fr< wppT > > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| G2_variable< wppT > | A |
| G2_variable< wppT > | result |
| Fqe_variable< wppT > | lambda |
| Fqe_mul_gadget< wppT > | Ax_squared_constraint |
| Fqe_mul_gadget< wppT > | lambda_constraint |
| Fqe_mul_gadget< wppT > | Bx_constraint |
| Fqe_mul_gadget< wppT > | By_constraint |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::gadget< libff::Fr< wppT > > | |
| protoboard< libff::Fr< wppT > > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename wppT>
class libsnark::G2_dbl_gadget< wppT >
Double a G2 point.
Definition at line 162 of file weierstrass_g2_gadget.hpp.
Member Typedef Documentation
◆ nppT
template<typename wppT >
| using libsnark::G2_dbl_gadget< wppT >::nppT = other_curve<wppT> |
Definition at line 165 of file weierstrass_g2_gadget.hpp.
Constructor & Destructor Documentation
◆ G2_dbl_gadget()
template<typename wppT >
| libsnark::G2_dbl_gadget< wppT >::G2_dbl_gadget | ( | protoboard< libff::Fr< wppT >> & | pb, |
| const G2_variable< wppT > & | A, | ||
| const G2_variable< wppT > & | result, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename wppT >
| void libsnark::G2_dbl_gadget< wppT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename wppT >
| void libsnark::G2_dbl_gadget< wppT >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ A
template<typename wppT >
| G2_variable<wppT> libsnark::G2_dbl_gadget< wppT >::A |
Definition at line 167 of file weierstrass_g2_gadget.hpp.
◆ Ax_squared_constraint
template<typename wppT >
| Fqe_mul_gadget<wppT> libsnark::G2_dbl_gadget< wppT >::Ax_squared_constraint |
Definition at line 180 of file weierstrass_g2_gadget.hpp.
◆ Bx_constraint
template<typename wppT >
| Fqe_mul_gadget<wppT> libsnark::G2_dbl_gadget< wppT >::Bx_constraint |
Definition at line 188 of file weierstrass_g2_gadget.hpp.
◆ By_constraint
template<typename wppT >
| Fqe_mul_gadget<wppT> libsnark::G2_dbl_gadget< wppT >::By_constraint |
Definition at line 192 of file weierstrass_g2_gadget.hpp.
◆ lambda
template<typename wppT >
| Fqe_variable<wppT> libsnark::G2_dbl_gadget< wppT >::lambda |
Definition at line 170 of file weierstrass_g2_gadget.hpp.
◆ lambda_constraint
template<typename wppT >
| Fqe_mul_gadget<wppT> libsnark::G2_dbl_gadget< wppT >::lambda_constraint |
Definition at line 184 of file weierstrass_g2_gadget.hpp.
◆ result
template<typename wppT >
| G2_variable<wppT> libsnark::G2_dbl_gadget< wppT >::result |
Definition at line 168 of file weierstrass_g2_gadget.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/curves/weierstrass_g2_gadget.hpp
