#include <fp3_gadgets.hpp>
Inheritance diagram for libsnark::Fp3_mul_gadget< Fp3T >:
Collaboration diagram for libsnark::Fp3_mul_gadget< Fp3T >:
Public Types | |
| typedef Fp3T::my_Fp | FieldT |
Public Member Functions | |
| Fp3_mul_gadget (protoboard< FieldT > &pb, const Fp3_variable< Fp3T > &A, const Fp3_variable< Fp3T > &B, const Fp3_variable< Fp3T > &result, const std::string &annotation_prefix) | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness () |
 Public Member Functions inherited from libsnark::gadget< Fp3T::my_Fp > | |
| gadget (protoboard< Fp3T::my_Fp > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| Fp3_variable< Fp3T > | A |
| Fp3_variable< Fp3T > | B |
| Fp3_variable< Fp3T > | result |
| pb_variable< FieldT > | v0 |
| pb_variable< FieldT > | v4 |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::gadget< Fp3T::my_Fp > | |
| protoboard< Fp3T::my_Fp > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename Fp3T>
class libsnark::Fp3_mul_gadget< Fp3T >
Gadget that creates constraints for Fp3 by Fp3 multiplication.
Definition at line 74 of file fp3_gadgets.hpp.
Member Typedef Documentation
◆ FieldT
template<typename Fp3T >
| typedef Fp3T::my_Fp libsnark::Fp3_mul_gadget< Fp3T >::FieldT |
Definition at line 77 of file fp3_gadgets.hpp.
Constructor & Destructor Documentation
◆ Fp3_mul_gadget()
template<typename Fp3T >
| libsnark::Fp3_mul_gadget< Fp3T >::Fp3_mul_gadget | ( | protoboard< FieldT > & | pb, |
| const Fp3_variable< Fp3T > & | A, | ||
| const Fp3_variable< Fp3T > & | B, | ||
| const Fp3_variable< Fp3T > & | result, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename Fp3T >
| void libsnark::Fp3_mul_gadget< Fp3T >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename Fp3T >
| void libsnark::Fp3_mul_gadget< Fp3T >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ A
template<typename Fp3T >
| Fp3_variable<Fp3T> libsnark::Fp3_mul_gadget< Fp3T >::A |
Definition at line 79 of file fp3_gadgets.hpp.
◆ B
template<typename Fp3T >
| Fp3_variable<Fp3T> libsnark::Fp3_mul_gadget< Fp3T >::B |
Definition at line 80 of file fp3_gadgets.hpp.
◆ result
template<typename Fp3T >
| Fp3_variable<Fp3T> libsnark::Fp3_mul_gadget< Fp3T >::result |
Definition at line 81 of file fp3_gadgets.hpp.
◆ v0
template<typename Fp3T >
| pb_variable<FieldT> libsnark::Fp3_mul_gadget< Fp3T >::v0 |
Definition at line 83 of file fp3_gadgets.hpp.
◆ v4
template<typename Fp3T >
| pb_variable<FieldT> libsnark::Fp3_mul_gadget< Fp3T >::v4 |
Definition at line 84 of file fp3_gadgets.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/fields/fp3_gadgets.hpp
