blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp
Go to the documentation of this file.
128 compute_el_q_3_minus_1.reset(new Fqk_mul_component_type(bp, *el_q_3, *el_inv, *el_q_3_minus_1));
275 compute_el_q_2_minus_1.reset(new Fqk_mul_component_type(bp, *el_q_2, *el_inv, *el_q_2_minus_1));
Definition: blueprint.hpp:46
Definition: component.hpp:37
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/detail/mnt4.hpp:46
Definition: element_fp4.hpp:541
Definition: element_fp4.hpp:241
Definition: element_fp6_2over3.hpp:470
Definition: element_fp6_2over3.hpp:137
Definition: element_fp6_2over3.hpp:51
Definition: blueprint/include/nil/crypto3/zk/components/algebra/fields/exponentiation.hpp:56
std::shared_ptr< Fqk_variable_type > el_q_3_minus_1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:72
std::shared_ptr< Fqk_variable_type > el_inv_q_3_minus_1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:77
std::shared_ptr< Fqk_variable_type > el_q_3
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:71
nil::crypto3::zk::components::final_exp_component< curves::mnt4< Version > >::compute_el_q_3_minus_1
std::shared_ptr< Fqk_mul_component_type > compute_el_q_3_minus_1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:85
std::shared_ptr< Fqk_variable_type > result
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:82
blueprint_variable< field_type > result_is_one
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:104
std::shared_ptr< Fqk_variable_type > alpha
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:73
std::shared_ptr< Fqk_variable_type > el_inv_q_3
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:76
curve_type::scalar_field_type field_type
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:66
std::shared_ptr< Fqk_variable_type > el_inv
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:70
void generate_r1cs_witness()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:184
std::shared_ptr< exponentiation_component< typename curve_type::pairing::fqk_type, element_fp6_2over3, element_fp6_2over3_mul, element_fp6_2over3_cyclotomic_squared > > compute_w0
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:101
std::shared_ptr< Fqk_variable_type > inv_alpha
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:78
std::shared_ptr< Fqk_mul_component_type > compute_el_inv_q_3_minus_1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:87
Fqk_variable_type el
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:68
std::shared_ptr< Fqk_variable_type > one
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:69
std::shared_ptr< Fqk_mul_component_type > compute_el_inv
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:84
void generate_r1cs_constraints()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:154
final_exp_component(blueprint< field_type > &bp, const Fqk_variable_type &el, const blueprint_variable< field_type > &result_is_one)
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:106
std::shared_ptr< Fqk_mul_component_type > compute_beta
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:86
std::shared_ptr< Fqk_variable_type > beta_q
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:75
std::shared_ptr< Fqk_variable_type > w1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:80
std::shared_ptr< Fqk_mul_component_type > compute_inv_beta
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:88
std::shared_ptr< Fqk_variable_type > beta
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:74
std::shared_ptr< exponentiation_component_type > compute_w1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:96
std::shared_ptr< Fqk_variable_type > inv_beta
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:79
std::shared_ptr< Fqk_mul_component_type > compute_result
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:102
std::shared_ptr< Fqk_variable_type > w0
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:81
final_exp_component(blueprint< field_type > &bp, const Fqk_variable_type &el, const blueprint_variable< field_type > &result_is_one)
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:258
std::shared_ptr< Fqk_variable_type > one
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:229
std::shared_ptr< Fqk_variable_type > w0
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:237
curve_type::scalar_field_type field_type
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:226
std::shared_ptr< Fqk_mul_component_type > compute_el_inv_q_2_minus_1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:242
void generate_r1cs_witness()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:319
std::shared_ptr< Fqk_variable_type > el_q_2_minus_1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:232
std::shared_ptr< exponentiation_component< typename curve_type::pairing::fqk_type, element_fp4, element_fp4_mul, element_fp4_cyclotomic_squared > > compute_w0
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:253
void generate_r1cs_constraints()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:297
std::shared_ptr< Fqk_mul_component_type > compute_el_inv
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:240
blueprint_variable< field_type > result_is_one
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:256
Fqk_variable_type el
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:228
std::shared_ptr< Fqk_variable_type > el_inv_q_2_minus_1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:235
std::shared_ptr< exponentiation_component< typename curve_type::pairing::fqk_type, element_fp4, element_fp4_mul, element_fp4_cyclotomic_squared > > compute_w1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:248
std::shared_ptr< Fqk_mul_component_type > compute_result
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:254
nil::crypto3::zk::components::final_exp_component< curves::mnt6< Version > >::compute_el_q_2_minus_1
std::shared_ptr< Fqk_mul_component_type > compute_el_q_2_minus_1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:241
std::shared_ptr< Fqk_variable_type > el_inv
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:230
std::shared_ptr< Fqk_variable_type > result
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:238
std::shared_ptr< Fqk_variable_type > el_inv_q_2
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:234
std::shared_ptr< Fqk_variable_type > el_q_2
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:231
std::shared_ptr< Fqk_variable_type > el_q_3_minus_q
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:233
std::shared_ptr< Fqk_variable_type > w1
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:236
mnt4_base_field< Version > mnt4
Definition: mnt4/base_field.hpp:86
mnt6_base_field< Version > mnt6
Definition: mnt6/base_field.hpp:86
element_fp4_direct_mul< Fp4T > element_fp4_mul
Definition: element_fp4.hpp:427
Definition: pair.hpp:31
A struct representing a mnt4 curve.
Definition: algebra/include/nil/crypto3/algebra/curves/mnt4.hpp:46
A struct representing a mnt6 curve.
Definition: algebra/include/nil/crypto3/algebra/curves/mnt6.hpp:46
Definition: element_fp4.hpp:50
Definition: blueprint/include/nil/crypto3/zk/components/algebra/pairing/weierstrass/final_exponentiation.hpp:52
Definition: r1cs.hpp:60