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
:
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.