|
Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
Gadget that represents a G2 variable. More...
#include <weierstrass_g2_gadget.hpp>


Public Types | |
| typedef libff::Fr< ppT > | FieldT |
| typedef libff::Fqe< other_curve< ppT > > | FqeT |
| typedef libff::Fqk< other_curve< ppT > > | FqkT |
Public Member Functions | |
| G2_variable (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
| G2_variable (protoboard< FieldT > &pb, const libff::G2< other_curve< ppT >> &Q, const std::string &annotation_prefix) | |
| G2_variable (protoboard< FieldT > &pb, const Fqe_variable< ppT > &X, const Fqe_variable< ppT > &Y, const std::string &annotation_prefix) | |
| G2_variable | operator- () const |
| void | generate_r1cs_witness (const libff::G2< other_curve< ppT >> &Q) |
| libff::G2< 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 | |
| std::shared_ptr< Fqe_variable< ppT > > | X |
| std::shared_ptr< Fqe_variable< ppT > > | 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 |
Gadget that represents a G2 variable.
Definition at line 31 of file weierstrass_g2_gadget.hpp.
| typedef libff::Fr<ppT> libsnark::G2_variable< ppT >::FieldT |
Definition at line 34 of file weierstrass_g2_gadget.hpp.
| typedef libff::Fqe<other_curve<ppT> > libsnark::G2_variable< ppT >::FqeT |
Definition at line 35 of file weierstrass_g2_gadget.hpp.
| typedef libff::Fqk<other_curve<ppT> > libsnark::G2_variable< ppT >::FqkT |
Definition at line 36 of file weierstrass_g2_gadget.hpp.
| libsnark::G2_variable< ppT >::G2_variable | ( | protoboard< FieldT > & | pb, |
| const std::string & | annotation_prefix | ||
| ) |
| libsnark::G2_variable< ppT >::G2_variable | ( | protoboard< FieldT > & | pb, |
| const libff::G2< other_curve< ppT >> & | Q, | ||
| const std::string & | annotation_prefix | ||
| ) |
| libsnark::G2_variable< ppT >::G2_variable | ( | protoboard< FieldT > & | pb, |
| const Fqe_variable< ppT > & | X, | ||
| const Fqe_variable< ppT > & | Y, | ||
| const std::string & | annotation_prefix | ||
| ) |
|
static |
| void libsnark::G2_variable< ppT >::generate_r1cs_witness | ( | const libff::G2< other_curve< ppT >> & | Q | ) |
| libff::G2<other_curve<ppT> > libsnark::G2_variable< ppT >::get_element | ( | ) | const |
|
static |
| G2_variable libsnark::G2_variable< ppT >::operator- | ( | ) | const |
| pb_linear_combination_array<FieldT> libsnark::G2_variable< ppT >::all_vars |
Definition at line 41 of file weierstrass_g2_gadget.hpp.
| std::shared_ptr<Fqe_variable<ppT> > libsnark::G2_variable< ppT >::X |
Definition at line 38 of file weierstrass_g2_gadget.hpp.
| std::shared_ptr<Fqe_variable<ppT> > libsnark::G2_variable< ppT >::Y |
Definition at line 39 of file weierstrass_g2_gadget.hpp.
1.8.17