libff::mnt4_pp Class Reference

#include <mnt4_pp.hpp>

Public Types
typedef mnt4_Fr	Fp_type
typedef mnt4_G1	G1_type
typedef mnt4_G2	G2_type
typedef mnt4_G1_precomp	G1_precomp_type
typedef mnt4_G2_precomp	G2_precomp_type
typedef mnt4_affine_ate_G1_precomputation	affine_ate_G1_precomp_type
typedef mnt4_affine_ate_G2_precomputation	affine_ate_G2_precomp_type
typedef mnt4_Fq	Fq_type
typedef mnt4_Fq2	Fqe_type
typedef mnt4_Fq4	Fqk_type
typedef mnt4_GT	GT_type

Static Public Member Functions
static void	init_public_params ()
static mnt4_GT	final_exponentiation (const mnt4_Fq4 &elt)
static mnt4_G1_precomp	precompute_G1 (const mnt4_G1 &P)
static mnt4_G2_precomp	precompute_G2 (const mnt4_G2 &Q)
static mnt4_Fq4	miller_loop (const mnt4_G1_precomp &prec_P, const mnt4_G2_precomp &prec_Q)
static mnt4_affine_ate_G1_precomputation	affine_ate_precompute_G1 (const mnt4_G1 &P)
static mnt4_affine_ate_G2_precomputation	affine_ate_precompute_G2 (const mnt4_G2 &Q)
static mnt4_Fq4	affine_ate_miller_loop (const mnt4_affine_ate_G1_precomputation &prec_P, const mnt4_affine_ate_G2_precomputation &prec_Q)
static mnt4_Fq4	affine_ate_e_over_e_miller_loop (const mnt4_affine_ate_G1_precomputation &prec_P1, const mnt4_affine_ate_G2_precomputation &prec_Q1, const mnt4_affine_ate_G1_precomputation &prec_P2, const mnt4_affine_ate_G2_precomputation &prec_Q2)
static mnt4_Fq4	affine_ate_e_times_e_over_e_miller_loop (const mnt4_affine_ate_G1_precomputation &prec_P1, const mnt4_affine_ate_G2_precomputation &prec_Q1, const mnt4_affine_ate_G1_precomputation &prec_P2, const mnt4_affine_ate_G2_precomputation &prec_Q2, const mnt4_affine_ate_G1_precomputation &prec_P3, const mnt4_affine_ate_G2_precomputation &prec_Q3)
static mnt4_Fq4	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)
static mnt4_Fq4	pairing (const mnt4_G1 &P, const mnt4_G2 &Q)
static mnt4_Fq4	reduced_pairing (const mnt4_G1 &P, const mnt4_G2 &Q)
static mnt4_Fq4	affine_reduced_pairing (const mnt4_G1 &P, const mnt4_G2 &Q)

Static Public Attributes
static const bool	has_affine_pairing = true

Detailed Description

Definition at line 23 of file mnt4_pp.hpp.

Member Typedef Documentation

affine_ate_G1_precomp_type

mnt4_affine_ate_G1_precomputation libff::mnt4_pp::affine_ate_G1_precomp_type

Definition at line 30 of file mnt4_pp.hpp.

affine_ate_G2_precomp_type

mnt4_affine_ate_G2_precomputation libff::mnt4_pp::affine_ate_G2_precomp_type

Definition at line 31 of file mnt4_pp.hpp.

Fp_type

mnt4_Fr libff::mnt4_pp::Fp_type

Definition at line 25 of file mnt4_pp.hpp.

Fq_type

mnt4_Fq libff::mnt4_pp::Fq_type

Definition at line 32 of file mnt4_pp.hpp.

Fqe_type

mnt4_Fq2 libff::mnt4_pp::Fqe_type

Definition at line 33 of file mnt4_pp.hpp.

Fqk_type

mnt4_Fq4 libff::mnt4_pp::Fqk_type

Definition at line 34 of file mnt4_pp.hpp.

G1_precomp_type

mnt4_G1_precomp libff::mnt4_pp::G1_precomp_type

Definition at line 28 of file mnt4_pp.hpp.

G1_type

mnt4_G1 libff::mnt4_pp::G1_type

Definition at line 26 of file mnt4_pp.hpp.

G2_precomp_type

mnt4_G2_precomp libff::mnt4_pp::G2_precomp_type

Definition at line 29 of file mnt4_pp.hpp.

G2_type

mnt4_G2 libff::mnt4_pp::G2_type

Definition at line 27 of file mnt4_pp.hpp.

GT_type

mnt4_GT libff::mnt4_pp::GT_type

Definition at line 35 of file mnt4_pp.hpp.

Member Function Documentation

affine_ate_e_over_e_miller_loop()

mnt4_Fq4 libff::mnt4_pp::affine_ate_e_over_e_miller_loop ( const mnt4_affine_ate_G1_precomputation & prec_P1, const mnt4_affine_ate_G2_precomputation & prec_Q1, const mnt4_affine_ate_G1_precomputation & prec_P2, const mnt4_affine_ate_G2_precomputation & prec_Q2 )

static

Definition at line 60 of file mnt4_pp.cpp.

{
    return mnt4_affine_ate_miller_loop(prec_P1, prec_Q1) * mnt4_affine_ate_miller_loop(prec_P2, prec_Q2).unitary_inverse();
}

