Public Types |
Public Member Functions |
Public Attributes |
Protected Attributes |
List of all members
nil::crypto3::zk::components::check_e_equals_e_component< CurveType > Class Template Reference
#include <pairing_checks.hpp>
Inheritance diagram for nil::crypto3::zk::components::check_e_equals_e_component< CurveType >:
Collaboration diagram for nil::crypto3::zk::components::check_e_equals_e_component< CurveType >:
Public Types | |
typedef CurveType::scalar_field_type | field_type |
Public Member Functions | |
check_e_equals_e_component (blueprint< field_type > &bp, const g1_precomputation< CurveType > &lhs_G1, const g2_precomputation< CurveType > &lhs_G2, const g1_precomputation< CurveType > &rhs_G1, const g2_precomputation< CurveType > &rhs_G2, const blueprint_variable< field_type > &result) | |
void | generate_r1cs_constraints () |
void | generate_r1cs_witness () |
Public Attributes | |
std::shared_ptr< final_exp_component< CurveType > > | check_finexp |
std::shared_ptr< mnt_e_over_e_miller_loop_component< CurveType > > | compute_ratio |
g1_precomputation< CurveType > | lhs_G1 |
g2_precomputation< CurveType > | lhs_G2 |
std::shared_ptr< Fqk_variable_type > | ratio |
blueprint_variable< field_type > | result |
g1_precomputation< CurveType > | rhs_G1 |
g2_precomputation< CurveType > | rhs_G2 |
Protected Attributes | |
blueprint< CurveType::scalar_field_type > & | bp |
Member Typedef Documentation
◆ field_type
template<typename CurveType >
typedef CurveType::scalar_field_type nil::crypto3::zk::components::check_e_equals_e_component< CurveType >::field_type |
Constructor & Destructor Documentation
◆ check_e_equals_e_component()
template<typename CurveType >
|
inline |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename CurveType >
|
inline |
◆ generate_r1cs_witness()
template<typename CurveType >
|
inline |
Member Data Documentation
◆ bp
|
protectedinherited |
◆ check_finexp
template<typename CurveType >
std::shared_ptr<final_exp_component<CurveType> > nil::crypto3::zk::components::check_e_equals_e_component< CurveType >::check_finexp |
◆ compute_ratio
template<typename CurveType >
std::shared_ptr<mnt_e_over_e_miller_loop_component<CurveType> > nil::crypto3::zk::components::check_e_equals_e_component< CurveType >::compute_ratio |
◆ lhs_G1
template<typename CurveType >
g1_precomputation<CurveType> nil::crypto3::zk::components::check_e_equals_e_component< CurveType >::lhs_G1 |
◆ lhs_G2
template<typename CurveType >
g2_precomputation<CurveType> nil::crypto3::zk::components::check_e_equals_e_component< CurveType >::lhs_G2 |
◆ ratio
template<typename CurveType >
std::shared_ptr<Fqk_variable_type> nil::crypto3::zk::components::check_e_equals_e_component< CurveType >::ratio |
◆ result
template<typename CurveType >
blueprint_variable<field_type> nil::crypto3::zk::components::check_e_equals_e_component< CurveType >::result |
◆ rhs_G1
template<typename CurveType >
g1_precomputation<CurveType> nil::crypto3::zk::components::check_e_equals_e_component< CurveType >::rhs_G1 |
◆ rhs_G2
template<typename CurveType >
g2_precomputation<CurveType> nil::crypto3::zk::components::check_e_equals_e_component< CurveType >::rhs_G2 |
The documentation for this class was generated from the following file: