Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <bls12_377_precomputation.hpp>
Public Member Functions | |
bls12_377_G2_proj (protoboard< libff::Fr< ppT >> &pb, const std::string &annotation_prefix) | |
bls12_377_G2_proj (const Fqe_variable< ppT > &X_var, const Fqe_variable< ppT > &Y_var, const Fqe_variable< ppT > &Z_var) | |
void | generate_r1cs_witness (const libff::bls12_377_G2 &element) |
Public Attributes | |
Fqe_variable< ppT > | X |
Fqe_variable< ppT > | Y |
Fqe_variable< ppT > | Z |
Holds an element of G2 in homogeneous projective form. Used for intermediate values of R in the miller loop.
Definition at line 38 of file bls12_377_precomputation.hpp.
libsnark::bls12_377_G2_proj< ppT >::bls12_377_G2_proj | ( | protoboard< libff::Fr< ppT >> & | pb, |
const std::string & | annotation_prefix | ||
) |
libsnark::bls12_377_G2_proj< ppT >::bls12_377_G2_proj | ( | const Fqe_variable< ppT > & | X_var, |
const Fqe_variable< ppT > & | Y_var, | ||
const Fqe_variable< ppT > & | Z_var | ||
) |
void libsnark::bls12_377_G2_proj< ppT >::generate_r1cs_witness | ( | const libff::bls12_377_G2 & | element | ) |
Fqe_variable<ppT> libsnark::bls12_377_G2_proj< ppT >::X |
Definition at line 41 of file bls12_377_precomputation.hpp.
Fqe_variable<ppT> libsnark::bls12_377_G2_proj< ppT >::Y |
Definition at line 42 of file bls12_377_precomputation.hpp.
Fqe_variable<ppT> libsnark::bls12_377_G2_proj< ppT >::Z |
Definition at line 43 of file bls12_377_precomputation.hpp.