Pairing.Params

Parameters chosen for the pairing. The parameters chosen here correspond to the BN128 curve (aka CurveSNARK).

a = 0
b = 3
k = 12
t = 4965661367192848881
q = 21888242871839275222246405745257275088696311157297823662689037894645226208583
r = 21888242871839275222246405745257275088548364400416034343698204186575808495617
ξ = 9 + u

Documentation

_a :: Integer

Elliptic curve coefficent

_b :: Integer

Elliptic curve coefficent

_q :: Integer

Characteristic of the finite fields we work with

_r :: Integer

Order of elliptic curve E(Fq) G1, and therefore also the characteristic of the prime field we choose our exponents from

_k :: Integer

Embedding degree

_nqr :: Integer

Quadratic nonresidue in Fq

_xiA :: Integer

Parameter used to define the twisted curve over Fq, with xi = xi_a + xi_b * i

_xiB :: Integer

Parameter used to define the twisted curve over Fq, with xi = xi_a + xi_b * i