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

#include <fp6_2over3_gadgets.hpp>

Inheritance diagram for libsnark::Fp6_2over3_mul_gadget< Fp6T >:
Inheritance graph
[legend]
Collaboration diagram for libsnark::Fp6_2over3_mul_gadget< Fp6T >:
Collaboration graph
[legend]

Public Types

typedef Fp6T::my_Fp FieldT
 
typedef Fp6T::my_Fpe Fp3T
 

Public Member Functions

 Fp6_2over3_mul_gadget (protoboard< FieldT > &pb, const Fp6_2over3_variable< Fp6T > &A, const Fp6_2over3_variable< Fp6T > &B, const Fp6_2over3_variable< Fp6T > &result, const std::string &annotation_prefix)
 
void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 
- Public Member Functions inherited from libsnark::gadget< Fp6T::my_Fp >
 gadget (protoboard< Fp6T::my_Fp > &pb, const std::string &annotation_prefix)
 

Public Attributes

Fp6_2over3_variable< Fp6T > A
 
Fp6_2over3_variable< Fp6T > B
 
Fp6_2over3_variable< Fp6T > result
 
pb_linear_combination< FieldT > v0_c0
 
pb_linear_combination< FieldT > v0_c1
 
pb_linear_combination< FieldT > v0_c2
 
pb_linear_combination< FieldT > Ac0_plus_Ac1_c0
 
pb_linear_combination< FieldT > Ac0_plus_Ac1_c1
 
pb_linear_combination< FieldT > Ac0_plus_Ac1_c2
 
std::shared_ptr< Fp3_variable< Fp3T > > Ac0_plus_Ac1
 
std::shared_ptr< Fp3_variable< Fp3T > > v0
 
std::shared_ptr< Fp3_variable< Fp3T > > v1
 
pb_linear_combination< FieldT > Bc0_plus_Bc1_c0
 
pb_linear_combination< FieldT > Bc0_plus_Bc1_c1
 
pb_linear_combination< FieldT > Bc0_plus_Bc1_c2
 
std::shared_ptr< Fp3_variable< Fp3T > > Bc0_plus_Bc1
 
pb_linear_combination< FieldT > result_c1_plus_v0_plus_v1_c0
 
pb_linear_combination< FieldT > result_c1_plus_v0_plus_v1_c1
 
pb_linear_combination< FieldT > result_c1_plus_v0_plus_v1_c2
 
std::shared_ptr< Fp3_variable< Fp3T > > result_c1_plus_v0_plus_v1
 
std::shared_ptr< Fp3_mul_gadget< Fp3T > > compute_v0
 
std::shared_ptr< Fp3_mul_gadget< Fp3T > > compute_v1
 
std::shared_ptr< Fp3_mul_gadget< Fp3T > > compute_result_c1
 

Additional Inherited Members

- Protected Attributes inherited from libsnark::gadget< Fp6T::my_Fp >
protoboard< Fp6T::my_Fp > & pb
 
const std::string annotation_prefix
 

Detailed Description

template<typename Fp6T>
class libsnark::Fp6_2over3_mul_gadget< Fp6T >

Gadget that creates constraints for Fp6 multiplication.

Definition at line 60 of file fp6_2over3_gadgets.hpp.

Member Typedef Documentation

◆ FieldT

template<typename Fp6T >
typedef Fp6T::my_Fp libsnark::Fp6_2over3_mul_gadget< Fp6T >::FieldT

Definition at line 63 of file fp6_2over3_gadgets.hpp.

◆ Fp3T

template<typename Fp6T >
typedef Fp6T::my_Fpe libsnark::Fp6_2over3_mul_gadget< Fp6T >::Fp3T

Definition at line 64 of file fp6_2over3_gadgets.hpp.

Constructor & Destructor Documentation

◆ Fp6_2over3_mul_gadget()

template<typename Fp6T >
libsnark::Fp6_2over3_mul_gadget< Fp6T >::Fp6_2over3_mul_gadget ( protoboard< FieldT > &  pb,
const Fp6_2over3_variable< Fp6T > &  A,
const Fp6_2over3_variable< Fp6T > &  B,
const Fp6_2over3_variable< Fp6T > &  result,
const std::string &  annotation_prefix 
)

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename Fp6T >
void libsnark::Fp6_2over3_mul_gadget< Fp6T >::generate_r1cs_constraints ( )

◆ generate_r1cs_witness()

template<typename Fp6T >
void libsnark::Fp6_2over3_mul_gadget< Fp6T >::generate_r1cs_witness ( )

Member Data Documentation

◆ A

template<typename Fp6T >
Fp6_2over3_variable<Fp6T> libsnark::Fp6_2over3_mul_gadget< Fp6T >::A

Definition at line 66 of file fp6_2over3_gadgets.hpp.

◆ Ac0_plus_Ac1