Here is the call graph for this function:

affine_ate_e_times_e_over_e_miller_loop()

mnt4_Fq4 libff::mnt4_pp::affine_ate_e_times_e_over_e_miller_loop ( const mnt4_affine_ate_G1_precomputation & prec_P1, const mnt4_affine_ate_G2_precomputation & prec_Q1, const mnt4_affine_ate_G1_precomputation & prec_P2, const mnt4_affine_ate_G2_precomputation & prec_Q2, const mnt4_affine_ate_G1_precomputation & prec_P3, const mnt4_affine_ate_G2_precomputation & prec_Q3 )

static

Definition at line 68 of file mnt4_pp.cpp.

{
    return ((mnt4_affine_ate_miller_loop(prec_P1, prec_Q1) * mnt4_affine_ate_miller_loop(prec_P2, prec_Q2)) *
            mnt4_affine_ate_miller_loop(prec_P3, prec_Q3).unitary_inverse());
}

Here is the call graph for this function:

affine_ate_miller_loop()

mnt4_Fq4 libff::mnt4_pp::affine_ate_miller_loop ( const mnt4_affine_ate_G1_precomputation & prec_P, const mnt4_affine_ate_G2_precomputation & prec_Q )

static

Definition at line 54 of file mnt4_pp.cpp.

{
    return mnt4_affine_ate_miller_loop(prec_P, prec_Q);
}

Here is the call graph for this function:

affine_ate_precompute_G1()

mnt4_affine_ate_G1_precomputation libff::mnt4_pp::affine_ate_precompute_G1 ( const mnt4_G1 & P )

static

Definition at line 44 of file mnt4_pp.cpp.

{
    return mnt4_affine_ate_precompute_G1(P);
}

Here is the call graph for this function:

affine_ate_precompute_G2()

mnt4_affine_ate_G2_precomputation libff::mnt4_pp::affine_ate_precompute_G2 ( const mnt4_G2 & Q )

static

Definition at line 49 of file mnt4_pp.cpp.

{
    return mnt4_affine_ate_precompute_G2(Q);
}

Here is the call graph for this function:

affine_reduced_pairing()

mnt4_Fq4 libff::mnt4_pp::affine_reduced_pairing ( const mnt4_G1 & P, const mnt4_G2 & Q )

static

Definition at line 99 of file mnt4_pp.cpp.

{
    return mnt4_affine_reduced_pairing(P, Q);
}

Here is the call graph for this function:

double_miller_loop()

mnt4_Fq4 libff::mnt4_pp::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 )

static

Definition at line 79 of file mnt4_pp.cpp.

{
    return mnt4_double_miller_loop(prec_P1, prec_Q1, prec_P2, prec_Q2);
}

Here is the call graph for this function:

final_exponentiation()

mnt4_GT libff::mnt4_pp::final_exponentiation ( const mnt4_Fq4 & elt )

static

Definition at line 23 of file mnt4_pp.cpp.

{
    return mnt4_final_exponentiation(elt);
}

Here is the call graph for this function:

init_public_params()

void libff::mnt4_pp::init_public_params ( )

static

Definition at line 18 of file mnt4_pp.cpp.

{
    init_mnt4_params();
}

Here is the call graph for this function:

Here is the caller graph for this function:

miller_loop()

mnt4_Fq4 libff::mnt4_pp::miller_loop ( const mnt4_G1_precomp & prec_P, const mnt4_G2_precomp & prec_Q )

static

Definition at line 38 of file mnt4_pp.cpp.

{
    return mnt4_miller_loop(prec_P, prec_Q);
}

Here is the call graph for this function:

pairing()

mnt4_Fq4 libff::mnt4_pp::pairing ( const mnt4_G1 & P, const mnt4_G2 & Q )

static

Definition at line 87 of file mnt4_pp.cpp.

{
    return mnt4_pairing(P, Q);
}

Here is the call graph for this function:

precompute_G1()

mnt4_G1_precomp libff::mnt4_pp::precompute_G1 ( const mnt4_G1 & P )

static

Definition at line 28 of file mnt4_pp.cpp.

{
    return mnt4_precompute_G1(P);
}

Here is the call graph for this function:

precompute_G2()

mnt4_G2_precomp libff::mnt4_pp::precompute_G2 ( const mnt4_G2 & Q )

static

Definition at line 33 of file mnt4_pp.cpp.

{
    return mnt4_precompute_G2(Q);
}

Here is the call graph for this function:

reduced_pairing()

mnt4_Fq4 libff::mnt4_pp::reduced_pairing ( const mnt4_G1 & P, const mnt4_G2 & Q )

static

Definition at line 93 of file mnt4_pp.cpp.

{
    return mnt4_reduced_pairing(P, Q);
}

Here is the call graph for this function:

Member Data Documentation

has_affine_pairing

const bool libff::mnt4_pp::has_affine_pairing = true

static

Definition at line 37 of file mnt4_pp.hpp.

---

The documentation for this class was generated from the following files:

• libraries/fc/libraries/ff/libff/algebra/curves/mnt/mnt4/mnt4_pp.hpp
• libraries/fc/libraries/ff/libff/algebra/curves/mnt/mnt4/mnt4_pp.cpp