Clearmatics Libff  0.1
C++ library for Finite Fields and Elliptic Curves
alt_bn128_init.hpp
Go to the documentation of this file.
1 
8 #ifndef ALT_BN128_INIT_HPP_
9 #define ALT_BN128_INIT_HPP_
15 
16 namespace libff
17 {
18 
19 const mp_size_t alt_bn128_r_bitcount = 254;
20 const mp_size_t alt_bn128_q_bitcount = 254;
21 
22 const mp_size_t alt_bn128_r_limbs =
23  (alt_bn128_r_bitcount + GMP_NUMB_BITS - 1) / GMP_NUMB_BITS;
24 const mp_size_t alt_bn128_q_limbs =
25  (alt_bn128_q_bitcount + GMP_NUMB_BITS - 1) / GMP_NUMB_BITS;
26 
29 
37 
38 // parameters for Barreto--Naehrig curve E/Fq : y^2 = x^3 + b
40 // parameters for twisted Barreto--Naehrig curve E'/Fq2 : y^2 = x^3 + b/xi
47 
48 // parameters for pairing
54 
56 
57 class alt_bn128_G1;
58 class alt_bn128_G2;
59 
60 } // namespace libff
61 #endif // ALT_BN128_INIT_HPP_
libff::Fp6_3over2_model
Definition: fp6_3over2.hpp:19
libff::alt_bn128_twist_mul_by_q_Y
alt_bn128_Fq2 alt_bn128_twist_mul_by_q_Y
Definition: alt_bn128_init.cpp:24
libff
Definition: ffi.cpp:8
fp.hpp
libff::alt_bn128_GT
alt_bn128_Fq12 alt_bn128_GT
Definition: alt_bn128_init.hpp:36
libff::alt_bn128_Fq6
Fp6_3over2_model< alt_bn128_q_limbs, alt_bn128_modulus_q > alt_bn128_Fq6
Definition: alt_bn128_init.hpp:33
libff::alt_bn128_twist_coeff_b
alt_bn128_Fq2 alt_bn128_twist_coeff_b
Definition: alt_bn128_init.cpp:20
libff::alt_bn128_modulus_r
bigint< alt_bn128_r_limbs > alt_bn128_modulus_r
Definition: alt_bn128_init.cpp:15
fp6_3over2.hpp
libff::alt_bn128_twist_mul_by_q_X
alt_bn128_Fq2 alt_bn128_twist_mul_by_q_X
Definition: alt_bn128_init.cpp:23
libff::alt_bn128_final_exponent_z
bigint< alt_bn128_q_limbs > alt_bn128_final_exponent_z
Definition: alt_bn128_init.cpp:29
libff::alt_bn128_q_limbs
const mp_size_t alt_bn128_q_limbs
Definition: alt_bn128_init.hpp:24
libff::alt_bn128_twist_mul_by_b_c1
alt_bn128_Fq alt_bn128_twist_mul_by_b_c1
Definition: alt_bn128_init.cpp:22
libff::alt_bn128_Fq2
Fp2_model< alt_bn128_q_limbs, alt_bn128_modulus_q > alt_bn128_Fq2
Definition: alt_bn128_init.hpp:32
libff::alt_bn128_final_exponent
bigint< 12 *alt_bn128_q_limbs > alt_bn128_final_exponent
Definition: alt_bn128_init.cpp:28
libff::alt_bn128_q_bitcount
const mp_size_t alt_bn128_q_bitcount
Definition: alt_bn128_init.hpp:20
libff::alt_bn128_final_exponent_is_z_neg
bool alt_bn128_final_exponent_is_z_neg
Definition: alt_bn128_init.cpp:30
libff::alt_bn128_ate_is_loop_count_neg
bool alt_bn128_ate_is_loop_count_neg
Definition: alt_bn128_init.cpp:27
fp2.hpp
fp12_2over3over2.hpp
libff::bigint
Definition: bigint.hpp:20
libff::alt_bn128_G2
Definition: alt_bn128_g2.hpp:21
libff::alt_bn128_modulus_q
bigint< alt_bn128_q_limbs > alt_bn128_modulus_q
Definition: alt_bn128_init.cpp:16
libff::alt_bn128_Fr
Fp_model< alt_bn128_r_limbs, alt_bn128_modulus_r > alt_bn128_Fr
Definition: alt_bn128_init.hpp:30
public_params.hpp
libff::Fp12_2over3over2_model
Definition: fp12_2over3over2.hpp:20
libff::alt_bn128_Fq
Fp_model< alt_bn128_q_limbs, alt_bn128_modulus_q > alt_bn128_Fq
Definition: alt_bn128_init.hpp:31
libff::Fp_model
Definition: fp.hpp:20
libff::Fp2_model< alt_bn128_q_limbs, alt_bn128_modulus_q >
libff::alt_bn128_G1
Definition: alt_bn128_g1.hpp:21
libff::alt_bn128_Fq12
Fp12_2over3over2_model< alt_bn128_q_limbs, alt_bn128_modulus_q > alt_bn128_Fq12
Definition: alt_bn128_init.hpp:35
libff::alt_bn128_r_bitcount
const mp_size_t alt_bn128_r_bitcount
Definition: alt_bn128_init.hpp:19
libff::alt_bn128_twist_mul_by_b_c0
alt_bn128_Fq alt_bn128_twist_mul_by_b_c0
Definition: alt_bn128_init.cpp:21
libff::init_alt_bn128_params
void init_alt_bn128_params()
Definition: alt_bn128_init.cpp:32
libff::alt_bn128_ate_loop_count
bigint< alt_bn128_q_limbs > alt_bn128_ate_loop_count
Definition: alt_bn128_init.cpp:26
libff::alt_bn128_coeff_b
alt_bn128_Fq alt_bn128_coeff_b
Definition: alt_bn128_init.cpp:18
libff::alt_bn128_r_limbs
const mp_size_t alt_bn128_r_limbs
Definition: alt_bn128_init.hpp:22
libff::alt_bn128_twist
alt_bn128_Fq2 alt_bn128_twist
Definition: alt_bn128_init.cpp:19