		Search-engine friendly clone of the ACL2 documentation.

Bls12-377-parameter-x

The parameter x for constructing the curve E_{BLS}.

The parameter x is $3\cdot{}2^{46}\cdot(7\cdot{}13\cdot{}499)+1$

This ensures that both of these requirements are satisfied: $x\equiv{}1\ mod\ 3\cdot{}2^{46}$ $x\equiv{}1\ mod\ 3$

In decimal: x = 9586122913090633729.

x is used to calculate the base field prime q and the scalar field prime r.

Function: bls12-377-parameter-x

(defun bls12-377-parameter-x nil
  (declare (xargs :guard t))
  9586122913090633729)