|
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 () |
Public Member Functions inherited from libsnark::gadget< libff::Fr< ppT > > | |
| 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 | |
Protected Attributes inherited from libsnark::gadget< libff::Fr< ppT > > | |
| 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.
1.8.17