#include <bls12_377_membership_check_gadgets.hpp>
Inheritance diagram for libsnark::bls12_377_G1_membership_check_gadget< wppT >:
Collaboration diagram for libsnark::bls12_377_G1_membership_check_gadget< wppT >:
Public Types | |
| using | nppT = other_curve< wppT > |
| using | G1_mul_by_cofactor_gadget = G1_mul_by_const_scalar_gadget< wppT, libff::G1< nppT >::h_limbs > |
Public Member Functions | |
| bls12_377_G1_membership_check_gadget (protoboard< libff::Fr< wppT >> &pb, const G1_variable< wppT > &P, 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 | |
| G1_variable< wppT > | _P |
| G1_variable< wppT > | _P_primed |
| G1_checker_gadget< wppT > | _P_primed_checker |
| G1_mul_by_cofactor_gadget | _P_primed_mul_cofactor |
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::bls12_377_G1_membership_check_gadget< wppT >
Curve equation (via the generic G1_checker_gadget) and subgroup membership check for BLS12-377 G1 variables.
Definition at line 24 of file bls12_377_membership_check_gadgets.hpp.
Member Typedef Documentation
◆ G1_mul_by_cofactor_gadget
template<typename wppT >
| using libsnark::bls12_377_G1_membership_check_gadget< wppT >::G1_mul_by_cofactor_gadget = G1_mul_by_const_scalar_gadget<wppT, libff::G1<nppT>::h_limbs> |
Definition at line 29 of file bls12_377_membership_check_gadgets.hpp.
◆ nppT
template<typename wppT >
| using libsnark::bls12_377_G1_membership_check_gadget< wppT >::nppT = other_curve<wppT> |
Definition at line 27 of file bls12_377_membership_check_gadgets.hpp.
Constructor & Destructor Documentation
◆ bls12_377_G1_membership_check_gadget()
template<typename wppT >
| libsnark::bls12_377_G1_membership_check_gadget< wppT >::bls12_377_G1_membership_check_gadget | ( | protoboard< libff::Fr< wppT >> & | pb, |
| const G1_variable< wppT > & | P, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename wppT >
| void libsnark::bls12_377_G1_membership_check_gadget< wppT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename wppT >
| void libsnark::bls12_377_G1_membership_check_gadget< wppT >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ _P
template<typename wppT >
| G1_variable<wppT> libsnark::bls12_377_G1_membership_check_gadget< wppT >::_P |
Definition at line 32 of file bls12_377_membership_check_gadgets.hpp.
◆ _P_primed
template<typename wppT >
| G1_variable<wppT> libsnark::bls12_377_G1_membership_check_gadget< wppT >::_P_primed |
Definition at line 34 of file bls12_377_membership_check_gadgets.hpp.
◆ _P_primed_checker
template<typename wppT >
| G1_checker_gadget<wppT> libsnark::bls12_377_G1_membership_check_gadget< wppT >::_P_primed_checker |
Definition at line 36 of file bls12_377_membership_check_gadgets.hpp.
◆ _P_primed_mul_cofactor
template<typename wppT >
| G1_mul_by_cofactor_gadget libsnark::bls12_377_G1_membership_check_gadget< wppT >::_P_primed_mul_cofactor |
Definition at line 38 of file bls12_377_membership_check_gadgets.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_membership_check_gadgets.hpp
