Wire Sysio Wire Sysion 1.0.0
|
Enumerations | |
enum | multi_exp_method { multi_exp_method_naive , multi_exp_method_naive_plain , multi_exp_method_bos_coster , multi_exp_method_BDLO12 } |
Functions | |
std::ostream & | operator<< (std::ostream &out, const alt_bn128_G1 &g) |
std::istream & | operator>> (std::istream &in, alt_bn128_G1 &g) |
std::ostream & | operator<< (std::ostream &out, const std::vector< alt_bn128_G1 > &v) |
std::istream & | operator>> (std::istream &in, std::vector< alt_bn128_G1 > &v) |
template<mp_size_t m> | |
alt_bn128_G1 | operator* (const bigint< m > &lhs, const alt_bn128_G1 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
alt_bn128_G1 | operator* (const Fp_model< m, modulus_p > &lhs, const alt_bn128_G1 &rhs) |
std::ostream & | operator<< (std::ostream &out, const alt_bn128_G2 &g) |
std::istream & | operator>> (std::istream &in, alt_bn128_G2 &g) |
template<mp_size_t m> | |
alt_bn128_G2 | operator* (const bigint< m > &lhs, const alt_bn128_G2 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
alt_bn128_G2 | operator* (const Fp_model< m, modulus_p > &lhs, const alt_bn128_G2 &rhs) |
void | init_alt_bn128_params () |
std::ostream & | operator<< (std::ostream &out, const alt_bn128_ate_G1_precomp &prec_P) |
std::istream & | operator>> (std::istream &in, alt_bn128_ate_G1_precomp &prec_P) |
std::ostream & | operator<< (std::ostream &out, const alt_bn128_ate_ell_coeffs &c) |
std::istream & | operator>> (std::istream &in, alt_bn128_ate_ell_coeffs &c) |
std::ostream & | operator<< (std::ostream &out, const alt_bn128_ate_G2_precomp &prec_Q) |
std::istream & | operator>> (std::istream &in, alt_bn128_ate_G2_precomp &prec_Q) |
alt_bn128_Fq12 | alt_bn128_final_exponentiation_first_chunk (const alt_bn128_Fq12 &elt) |
alt_bn128_Fq12 | alt_bn128_exp_by_neg_z (const alt_bn128_Fq12 &elt) |
alt_bn128_Fq12 | alt_bn128_final_exponentiation_last_chunk (const alt_bn128_Fq12 &elt) |
alt_bn128_GT | alt_bn128_final_exponentiation (const alt_bn128_Fq12 &elt) |
void | doubling_step_for_flipped_miller_loop (const alt_bn128_Fq two_inv, alt_bn128_G2 ¤t, alt_bn128_ate_ell_coeffs &c) |
void | mixed_addition_step_for_flipped_miller_loop (const alt_bn128_G2 base, alt_bn128_G2 ¤t, alt_bn128_ate_ell_coeffs &c) |
alt_bn128_ate_G1_precomp | alt_bn128_ate_precompute_G1 (const alt_bn128_G1 &P) |
alt_bn128_ate_G2_precomp | alt_bn128_ate_precompute_G2 (const alt_bn128_G2 &Q) |
alt_bn128_Fq12 | alt_bn128_ate_miller_loop (const alt_bn128_ate_G1_precomp &prec_P, const alt_bn128_ate_G2_precomp &prec_Q) |
alt_bn128_Fq12 | alt_bn128_ate_double_miller_loop (const alt_bn128_ate_G1_precomp &prec_P1, const alt_bn128_ate_G2_precomp &prec_Q1, const alt_bn128_ate_G1_precomp &prec_P2, const alt_bn128_ate_G2_precomp &prec_Q2) |
alt_bn128_Fq12 | alt_bn128_ate_pairing (const alt_bn128_G1 &P, const alt_bn128_G2 &Q) |
alt_bn128_GT | alt_bn128_ate_reduced_pairing (const alt_bn128_G1 &P, const alt_bn128_G2 &Q) |
alt_bn128_G1_precomp | alt_bn128_precompute_G1 (const alt_bn128_G1 &P) |
alt_bn128_G2_precomp | alt_bn128_precompute_G2 (const alt_bn128_G2 &Q) |
alt_bn128_Fq12 | alt_bn128_miller_loop (const alt_bn128_G1_precomp &prec_P, const alt_bn128_G2_precomp &prec_Q) |
alt_bn128_Fq12 | alt_bn128_double_miller_loop (const alt_bn128_G1_precomp &prec_P1, const alt_bn128_G2_precomp &prec_Q1, const alt_bn128_G1_precomp &prec_P2, const alt_bn128_G2_precomp &prec_Q2) |
alt_bn128_Fq12 | alt_bn128_pairing (const alt_bn128_G1 &P, const alt_bn128_G2 &Q) |
alt_bn128_GT | alt_bn128_reduced_pairing (const alt_bn128_G1 &P, const alt_bn128_G2 &Q) |
alt_bn128_GT | alt_bn128_affine_reduced_pairing (const alt_bn128_G1 &P, const alt_bn128_G2 &Q) |
std::ostream & | operator<< (std::ostream &out, const bn128_G1 &g) |
std::istream & | operator>> (std::istream &in, bn128_G1 &g) |
std::ostream & | operator<< (std::ostream &out, const std::vector< bn128_G1 > &v) |
std::istream & | operator>> (std::istream &in, std::vector< bn128_G1 > &v) |
template<mp_size_t m> | |
bn128_G1 | operator* (const bigint< m > &lhs, const bn128_G1 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
bn128_G1 | operator* (const Fp_model< m, modulus_p > &lhs, const bn128_G1 &rhs) |
std::ostream & | operator<< (std::ostream &out, const bn128_G2 &g) |
std::istream & | operator>> (std::istream &in, bn128_G2 &g) |
template<mp_size_t m> | |
bn128_G2 | operator* (const bigint< m > &lhs, const bn128_G2 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
bn128_G2 | operator* (const Fp_model< m, modulus_p > &lhs, const bn128_G2 &rhs) |
std::ostream & | operator<< (std::ostream &out, const bn128_GT &g) |
std::istream & | operator>> (std::istream &in, bn128_GT &g) |
template<mp_size_t m> | |
bn128_GT | operator^ (const bn128_GT &rhs, const bigint< m > &lhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
bn128_GT | operator^ (const bn128_GT &rhs, const Fp_model< m, modulus_p > &lhs) |
void | init_bn128_params () |
std::ostream & | operator<< (std::ostream &out, const bn128_ate_G1_precomp &prec_P) |
std::istream & | operator>> (std::istream &in, bn128_ate_G1_precomp &prec_P) |
std::ostream & | operator<< (std::ostream &out, const bn128_ate_G2_precomp &prec_Q) |
std::istream & | operator>> (std::istream &in, bn128_ate_G2_precomp &prec_Q) |
bn128_ate_G1_precomp | bn128_ate_precompute_G1 (const bn128_G1 &P) |
bn128_ate_G2_precomp | bn128_ate_precompute_G2 (const bn128_G2 &Q) |
bn128_Fq12 | bn128_ate_miller_loop (const bn128_ate_G1_precomp &prec_P, const bn128_ate_G2_precomp &prec_Q) |
bn128_Fq12 | bn128_double_ate_miller_loop (const bn128_ate_G1_precomp &prec_P1, const bn128_ate_G2_precomp &prec_Q1, const bn128_ate_G1_precomp &prec_P2, const bn128_ate_G2_precomp &prec_Q2) |
bn128_GT | bn128_final_exponentiation (const bn128_Fq12 &elt) |
template<typename FieldT > | |
void | bn_batch_invert (std::vector< FieldT > &vec) |
template<typename GroupT , mp_size_t m> | |
GroupT | scalar_mul (const GroupT &base, const bigint< m > &scalar) |
std::ostream & | operator<< (std::ostream &out, const edwards_G1 &g) |
std::istream & | operator>> (std::istream &in, edwards_G1 &g) |
std::ostream & | operator<< (std::ostream &out, const std::vector< edwards_G1 > &v) |
std::istream & | operator>> (std::istream &in, std::vector< edwards_G1 > &v) |
template<mp_size_t m> | |
edwards_G1 | operator* (const bigint< m > &lhs, const edwards_G1 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
edwards_G1 | operator* (const Fp_model< m, modulus_p > &lhs, const edwards_G1 &rhs) |
std::ostream & | operator<< (std::ostream &out, const edwards_G2 &g) |
std::istream & | operator>> (std::istream &in, edwards_G2 &g) |
template<mp_size_t m> | |
edwards_G2 | operator* (const bigint< m > &lhs, const edwards_G2 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
edwards_G2 | operator* (const Fp_model< m, modulus_p > &lhs, const edwards_G2 &rhs) |
void | init_edwards_params () |
std::ostream & | operator<< (std::ostream &out, const edwards_Fq_conic_coefficients &cc) |
std::istream & | operator>> (std::istream &in, edwards_Fq_conic_coefficients &cc) |
std::ostream & | operator<< (std::ostream &out, const edwards_tate_G1_precomp &prec_P) |
std::istream & | operator>> (std::istream &in, edwards_tate_G1_precomp &prec_P) |
std::ostream & | operator<< (std::ostream &out, const edwards_tate_G2_precomp &prec_Q) |
std::istream & | operator>> (std::istream &in, edwards_tate_G2_precomp &prec_Q) |
std::ostream & | operator<< (std::ostream &out, const edwards_Fq3_conic_coefficients &cc) |
std::istream & | operator>> (std::istream &in, edwards_Fq3_conic_coefficients &cc) |
std::ostream & | operator<< (std::ostream &out, const edwards_ate_G2_precomp &prec_Q) |
std::istream & | operator>> (std::istream &in, edwards_ate_G2_precomp &prec_Q) |
std::ostream & | operator<< (std::ostream &out, const edwards_ate_G1_precomp &prec_P) |
std::istream & | operator>> (std::istream &in, edwards_ate_G1_precomp &prec_P) |
edwards_Fq6 | edwards_final_exponentiation_last_chunk (const edwards_Fq6 &elt, const edwards_Fq6 &elt_inv) |
edwards_Fq6 | edwards_final_exponentiation_first_chunk (const edwards_Fq6 &elt, const edwards_Fq6 &elt_inv) |
edwards_GT | edwards_final_exponentiation (const edwards_Fq6 &elt) |
edwards_tate_G2_precomp | edwards_tate_precompute_G2 (const edwards_G2 &Q) |
void | doubling_step_for_miller_loop (extended_edwards_G1_projective ¤t, edwards_Fq_conic_coefficients &cc) |
void | full_addition_step_for_miller_loop (const extended_edwards_G1_projective &base, extended_edwards_G1_projective ¤t, edwards_Fq_conic_coefficients &cc) |
void | mixed_addition_step_for_miller_loop (const extended_edwards_G1_projective &base, extended_edwards_G1_projective ¤t, edwards_Fq_conic_coefficients &cc) |
edwards_tate_G1_precomp | edwards_tate_precompute_G1 (const edwards_G1 &P) |
edwards_Fq6 | edwards_tate_miller_loop (const edwards_tate_G1_precomp &prec_P, const edwards_tate_G2_precomp &prec_Q) |
edwards_Fq6 | edwards_tate_pairing (const edwards_G1 &P, const edwards_G2 &Q) |
edwards_GT | edwards_tate_reduced_pairing (const edwards_G1 &P, const edwards_G2 &Q) |
void | doubling_step_for_flipped_miller_loop (extended_edwards_G2_projective ¤t, edwards_Fq3_conic_coefficients &cc) |
void | full_addition_step_for_flipped_miller_loop (const extended_edwards_G2_projective &base, extended_edwards_G2_projective ¤t, edwards_Fq3_conic_coefficients &cc) |
void | mixed_addition_step_for_flipped_miller_loop (const extended_edwards_G2_projective &base, extended_edwards_G2_projective ¤t, edwards_Fq3_conic_coefficients &cc) |
edwards_ate_G1_precomp | edwards_ate_precompute_G1 (const edwards_G1 &P) |
edwards_ate_G2_precomp | edwards_ate_precompute_G2 (const edwards_G2 &Q) |
edwards_Fq6 | edwards_ate_miller_loop (const edwards_ate_G1_precomp &prec_P, const edwards_ate_G2_precomp &prec_Q) |
edwards_Fq6 | edwards_ate_double_miller_loop (const edwards_ate_G1_precomp &prec_P1, const edwards_ate_G2_precomp &prec_Q1, const edwards_ate_G1_precomp &prec_P2, const edwards_ate_G2_precomp &prec_Q2) |
edwards_Fq6 | edwards_ate_pairing (const edwards_G1 &P, const edwards_G2 &Q) |
edwards_GT | edwards_ate_reduced_pairing (const edwards_G1 &P, const edwards_G2 &Q) |
edwards_G1_precomp | edwards_precompute_G1 (const edwards_G1 &P) |
edwards_G2_precomp | edwards_precompute_G2 (const edwards_G2 &Q) |
edwards_Fq6 | edwards_miller_loop (const edwards_G1_precomp &prec_P, const edwards_G2_precomp &prec_Q) |
edwards_Fq6 | edwards_double_miller_loop (const edwards_G1_precomp &prec_P1, const edwards_G2_precomp &prec_Q1, const edwards_G1_precomp &prec_P2, const edwards_G2_precomp &prec_Q2) |
edwards_Fq6 | edwards_pairing (const edwards_G1 &P, const edwards_G2 &Q) |
edwards_GT | edwards_reduced_pairing (const edwards_G1 &P, const edwards_G2 &Q) |
std::ostream & | operator<< (std::ostream &out, const mnt4_G1 &g) |
std::istream & | operator>> (std::istream &in, mnt4_G1 &g) |
std::ostream & | operator<< (std::ostream &out, const std::vector< mnt4_G1 > &v) |
std::istream & | operator>> (std::istream &in, std::vector< mnt4_G1 > &v) |
template<mp_size_t m> | |
mnt4_G1 | operator* (const bigint< m > &lhs, const mnt4_G1 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
mnt4_G1 | operator* (const Fp_model< m, modulus_p > &lhs, const mnt4_G1 &rhs) |
std::ostream & | operator<< (std::ostream &out, const mnt4_G2 &g) |
std::istream & | operator>> (std::istream &in, mnt4_G2 &g) |
template<mp_size_t m> | |
mnt4_G2 | operator* (const bigint< m > &lhs, const mnt4_G2 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
mnt4_G2 | operator* (const Fp_model< m, modulus_p > &lhs, const mnt4_G2 &rhs) |
void | init_mnt4_params () |
std::ostream & | operator<< (std::ostream &out, const mnt4_ate_G1_precomp &prec_P) |
std::istream & | operator>> (std::istream &in, mnt4_ate_G1_precomp &prec_P) |
std::ostream & | operator<< (std::ostream &out, const mnt4_ate_dbl_coeffs &dc) |
std::istream & | operator>> (std::istream &in, mnt4_ate_dbl_coeffs &dc) |
std::ostream & | operator<< (std::ostream &out, const mnt4_ate_add_coeffs &ac) |
std::istream & | operator>> (std::istream &in, mnt4_ate_add_coeffs &ac) |
std::ostream & | operator<< (std::ostream &out, const mnt4_ate_G2_precomp &prec_Q) |
std::istream & | operator>> (std::istream &in, mnt4_ate_G2_precomp &prec_Q) |
mnt4_Fq4 | mnt4_final_exponentiation_last_chunk (const mnt4_Fq4 &elt, const mnt4_Fq4 &elt_inv) |
mnt4_Fq4 | mnt4_final_exponentiation_first_chunk (const mnt4_Fq4 &elt, const mnt4_Fq4 &elt_inv) |
mnt4_GT | mnt4_final_exponentiation (const mnt4_Fq4 &elt) |
mnt4_affine_ate_G1_precomputation | mnt4_affine_ate_precompute_G1 (const mnt4_G1 &P) |
mnt4_affine_ate_G2_precomputation | mnt4_affine_ate_precompute_G2 (const mnt4_G2 &Q) |
mnt4_Fq4 | mnt4_affine_ate_miller_loop (const mnt4_affine_ate_G1_precomputation &prec_P, const mnt4_affine_ate_G2_precomputation &prec_Q) |
void | doubling_step_for_flipped_miller_loop (extended_mnt4_G2_projective ¤t, mnt4_ate_dbl_coeffs &dc) |
void | mixed_addition_step_for_flipped_miller_loop (const mnt4_Fq2 base_X, const mnt4_Fq2 base_Y, const mnt4_Fq2 base_Y_squared, extended_mnt4_G2_projective ¤t, mnt4_ate_add_coeffs &ac) |
mnt4_ate_G1_precomp | mnt4_ate_precompute_G1 (const mnt4_G1 &P) |
mnt4_ate_G2_precomp | mnt4_ate_precompute_G2 (const mnt4_G2 &Q) |
mnt4_Fq4 | mnt4_ate_miller_loop (const mnt4_ate_G1_precomp &prec_P, const mnt4_ate_G2_precomp &prec_Q) |
mnt4_Fq4 | mnt4_ate_double_miller_loop (const mnt4_ate_G1_precomp &prec_P1, const mnt4_ate_G2_precomp &prec_Q1, const mnt4_ate_G1_precomp &prec_P2, const mnt4_ate_G2_precomp &prec_Q2) |
mnt4_Fq4 | mnt4_ate_pairing (const mnt4_G1 &P, const mnt4_G2 &Q) |
mnt4_GT | mnt4_ate_reduced_pairing (const mnt4_G1 &P, const mnt4_G2 &Q) |
mnt4_G1_precomp | mnt4_precompute_G1 (const mnt4_G1 &P) |
mnt4_G2_precomp | mnt4_precompute_G2 (const mnt4_G2 &Q) |
mnt4_Fq4 | mnt4_miller_loop (const mnt4_G1_precomp &prec_P, const mnt4_G2_precomp &prec_Q) |
mnt4_Fq4 | mnt4_double_miller_loop (const mnt4_G1_precomp &prec_P1, const mnt4_G2_precomp &prec_Q1, const mnt4_G1_precomp &prec_P2, const mnt4_G2_precomp &prec_Q2) |
mnt4_Fq4 | mnt4_pairing (const mnt4_G1 &P, const mnt4_G2 &Q) |
mnt4_GT | mnt4_reduced_pairing (const mnt4_G1 &P, const mnt4_G2 &Q) |
mnt4_GT | mnt4_affine_reduced_pairing (const mnt4_G1 &P, const mnt4_G2 &Q) |
std::ostream & | operator<< (std::ostream &out, const mnt6_G1 &g) |
std::istream & | operator>> (std::istream &in, mnt6_G1 &g) |
std::ostream & | operator<< (std::ostream &out, const std::vector< mnt6_G1 > &v) |
std::istream & | operator>> (std::istream &in, std::vector< mnt6_G1 > &v) |
template<mp_size_t m> | |
mnt6_G1 | operator* (const bigint< m > &lhs, const mnt6_G1 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
mnt6_G1 | operator* (const Fp_model< m, modulus_p > &lhs, const mnt6_G1 &rhs) |
std::ostream & | operator<< (std::ostream &out, const mnt6_G2 &g) |
std::istream & | operator>> (std::istream &in, mnt6_G2 &g) |
template<mp_size_t m> | |
mnt6_G2 | operator* (const bigint< m > &lhs, const mnt6_G2 &rhs) |
template<mp_size_t m, const bigint< m > & modulus_p> | |
mnt6_G2 | operator* (const Fp_model< m, modulus_p > &lhs, const mnt6_G2 &rhs) |
void | init_mnt6_params () |
std::ostream & | operator<< (std::ostream &out, const mnt6_ate_G1_precomp &prec_P) |
std::istream & | operator>> (std::istream &in, mnt6_ate_G1_precomp &prec_P) |
std::ostream & | operator<< (std::ostream &out, const mnt6_ate_dbl_coeffs &dc) |
std::istream & | operator>> (std::istream &in, mnt6_ate_dbl_coeffs &dc) |
std::ostream & | operator<< (std::ostream &out, const mnt6_ate_add_coeffs &ac) |
std::istream & | operator>> (std::istream &in, mnt6_ate_add_coeffs &ac) |
std::ostream & | operator<< (std::ostream &out, const mnt6_ate_G2_precomp &prec_Q) |
std::istream & | operator>> (std::istream &in, mnt6_ate_G2_precomp &prec_Q) |
mnt6_Fq6 | mnt6_final_exponentiation_last_chunk (const mnt6_Fq6 &elt, const mnt6_Fq6 &elt_inv) |
mnt6_Fq6 | mnt6_final_exponentiation_first_chunk (const mnt6_Fq6 &elt, const mnt6_Fq6 &elt_inv) |
mnt6_GT | mnt6_final_exponentiation (const mnt6_Fq6 &elt) |
mnt6_affine_ate_G1_precomputation | mnt6_affine_ate_precompute_G1 (const mnt6_G1 &P) |
mnt6_affine_ate_G2_precomputation | mnt6_affine_ate_precompute_G2 (const mnt6_G2 &Q) |
mnt6_Fq6 | mnt6_affine_ate_miller_loop (const mnt6_affine_ate_G1_precomputation &prec_P, const mnt6_affine_ate_G2_precomputation &prec_Q) |
void | doubling_step_for_flipped_miller_loop (extended_mnt6_G2_projective ¤t, mnt6_ate_dbl_coeffs &dc) |
void | mixed_addition_step_for_flipped_miller_loop (const mnt6_Fq3 base_X, const mnt6_Fq3 base_Y, const mnt6_Fq3 base_Y_squared, extended_mnt6_G2_projective ¤t, mnt6_ate_add_coeffs &ac) |
mnt6_ate_G1_precomp | mnt6_ate_precompute_G1 (const mnt6_G1 &P) |
mnt6_ate_G2_precomp | mnt6_ate_precompute_G2 (const mnt6_G2 &Q) |
mnt6_Fq6 | mnt6_ate_miller_loop (const mnt6_ate_G1_precomp &prec_P, const mnt6_ate_G2_precomp &prec_Q) |
mnt6_Fq6 | mnt6_ate_double_miller_loop (const mnt6_ate_G1_precomp &prec_P1, const mnt6_ate_G2_precomp &prec_Q1, const mnt6_ate_G1_precomp &prec_P2, const mnt6_ate_G2_precomp &prec_Q2) |
mnt6_Fq6 | mnt6_ate_pairing (const mnt6_G1 &P, const mnt6_G2 &Q) |
mnt6_GT | mnt6_ate_reduced_pairing (const mnt6_G1 &P, const mnt6_G2 &Q) |
mnt6_G1_precomp | mnt6_precompute_G1 (const mnt6_G1 &P) |
mnt6_G2_precomp | mnt6_precompute_G2 (const mnt6_G2 &Q) |
mnt6_Fq6 | mnt6_miller_loop (const mnt6_G1_precomp &prec_P, const mnt6_G2_precomp &prec_Q) |
mnt6_Fq6 | mnt6_double_miller_loop (const mnt6_G1_precomp &prec_P1, const mnt6_G2_precomp &prec_Q1, const mnt6_G1_precomp &prec_P2, const mnt6_G2_precomp &prec_Q2) |
mnt6_Fq6 | mnt6_pairing (const mnt6_G1 &P, const mnt6_G2 &Q) |
mnt6_GT | mnt6_reduced_pairing (const mnt6_G1 &P, const mnt6_G2 &Q) |
mnt6_GT | mnt6_affine_reduced_pairing (const mnt6_G1 &P, const mnt6_G2 &Q) |
template<typename FieldT , mp_size_t m> | |
FieldT | power (const FieldT &base, const bigint< m > &exponent) |
template<typename FieldT > | |
FieldT | power (const FieldT &base, const unsigned long exponent) |
template<mp_size_t n> | |
std::ostream & | operator<< (std::ostream &out, const bigint< n > &b) |
template<mp_size_t n> | |
std::istream & | operator>> (std::istream &in, bigint< n > &b) |
template<typename FieldT > | |
std::enable_if< std::is_same< FieldT, Double >::value, FieldT >::type | get_root_of_unity (const size_t n) |
template<typename FieldT > | |
std::enable_if<!std::is_same< FieldT, Double >::value, FieldT >::type | get_root_of_unity (const size_t n) |
template<typename FieldT > | |
std::vector< FieldT > | pack_int_vector_into_field_element_vector (const std::vector< size_t > &v, const size_t w) |
template<typename FieldT > | |
std::vector< FieldT > | pack_bit_vector_into_field_element_vector (const bit_vector &v, const size_t chunk_bits) |
template<typename FieldT > | |
std::vector< FieldT > | pack_bit_vector_into_field_element_vector (const bit_vector &v) |
template<typename FieldT > | |
std::vector< FieldT > | convert_bit_vector_to_field_element_vector (const bit_vector &v) |
template<typename FieldT > | |
bit_vector | convert_field_element_vector_to_bit_vector (const std::vector< FieldT > &v) |
template<typename FieldT > | |
bit_vector | convert_field_element_to_bit_vector (const FieldT &el) |
template<typename FieldT > | |
bit_vector | convert_field_element_to_bit_vector (const FieldT &el, const size_t bitcount) |
template<typename FieldT > | |
FieldT | convert_bit_vector_to_field_element (const bit_vector &v) |
template<typename FieldT > | |
void | batch_invert (std::vector< FieldT > &vec) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &, const Fp_model< n, modulus > &) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, Fp_model< n, modulus > &p) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &, const Fp12_2over3over2_model< n, modulus > &) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, Fp12_2over3over2_model< n, modulus > &el) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &out, const std::vector< Fp12_2over3over2_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, std::vector< Fp12_2over3over2_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp12_2over3over2_model< n, modulus > | operator* (const Fp_model< n, modulus > &lhs, const Fp12_2over3over2_model< n, modulus > &rhs) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp12_2over3over2_model< n, modulus > | operator* (const Fp2_model< n, modulus > &lhs, const Fp12_2over3over2_model< n, modulus > &rhs) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp12_2over3over2_model< n, modulus > | operator* (const Fp6_3over2_model< n, modulus > &lhs, const Fp12_2over3over2_model< n, modulus > &rhs) |
template<mp_size_t n, const bigint< n > & modulus, mp_size_t m> | |
Fp12_2over3over2_model< n, modulus > | operator^ (const Fp12_2over3over2_model< n, modulus > &self, const bigint< m > &exponent) |
template<mp_size_t n, const bigint< n > & modulus, mp_size_t m, const bigint< m > & exp_modulus> | |
Fp12_2over3over2_model< n, modulus > | operator^ (const Fp12_2over3over2_model< n, modulus > &self, const Fp_model< m, exp_modulus > &exponent) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &, const Fp2_model< n, modulus > &) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, Fp2_model< n, modulus > &el) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &out, const std::vector< Fp2_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, std::vector< Fp2_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp2_model< n, modulus > | operator* (const Fp_model< n, modulus > &lhs, const Fp2_model< n, modulus > &rhs) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &, const Fp3_model< n, modulus > &) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, Fp3_model< n, modulus > &el) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &out, const std::vector< Fp3_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, std::vector< Fp3_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp3_model< n, modulus > | operator* (const Fp_model< n, modulus > &lhs, const Fp3_model< n, modulus > &rhs) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &, const Fp4_model< n, modulus > &) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, Fp4_model< n, modulus > &el) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp4_model< n, modulus > | operator* (const Fp_model< n, modulus > &lhs, const Fp4_model< n, modulus > &rhs) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp4_model< n, modulus > | operator* (const Fp2_model< n, modulus > &lhs, const Fp4_model< n, modulus > &rhs) |
template<mp_size_t n, const bigint< n > & modulus, mp_size_t m> | |
Fp4_model< n, modulus > | operator^ (const Fp4_model< n, modulus > &self, const bigint< m > &exponent) |
template<mp_size_t n, const bigint< n > & modulus, mp_size_t m, const bigint< m > & modulus_p> | |
Fp4_model< n, modulus > | operator^ (const Fp4_model< n, modulus > &self, const Fp_model< m, modulus_p > &exponent) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &, const Fp6_2over3_model< n, modulus > &) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, Fp6_2over3_model< n, modulus > &el) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &out, const std::vector< Fp6_2over3_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, std::vector< Fp6_2over3_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp6_2over3_model< n, modulus > | operator* (const Fp_model< n, modulus > &lhs, const Fp6_2over3_model< n, modulus > &rhs) |
template<mp_size_t n, const bigint< n > & modulus, mp_size_t m> | |
Fp6_2over3_model< n, modulus > | operator^ (const Fp6_2over3_model< n, modulus > &self, const bigint< m > &exponent) |
template<mp_size_t n, const bigint< n > & modulus, mp_size_t m, const bigint< m > & exp_modulus> | |
Fp6_2over3_model< n, modulus > | operator^ (const Fp6_2over3_model< n, modulus > &self, const Fp_model< m, exp_modulus > &exponent) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &, const Fp6_3over2_model< n, modulus > &) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, Fp6_3over2_model< n, modulus > &el) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::ostream & | operator<< (std::ostream &out, const std::vector< Fp6_3over2_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
std::istream & | operator>> (std::istream &in, std::vector< Fp6_3over2_model< n, modulus > > &v) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp6_3over2_model< n, modulus > | operator* (const Fp_model< n, modulus > &lhs, const Fp6_3over2_model< n, modulus > &rhs) |
template<mp_size_t n, const bigint< n > & modulus> | |
Fp6_3over2_model< n, modulus > | operator* (const Fp2_model< n, modulus > &lhs, const Fp6_3over2_model< n, modulus > &rhs) |
template<typename T , typename FieldT , multi_exp_method Method> | |
T | multi_exp (typename std::vector< T >::const_iterator vec_start, typename std::vector< T >::const_iterator vec_end, typename std::vector< FieldT >::const_iterator scalar_start, typename std::vector< FieldT >::const_iterator scalar_end, const size_t chunks) |
template<typename T , typename FieldT , multi_exp_method Method> | |
T | multi_exp_with_mixed_addition (typename std::vector< T >::const_iterator vec_start, typename std::vector< T >::const_iterator vec_end, typename std::vector< FieldT >::const_iterator scalar_start, typename std::vector< FieldT >::const_iterator scalar_end, const size_t chunks) |
template<typename T > | |
T | inner_product (typename std::vector< T >::const_iterator a_start, typename std::vector< T >::const_iterator a_end, typename std::vector< T >::const_iterator b_start, typename std::vector< T >::const_iterator b_end) |
template<typename T > | |
size_t | get_exp_window_size (const size_t num_scalars) |
template<typename T > | |
window_table< T > | get_window_table (const size_t scalar_size, const size_t window, const T &g) |
template<typename T , typename FieldT > | |
T | windowed_exp (const size_t scalar_size, const size_t window, const window_table< T > &powers_of_g, const FieldT &pow) |
template<typename T , typename FieldT > | |
std::vector< T > | batch_exp (const size_t scalar_size, const size_t window, const window_table< T > &table, const std::vector< FieldT > &v) |
template<typename T , typename FieldT > | |
std::vector< T > | batch_exp_with_coeff (const size_t scalar_size, const size_t window, const window_table< T > &table, const FieldT &coeff, const std::vector< FieldT > &v) |
template<typename T > | |
void | batch_to_special (std::vector< T > &vec) |
template<mp_size_t n> | |
std::vector< long > | find_wnaf (const size_t window_size, const bigint< n > &scalar) |
template<typename T , mp_size_t n> | |
T | fixed_window_wnaf_exp (const size_t window_size, const T &base, const bigint< n > &scalar) |
template<typename T , mp_size_t n> | |
T | opt_window_wnaf_exp (const T &base, const bigint< n > &scalar, const size_t scalar_bits) |
long long | get_nsec_time () |
long long | get_nsec_cpu_time () |
void | start_profiling () |
void | clear_profiling_counters () |
void | print_cumulative_time_entry (const std::string &key, const long long factor) |
void | print_cumulative_times (const long long factor) |
void | print_cumulative_op_counts (const bool only_fq) |
void | print_op_profiling (const std::string &msg) |
void | print_time (const char *msg) |
void | print_header (const char *msg) |
void | print_indent () |
void | op_profiling_enter (const std::string &msg) |
void | enter_block (const std::string &msg, const bool indent) |
void | leave_block (const std::string &msg, const bool indent) |
void | print_mem (const std::string &s) |
void | print_compilation_info () |
template<typename FieldT > | |
FieldT | SHA512_rng (const uint64_t idx) |
void | consume_newline (std::istream &in) |
void | consume_OUTPUT_NEWLINE (std::istream &in) |
void | consume_OUTPUT_SEPARATOR (std::istream &in) |
void | output_bool (std::ostream &out, const bool b) |
void | input_bool (std::istream &in, bool &b) |
void | output_bool_vector (std::ostream &out, const std::vector< bool > &v) |
void | input_bool_vector (std::istream &in, std::vector< bool > &v) |
template<typename T > | |
T | reserialize (const T &obj) |
template<typename T > | |
std::ostream & | operator<< (std::ostream &out, const std::vector< T > &v) |
template<typename T > | |
std::istream & | operator>> (std::ostream &out, std::vector< T > &v) |
template<typename T1 , typename T2 > | |
std::ostream & | operator<< (std::ostream &out, const std::map< T1, T2 > &m) |
template<typename T1 , typename T2 > | |
std::istream & | operator>> (std::istream &in, std::map< T1, T2 > &m) |
template<typename T > | |
std::ostream & | operator<< (std::ostream &out, const std::set< T > &s) |
template<typename T > | |
std::istream & | operator>> (std::istream &in, std::set< T > &s) |
size_t | get_power_of_two (size_t n) |
size_t | log2 (size_t n) |
returns ceil(log2(n)), so 1ul<<log2(n) is the smallest power of 2, that is not less than n | |
size_t | to_twos_complement (int i, size_t w) |
int | from_twos_complement (size_t i, size_t w) |
size_t | bitreverse (size_t n, const size_t l) |
bit_vector | int_list_to_bits (const std::initializer_list< unsigned long > &l, const size_t wordsize) |
long long | div_ceil (long long x, long long y) |
bool | is_little_endian () |
std::string | FORMAT (const std::string &prefix, const char *format,...) |
void | serialize_bit_vector (std::ostream &out, const bit_vector &v) |
void | deserialize_bit_vector (std::istream &in, bit_vector &v) |
size_t | exp2 (size_t k) |
template<typename ... Types> | |
void | UNUSED (Types &&...) |
template<typename T > | |
size_t | size_in_bits (const std::vector< T > &v) |
using libff::affine_ate_G1_precomp = typename EC_ppT::affine_ate_G1_precomp_type |
Definition at line 82 of file public_params.hpp.
using libff::affine_ate_G2_precomp = typename EC_ppT::affine_ate_G2_precomp_type |
Definition at line 84 of file public_params.hpp.
Definition at line 28 of file alt_bn128_init.hpp.
Definition at line 31 of file alt_bn128_init.hpp.
Definition at line 29 of file alt_bn128_init.hpp.
Definition at line 30 of file alt_bn128_init.hpp.
Definition at line 27 of file alt_bn128_init.hpp.
Definition at line 68 of file alt_bn128_pairing.hpp.
Definition at line 69 of file alt_bn128_pairing.hpp.
typedef alt_bn128_Fq12 libff::alt_bn128_GT |
Definition at line 32 of file alt_bn128_init.hpp.
typedef std::vector<bool> libff::bit_vector |
typedef bn::Fp6 libff::bn128_ate_ell_coeffs |
Definition at line 29 of file bn128_pairing.hpp.
typedef Fp_model<bn128_q_limbs, bn128_modulus_q> libff::bn128_Fq |
Definition at line 37 of file bn128_init.hpp.
typedef bn128_GT libff::bn128_Fq12 |
Definition at line 44 of file bn128_init.hpp.
typedef Fp_model<bn128_r_limbs, bn128_modulus_r> libff::bn128_Fr |
Definition at line 36 of file bn128_init.hpp.
typedef std::vector<edwards_Fq3_conic_coefficients> libff::edwards_ate_G2_precomp |
Definition at line 70 of file edwards_pairing.hpp.
Definition at line 27 of file edwards_init.hpp.
Definition at line 28 of file edwards_init.hpp.
Definition at line 29 of file edwards_init.hpp.
Definition at line 26 of file edwards_init.hpp.
Definition at line 102 of file edwards_pairing.hpp.
Definition at line 103 of file edwards_pairing.hpp.
typedef edwards_Fq6 libff::edwards_GT |
Definition at line 30 of file edwards_init.hpp.
typedef std::vector<edwards_Fq_conic_coefficients> libff::edwards_tate_G1_precomp |
Definition at line 35 of file edwards_pairing.hpp.
using libff::Fq = typename EC_ppT::Fq_type |
Definition at line 86 of file public_params.hpp.
using libff::Fqe = typename EC_ppT::Fqe_type |
Definition at line 88 of file public_params.hpp.
using libff::Fqk = typename EC_ppT::Fqk_type |
Definition at line 90 of file public_params.hpp.
using libff::Fr = typename EC_ppT::Fp_type |
Definition at line 72 of file public_params.hpp.
using libff::Fr_vector = std::vector<Fr<EC_ppT> > |
Definition at line 95 of file public_params.hpp.
using libff::G1 = typename EC_ppT::G1_type |
Definition at line 74 of file public_params.hpp.
using libff::G1_precomp = typename EC_ppT::G1_precomp_type |
Definition at line 78 of file public_params.hpp.
using libff::G1_vector = std::vector<G1<EC_ppT> > |
Definition at line 97 of file public_params.hpp.
using libff::G2 = typename EC_ppT::G2_type |
Definition at line 76 of file public_params.hpp.
using libff::G2_precomp = typename EC_ppT::G2_precomp_type |
Definition at line 80 of file public_params.hpp.
using libff::G2_vector = std::vector<G2<EC_ppT> > |
Definition at line 99 of file public_params.hpp.
using libff::GT = typename EC_ppT::GT_type |
Definition at line 92 of file public_params.hpp.
typedef Fp_model<mnt4_q_limbs, mnt4_modulus_q> libff::mnt4_Fq |
Definition at line 36 of file mnt4_init.hpp.
typedef Fp2_model<mnt4_q_limbs, mnt4_modulus_q> libff::mnt4_Fq2 |
Definition at line 37 of file mnt4_init.hpp.
typedef Fp4_model<mnt4_q_limbs, mnt4_modulus_q> libff::mnt4_Fq4 |
Definition at line 38 of file mnt4_init.hpp.
typedef Fp_model<mnt4_r_limbs, mnt4_modulus_r> libff::mnt4_Fr |
Definition at line 35 of file mnt4_init.hpp.
Definition at line 122 of file mnt4_pairing.hpp.
Definition at line 123 of file mnt4_pairing.hpp.
typedef mnt4_Fq4 libff::mnt4_GT |
Definition at line 39 of file mnt4_init.hpp.
typedef Fp_model<mnt6_q_limbs, mnt6_modulus_q> libff::mnt6_Fq |
Definition at line 36 of file mnt6_init.hpp.
typedef Fp3_model<mnt6_q_limbs, mnt6_modulus_q> libff::mnt6_Fq3 |
Definition at line 37 of file mnt6_init.hpp.
Definition at line 38 of file mnt6_init.hpp.
typedef Fp_model<mnt6_r_limbs, mnt6_modulus_r> libff::mnt6_Fr |
Definition at line 35 of file mnt6_init.hpp.
Definition at line 122 of file mnt6_pairing.hpp.
Definition at line 123 of file mnt6_pairing.hpp.
typedef mnt6_Fq6 libff::mnt6_GT |
Definition at line 39 of file mnt6_init.hpp.
using libff::window_table = std::vector<std::vector<T> > |
A window table stores window sizes for different instance sizes for fixed-base multi-scalar multiplications.
Definition at line 91 of file multiexp.hpp.
Enumerator | |
---|---|
multi_exp_method_naive | Naive multi-exponentiation individually multiplies each base by the corresponding scalar and adds up the results. multi_exp_method_naive uses opt_window_wnaf_exp for exponentiation, while multi_exp_method_plain uses operator *. |
multi_exp_method_naive_plain | |
multi_exp_method_bos_coster | A variant of the Bos-Coster algorithm [1], with implementation suggestions from [2]. [1] = Bos and Coster, "Addition chain heuristics", CRYPTO '89 [2] = Bernstein, Duif, Lange, Schwabe, and Yang, "High-speed high-security signatures", CHES '11 |
multi_exp_method_BDLO12 | A special case of Pippenger's algorithm from Page 15 of Bernstein, Doumen, Lange, Oosterwijk, "Faster batch forgery identification", INDOCRYPT 2012 (https://eprint.iacr.org/2012/549.pdf) When compiled with USE_MIXED_ADDITION, assumes input is in special form. Requires that T implements .dbl() (and, if USE_MIXED_ADDITION is defined, .to_special(), .mixed_add(), and batch_to_special()). |
Definition at line 20 of file multiexp.hpp.
alt_bn128_GT libff::alt_bn128_affine_reduced_pairing | ( | const alt_bn128_G1 & | P, |
const alt_bn128_G2 & | Q ) |
alt_bn128_Fq12 libff::alt_bn128_ate_double_miller_loop | ( | const alt_bn128_ate_G1_precomp & | prec_P1, |
const alt_bn128_ate_G2_precomp & | prec_Q1, | ||
const alt_bn128_ate_G1_precomp & | prec_P2, | ||
const alt_bn128_ate_G2_precomp & | prec_Q2 ) |
Definition at line 422 of file alt_bn128_pairing.cpp.
alt_bn128_Fq12 libff::alt_bn128_ate_miller_loop | ( | const alt_bn128_ate_G1_precomp & | prec_P, |
const alt_bn128_ate_G2_precomp & | prec_Q ) |
Definition at line 368 of file alt_bn128_pairing.cpp.
alt_bn128_Fq12 libff::alt_bn128_ate_pairing | ( | const alt_bn128_G1 & | P, |
const alt_bn128_G2 & | Q ) |
Definition at line 491 of file alt_bn128_pairing.cpp.
alt_bn128_ate_G1_precomp libff::alt_bn128_ate_precompute_G1 | ( | const alt_bn128_G1 & | P | ) |
Definition at line 290 of file alt_bn128_pairing.cpp.
alt_bn128_ate_G2_precomp libff::alt_bn128_ate_precompute_G2 | ( | const alt_bn128_G2 & | Q | ) |
Definition at line 305 of file alt_bn128_pairing.cpp.
alt_bn128_GT libff::alt_bn128_ate_reduced_pairing | ( | const alt_bn128_G1 & | P, |
const alt_bn128_G2 & | Q ) |
Definition at line 501 of file alt_bn128_pairing.cpp.
alt_bn128_Fq12 libff::alt_bn128_double_miller_loop | ( | const alt_bn128_G1_precomp & | prec_P1, |
const alt_bn128_G2_precomp & | prec_Q1, | ||
const alt_bn128_G1_precomp & | prec_P2, | ||
const alt_bn128_G2_precomp & | prec_Q2 ) |
Definition at line 528 of file alt_bn128_pairing.cpp.
alt_bn128_Fq12 libff::alt_bn128_exp_by_neg_z | ( | const alt_bn128_Fq12 & | elt | ) |
Definition at line 137 of file alt_bn128_pairing.cpp.
alt_bn128_GT libff::alt_bn128_final_exponentiation | ( | const alt_bn128_Fq12 & | elt | ) |
Definition at line 226 of file alt_bn128_pairing.cpp.
alt_bn128_Fq12 libff::alt_bn128_final_exponentiation_first_chunk | ( | const alt_bn128_Fq12 & | elt | ) |
Definition at line 110 of file alt_bn128_pairing.cpp.
alt_bn128_Fq12 libff::alt_bn128_final_exponentiation_last_chunk | ( | const alt_bn128_Fq12 & | elt | ) |
Definition at line 152 of file alt_bn128_pairing.cpp.
alt_bn128_Fq12 libff::alt_bn128_miller_loop | ( | const alt_bn128_G1_precomp & | prec_P, |
const alt_bn128_G2_precomp & | prec_Q ) |
Definition at line 522 of file alt_bn128_pairing.cpp.
alt_bn128_Fq12 libff::alt_bn128_pairing | ( | const alt_bn128_G1 & | P, |
const alt_bn128_G2 & | Q ) |
Definition at line 536 of file alt_bn128_pairing.cpp.
alt_bn128_G1_precomp libff::alt_bn128_precompute_G1 | ( | const alt_bn128_G1 & | P | ) |
Definition at line 512 of file alt_bn128_pairing.cpp.
alt_bn128_G2_precomp libff::alt_bn128_precompute_G2 | ( | const alt_bn128_G2 & | Q | ) |
Definition at line 517 of file alt_bn128_pairing.cpp.
alt_bn128_GT libff::alt_bn128_reduced_pairing | ( | const alt_bn128_G1 & | P, |
const alt_bn128_G2 & | Q ) |
Definition at line 542 of file alt_bn128_pairing.cpp.
std::vector< T > libff::batch_exp | ( | const size_t | scalar_size, |
const size_t | window, | ||
const window_table< T > & | table, | ||
const std::vector< FieldT > & | v ) |
std::vector< T > libff::batch_exp_with_coeff | ( | const size_t | scalar_size, |
const size_t | window, | ||
const window_table< T > & | table, | ||
const FieldT & | coeff, | ||
const std::vector< FieldT > & | v ) |
void libff::batch_invert | ( | std::vector< FieldT > & | vec | ) |
size_t libff::bitreverse | ( | size_t | n, |
const size_t | l ) |
bn128_Fq12 libff::bn128_ate_miller_loop | ( | const bn128_ate_G1_precomp & | prec_P, |
const bn128_ate_G2_precomp & | prec_Q ) |
Definition at line 190 of file bn128_pairing.cpp.
bn128_ate_G1_precomp libff::bn128_ate_precompute_G1 | ( | const bn128_G1 & | P | ) |
Definition at line 164 of file bn128_pairing.cpp.
bn128_ate_G2_precomp libff::bn128_ate_precompute_G2 | ( | const bn128_G2 & | Q | ) |
Definition at line 177 of file bn128_pairing.cpp.
bn128_Fq12 libff::bn128_double_ate_miller_loop | ( | const bn128_ate_G1_precomp & | prec_P1, |
const bn128_ate_G2_precomp & | prec_Q1, | ||
const bn128_ate_G1_precomp & | prec_P2, | ||
const bn128_ate_G2_precomp & | prec_Q2 ) |
Definition at line 198 of file bn128_pairing.cpp.
bn128_GT libff::bn128_final_exponentiation | ( | const bn128_Fq12 & | elt | ) |
Definition at line 208 of file bn128_pairing.cpp.
void libff::bn_batch_invert | ( | std::vector< FieldT > & | vec | ) |
void libff::clear_profiling_counters | ( | ) |
Definition at line 98 of file profiling.cpp.
|
inline |
|
inline |
|
inline |
FieldT libff::convert_bit_vector_to_field_element | ( | const bit_vector & | v | ) |
std::vector< FieldT > libff::convert_bit_vector_to_field_element_vector | ( | const bit_vector & | v | ) |
bit_vector libff::convert_field_element_to_bit_vector | ( | const FieldT & | el | ) |
bit_vector libff::convert_field_element_to_bit_vector | ( | const FieldT & | el, |
const size_t | bitcount ) |
bit_vector libff::convert_field_element_vector_to_bit_vector | ( | const std::vector< FieldT > & | v | ) |
void libff::deserialize_bit_vector | ( | std::istream & | in, |
bit_vector & | v ) |
long long libff::div_ceil | ( | long long | x, |
long long | y ) |
void libff::doubling_step_for_flipped_miller_loop | ( | const alt_bn128_Fq | two_inv, |
alt_bn128_G2 & | current, | ||
alt_bn128_ate_ell_coeffs & | c ) |
Definition at line 241 of file alt_bn128_pairing.cpp.
void libff::doubling_step_for_flipped_miller_loop | ( | extended_edwards_G2_projective & | current, |
edwards_Fq3_conic_coefficients & | cc ) |
Definition at line 471 of file edwards_pairing.cpp.
void libff::doubling_step_for_flipped_miller_loop | ( | extended_mnt4_G2_projective & | current, |
mnt4_ate_dbl_coeffs & | dc ) |
Definition at line 410 of file mnt4_pairing.cpp.
void libff::doubling_step_for_flipped_miller_loop | ( | extended_mnt6_G2_projective & | current, |
mnt6_ate_dbl_coeffs & | dc ) |
Definition at line 416 of file mnt6_pairing.cpp.
void libff::doubling_step_for_miller_loop | ( | extended_edwards_G1_projective & | current, |
edwards_Fq_conic_coefficients & | cc ) |
Definition at line 253 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_ate_double_miller_loop | ( | const edwards_ate_G1_precomp & | prec_P1, |
const edwards_ate_G2_precomp & | prec_Q1, | ||
const edwards_ate_G1_precomp & | prec_P2, | ||
const edwards_ate_G2_precomp & | prec_Q2 ) |
Definition at line 669 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_ate_miller_loop | ( | const edwards_ate_G1_precomp & | prec_P, |
const edwards_ate_G2_precomp & | prec_Q ) |
Definition at line 628 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_ate_pairing | ( | const edwards_G1 & | P, |
const edwards_G2 & | Q ) |
Definition at line 722 of file edwards_pairing.cpp.
edwards_ate_G1_precomp libff::edwards_ate_precompute_G1 | ( | const edwards_G1 & | P | ) |
Definition at line 573 of file edwards_pairing.cpp.
edwards_ate_G2_precomp libff::edwards_ate_precompute_G2 | ( | const edwards_G2 & | Q | ) |
Definition at line 586 of file edwards_pairing.cpp.
edwards_GT libff::edwards_ate_reduced_pairing | ( | const edwards_G1 & | P, |
const edwards_G2 & | Q ) |
Definition at line 732 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_double_miller_loop | ( | const edwards_G1_precomp & | prec_P1, |
const edwards_G2_precomp & | prec_Q1, | ||
const edwards_G1_precomp & | prec_P2, | ||
const edwards_G2_precomp & | prec_Q2 ) |
Definition at line 757 of file edwards_pairing.cpp.
edwards_GT libff::edwards_final_exponentiation | ( | const edwards_Fq6 & | elt | ) |
Definition at line 207 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_final_exponentiation_first_chunk | ( | const edwards_Fq6 & | elt, |
const edwards_Fq6 & | elt_inv ) |
Definition at line 189 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_final_exponentiation_last_chunk | ( | const edwards_Fq6 & | elt, |
const edwards_Fq6 & | elt_inv ) |
Definition at line 171 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_miller_loop | ( | const edwards_G1_precomp & | prec_P, |
const edwards_G2_precomp & | prec_Q ) |
Definition at line 751 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_pairing | ( | const edwards_G1 & | P, |
const edwards_G2 & | Q ) |
Definition at line 765 of file edwards_pairing.cpp.
edwards_G1_precomp libff::edwards_precompute_G1 | ( | const edwards_G1 & | P | ) |
Definition at line 741 of file edwards_pairing.cpp.
edwards_G2_precomp libff::edwards_precompute_G2 | ( | const edwards_G2 & | Q | ) |
Definition at line 746 of file edwards_pairing.cpp.
edwards_GT libff::edwards_reduced_pairing | ( | const edwards_G1 & | P, |
const edwards_G2 & | Q ) |
Definition at line 771 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_tate_miller_loop | ( | const edwards_tate_G1_precomp & | prec_P, |
const edwards_tate_G2_precomp & | prec_Q ) |
Definition at line 391 of file edwards_pairing.cpp.
edwards_Fq6 libff::edwards_tate_pairing | ( | const edwards_G1 & | P, |
const edwards_G2 & | Q ) |
Definition at line 431 of file edwards_pairing.cpp.
edwards_tate_G1_precomp libff::edwards_tate_precompute_G1 | ( | const edwards_G1 & | P | ) |
Definition at line 346 of file edwards_pairing.cpp.
edwards_tate_G2_precomp libff::edwards_tate_precompute_G2 | ( | const edwards_G2 & | Q | ) |
Definition at line 219 of file edwards_pairing.cpp.
edwards_GT libff::edwards_tate_reduced_pairing | ( | const edwards_G1 & | P, |
const edwards_G2 & | Q ) |
Definition at line 441 of file edwards_pairing.cpp.
void libff::enter_block | ( | const std::string & | msg, |
const bool | indent ) |
Definition at line 245 of file profiling.cpp.
|
inline |
std::vector< long > libff::find_wnaf | ( | const size_t | window_size, |
const bigint< n > & | scalar ) |
Find the wNAF representation of the given scalar relative to the given window size.
T libff::fixed_window_wnaf_exp | ( | const size_t | window_size, |
const T & | base, | ||
const bigint< n > & | scalar ) |
In additive notation, use wNAF exponentiation (with the given window size) to compute scalar * base.
std::string libff::FORMAT | ( | const std::string & | prefix, |
const char * | format, | ||
... ) |
int libff::from_twos_complement | ( | size_t | i, |
size_t | w ) |
void libff::full_addition_step_for_flipped_miller_loop | ( | const extended_edwards_G2_projective & | base, |
extended_edwards_G2_projective & | current, | ||
edwards_Fq3_conic_coefficients & | cc ) |
Definition at line 508 of file edwards_pairing.cpp.
void libff::full_addition_step_for_miller_loop | ( | const extended_edwards_G1_projective & | base, |
extended_edwards_G1_projective & | current, | ||
edwards_Fq_conic_coefficients & | cc ) |
Definition at line 286 of file edwards_pairing.cpp.
size_t libff::get_exp_window_size | ( | const size_t | num_scalars | ) |
Compute window size for the given number of scalars.
long long libff::get_nsec_cpu_time | ( | ) |
Definition at line 39 of file profiling.cpp.
long long libff::get_nsec_time | ( | ) |
Definition at line 32 of file profiling.cpp.
size_t libff::get_power_of_two | ( | size_t | n | ) |
std::enable_if< std::is_same< FieldT, Double >::value, FieldT >::type libff::get_root_of_unity | ( | const size_t | n | ) |
std::enable_if<!std::is_same< FieldT, Double >::value, FieldT >::type libff::get_root_of_unity | ( | const size_t | n | ) |
window_table< T > libff::get_window_table | ( | const size_t | scalar_size, |
const size_t | window, | ||
const T & | g ) |
Compute table of window sizes.
void libff::init_alt_bn128_params | ( | ) |
Definition at line 31 of file alt_bn128_init.cpp.
void libff::init_bn128_params | ( | ) |
Definition at line 28 of file bn128_init.cpp.
void libff::init_edwards_params | ( | ) |
Definition at line 37 of file edwards_init.cpp.
void libff::init_mnt4_params | ( | ) |
Definition at line 40 of file mnt4_init.cpp.
void libff::init_mnt6_params | ( | ) |
Definition at line 42 of file mnt6_init.cpp.
T libff::inner_product | ( | typename std::vector< T >::const_iterator | a_start, |
typename std::vector< T >::const_iterator | a_end, | ||
typename std::vector< T >::const_iterator | b_start, | ||
typename std::vector< T >::const_iterator | b_end ) |
A convenience function for calculating a pure inner product, where the more complicated methods are not required.
|
inline |
|
inline |
bit_vector libff::int_list_to_bits | ( | const std::initializer_list< unsigned long > & | l, |
const size_t | wordsize ) |
bool libff::is_little_endian | ( | ) |
void libff::leave_block | ( | const std::string & | msg, |
const bool | indent ) |
Definition at line 282 of file profiling.cpp.
size_t libff::log2 | ( | size_t | n | ) |
void libff::mixed_addition_step_for_flipped_miller_loop | ( | const alt_bn128_G2 | base, |
alt_bn128_G2 & | current, | ||
alt_bn128_ate_ell_coeffs & | c ) |
Definition at line 267 of file alt_bn128_pairing.cpp.
void libff::mixed_addition_step_for_flipped_miller_loop | ( | const extended_edwards_G2_projective & | base, |
extended_edwards_G2_projective & | current, | ||
edwards_Fq3_conic_coefficients & | cc ) |
Definition at line 541 of file edwards_pairing.cpp.
void libff::mixed_addition_step_for_flipped_miller_loop | ( | const mnt4_Fq2 | base_X, |
const mnt4_Fq2 | base_Y, | ||
const mnt4_Fq2 | base_Y_squared, | ||
extended_mnt4_G2_projective & | current, | ||
mnt4_ate_add_coeffs & | ac ) |
Definition at line 438 of file mnt4_pairing.cpp.
void libff::mixed_addition_step_for_flipped_miller_loop | ( | const mnt6_Fq3 | base_X, |
const mnt6_Fq3 | base_Y, | ||
const mnt6_Fq3 | base_Y_squared, | ||
extended_mnt6_G2_projective & | current, | ||
mnt6_ate_add_coeffs & | ac ) |
Definition at line 444 of file mnt6_pairing.cpp.
void libff::mixed_addition_step_for_miller_loop | ( | const extended_edwards_G1_projective & | base, |
extended_edwards_G1_projective & | current, | ||
edwards_Fq_conic_coefficients & | cc ) |
Definition at line 316 of file edwards_pairing.cpp.
mnt4_Fq4 libff::mnt4_affine_ate_miller_loop | ( | const mnt4_affine_ate_G1_precomputation & | prec_P, |
const mnt4_affine_ate_G2_precomputation & | prec_Q ) |
Definition at line 323 of file mnt4_pairing.cpp.
mnt4_affine_ate_G1_precomputation libff::mnt4_affine_ate_precompute_G1 | ( | const mnt4_G1 & | P | ) |
Definition at line 227 of file mnt4_pairing.cpp.
mnt4_affine_ate_G2_precomputation libff::mnt4_affine_ate_precompute_G2 | ( | const mnt4_G2 & | Q | ) |
Definition at line 243 of file mnt4_pairing.cpp.
Definition at line 731 of file mnt4_pairing.cpp.
mnt4_Fq4 libff::mnt4_ate_double_miller_loop | ( | const mnt4_ate_G1_precomp & | prec_P1, |
const mnt4_ate_G2_precomp & | prec_Q1, | ||
const mnt4_ate_G1_precomp & | prec_P2, | ||
const mnt4_ate_G2_precomp & | prec_Q2 ) |
Definition at line 600 of file mnt4_pairing.cpp.
mnt4_Fq4 libff::mnt4_ate_miller_loop | ( | const mnt4_ate_G1_precomp & | prec_P, |
const mnt4_ate_G2_precomp & | prec_Q ) |
Definition at line 544 of file mnt4_pairing.cpp.
Definition at line 676 of file mnt4_pairing.cpp.
mnt4_ate_G1_precomp libff::mnt4_ate_precompute_G1 | ( | const mnt4_G1 & | P | ) |
Definition at line 466 of file mnt4_pairing.cpp.
mnt4_ate_G2_precomp libff::mnt4_ate_precompute_G2 | ( | const mnt4_G2 & | Q | ) |
Definition at line 483 of file mnt4_pairing.cpp.
Definition at line 686 of file mnt4_pairing.cpp.
mnt4_Fq4 libff::mnt4_double_miller_loop | ( | const mnt4_G1_precomp & | prec_P1, |
const mnt4_G2_precomp & | prec_Q1, | ||
const mnt4_G1_precomp & | prec_P2, | ||
const mnt4_G2_precomp & | prec_Q2 ) |
Definition at line 711 of file mnt4_pairing.cpp.
Definition at line 213 of file mnt4_pairing.cpp.
mnt4_Fq4 libff::mnt4_final_exponentiation_first_chunk | ( | const mnt4_Fq4 & | elt, |
const mnt4_Fq4 & | elt_inv ) |
Definition at line 198 of file mnt4_pairing.cpp.
mnt4_Fq4 libff::mnt4_final_exponentiation_last_chunk | ( | const mnt4_Fq4 & | elt, |
const mnt4_Fq4 & | elt_inv ) |
Definition at line 180 of file mnt4_pairing.cpp.
mnt4_Fq4 libff::mnt4_miller_loop | ( | const mnt4_G1_precomp & | prec_P, |
const mnt4_G2_precomp & | prec_Q ) |
Definition at line 705 of file mnt4_pairing.cpp.
Definition at line 719 of file mnt4_pairing.cpp.
mnt4_G1_precomp libff::mnt4_precompute_G1 | ( | const mnt4_G1 & | P | ) |
Definition at line 695 of file mnt4_pairing.cpp.
mnt4_G2_precomp libff::mnt4_precompute_G2 | ( | const mnt4_G2 & | Q | ) |
Definition at line 700 of file mnt4_pairing.cpp.
Definition at line 725 of file mnt4_pairing.cpp.
mnt6_Fq6 libff::mnt6_affine_ate_miller_loop | ( | const mnt6_affine_ate_G1_precomputation & | prec_P, |
const mnt6_affine_ate_G2_precomputation & | prec_Q ) |
Definition at line 328 of file mnt6_pairing.cpp.
mnt6_affine_ate_G1_precomputation libff::mnt6_affine_ate_precompute_G1 | ( | const mnt6_G1 & | P | ) |
Definition at line 232 of file mnt6_pairing.cpp.
mnt6_affine_ate_G2_precomputation libff::mnt6_affine_ate_precompute_G2 | ( | const mnt6_G2 & | Q | ) |
Definition at line 248 of file mnt6_pairing.cpp.
Definition at line 743 of file mnt6_pairing.cpp.
mnt6_Fq6 libff::mnt6_ate_double_miller_loop | ( | const mnt6_ate_G1_precomp & | prec_P1, |
const mnt6_ate_G2_precomp & | prec_Q1, | ||
const mnt6_ate_G1_precomp & | prec_P2, | ||
const mnt6_ate_G2_precomp & | prec_Q2 ) |
Definition at line 611 of file mnt6_pairing.cpp.
mnt6_Fq6 libff::mnt6_ate_miller_loop | ( | const mnt6_ate_G1_precomp & | prec_P, |
const mnt6_ate_G2_precomp & | prec_Q ) |
Definition at line 553 of file mnt6_pairing.cpp.
Definition at line 688 of file mnt6_pairing.cpp.
mnt6_ate_G1_precomp libff::mnt6_ate_precompute_G1 | ( | const mnt6_G1 & | P | ) |
Definition at line 472 of file mnt6_pairing.cpp.
mnt6_ate_G2_precomp libff::mnt6_ate_precompute_G2 | ( | const mnt6_G2 & | Q | ) |
Definition at line 489 of file mnt6_pairing.cpp.
Definition at line 698 of file mnt6_pairing.cpp.
mnt6_Fq6 libff::mnt6_double_miller_loop | ( | const mnt6_G1_precomp & | prec_P1, |
const mnt6_G2_precomp & | prec_Q1, | ||
const mnt6_G1_precomp & | prec_P2, | ||
const mnt6_G2_precomp & | prec_Q2 ) |
Definition at line 723 of file mnt6_pairing.cpp.
Definition at line 218 of file mnt6_pairing.cpp.
mnt6_Fq6 libff::mnt6_final_exponentiation_first_chunk | ( | const mnt6_Fq6 & | elt, |
const mnt6_Fq6 & | elt_inv ) |
Definition at line 200 of file mnt6_pairing.cpp.
mnt6_Fq6 libff::mnt6_final_exponentiation_last_chunk | ( | const mnt6_Fq6 & | elt, |
const mnt6_Fq6 & | elt_inv ) |
Definition at line 182 of file mnt6_pairing.cpp.
mnt6_Fq6 libff::mnt6_miller_loop | ( | const mnt6_G1_precomp & | prec_P, |
const mnt6_G2_precomp & | prec_Q ) |
Definition at line 717 of file mnt6_pairing.cpp.
Definition at line 731 of file mnt6_pairing.cpp.
mnt6_G1_precomp libff::mnt6_precompute_G1 | ( | const mnt6_G1 & | P | ) |
Definition at line 707 of file mnt6_pairing.cpp.
mnt6_G2_precomp libff::mnt6_precompute_G2 | ( | const mnt6_G2 & | Q | ) |
Definition at line 712 of file mnt6_pairing.cpp.
Definition at line 737 of file mnt6_pairing.cpp.
T libff::multi_exp | ( | typename std::vector< T >::const_iterator | vec_start, |
typename std::vector< T >::const_iterator | vec_end, | ||
typename std::vector< FieldT >::const_iterator | scalar_start, | ||
typename std::vector< FieldT >::const_iterator | scalar_end, | ||
const size_t | chunks ) |
Computes the sum \sum_i scalar_start[i] * vec_start[i] using the selected method. Input is split into the given number of chunks, and, when compiled with MULTICORE, the chunks are processed in parallel.
T libff::multi_exp_with_mixed_addition | ( | typename std::vector< T >::const_iterator | vec_start, |
typename std::vector< T >::const_iterator | vec_end, | ||
typename std::vector< FieldT >::const_iterator | scalar_start, | ||
typename std::vector< FieldT >::const_iterator | scalar_end, | ||
const size_t | chunks ) |
A variant of multi_exp that takes advantage of the method mixed_add (instead of the operator '+'). Assumes input is in special form, and includes special pre-processing for scalars equal to 0 or 1.
void libff::op_profiling_enter | ( | const std::string & | msg | ) |
Definition at line 237 of file profiling.cpp.
alt_bn128_G1 libff::operator* | ( | const bigint< m > & | lhs, |
const alt_bn128_G1 & | rhs ) |
Definition at line 79 of file alt_bn128_g1.hpp.
alt_bn128_G2 libff::operator* | ( | const bigint< m > & | lhs, |
const alt_bn128_G2 & | rhs ) |
Definition at line 83 of file alt_bn128_g2.hpp.
Definition at line 83 of file bn128_g1.hpp.
Definition at line 84 of file bn128_g2.hpp.
edwards_G1 libff::operator* | ( | const bigint< m > & | lhs, |
const edwards_G1 & | rhs ) |
Definition at line 81 of file edwards_g1.hpp.
edwards_G2 libff::operator* | ( | const bigint< m > & | lhs, |
const edwards_G2 & | rhs ) |
Definition at line 87 of file edwards_g2.hpp.
Definition at line 87 of file mnt4_g1.hpp.
Definition at line 92 of file mnt4_g2.hpp.
Definition at line 87 of file mnt6_g1.hpp.
Definition at line 92 of file mnt6_g2.hpp.
Fp12_2over3over2_model< n, modulus > libff::operator* | ( | const Fp2_model< n, modulus > & | lhs, |
const Fp12_2over3over2_model< n, modulus > & | rhs ) |
Fp4_model< n, modulus > libff::operator* | ( | const Fp2_model< n, modulus > & | lhs, |
const Fp4_model< n, modulus > & | rhs ) |
Fp6_3over2_model< n, modulus > libff::operator* | ( | const Fp2_model< n, modulus > & | lhs, |
const Fp6_3over2_model< n, modulus > & | rhs ) |
Fp12_2over3over2_model< n, modulus > libff::operator* | ( | const Fp6_3over2_model< n, modulus > & | lhs, |
const Fp12_2over3over2_model< n, modulus > & | rhs ) |
alt_bn128_G1 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const alt_bn128_G1 & | rhs ) |
Definition at line 85 of file alt_bn128_g1.hpp.
alt_bn128_G2 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const alt_bn128_G2 & | rhs ) |
bn128_G1 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const bn128_G1 & | rhs ) |
bn128_G2 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const bn128_G2 & | rhs ) |
edwards_G1 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const edwards_G1 & | rhs ) |
edwards_G2 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const edwards_G2 & | rhs ) |
mnt4_G1 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const mnt4_G1 & | rhs ) |
mnt4_G2 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const mnt4_G2 & | rhs ) |
mnt6_G1 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const mnt6_G1 & | rhs ) |
mnt6_G2 libff::operator* | ( | const Fp_model< m, modulus_p > & | lhs, |
const mnt6_G2 & | rhs ) |
Fp12_2over3over2_model< n, modulus > libff::operator* | ( | const Fp_model< n, modulus > & | lhs, |
const Fp12_2over3over2_model< n, modulus > & | rhs ) |
Fp2_model< n, modulus > libff::operator* | ( | const Fp_model< n, modulus > & | lhs, |
const Fp2_model< n, modulus > & | rhs ) |
Fp3_model< n, modulus > libff::operator* | ( | const Fp_model< n, modulus > & | lhs, |
const Fp3_model< n, modulus > & | rhs ) |
Fp4_model< n, modulus > libff::operator* | ( | const Fp_model< n, modulus > & | lhs, |
const Fp4_model< n, modulus > & | rhs ) |
Fp6_2over3_model< n, modulus > libff::operator* | ( | const Fp_model< n, modulus > & | lhs, |
const Fp6_2over3_model< n, modulus > & | rhs ) |
Fp6_3over2_model< n, modulus > libff::operator* | ( | const Fp_model< n, modulus > & | lhs, |
const Fp6_3over2_model< n, modulus > & | rhs ) |
std::ostream & libff::operator<< | ( | std::ostream & | , |
const Fp12_2over3over2_model< n, modulus > & | ) |
std::ostream & libff::operator<< | ( | std::ostream & | , |
const Fp2_model< n, modulus > & | ) |
std::ostream & libff::operator<< | ( | std::ostream & | , |
const Fp3_model< n, modulus > & | ) |
std::ostream & libff::operator<< | ( | std::ostream & | , |
const Fp4_model< n, modulus > & | ) |
std::ostream & libff::operator<< | ( | std::ostream & | , |
const Fp6_2over3_model< n, modulus > & | ) |
std::ostream & libff::operator<< | ( | std::ostream & | , |
const Fp6_3over2_model< n, modulus > & | ) |
std::ostream & libff::operator<< | ( | std::ostream & | , |
const Fp_model< n, modulus > & | ) |
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const alt_bn128_ate_ell_coeffs & | c ) |
Definition at line 47 of file alt_bn128_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const alt_bn128_ate_G1_precomp & | prec_P ) |
Definition at line 24 of file alt_bn128_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const alt_bn128_ate_G2_precomp & | prec_Q ) |
Definition at line 71 of file alt_bn128_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const alt_bn128_G1 & | g ) |
Definition at line 408 of file alt_bn128_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const alt_bn128_G2 & | g ) |
Definition at line 422 of file alt_bn128_g2.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const bigint< n > & | b ) |
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const bn128_ate_G1_precomp & | prec_P ) |
Definition at line 29 of file bn128_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const bn128_ate_G2_precomp & | prec_Q ) |
Definition at line 81 of file bn128_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const bn128_G1 & | g ) |
Definition at line 355 of file bn128_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const bn128_G2 & | g ) |
Definition at line 386 of file bn128_g2.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const bn128_GT & | g ) |
Definition at line 47 of file bn128_gt.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const edwards_ate_G1_precomp & | prec_P ) |
Definition at line 156 of file edwards_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const edwards_ate_G2_precomp & | prec_Q ) |
Definition at line 116 of file edwards_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const edwards_Fq3_conic_coefficients & | cc ) |
Definition at line 100 of file edwards_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const edwards_Fq_conic_coefficients & | cc ) |
Definition at line 25 of file edwards_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const edwards_G1 & | g ) |
Definition at line 307 of file edwards_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const edwards_G2 & | g ) |
Definition at line 339 of file edwards_g2.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const edwards_tate_G1_precomp & | prec_P ) |
Definition at line 41 of file edwards_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const edwards_tate_G2_precomp & | prec_Q ) |
Definition at line 79 of file edwards_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt4_ate_add_coeffs & | ac ) |
Definition at line 86 of file mnt4_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt4_ate_dbl_coeffs & | dc ) |
Definition at line 61 of file mnt4_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt4_ate_G1_precomp & | prec_P ) |
Definition at line 33 of file mnt4_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt4_ate_G2_precomp & | prec_Q ) |
Definition at line 111 of file mnt4_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt4_G1 & | g ) |
Definition at line 393 of file mnt4_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt4_G2 & | g ) |
Definition at line 417 of file mnt4_g2.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt6_ate_add_coeffs & | ac ) |
Definition at line 86 of file mnt6_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt6_ate_dbl_coeffs & | dc ) |
Definition at line 61 of file mnt6_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt6_ate_G1_precomp & | prec_P ) |
Definition at line 33 of file mnt6_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt6_ate_G2_precomp & | prec_Q ) |
Definition at line 113 of file mnt6_pairing.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt6_G1 & | g ) |
Definition at line 393 of file mnt6_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const mnt6_G2 & | g ) |
Definition at line 424 of file mnt6_g2.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::map< T1, T2 > & | m ) |
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::set< T > & | s ) |
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< alt_bn128_G1 > & | v ) |
Definition at line 471 of file alt_bn128_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< bn128_G1 > & | v ) |
Definition at line 476 of file bn128_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< edwards_G1 > & | v ) |
Definition at line 364 of file edwards_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< Fp12_2over3over2_model< n, modulus > > & | v ) |
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< Fp2_model< n, modulus > > & | v ) |
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< Fp3_model< n, modulus > > & | v ) |
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< Fp6_2over3_model< n, modulus > > & | v ) |
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< Fp6_3over2_model< n, modulus > > & | v ) |
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< mnt4_G1 > & | v ) |
Definition at line 456 of file mnt4_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< mnt6_G1 > & | v ) |
Definition at line 456 of file mnt6_g1.cpp.
std::ostream & libff::operator<< | ( | std::ostream & | out, |
const std::vector< T > & | v ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
alt_bn128_ate_ell_coeffs & | c ) |
Definition at line 53 of file alt_bn128_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
alt_bn128_ate_G1_precomp & | prec_P ) |
Definition at line 31 of file alt_bn128_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
alt_bn128_ate_G2_precomp & | prec_Q ) |
Definition at line 82 of file alt_bn128_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
alt_bn128_G1 & | g ) |
Definition at line 424 of file alt_bn128_g1.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
alt_bn128_G2 & | g ) |
Definition at line 437 of file alt_bn128_g2.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
bigint< n > & | b ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
bn128_ate_G1_precomp & | prec_P ) |
Definition at line 42 of file bn128_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
bn128_ate_G2_precomp & | prec_Q ) |
Definition at line 118 of file bn128_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
bn128_G1 & | g ) |
Definition at line 415 of file bn128_g1.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
bn128_G2 & | g ) |
Definition at line 419 of file bn128_g2.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
bn128_GT & | g ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
edwards_ate_G1_precomp & | prec_P ) |
Definition at line 163 of file edwards_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
edwards_ate_G2_precomp & | prec_Q ) |
Definition at line 127 of file edwards_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
edwards_Fq3_conic_coefficients & | cc ) |
Definition at line 106 of file edwards_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
edwards_Fq_conic_coefficients & | cc ) |
Definition at line 31 of file edwards_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
edwards_G1 & | g ) |
Definition at line 321 of file edwards_g1.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
edwards_G2 & | g ) |
Definition at line 352 of file edwards_g2.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
edwards_tate_G1_precomp & | prec_P ) |
Definition at line 52 of file edwards_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
edwards_tate_G2_precomp & | prec_Q ) |
Definition at line 85 of file edwards_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
Fp12_2over3over2_model< n, modulus > & | el ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
Fp2_model< n, modulus > & | el ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
Fp3_model< n, modulus > & | el ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
Fp4_model< n, modulus > & | el ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
Fp6_2over3_model< n, modulus > & | el ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
Fp6_3over2_model< n, modulus > & | el ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
Fp_model< n, modulus > & | p ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt4_ate_add_coeffs & | ac ) |
Definition at line 92 of file mnt4_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt4_ate_dbl_coeffs & | dc ) |
Definition at line 67 of file mnt4_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt4_ate_G1_precomp & | prec_P ) |
Definition at line 40 of file mnt4_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt4_ate_G2_precomp & | prec_Q ) |
Definition at line 132 of file mnt4_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt4_G1 & | g ) |
Definition at line 409 of file mnt4_g1.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt4_G2 & | g ) |
Definition at line 433 of file mnt4_g2.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt6_ate_add_coeffs & | ac ) |
Definition at line 92 of file mnt6_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt6_ate_dbl_coeffs & | dc ) |
Definition at line 67 of file mnt6_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt6_ate_G1_precomp & | prec_P ) |
Definition at line 40 of file mnt6_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt6_ate_G2_precomp & | prec_Q ) |
Definition at line 134 of file mnt6_pairing.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt6_G1 & | g ) |
Definition at line 409 of file mnt6_g1.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
mnt6_G2 & | g ) |
Definition at line 440 of file mnt6_g2.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
std::map< T1, T2 > & | m ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< alt_bn128_G1 > & | v ) |
Definition at line 482 of file alt_bn128_g1.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< bn128_G1 > & | v ) |
Definition at line 486 of file bn128_g1.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< edwards_G1 > & | v ) |
Definition at line 375 of file edwards_g1.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< Fp12_2over3over2_model< n, modulus > > & | v ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< Fp2_model< n, modulus > > & | v ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< Fp3_model< n, modulus > > & | v ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< Fp6_2over3_model< n, modulus > > & | v ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< Fp6_3over2_model< n, modulus > > & | v ) |
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< mnt4_G1 > & | v ) |
Definition at line 467 of file mnt4_g1.cpp.
std::istream & libff::operator>> | ( | std::istream & | in, |
std::vector< mnt6_G1 > & | v ) |
Definition at line 467 of file mnt6_g1.cpp.
Definition at line 44 of file bn128_gt.hpp.
bn128_GT libff::operator^ | ( | const bn128_GT & | rhs, |
const Fp_model< m, modulus_p > & | lhs ) |
Fp12_2over3over2_model< n, modulus > libff::operator^ | ( | const Fp12_2over3over2_model< n, modulus > & | self, |
const bigint< m > & | exponent ) |
Fp12_2over3over2_model< n, modulus > libff::operator^ | ( | const Fp12_2over3over2_model< n, modulus > & | self, |
const Fp_model< m, exp_modulus > & | exponent ) |
Fp4_model< n, modulus > libff::operator^ | ( | const Fp4_model< n, modulus > & | self, |
const bigint< m > & | exponent ) |
Fp4_model< n, modulus > libff::operator^ | ( | const Fp4_model< n, modulus > & | self, |
const Fp_model< m, modulus_p > & | exponent ) |
Fp6_2over3_model< n, modulus > libff::operator^ | ( | const Fp6_2over3_model< n, modulus > & | self, |
const bigint< m > & | exponent ) |
Fp6_2over3_model< n, modulus > libff::operator^ | ( | const Fp6_2over3_model< n, modulus > & | self, |
const Fp_model< m, exp_modulus > & | exponent ) |
T libff::opt_window_wnaf_exp | ( | const T & | base, |
const bigint< n > & | scalar, | ||
const size_t | scalar_bits ) |
In additive notation, use wNAF exponentiation (with the window size determined by T) to compute scalar * base.
|
inline |
|
inline |
std::vector< FieldT > libff::pack_bit_vector_into_field_element_vector | ( | const bit_vector & | v | ) |
std::vector< FieldT > libff::pack_bit_vector_into_field_element_vector | ( | const bit_vector & | v, |
const size_t | chunk_bits ) |
std::vector< FieldT > libff::pack_int_vector_into_field_element_vector | ( | const std::vector< size_t > & | v, |
const size_t | w ) |
FieldT libff::power | ( | const FieldT & | base, |
const bigint< m > & | exponent ) |
FieldT libff::power | ( | const FieldT & | base, |
const unsigned long | exponent ) |
void libff::print_compilation_info | ( | ) |
Definition at line 351 of file profiling.cpp.
void libff::print_cumulative_op_counts | ( | const bool | only_fq | ) |
Definition at line 123 of file profiling.cpp.
void libff::print_cumulative_time_entry | ( | const std::string & | key, |
const long long | factor ) |
Definition at line 106 of file profiling.cpp.
void libff::print_cumulative_times | ( | const long long | factor | ) |
Definition at line 114 of file profiling.cpp.
void libff::print_header | ( | const char * | msg | ) |
Definition at line 222 of file profiling.cpp.
void libff::print_indent | ( | ) |
void libff::print_mem | ( | const std::string & | s | ) |
Definition at line 333 of file profiling.cpp.
void libff::print_op_profiling | ( | const std::string & | msg | ) |
Definition at line 155 of file profiling.cpp.
void libff::print_time | ( | const char * | msg | ) |
Definition at line 200 of file profiling.cpp.
GroupT libff::scalar_mul | ( | const GroupT & | base, |
const bigint< m > & | scalar ) |
void libff::serialize_bit_vector | ( | std::ostream & | out, |
const bit_vector & | v ) |
FieldT libff::SHA512_rng | ( | const uint64_t | idx | ) |
void libff::start_profiling | ( | ) |
Definition at line 56 of file profiling.cpp.
size_t libff::to_twos_complement | ( | int | i, |
size_t | w ) |
void libff::UNUSED | ( | Types && | ... | ) |
T libff::windowed_exp | ( | const size_t | scalar_size, |
const size_t | window, | ||
const window_table< T > & | powers_of_g, | ||
const FieldT & | pow ) |
bool libff::alt_bn128_ate_is_loop_count_neg |
Definition at line 26 of file alt_bn128_init.cpp.
bigint< alt_bn128_q_limbs > libff::alt_bn128_ate_loop_count |
Definition at line 25 of file alt_bn128_init.cpp.
alt_bn128_Fq libff::alt_bn128_coeff_b |
Definition at line 17 of file alt_bn128_init.cpp.
bigint< 12 *alt_bn128_q_limbs > libff::alt_bn128_final_exponent |
Definition at line 27 of file alt_bn128_init.cpp.
bool libff::alt_bn128_final_exponent_is_z_neg |
Definition at line 29 of file alt_bn128_init.cpp.
bigint< alt_bn128_q_limbs > libff::alt_bn128_final_exponent_z |
Definition at line 28 of file alt_bn128_init.cpp.
bigint< alt_bn128_q_limbs > libff::alt_bn128_modulus_q |
Definition at line 15 of file alt_bn128_init.cpp.
bigint< alt_bn128_r_limbs > libff::alt_bn128_modulus_r |
Definition at line 14 of file alt_bn128_init.cpp.
const mp_size_t libff::alt_bn128_q_bitcount = 254 |
Definition at line 19 of file alt_bn128_init.hpp.
const mp_size_t libff::alt_bn128_q_limbs = (alt_bn128_q_bitcount+GMP_NUMB_BITS-1)/GMP_NUMB_BITS |
Definition at line 22 of file alt_bn128_init.hpp.
const mp_size_t libff::alt_bn128_r_bitcount = 254 |
Definition at line 18 of file alt_bn128_init.hpp.
const mp_size_t libff::alt_bn128_r_limbs = (alt_bn128_r_bitcount+GMP_NUMB_BITS-1)/GMP_NUMB_BITS |
Definition at line 21 of file alt_bn128_init.hpp.
alt_bn128_Fq2 libff::alt_bn128_twist |
Definition at line 18 of file alt_bn128_init.cpp.
alt_bn128_Fq2 libff::alt_bn128_twist_coeff_b |
Definition at line 19 of file alt_bn128_init.cpp.
alt_bn128_Fq libff::alt_bn128_twist_mul_by_b_c0 |
Definition at line 20 of file alt_bn128_init.cpp.
alt_bn128_Fq libff::alt_bn128_twist_mul_by_b_c1 |
Definition at line 21 of file alt_bn128_init.cpp.
alt_bn128_Fq2 libff::alt_bn128_twist_mul_by_q_X |
Definition at line 22 of file alt_bn128_init.cpp.
alt_bn128_Fq2 libff::alt_bn128_twist_mul_by_q_Y |
Definition at line 23 of file alt_bn128_init.cpp.
std::vector<std::string> libff::block_names |
Definition at line 76 of file profiling.cpp.
bn::Fp libff::bn128_coeff_b |
Definition at line 18 of file bn128_init.cpp.
bn::Fp2 libff::bn128_Fq2_nqr_to_t |
Definition at line 25 of file bn128_init.cpp.
size_t libff::bn128_Fq2_s |
Definition at line 24 of file bn128_init.cpp.
mie::Vuint libff::bn128_Fq2_t_minus_1_over_2 |
Definition at line 26 of file bn128_init.cpp.
bn::Fp libff::bn128_Fq_nqr_to_t |
Definition at line 20 of file bn128_init.cpp.
size_t libff::bn128_Fq_s |
Definition at line 19 of file bn128_init.cpp.
mie::Vuint libff::bn128_Fq_t_minus_1_over_2 |
Definition at line 21 of file bn128_init.cpp.
bigint< bn128_q_limbs > libff::bn128_modulus_q |
Definition at line 16 of file bn128_init.cpp.
bigint< bn128_r_limbs > libff::bn128_modulus_r |
Definition at line 15 of file bn128_init.cpp.
const mp_size_t libff::bn128_q_bitcount = 254 |
Definition at line 18 of file bn128_init.hpp.
const mp_size_t libff::bn128_q_limbs = (bn128_q_bitcount+GMP_NUMB_BITS-1)/GMP_NUMB_BITS |
Definition at line 21 of file bn128_init.hpp.
const mp_size_t libff::bn128_r_bitcount = 254 |
Definition at line 17 of file bn128_init.hpp.
const mp_size_t libff::bn128_r_limbs = (bn128_r_bitcount+GMP_NUMB_BITS-1)/GMP_NUMB_BITS |
Definition at line 20 of file bn128_init.hpp.
bn::Fp2 libff::bn128_twist_coeff_b |
Definition at line 23 of file bn128_init.cpp.
std::map<std::pair<std::string, std::string>, long long> libff::cumulative_op_counts |
Definition at line 72 of file profiling.cpp.
std::map< std::string, long long > libff::cumulative_times |
Definition at line 67 of file profiling.cpp.
bigint< edwards_q_limbs > libff::edwards_ate_loop_count |
Definition at line 31 of file edwards_init.cpp.
edwards_Fq libff::edwards_coeff_a |
Definition at line 17 of file edwards_init.cpp.
edwards_Fq libff::edwards_coeff_d |
Definition at line 18 of file edwards_init.cpp.
bigint< 6 *edwards_q_limbs > libff::edwards_final_exponent |
Definition at line 32 of file edwards_init.cpp.
bigint< edwards_q_limbs > libff::edwards_final_exponent_last_chunk_abs_of_w0 |
Definition at line 33 of file edwards_init.cpp.
bool libff::edwards_final_exponent_last_chunk_is_w0_neg |
Definition at line 34 of file edwards_init.cpp.
bigint< edwards_q_limbs > libff::edwards_final_exponent_last_chunk_w1 |
Definition at line 35 of file edwards_init.cpp.
bigint< edwards_q_limbs > libff::edwards_modulus_q |
Definition at line 15 of file edwards_init.cpp.
bigint< edwards_r_limbs > libff::edwards_modulus_r |
Definition at line 14 of file edwards_init.cpp.
const mp_size_t libff::edwards_q_bitcount = 183 |
Definition at line 18 of file edwards_init.hpp.
const mp_size_t libff::edwards_q_limbs = (edwards_q_bitcount+GMP_NUMB_BITS-1)/GMP_NUMB_BITS |
Definition at line 21 of file edwards_init.hpp.
const mp_size_t libff::edwards_r_bitcount = 181 |
Definition at line 17 of file edwards_init.hpp.
const mp_size_t libff::edwards_r_limbs = (edwards_r_bitcount+GMP_NUMB_BITS-1)/GMP_NUMB_BITS |
Definition at line 20 of file edwards_init.hpp.
edwards_Fq3 libff::edwards_twist |
Definition at line 19 of file edwards_init.cpp.
edwards_Fq3 libff::edwards_twist_coeff_a |
Definition at line 20 of file edwards_init.cpp.
edwards_Fq3 libff::edwards_twist_coeff_d |
Definition at line 21 of file edwards_init.cpp.
edwards_Fq libff::edwards_twist_mul_by_a_c0 |
Definition at line 22 of file edwards_init.cpp.
edwards_Fq libff::edwards_twist_mul_by_a_c1 |
Definition at line 23 of file edwards_init.cpp.
edwards_Fq libff::edwards_twist_mul_by_a_c2 |
Definition at line 24 of file edwards_init.cpp.
edwards_Fq libff::edwards_twist_mul_by_d_c0 |
Definition at line 25 of file edwards_init.cpp.
edwards_Fq libff::edwards_twist_mul_by_d_c1 |
Definition at line 26 of file edwards_init.cpp.
edwards_Fq libff::edwards_twist_mul_by_d_c2 |
Definition at line 27 of file edwards_init.cpp.
edwards_Fq libff::edwards_twist_mul_by_q_Y |
Definition at line 28 of file edwards_init.cpp.
edwards_Fq libff::edwards_twist_mul_by_q_Z |
Definition at line 29 of file edwards_init.cpp.
std::map<std::string, long long> libff::enter_cpu_times |
Definition at line 69 of file profiling.cpp.
std::map<std::string, long long> libff::enter_times |
Definition at line 65 of file profiling.cpp.
size_t libff::indentation = 0 |
Definition at line 74 of file profiling.cpp.
bool libff::inhibit_profiling_counters = false |
Definition at line 96 of file profiling.cpp.
bool libff::inhibit_profiling_info = false |
Definition at line 95 of file profiling.cpp.
std::map< std::string, size_t > libff::invocation_counts |
Definition at line 64 of file profiling.cpp.
long long libff::last_cpu_time |
Definition at line 54 of file profiling.cpp.
std::map<std::string, long long> libff::last_cpu_times |
Definition at line 70 of file profiling.cpp.
long long libff::last_time |
Definition at line 53 of file profiling.cpp.
std::map< std::string, long long > libff::last_times |
Definition at line 66 of file profiling.cpp.
const mp_size_t libff::mnt46_A_bitcount = 298 |
Definition at line 19 of file mnt46_common.hpp.
const mp_size_t libff::mnt46_A_limbs = (mnt46_A_bitcount+GMP_NUMB_BITS-1)/GMP_NUMB_BITS |
Definition at line 22 of file mnt46_common.hpp.
const mp_size_t libff::mnt46_B_bitcount = 298 |
Definition at line 20 of file mnt46_common.hpp.
const mp_size_t libff::mnt46_B_limbs = (mnt46_B_bitcount+GMP_NUMB_BITS-1)/GMP_NUMB_BITS |
Definition at line 23 of file mnt46_common.hpp.
bigint< mnt46_A_limbs > libff::mnt46_modulus_A |
Definition at line 18 of file mnt46_common.cpp.
bigint< mnt46_B_limbs > libff::mnt46_modulus_B |
Definition at line 19 of file mnt46_common.cpp.
bool libff::mnt4_ate_is_loop_count_neg |
Definition at line 34 of file mnt4_init.cpp.
bigint< mnt4_q_limbs > libff::mnt4_ate_loop_count |
Definition at line 33 of file mnt4_init.cpp.
bigint< 4 *mnt4_q_limbs > libff::mnt4_final_exponent |
Definition at line 35 of file mnt4_init.cpp.
bigint< mnt4_q_limbs > libff::mnt4_final_exponent_last_chunk_abs_of_w0 |
Definition at line 36 of file mnt4_init.cpp.
bool libff::mnt4_final_exponent_last_chunk_is_w0_neg |
Definition at line 37 of file mnt4_init.cpp.
bigint< mnt4_q_limbs > libff::mnt4_final_exponent_last_chunk_w1 |
Definition at line 38 of file mnt4_init.cpp.
|
extern |
|
extern |
const mp_size_t libff::mnt4_q_bitcount = mnt46_B_bitcount |
Definition at line 27 of file mnt4_init.hpp.
const mp_size_t libff::mnt4_q_limbs = mnt46_B_limbs |
Definition at line 30 of file mnt4_init.hpp.
const mp_size_t libff::mnt4_r_bitcount = mnt46_A_bitcount |
Definition at line 26 of file mnt4_init.hpp.
const mp_size_t libff::mnt4_r_limbs = mnt46_A_limbs |
Definition at line 29 of file mnt4_init.hpp.
mnt4_Fq2 libff::mnt4_twist |
Definition at line 23 of file mnt4_init.cpp.
mnt4_Fq2 libff::mnt4_twist_coeff_a |
Definition at line 24 of file mnt4_init.cpp.
mnt4_Fq2 libff::mnt4_twist_coeff_b |
Definition at line 25 of file mnt4_init.cpp.
mnt4_Fq libff::mnt4_twist_mul_by_a_c0 |
Definition at line 26 of file mnt4_init.cpp.
mnt4_Fq libff::mnt4_twist_mul_by_a_c1 |
Definition at line 27 of file mnt4_init.cpp.
mnt4_Fq libff::mnt4_twist_mul_by_b_c0 |
Definition at line 28 of file mnt4_init.cpp.
mnt4_Fq libff::mnt4_twist_mul_by_b_c1 |
Definition at line 29 of file mnt4_init.cpp.
mnt4_Fq libff::mnt4_twist_mul_by_q_X |
Definition at line 30 of file mnt4_init.cpp.
mnt4_Fq libff::mnt4_twist_mul_by_q_Y |
Definition at line 31 of file mnt4_init.cpp.
bool libff::mnt6_ate_is_loop_count_neg |
Definition at line 36 of file mnt6_init.cpp.
bigint< mnt6_q_limbs > libff::mnt6_ate_loop_count |
Definition at line 35 of file mnt6_init.cpp.
bigint< 6 *mnt6_q_limbs > libff::mnt6_final_exponent |
Definition at line 37 of file mnt6_init.cpp.
bigint< mnt6_q_limbs > libff::mnt6_final_exponent_last_chunk_abs_of_w0 |
Definition at line 38 of file mnt6_init.cpp.
bool libff::mnt6_final_exponent_last_chunk_is_w0_neg |
Definition at line 39 of file mnt6_init.cpp.
bigint< mnt6_q_limbs > libff::mnt6_final_exponent_last_chunk_w1 |
Definition at line 40 of file mnt6_init.cpp.
|
extern |
|
extern |
const mp_size_t libff::mnt6_q_bitcount = mnt46_A_bitcount |
Definition at line 27 of file mnt6_init.hpp.
const mp_size_t libff::mnt6_q_limbs = mnt46_A_limbs |
Definition at line 30 of file mnt6_init.hpp.
const mp_size_t libff::mnt6_r_bitcount = mnt46_B_bitcount |
Definition at line 26 of file mnt6_init.hpp.
const mp_size_t libff::mnt6_r_limbs = mnt46_B_limbs |
Definition at line 29 of file mnt6_init.hpp.
mnt6_Fq3 libff::mnt6_twist |
Definition at line 23 of file mnt6_init.cpp.
mnt6_Fq3 libff::mnt6_twist_coeff_a |
Definition at line 24 of file mnt6_init.cpp.
mnt6_Fq3 libff::mnt6_twist_coeff_b |
Definition at line 25 of file mnt6_init.cpp.
mnt6_Fq libff::mnt6_twist_mul_by_a_c0 |
Definition at line 26 of file mnt6_init.cpp.
mnt6_Fq libff::mnt6_twist_mul_by_a_c1 |
Definition at line 27 of file mnt6_init.cpp.
mnt6_Fq libff::mnt6_twist_mul_by_a_c2 |
Definition at line 28 of file mnt6_init.cpp.
mnt6_Fq libff::mnt6_twist_mul_by_b_c0 |
Definition at line 29 of file mnt6_init.cpp.
mnt6_Fq libff::mnt6_twist_mul_by_b_c1 |
Definition at line 30 of file mnt6_init.cpp.
mnt6_Fq libff::mnt6_twist_mul_by_b_c2 |
Definition at line 31 of file mnt6_init.cpp.
mnt6_Fq libff::mnt6_twist_mul_by_q_X |
Definition at line 32 of file mnt6_init.cpp.
mnt6_Fq libff::mnt6_twist_mul_by_q_Y |
Definition at line 33 of file mnt6_init.cpp.
std::map<std::pair<std::string, std::string>, long long> libff::op_counts |
Definition at line 71 of file profiling.cpp.
std::list<std::pair<std::string, long long*> > libff::op_data_points |
Definition at line 78 of file profiling.cpp.
const double libff::PI = 3.141592653589793238460264338328L |
Definition at line 22 of file double.cpp.
long long libff::start_cpu_time |
Definition at line 54 of file profiling.cpp.
long long libff::start_time |
Definition at line 53 of file profiling.cpp.