Trait elliptic_curve::ScalarArithmetic
source · pub trait ScalarArithmetic: Curve {
type Scalar: DefaultIsZeroes + From<ScalarCore<Self>> + Into<FieldBytes<Self>> + Into<Self::UInt> + IsHigh + Field + PrimeField<Repr = FieldBytes<Self>>;
}
Expand description
Scalar arithmetic.
Required Associated Types§
sourcetype Scalar: DefaultIsZeroes + From<ScalarCore<Self>> + Into<FieldBytes<Self>> + Into<Self::UInt> + IsHigh + Field + PrimeField<Repr = FieldBytes<Self>>
type Scalar: DefaultIsZeroes + From<ScalarCore<Self>> + Into<FieldBytes<Self>> + Into<Self::UInt> + IsHigh + Field + PrimeField<Repr = FieldBytes<Self>>
Scalar field type.
Note: the following bounds are provided by ff::Field
: