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 |
![]() | |
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 | |
![]() | |
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.