bls12_381_pairing.hpp

Go to the documentation of this file.

 
#ifndef BLS12_381_PAIRING_HPP_
#define BLS12_381_PAIRING_HPP_
#include <libff/algebra/curves/bls12_381/bls12_381_init.hpp>
#include <vector>
 
namespace libff
{
 
/* final exponentiation */
 
bls12_381_GT bls12_381_final_exponentiation(const bls12_381_Fq12 &elt);
 
/* ate pairing */
 
struct bls12_381_ate_G1_precomp {
    bls12_381_Fq PX;
    bls12_381_Fq PY;
 
    bool operator==(const bls12_381_ate_G1_precomp &other) const;
    friend std::ostream &operator<<(
        std::ostream &out, const bls12_381_ate_G1_precomp &prec_P);
    friend std::istream &operator>>(
        std::istream &in, bls12_381_ate_G1_precomp &prec_P);
};
 
struct bls12_381_ate_ell_coeffs {
    bls12_381_Fq2 ell_0;
    bls12_381_Fq2 ell_VW;
    bls12_381_Fq2 ell_VV;
 
    bool operator==(const bls12_381_ate_ell_coeffs &other) const;
    friend std::ostream &operator<<(
        std::ostream &out, const bls12_381_ate_ell_coeffs &c);
    friend std::istream &operator>>(
        std::istream &in, bls12_381_ate_ell_coeffs &c);
};
 
struct bls12_381_ate_G2_precomp {
    bls12_381_Fq2 QX;
    bls12_381_Fq2 QY;
    std::vector<bls12_381_ate_ell_coeffs> coeffs;
 
    bool operator==(const bls12_381_ate_G2_precomp &other) const;
    friend std::ostream &operator<<(
        std::ostream &out, const bls12_381_ate_G2_precomp &prec_Q);
    friend std::istream &operator>>(
        std::istream &in, bls12_381_ate_G2_precomp &prec_Q);
};
 
void bls12_381_doubling_step_for_miller_loop(
    const bls12_381_Fq two_inv,
    bls12_381_G2 &current,
    bls12_381_ate_ell_coeffs &c);
void bls12_381_mixed_addition_step_for_miller_loop(
    const bls12_381_G2 base,
    bls12_381_G2 &current,
    bls12_381_ate_ell_coeffs &c);
 
bls12_381_ate_G1_precomp bls12_381_ate_precompute_G1(const bls12_381_G1 &P);
bls12_381_ate_G2_precomp bls12_381_ate_precompute_G2(const bls12_381_G2 &Q);
 
bls12_381_Fq12 bls12_381_ate_miller_loop(
    const bls12_381_ate_G1_precomp &prec_P,
    const bls12_381_ate_G2_precomp &prec_Q);
bls12_381_Fq12 bls12_381_ate_double_miller_loop(
    const bls12_381_ate_G1_precomp &prec_P1,
    const bls12_381_ate_G2_precomp &prec_Q1,
    const bls12_381_ate_G1_precomp &prec_P2,
    const bls12_381_ate_G2_precomp &prec_Q2);
 
bls12_381_Fq12 bls12_381_final_exponentiation_first_chunk(
    const bls12_381_Fq12 &elt);
bls12_381_Fq12 bls12_381_exp_by_z(const bls12_381_Fq12 &elt);
bls12_381_Fq12 bls12_381_final_exponentiation_last_chunk(
    const bls12_381_Fq12 &elt);
 
bls12_381_Fq12 bls12_381_ate_pairing(
    const bls12_381_G1 &P, const bls12_381_G2 &Q);
bls12_381_GT bls12_381_ate_reduced_pairing(
    const bls12_381_G1 &P, const bls12_381_G2 &Q);
 
/* choice of pairing */
 
typedef bls12_381_ate_G1_precomp bls12_381_G1_precomp;
typedef bls12_381_ate_G2_precomp bls12_381_G2_precomp;
 
bls12_381_G1_precomp bls12_381_precompute_G1(const bls12_381_G1 &P);
 
bls12_381_G2_precomp bls12_381_precompute_G2(const bls12_381_G2 &Q);
 
bls12_381_Fq12 bls12_381_miller_loop(
    const bls12_381_G1_precomp &prec_P, const bls12_381_G2_precomp &prec_Q);
 
bls12_381_Fq12 bls12_381_double_miller_loop(
    const bls12_381_G1_precomp &prec_P1,
    const bls12_381_G2_precomp &prec_Q1,
    const bls12_381_G1_precomp &prec_P2,
    const bls12_381_G2_precomp &prec_Q2);
 
bls12_381_Fq12 bls12_381_pairing(const bls12_381_G1 &P, const bls12_381_G2 &Q);
 
bls12_381_GT bls12_381_reduced_pairing(
    const bls12_381_G1 &P, const bls12_381_G2 &Q);
 
bls12_381_GT bls12_381_affine_reduced_pairing(
    const bls12_381_G1 &P, const bls12_381_G2 &Q);
 
} // namespace libff
 
#endif // BLS12_381_PAIRING_HPP_