#include <fp4_gadgets.hpp>
Inheritance diagram for libsnark::Fp4_tower_mul_gadget< Fp4T >:
Collaboration diagram for libsnark::Fp4_tower_mul_gadget< Fp4T >:
Public Types | |
| typedef Fp4T::my_Fp | FieldT |
| typedef Fp4T::my_Fpe | Fp2T |
Public Member Functions | |
| Fp4_tower_mul_gadget (protoboard< FieldT > &pb, const Fp4_variable< Fp4T > &A, const Fp4_variable< Fp4T > &B, const Fp4_variable< Fp4T > &result, const std::string &annotation_prefix) | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness () |
 Public Member Functions inherited from libsnark::gadget< Fp4T::my_Fp > | |
| gadget (protoboard< Fp4T::my_Fp > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| Fp4_variable< Fp4T > | A |
| Fp4_variable< Fp4T > | B |
| Fp4_variable< Fp4T > | result |
| pb_linear_combination< FieldT > | v0_c0 |
| pb_linear_combination< FieldT > | v0_c1 |
| pb_linear_combination< FieldT > | Ac0_plus_Ac1_c0 |
| pb_linear_combination< FieldT > | Ac0_plus_Ac1_c1 |
| std::shared_ptr< Fp2_variable< Fp2T > > | Ac0_plus_Ac1 |
| std::shared_ptr< Fp2_variable< Fp2T > > | v0 |
| std::shared_ptr< Fp2_variable< Fp2T > > | v1 |
| pb_linear_combination< FieldT > | Bc0_plus_Bc1_c0 |
| pb_linear_combination< FieldT > | Bc0_plus_Bc1_c1 |
| std::shared_ptr< Fp2_variable< Fp2T > > | 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 |
| std::shared_ptr< Fp2_variable< Fp2T > > | result_c1_plus_v0_plus_v1 |
| std::shared_ptr< Fp2_mul_gadget< Fp2T > > | compute_v0 |
| std::shared_ptr< Fp2_mul_gadget< Fp2T > > | compute_v1 |
| std::shared_ptr< Fp2_mul_gadget< Fp2T > > | compute_result_c1 |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::gadget< Fp4T::my_Fp > | |
| protoboard< Fp4T::my_Fp > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename Fp4T>
class libsnark::Fp4_tower_mul_gadget< Fp4T >
Gadget that creates constraints for Fp4 multiplication (towering formulas).
Definition at line 58 of file fp4_gadgets.hpp.
Member Typedef Documentation
◆ FieldT
template<typename Fp4T >
| typedef Fp4T::my_Fp libsnark::Fp4_tower_mul_gadget< Fp4T >::FieldT |
Definition at line 61 of file fp4_gadgets.hpp.
◆ Fp2T
template<typename Fp4T >
| typedef Fp4T::my_Fpe libsnark::Fp4_tower_mul_gadget< Fp4T >::Fp2T |
Definition at line 62 of file fp4_gadgets.hpp.
Constructor & Destructor Documentation
◆ Fp4_tower_mul_gadget()
template<typename Fp4T >
| libsnark::Fp4_tower_mul_gadget< Fp4T >::Fp4_tower_mul_gadget | ( | protoboard< FieldT > & | pb, |
| const Fp4_variable< Fp4T > & | A, | ||
| const Fp4_variable< Fp4T > & | B, | ||
| const Fp4_variable< Fp4T > & | result, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename Fp4T >
| void libsnark::Fp4_tower_mul_gadget< Fp4T >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename Fp4T >
| void libsnark::Fp4_tower_mul_gadget< Fp4T >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ A
template<typename Fp4T >
| Fp4_variable<Fp4T> libsnark::Fp4_tower_mul_gadget< Fp4T >::A |
Definition at line 64 of file fp4_gadgets.hpp.
◆ Ac0_plus_Ac1
template<typename Fp4T >
| std::shared_ptr<Fp2_variable<Fp2T> > libsnark::Fp4_tower_mul_gadget< Fp4T >::Ac0_plus_Ac1 |
Definition at line 73 of file fp4_gadgets.hpp.
◆ Ac0_plus_Ac1_c0
template<typename Fp4T >
| pb_linear_combination<FieldT> libsnark::Fp4_tower_mul_gadget< Fp4T >::Ac0_plus_Ac1_c0 |
Definition at line 71 of file fp4_gadgets.hpp.
◆ Ac0_plus_Ac1_c1
template<typename Fp4T >
| pb_linear_combination<FieldT> libsnark::Fp4_tower_mul_gadget< Fp4T >::Ac0_plus_Ac1_c1 |
Definition at line 72 of file fp4_gadgets.hpp.
◆ B
template<typename Fp4T >
| Fp4_variable<Fp4T> libsnark::Fp4_tower_mul_gadget< Fp4T >::B |
Definition at line 65 of file fp4_gadgets.hpp.
◆ Bc0_plus_Bc1
template<typename Fp4T >
| std::shared_ptr<Fp2_variable<Fp2T> > libsnark::Fp4_tower_mul_gadget< Fp4T >::Bc0_plus_Bc1 |
Definition at line 80 of file fp4_gadgets.hpp.
◆ Bc0_plus_Bc1_c0
template<typename Fp4T >
| pb_linear_combination<FieldT> libsnark::Fp4_tower_mul_gadget< Fp4T >::Bc0_plus_Bc1_c0 |
Definition at line 78 of file fp4_gadgets.hpp.
◆ Bc0_plus_Bc1_c1
template<typename Fp4T >
| pb_linear_combination<FieldT> libsnark::Fp4_tower_mul_gadget< Fp4T >::Bc0_plus_Bc1_c1 |
Definition at line 79 of file fp4_gadgets.hpp.
◆ compute_result_c1
template<typename Fp4T >
| std::shared_ptr<Fp2_mul_gadget<Fp2T> > libsnark::Fp4_tower_mul_gadget< Fp4T >::compute_result_c1 |
Definition at line 89 of file fp4_gadgets.hpp.
◆ compute_v0
template<typename Fp4T >
| std::shared_ptr<Fp2_mul_gadget<Fp2T> > libsnark::Fp4_tower_mul_gadget< Fp4T >::compute_v0 |
Definition at line 87 of file fp4_gadgets.hpp.
◆ compute_v1
template<typename Fp4T >
| std::shared_ptr<Fp2_mul_gadget<Fp2T> > libsnark::Fp4_tower_mul_gadget< Fp4T >::compute_v1 |
Definition at line 88 of file fp4_gadgets.hpp.
◆ result
template<typename Fp4T >
| Fp4_variable<Fp4T> libsnark::Fp4_tower_mul_gadget< Fp4T >::result |
Definition at line 66 of file fp4_gadgets.hpp.
◆ result_c1_plus_v0_plus_v1
template<typename Fp4T >
| std::shared_ptr<Fp2_variable<Fp2T> > libsnark::Fp4_tower_mul_gadget< Fp4T >::result_c1_plus_v0_plus_v1 |
Definition at line 85 of file fp4_gadgets.hpp.
◆ result_c1_plus_v0_plus_v1_c0
template<typename Fp4T >
| pb_linear_combination<FieldT> libsnark::Fp4_tower_mul_gadget< Fp4T >::result_c1_plus_v0_plus_v1_c0 |
Definition at line 82 of file fp4_gadgets.hpp.
◆ result_c1_plus_v0_plus_v1_c1
template<typename Fp4T >
| pb_linear_combination<FieldT> libsnark::Fp4_tower_mul_gadget< Fp4T >::result_c1_plus_v0_plus_v1_c1 |
Definition at line 83 of file fp4_gadgets.hpp.
◆ v0
template<typename Fp4T >
| std::shared_ptr<Fp2_variable<Fp2T> > libsnark::Fp4_tower_mul_gadget< Fp4T >::v0 |
Definition at line 75 of file fp4_gadgets.hpp.
◆ v0_c0
template<typename Fp4T >
| pb_linear_combination<FieldT> libsnark::Fp4_tower_mul_gadget< Fp4T >::v0_c0 |
Definition at line 68 of file fp4_gadgets.hpp.
◆ v0_c1
template<typename Fp4T >
| pb_linear_combination<FieldT> libsnark::Fp4_tower_mul_gadget< Fp4T >::v0_c1 |
Definition at line 69 of file fp4_gadgets.hpp.
◆ v1
template<typename Fp4T >
| std::shared_ptr<Fp2_variable<Fp2T> > libsnark::Fp4_tower_mul_gadget< Fp4T >::v1 |
Definition at line 76 of file fp4_gadgets.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/fields/fp4_gadgets.hpp