template<typename Fp6T >
std::shared_ptr<Fp3_variable<Fp3T> > libsnark::Fp6_2over3_mul_gadget< Fp6T >::Ac0_plus_Ac1

Definition at line 77 of file fp6_2over3_gadgets.hpp.

◆ Ac0_plus_Ac1_c0

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::Ac0_plus_Ac1_c0

Definition at line 74 of file fp6_2over3_gadgets.hpp.

◆ Ac0_plus_Ac1_c1

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::Ac0_plus_Ac1_c1

Definition at line 75 of file fp6_2over3_gadgets.hpp.

◆ Ac0_plus_Ac1_c2

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::Ac0_plus_Ac1_c2

Definition at line 76 of file fp6_2over3_gadgets.hpp.

◆ B

template<typename Fp6T >
Fp6_2over3_variable<Fp6T> libsnark::Fp6_2over3_mul_gadget< Fp6T >::B

Definition at line 67 of file fp6_2over3_gadgets.hpp.

◆ Bc0_plus_Bc1

template<typename Fp6T >
std::shared_ptr<Fp3_variable<Fp3T> > libsnark::Fp6_2over3_mul_gadget< Fp6T >::Bc0_plus_Bc1

Definition at line 85 of file fp6_2over3_gadgets.hpp.

◆ Bc0_plus_Bc1_c0

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::Bc0_plus_Bc1_c0

Definition at line 82 of file fp6_2over3_gadgets.hpp.

◆ Bc0_plus_Bc1_c1

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::Bc0_plus_Bc1_c1

Definition at line 83 of file fp6_2over3_gadgets.hpp.

◆ Bc0_plus_Bc1_c2

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::Bc0_plus_Bc1_c2

Definition at line 84 of file fp6_2over3_gadgets.hpp.

◆ compute_result_c1

template<typename Fp6T >
std::shared_ptr<Fp3_mul_gadget<Fp3T> > libsnark::Fp6_2over3_mul_gadget< Fp6T >::compute_result_c1

Definition at line 94 of file fp6_2over3_gadgets.hpp.

◆ compute_v0

template<typename Fp6T >
std::shared_ptr<Fp3_mul_gadget<Fp3T> > libsnark::Fp6_2over3_mul_gadget< Fp6T >::compute_v0

Definition at line 92 of file fp6_2over3_gadgets.hpp.

◆ compute_v1

template<typename Fp6T >
std::shared_ptr<Fp3_mul_gadget<Fp3T> > libsnark::Fp6_2over3_mul_gadget< Fp6T >::compute_v1

Definition at line 93 of file fp6_2over3_gadgets.hpp.

◆ result

template<typename Fp6T >
Fp6_2over3_variable<Fp6T> libsnark::Fp6_2over3_mul_gadget< Fp6T >::result

Definition at line 68 of file fp6_2over3_gadgets.hpp.

◆ result_c1_plus_v0_plus_v1

template<typename Fp6T >
std::shared_ptr<Fp3_variable<Fp3T> > libsnark::Fp6_2over3_mul_gadget< Fp6T >::result_c1_plus_v0_plus_v1

Definition at line 90 of file fp6_2over3_gadgets.hpp.

◆ result_c1_plus_v0_plus_v1_c0

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::result_c1_plus_v0_plus_v1_c0

Definition at line 87 of file fp6_2over3_gadgets.hpp.

◆ result_c1_plus_v0_plus_v1_c1

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::result_c1_plus_v0_plus_v1_c1

Definition at line 88 of file fp6_2over3_gadgets.hpp.

◆ result_c1_plus_v0_plus_v1_c2

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::result_c1_plus_v0_plus_v1_c2

Definition at line 89 of file fp6_2over3_gadgets.hpp.

◆ v0

template<typename Fp6T >
std::shared_ptr<Fp3_variable<Fp3T> > libsnark::Fp6_2over3_mul_gadget< Fp6T >::v0

Definition at line 79 of file fp6_2over3_gadgets.hpp.

◆ v0_c0

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::v0_c0

Definition at line 70 of file fp6_2over3_gadgets.hpp.

◆ v0_c1

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::v0_c1

Definition at line 71 of file fp6_2over3_gadgets.hpp.

◆ v0_c2

template<typename Fp6T >
pb_linear_combination<FieldT> libsnark::Fp6_2over3_mul_gadget< Fp6T >::v0_c2

Definition at line 72 of file fp6_2over3_gadgets.hpp.

◆ v1

template<typename Fp6T >
std::shared_ptr<Fp3_variable<Fp3T> > libsnark::Fp6_2over3_mul_gadget< Fp6T >::v1

Definition at line 80 of file fp6_2over3_gadgets.hpp.

The documentation for this class was generated from the following file:
Generated on Wed Jan 25 2023 11:05:59 for Clearmatics Libsnark by   doxygen 1.8.17