Safe Haskell	None
Language	Haskell2010

Pairing.Params

Description

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

Synopsis

Documentation

_a :: Integer Source #

Elliptic curve coefficent

_b :: Integer Source #

Elliptic curve coefficent

_q :: Integer Source #

Characteristic of the finite fields we work with

_r :: Integer Source #

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

_k :: Integer Source #

Embedding degree

_nqr :: Integer Source #

Quadratic nonresidue in Fq

_xiA :: Integer Source #

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

_xiB :: Integer Source #

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