bls12-381-prime

(in-package "PRIMES")

(include-book "kestrel/number-theory/defprime" :dir :system)

(defprime bls12-381-scalar-field-prime
  52435875175126190479447740508185965837690552500527637822603658699938581184513
  (7 (2 3
      11
      19
      10177
      125527
      859267
      906349
      2508409
      2529403
      52437899
      254760293)
    (32 1 1 1 1 1 1 2 1 1 1 2)
    (nil nil
      nil
      nil
      nil
      nil
      (2 (2 3 47737) (1 2 1) (nil nil nil))
      (2 (2 3 47 1607) (2 1 1 1) (nil nil nil nil))
      (11 (2 3 7 79) (3 4 2 1) (nil nil nil nil))
      (2 (2 3 23 18329) (1 1 1 1) (nil nil nil nil))
      (2 (2 43 609743)
        (1 1 1)
        (nil nil (5 (2 7 97 449) (1 1 1 1) (nil nil nil nil))))
      (2 (2 63690073)
        (2 1)
        (nil (7 (2 3 2653753)
            (3 1 1)
            (nil nil
              (5 (2 3 110573)
                (3 1 1)
                (nil nil (3 (2 7 11 359) (2 1 1 1) (nil nil nil nil)))))))))))