Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <bls12_377_precomputation.hpp>
Public Types | |
using | FqeT = libff::Fqe< other_curve< ppT > > |
Public Member Functions | |
bls12_377_G2_precompute_gadget (protoboard< libff::Fr< ppT >> &pb, const G2_variable< ppT > &Q, bls12_377_G2_precomputation< ppT > &Q_prec, const std::string &annotation_prefix) | |
void | generate_r1cs_constraints () |
void | generate_r1cs_witness () |
![]() | |
gadget (protoboard< libff::Fr< ppT > > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
bls12_377_G2_proj< ppT > | _R0 |
std::vector< std::shared_ptr< bls12_377_ate_dbl_gadget< ppT > > > | _ate_dbls |
std::vector< std::shared_ptr< bls12_377_ate_add_gadget< ppT > > > | _ate_adds |
Additional Inherited Members | |
![]() | |
protoboard< libff::Fr< ppT > > & | pb |
const std::string | annotation_prefix |
Holds the relationship between an (affine) pairing parameter Q in G2, and the precomputed double and add gadgets.
Definition at line 261 of file bls12_377_precomputation.hpp.
using libsnark::bls12_377_G2_precompute_gadget< ppT >::FqeT = libff::Fqe<other_curve<ppT> > |
Definition at line 264 of file bls12_377_precomputation.hpp.
libsnark::bls12_377_G2_precompute_gadget< ppT >::bls12_377_G2_precompute_gadget | ( | protoboard< libff::Fr< ppT >> & | pb, |
const G2_variable< ppT > & | Q, | ||
bls12_377_G2_precomputation< ppT > & | Q_prec, | ||
const std::string & | annotation_prefix | ||
) |
void libsnark::bls12_377_G2_precompute_gadget< ppT >::generate_r1cs_constraints | ( | ) |
void libsnark::bls12_377_G2_precompute_gadget< ppT >::generate_r1cs_witness | ( | ) |
std::vector<std::shared_ptr<bls12_377_ate_add_gadget<ppT> > > libsnark::bls12_377_G2_precompute_gadget< ppT >::_ate_adds |
Definition at line 268 of file bls12_377_precomputation.hpp.
std::vector<std::shared_ptr<bls12_377_ate_dbl_gadget<ppT> > > libsnark::bls12_377_G2_precompute_gadget< ppT >::_ate_dbls |
Definition at line 267 of file bls12_377_precomputation.hpp.
bls12_377_G2_proj<ppT> libsnark::bls12_377_G2_precompute_gadget< ppT >::_R0 |
Definition at line 266 of file bls12_377_precomputation.hpp.