Gadget for verifying a single Miller loop. More...
#include <mnt_miller_loop.hpp>
Inheritance diagram for libsnark::mnt_miller_loop_gadget< ppT >:
Collaboration diagram for libsnark::mnt_miller_loop_gadget< ppT >:
Public Types | |
| typedef libff::Fr< ppT > | FieldT |
| typedef libff::Fqe< other_curve< ppT > > | FqeT |
| typedef libff::Fqk< other_curve< ppT > > | FqkT |
| typedef mnt_pairing_params< ppT >::Fqk_special_mul_gadget_type | Fqk_special_mul_gadget |
Public Member Functions | |
| mnt_miller_loop_gadget (protoboard< FieldT > &pb, const mnt_G1_precomputation< ppT > &prec_P, const mnt_G2_precomputation< ppT > &prec_Q, const Fqk_variable< ppT > &result, 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::vector< std::shared_ptr< Fqk_variable< ppT > > > | g_RR_at_Ps |
| std::vector< std::shared_ptr< Fqk_variable< ppT > > > | g_RQ_at_Ps |
| std::vector< std::shared_ptr< Fqk_variable< ppT > > > | fs |
| std::vector< std::shared_ptr< mnt_miller_loop_add_line_eval< ppT > > > | addition_steps |
| std::vector< std::shared_ptr< mnt_miller_loop_dbl_line_eval< ppT > > > | doubling_steps |
| std::vector< std::shared_ptr< Fqk_special_mul_gadget > > | dbl_muls |
| std::vector< std::shared_ptr< Fqk_sqr_gadget< ppT > > > | dbl_sqrs |
| std::vector< std::shared_ptr< Fqk_special_mul_gadget > > | add_muls |
| size_t | f_count |
| size_t | add_count |
| size_t | dbl_count |
| mnt_G1_precomputation< ppT > | prec_P |
| mnt_G2_precomputation< ppT > | prec_Q |
| Fqk_variable< ppT > | result |
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::mnt_miller_loop_gadget< ppT >
Gadget for verifying a single Miller loop.
Definition at line 108 of file mnt_miller_loop.hpp.
Member Typedef Documentation
◆ FieldT
template<typename ppT >
| typedef libff::Fr<ppT> libsnark::mnt_miller_loop_gadget< ppT >::FieldT |
Definition at line 111 of file mnt_miller_loop.hpp.
◆ FqeT
template<typename ppT >
| typedef libff::Fqe<other_curve<ppT> > libsnark::mnt_miller_loop_gadget< ppT >::FqeT |
Definition at line 112 of file mnt_miller_loop.hpp.
◆ Fqk_special_mul_gadget
template<typename ppT >
| typedef mnt_pairing_params<ppT>::Fqk_special_mul_gadget_type libsnark::mnt_miller_loop_gadget< ppT >::Fqk_special_mul_gadget |
Definition at line 115 of file mnt_miller_loop.hpp.
◆ FqkT
template<typename ppT >
| typedef libff::Fqk<other_curve<ppT> > libsnark::mnt_miller_loop_gadget< ppT >::FqkT |
Definition at line 113 of file mnt_miller_loop.hpp.
Constructor & Destructor Documentation
◆ mnt_miller_loop_gadget()
template<typename ppT >
| libsnark::mnt_miller_loop_gadget< ppT >::mnt_miller_loop_gadget | ( | protoboard< FieldT > & | pb, |
| const mnt_G1_precomputation< ppT > & | prec_P, | ||
| const mnt_G2_precomputation< ppT > & | prec_Q, | ||
| const Fqk_variable< ppT > & | result, | ||
| const std::string & | annotation_prefix | ||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename ppT >
| void libsnark::mnt_miller_loop_gadget< ppT >::generate_r1cs_constraints | ( | ) |
◆ generate_r1cs_witness()
template<typename ppT >
| void libsnark::mnt_miller_loop_gadget< ppT >::generate_r1cs_witness | ( | ) |
Member Data Documentation
◆ add_count
template<typename ppT >
| size_t libsnark::mnt_miller_loop_gadget< ppT >::add_count |
Definition at line 131 of file mnt_miller_loop.hpp.
◆ add_muls
template<typename ppT >
| std::vector<std::shared_ptr<Fqk_special_mul_gadget> > libsnark::mnt_miller_loop_gadget< ppT >::add_muls |
Definition at line 128 of file mnt_miller_loop.hpp.
◆ addition_steps
template<typename ppT >
| std::vector<std::shared_ptr<mnt_miller_loop_add_line_eval<ppT> > > libsnark::mnt_miller_loop_gadget< ppT >::addition_steps |
Definition at line 122 of file mnt_miller_loop.hpp.
◆ dbl_count
template<typename ppT >
| size_t libsnark::mnt_miller_loop_gadget< ppT >::dbl_count |
Definition at line 132 of file mnt_miller_loop.hpp.
◆ dbl_muls
template<typename ppT >
| std::vector<std::shared_ptr<Fqk_special_mul_gadget> > libsnark::mnt_miller_loop_gadget< ppT >::dbl_muls |
Definition at line 126 of file mnt_miller_loop.hpp.
◆ dbl_sqrs
template<typename ppT >
| std::vector<std::shared_ptr<Fqk_sqr_gadget<ppT> > > libsnark::mnt_miller_loop_gadget< ppT >::dbl_sqrs |
Definition at line 127 of file mnt_miller_loop.hpp.
◆ doubling_steps
template<typename ppT >
| std::vector<std::shared_ptr<mnt_miller_loop_dbl_line_eval<ppT> > > libsnark::mnt_miller_loop_gadget< ppT >::doubling_steps |
Definition at line 124 of file mnt_miller_loop.hpp.
◆ f_count
template<typename ppT >
| size_t libsnark::mnt_miller_loop_gadget< ppT >::f_count |
Definition at line 130 of file mnt_miller_loop.hpp.
◆ fs
template<typename ppT >
| std::vector<std::shared_ptr<Fqk_variable<ppT> > > libsnark::mnt_miller_loop_gadget< ppT >::fs |
Definition at line 119 of file mnt_miller_loop.hpp.
◆ g_RQ_at_Ps
template<typename ppT >
| std::vector<std::shared_ptr<Fqk_variable<ppT> > > libsnark::mnt_miller_loop_gadget< ppT >::g_RQ_at_Ps |
Definition at line 118 of file mnt_miller_loop.hpp.
◆ g_RR_at_Ps
template<typename ppT >
| std::vector<std::shared_ptr<Fqk_variable<ppT> > > libsnark::mnt_miller_loop_gadget< ppT >::g_RR_at_Ps |
Definition at line 117 of file mnt_miller_loop.hpp.
◆ prec_P
template<typename ppT >
| mnt_G1_precomputation<ppT> libsnark::mnt_miller_loop_gadget< ppT >::prec_P |
Definition at line 134 of file mnt_miller_loop.hpp.
◆ prec_Q
template<typename ppT >
| mnt_G2_precomputation<ppT> libsnark::mnt_miller_loop_gadget< ppT >::prec_Q |
Definition at line 135 of file mnt_miller_loop.hpp.
◆ result
template<typename ppT >
| Fqk_variable<ppT> libsnark::mnt_miller_loop_gadget< ppT >::result |
Definition at line 136 of file mnt_miller_loop.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/pairing/mnt/mnt_miller_loop.hpp
