Bls12-377-parameter-x
The parameter x for constructing the curve E_{BLS}.
- Signature
(bls12-377-parameter-x) → *
The parameter x is
This ensures that both of these requirements are satisfied:
In decimal: x = 9586122913090633729.
x is used to calculate the base field prime p and
and the
scalar field prime r.
Definitions and Theorems
Function: bls12-377-parameter-x
(defun bls12-377-parameter-x nil
(declare (xargs :guard t))
9586122913090633729)