Clearmatics Libff
0.1
C++ library for Finite Fields and Elliptic Curves
libff
algebra
curves
alt_bn128
alt_bn128_pp.hpp
Go to the documentation of this file.
1
8
#ifndef ALT_BN128_PP_HPP_
9
#define ALT_BN128_PP_HPP_
10
#include <
libff/algebra/curves/alt_bn128/alt_bn128_g1.hpp
>
11
#include <
libff/algebra/curves/alt_bn128/alt_bn128_g2.hpp
>
12
#include <
libff/algebra/curves/alt_bn128/alt_bn128_init.hpp
>
13
#include <
libff/algebra/curves/alt_bn128/alt_bn128_pairing.hpp
>
14
#include <
libff/algebra/curves/public_params.hpp
>
15
16
namespace
libff
17
{
18
19
class
alt_bn128_pp
20
{
21
public
:
22
static
const
std::string
name
;
23
24
typedef
alt_bn128_Fr
Fp_type
;
25
typedef
alt_bn128_G1
G1_type
;
26
typedef
alt_bn128_G2
G2_type
;
27
typedef
alt_bn128_G1_precomp
G1_precomp_type
;
28
typedef
alt_bn128_G2_precomp
G2_precomp_type
;
29
typedef
alt_bn128_Fq
Fq_type
;
30
typedef
alt_bn128_Fq2
Fqe_type
;
31
typedef
alt_bn128_Fq12
Fqk_type
;
32
typedef
alt_bn128_GT
GT_type
;
33
34
static
const
bool
has_affine_pairing
=
false
;
35
36
static
void
init_public_params
();
37
static
alt_bn128_GT
final_exponentiation
(
const
alt_bn128_Fq12
&elt);
38
static
alt_bn128_G1_precomp
precompute_G1
(
const
alt_bn128_G1
&P);
39
static
alt_bn128_G2_precomp
precompute_G2
(
const
alt_bn128_G2
&Q);
40
static
alt_bn128_Fq12
miller_loop
(
41
const
alt_bn128_G1_precomp
&prec_P,
const
alt_bn128_G2_precomp
&prec_Q);
42
static
alt_bn128_Fq12
double_miller_loop
(
43
const
alt_bn128_G1_precomp
&prec_P1,
44
const
alt_bn128_G2_precomp
&prec_Q1,
45
const
alt_bn128_G1_precomp
&prec_P2,
46
const
alt_bn128_G2_precomp
&prec_Q2);
47
static
alt_bn128_Fq12
pairing
(
const
alt_bn128_G1
&P,
const
alt_bn128_G2
&Q);
48
static
alt_bn128_Fq12
reduced_pairing
(
49
const
alt_bn128_G1
&P,
const
alt_bn128_G2
&Q);
50
};
51
52
}
// namespace libff
53
54
#endif // ALT_BN128_PP_HPP_
libff::alt_bn128_pp
Definition:
alt_bn128_pp.hpp:19
libff::alt_bn128_pp::name
static const std::string name
Definition:
alt_bn128_pp.hpp:22
libff
Definition:
ffi.cpp:8
libff::alt_bn128_pp::Fq_type
alt_bn128_Fq Fq_type
Definition:
alt_bn128_pp.hpp:29
libff::alt_bn128_pp::miller_loop
static alt_bn128_Fq12 miller_loop(const alt_bn128_G1_precomp &prec_P, const alt_bn128_G2_precomp &prec_Q)
Definition:
alt_bn128_pp.cpp:32
libff::alt_bn128_pp::pairing
static alt_bn128_Fq12 pairing(const alt_bn128_G1 &P, const alt_bn128_G2 &Q)
Definition:
alt_bn128_pp.cpp:47
libff::alt_bn128_pp::reduced_pairing
static alt_bn128_Fq12 reduced_pairing(const alt_bn128_G1 &P, const alt_bn128_G2 &Q)
Definition:
alt_bn128_pp.cpp:53
libff::alt_bn128_pp::init_public_params
static void init_public_params()
Definition:
alt_bn128_pp.cpp:15
libff::alt_bn128_pp::G1_type
alt_bn128_G1 G1_type
Definition:
alt_bn128_pp.hpp:25
libff::alt_bn128_pp::Fp_type
alt_bn128_Fr Fp_type
Definition:
alt_bn128_pp.hpp:24
alt_bn128_pairing.hpp
alt_bn128_init.hpp
libff::alt_bn128_G2
Definition:
alt_bn128_g2.hpp:21
public_params.hpp
libff::alt_bn128_pp::has_affine_pairing
static const bool has_affine_pairing
Definition:
alt_bn128_pp.hpp:34
libff::Fp12_2over3over2_model
Definition:
fp12_2over3over2.hpp:20
libff::alt_bn128_pp::G2_precomp_type
alt_bn128_G2_precomp G2_precomp_type
Definition:
alt_bn128_pp.hpp:28
libff::alt_bn128_pp::Fqk_type
alt_bn128_Fq12 Fqk_type
Definition:
alt_bn128_pp.hpp:31
alt_bn128_g1.hpp
libff::alt_bn128_pp::final_exponentiation
static alt_bn128_GT final_exponentiation(const alt_bn128_Fq12 &elt)
Definition:
alt_bn128_pp.cpp:17
libff::alt_bn128_pp::G1_precomp_type
alt_bn128_G1_precomp G1_precomp_type
Definition:
alt_bn128_pp.hpp:27
libff::Fp_model
Definition:
fp.hpp:20
libff::alt_bn128_pp::double_miller_loop
static alt_bn128_Fq12 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:
alt_bn128_pp.cpp:38
libff::alt_bn128_pp::GT_type
alt_bn128_GT GT_type
Definition:
alt_bn128_pp.hpp:32
libff::alt_bn128_ate_G1_precomp
Definition:
alt_bn128_pairing.hpp:22
libff::Fp2_model< alt_bn128_q_limbs, alt_bn128_modulus_q >
libff::alt_bn128_G1
Definition:
alt_bn128_g1.hpp:21
libff::alt_bn128_pp::precompute_G1
static alt_bn128_G1_precomp precompute_G1(const alt_bn128_G1 &P)
Definition:
alt_bn128_pp.cpp:22
libff::alt_bn128_ate_G2_precomp
Definition:
alt_bn128_pairing.hpp:45
libff::alt_bn128_pp::precompute_G2
static alt_bn128_G2_precomp precompute_G2(const alt_bn128_G2 &Q)
Definition:
alt_bn128_pp.cpp:27
libff::alt_bn128_pp::Fqe_type
alt_bn128_Fq2 Fqe_type
Definition:
alt_bn128_pp.hpp:30
libff::alt_bn128_pp::G2_type
alt_bn128_G2 G2_type
Definition:
alt_bn128_pp.hpp:26
alt_bn128_g2.hpp
Generated on Thu Aug 18 2022 12:42:18 for Clearmatics Libff by
1.8.17