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

#include <bls12_377_precomputation.hpp>

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

Public Types

using FieldT = libff::Fr< ppT >
 

Public Member Functions

 bls12_377_G1_precompute_gadget (protoboard< libff::Fr< ppT >> &pb, const G1_variable< ppT > &P, bls12_377_G1_precomputation< ppT > &P_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

std::shared_ptr< pb_linear_combination< FieldT > > _Px
 
std::shared_ptr< pb_linear_combination< FieldT > > _Py
 

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_G1_precompute_gadget< ppT >

Definition at line 97 of file bls12_377_precomputation.hpp.

Member Typedef Documentation

◆ FieldT

template<typename ppT >
using libsnark::bls12_377_G1_precompute_gadget< ppT >::FieldT = libff::Fr<ppT>

Definition at line 100 of file bls12_377_precomputation.hpp.

Constructor & Destructor Documentation

◆ bls12_377_G1_precompute_gadget()

template<typename ppT >
libsnark::bls12_377_G1_precompute_gadget< ppT >::bls12_377_G1_precompute_gadget ( protoboard< libff::Fr< ppT >> &  pb,
const G1_variable< ppT > &  P,
bls12_377_G1_precomputation< ppT > &  P_prec,
const std::string &  annotation_prefix 
)

Member Function Documentation

◆ generate_r1cs_constraints()

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

◆ generate_r1cs_witness()

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

Member Data Documentation

◆ _Px

template<typename ppT >
std::shared_ptr<pb_linear_combination<FieldT> > libsnark::bls12_377_G1_precompute_gadget< ppT >::_Px

Definition at line 102 of file bls12_377_precomputation.hpp.

◆ _Py

template<typename ppT >
std::shared_ptr<pb_linear_combination<FieldT> > libsnark::bls12_377_G1_precompute_gadget< ppT >::_Py

Definition at line 103 of file bls12_377_precomputation.hpp.


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