Gadget that represents a G1 variable. More...
#include <weierstrass_g1_gadget.hpp>
Inheritance diagram for libsnark::G1_variable< ppT >:
Collaboration diagram for libsnark::G1_variable< ppT >:
Public Types | |
| typedef libff::Fr< ppT > | FieldT |
Public Member Functions | |
| G1_variable (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
| G1_variable (protoboard< FieldT > &pb, const libff::G1< other_curve< ppT >> &P, const std::string &annotation_prefix) | |
| G1_variable (protoboard< FieldT > &pb, const pb_linear_combination< FieldT > &X, const pb_linear_combination< FieldT > &Y, const std::string &annotation_prefix) | |
| G1_variable | operator- () const |
| void | generate_r1cs_witness (const libff::G1< other_curve< ppT >> &elt) |
| libff::G1< other_curve< ppT > > | get_element () const |
 Public Member Functions inherited from libsnark::gadget< libff::Fr< ppT > > | |
| gadget (protoboard< libff::Fr< ppT > > &pb, const std::string &annotation_prefix) | |
Static Public Member Functions | |
| static size_t | __attribute__ ((noinline)) size_in_bits() |
| static size_t | num_variables () |
Public Attributes | |
| pb_linear_combination< FieldT > | X |
| pb_linear_combination< FieldT > | Y |
| pb_linear_combination_array< FieldT > | all_vars |
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::G1_variable< ppT >
Gadget that represents a G1 variable.
Definition at line 28 of file weierstrass_g1_gadget.hpp.
Member Typedef Documentation
◆ FieldT
template<typename ppT >
| typedef libff::Fr<ppT> libsnark::G1_variable< ppT >::FieldT |
Definition at line 31 of file weierstrass_g1_gadget.hpp.
Constructor & Destructor Documentation
◆ G1_variable() [1/3]
template<typename ppT >
| libsnark::G1_variable< ppT >::G1_variable | ( | protoboard< FieldT > & | pb, |
| const std::string & | annotation_prefix | ||
| ) |
◆ G1_variable() [2/3]
template<typename ppT >
| libsnark::G1_variable< ppT >::G1_variable | ( | protoboard< FieldT > & | pb, |
| const libff::G1< other_curve< ppT >> & | P, | ||
| const std::string & | annotation_prefix | ||
| ) |
◆ G1_variable() [3/3]
template<typename ppT >
| libsnark::G1_variable< ppT >::G1_variable | ( | protoboard< FieldT > & | pb, |
| const pb_linear_combination< FieldT > & | X, | ||
| const pb_linear_combination< FieldT > & | Y, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ __attribute__()
template<typename ppT >
|
static |
◆ generate_r1cs_witness()
template<typename ppT >
| void libsnark::G1_variable< ppT >::generate_r1cs_witness | ( | const libff::G1< other_curve< ppT >> & | elt | ) |
◆ get_element()
template<typename ppT >
| libff::G1<other_curve<ppT> > libsnark::G1_variable< ppT >::get_element | ( | ) | const |
◆ num_variables()
template<typename ppT >
|
static |
◆ operator-()
template<typename ppT >
| G1_variable libsnark::G1_variable< ppT >::operator- | ( | ) | const |
Member Data Documentation
◆ all_vars
template<typename ppT >
| pb_linear_combination_array<FieldT> libsnark::G1_variable< ppT >::all_vars |
Definition at line 36 of file weierstrass_g1_gadget.hpp.
◆ X
template<typename ppT >
| pb_linear_combination<FieldT> libsnark::G1_variable< ppT >::X |
Definition at line 33 of file weierstrass_g1_gadget.hpp.
◆ Y
template<typename ppT >
| pb_linear_combination<FieldT> libsnark::G1_variable< ppT >::Y |
Definition at line 34 of file weierstrass_g1_gadget.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/curves/weierstrass_g1_gadget.hpp
