Full multiplication of Fp12 variables. More...
#include <fp12_2over3over2_gadgets.hpp>
Inheritance diagram for libsnark::Fp12_2over3over2_mul_gadget< Fp12T >:
Collaboration diagram for libsnark::Fp12_2over3over2_mul_gadget< Fp12T >:
Public Types | |
| using | FieldT = typename Fp12T::my_Fp |
| using | Fp6T = typename Fp12T::my_Fp6 |
Public Member Functions | |
| Fp12_2over3over2_mul_gadget (protoboard< FieldT > &pb, const Fp12_2over3over2_variable< Fp12T > &A, const Fp12_2over3over2_variable< Fp12T > &B, const Fp12_2over3over2_variable< Fp12T > &result, const std::string &annotation_prefix) | |
| const Fp12_2over3over2_variable< Fp12T > & | result () const |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness () |
 Public Member Functions inherited from libsnark::gadget< Fp12T::my_Fp > | |
| gadget (protoboard< Fp12T::my_Fp > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| Fp12_2over3over2_variable< Fp12T > | _A |
| Fp12_2over3over2_variable< Fp12T > | _B |
| Fp12_2over3over2_variable< Fp12T > | _result |
| Fp6_3over2_mul_gadget< Fp6T > | _compute_v0 |
| Fp6_3over2_mul_gadget< Fp6T > | _compute_v1 |
| Fp6_3over2_mul_gadget< Fp6T > | _compute_a0_plus_a1_times_b0_plus_b1 |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::gadget< Fp12T::my_Fp > | |
| protoboard< Fp12T::my_Fp > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename Fp12T>
class libsnark::Fp12_2over3over2_mul_gadget< Fp12T >
Full multiplication of Fp12 variables.
Definition at line 190 of file fp12_2over3over2_gadgets.hpp.
Member Typedef Documentation
◆ FieldT
template<typename Fp12T >
| using libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::FieldT = typename Fp12T::my_Fp |
Definition at line 193 of file fp12_2over3over2_gadgets.hpp.
◆ Fp6T
template<typename Fp12T >
| using libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::Fp6T = typename Fp12T::my_Fp6 |
Definition at line 194 of file fp12_2over3over2_gadgets.hpp.
Constructor & Destructor Documentation
◆ Fp12_2over3over2_mul_gadget()
template<typename Fp12T >
| libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::Fp12_2over3over2_mul_gadget | ( | protoboard< FieldT > & | pb, |
| const Fp12_2over3over2_variable< Fp12T > & | A, | ||
| const Fp12_2over3over2_variable< Fp12T > & | B, | ||
| const Fp12_2over3over2_variable< Fp12T > & | result, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename Fp12T >
| void libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename Fp12T >
| void libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::generate_r1cs_witness | ( | ) |
◆ result()
template<typename Fp12T >
| const Fp12_2over3over2_variable<Fp12T>& libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::result | ( | ) | const |
Member Data Documentation
◆ _A
template<typename Fp12T >
| Fp12_2over3over2_variable<Fp12T> libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::_A |
Definition at line 196 of file fp12_2over3over2_gadgets.hpp.
◆ _B
template<typename Fp12T >
| Fp12_2over3over2_variable<Fp12T> libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::_B |
Definition at line 197 of file fp12_2over3over2_gadgets.hpp.
◆ _compute_a0_plus_a1_times_b0_plus_b1
template<typename Fp12T >
| Fp6_3over2_mul_gadget<Fp6T> libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::_compute_a0_plus_a1_times_b0_plus_b1 |
Definition at line 201 of file fp12_2over3over2_gadgets.hpp.
◆ _compute_v0
template<typename Fp12T >
| Fp6_3over2_mul_gadget<Fp6T> libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::_compute_v0 |
Definition at line 199 of file fp12_2over3over2_gadgets.hpp.
◆ _compute_v1
template<typename Fp12T >
| Fp6_3over2_mul_gadget<Fp6T> libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::_compute_v1 |
Definition at line 200 of file fp12_2over3over2_gadgets.hpp.
◆ _result
template<typename Fp12T >
| Fp12_2over3over2_variable<Fp12T> libsnark::Fp12_2over3over2_mul_gadget< Fp12T >::_result |
Definition at line 198 of file fp12_2over3over2_gadgets.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/fields/fp12_2over3over2_gadgets.hpp
