Traits

  • This defines a BigInteger, a smart wrapper around a sequence of u64 limbs, least-significant limb first.
  • The interface for a generic field.
    Types implementing Field support common field operations such as addition, subtraction, multiplication, and inverses.
  • Defines a multiplicative identity element for Self.
  • The interface for a prime field, i.e. the field of integers modulo a prime $p$.
    In the following example we’ll use the prime field underlying the BLS12-381 G1 curve.
  • Defines an additive identity element for Self.