Module ark_test_curves::prelude
source · Traits
- This defines a
BigInteger
, a smart wrapper around a sequence ofu64
limbs, least-significant limb first. - The interface for a generic field.
Types implementingField
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
.