Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
Public Types | Public Member Functions | Public Attributes | List of all members
libsnark::bls12_377_G2_precompute_gadget< ppT > Class Template Reference

#include <bls12_377_precomputation.hpp>

Inheritance diagram for libsnark::bls12_377_G2_precompute_gadget< ppT >:
Inheritance graph
[legend]
Collaboration diagram for libsnark::bls12_377_G2_precompute_gadget< ppT >:
Collaboration graph
[legend]

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
 

Detailed Description

template<typename ppT>
class libsnark::bls12_377_G2_precompute_gadget< ppT >

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.

Member Typedef Documentation

◆ FqeT

template<typename ppT >
using libsnark::bls12_377_G2_precompute_gadget< ppT >::FqeT = libff::Fqe<other_curve<ppT> >

Definition at line 264 of file bls12_377_precomputation.hpp.

Constructor & Destructor Documentation

◆ bls12_377_G2_precompute_gadget()

template<typename ppT >
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 
)

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename ppT >
void libsnark::bls12_377_G2_precompute_gadget< ppT >::generate_r1cs_constraints ( )

◆ generate_r1cs_witness()

template<typename ppT >
void libsnark::bls12_377_G2_precompute_gadget< ppT >::generate_r1cs_witness ( )

Member Data Documentation

◆ _ate_adds

template<typename ppT >
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.

◆ _ate_dbls

template<typename ppT >
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.

◆ _R0

template<typename ppT >
bls12_377_G2_proj<ppT> libsnark::bls12_377_G2_precompute_gadget< ppT >::_R0

Definition at line 266 of file bls12_377_precomputation.hpp.


The documentation for this class was generated from the following file: