blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp
Go to the documentation of this file.
82 typename CurveType::pairing::pair_curve_type::template g2_type<>::value_type Q_copy = Q.to_affine();
93 typename CurveType::pairing::pair_curve_type::template g2_type<>::value_type Qcopy = Q.to_affine();
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/detail/mnt4.hpp:47
Definition: blueprint.hpp:46
Definition: component.hpp:37
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:113
void generate_r1cs_witness()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:156
element_g2< CurveType > Q
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:121
std::shared_ptr< typename component_policy::Fqe_variable_type > Ysquared_minus_b
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:126
std::shared_ptr< typename component_policy::Fqe_mul_component_type > curve_equation
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:130
std::shared_ptr< typename component_policy::Fqe_variable_type > Xsquared_plus_a
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:125
std::shared_ptr< typename component_policy::Fqe_sqr_component_type > compute_Ysquared
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:129
std::shared_ptr< typename component_policy::Fqe_sqr_component_type > compute_Xsquared
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:128
element_g2_is_well_formed(blueprint< field_type > &bp, const element_g2< CurveType > &Q)
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:132
std::shared_ptr< typename component_policy::Fqe_variable_type > Ysquared
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:124
std::shared_ptr< typename component_policy::Fqe_variable_type > Xsquared
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:123
void generate_r1cs_constraints()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:151
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:55
std::shared_ptr< typename component_policy::Fqe_variable_type > Y
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:68
blueprint_linear_combination_vector< field_type > all_vars
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:70
element_g2(blueprint< field_type > &bp, const typename CurveType::pairing::pair_curve_type::template g2_type<>::value_type &Q)
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:79
static std::size_t __attribute__((noinline)) size_in_bits()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:101
static std::size_t num_variables()
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:104
element_g2(blueprint< field_type > &bp)
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:72
std::shared_ptr< typename component_policy::Fqe_variable_type > X
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:67
void generate_r1cs_witness(const typename CurveType::pairing::pair_curve_type::template g2_type<>::value_type &Q)
Definition: blueprint/include/nil/crypto3/zk/components/algebra/curves/weierstrass/element_g2.hpp:91
Definition: pairing/alt_bn128.hpp:42
Definition: pair.hpp:31